Tool 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* [apollon004; apollon025; apollon077; apollon078; apollon080] [apollon077; apollon078; apollon157] [apollon038; apollon077; apollon078; apollon164] [apollon025; apollon052; 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:49:29 CET 2017-12-01 12:01:34 CET 2017-12-01 12:20:33 CET 2017-12-01 12:23:03 CET 2017-12-01 12:03:46 CET
Run set cpa-seq.sv-comp18.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-cpa-seq.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-cpa-seq.sv-comp18-correctness-witness.NoOverflows-BitVectors
Options -svcomp18 -heap 10000M -benchmark -timelimit 900s -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/cpa-seq.2017-12-01_1049.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/cpa-seq.2017-12-01_1049.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/cpa-seq.2017-12-01_1049.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/cpa-seq.2017-12-01_1049.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 3.4 300 29 false(no-overflow) 1 wit inspect 2.6  260 false(no-overflow) 1 wit inspect 3.1   230   true -32 wit inspect .62   18    - wit inspect
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 1 wit inspect 3.5 280 32 false(no-overflow) 1 wit inspect 4.3  260 false(no-overflow) 1 wit inspect 5.3   260   true -32 wit inspect .73   18    - wit inspect
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 1 wit inspect 3.6 280 32 false(no-overflow) 1 wit inspect 3.7  260 false(no-overflow) 1 wit inspect 4.1   240   true -32 wit inspect .62   18    - wit inspect
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 1 wit inspect 3.4 280 27 false(no-overflow) 1 wit inspect 2.6  260 false(no-overflow) 1 wit inspect 4.7   220   true -32 wit inspect .61   18    - wit inspect
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 1 wit inspect 3.4 280 34 false(no-overflow) 1 wit inspect 4.8  260 false(no-overflow) 1 wit inspect 4.4   220   true -32 wit inspect .63   18    - wit inspect
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect 3.5 280 31 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 3.3   240   false(no-overflow) 1 wit inspect .79   18    - wit inspect
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect 3.4 280 29 false(no-overflow) 1 wit inspect 5.1  260 false(no-overflow) 1 wit inspect 4.6   220   false(no-overflow) 1 wit inspect .81   19    - wit inspect
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect 3.7 280 32 true -32 wit inspect 3.9  260 false(no-overflow) 1 wit inspect 3.3   250   false(no-overflow) 1 wit inspect .66   18    - wit inspect
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect 3.4 270 31 true -32 wit inspect 4.8  290 false(no-overflow) 1 wit inspect 4.8   240   false(no-overflow) 1 wit inspect .64   18    - wit inspect
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 1 wit inspect 3.5 280 31 false(no-overflow) 1 wit inspect 3.7  260 false(no-overflow) 1 wit inspect 3.6   250   true -32 wit inspect .61   18    - wit inspect
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true 2 wit inspect 3.0 270 24 - 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 3.1 270 30 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.5   250  
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true 2 wit inspect 3.1 280 28 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.7   220  
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true 2 wit inspect 3.0 280 24 - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.2   220  
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true 2 wit inspect 2.9 270 29 - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.0   210  
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 26 false(no-overflow) 1 wit inspect 2.3  270 false(no-overflow) 1 wit inspect 3.1   220   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 24 false(no-overflow) 1 wit inspect 3.8  260 false(no-overflow) 1 wit inspect 3.5   230   false(no-overflow) 1 wit inspect .61   18    - wit inspect
termination-crafted/Ackermann_false-no-overflow.c timeout 0 wit inspect 900   3800 11000 error (invalid witness file) 0 wit inspect .64 43 error (2) 0 wit inspect .019 4.9 error (invalid witness file) 0 wit inspect .0016 .26 - wit inspect
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 26 false(no-overflow) 1 wit inspect 2.5  270 false(no-overflow) 1 wit inspect 3.0   220   false(no-overflow) 1 wit inspect .82   18    - wit inspect
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 24 false(no-overflow) 1 wit inspect 4.1  260 false(no-overflow) 1 wit inspect 3.0   220   false(no-overflow) 1 wit inspect .84   18    - wit inspect
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 280 27 false(no-overflow) 1 wit inspect 2.9  270 false(no-overflow) 1 wit inspect 3.8   230   false(no-overflow) 1 wit inspect .62   18    - wit inspect
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 1 wit inspect 2.9 290 25 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.4   250   true -32 wit inspect .82   18    - wit inspect
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 22 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 5.2   260   false(no-overflow) 1 wit inspect .62   18    - wit inspect
termination-crafted/Cairo_step2_false-no-overflow.c timeout 0 wit inspect 900   2600 13000 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0019 .30 - wit inspect
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 280 28 false(no-overflow) 1 wit inspect 2.5  270 false(no-overflow) 1 wit inspect 3.5   230   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 24 false(no-overflow) 1 wit inspect 3.9  260 false(no-overflow) 1 wit inspect 3.7   250   true -32 wit inspect .64   18    - wit inspect
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 24 false(no-overflow) 1 wit inspect 3.4  260 false(no-overflow) 1 wit inspect 5.3   250   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 22 false(no-overflow) 1 wit inspect 4.0  260 false(no-overflow) 1 wit inspect 5.1   260   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 24 false(no-overflow) 1 wit inspect 3.8  260 false(no-overflow) 1 wit inspect 4.0   220   false(no-overflow) 1 wit inspect .64   18    - wit inspect
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 22 false(no-overflow) 1 wit inspect 4.1  260 false(no-overflow) 1 wit inspect 4.5   240   false(no-overflow) 1 wit inspect .64   18    - wit inspect
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 25 false(no-overflow) 1 wit inspect 4.2  260 false(no-overflow) 1 wit inspect 3.3   240   false(no-overflow) 1 wit inspect .64   18    - wit inspect
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 1 wit inspect 2.5 270 24 false(no-overflow) 1 wit inspect 3.8  260 false(no-overflow) 1 wit inspect 3.5   250   false(no-overflow) 1 wit inspect .61   18    - wit inspect
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 23 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.9   240   false(no-overflow) 1 wit inspect .74   18    - wit inspect
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 26 false(no-overflow) 1 wit inspect 3.0  260 false(no-overflow) 1 wit inspect 5.2   250   false(no-overflow) 1 wit inspect .74   18    - wit inspect
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 26 false(no-overflow) 1 wit inspect 3.5  260 false(no-overflow) 1 wit inspect 4.0   270   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 280 24 false(no-overflow) 1 wit inspect 4.2  260 false(no-overflow) 1 wit inspect 3.3   220   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 1 wit inspect 3.0 280 27 false(no-overflow) 1 wit inspect 2.5  280 false(no-overflow) 1 wit inspect 3.7   220   false(no-overflow) 1 wit inspect .64   18    - wit inspect
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 1 wit inspect 190   1300 1500 false(no-overflow) 1 wit inspect 22    980 false(no-overflow) 1 wit inspect 4.4   260   false(no-overflow) 1 wit inspect .65   19    - wit inspect
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 23 false(no-overflow) 1 wit inspect 4.1  260 false(no-overflow) 1 wit inspect 4.8   230   false(no-overflow) 1 wit inspect .65   18    - wit inspect
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 21 false(no-overflow) 1 wit inspect 3.9  260 false(no-overflow) 1 wit inspect 3.0   220   false(no-overflow) 1 wit inspect .75   18    - wit inspect
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 0 wit inspect 900   2200 12000 error (invalid witness file) 0 wit inspect .47 43 error (2) 0 wit inspect .042 4.9 error (invalid witness file) 0 wit inspect .0035 .33 - wit inspect
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 23 false(no-overflow) 1 wit inspect 2.5  270 false(no-overflow) 1 wit inspect 3.6   240   false(no-overflow) 1 wit inspect .75   18    - wit inspect
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 23 false(no-overflow) 1 wit inspect 4.2  260 false(no-overflow) 1 wit inspect 3.1   220   false(no-overflow) 1 wit inspect 1.3    18    - wit inspect
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 280 26 false(no-overflow) 1 wit inspect 2.5  270 false(no-overflow) 1 wit inspect 3.4   250   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 280 26 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.7   230   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 23 false(no-overflow) 1 wit inspect 3.1  260 false(no-overflow) 1 wit inspect 3.4   260   true -32 wit inspect .75   18    - wit inspect
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 25 false(no-overflow) 1 wit inspect 4.2  260 false(no-overflow) 1 wit inspect 3.3   230   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted/RecursiveMultiplication_false-no-overflow.c false(no-overflow) 1 wit inspect 3.5 300 30 false(no-overflow) 1 wit inspect 4.3  260 false(no-overflow) 1 wit inspect 4.3   260   error (2) 0 wit inspect .59   18    - wit inspect
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 21 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.3   230   false(no-overflow) 1 wit inspect .80   18    - wit inspect
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 260 23 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.8   220   timeout 0 wit inspect 96      19    - wit inspect
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 22 false(no-overflow) 1 wit inspect 2.2  260 false(no-overflow) 1 wit inspect 4.0   230   false(no-overflow) 1 wit inspect .74   18    - wit inspect
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 23 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 3.3   240   false(no-overflow) 1 wit inspect .58   18    - wit inspect
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 1 wit inspect 2.5 260 23 false(no-overflow) 1 wit inspect 2.2  260 false(no-overflow) 1 wit inspect 4.9   230   false(no-overflow) 1 wit inspect .78   18    - wit inspect
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 26 false(no-overflow) 1 wit inspect 2.2  260 false(no-overflow) 1 wit inspect 3.4   220   false(no-overflow) 1 wit inspect .81   18    - wit inspect
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 22 false(no-overflow) 1 wit inspect 3.5  260 false(no-overflow) 1 wit inspect 3.2   230   false(no-overflow) 1 wit inspect .61   18    - wit inspect
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 23 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.2   220   false(no-overflow) 1 wit inspect .64   18    - wit inspect
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 22 false(no-overflow) 1 wit inspect 3.8  260 false(no-overflow) 1 wit inspect 4.4   270   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 1 wit inspect 3.1 280 28 false(no-overflow) 1 wit inspect 4.5  260 false(no-overflow) 1 wit inspect 4.7   270   false(no-overflow) 1 wit inspect .84   19    - wit inspect
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 280 28 false(no-overflow) 1 wit inspect 4.3  260 false(no-overflow) 1 wit inspect 3.9   240   true -32 wit inspect .64   18    - wit inspect
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 23 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.3   250   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted/easy2_false-no-overflow.c timeout 0 wit inspect 900   13000 10000 error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .047 4.9 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.6 270 24 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4   230  
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.9 270 25 - wit inspect - wit inspect - wit inspect true 2 wit inspect 31     830  
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c true 2 wit inspect 2.7 270 24 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.2   270  
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900   6200 11000 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 5.0
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.7 270 25 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.5   260  
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect 2.7 270 28 - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.5   270  
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.6 270 25 - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.4   260  
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900   4900 11000 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 4.8
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect 2.6 270 21 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.1   220  
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900   2600 10000 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 4.8
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.8 270 23 - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.5   260  
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.7 270 22 - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.8   260  
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect 2.9 290 23 - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.0   260  
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c true 1 wit inspect 2.7 270 25 - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     4700  
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 0 wit inspect 900   6300 9900 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .023 4.8
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect 2.5 270 24 - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.0   200  
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900   600 12000 - 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 true 2 wit inspect 2.9 280 27 - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.3   270  
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.9 270 25 - wit inspect - wit inspect - wit inspect true 2 wit inspect 12     500  
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect 3.9 290 33 - wit inspect - wit inspect - wit inspect true 2 wit inspect 8.0   460  
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 4.0 290 40 - wit inspect - wit inspect - wit inspect true 2 wit inspect 14     640  
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900   1200 13000 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .017 5.0
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 3.3 280 30 - wit inspect - wit inspect - wit inspect true 2 wit inspect 14     440  
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900   1400 9800 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .024 4.8
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c timeout 0 wit inspect 900   5100 9900 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.9
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900   4300 11000 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .045 5.0
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true 2 wit inspect 2.6 270 22 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.4   210  
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect 2.7 270 26 - wit inspect - wit inspect - wit inspect true 2 wit inspect 7.3   270  
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.7 270 23 - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.3   260  
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.6 270 24 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.2   280  
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.7 270 26 - wit inspect - wit inspect - wit inspect true 2 wit inspect 6.8   260  
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c true 2 wit inspect 2.6 270 26 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.4   270  
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.7 260 23 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.4   260  
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.6 270 23 - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7   250  
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.7 290 25 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.3   210  
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect 2.6 270 24 - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.0   210  
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect 2.7 270 22 - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.9   260  
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 wit inspect 900   13000 11000 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .048 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 24 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 3.6   230   false(no-overflow) 1 wit inspect .62   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 280 26 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 3.7   250   false(no-overflow) 1 wit inspect .76   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 24 false(no-overflow) 1 wit inspect 3.5  260 false(no-overflow) 1 wit inspect 4.7   260   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 24 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 3.5   230   false(no-overflow) 1 wit inspect .68   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 21 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 5.1   280   false(no-overflow) 1 wit inspect .64   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 26 false(no-overflow) 1 wit inspect 4.5  260 false(no-overflow) 1 wit inspect 3.5   250   true -32 wit inspect .63   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 26 false(no-overflow) 1 wit inspect 2.6  270 false(no-overflow) 1 wit inspect 5.2   250   false(no-overflow) 1 wit inspect .64   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout 0 wit inspect 900   13000 11000 error (invalid witness file) 0 wit inspect .50 41 error (2) 0 wit inspect .023 4.9 error (invalid witness file) 0 wit inspect .0014 .29 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 23 false(no-overflow) 1 wit inspect 2.5  260 false(no-overflow) 1 wit inspect 4.4   260   false(no-overflow) 1 wit inspect .65   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 24 false(no-overflow) 1 wit inspect 3.1  260 false(no-overflow) 1 wit inspect 5.2   260   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout 0 wit inspect 900   6200 10000 error (invalid witness file) 0 wit inspect .40 43 error (2) 0 wit inspect .024 4.9 error (invalid witness file) 0 wit inspect .0011 .26 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout 0 wit inspect 910   620 13000 error (invalid witness file) 0 wit inspect .67 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0035 .28 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 1 wit inspect 2.9 280 27 false(no-overflow) 1 wit inspect 4.0  270 false(no-overflow) 1 wit inspect 3.3   230   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 280 24 false(no-overflow) 1 wit inspect 2.8  260 false(no-overflow) 1 wit inspect 3.4   220   false(no-overflow) 1 wit inspect .64   18    - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 23 false(no-overflow) 1 wit inspect 3.9  260 false(no-overflow) 1 wit inspect 3.8   260   true -32 wit inspect .76   18    - wit inspect
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 23 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.6   270   false(no-overflow) 1 wit inspect .79   18    - wit inspect
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 25 false(no-overflow) 1 wit inspect 3.9  260 false(no-overflow) 1 wit inspect 3.9   270   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 23 false(no-overflow) 1 wit inspect 4.1  260 false(no-overflow) 1 wit inspect 4.2   240   false(no-overflow) 1 wit inspect .82   18    - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 22 false(no-overflow) 1 wit inspect 3.5  260 false(no-overflow) 1 wit inspect 5.2   260   true -32 wit inspect .60   18    - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 23 false(no-overflow) 1 wit inspect 4.2  260 false(no-overflow) 1 wit inspect 3.9   270   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 23 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 5.2   240   false(no-overflow) 1 wit inspect .62   18    - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 25 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 5.3   250   true -32 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 26 false(no-overflow) 1 wit inspect 4.2  260 false(no-overflow) 1 wit inspect 5.0   240   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 24 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 5.3   250   true -32 wit inspect .61   19    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 23 false(no-overflow) 1 wit inspect 2.7  260 false(no-overflow) 1 wit inspect 4.5   230   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 280 22 false(no-overflow) 1 wit inspect 2.3  280 false(no-overflow) 1 wit inspect 5.5   260   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 290 28 false(no-overflow) 1 wit inspect 4.4  270 false(no-overflow) 1 wit inspect 3.1   220   false(no-overflow) 1 wit inspect .75   19    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 280 26 false(no-overflow) 1 wit inspect 4.4  270 false(no-overflow) 1 wit inspect 4.1   220   false(no-overflow) 1 wit inspect .61   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 24 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 4.9   220   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 23 false(no-overflow) 1 wit inspect 3.1  260 false(no-overflow) 1 wit inspect 3.7   270   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 280 23 false(no-overflow) 1 wit inspect 3.1  260 false(no-overflow) 1 wit inspect 3.2   220   false(no-overflow) 1 wit inspect .75   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 23 false(no-overflow) 1 wit inspect 3.4  260 false(no-overflow) 1 wit inspect 4.7   220   true -32 wit inspect .61   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 22 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.6   220   true -32 wit inspect .77   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 26 false(no-overflow) 1 wit inspect 4.0  260 false(no-overflow) 1 wit inspect 3.3   230   false(no-overflow) 1 wit inspect .81   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 290 29 false(no-overflow) 1 wit inspect 2.6  270 false(no-overflow) 1 wit inspect 3.1   220   true -32 wit inspect .62   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 22 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 3.2   220   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 260 22 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.3   260   true -32 wit inspect .60   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 23 false(no-overflow) 1 wit inspect 2.2  260 false(no-overflow) 1 wit inspect 5.5   260   true -32 wit inspect .80   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 280 21 false(no-overflow) 1 wit inspect 4.0  260 false(no-overflow) 1 wit inspect 3.7   230   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 25 false(no-overflow) 1 wit inspect 3.1  260 false(no-overflow) 1 wit inspect 3.4   240   false(no-overflow) 1 wit inspect .78   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 22 false(no-overflow) 1 wit inspect 3.3  260 false(no-overflow) 1 wit inspect 3.5   250   false(no-overflow) 1 wit inspect .64   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 22 false(no-overflow) 1 wit inspect 4.2  260 false(no-overflow) 1 wit inspect 4.0   240   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 22 false(no-overflow) 1 wit inspect 4.2  260 false(no-overflow) 1 wit inspect 3.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 2.6 260 23 false(no-overflow) 1 wit inspect 2.9  260 false(no-overflow) 1 wit inspect 4.0   250   false(no-overflow) 1 wit inspect .83   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 260 25 false(no-overflow) 1 wit inspect 3.2  260 false(no-overflow) 1 wit inspect 3.2   220   error (2) 0 wit inspect .75   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 24 false(no-overflow) 1 wit inspect 4.1  260 false(no-overflow) 1 wit inspect 3.4   230   true -32 wit inspect .63   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 260 22 false(no-overflow) 1 wit inspect 4.0  260 false(no-overflow) 1 wit inspect 4.0   220   true -32 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 23 false(no-overflow) 1 wit inspect 4.0  260 false(no-overflow) 1 wit inspect 3.9   220   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 23 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.3   240   error (2) 0 wit inspect .66   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 23 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.3   240   false(no-overflow) 1 wit inspect .64   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 26 false(no-overflow) 1 wit inspect 3.4  260 false(no-overflow) 1 wit inspect 3.3   230   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 24 false(no-overflow) 1 wit inspect 2.6  260 false(no-overflow) 1 wit inspect 3.6   230   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 22 false(no-overflow) 1 wit inspect 3.2  260 false(no-overflow) 1 wit inspect 3.9   230   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 25 false(no-overflow) 1 wit inspect 3.9  260 false(no-overflow) 1 wit inspect 3.7   250   false(no-overflow) 1 wit inspect .84   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 25 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 3.3   230   false(no-overflow) 1 wit inspect .64   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 260 23 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.2   230   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 1 wit inspect 3.2 310 29 false(no-overflow) 1 wit inspect 2.7  270 false(no-overflow) 1 wit inspect 3.3   230   false(no-overflow) 1 wit inspect .75   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 25 false(no-overflow) 1 wit inspect 4.1  260 false(no-overflow) 1 wit inspect 4.3   230   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 26 false(no-overflow) 1 wit inspect 3.1  260 false(no-overflow) 1 wit inspect 3.6   230   false(no-overflow) 1 wit inspect .69   18    - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 22 false(no-overflow) 1 wit inspect 4.3  260 false(no-overflow) 1 wit inspect 3.4   230   false(no-overflow) 1 wit inspect .61   18    - wit inspect
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 260 25 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 3.6   260   false(no-overflow) 1 wit inspect .76   18    - wit inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 21 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 4.0   230   false(no-overflow) 1 wit inspect 4.2    18    - wit inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 26 false(no-overflow) 1 wit inspect 2.5  260 false(no-overflow) 1 wit inspect 5.5   260   false(no-overflow) 1 wit inspect .62   18    - wit inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 23 false(no-overflow) 1 wit inspect 3.9  260 false(no-overflow) 1 wit inspect 3.9   230   false(no-overflow) 1 wit inspect .80   18    - wit inspect
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 280 24 false(no-overflow) 1 wit inspect 3.5  260 false(no-overflow) 1 wit inspect 4.4   250   true -32 wit inspect .60   18    - wit inspect
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect 3.2 290 26 false(no-overflow) 1 wit inspect 3.7  270 false(no-overflow) 1 wit inspect 4.4   260   false(no-overflow) 1 wit inspect .63   18    - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 26 false(no-overflow) 1 wit inspect 3.4  260 false(no-overflow) 1 wit inspect 3.2   230   false(no-overflow) 1 wit inspect .60   19    - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 24 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 4.0   260   true -32 wit inspect .59   18    - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 280 26 false(no-overflow) 1 wit inspect 4.2  260 false(no-overflow) 1 wit inspect 4.8   230   true -32 wit inspect .59   18    - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 280 24 false(no-overflow) 1 wit inspect 3.3  270 false(no-overflow) 1 wit inspect 3.5   230   false(no-overflow) 1 wit inspect .59   18    - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 1 wit inspect 3.0 280 26 false(no-overflow) 1 wit inspect 2.6  270 false(no-overflow) 1 wit inspect 4.8   280   false(no-overflow) 1 wit inspect .77   18    - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 1 wit inspect 3.2 280 27 false(no-overflow) 1 wit inspect 3.9  270 false(no-overflow) 1 wit inspect 3.4   250   false(no-overflow) 1 wit inspect .61   18    - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c timeout 0 wit inspect 900   2500 8200 error (invalid witness file) 0 wit inspect .40 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0014 .30 - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect 3.1 310 28 false(no-overflow) 1 wit inspect 3.6  270 false(no-overflow) 1 wit inspect 3.4   250   false(no-overflow) 1 wit inspect .77   18    - wit inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 1 wit inspect 2.5 260 23 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.2   240   false(no-overflow) 1 wit inspect .64   18    - wit inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 26 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 4.3   270   true -32 wit inspect .71   18    - wit inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect 2.8 270 26 false(no-overflow) 1 wit inspect 2.3  260 false(no-overflow) 1 wit inspect 3.8   220   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 22 false(no-overflow) 1 wit inspect 4.2  260 false(no-overflow) 1 wit inspect 4.6   220   false(no-overflow) 1 wit inspect .81   18    - wit inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect 2.9 290 24 false(no-overflow) 1 wit inspect 3.3  270 false(no-overflow) 1 wit inspect 3.0   220   false(no-overflow) 1 wit inspect .61   18    - wit inspect
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect 2.6 270 26 false(no-overflow) 1 wit inspect 2.5  270 false(no-overflow) 1 wit inspect 3.1   220   false(no-overflow) 1 wit inspect .60   18    - wit inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 26 false(no-overflow) 1 wit inspect 2.4  260 false(no-overflow) 1 wit inspect 3.3   230   false(no-overflow) 1 wit inspect .75   18    - wit inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 1 wit inspect 2.7 270 27 false(no-overflow) 1 wit inspect 4.1  260 false(no-overflow) 1 wit inspect 3.5   240   false(no-overflow) 1 wit