Tool Map2Check Map2Check 7.1 : Wed Nov 22 22:30:11 -04 2017 CPAchecker 1.6.1-svn 26773 ULTIMATE Automizer 0.1.23-3204b741 CProver witness2test 0.1 ULTIMATE Automizer 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8 timelimit: 90 s, memlimit: 7000 MB, CPU core limit: 2 timelimit: 900 s, memlimit: 7000 MB, CPU core limit: 2
Host apollon* [apollon072; apollon077; apollon078; apollon135] [apollon041; apollon077; apollon078] [apollon042; apollon077; apollon078] [apollon072; apollon077; apollon078]
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: [8; 4], frequency: 3.8 GHz, Turbo Boost: disabled; RAM: [33553 MB; 33554 MB]
Date of execution 2017-12-02 00:52:46 CET 2017-12-02 02:12:50 CET 2017-12-02 02:29:49 CET 2017-12-02 02:31:32 CET 2017-12-02 02:13:30 CET
Run set map2check.sv-comp18.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-map2check.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-map2check.sv-comp18-violation-witness.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-map2check.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-map2check.sv-comp18-correctness-witness.NoOverflows-BitVectors
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -witness ../../results-verified/map2check.2017-12-02_0052.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -setprop cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc -setprop cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc -setprop cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc -setprop cpa.smg.deallocationFunctions=free,kfree,kfree_const --full-output --validate ../../results-verified/map2check.2017-12-02_0052.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/map2check.2017-12-02_0052.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/map2check.2017-12-02_0052.logfiles/sv-comp18.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) mem (MB) energy (J) status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy status score witness inspect witness cpu (s) mem (MB) energy
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i false(no-overflow) 1 wit inspect .32  11 3.7  error (invalid witness file) 0 wit inspect 2.3  170 false(no-overflow) 1 wit inspect 4.1   220   error (1) 0 wit inspect .079  9.1  - wit inspect
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 0 wit inspect .32  12 3.8  error (invalid witness file) 0 wit inspect 1.7  190 true -32 wit inspect 3.0   210   error (1) 0 wit inspect .10   9.0  - wit inspect
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 0 wit inspect .30  12 4.2  error (invalid witness file) 0 wit inspect 2.2  160 true -32 wit inspect 3.0   220   error (1) 0 wit inspect .068  9.0  - wit inspect
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 1 wit inspect .31  11 2.7  error (invalid witness file) 0 wit inspect 1.7  170 false(no-overflow) 1 wit inspect 4.0   220   error (1) 0 wit inspect .10   9.0  - wit inspect
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 1 wit inspect .30  11 3.5  error (invalid witness file) 0 wit inspect 2.3  170 false(no-overflow) 1 wit inspect 3.1   220   error (1) 0 wit inspect .10   9.0  - wit inspect
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 0 wit inspect .32  11 3.4  error (invalid witness file) 0 wit inspect 1.6  160 true -32 wit inspect 4.4   210   error (1) 0 wit inspect .074  9.1  - wit inspect
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 0 wit inspect .32  12 3.2  error (invalid witness file) 0 wit inspect 1.6  160 true -32 wit inspect 3.3   220   error (1) 0 wit inspect .10   9.0  - wit inspect
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 0 wit inspect .29  11 4.2  error (invalid witness file) 0 wit inspect 1.6  170 true -32 wit inspect 2.9   210   error (1) 0 wit inspect .10   8.9  - wit inspect
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 0 wit inspect .30  12 4.0  error (invalid witness file) 0 wit inspect 1.6  170 true -32 wit inspect 2.9   220   error (1) 0 wit inspect .099  9.1  - wit inspect
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 0 wit inspect .32  11 3.5  error (invalid witness file) 0 wit inspect 2.3  170 true -32 wit inspect 3.2   220   error (1) 0 wit inspect .10   9.0  - wit inspect
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true 2 wit inspect .32  11 3.6  - 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 .30  11 4.5  - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4   260  
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true 2 wit inspect .32  11 3.7  - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.8   210  
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true 2 wit inspect .29  11 3.9  - wit inspect - wit inspect - wit inspect true 2 wit inspect 2.9   210  
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true 2 wit inspect .29  12 4.5  - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.4   210  
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 1 wit inspect .69  12 8.0  error (invalid witness file) 0 wit inspect 1.6  160 false(no-overflow) 1 wit inspect 4.5   220   error (1) 0 wit inspect .098  9.1  - wit inspect
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 1 wit inspect 1.1   13 13    error (invalid witness file) 0 wit inspect 2.2  160 false(no-overflow) 1 wit inspect 4.8   230   error (1) 0 wit inspect .065  9.1  - wit inspect
termination-crafted/Ackermann_false-no-overflow.c false(no-overflow) 1 wit inspect .50  12 5.7  error (invalid witness file) 0 wit inspect 1.9  160 false(no-overflow) 1 wit inspect 3.2   230   error (1) 0 wit inspect .065  9.1  - wit inspect
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 1 wit inspect .60  13 7.4  error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 4.6   220   error (1) 0 wit inspect .076  9.0  - wit inspect
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 1 wit inspect .75  13 9.3  error (invalid witness file) 0 wit inspect 1.6  160 false(no-overflow) 1 wit inspect 3.1   220   error (1) 0 wit inspect .066  9.0  - wit inspect
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 1 wit inspect .68  12 9.7  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.2   230   error (1) 0 wit inspect .11   9.0  - wit inspect
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 1 wit inspect .58  12 6.8  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 4.7   230   error (1) 0 wit inspect .066  9.0  - wit inspect
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 1 wit inspect .67  12 8.9  error (invalid witness file) 0 wit inspect 2.1  170 false(no-overflow) 1 wit inspect 3.5   260   error (1) 0 wit inspect .063  9.0  - wit inspect
termination-crafted/Cairo_step2_false-no-overflow.c unknown 0 wit inspect 900     1100 11000    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .0014 .34 - wit inspect
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 1 wit inspect .43  12 5.1  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 5.8   270   error (1) 0 wit inspect .097  9.0  - wit inspect
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 1 wit inspect .49  12 5.7  error (invalid witness file) 0 wit inspect 1.6  160 false(no-overflow) 1 wit inspect 3.5   260   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 1 wit inspect 3.6   14 43    error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.5   240   error (1) 0 wit inspect .068  9.0  - wit inspect
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 1 wit inspect .41  12 4.5  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.4   230   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted/Hanoi_2vars_false-no-overflow.c out of memory 0 wit inspect 26     15000 390    error (invalid witness file) 0 wit inspect .42 42 error (2) 0 wit inspect .017 4.9 error (invalid witness file) 0 wit inspect .0011 .27 - wit inspect
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 1 wit inspect .68  13 8.4  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.3   230   error (1) 0 wit inspect .073  9.0  - wit inspect
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 1 wit inspect .99  13 12    error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 3.3   230   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 1 wit inspect .42  12 5.6  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.7   250   error (1) 0 wit inspect .078  9.1  - wit inspect
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 1 wit inspect .83  12 10    error (invalid witness file) 0 wit inspect 1.6  160 false(no-overflow) 1 wit inspect 3.2   230   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 1 wit inspect .35  12 4.3  error (invalid witness file) 0 wit inspect 2.2  160 false(no-overflow) 1 wit inspect 3.3   230   error (1) 0 wit inspect .066  9.1  - wit inspect
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 1 wit inspect .38  11 3.4  error (invalid witness file) 0 wit inspect 1.6  180 false(no-overflow) 1 wit inspect 3.7   250   error (1) 0 wit inspect .11   8.9  - wit inspect
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 1 wit inspect .39  12 4.8  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 2.9   230   error (1) 0 wit inspect .098  9.0  - wit inspect
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 1 wit inspect .48  12 5.3  error (invalid witness file) 0 wit inspect 1.6  160 false(no-overflow) 1 wit inspect 3.6   270   error (1) 0 wit inspect .10   8.9  - wit inspect
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 0 wit inspect .30  11 3.8  error (invalid witness file) 0 wit inspect 2.0  160 true -32 wit inspect 6.9   290   error (1) 0 wit inspect .099  9.0  - wit inspect
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 1 wit inspect .41  12 5.5  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.1   220   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 1 wit inspect .58  13 8.0  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.3   220   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted/NonTerminationSimple4_false-no-overflow.c unknown 0 wit inspect 900     83 4200    error (invalid witness file) 0 wit inspect .51 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .0037 .34 - wit inspect
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 1 wit inspect .42  12 4.8  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 5.2   260   error (1) 0 wit inspect .11   8.9  - wit inspect
termination-crafted/NonTerminationSimple6_false-no-overflow.c out of memory 0 wit inspect 26     15000 370    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .0019 .26 - wit inspect
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 1 wit inspect .44  12 5.3  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.5   250   error (1) 0 wit inspect .075  9.0  - wit inspect
termination-crafted/NonTerminationSimple9_false-no-overflow.c out of memory 0 wit inspect 26     15000 360    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .0037 .29 - wit inspect
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 1 wit inspect .43  12 5.5  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 5.1   260   error (1) 0 wit inspect .066  9.0  - wit inspect
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 1 wit inspect 1.6   13 22    error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 4.7   230   error (1) 0 wit inspect .073  9.0  - wit inspect
termination-crafted/RecursiveMultiplication_false-no-overflow.c unknown 0 wit inspect .80  12 12    error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 1 wit inspect .33  11 3.6  error (invalid witness file) 0 wit inspect 1.4  160 false(no-overflow) 1 wit inspect 4.6   230   error (1) 0 wit inspect .080  9.1  - wit inspect
termination-crafted/Rotation180_false-no-overflow.c unknown 0 wit inspect 890     11 14000    error (invalid witness file) 0 wit inspect .45 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0036 .26 - wit inspect
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 1 wit inspect .60  13 7.8  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.7   230   error (1) 0 wit inspect .10   8.9  - wit inspect
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 1 wit inspect .64  12 7.6  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.6   220   error (1) 0 wit inspect .085  9.0  - wit inspect
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 1 wit inspect .68  12 8.4  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.4   230   error (1) 0 wit inspect .065  8.9  - wit inspect
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 1 wit inspect .69  12 8.1  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.4   230   error (1) 0 wit inspect .098  9.0  - wit inspect
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 1 wit inspect 1.8   13 22    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.1   220   error (1) 0 wit inspect .063  9.1  - wit inspect
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 1 wit inspect 1.1   13 16    error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 4.5   220   error (1) 0 wit inspect .093  9.0  - wit inspect
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 1 wit inspect .95  12 13    error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.9   260   error (1) 0 wit inspect .10   8.9  - wit inspect
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 0 wit inspect 1.4   12 19    error (invalid witness file) 0 wit inspect 2.1  160 true -32 wit inspect 5.3   260   error (1) 0 wit inspect .092  9.0  - wit inspect
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect .93  13 12    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 5.3   250   error (1) 0 wit inspect .063  9.0  - wit inspect
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect .79  13 10    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.2   230   error (1) 0 wit inspect .076  9.0  - wit inspect
termination-crafted/easy2_false-no-overflow.c unknown 0 wit inspect 900     300 11000    error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0041 .32 - wit inspect
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .34  11 3.5  - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.8   230  
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 890     100 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c unknown 0 wit inspect 900     32 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 5.0
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 3.0   140 33    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .044 4.8
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     60 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c unknown 0 wit inspect 900     58 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .49  12 5.2  - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.4   260  
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     930 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 5.0
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c unknown 0 wit inspect 900     1200 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     1100 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     1200 12000    - 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 unknown 0 wit inspect 900     1100 9900    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c unknown 0 wit inspect 900     26 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     1900 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c unknown 0 wit inspect 900     1900 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c unknown 0 wit inspect 890     11 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     110 13000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .046 4.8
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     140 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     940 12000    - 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 unknown 0 wit inspect 900     600 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     260 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     460 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .027 4.8
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     460 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     490 13000    - 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 unknown 0 wit inspect 900     2400 9200    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     1600 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 5.0
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true 2 wit inspect .41  12 5.0  - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.9   210  
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c unknown 0 wit inspect 890     11 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .042 4.8
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     650 13000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .041 4.9
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     250 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 4.9
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     140 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c unknown 0 wit inspect 900     460 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     440 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     260 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .29  11 3.5  - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.2   210  
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c unknown 0 wit inspect 890     11 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .045 4.8
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .38  11 4.3  - wit inspect - wit inspect - wit inspect true 2 wit inspect 5.1   260  
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c unknown 0 wit inspect 900     310 9900    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .048 4.8
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 1 wit inspect .41  12 6.0  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.9   260   error (1) 0 wit inspect .085  9.0  - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 1 wit inspect .43  12 6.0  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.7   260   error (1) 0 wit inspect .088  9.0  - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect .92  13 13    error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 3.7   270   error (1) 0 wit inspect .082  9.1  - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c unknown 0 wit inspect .82  13 10    error (invalid witness file) 0 wit inspect .53 41 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0041 .29 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 1 wit inspect .68  13 7.9  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 6.0   260   error (1) 0 wit inspect .095  9.0  - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 1 wit inspect .72  12 7.8  error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 4.6   230   error (1) 0 wit inspect .074  9.1  - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 1 wit inspect 1.2   13 16    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.1   270   error (1) 0 wit inspect .067  9.0  - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c unknown 0 wit inspect 900     270 11000    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0019 .29 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 1 wit inspect .53  13 6.5  error (invalid witness file) 0 wit inspect 2.2  180 false(no-overflow) 1 wit inspect 3.6   260   error (1) 0 wit inspect .11   8.9  - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 1 wit inspect .30  11 3.6  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 5.3   270   error (1) 0 wit inspect .090  9.0  - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c unknown 0 wit inspect 890     620 12000    error (invalid witness file) 0 wit inspect .41 44 error (2) 0 wit inspect .047 4.8 error (invalid witness file) 0 wit inspect .0042 .26 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c unknown 0 wit inspect 900     350 14000    error (invalid witness file) 0 wit inspect .56 43 error (2) 0 wit inspect .038 4.8 error (invalid witness file) 0 wit inspect .0041 .34 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 1 wit inspect .40  12 5.0  error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 4.5   230   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c out of memory 0 wit inspect 31     15000 470    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .024 5.0 error (invalid witness file) 0 wit inspect .0020 .34 - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 1 wit inspect .50  13 6.5  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.8   270   error (1) 0 wit inspect .064  9.0  - wit inspect
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 1 wit inspect .61  12 8.0  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.6   260   error (1) 0 wit inspect .078  9.0  - wit inspect
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c out of memory 0 wit inspect 25     15000 310    error (invalid witness file) 0 wit inspect .58 44 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 1 wit inspect 1.9   20 22    error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.4   230   error (1) 0 wit inspect .098  9.0  - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 1 wit inspect .68  12 8.2  error (invalid witness file) 0 wit inspect 2.2  160 false(no-overflow) 1 wit inspect 3.4   230   error (1) 0 wit inspect .091  9.0  - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect .98  13 11    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.7   260   error (1) 0 wit inspect .077  9.0  - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect .81  13 9.6  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.6   250   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 1 wit inspect .82  12 11    error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.6   260   error (1) 0 wit inspect .088  8.9  - wit inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c out of memory 0 wit inspect 26     15000 360    error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .019 4.8 error (invalid witness file) 0 wit inspect .0012 .26 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 1 wit inspect .48  12 6.3  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.5   260   error (1) 0 wit inspect .063  9.1  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c true -32 wit inspect 1.1   12 16    error (1) 0 wit inspect .61 45 false(no-overflow) 1 wit inspect 3.1   230   error (1) 0 wit inspect .077  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 1 wit inspect .37  11 4.8  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.4   260   error (1) 0 wit inspect .080  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 1 wit inspect .38  12 4.5  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.6   240   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 1 wit inspect .36  12 4.4  error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 4.6   220   error (1) 0 wit inspect .065  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 1 wit inspect .54  13 7.6  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.3   220   error (1) 0 wit inspect .082  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 1 wit inspect .58  12 7.9  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 4.9   250   error (1) 0 wit inspect .095  9.1  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c unknown 0 wit inspect .52  12 7.0  error (invalid witness file) 0 wit inspect .41 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0031 .29 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 1 wit inspect .93  13 13    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.2   220   error (1) 0 wit inspect .064  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c out of memory 0 wit inspect 27     15000 360    error (invalid witness file) 0 wit inspect .43 43 error (2) 0 wit inspect .018 5.0 error (invalid witness file) 0 wit inspect .0036 .28 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 1 wit inspect 1.1   12 14    error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.3   230   error (1) 0 wit inspect .070  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 1 wit inspect .58  12 7.8  error (invalid witness file) 0 wit inspect 1.6  160 false(no-overflow) 1 wit inspect 4.6   220   error (1) 0 wit inspect .071  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 1 wit inspect .72  12 9.7  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.6   220   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 1 wit inspect 1.0   13 12    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.1   270   error (1) 0 wit inspect .068  8.9  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 1 wit inspect .49  12 6.1  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 5.2   260   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 1 wit inspect .87  12 10    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.4   230   error (1) 0 wit inspect .063  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 1 wit inspect 1.3   13 19    error (invalid witness file) 0 wit inspect 2.2  160 false(no-overflow) 1 wit inspect 3.3   230   error (1) 0 wit inspect .096  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 1 wit inspect .73  12 9.6  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.3   230   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 1 wit inspect .58  12 6.3  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.4   210   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 0 wit inspect .54  12 6.4  error (invalid witness file) 0 wit inspect 2.0  160 true -32 wit inspect 2.9   220   error (1) 0 wit inspect .098  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) 1 wit inspect .40  12 5.3  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 4.8   240   error (1) 0 wit inspect .10   8.9  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 1 wit inspect .44  11 6.0  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.1   220   error (1) 0 wit inspect .068  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 1 wit inspect .69  12 9.4  error (invalid witness file) 0 wit inspect 1.6  160 false(no-overflow) 1 wit inspect 3.2   220   error (1) 0 wit inspect .063  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c unknown 0 wit inspect .86  12 9.9  error (invalid witness file) 0 wit inspect .52 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0036 .27 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 1 wit inspect .51  12 6.9  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.5   220   error (1) 0 wit inspect .066  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c true -32 wit inspect .44  12 6.1  error (1) 0 wit inspect .47 45 false(no-overflow) 1 wit inspect 3.3   230   error (1) 0 wit inspect .091  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 1 wit inspect 1.1   13 13    error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.1   220   error (1) 0 wit inspect .065  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 0 wit inspect .70  15 8.5  error (invalid witness file) 0 wit inspect 2.0  150 true -32 wit inspect 3.1   230   error (1) 0 wit inspect .10   9.1  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 1 wit inspect .96  13 13    error (invalid witness file) 0 wit inspect 2.2  160 false(no-overflow) 1 wit inspect 3.3   230   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 1 wit inspect .81  13 9.6  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.2   230   error (1) 0 wit inspect .074  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 1 wit inspect .68  12 9.5  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 5.0   260   error (1) 0 wit inspect .096  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c unknown 0 wit inspect 1.7   13 23    error (invalid witness file) 0 wit inspect .54 43 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0037 .28 - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 1 wit inspect .85  14 10    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 5.3   230   error (1) 0 wit inspect .066  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 1 wit inspect .78  12 8.4  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.7   220   error (1) 0 wit inspect .082  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 1 wit inspect 1.6   14 19    error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 3.2   230   error (1) 0 wit inspect .072  9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 1 wit inspect 1.1   13 13    error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 3.3   230   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 0 wit inspect .49  13 5.8  error (invalid witness file) 0 wit inspect 1.6  160 true -32 wit inspect 4.5   230   error (1) 0 wit inspect .095  8.9  - wit inspect
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .48  13 5.6  error (invalid witness file) 0 wit inspect 2.2  160 false(no-overflow) 1 wit inspect 3.6   270   error (1) 0 wit inspect .069  9.0  - wit inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 1 wit inspect .46  12 4.9  error (invalid witness file) 0 wit inspect 2.2  160 false(no-overflow) 1 wit inspect 3.5   230   error (1) 0 wit inspect .077  9.0  - wit inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 1 wit inspect .49  12 7.0  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.6   240   error (1) 0 wit inspect .074  9.0  - wit inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c out of memory 0 wit inspect 26     15000 330    error (invalid witness file) 0 wit inspect .43 41 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0017 .26 - wit inspect
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .57  12 7.9  error (invalid witness file) 0 wit inspect 1.6  160 false(no-overflow) 1 wit inspect 3.4   250   error (1) 0 wit inspect .098  9.0  - wit inspect
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect 3.4   15 46    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 7.1   270   error (1) 0 wit inspect .066  9.0  - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect .46  12 5.2  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 4.7   230   error (1) 0 wit inspect .097  9.0  - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c unknown 0 wit inspect .052 11 .34 error (invalid witness file) 0 wit inspect .39 41 error (2) 0 wit inspect .020 4.9 error (invalid witness file) 0 wit inspect .0040 .29 - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 1 wit inspect .52  12 6.5  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.2   230   error (1) 0 wit inspect .10   9.1  - wit inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 1 wit inspect .54  12 7.7  error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 3.3   230   error (1) 0 wit inspect .074  9.0  - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 1 wit inspect .41  12 5.9  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 6.0   250   error (1) 0 wit inspect .069  9.0  - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 1 wit inspect .62  12 6.6  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.0   260   error (1) 0 wit inspect .10   9.1  - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c false(no-overflow) 1 wit inspect .47  12 5.5  error (invalid witness file) 0 wit inspect 2.2  170 false(no-overflow) 1 wit inspect 3.4   230   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect .48  12 6.4  error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 3.4   230   error (1) 0 wit inspect .075  9.0  - wit inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 1 wit inspect .53  12 6.1  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 4.5   220   error (1) 0 wit inspect .099  8.9  - wit inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 1 wit inspect .44  12 4.8  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.6   250   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .56  13 6.4  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.1   220   error (1) 0 wit inspect .083  9.1  - wit inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c out of memory 0 wit inspect 26     15000 350    error (invalid witness file) 0 wit inspect .53 43 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0040 .28 - wit inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect .54  12 7.3  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.2   220   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect .58  12 7.3  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.2   220   error (1) 0 wit inspect .11   8.9  - wit inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 1 wit inspect .55  12 7.2  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.2   220   error (1) 0 wit inspect .091  9.0  - wit inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 1 wit inspect .71  12 8.3  error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 3.2   230   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) 1 wit inspect .57  12 6.9  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.4   230   error (1) 0 wit inspect .099  9.0  - wit inspect
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) 1 wit inspect .82  13 10    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.8   260   error (1) 0 wit inspect .11   9.0  - wit inspect
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 1 wit inspect .52  12 5.1  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.4   260   error (1) 0 wit inspect .084  9.0  - wit inspect
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect .48  12 5.5  error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 4.3   260   error (1) 0 wit inspect .10   8.9  - wit inspect
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 1 wit inspect .50  12 5.5  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 4.2   270   error (1) 0 wit inspect .083  9.0  - wit inspect
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c unknown 0 wit inspect .55  12 6.1  error (invalid witness file) 0 wit inspect .55 44 error (2) 0 wit inspect .025 4.9 error (invalid witness file) 0 wit inspect .0041 .30 - wit inspect
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) 1 wit inspect .48  14 5.7  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.5   260   error (1) 0 wit inspect .088  9.0  - wit inspect
termination-crafted-lit/cstrncmp_false-no-overflow.c unknown 0 wit inspect .064 11 .48 error (invalid witness file) 0 wit inspect .54 45 error (2) 0 wit inspect .018 4.9 error (invalid witness file) 0 wit inspect .0037 .26 - wit inspect
termination-crafted-lit/gcd1_false-no-overflow.c unknown 0 wit inspect 900     120 12000    error (invalid witness file) 0 wit inspect .54 44 error (2) 0 wit inspect .018 4.8 error (invalid witness file) 0 wit inspect .0012 .35 - wit inspect
termination-crafted-lit/joey_false-no-overflow.c false(no-overflow) 1 wit inspect .43  12 5.1  error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 5.2   270   error (1) 0 wit inspect .079  9.0  - wit inspect
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) 1 wit inspect 1.1   13 16    error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 5.2   240   error (1) 0 wit inspect .099  9.0  - wit inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 0 wit inspect 900     650 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c unknown 0 wit inspect 900     340 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true 2 wit inspect .39  11 4.3  - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7   270  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c unknown 0 wit inspect 900     300 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c unknown 0 wit inspect 900     160 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c unknown 0 wit inspect 900     640 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c unknown 0 wit inspect 900     370 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c unknown 0 wit inspect 900     1800 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c unknown 0 wit inspect 900     250 9900    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c unknown 0 wit inspect 900     660 13000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c unknown 0 wit inspect 900     120 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c unknown 0 wit inspect 900     230 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .017 4.9
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c unknown 0 wit inspect 900     310 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .038 4.8
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c unknown 0 wit inspect 900     210 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c unknown 0 wit inspect 900     240 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c unknown 0 wit inspect 900     75 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c unknown 0 wit inspect 900     72 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c unknown 0 wit inspect 900     500 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c unknown 0 wit inspect 900     130 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c unknown 0 wit inspect 900     300 9900    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true 2 wit inspect .36  11 4.5  - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.7   260  
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c unknown 0 wit inspect 900     270 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.8
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c unknown 0 wit inspect 900     440 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .046 5.0
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c timeout 0 wit inspect 900     1900 13000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c unknown 0 wit inspect 890     31 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c unknown 0 wit inspect 900     100 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c unknown 0 wit inspect 900     160 13000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c unknown 0 wit inspect 900     360 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c unknown 0 wit inspect 900     240 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c unknown 0 wit inspect 900     480 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c timeout 0 wit inspect 900     27 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c unknown 0 wit inspect 900     670 9500    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c timeout 0 wit inspect 900     31 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .045 4.8
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 2 wit inspect .33  11 3.9  - wit inspect - wit inspect - wit inspect true 2 wit inspect 140     3600  
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c unknown 0 wit inspect 900     520 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c unknown 0 wit inspect 900     290 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c unknown 0 wit inspect 900     660 13000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c unknown 0 wit inspect 900     260 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c unknown 0 wit inspect 900     940 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c unknown 0 wit inspect 890     84 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c unknown 0 wit inspect 890     180 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .022 5.0
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c unknown 0 wit inspect 900     480 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c unknown 0 wit inspect 900     360 9800    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 0 wit inspect 900     51 14000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .034 4.9
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c unknown 0 wit inspect 900     500 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c unknown 0 wit inspect 900     710 9400    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c timeout 0 wit inspect 900     71 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .021 4.9
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c unknown 0 wit inspect 900     190 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true 2 wit inspect 1.8   12 24    - wit inspect - wit inspect - wit inspect true 2 wit inspect 4.9   260  
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c unknown 0 wit inspect 900     170 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .047 4.9
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c unknown 0 wit inspect 900     280 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c unknown 0 wit inspect 890     480 9800    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .017 4.8
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c unknown 0 wit inspect 900     370 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c unknown 0 wit inspect 900     12 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c unknown 0 wit inspect 890     330 9100    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c unknown 0 wit inspect 900     760 13000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .020 4.9
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c unknown 0 wit inspect 900     370 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true 2 wit inspect .30  11 3.4  - wit inspect - wit inspect - wit inspect true 2 wit inspect 3.4   270  
termination-crafted-lit/aviad_true-termination_true-no-overflow.c unknown 0 wit inspect 900     290 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.8
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c unknown 0 wit inspect .074 11 .37 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .046 4.9
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c unknown 0 wit inspect .073 11 .34 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 5.0
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c unknown 0 wit inspect .074 11 .37 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c unknown 0 wit inspect .061 11 .50 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .046 4.8
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c unknown 0 wit inspect .071 11 .40 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 5.0
termination-crafted-lit/genady_true-termination_true-no-overflow.c true 2 wit inspect .40  11 4.7  - wit inspect - wit inspect - wit inspect true 2 wit inspect 9.9   430  
termination-crafted-lit/strchr_true-no-overflow_true-termination.c unknown 0 wit inspect .067 11 .45 - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .046 4.8
termination-numeric/Addition01_false-no-overflow.c false(no-overflow) 1 wit inspect .45  12 5.9  error (invalid witness file) 0 wit inspect 2.3  180 false(no-overflow) 1 wit inspect 3.4   240   error (1) 0 wit inspect .063  9.0  - wit inspect
termination-numeric/Avg_true_false-no-overflow.c false(no-overflow) 1 wit inspect .65  12 7.4  error (invalid witness file) 0 wit inspect 2.1  160 false(no-overflow) 1 wit inspect 3.5   260   error (1) 0 wit inspect .10   9.0  - wit inspect
termination-numeric/Binomial_true-termination_false-no-overflow.c false(no-overflow) 0 wit inspect 1.1   12 13    error (invalid witness file) 0 wit inspect 1.5  160 true -32 wit inspect 5.3   260   error (1) 0 wit inspect .068  8.9  - wit inspect
termination-numeric/Et1_true_false-no-overflow.c false(no-overflow) 1 wit inspect 1.3   13 16    error (invalid witness file) 0 wit inspect 2.0  160 false(no-overflow) 1 wit inspect 4.6   230   error (1) 0 wit inspect .064  9.1  - wit inspect
termination-numeric/Et2_true_false-no-overflow.c false(no-overflow) 1 wit inspect 1.1   13 15    error (invalid witness file) 0 wit inspect 2.2  160 false(no-overflow) 1 wit inspect 3.5   260   error (1) 0 wit inspect .080  9.0  - wit inspect
termination-numeric/Et3_true_false-no-overflow.c false(no-overflow) 1 wit inspect 1.2   13 17    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.2   230   error (1) 0 wit inspect .065  9.1  - wit inspect
termination-numeric/Et4_true_false-no-overflow.c false(no-overflow) 1 wit inspect .98  13 12    error (invalid witness file) 0 wit inspect 1.5  160 false(no-overflow) 1 wit inspect 3.5   250   error (1) 0 wit inspect .10   8.9  - wit inspect
termination-numeric/MultCommutative_false-no-overflow.c false(no-overflow) 0 wit inspect .65  12 6.9  error (invalid witness file) 0 wit inspect 1.5  160 true -32 wit inspect 4.5   230   error (1) 0 wit inspect .092  9.0  - wit inspect
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c false(no-overflow) 0 wit inspect 41     39 580    error (invalid witness file) 0 wit inspect 2.0  160 true -32 wit inspect 5.6   260   error (1) 0 wit inspect .086  9.1  - wit inspect
termination-numeric/Ackermann01_true-termination_true-no-overflow.c unknown 0 wit inspect 890     17 13000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c unknown 0 wit inspect 900     770 10000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c unknown 0 wit inspect 900     1400 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .036 4.8
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c unknown 0 wit inspect 890     380 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-numeric/LogRecursive_true-termination_true-no-overflow.c true 1 wit inspect 35     170 440    - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     490  
termination-numeric/Parts_true-termination_true-no-overflow.c unknown 0 wit inspect 900     350 12000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
termination-numeric/TwoWay_true-termination_true-no-overflow.c unknown 0 wit inspect 900     790 8500    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .047 4.9
termination-numeric/gcd01_true-termination_true-no-overflow.c unknown 0 wit inspect 900     89 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .019 4.9
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true 2 wit inspect 1.9   12 26    - wit inspect - wit inspect - wit inspect true 2 wit inspect 43     1100  
termination-numeric/recHanoi02_true-termination_true-no-overflow.c true 1 wit inspect 2.1   13 27    - wit inspect - wit inspect - wit inspect timeout 0 wit inspect 960     2800  
termination-numeric/rec_counter1_true-termination_true-no-overflow.c unknown 0 wit inspect 900     2100 9600    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.8
termination-numeric/rec_counter3_true-termination_true-no-overflow.c unknown 0 wit inspect 900     1900 9300    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .046 4.9
termination-numeric/twisted_true-termination_true-no-overflow.c unknown 0 wit inspect 900     670 11000    - wit inspect - wit inspect - wit inspect error (2) 0 wit inspect .018 4.9
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
total 280 88 94000   190000 1200000 158 0 250 22000 158 -362 530 32000 158 0 12 1200 122 34 2200 12000
    correct results 133 150 94   1600 1200 0 118 118 460 28000 0 17 34 250 8400
        correct true 17 34 9.0 190 110 0 0 0 17 34 250 8400
        correct false 116 116 85   1400 1100 0 118 118 460 28000 0 0
    correct-unconfimed results 17 2 86   390 1100 0 0 0 0
        correct-unconfirmed true 2 2 38   180 470 0 0 0 0
        correct-unconfirmed false 15 0 49   210 670 0 0 0 0
    incorrect results 2 -64 1.6 24 22 0 15 -480 61 3500 0 0
        incorrect true 2 -64 1.6 24 22 0 15 -480 61 3500 0 0
        incorrect false 0 0 0 0 0
score (280 tasks, max score: 402) 88 0 -362 0 34
Run set map2check.sv-comp18.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-map2check.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-map2check.sv-comp18-violation-witness.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-map2check.sv-comp18-violation-witness.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-map2check.sv-comp18-correctness-witness.NoOverflows-BitVectors