Tool 2LS 0.6.0 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* [apollon013; apollon077; apollon078; apollon114] [apollon077; apollon078; apollon089; apollon164] [apollon077; apollon078; apollon089; apollon134] [apollon022; 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] CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [4; 8], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33554 MB; 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-01 10:20:37 CET 2017-12-01 11:18:40 CET 2017-12-01 11:36:11 CET 2017-12-01 11:38:17 CET 2017-12-01 11:21:10 CET
Run set 2ls.sv-comp18.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-2ls.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-2ls.sv-comp18-violation-witness.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-2ls.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-2ls.sv-comp18-correctness-witness.NoOverflows-BitVectors
Options --graphml-witness witness.graphml -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/2ls.2017-12-01_1020.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/2ls.2017-12-01_1020.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/2ls.2017-12-01_1020.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/2ls.2017-12-01_1020.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 false(no-overflow) 1 wit inspect .13  24 .86 false(no-overflow) 1 wit inspect 3.8  260 false(no-overflow) 1 wit inspect 2.9   220   true -32 wit inspect .78   18    - wit inspect
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 1 wit inspect .14  24 .95 false(no-overflow) 1 wit inspect 4.2  260 false(no-overflow) 1 wit inspect 5.6   260   true -32 wit inspect .61   18    - wit inspect
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 1 wit inspect .10  24 1.0  false(no-overflow) 1 wit inspect 4.1  260 false(no-overflow) 1 wit inspect 5.8   240   true -32 wit inspect .70   18    - wit inspect
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 1 wit inspect .14  24 .85 false(no-overflow) 1 wit inspect 2.8  260 false(no-overflow) 1 wit inspect 4.7   220   true -32 wit inspect .60   18    - wit inspect
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 1 wit inspect .10  24 .89 false(no-overflow) 1 wit inspect 4.6  290 false(no-overflow) 1 wit inspect 5.5   220   true -32 wit inspect .77   18    - wit inspect
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect .12  24 .93 false(no-overflow) 1 wit inspect 2.8  260 false(no-overflow) 1 wit inspect 4.9   240   false(no-overflow) 1 wit inspect .72   18    - wit inspect
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect .10  24 1.3  false(no-overflow) 1 wit inspect 4.0  260 false(no-overflow) 1 wit inspect 4.3   220   false(no-overflow) 1 wit inspect .79   18    - wit inspect
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect .13  24 .81 true -32 wit inspect 4.0  280 false(no-overflow) 1 wit inspect 3.3   250   false(no-overflow) 1 wit inspect .77   18    - wit inspect
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect .13  24 .92 true -32 wit inspect 2.6  260 false(no-overflow) 1 wit inspect 4.7   220   false(no-overflow) 1 wit inspect .62   18    - wit inspect
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 1 wit inspect .14  24 .77 false(no-overflow) 1 wit inspect 2.8  270 false(no-overflow) 1 wit inspect 4.9   240   true -32 wit inspect .61   19    - wit inspect
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true 2 wit inspect .12  24 .80 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0   220  
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i true 2 wit inspect .13  24 .80 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5   260  
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true 2 wit inspect .11  24 .79 - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.8   220  
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true 2 wit inspect .11  24 .91 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.0   210  
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true 2 wit inspect .11  24 .78 - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.8   220  
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 1 wit inspect .11  22 .77 false(no-overflow) 1 wit inspect 2.4  270 false(no-overflow) 1 wit inspect 5.2   220   false(no-overflow) 1 wit inspect .62   18    - wit inspect
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 1 wit inspect .15  24 .98 false(no-overflow) 1 wit inspect 3.9  300 false(no-overflow) 1 wit inspect 3.5   230   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted/Ackermann_false-no-overflow.c error (5) 0 wit inspect .098 22 .71 error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .020 5.0 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 1 wit inspect .14  22 .92 false(no-overflow) 1 wit inspect 4.0  260 false(no-overflow) 1 wit inspect 5.2   220   false(no-overflow) 1 wit inspect .73   18    - wit inspect
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 1 wit inspect .11  22 .95 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.5   220   false(no-overflow) 1 wit inspect .69   18    - wit inspect
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 .87 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 4.8   230   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted/Binary_Search_false-no-overflow.c error (5) 0 wit inspect .10  22 .65 error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 .98 false(no-overflow) 1 wit inspect 2.3  260 true -32 wit inspect 4.8   220   true -32 wit inspect .77   18    - wit inspect
termination-crafted/Cairo_step2_false-no-overflow.c timeout 0 wit inspect 900     1300 11000    error (invalid witness file) 0 wit inspect .41 41 error (2) 0 wit inspect .047 4.8 error (invalid witness file) 0 wit inspect .0011 .30 - wit inspect
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 .98 false(no-overflow) 1 wit inspect 2.4  270 false(no-overflow) 1 wit inspect 5.9   260   false(no-overflow) 1 wit inspect .69   18    - wit inspect
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 .75 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 4.7   250   false(no-overflow) 1 wit inspect .77   18    - wit inspect
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 1 wit inspect .13  25 1.2  false(no-overflow) 1 wit inspect 3.7  270 false(no-overflow) 1 wit inspect 5.2   250   false(no-overflow) 1 wit inspect .68   18    - wit inspect
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 1 wit inspect .13  25 .97 false(no-overflow) 1 wit inspect 2.6  270 false(no-overflow) 1 wit inspect 7.3   260   false(no-overflow) 1 wit inspect .75   18    - wit inspect
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 1 wit inspect .12  22 1.0  false(no-overflow) 1 wit inspect 2.3  270 false(no-overflow) 1 wit inspect 4.3   220   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 .80 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 5.3   230   false(no-overflow) 1 wit inspect .71   18    - wit inspect
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 .86 false(no-overflow) 1 wit inspect 2.5  260 false(no-overflow) 1 wit inspect 5.4   230   false(no-overflow) 1 wit inspect .72   18    - wit inspect
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 1 wit inspect .12  22 .86 false(no-overflow) 1 wit inspect 2.2  260 false(no-overflow) 1 wit inspect 4.2   260   false(no-overflow) 1 wit inspect .70   18    - wit inspect
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .81 false(no-overflow) 1 wit inspect 3.5  260 false(no-overflow) 1 wit inspect 3.9   260   false(no-overflow) 1 wit inspect .67   18    - wit inspect
termination-crafted/NestedRecursion_1a_false-no-overflow.c error (5) 0 wit inspect .12  22 .68 error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0014 .27 - wit inspect
termination-crafted/NestedRecursion_2a_false-no-overflow.c error (5) 0 wit inspect .12  22 .75 error (invalid witness file) 0 wit inspect .52 43 error (2) 0 wit inspect .022 4.8 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .87 false(no-overflow) 1 wit inspect 3.4  270 false(no-overflow) 1 wit inspect 4.0   220   false(no-overflow) 1 wit inspect .76   18    - wit inspect
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .86 false(no-overflow) 1 wit inspect 3.5  270 false(no-overflow) 1 wit inspect 3.2   220   true -32 wit inspect .58   18    - wit inspect
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 1 wit inspect .53  41 5.7  false(no-overflow) 1 wit inspect 34    970 out of memory 0 wit inspect 78     7000   false(no-overflow) 1 wit inspect .75   18    - wit inspect
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 1 wit inspect .14  22 .77 false(no-overflow) 1 wit inspect 3.2  260 false(no-overflow) 1 wit inspect 4.3   220   false(no-overflow) 1 wit inspect .66   18    - wit inspect
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 1 wit inspect .099 23 1.0  false(no-overflow) 1 wit inspect 3.5  260 false(no-overflow) 1 wit inspect 4.5   210   false(no-overflow) 1 wit inspect .76   18    - wit inspect
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 0 wit inspect 900     1200 13000    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .032 4.8 error (invalid witness file) 0 wit inspect .0014 .26 - wit inspect
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 1 wit inspect .13  22 .82 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 6.2   260   false(no-overflow) 1 wit inspect .68   18    - wit inspect
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 1 wit inspect .14  22 .91 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 5.1   220   false(no-overflow) 1 wit inspect .70   19    - wit inspect
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 1 wit inspect .13  22 1.1  false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 4.9   230   false(no-overflow) 1 wit inspect .69   18    - wit inspect
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) 1 wit inspect .14  22 .80 false(no-overflow) 1 wit inspect 3.4  260 false(no-overflow) 1 wit inspect 4.4   220   true -32 wit inspect .65   18    - wit inspect
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 1 wit inspect .13  22 .87 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 5.2   250   false(no-overflow) 1 wit inspect .58   18    - wit inspect
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .85 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 4.6   230   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted/RecursiveMultiplication_false-no-overflow.c error (5) 0 wit inspect .10  22 .65 error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .042 4.9 error (invalid witness file) 0 wit inspect .0029 .26 - wit inspect
termination-crafted/RecursiveNonterminating_false-no-overflow.c error (5) 0 wit inspect .12  22 .71 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) 1 wit inspect .11  24 .68 false(no-overflow) 1 wit inspect 2.2  260 false(no-overflow) 1 wit inspect 4.3   220   error (2) 0 wit inspect .69   18    - wit inspect
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .81 false(no-overflow) 1 wit inspect 3.4  260 false(no-overflow) 1 wit inspect 5.6   230   false(no-overflow) 1 wit inspect .75   18    - wit inspect
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 1.0  false(no-overflow) 1 wit inspect 2.2  260 false(no-overflow) 1 wit inspect 4.8   230   false(no-overflow) 1 wit inspect .58   18    - wit inspect
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 1.0  false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 5.8   230   false(no-overflow) 1 wit inspect .70   18    - wit inspect
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .83 false(no-overflow) 1 wit inspect 3.5  270 false(no-overflow) 1 wit inspect 4.9   230   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .89 false(no-overflow) 1 wit inspect 3.4  260 false(no-overflow) 1 wit inspect 4.4   220   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 .76 false(no-overflow) 1 wit inspect 3.2  260 false(no-overflow) 1 wit inspect 3.1   210   false(no-overflow) 1 wit inspect .71   18    - wit inspect
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 1.1  false(no-overflow) 1 wit inspect 3.4  260 false(no-overflow) 1 wit inspect 7.1   260   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 1 wit inspect .12  24 1.1  false(no-overflow) 1 wit inspect 2.6  270 false(no-overflow) 1 wit inspect 8.2   290   false(no-overflow) 1 wit inspect .97   18    - wit inspect
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect .14  25 .85 false(no-overflow) 1 wit inspect 2.5  270 false(no-overflow) 1 wit inspect 4.6   260   true -32 wit inspect .60   18    - wit inspect
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .76 false(no-overflow) 1 wit inspect 2.4  270 false(no-overflow) 1 wit inspect 5.2   260   true -32 wit inspect .72   18    - wit inspect
termination-crafted/easy2_false-no-overflow.c timeout 0 wit inspect 900     1700 12000    error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .19  24 1.4  - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1   230  
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 5.9   200 66    - wit inspect - wit inspect - wit inspect true 2 wit inspect 36     820  
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c true 2 wit inspect 3.0   100 31    - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4   260  
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 3.3   170 37    - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8   280  
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .10  22 .73 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.6   280  
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect .087 23 .86 - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.8   260  
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .17  24 1.2  - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.4   280  
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900     310 8400    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect .12  22 .68 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.3   210  
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900     1300 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900     1400 13000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .11  23 .87 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.5   260  
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect .11  23 .83 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.8   260  
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c true 1 wit inspect 6.3   280 63    - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     4800  
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c error (134) 0 wit inspect .16  24 1.7  - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect .13  22 .69 - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.8   210  
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900     1500 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c error (5) 0 wit inspect .10  22 .64 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .042 4.8
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900     750 7700    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c error (5) 0 wit inspect .12  22 .69 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .031 4.9
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c error (5) 0 wit inspect .12  22 .66 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c error (5) 0 wit inspect .12  22 .64 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c error (5) 0 wit inspect .11  22 .67 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c error (5) 0 wit inspect .10  22 .84 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c error (5) 0 wit inspect .086 22 .64 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c error (5) 0 wit inspect .097 22 .64 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true 2 wit inspect .11  23 .80 - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.8   210  
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect .12  22 .84 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.5   260  
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .11  25 .81 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.8   260  
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .11  23 .83 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.8   270  
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .14  23 .75 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7   260  
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c true 2 wit inspect .15  23 1.7  - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.4   260  
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .11  23 .72 - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.8   260  
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .10  22 .74 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5   260  
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .10  22 .84 - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.8   210  
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect .10  22 .72 - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.8   210  
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .11  22 .92 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9   270  
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900     1700 9900    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 1 wit inspect .15  23 .84 false(no-overflow) 1 wit inspect 3.5  260 false(no-overflow) 1 wit inspect 5.6   250   false(no-overflow) 1 wit inspect .71   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 1 wit inspect .13  26 1.1  false(no-overflow) 1 wit inspect 3.2  260 false(no-overflow) 1 wit inspect 4.4   260   false(no-overflow) 1 wit inspect .62   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 .93 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 5.4   260   true -32 wit inspect .58   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .88 false(no-overflow) 1 wit inspect 3.4  260 false(no-overflow) 1 wit inspect 6.6   250   true -32 wit inspect .58   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 .98 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 6.8   260   false(no-overflow) 1 wit inspect .77   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 1 wit inspect .14  25 .96 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 6.4   230   false(no-overflow) 1 wit inspect .71   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 1.1  false(no-overflow) 1 wit inspect 3.7  260 false(no-overflow) 1 wit inspect 7.4   270   false(no-overflow) 1 wit inspect .75   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout 0 wit inspect 900     1700 12000    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .023 4.8 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .90 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 5.2   260   false(no-overflow) 1 wit inspect .71   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 1 wit inspect .12  22 .87 false(no-overflow) 1 wit inspect 3.0  260 false(no-overflow) 1 wit inspect 4.7   250   false(no-overflow) 1 wit inspect .74   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout 0 wit inspect 900     3000 5800    error (invalid witness file) 0 wit inspect .43 42 error (2) 0 wit inspect .029 4.8 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout 0 wit inspect 900     1000 9500    error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0014 .34 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .84 false(no-overflow) 1 wit inspect 3.4  270 false(no-overflow) 1 wit inspect 4.6   230   false(no-overflow) 1 wit inspect .72   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) 1 wit inspect .14  25 .85 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 5.4   280   false(no-overflow) 1 wit inspect .74   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 1 wit inspect .13  22 .80 false(no-overflow) 1 wit inspect 3.2  260 false(no-overflow) 1 wit inspect 6.1   260   false(no-overflow) 1 wit inspect .77   18    - wit inspect
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .83 false(no-overflow) 1 wit inspect 3.4  260 false(no-overflow) 1 wit inspect 4.6   260   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 .86 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.3   270   false(no-overflow) 1 wit inspect .70   18    - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 1 wit inspect .15  29 1.5  false(no-overflow) 1 wit inspect 3.6  260 false(no-overflow) 1 wit inspect 5.3   230   false(no-overflow) 1 wit inspect .72   18    - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 .82 false(no-overflow) 1 wit inspect 2.5  260 false(no-overflow) 1 wit inspect 4.4   260   false(no-overflow) 1 wit inspect .71   18    - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 1.0  false(no-overflow) 1 wit inspect 3.4  260 false(no-overflow) 1 wit inspect 5.4   260   true -32 wit inspect .72   18    - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 .82 false(no-overflow) 1 wit inspect 2.6  270 false(no-overflow) 1 wit inspect 5.9   260   true -32 wit inspect .60   19    - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .94 false(no-overflow) 1 wit inspect 2.6  270 false(no-overflow) 1 wit inspect 6.2   270   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 1 wit inspect .13  24 .81 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 5.5   240   false(no-overflow) 1 wit inspect .61   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 .95 false(no-overflow) 1 wit inspect 2.5  270 false(no-overflow) 1 wit inspect 3.5   260   false(no-overflow) 1 wit inspect .77   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .86 false(no-overflow) 1 wit inspect 2.6  290 false(no-overflow) 1 wit inspect 4.6   230   true -32 wit inspect .62   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 1 wit inspect .10  23 1.1  false(no-overflow) 1 wit inspect 4.0  260 false(no-overflow) 1 wit inspect 6.7   260   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 1 wit inspect .10  23 .75 false(no-overflow) 1 wit inspect 2.5  270 false(no-overflow) 1 wit inspect 3.2   230   false(no-overflow) 1 wit inspect .66   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .88 false(no-overflow) 1 wit inspect 3.4  270 false(no-overflow) 1 wit inspect 3.1   230   false(no-overflow) 1 wit inspect .72   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 1 wit inspect .13  22 .81 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.4   220   false(no-overflow) 1 wit inspect .70   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .83 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.6   260   false(no-overflow) 1 wit inspect .71   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .82 false(no-overflow) 1 wit inspect 3.4  270 false(no-overflow) 1 wit inspect 4.2   240   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 1 wit inspect .10  23 1.1  false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.7   220   false(no-overflow) 1 wit inspect .68   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 .84 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.2   210   false(no-overflow) 1 wit inspect .72   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 1 wit inspect .15  24 1.1  false(no-overflow) 1 wit inspect 3.5  260 false(no-overflow) 1 wit inspect 4.6   230   false(no-overflow) 1 wit inspect .67   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 .98 false(no-overflow) 1 wit inspect 2.6  280 false(no-overflow) 1 wit inspect 4.6   220   false(no-overflow) 1 wit inspect .72   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .85 false(no-overflow) 1 wit inspect 3.3  270 false(no-overflow) 1 wit inspect 4.5   210   false(no-overflow) 1 wit inspect .76   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .88 false(no-overflow) 1 wit inspect 2.5  270 false(no-overflow) 1 wit inspect 6.3   260   false(no-overflow) 1 wit inspect .61   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 1 wit inspect .10  23 .87 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 5.9   250   false(no-overflow) 1 wit inspect .70   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 1 wit inspect .15  24 .77 false(no-overflow) 1 wit inspect 3.5  260 false(no-overflow) 1 wit inspect 4.7   230   false(no-overflow) 1 wit inspect .65   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .83 false(no-overflow) 1 wit inspect 2.4  270 false(no-overflow) 1 wit inspect 3.5   220   false(no-overflow) 1 wit inspect .70   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .89 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 4.7   230   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .88 false(no-overflow) 1 wit inspect 3.5  270 false(no-overflow) 1 wit inspect 5.8   230   false(no-overflow) 1 wit inspect .58   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 1 wit inspect .13  22 .89 false(no-overflow) 1 wit inspect 2.3  270 false(no-overflow) 1 wit inspect 5.0   220   false(no-overflow) 1 wit inspect .61   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 .81 false(no-overflow) 1 wit inspect 3.1  260 false(no-overflow) 1 wit inspect 3.2   250   false(no-overflow) 1 wit inspect .77   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 1 wit inspect .13  22 .84 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 4.7   220   false(no-overflow) 1 wit inspect .77   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 .97 false(no-overflow) 1 wit inspect 2.4  280 false(no-overflow) 1 wit inspect 3.3   230   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 .84 timeout 0 wit inspect 91    320 false(no-overflow) 1 wit inspect 5.5   270   false(no-overflow) 1 wit inspect .77   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 1.0  false(no-overflow) 1 wit inspect 2.3  270 false(no-overflow) 1 wit inspect 5.7   220   true -32 wit inspect .71   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) 1 wit inspect .12  22 .92 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.8   230   true -32 wit inspect .67   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .73 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.9   240   false(no-overflow) 1 wit inspect .77   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 1 wit inspect .12  22 .80 false(no-overflow) 1 wit inspect 2.5  260 false(no-overflow) 1 wit inspect 3.5   230   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .99 false(no-overflow) 1 wit inspect 3.7  280 false(no-overflow) 1 wit inspect 4.9   230   false(no-overflow) 1 wit inspect .72   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .89 false(no-overflow) 1 wit inspect 3.6  280 false(no-overflow) 1 wit inspect 5.0   230   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 1.1  false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 5.9   250   false(no-overflow) 1 wit inspect .72   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 1.1  false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.3   240   true -32 wit inspect .60   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .84 true -32 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 5.5   230   false(no-overflow) 1 wit inspect .69   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .82 false(no-overflow) 1 wit inspect 3.7  270 false(no-overflow) 1 wit inspect 4.6   230   true -32 wit inspect .72   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 .91 false(no-overflow) 1 wit inspect 3.8  260 false(no-overflow) 1 wit inspect 5.9   270   true -32 wit inspect .72   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 1.1  true -32 wit inspect 2.3  270 false(no-overflow) 1 wit inspect 4.9   250   false(no-overflow) 1 wit inspect .61   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .11  22 .84 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 3.5   230   true -32 wit inspect .74   18    - wit inspect
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 .80 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 6.4   260   false(no-overflow) 1 wit inspect .69   18    - wit inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .80 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.8   230   false(no-overflow) 1 wit inspect .72   18    - wit inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 .99 false(no-overflow) 1 wit inspect 3.4  260 true -32 wit inspect 6.4   230   false(no-overflow) 1 wit inspect .58   18    - wit inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 1 wit inspect .10  23 1.0  false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 5.9   240   false(no-overflow) 1 wit inspect .73   18    - wit inspect
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 .95 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 5.3   260   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect .13  23 1.2  true -32 wit inspect 5.1  280 false(no-overflow) 1 wit inspect 6.9   260   timeout 0 wit inspect 96      18    - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .82 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 4.7   230   false(no-overflow) 1 wit inspect .58   18    - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) 1 wit inspect .13  22 .90 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 5.6   260   error (2) 0 wit inspect .59   18    - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .96 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 6.1   230   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 1.0  false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.7   230   false(no-overflow) 1 wit inspect .72   18    - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c error (5) 0 wit inspect .098 22 .66 error (invalid witness file) 0 wit inspect .42 44 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0015 .26 - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c error (5) 0 wit inspect .10  22 .62 error (invalid witness file) 0 wit inspect .42 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .0017 .29 - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c error (5) 0 wit inspect .11  22 .86 error (invalid witness file) 0 wit inspect .55 43 error (2) 0 wit inspect .024 4.8 error (invalid witness file) 0 wit inspect .0014 .34 - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c error (5) 0 wit inspect .11  22 .59 error (invalid witness file) 0 wit inspect .57 44 error (2) 0 wit inspect .022 4.9 error (invalid witness file) 0 wit inspect .0014 .32 - wit inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 1 wit inspect .12  22 .94 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.5   220   error (2) 0 wit inspect .75   18    - wit inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 .91 false(no-overflow) 1 wit inspect 2.2  260 false(no-overflow) 1 wit inspect 5.0   250   false(no-overflow) 1 wit inspect .76   18    - wit inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .11  23 .72 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 5.0   220   false(no-overflow) 1 wit inspect .71   18    - wit inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 1 wit inspect .11  22 .94 false(no-overflow) 1 wit inspect 4.1  260 false(no-overflow) 1 wit inspect 4.5   220   false(no-overflow) 1 wit inspect .77   18    - wit inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect .10  23 1.3  false(no-overflow) 1 wit inspect 3.9  280 false(no-overflow) 1 wit inspect 5.8   220   false(no-overflow) 1 wit inspect .76   18    - wit inspect
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect .13  22 .74 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 5.1   220   false(no-overflow) 1 wit inspect .67   18    - wit inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .82 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 5.2   260   error (2) 0 wit inspect .60   18    - wit inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 1 wit inspect .14  23 .88 false(no-overflow) 1 wit inspect 2.5  260 false(no-overflow) 1 wit inspect 3.2   230   false(no-overflow) 1 wit inspect .58   18    - wit inspect
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) 1 wit inspect .12  23 .81 false(no-overflow) 1 wit inspect 3.4  260 false(no-overflow) 1 wit inspect 4.7   230   false(no-overflow) 1 wit inspect .75   18    - wit