Tool symbiotic 5.0.0-KLEE:1faddfe0-dg:12c34aac-symbiotic:5e14b94d-minisat:3db58943-llvm-instrumentation:cd767593-stp:17249213 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CProver witness2test 0.1 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-03 04:09:48 CET 2017-12-03 05:12:06 CET 2017-12-03 05:44:30 CET 2017-12-03 05:48:14 CET 2017-12-03 05:20:50 CET
Run set symbiotic.sv-comp18.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-symbiotic.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-symbiotic.sv-comp18-correctness-witness.NoOverflows-BitVectors
Options --witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/symbiotic.2017-12-03_0409.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/symbiotic.2017-12-03_0409.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/symbiotic.2017-12-03_0409.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/symbiotic.2017-12-03_0409.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i 1 .17  11 1.8  1 4.0  260 1 4.6   220   -32 .63   19    -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i 1 .17  11 1.5  1 4.6  270 1 5.3   260   -32 .70   19    -
signedintegeroverflow-regression/Division_false-no-overflow.c.i 1 .16  11 1.7  1 4.4  260 1 4.7   240   -32 .63   18    -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i 1 .16  11 1.7  1 3.9  260 1 4.2   220   -32 .62   19    -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i 1 .17  11 1.5  1 2.9  270 1 5.0   220   -32 .78   18    -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i 1 .14  11 1.9  1 4.7  270 1 5.3   250   1 .78   18    -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i 1 .14  11 1.7  1 4.4  270 1 4.7   220   1 .64   18    -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i 1 .15  11 1.7  1 4.6  260 1 5.3   250   1 .77   18    -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i 1 .14  11 1.8  1 4.8  270 1 6.9   240   1 .66   18    -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i 1 .17  11 1.7  1 4.6  270 1 7.0   240   -32 .79   18    -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i 2 .15  11 1.4  - - - 2 4.2   210  
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i 2 .16  11 1.4  - - - 2 5.0   260  
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i 2 .15  11 1.3  - - - 2 4.8   210  
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i 2 .15  11 1.6  - - - 2 4.8   210  
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i 2 .15  11 1.5  - - - 2 4.3   210  
termination-crafted/2Nested_false-no-overflow.c 1 .19  12 1.9  1 3.5  260 -32 4.5   210   1 .65   18    -
termination-crafted/4NestedWith3Variables_false-no-overflow.c 1 .18  12 1.6  1 2.3  270 -32 4.8   220   1 .71   18    -
termination-crafted/Ackermann_false-no-overflow.c 1 .17  12 1.9  0 91    1000 -32 5.4   230   1 .71   18    -
termination-crafted/Bangalore_false-no-overflow.c 1 .18  12 1.8  1 3.6  260 -32 4.1   210   1 .61   18    -
termination-crafted/Bangalore_v3_false-no-overflow.c 1 .18  12 2.7  1 3.4  260 -32 4.4   210   1 .71   18    -
termination-crafted/Benghazi_nondet_false-no-overflow.c 1 .16  12 1.9  1 3.4  260 -32 4.9   220   1 .73   18    -
termination-crafted/Binary_Search_false-no-overflow.c 1 .17  12 2.1  1 3.2  260 -32 7.2   230   1 .62   18    -
termination-crafted/Cairo_nondet_false-no-overflow.c 1 .17  12 2.1  1 3.4  260 -32 4.4   220   -32 .61   18    -
termination-crafted/Cairo_step2_false-no-overflow.c 0 900     170 13000    0 .55 41 0 .021 4.8 0 .0016 .27 -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c 1 .17  12 2.0  1 3.4  270 -32 5.4   220   1 .60   18    -
termination-crafted/Copenhagen_disj_false-no-overflow.c 1 .18  12 1.6  1 3.3  260 -32 4.9   210   1 .61   18    -
termination-crafted/Gothenburg_false-no-overflow.c 1 .19  12 1.7  1 4.1  260 -32 4.6   220   1 .65   18    -
termination-crafted/Gothenburg_v2_false-no-overflow.c 1 .18  12 1.6  1 3.4  260 -32 5.1   230   1 .64   18    -
termination-crafted/Hanoi_2vars_false-no-overflow.c 1 .16  12 1.9  1 3.1  260 -32 4.5   220   1 .59   18    -
termination-crafted/Hanoi_3vars_false-no-overflow.c 1 .18  12 1.8  1 3.3  260 -32 4.5   210   1 .62   18    -
termination-crafted/Hanoi_plus_false-no-overflow.c 1 .18  12 1.7  1 3.7  280 -32 4.8   230   1 .62   18    -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c 1 .18  12 1.7  1 3.2  260 -32 4.8   220   1 .62   18    -
termination-crafted/Mysore_false-no-overflow.c 1 .16  12 2.1  1 3.3  260 -32 6.5   220   1 .63   18    -
termination-crafted/NestedRecursion_1a_false-no-overflow.c 1 .16  12 1.8  1 3.6  260 -32 4.7   230   1 .70   18    -
termination-crafted/NestedRecursion_2a_false-no-overflow.c 1 .15  12 2.1  1 3.2  250 -32 4.5   230   1 .63   18    -
termination-crafted/NonTermination1_false-no-overflow.c 1 .18  12 1.8  1 3.5  270 -32 5.2   220   1 .66   18    -
termination-crafted/NonTermination2_false-no-overflow.c 1 .16  12 1.9  1 2.6  270 -32 4.5   210   -32 .65   18    -
termination-crafted/NonTermination4_false-no-overflow.c 1 .16  11 2.0  0 91    940 -32 4.8   260   1 .60   18    -
termination-crafted/NonTerminationSimple2_false-no-overflow.c 1 .15  11 1.7  1 3.3  260 -32 4.2   220   1 .91   18    -
termination-crafted/NonTerminationSimple3_false-no-overflow.c 1 .15  12 1.7  1 3.5  260 -32 5.4   210   1 .61   18    -
termination-crafted/NonTerminationSimple4_false-no-overflow.c 0 .099 11 1.2  0 .51 41 0 .020 5.0 0 .0013 .29 -
termination-crafted/NonTerminationSimple5_false-no-overflow.c 1 .17  11 1.7  1 3.5  260 -32 5.8   290   1 .62   18    -
termination-crafted/NonTerminationSimple6_false-no-overflow.c 1 .18  12 1.9  1 4.0  260 -32 4.7   220   1 .75   19    -
termination-crafted/NonTerminationSimple8_false-no-overflow.c 1 .18  11 1.7  1 3.5  270 -32 4.8   230   1 .63   18    -
termination-crafted/NonTerminationSimple9_false-no-overflow.c 1 .18  12 1.8  1 3.3  260 -32 6.7   220   1 .61   18    -
termination-crafted/Pure2Phase_false-no-overflow.c 1 .19  12 1.4  1 3.2  260 -32 4.2   210   1 .62   18    -
termination-crafted/Pure3Phase_false-no-overflow.c 1 .16  12 2.6  1 3.3  260 -32 4.6   230   1 .77   18    -
termination-crafted/RecursiveMultiplication_false-no-overflow.c 1 .17  12 1.9  1 4.0  270 -32 5.5   230   0 .62   18    -
termination-crafted/RecursiveNonterminating_false-no-overflow.c 1 .16  14 1.8  1 3.6  260 -32 5.7   220   1 .63   18    -
termination-crafted/Rotation180_false-no-overflow.c 1 .18  12 1.7  1 2.7  260 -32 3.0   220   0 .63   18    -
termination-crafted/Singapore_false-no-overflow.c 1 .19  12 1.8  1 3.4  260 -32 4.6   230   1 .62   18    -
termination-crafted/Singapore_plus_false-no-overflow.c 1 .19  12 1.8  1 3.3  260 -32 4.3   220   1 .62   18    -
termination-crafted/Singapore_v1_false-no-overflow.c 1 .17  12 2.1  1 3.4  260 -32 5.5   220   1 .66   18    -
termination-crafted/Singapore_v2_false-no-overflow.c 1 .16  12 1.9  1 3.4  260 -32 4.7   220   1 .60   18    -
termination-crafted/Stockholm_false-no-overflow.c 1 .18  12 1.7  1 3.5  260 -32 5.7   220   1 .64   18    -
termination-crafted/Thun_false-no-overflow.c 1 .18  12 1.7  1 3.3  260 -32 4.6   220   1 .61   18    -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c 1 .16  12 1.8  1 3.3  260 -32 4.6   230   1 5.7    18    -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c 1 .20  12 1.9  1 3.1  270 -32 4.9   240   1 1.2    18    -
termination-crafted/aaron2_false-no-overflow.c 1 .16  12 2.3  1 3.6  270 -32 4.5   230   -32 .65   18    -
termination-crafted/aaron3_false-no-overflow.c 1 .19  12 2.4  1 3.7  260 -32 5.2   230   1 .65   18    -
termination-crafted/easy2_false-no-overflow.c 0 900     210 13000    0 .64 43 0 .019 4.8 0 .0014 .27 -
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 2 .13  11 1.5  - - - 2 5.0   230  
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     250 11000    - - - 0 .020 4.9
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c 0 900     70 11000    - - - 0 .019 4.8
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     180 12000    - - - 0 .021 4.8
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     52 12000    - - - 0 .018 5.0
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 0 900     55 14000    - - - 0 .020 4.8
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 2 .20  12 2.0  - - - 2 6.6   260  
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     100 13000    - - - 0 .018 4.9
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 0 .080 11 .63 - - - 0 .035 4.8
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     270 13000    - - - 0 .019 4.9
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     170 11000    - - - 0 .018 4.8
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     230 13000    - - - 0 .022 4.9
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 0 900     15 14000    - - - 0 .018 4.9
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 0 300     2900 2500    - - - 0 .020 4.8
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c 0 900     3800 7900    - - - 0 .035 4.9
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 2 .13  11 1.3  - - - 2 4.7   210  
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     76 12000    - - - 0 .019 4.9
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     72 12000    - - - 0 .040 4.9
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     100 12000    - - - 0 .018 4.8
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 0 900     92 12000    - - - 0 .019 4.9
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     130 11000    - - - 0 .019 4.8
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     360 13000    - - - 0 .019 5.0
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     290 14000    - - - 0 .019 4.8
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     400 12000    - - - 0 .018 4.9
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 0 900     980 11000    - - - 0 .019 4.9
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     270 10000    - - - 0 .024 5.0
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 2 .13  11 1.6  - - - 2 4.2   210  
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 2 .16  11 1.6  - - - 2 6.0   260  
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     4000 10000    - - - 0 .027 4.8
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     250 12000    - - - 0 .018 4.9
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     170 12000    - - - 0 .024 4.9
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 0 900     250 12000    - - - 0 .019 4.9
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     330 11000    - - - 0 .019 4.8
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     210 13000    - - - 0 .020 4.9
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 2 .14  11 1.3  - - - 2 4.2   210  
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 2 .13  11 1.4  - - - 2 3.9   210  
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 2 .15  11 1.5  - - - 2 5.1   260  
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     180 12000    - - - 0 .023 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c 1 .19  12 1.9  1 2.3  260 -32 4.7   230   1 .90   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c 1 .19  12 1.9  1 3.6  260 -32 4.9   230   1 .71   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c 1 .20  12 1.8  1 3.7  260 -32 4.3   230   -32 .64   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c 1 .22  12 2.4  1 3.6  260 -32 4.3   230   1 .62   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c 1 .21  12 2.0  1 3.9  260 -32 5.0   230   1 .59   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c 1 .17  12 2.1  1 3.4  260 -32 5.6   300   1 .90   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c 1 .25  12 2.7  1 3.7  270 -32 4.7   230   1 .61   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c 0 900     200 10000    0 .53 43 0 .018 4.8 0 .0016 .29 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c 1 .16  12 1.9  1 3.4  260 -32 4.5   230   1 .61   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c 1 .19  12 1.7  1 3.2  260 -32 4.1   210   1 .62   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c 0 900     1900 9800    0 .57 41 0 .021 4.8 0 .0014 .26 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c 0 900     4000 8700    0 .40 41 0 .019 4.9 0 .0015 .26 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c 1 .18  12 1.9  1 2.4  270 -32 4.6   230   1 .68   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c 1 .19  12 1.8  1 3.4  260 -32 4.1   210   -32 .60   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c 1 .19  12 2.0  1 3.4  260 -32 5.6   220   1 .69   18    -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c 1 .19  12 1.9  1 3.3  260 -32 5.0   220   1 .72   18    -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c 1 .20  12 1.9  1 3.5  260 -32 6.0   290   1 .60   18    -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c 1 .17  12 2.3  1 3.2  260 -32 4.8   230   1 .59   18    -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c 1 .21  12 2.1  1 3.6  260 -32 5.9   230   1 .74   18    -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c 1 .20  12 1.8  1 3.5  260 -32 4.8   220   -32 .64   18    -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c 1 .20  12 2.3  1 3.3  270 -32 4.8   230   1 .62   18    -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c 1 .21  12 2.0  1 3.7  260 -32 4.9   230   1 .70   18    -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c 1 .20  12 1.9  1 3.4  260 -32 4.9   230   1 .63   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c 1 .17  12 1.7  1 3.7  270 -32 5.4   210   1 .60   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c 1 .17  12 2.2  1 3.5  260 -32 4.8   220   -32 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c 1 .17  12 2.0  1 3.3  260 -32 4.2   210   1 .61   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c 1 .17  12 1.9  1 3.7  270 -32 4.3   210   1 .65   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c 1 .20  12 2.0  1 3.6  270 -32 6.4   220   1 .59   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c 1 .17  12 1.8  1 3.2  260 -32 4.8   210   1 .63   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c 1 .17  12 2.0  1 3.6  260 -32 4.3   220   1 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c 1 .17  12 2.1  1 3.3  260 -32 4.4   210   1 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c 1 .17  12 1.6  1 3.3  260 -32 4.8   230   1 .61   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c 1 .18  12 1.9  1 2.4  270 -32 4.6   220   1 .71   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c 1 .16  12 1.7  1 3.7  270 -32 4.5   230   1 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c 1 .16  12 2.1  1 3.8  270 -32 4.0   220   1 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c 1 .19  12 1.8  1 2.3  260 -32 4.4   220   1 .66   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c 1 .17  12 1.9  1 3.1  260 -32 4.7   230   1 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c 1 .16  12 1.9  1 3.4  260 -32 4.4   220   1 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c 1 .19  12 1.6  1 3.4  270 -32 4.9   220   1 .61   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c 1 .16  12 2.2  1 3.3  260 -32 4.5   220   1 .60   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c 1 .16  12 1.9  1 3.3  260 -32 4.7   220   1 .60   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c 1 .16  12 1.8  1 3.5  270 -32 4.9   220   -32 .66   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c 1 .18  12 1.8  1 3.3  260 -32 4.5   220   1 .67   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c 1 .18  12 2.0  1 3.3  260 -32 6.0   210   1 .59   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c 1 .15  12 1.7  1 3.3  250 -32 6.4   210   0 .66   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c 1 .16  12 1.7  1 3.8  260 -32 4.7   230   1 .61   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c 1 .17  12 2.1  1 3.3  260 -32 4.6   220   1 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c 1 .16  12 1.9  1 2.8  270 -32 5.2   210   1 .74   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c 1 .17  12 2.1  1 4.0  260 -32 4.4   230   -32 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c 1 .16  12 2.1  1 3.4  260 -32 7.0   230   1 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c 1 .18  12 1.7  1 3.6  260 -32 4.3   220   1 .60   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c 1 .17  12 1.8  1 3.3  260 -32 4.4   230   1 .61   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c 1 .17  12 2.3  1 3.3  270 -32 4.6   230   1 .63   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c 1 .16  12 1.9  1 3.3  260 -32 4.9   230   1 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c 1 .16  12 2.0  1 3.4  260 -32 4.6   220   1 .63   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c 1 .20  12 1.8  1 3.3  260 -32 5.7   300   1 .60   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c 1 .17  12 1.9  1 3.2  270 -32 5.8   290   -32 .61   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c 1 .21  12 2.0  1 3.7  260 -32 6.4   300   1 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c 1 .18  12 2.0  1 3.4  260 -32 4.3   220   1 .60   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c 1 .16  12 2.2  1 3.2  260 -32 5.6   230   1 .61   18    -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c 1 .19  12 1.8  1 2.3  260 -32 4.7   210   1 .60   18    -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c 1 .18  12 1.8  1 3.6  260 -32 4.4   230   1 .63   18    -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c 1 .16  12 2.1  1 3.2  260 -32 4.5   230   1 .61   18    -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c 1 .18  12 1.8  1 2.4  260 -32 4.2   220   1 .58   18    -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c 1 .18  12 2.4  1 3.8  260 -32 4.6   220   1 .62   18    -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c 1 .18  12 2.0  1 4.3  270 -32 5.0   230   0 96      18    -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c 1 .18  12 2.0  1 3.2  260 -32 4.8   230   1 .63   18    -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c 0 2.4   4300 25    0 .63 41 0 .018 5.0 0 .0013 .28 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c 1 .18  12 1.6  1 3.3  270 -32 5.1   230   1 .63   18    -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c 1 .16  12 1.7  1 3.6  270 -32 4.7   220   1 .68   18    -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c 1 .16  12 2.1  1 3.6  270 -32 7.0   230   1 .63   19    -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c 1 .18  12 2.0  1 2.7  270 -32 5.0   220   1 .61   18    -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c 1 .18  12 2.0  0 91    970 -32 4.8   230   1 .65   18    -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c 1 .16  12 1.6  1 3.1  270 -32 4.6   230   1 .67   18    -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c 1 .18  12 1.8  1 2.9  270 -32 4.6   220   1 .62   18    -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c 1 .16  12 1.8  1 2.8  260 -32 4.0   230   1 .66   18    -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c 1 .18  12 1.7  1 3.3  260 -32 4.3   210   1 .66   18    -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c 1 .16  12 1.9  1 2.4  270 -32 4.4   210   1 .61   18    -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c 1 .18  12 2.0  1 3.6  270 -32 4.4   220   1 .65   18    -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c 1 .19  12 1.7  1 2.9  270 -32 4.2   220   1 .65   18    -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c 1 .16  12 2.0  1 3.8  260 -32 6.8   230   1 .61   18    -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c 1 .16  12 1.8  1 3.7  260 -32 4.2   210   1