Tool Map2Check Map2Check 7.1 : Wed Nov 22 22:30:11 -04 2017 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* [apollon072; apollon077; apollon078; apollon135] [apollon041; apollon077; apollon078] [apollon042; apollon077; apollon078] [apollon072; apollon077; apollon078]
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-02 00:52:46 CET 2017-12-02 02:12:50 CET 2017-12-02 02:29:49 CET 2017-12-02 02:31:32 CET 2017-12-02 02:13:30 CET
Run set map2check.sv-comp18.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-map2check.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-map2check.sv-comp18-violation-witness.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-map2check.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-map2check.sv-comp18-correctness-witness.NoOverflows-BitVectors
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/map2check.2017-12-02_0052.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/map2check.2017-12-02_0052.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/map2check.2017-12-02_0052.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/map2check.2017-12-02_0052.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 .32  11 3.7  0 2.3  170 1 4.1   220   0 .079  9.1  -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i 0 .32  12 3.8  0 1.7  190 -32 3.0   210   0 .10   9.0  -
signedintegeroverflow-regression/Division_false-no-overflow.c.i 0 .30  12 4.2  0 2.2  160 -32 3.0   220   0 .068  9.0  -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i 1 .31  11 2.7  0 1.7  170 1 4.0   220   0 .10   9.0  -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i 1 .30  11 3.5  0 2.3  170 1 3.1   220   0 .10   9.0  -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i 0 .32  11 3.4  0 1.6  160 -32 4.4   210   0 .074  9.1  -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i 0 .32  12 3.2  0 1.6  160 -32 3.3   220   0 .10   9.0  -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i 0 .29  11 4.2  0 1.6  170 -32 2.9   210   0 .10   8.9  -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i 0 .30  12 4.0  0 1.6  170 -32 2.9   220   0 .099  9.1  -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i 0 .32  11 3.5  0 2.3  170 -32 3.2   220   0 .10   9.0  -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i 2 .32  11 3.6  - - - 2 3.0   220  
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i 2 .30  11 4.5  - - - 2 3.4   260  
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i 2 .32  11 3.7  - - - 2 2.8   210  
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i 2 .29  11 3.9  - - - 2 2.9   210  
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i 2 .29  12 4.5  - - - 2 4.4   210  
termination-crafted/2Nested_false-no-overflow.c 1 .69  12 8.0  0 1.6  160 1 4.5   220   0 .098  9.1  -
termination-crafted/4NestedWith3Variables_false-no-overflow.c 1 1.1   13 13    0 2.2  160 1 4.8   230   0 .065  9.1  -
termination-crafted/Ackermann_false-no-overflow.c 1 .50  12 5.7  0 1.9  160 1 3.2   230   0 .065  9.1  -
termination-crafted/Bangalore_false-no-overflow.c 1 .60  13 7.4  0 2.0  160 1 4.6   220   0 .076  9.0  -
termination-crafted/Bangalore_v3_false-no-overflow.c 1 .75  13 9.3  0 1.6  160 1 3.1   220   0 .066  9.0  -
termination-crafted/Benghazi_nondet_false-no-overflow.c 1 .68  12 9.7  0 2.1  160 1 3.2   230   0 .11   9.0  -
termination-crafted/Binary_Search_false-no-overflow.c 1 .58  12 6.8  0 2.1  160 1 4.7   230   0 .066  9.0  -
termination-crafted/Cairo_nondet_false-no-overflow.c 1 .67  12 8.9  0 2.1  170 1 3.5   260   0 .063  9.0  -
termination-crafted/Cairo_step2_false-no-overflow.c 0 900     1100 11000    0 .53 41 0 .020 4.9 0 .0014 .34 -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c 1 .43  12 5.1  0 2.1  160 1 5.8   270   0 .097  9.0  -
termination-crafted/Copenhagen_disj_false-no-overflow.c 1 .49  12 5.7  0 1.6  160 1 3.5   260   0 .10   9.0  -
termination-crafted/Gothenburg_false-no-overflow.c 1 3.6   14 43    0 2.1  160 1 3.5   240   0 .068  9.0  -
termination-crafted/Gothenburg_v2_false-no-overflow.c 1 .41  12 4.5  0 1.5  160 1 3.4   230   0 .10   9.0  -
termination-crafted/Hanoi_2vars_false-no-overflow.c 0 26     15000 390    0 .42 42 0 .017 4.9 0 .0011 .27 -
termination-crafted/Hanoi_3vars_false-no-overflow.c 1 .68  13 8.4  0 2.1  160 1 3.3   230   0 .073  9.0  -
termination-crafted/Hanoi_plus_false-no-overflow.c 1 .99  13 12    0 2.0  160 1 3.3   230   0 .10   9.0  -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c 1 .42  12 5.6  0 1.5  160 1 3.7   250   0 .078  9.1  -
termination-crafted/Mysore_false-no-overflow.c 1 .83  12 10    0 1.6  160 1 3.2   230   0 .10   9.0  -
termination-crafted/NestedRecursion_1a_false-no-overflow.c 1 .35  12 4.3  0 2.2  160 1 3.3   230   0 .066  9.1  -
termination-crafted/NestedRecursion_2a_false-no-overflow.c 1 .38  11 3.4  0 1.6  180 1 3.7   250   0 .11   8.9  -
termination-crafted/NonTermination1_false-no-overflow.c 1 .39  12 4.8  0 1.5  160 1 2.9   230   0 .098  9.0  -
termination-crafted/NonTermination2_false-no-overflow.c 1 .48  12 5.3  0 1.6  160 1 3.6   270   0 .10   8.9  -
termination-crafted/NonTermination4_false-no-overflow.c 0 .30  11 3.8  0 2.0  160 -32 6.9   290   0 .099  9.0  -
termination-crafted/NonTerminationSimple2_false-no-overflow.c 1 .41  12 5.5  0 1.5  160 1 3.1   220   0 .10   9.0  -
termination-crafted/NonTerminationSimple3_false-no-overflow.c 1 .58  13 8.0  0 1.5  160 1 3.3   220   0 .10   9.0  -
termination-crafted/NonTerminationSimple4_false-no-overflow.c 0 900     83 4200    0 .51 41 0 .020 4.9 0 .0037 .34 -
termination-crafted/NonTerminationSimple5_false-no-overflow.c 1 .42  12 4.8  0 1.5  160 1 5.2   260   0 .11   8.9  -
termination-crafted/NonTerminationSimple6_false-no-overflow.c 0 26     15000 370    0 .53 41 0 .018 5.0 0 .0019 .26 -
termination-crafted/NonTerminationSimple8_false-no-overflow.c 1 .44  12 5.3  0 2.1  160 1 3.5   250   0 .075  9.0  -
termination-crafted/NonTerminationSimple9_false-no-overflow.c 0 26     15000 360    0 .54 43 0 .018 5.0 0 .0037 .29 -
termination-crafted/Pure2Phase_false-no-overflow.c 1 .43  12 5.5  0 1.5  160 1 5.1   260   0 .066  9.0  -
termination-crafted/Pure3Phase_false-no-overflow.c 1 1.6   13 22    0 2.1  160 1 4.7   230   0 .073  9.0  -
termination-crafted/RecursiveMultiplication_false-no-overflow.c 0 .80  12 12    0 .41 43 0 .018 5.0 0 .0042 .26 -
termination-crafted/RecursiveNonterminating_false-no-overflow.c 1 .33  11 3.6  0 1.4  160 1 4.6   230   0 .080  9.1  -
termination-crafted/Rotation180_false-no-overflow.c 0 890     11 14000    0 .45 41 0 .018 4.9 0 .0036 .26 -
termination-crafted/Singapore_false-no-overflow.c 1 .60  13 7.8  0 1.5  160 1 4.7   230   0 .10   8.9  -
termination-crafted/Singapore_plus_false-no-overflow.c 1 .64  12 7.6  0 1.5  160 1 4.6   220   0 .085  9.0  -
termination-crafted/Singapore_v1_false-no-overflow.c 1 .68  12 8.4  0 1.5  160 1 3.4   230   0 .065  8.9  -
termination-crafted/Singapore_v2_false-no-overflow.c 1 .69  12 8.1  0 2.1  160 1 3.4   230   0 .098  9.0  -
termination-crafted/Stockholm_false-no-overflow.c 1 1.8   13 22    0 1.5  160 1 3.1   220   0 .063  9.1  -
termination-crafted/Thun_false-no-overflow.c 1 1.1   13 16    0 2.0  160 1 4.5   220   0 .093  9.0  -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c 1 .95  12 13    0 2.1  160 1 3.9   260   0 .10   8.9  -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c 0 1.4   12 19    0 2.1  160 -32 5.3   260   0 .092  9.0  -
termination-crafted/aaron2_false-no-overflow.c 1 .93  13 12    0 1.5  160 1 5.3   250   0 .063  9.0  -
termination-crafted/aaron3_false-no-overflow.c 1 .79  13 10    0 1.5  160 1 3.2   230   0 .076  9.0  -
termination-crafted/easy2_false-no-overflow.c 0 900     300 11000    0 .55 44 0 .018 4.9 0 .0041 .32 -
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 2 .34  11 3.5  - - - 2 4.8   230  
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 0 890     100 12000    - - - 0 .018 4.9
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c 0 900     32 11000    - - - 0 .020 5.0
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 0 3.0   140 33    - - - 0 .044 4.8
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     60 10000    - - - 0 .019 4.9
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 0 900     58 12000    - - - 0 .018 4.8
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 2 .49  12 5.2  - - - 2 5.4   260  
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     930 12000    - - - 0 .020 5.0
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 0 900     1200 11000    - - - 0 .018 4.9
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     1100 11000    - - - 0 .019 4.9
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     1200 12000    - - - 0 .018 4.9
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     1100 9900    - - - 0 .018 4.9
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 0 900     26 12000    - - - 0 .018 4.9
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     1900 11000    - - - 0 .019 4.9
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c 0 900     1900 12000    - - - 0 .019 4.9
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 0 890     11 12000    - - - 0 .018 4.8
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     110 13000    - - - 0 .046 4.8
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     140 11000    - - - 0 .018 4.8
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     940 12000    - - - 0 .018 4.8
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 0 900     600 12000    - - - 0 .018 4.8
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     260 11000    - - - 0 .018 4.8
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     460 12000    - - - 0 .027 4.8
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     460 10000    - - - 0 .019 4.8
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     490 13000    - - - 0 .018 4.8
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 0 900     2400 9200    - - - 0 .019 4.8
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     1600 10000    - - - 0 .022 5.0
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 2 .41  12 5.0  - - - 2 3.9   210  
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 0 890     11 12000    - - - 0 .042 4.8
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     650 13000    - - - 0 .041 4.9
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     250 11000    - - - 0 .022 4.9
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     140 11000    - - - 0 .019 5.0
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 0 900     460 11000    - - - 0 .020 4.9
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     440 12000    - - - 0 .019 4.9
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     260 11000    - - - 0 .018 5.0
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 2 .29  11 3.5  - - - 2 4.2   210  
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 0 890     11 12000    - - - 0 .045 4.8
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 2 .38  11 4.3  - - - 2 5.1   260  
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 0 900     310 9900    - - - 0 .048 4.8
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c 1 .41  12 6.0  0 1.5  160 1 3.9   260   0 .085  9.0  -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c 1 .43  12 6.0  0 2.1  160 1 3.7   260   0 .088  9.0  -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c 1 .92  13 13    0 2.0  160 1 3.7   270   0 .082  9.1  -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c 0 .82  13 10    0 .53 41 0 .018 4.9 0 .0041 .29 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c 1 .68  13 7.9  0 1.5  160 1 6.0   260   0 .095  9.0  -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c 1 .72  12 7.8  0 2.0  160 1 4.6   230   0 .074  9.1  -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c 1 1.2   13 16    0 1.5  160 1 4.1   270   0 .067  9.0  -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c 0 900     270 11000    0 .54 43 0 .018 4.8 0 .0019 .29 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c 1 .53  13 6.5  0 2.2  180 1 3.6   260   0 .11   8.9  -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c 1 .30  11 3.6  0 2.1  160 1 5.3   270   0 .090  9.0  -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c 0 890     620 12000    0 .41 44 0 .047 4.8 0 .0042 .26 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c 0 900     350 14000    0 .56 43 0 .038 4.8 0 .0041 .34 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c 1 .40  12 5.0  0 2.0  160 1 4.5   230   0 .10   9.0  -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c 0 31     15000 470    0 .54 43 0 .024 5.0 0 .0020 .34 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c 1 .50  13 6.5  0 1.5  160 1 3.8   270   0 .064  9.0  -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c 1 .61  12 8.0  0 2.1  160 1 3.6   260   0 .078  9.0  -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c 0 25     15000 310    0 .58 44 0 .020 4.9 0 .0037 .26 -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c 1 1.9   20 22    0 2.1  160 1 3.4   230   0 .098  9.0  -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c 1 .68  12 8.2  0 2.2  160 1 3.4   230   0 .091  9.0  -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c 1 .98  13 11    0 1.5  160 1 3.7   260   0 .077  9.0  -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c 1 .81  13 9.6  0 2.1  160 1 3.6   250   0 .10   9.0  -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c 1 .82  12 11    0 2.1  160 1 3.6   260   0 .088  8.9  -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c 0 26     15000 360    0 .43 41 0 .019 4.8 0 .0012 .26 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c 1 .48  12 6.3  0 1.5  160 1 3.5   260   0 .063  9.1  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c -32 1.1   12 16    0 .61 45 1 3.1   230   0 .077  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c 1 .37  11 4.8  0 2.1  160 1 3.4   260   0 .080  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c 1 .38  12 4.5  0 1.5  160 1 4.6   240   0 .10   9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c 1 .36  12 4.4  0 2.0  160 1 4.6   220   0 .065  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c 1 .54  13 7.6  0 1.5  160 1 3.3   220   0 .082  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c 1 .58  12 7.9  0 2.1  160 1 4.9   250   0 .095  9.1  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c 0 .52  12 7.0  0 .41 43 0 .018 4.8 0 .0031 .29 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c 1 .93  13 13    0 1.5  160 1 3.2   220   0 .064  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c 0 27     15000 360    0 .43 43 0 .018 5.0 0 .0036 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c 1 1.1   12 14    0 2.1  160 1 3.3   230   0 .070  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c 1 .58  12 7.8  0 1.6  160 1 4.6   220   0 .071  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c 1 .72  12 9.7  0 1.5  160 1 4.6   220   0 .10   9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c 1 1.0   13 12    0 1.5  160 1 4.1   270   0 .068  8.9  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c 1 .49  12 6.1  0 2.1  160 1 5.2   260   0 .10   9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c 1 .87  12 10    0 1.5  160 1 3.4   230   0 .063  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c 1 1.3   13 19    0 2.2  160 1 3.3   230   0 .096  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c 1 .73  12 9.6  0 1.5  160 1 4.3   230   0 .10   9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c 1 .58  12 6.3  0 1.5  160 1 4.4   210   0 .10   9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c 0 .54  12 6.4  0 2.0  160 -32 2.9   220   0 .098  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c 1 .40  12 5.3  0 2.1  160 1 4.8   240   0 .10   8.9  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c 1 .44  11 6.0  0 1.5  160 1 3.1   220   0 .068  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c 1 .69  12 9.4  0 1.6  160 1 3.2   220   0 .063  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c 0 .86  12 9.9  0 .52 41 0 .018 4.8 0 .0036 .27 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c 1 .51  12 6.9  0 1.5  160 1 4.5   220   0 .066  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c -32 .44  12 6.1  0 .47 45 1 3.3   230   0 .091  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c 1 1.1   13 13    0 2.1  160 1 3.1   220   0 .065  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c 0 .70  15 8.5  0 2.0  150 -32 3.1   230   0 .10   9.1  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c 1 .96  13 13    0 2.2  160 1 3.3   230   0 .10   9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c 1 .81  13 9.6  0 1.5  160 1 3.2   230   0 .074  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c 1 .68  12 9.5  0 1.5  160 1 5.0   260   0 .096  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c 0 1.7   13 23    0 .54 43 0 .018 4.9 0 .0037 .28 -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c 1 .85  14 10    0 1.5  160 1 5.3   230   0 .066  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c 1 .78  12 8.4  0 1.5  160 1 4.7   220   0 .082  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c 1 1.6   14 19    0 2.0  160 1 3.2   230   0 .072  9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c 1 1.1   13 13    0 2.0  160 1 3.3   230   0 .10   9.0  -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c 0 .49  13 5.8  0 1.6  160 -32 4.5   230   0 .095  8.9  -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c 1 .48  13 5.6  0 2.2  160 1 3.6   270   0 .069  9.0  -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c 1 .46  12 4.9  0 2.2  160 1 3.5   230   0 .077  9.0  -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c 1 .49  12 7.0  0 1.5  160 1 3.6   240   0 .074  9.0  -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c 0 26     15000 330    0 .43 41 0 .018 4.8 0 .0017 .26 -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c 1 .57  12 7.9  0 1.6  160 1 3.4   250   0 .098  9.0  -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c 1 3.4   15 46    0 1.5  160 1 7.1   270   0 .066  9.0  -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c 1 .46  12 5.2  0 2.1  160 1 4.7   230   0 .097  9.0  -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c 0 .052 11 .34 0 .39 41 0 .020 4.9 0 .0040 .29 -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c 1 .52  12 6.5  0 1.5  160 1 3.2   230   0 .10   9.1  -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c 1 .54  12 7.7  0 2.0  160 1 3.3   230   0 .074  9.0  -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c 1 .41  12 5.9  0 1.5  160 1 6.0   250   0 .069  9.0  -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c 1 .62  12 6.6  0 1.5  160 1 4.0   260   0 .10   9.1  -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c 1 .47  12 5.5  0 2.2  170 1 3.4   230   0 .10   9.0  -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c 1 .48  12 6.4  0 2.0  160 1 3.4   230   0 .075  9.0  -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c 1 .53  12 6.1  0 2.1  160 1 4.5   220   0 .099  8.9  -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c 1 .44  12 4.8  0 2.1  160 1 3.6   250   0 .10   9.0  -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c 1 .56  13 6.4  0 1.5  160 1 3.1   220   0 .083  9.1  -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c 0 26     15000 350    0 .53 43 0 .018 4.8 0 .0040 .28 -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c 1 .54  12 7.3  0 1.5  160 1 3.2   220   0 .10   9.0  -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c 1 .58  12 7.3  0 1.5  160 1 4.2   220   0 .11   8.9  -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c 1 .55  12 7.2  0 1.5  160 1 3.2   220   0 .091  9.0  -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c 1 .71  12 8.3  0 2.0  160 1 3.2   230   0 .10   9.0  -
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c 1 .57  12 6.9  0 1.5  160 1