Tool ULTIMATE Automizer 0.1.23-3204b741 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] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-12-03 11:17:40 CET 2017-12-03 11:52:01 CET 2017-12-03 12:09:33 CET 2017-12-03 12:09:49 CET 2017-12-03 11:53:41 CET
Run set uautomizer.sv-comp18.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-uautomizer.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-uautomizer.sv-comp18-correctness-witness.NoOverflows-BitVectors
Options --full-output -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/uautomizer.2017-12-03_1117.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/uautomizer.2017-12-03_1117.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/uautomizer.2017-12-03_1117.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/uautomizer.2017-12-03_1117.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 4.1 240 32 1 3.6  270 1 4.6   220   -32 .64   18    -
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i 1 4.8 260 40 1 4.0  290 1 5.0   250   -32 .64   18    -
signedintegeroverflow-regression/Division_false-no-overflow.c.i 1 4.1 240 38 1 3.7  260 1 4.4   240   -32 .61   18    -
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i 1 4.2 240 37 1 3.5  260 1 4.4   220   -32 .64   18    -
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i 1 4.1 230 32 1 4.1  260 1 4.5   210   -32 .65   18    -
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i 1 4.7 270 44 1 3.7  260 1 4.7   240   1 .65   18    -
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i 1 4.2 240 39 1 4.2  270 1 4.4   240   1 .65   18    -
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i 1 4.5 270 38 1 3.7  260 1 4.9   250   1 .63   18    -
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i 1 4.1 250 36 1 3.9  260 1 4.6   240   1 .66   18    -
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i 1 4.1 240 35 1 3.8  260 1 4.6   210   -32 .65   18    -
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i 2 4.0 240 34 - - - 2 4.3   220  
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i 2 4.6 290 38 - - - 2 5.0   260  
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i 2 4.0 230 34 - - - 2 5.3   290  
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i 2 4.1 240 35 - - - 2 4.2   220  
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i 2 4.4 240 34 - - - 2 4.0   210  
termination-crafted/2Nested_false-no-overflow.c 1 6.1 340 49 1 3.2  260 1 4.7   220   -32 .61   18    -
termination-crafted/4NestedWith3Variables_false-no-overflow.c 1 4.1 250 38 1 3.2  260 1 5.0   230   -32 .62   18    -
termination-crafted/Ackermann_false-no-overflow.c 1 4.0 240 38 1 4.2  280 1 4.9   250   -32 .60   18    -
termination-crafted/Bangalore_false-no-overflow.c 1 4.0 240 37 1 3.3  260 1 5.0   220   0 96      18    -
termination-crafted/Bangalore_v3_false-no-overflow.c 1 4.2 240 36 1 3.3  260 1 4.6   220   0 96      18    -
termination-crafted/Benghazi_nondet_false-no-overflow.c 1 4.0 230 36 1 3.3  260 1 6.0   320   1 .64   18    -
termination-crafted/Binary_Search_false-no-overflow.c 1 4.2 250 34 1 3.2  260 1 5.0   250   -32 .61   18    -
termination-crafted/Cairo_nondet_false-no-overflow.c 1 4.4 280 36 1 3.1  260 1 5.3   260   -32 .63   18    -
termination-crafted/Cairo_step2_false-no-overflow.c 0 900   4400 14000 0 .53 41 0 .048 5.0 0 .0025 .34 -
termination-crafted/Collatz_unknown-termination_false-no-overflow.c 1 5.0 290 40 1 3.4  280 1 4.9   220   -32 .62   18    -
termination-crafted/Copenhagen_disj_false-no-overflow.c 1 4.4 270 36 1 3.2  260 1 5.2   260   -32 .60   18    -
termination-crafted/Gothenburg_false-no-overflow.c 1 4.2 250 37 1 3.4  260 1 5.1   260   -32 .63   18    -
termination-crafted/Gothenburg_v2_false-no-overflow.c 1 4.3 250 38 1 3.2  260 1 5.1   230   -32 .64   18    -
termination-crafted/Hanoi_2vars_false-no-overflow.c 1 4.0 240 35 1 3.4  260 1 4.6   220   -32 .63   19    -
termination-crafted/Hanoi_3vars_false-no-overflow.c 1 4.2 240 36 1 3.5  270 1 3.4   220   -32 .62   18    -
termination-crafted/Hanoi_plus_false-no-overflow.c 1 4.3 230 39 1 3.1  260 1 4.9   230   -32 .63   18    -
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c 1 4.4 270 35 1 3.2  260 1 5.5   260   -32 .61   18    -
termination-crafted/Mysore_false-no-overflow.c 1 6.3 340 47 1 3.5  260 1 4.7   230   -32 .63   18    -
termination-crafted/NestedRecursion_1a_false-no-overflow.c 1 4.2 250 35 1 3.2  250 1 5.0   250   -32 .62   18    -
termination-crafted/NestedRecursion_2a_false-no-overflow.c 1 4.5 280 44 1 3.2  260 1 5.2   260   -32 .63   18    -
termination-crafted/NonTermination1_false-no-overflow.c 1 3.9 240 34 1 3.2  270 1 4.5   220   -32 .62   18    -
termination-crafted/NonTermination2_false-no-overflow.c 1 4.1 240 37 1 3.5  270 1 4.5   220   -32 .64   18    -
termination-crafted/NonTermination4_false-no-overflow.c 1 23   780 200 1 22    950 1 4.9   250   1 .63   19    -
termination-crafted/NonTerminationSimple2_false-no-overflow.c 1 4.0 230 36 1 3.1  260 1 4.8   210   1 3.9    18    -
termination-crafted/NonTerminationSimple3_false-no-overflow.c 1 4.2 240 38 1 3.1  260 1 4.6   220   0 96      18    -
termination-crafted/NonTerminationSimple4_false-no-overflow.c 0 900   3900 15000 0 .52 44 0 .042 4.8 0 .0028 .26 -
termination-crafted/NonTerminationSimple5_false-no-overflow.c 1 4.5 280 37 1 3.3  260 1 5.2   250   -32 .59   18    -
termination-crafted/NonTerminationSimple6_false-no-overflow.c 1 4.0 240 36 1 3.2  260 1 4.2   220   1 1.4    18    -
termination-crafted/NonTerminationSimple8_false-no-overflow.c 1 6.1 330 45 1 3.3  260 1 4.9   250   -32 .60   18    -
termination-crafted/NonTerminationSimple9_false-no-overflow.c 1 4.3 240 36 1 3.2  260 1 4.3   220   1 .60   18    -
termination-crafted/Pure2Phase_false-no-overflow.c 1 4.7 280 36 1 3.0  260 1 5.2   250   -32 .62   18    -
termination-crafted/Pure3Phase_false-no-overflow.c 1 4.2 240 33 1 3.0  260 1 5.4   250   1 .63   18    -
termination-crafted/RecursiveMultiplication_false-no-overflow.c 1 4.4 250 34 1 3.2  260 1 5.4   250   -32 .60   18    -
termination-crafted/RecursiveNonterminating_false-no-overflow.c 1 4.3 240 34 1 3.1  260 1 4.6   230   0 .62   18    -
termination-crafted/Rotation180_false-no-overflow.c 1 4.1 240 34 1 3.2  260 1 4.4   240   0 96      19    -
termination-crafted/Singapore_false-no-overflow.c 1 4.0 240 36 1 3.2  260 1 4.9   230   -32 .62   18    -
termination-crafted/Singapore_plus_false-no-overflow.c 1 4.1 240 34 1 3.1  250 1 4.8   230   -32 .61   18    -
termination-crafted/Singapore_v1_false-no-overflow.c 1 4.2 240 35 1 3.3  260 1 4.7   220   -32 .60   18    -
termination-crafted/Singapore_v2_false-no-overflow.c 1 4.1 240 36 1 3.1  260 1 4.8   230   -32 .63   18    -
termination-crafted/Stockholm_false-no-overflow.c 1 4.3 240 39 1 3.4  260 1 4.6   220   -32 .64   18    -
termination-crafted/Thun_false-no-overflow.c 1 4.0 240 33 1 3.2  260 1 4.4   220   -32 .62   18    -
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c 1 4.9 280 41 1 3.1  260 1 5.5   260   -32 .63   18    -
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c 1 13   660 120 1 3.4  260 1 6.4   270   -32 .64   19    -
termination-crafted/aaron2_false-no-overflow.c 1 4.7 280 43 1 3.1  260 1 4.8   250   0 .62   18    -
termination-crafted/aaron3_false-no-overflow.c 1 6.0 320 40 1 3.2  260 1 4.9   240   -32 .59   18    -
termination-crafted/easy2_false-no-overflow.c 0 900   5300 14000 0 .52 43 0 .039 4.8 0 .0052 .26 -
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c 2 7.3 360 56 - - - 2 5.1   230  
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c 2 30   940 320 - - - 2 40     840  
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c 2 4.6 280 36 - - - 2 5.0   260  
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c 2 5.7 300 51 - - - 2 7.8   260  
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c 2 5.2 300 44 - - - 2 5.4   260  
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c 2 5.3 300 42 - - - 2 5.3   260  
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c 2 5.0 300 43 - - - 2 5.1   270  
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c 2 17   720 150 - - - 2 21     640  
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c 2 4.1 230 38 - - - 2 4.0   210  
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c 2 4.9 300 40 - - - 2 5.4   260  
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c 2 4.6 290 46 - - - 2 5.7   260  
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c 2 5.5 310 53 - - - 2 5.7   250  
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c 2 4.7 290 39 - - - 2 5.1   250  
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c 0 900   4900 13000 - - - 0 .019 5.0
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c 0 900   2000 11000 - - - 0 .017 4.8
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c 2 3.8 240 37 - - - 2 4.0   210  
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c 0 900   5200 11000 - - - 0 .018 4.9
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c 2 6.3 310 53 - - - 2 10     270  
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c 2 9.8 540 79 - - - 2 11     500  
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c 2 8.5 450 66 - - - 2 11     460  
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 2 19   790 170 - - - 2 20     640  
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c 2 12   560 93 - - - 2 16     490  
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c 2 8.4 480 71 - - - 2 11     450  
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c 2 12   530 99 - - - 2 14     490  
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c 2 11   550 83 - - - 2 11     480  
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c 2 14   610 120 - - - 2 15     550  
termination-crafted/NonTermination3_true-no-overflow_false-termination.c 2 4.1 240 33 - - - 2 3.9   210  
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c 2 5.3 300 45 - - - 2 5.9   260  
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c 2 4.9 280 44 - - - 2 5.3   260  
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c 2 4.9 280 42 - - - 2 5.5   260  
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c 2 5.0 290 41 - - - 2 5.7   260  
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c 2 5.5 300 46 - - - 2 6.3   260  
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c 2 5.7 300 45 - - - 2 5.4   260  
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c 2 4.8 290 38 - - - 2 4.9   250  
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c 2 4.1 240 33 - - - 2 5.0   210  
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c 2 4.1 240 37 - - - 2 4.3   210  
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c 2 4.8 290 37 - - - 2 4.8   260  
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c 0 900   5300 13000 - - - 0 .018 4.8
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c 1 4.7 300 43 1 3.2  260 1 5.3   230   -32 .63   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c 1 5.1 280 46 1 3.2  260 1 4.9   250   -32 .63   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c 1 4.6 280 38 1 3.2  260 1 4.7   240   0 .63   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c 1 4.4 240 36 1 3.1  260 1 5.1   220   1 .59   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c 1 5.9 300 49 1 3.2  260 1 5.6   260   -32 .64   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c 1 4.0 240 37 1 3.5  260 1 5.0   230   -32 .65   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c 1 7.1 370 56 0 91    1100 1 5.1   230   -32 .65   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c 0 900   5300 15000 0 .51 44 0 .018 4.8 0 .0037 .32 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c 1 5.0 290 42 1 3.3  260 1 5.3   260   -32 .64   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c 1 4.5 280 38 1 3.2  260 1 4.8   260   -32 .63   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c 0 900   5000 13000 0 .53 43 0 .044 4.8 0 .0041 .26 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c 0 900   8500 9900 0 .54 41 0 .040 4.8 0 .0045 .26 -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c 1 4.1 250 35 1 3.4  270 1 4.6   230   -32 .62   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c 1 4.4 240 39 1 3.3  260 1 5.2   230   -32 .63   18    -
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c 1 4.9 290 41 1 3.2  260 1 5.4   250   -32 .64   18    -
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c 1 4.9 300 39 1 3.2  260 1 5.0   260   -32 .59   18    -
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c 1 4.8 280 37 1 3.2  260 1 5.3   260   -32 .63   18    -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c 1 4.4 250 37 1 3.2  270 1 5.5   250   -32 .63   19    -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c 1 4.5 250 36 1 3.3  260 1 4.8   250   -32 5.8    18    -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c 1 4.5 280 38 1 3.4  260 1 5.1   250   0 .60   18    -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c 1 4.2 240 40 1 3.1  260 1 5.2   250   -32 .64   18    -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c 1 4.2 240 36 1 3.5  260 1 4.9   250   -32 .61   18    -
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c 1 4.3 250 39 1 3.4  260 1 5.3   260   -32 .61   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c 1 4.5 280 41 1 3.2  260 1 5.4   250   -32 .63   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c 1 4.3 240 35 1 3.3  260 1 4.7   260   -32 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c 1 4.4 280 37 1 3.2  270 1 5.6   270   -32 .61   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c 1 4.2 240 32 1 3.5  270 1 4.6   220   -32 .64   19    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c 1 4.1 230 34 1 3.5  270 1 4.9   220   -32 .60   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c 1 3.9 230 31 1 3.3  260 1 4.3   220   -32 .63   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c 1 4.5 280 39 1 3.0  260 1 5.4   260   -32 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c 1 4.2 240 39 1 3.5  260 1 4.8   220   -32 .59   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c 1 4.2 240 32 1 3.0  260 1 4.6   220   -32 .59   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c 1 4.1 250 41 1 3.2  260 1 4.4   220   -32 .59   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c 1 4.3 240 35 1 3.1  260 1 5.2   230   -32 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c 1 4.0 240 36 1 3.4  280 1 4.7   220   -32 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c 1 4.2 240 34 1 3.3  260 1 4.4   220   -32 .59   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c 1 4.9 290 43 1 3.0  260 1 6.0   260   -32 .60   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c 1 4.7 300 39 1 3.2  260 1 5.0   260   -32 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c 1 6.2 330 45 1 3.1  260 1 5.2   230   -32 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c 1 4.0 250 34 1 3.1  260 1 4.8   220   0 96      19    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c 1 4.1 240 34 1 3.1  260 1 4.6   230   -32 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c 1 4.2 240 38 1 3.3  260 1 4.8   230   -32 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c 1 4.2 240 37 1 3.3  260 1 4.6   220   -32 .59   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c 1 4.4 270 36 1 3.1  260 1 4.7   260   -32 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c 1 4.1 230 33 1 3.1  260 1 4.8   220   1 4.4    18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c 1 4.0 240 33 1 3.1  260 1 4.7   230   -32 .63   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c 1 4.2 240 31 1 3.1  260 1 3.2   230   -32 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c 1 4.1 250 33 1 3.2  250 1 4.5   220   -32 .65   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c 1 4.0 250 37 1 3.3  260 1 4.8   240   -32 .60   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c 1 4.4 250 33 1 3.2  260 1 5.0   240   -32 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c 1 6.5 340 48 1 3.2  260 1 4.9   230   -32 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c 1 4.3 250 37 1 3.3  260 1 5.0   230   -32 .60   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c 1 4.2 240 34 1 3.2  260 1 4.9   230   -32 .64   19    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c 1 4.6 280 35 1 3.2  260 1 5.2   270   -32 .63   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c 1 4.3 240 38 1 3.4  260 1 5.2   230   -32 .63   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c 1 4.1 240 34 1 3.3  260 1 4.7   220   -32 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c 1 4.2 240 38 1 3.6  270 1 4.3   230   -32 .60   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c 1 4.2 250 37 1 3.3  260 1 4.8   230   -32 .64   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c 1 4.2 250 36 1 3.2  260 1 4.8   230   -32 .62   18    -
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c 1 4.3 250 32 1 3.2  260 1 5.2   250   -32 .65   18    -
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c 1 4.9 290 39 1 3.2  250 1 5.0   250   -32 .62   18    -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c 1 4.1 240 33 1 3.3  260 1 5.0   230   -32 .58   18    -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c 1 4.2 240 37 1 3.2  260 1 5.4   250   -32 2.6    18    -
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c 1 4.1 240 38 1 3.2  260 1 4.9   230   -32 2.0    18    -
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c 1 4.8 280 42 1 3.5  260 1 4.7   250   -32 .59   18    -
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c 1 6.1 300 56 1 3.3  260 1 5.2   260   -32 .62   18    -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c 1 4.2 240 32 1 3.2  250 1 5.0   230   -32 .63   18    -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c 1 4.9 290 43 1 3.5  270 1 5.6   260   -32 .63   18    -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c 1 4.1 240 32 1 3.3  270 1 4.6   230   -32 .62   18    -
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c 1 4.1 240 37 1 3.4  270 1 4.8   230   -32 .63   18    -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c 1 5.7 310 53 1 3.5  270 1 6.3   260   -32 .64   18    -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c 1 5.1 290 42 1 3.5  260 1 5.9   320   -32 .60   19    -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c 1 4.3 240 34 1 3.1  260 1 5.1   250   -32 .62   18    -
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c 1 4.0 240 35 1 3.6  270 1 5.1   250   -32 .64   18    -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c 1 4.2 240 37 1 3.0  260 1 5.5   260   -32 .60   18    -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c 1 4.5 280 39 1 3.2  260 1 4.8   260   -32 .61   18    -
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c 1 4.3 240 33 1 3.2  260 1 4.8   220   -32 .60   18    -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c 1 4.0 240 34 1 3.2  260 1 4.1   220   -32 .60   18    -
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c 1 4.2 240 35 1 3.4  270 1 4.7   220   -32 .62   18    -
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c 1 4.0 240 32 1 3.3  260 1 4.3   220   -32 .64   18    -
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c 1 4.0 250 36 1 3.3  260 1 5.0   230   -32 .63   18    -
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c 1