Tool Map2Check v7.2-Flock : Tue Nov 27 22:00:00 -04 2018 CPAchecker 1.7-svn 29852 ULTIMATE Automizer 0.1.23-635dfa2a CPA-witness2test 1.7-svn 29852 CProver witness2test 0.1 ULTIMATE Automizer 0.1.23-635dfa2a
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* [apollon053; apollon130] apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-06 12:20:21 CET 2018-12-07 01:02:57 CET 2018-12-07 02:56:49 CET 2018-12-07 03:56:35 CET 2018-12-12 20:36:04 CET 2018-12-07 01:25:40 CET
Run set map2check.sv-comp19_prop-nooverflow.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-map2check.sv-comp19_prop-nooverflow.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-map2check.sv-comp19_prop-nooverflow.NoOverflows-BitVectors cpa-witness2test-validate-violation-witnesses-map2check.sv-comp19_prop-nooverflow.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-map2check.sv-comp19_prop-nooverflow.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-map2check.sv-comp19_prop-nooverflow.NoOverflows-BitVectors
Options -witnessValidation -setprop witness.checkProgramHash=false -heap 5000m -benchmark -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 -witness ../../results-verified/map2check.2018-12-06_1220.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/map2check.2018-12-06_1220.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml -setprop witness.checkProgramHash=false -heap 5000m -benchmark -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -witness ../../results-verified/map2check.2018-12-06_1220.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/map2check.2018-12-06_1220.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/map2check.2018-12-06_1220.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i timeout 0 --- inspect 900    470    230 10000   28000      .0082 error (invalid witness file) 0 --- inspect .58 .37 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .60 47 0   0   error (invalid witness file) 0 --- inspect .0052 .0063 .53 0   0      - --- inspect
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 0 wit inspect .39 .37 83 4.3 .016  0      error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   false(no-overflow) 1 --- inspect 8.0   4.5   320   .66  0   error (invalid witness file) 0 --- inspect 3.1  1.7  200 0   0   error (1) 0 --- inspect .081  .081  11    0   0      - --- inspect
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 0 wit inspect .82 .80 83 10   0      0      error (invalid witness file) 0 --- inspect 2.7  1.5  190 0   0   false(no-overflow) 1 --- inspect 7.7   4.7   320   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .077  .085  11    0   0      - --- inspect
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i timeout 0 --- inspect 900    480    230 9700   29000      .0082 error (invalid witness file) 0 --- inspect .58 .35 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .61 46 0   0   error (invalid witness file) 0 --- inspect .0069 .0096 .52 0   0      - --- inspect
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i timeout 0 --- inspect 900    470    250 10000   29000      .0041 error (invalid witness file) 0 --- inspect .58 .37 41 0   0   error (2) 0 --- inspect .026 .027 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .60 47 0   0   error (invalid witness file) 0 --- inspect .0021 .0029 .52 0   0      - --- inspect
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 0 wit inspect .40 .39 83 5.2 .016  0      error (invalid witness file) 0 --- inspect 2.8  1.5  200 0   0   false(no-overflow) 1 --- inspect 8.3   4.9   310   .66  0   error (invalid witness file) 0 --- inspect 3.1  1.8  200 0   0   error (1) 0 --- inspect .070  .071  11    0   .016  - --- inspect
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 0 wit inspect .40 .38 83 4.5 .016  0      error (invalid witness file) 0 --- inspect 2.8  1.5  190 0   0   false(no-overflow) 1 --- inspect 8.1   4.5   320   .66  0   error (invalid witness file) 0 --- inspect 3.2  1.8  200 0   0   error (1) 0 --- inspect .071  .070  11    0   0      - --- inspect
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 0 wit inspect .41 .39 82 4.8 .016  0      error (invalid witness file) 0 --- inspect 3.0  1.6  220 0   0   false(no-overflow) 1 --- inspect 7.6   4.2   310   .66  0   error (invalid witness file) 0 --- inspect 3.1  1.7  200 0   0   error (1) 0 --- inspect .072  .072  11    0   0      - --- inspect
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 0 wit inspect .40 .38 83 5.0 .016  0      error (invalid witness file) 0 --- inspect 2.7  1.5  190 0   0   false(no-overflow) 1 --- inspect 7.3   4.1   310   .23  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .076  .081  11    0   0      - --- inspect
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 0 wit inspect .41 .39 83 4.6 .016  0      error (invalid witness file) 0 --- inspect 2.7  1.5  200 0   0   false(no-overflow) 1 --- inspect 7.4   4.6   310   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .067  .067  12    0   0      - --- inspect
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i timeout 0 --- inspect 900    470    240 9800   28000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .023 5.6 0    0  
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i timeout 0 --- inspect 900    470    230 9900   28000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i timeout 0 --- inspect 900    470    240 9500   28000      .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i timeout 0 --- inspect 900    480    250 9900   29000      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .023 5.8 0    0  
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i timeout 0 --- inspect 900    480    230 10000   29000      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .030 .054 5.6 0    0  
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .39 83 4.4 .025  0      error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.1   4.4   300   .66  0   error (invalid witness file) 0 --- inspect 3.2  1.8  180 0   0   error (1) 0 --- inspect .068  .069  11    0   .0041 - --- inspect
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 0 wit inspect .43 .41 83 4.6 .025  0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 7.1   4.5   300   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .082  .082  11    0   0      - --- inspect
termination-crafted/Ackermann_false-no-overflow.c false(no-overflow) 0 wit inspect 44    44    130 550   .15   0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 7.3   4.2   310   .62  0   error (invalid witness file) 0 --- inspect 2.8  1.6  170 0   0   error (1) 0 --- inspect .069  .070  11    0   0      - --- inspect
termination-crafted/Bangalore_false-no-overflow.c timeout 0 --- inspect 900    450    74 9600   .012  0      error (invalid witness file) 0 --- inspect .57 .37 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .62 46 0   0   error (invalid witness file) 0 --- inspect .0025 .0032 .53 0   0      - --- inspect
termination-crafted/Bangalore_v3_false-no-overflow.c timeout 0 --- inspect 900    450    75 10000   .012  0      error (invalid witness file) 0 --- inspect .57 .35 40 0   0   error (2) 0 --- inspect .021 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .60 46 0   0   error (invalid witness file) 0 --- inspect .0021 .0027 .53 0   0      - --- inspect
termination-crafted/Benghazi_nondet_false-no-overflow.c timeout 0 --- inspect 900    900    80 12000   .32   0      error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .95 .62 48 0   0   error (invalid witness file) 0 --- inspect .0056 .0074 .52 0   0      - --- inspect
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 0 wit inspect 570    570    130 6700   .39   0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 23     18     370   .62  0   error (invalid witness file) 0 --- inspect 2.8  1.6  170 0   0   error (1) 0 --- inspect .099  .096  11    0   0      - --- inspect
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 0 wit inspect 210    150    100 2400   2.0    0      error (invalid witness file) 0 --- inspect 2.8  1.5  200 0   0   true -32 --- inspect 6.2   3.9   300   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .084  .084  11    0   0      - --- inspect
termination-crafted/Cairo_step2_false-no-overflow.c false(no-overflow) 0 wit inspect 180    120    77 2100   .061  0      error (invalid witness file) 0 --- inspect 2.6  1.4  200 0   0   true -32 --- inspect 8.2   4.6   310   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .080  .082  11    0   0      - --- inspect
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .38 79 6.0 .29   0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.4   4.6   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  180 0   0   error (1) 0 --- inspect .088  .088  11    0   0      - --- inspect
termination-crafted/Copenhagen_disj_false-no-overflow.c timeout 0 --- inspect 900    450    74 11000   .20   0      error (invalid witness file) 0 --- inspect .59 .36 41 0   0   error (2) 0 --- inspect .021 .022 5.8 0     0   error (invalid witness file) 0 --- inspect .93 .60 47 0   0   error (invalid witness file) 0 --- inspect .0044 .0055 .52 0   0      - --- inspect
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 0 wit inspect 820    800    78 12000   .35   0      error (invalid witness file) 0 --- inspect 2.8  1.6  190 0   0   false(no-overflow) 1 --- inspect 6.9   4.3   310   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .070  .070  12    0   0      - --- inspect
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 0 wit inspect 210    210    83 3300   59      0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 8.4   4.9   310   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .10   .10   11    0   0      - --- inspect
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 0 wit inspect .39 .37 83 5.2 .025  0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 6.1   3.9   290   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .082  .079  11    0   0      - --- inspect
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .38 83 5.0 .029  0      error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   false(no-overflow) 1 --- inspect 6.8   3.9   310   .094 0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .096  .099  11    0   0      - --- inspect
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 0 wit inspect .39 .38 82 4.6 .025  0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 6.7   4.3   300   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .069  .069  12    0   0      - --- inspect
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 0 wit inspect 140    95    4500 1500   .082  0      error (invalid witness file) 0 --- inspect 2.6  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.0   4.4   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .079  .079  11    0   0      - --- inspect
termination-crafted/Mysore_false-no-overflow.c timeout 0 --- inspect 900    900    83 11000   .52   0      error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .61 47 0   0   error (invalid witness file) 0 --- inspect .0054 .0069 .52 0   0      - --- inspect
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 0 wit inspect 13    13    91 160   .012  0      error (invalid witness file) 0 --- inspect 2.6  1.4  200 0   0   false(no-overflow) 1 --- inspect 7.9   4.7   310   .66  0   error (invalid witness file) 0 --- inspect 3.4  1.9  200 0   0   error (1) 0 --- inspect .095  .093  11    0   .0041 - --- inspect
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 0 wit inspect 6.8  6.8  91 84   .061  0      error (invalid witness file) 0 --- inspect 2.4  1.4  200 0   0   false(no-overflow) 1 --- inspect 7.8   4.4   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.6  200 0   0   error (1) 0 --- inspect .073  .073  11    0   0      - --- inspect
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 0 wit inspect .42 .40 82 4.5 .025  0      error (invalid witness file) 0 --- inspect 2.4  1.3  190 0   0   false(no-overflow) 1 --- inspect 7.4   4.0   300   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  170 0   0   error (1) 0 --- inspect .075  .076  11    0   .0041 - --- inspect
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 0 wit inspect .42 .40 78 4.8 .26   0      error (invalid witness file) 0 --- inspect 2.8  1.5  190 0   0   false(no-overflow) 1 --- inspect 6.8   4.3   300   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.7  200 0   0   error (1) 0 --- inspect .098  .096  11    0   0      - --- inspect
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .39 82 5.0 .016  0      error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   true -32 --- inspect 8.9   5.1   330   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  170 0   0   error (1) 0 --- inspect .094  .12   12    0   0      - --- inspect
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 0 wit inspect 170    120    78 2000   .016  0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 6.4   3.7   290   .66  0   error (invalid witness file) 0 --- inspect 3.1  1.7  200 0   0   error (1) 0 --- inspect .098  .097  11    0   0      - --- inspect
termination-crafted/NonTerminationSimple3_false-no-overflow.c timeout 0 --- inspect 900    450    75 8900   .012  0      error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .95 .60 47 0   0   error (invalid witness file) 0 --- inspect .0014 .0016 .39 0   0      - --- inspect
termination-crafted/NonTerminationSimple4_false-no-overflow.c false(no-overflow) 0 wit inspect 220    150    77 2600   .029  0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   true -32 --- inspect 9.1   5.1   320   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .10   .099  11    0   0      - --- inspect
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 0 wit inspect 120    69    4000 1400   .11   0      error (invalid witness file) 0 --- inspect 2.4  1.3  200 0   0   true -32 --- inspect 7.0   3.9   310   .66  0   error (invalid witness file) 0 --- inspect 2.7  1.6  170 0   0   error (1) 0 --- inspect .074  .074  11    0   0      - --- inspect
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 0 wit inspect 35    24    78 400   .016  0      error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   false(no-overflow) 1 --- inspect 6.7   4.2   300   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  170 0   0   error (1) 0 --- inspect .099  .096  11    0   0      - --- inspect
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 0 wit inspect 110    66    4400 1300   .10   0      error (invalid witness file) 0 --- inspect 2.4  1.3  190 0   0   true -32 --- inspect 7.3   4.0   300   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .093  .092  11    0   0      - --- inspect
termination-crafted/NonTerminationSimple9_false-no-overflow.c timeout 0 --- inspect 900    850    4000 11000   .12   0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .60 47 0   0   error (invalid witness file) 0 --- inspect .0042 .0048 .39 0   0      - --- inspect
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 0 wit inspect 140    92    4500 1500   .34   0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 7.2   4.1   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.6  200 0   0   error (1) 0 --- inspect .081  .080  11    0   0      - --- inspect
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .39 83 5.2 .025  0      error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.1   4.0   310   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .078  .078  11    0   0      - --- inspect
termination-crafted/RecursiveMultiplication_false-no-overflow.c false(no-overflow) 0 wit inspect 46    46    300 550   .12   .0041 error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.2   4.4   310   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .074  .073  11    0   .0041 - --- inspect
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 0 wit inspect 88    88    91 1000   .0082 0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 6.6   4.2   300   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .073  .072  11    0   0      - --- inspect
termination-crafted/Rotation180_false-no-overflow.c timeout 0 --- inspect 900    450    74 10000   .012  0      error (invalid witness file) 0 --- inspect .57 .35 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect 1.2  .76 48 0   0   error (invalid witness file) 0 --- inspect .0021 .0027 .53 0   0      - --- inspect
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .40 83 4.7 .029  0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.1   4.0   310   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .077  .076  11    0   0      - --- inspect
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .40 83 4.6 .025  0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.6   4.5   310   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  170 0   0   error (1) 0 --- inspect .095  .093  11    0   0      - --- inspect
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .39 83 5.7 .025  0      error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.0   4.4   300   .62  0   error (invalid witness file) 0 --- inspect 3.1  1.8  200 0   0   error (1) 0 --- inspect .094  .094  11    0   .0041 - --- inspect
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .39 79 5.1 .029  0      error (invalid witness file) 0 --- inspect 2.6  1.5  200 0   0   false(no-overflow) 1 --- inspect 7.3   4.4   310   .62  0   error (invalid witness file) 0 --- inspect 2.9  1.6  200 0   0   error (1) 0 --- inspect .096  .095  11    0   0      - --- inspect
termination-crafted/Stockholm_false-no-overflow.c timeout 0 --- inspect 900    840    78 11000   2.0    0      error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .95 .61 47 0   0   error (invalid witness file) 0 --- inspect .0022 .0028 .54 0   0      - --- inspect
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 0 wit inspect .39 .37 83 5.1 .041  0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 7.2   4.0   310   .62  0   error (invalid witness file) 0 --- inspect 3.1  1.8  200 0   0   error (1) 0 --- inspect .095  .092  11    0   0      - --- inspect
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 0 wit inspect 77    67    82 1200   .094  0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.6   4.3   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .071  .071  11    0   0      - --- inspect
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 0 wit inspect 5.8  5.1  83 79   .28   0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   true -32 --- inspect 10     5.7   330   .62  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .072  .072  11    0   0      - --- inspect
termination-crafted/aaron2_false-no-overflow.c timeout 0 --- inspect 900    850    4300 11000   2.1    0      error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.7 0     0   error (invalid witness file) 0 --- inspect 1.2  .75 48 0   0   error (invalid witness file) 0 --- inspect .0038 .0050 .53 0   0      - --- inspect
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 0 wit inspect 780    730    5300 10000   .68   .0041 error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 7.4   4.2   300   .62  0   error (invalid witness file) 0 --- inspect 2.9  1.7  170 0   0   error (1) 0 --- inspect .074  .075  11    0   0      - --- inspect
termination-crafted/easy2_false-no-overflow.c timeout 0 --- inspect 900    450    75 9400   .55   0      error (invalid witness file) 0 --- inspect .69 .42 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .96 .63 48 0   0   error (invalid witness file) 0 --- inspect .0015 .0018 .40 0   0      - --- inspect
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    470    84 10000   30000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .049 .050 5.5 0    0  
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    87 10000   .35   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c timeout 0 --- inspect 900    850    4000 8200   3.1    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .020 5.6 0    0  
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    890    4800 10000   120      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    90 9900   180      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.7 0    0  
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    75 9500   .012  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    460    4100 9800   27000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    190 9000   2800      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.8 0    0  
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    74 10000   .029  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    75 9700   1.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .019 .020 5.6 0    0  
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    74 10000   .67   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    75 11000   .63   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    74 8800   .012  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    890    4300 7800   100      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c timeout 0 --- inspect 900    890    4400 5600   100      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.7 0    0  
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    74 7600   .012  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .020 5.6 0    0  
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    75 10000   .18   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .020 5.6 0    0  
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    900    320 14000   .36   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .023 5.6 0    0  
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    76 10000   23      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c timeout 0 --- inspect 900    900    780 12000   .029  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.7 0    0  
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    900    280 10000   .12   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    900    420 12000   2.9    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    900    450 9800   .87   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    900    480 9900   2.0    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c timeout 0 --- inspect 900    900    2300 8400   .037  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.6 0    0  
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    900    1100 11000   6.8    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
termination-crafted/NonTermination3_true-no-overflow_false-termination.c timeout 0 --- inspect 900    850    4500 9100   .061  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .019 .020 5.6 0    0  
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    74 9200   .012  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .023 5.6 0    0  
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    75 9600   .016  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    75 10000   .68   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    880    4500 14000   1.2    .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c timeout 0 --- inspect 900    450    74 9700   .44   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    850    5000 10000   1.5    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    75 9400   .73   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    480    84 9800   30000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .020 5.6 0    0  
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    75 7000   .012  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    2000 9200   26000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .020 5.6 0    0  
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 0 --- inspect 900    450    75 11000   .49   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 0 wit inspect 380    330    4400 4300   .34   0      error (invalid witness file) 0 --- inspect 2.6  1.4  200 0   0   false(no-overflow) 1 --- inspect 6.9   4.3   300   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.7  200 0   0   error (1) 0 --- inspect .077  .077  11    0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 0 wit inspect 340    290    4200 3600   .39   0      error (invalid witness file) 0 --- inspect 2.6  1.4  190 0   0   true -32 --- inspect 7.7   4.3   300   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .081  .098  11    0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c timeout 0 --- inspect 900    880    4200 13000   2.3    0      error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect 1.1  .74 47 0   0   error (invalid witness file) 0 --- inspect .0038 .0049 .53 0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 0 wit inspect 770    720    4300 10000   .65   0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   true -32 --- inspect 6.6   3.7   300   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.6  200 0   0   error (1) 0 --- inspect .070  .070  11    0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c timeout 0 --- inspect 900    450    82 8900   .28   0      error (invalid witness file) 0 --- inspect .58 .36 41 0   0   error (2) 0 --- inspect .023 .025 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .60 47 0   0   error (invalid witness file) 0 --- inspect .0022 .0034 .53 0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 0 wit inspect 220    170    4400 2500   .30   0      error (invalid witness file) 0 --- inspect 2.4  1.3  190 0   0   false(no-overflow) 1 --- inspect 6.9   4.4   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .072  .073  11    0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 0 wit inspect 640    590    4200 7300   6.2    0      error (invalid witness file) 0 --- inspect 2.6  1.4  190 0   0   true -32 --- inspect 6.3   4.1   300   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  170 0   0   error (1) 0 --- inspect .10   .10   11    0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout 0 --- inspect 900    450    74 9300   .58   0      error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .59 47 0   0   error (invalid witness file) 0 --- inspect .0060 .0081 .53 0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c timeout 0 --- inspect 900    450    84 11000   4.1    0      error (invalid witness file) 0 --- inspect .68 .43 41 0   0   error (2) 0 --- inspect .051 .053 5.5 0     0   error (invalid witness file) 0 --- inspect .96 .63 48 0   0   error (invalid witness file) 0 --- inspect .0048 .0053 .40 0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c timeout 0 --- inspect 900    450    75 11000   1.2    0      error (invalid witness file) 0 --- inspect .61 .37 41 0   0   error (2) 0 --- inspect .022 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .60 47 0   0   error (invalid witness file) 0 --- inspect .0017 .0018 .40 0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout 0 --- inspect 900    450    74 8400   .52   0      error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .023 .024 5.7 0     0   error (invalid witness file) 0 --- inspect .99 .63 48 0   0   error (invalid witness file) 0 --- inspect .0047 .0060 .52 0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout 0 --- inspect 900    850    4200 7700   3.2    0      error (invalid witness file) 0 --- inspect .59 .36 40 0   0   error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .97 .62 48 0   0   error (invalid witness file) 0 --- inspect .0048 .0063 .53 0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 0 wit inspect 110    66    5000 1300   .078  0      error (invalid witness file) 0 --- inspect 2.6  1.5  200 0   0   false(no-overflow) 1 --- inspect 7.1   4.3   310   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  170 0   0   error (1) 0 --- inspect .10   .099  11    0   .0041 - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c timeout 0 --- inspect 900    450    83 9700   1.4    0      error (invalid witness file) 0 --- inspect .58 .36 41 0   0   error (2) 0 --- inspect .023 .024 5.6 0     0   error (invalid witness file) 0 --- inspect .91 .60 47 0   0   error (invalid witness file) 0 --- inspect .0058 .0073 .52 0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c timeout 0 --- inspect 900    450    83 10000   3.4    0      error (invalid witness file) 0 --- inspect .57 .36 41 0   0   error (2) 0 --- inspect .022 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .60 46 0   0   error (invalid witness file) 0 --- inspect .0052 .0067 .53 0   0      - --- inspect
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 0 wit inspect 340    290    4100 3700   .26   .0041 error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   true -32 --- inspect 6.9   3.8   310   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .10   .11   11    0   0      - --- inspect
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 0 wit inspect 570    570    190 8500   2.7    0      error (invalid witness file) 0 --- inspect 2.6  1.5  200 0   0   false(no-overflow) 1 --- inspect 9.0   5.4   310   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .10   .11   11    0   0      - --- inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .38 83 4.9 .057  0      error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.4   4.2   320   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  180 0   0   error (1) 0 --- inspect .10   .10   11    0   0      - --- inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 0 wit inspect 570    530    4200 8600   1.0    0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   true -32 --- inspect 7.0   3.9   300   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .071  .071  11    0   0      - --- inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c timeout 0 --- inspect 900    880    3900 14000   1.7    0      error (invalid witness file) 0 --- inspect .56 .35 40 0   0   error (2) 0 --- inspect .022 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .91 .58 47 0   0   error (invalid witness file) 0 --- inspect .0059 .0075 .54 0   0      - --- inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 0 wit inspect 770    730    4100 11000   .70   0      error (invalid witness file) 0 --- inspect 2.6  1.4  200 0   0   true -32 --- inspect 6.8   4.2   300   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  170 0   0   error (1) 0 --- inspect .078  .078  11    0   0      - --- inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 0 wit inspect 190    190    79 2700   .17   0      error (invalid witness file) 0 --- inspect 2.7  1.4  200 0   0   false(no-overflow) 1 --- inspect 7.7   4.4   310   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  210 0   0   error (1) 0 --- inspect .12   .14   11    0   0      - --- inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .39 82 4.5 .12   0      error (invalid witness file) 0 --- inspect 2.6  1.5  190 0   0   false(no-overflow) 1 --- inspect 7.0   4.5   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .072  .072  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 0 wit inspect .43 .41 80 5.2 .65   0      error (invalid witness file) 0 --- inspect 2.6  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.1   4.5   300   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .066  .066  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 0 wit inspect 72    72    88 980   2.6    0      error (invalid witness file) 0 --- inspect 2.5  1.3  190 0   0   true -32 --- inspect 9.8   5.6   330   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.6  200 0   0   error (1) 0 --- inspect .091  .090  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 0 wit inspect 15    15    81 210   1.2    0      error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.2   4.1   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .068  .068  12    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .39 83 4.3 .049  0      error (invalid witness file) 0 --- inspect 2.7  1.5  190 0   0   false(no-overflow) 1 --- inspect 6.6   3.7   300   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .075  .075  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 0 wit inspect .42 .40 84 4.4 .38   0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.0   4.4   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .098  .096  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 0 wit inspect .39 .37 83 4.8 .025  0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 6.7   3.8   290   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .076  .076  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .39 79 5.6 .28   0      error (invalid witness file) 0 --- inspect 2.6  1.4  190 0   0   false(no-overflow) 1 --- inspect 8.3   5.1   310   .66  0   error (invalid witness file) 0 --- inspect 2.7  1.6  190 0   0   error (1) 0 --- inspect .10   .12   11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 0 wit inspect .39 .38 79 5.2 .34   0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 6.6   4.1   300   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .075  .076  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c timeout 0 --- inspect 900    900    160 13000   .44   0      error (invalid witness file) 0 --- inspect .58 .37 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .91 .59 47 0   0   error (invalid witness file) 0 --- inspect .0064 .0082 .53 0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c timeout 0 --- inspect 900    900    84 12000   .86   0      error (invalid witness file) 0 --- inspect .57 .37 41 0   0   error (2) 0 --- inspect .020 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .58 48 0   0   error (invalid witness file) 0 --- inspect .0022 .0043 .54 0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .40 82 4.8 .025  .0082 error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.3   4.1   310   .62  0   error (invalid witness file) 0 --- inspect 3.0  1.7  180 0   0   error (1) 0 --- inspect .073  .073  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 0 wit inspect .43 .39 85 5.6 1.4    0      error (invalid witness file) 0 --- inspect 2.6  1.5  200 0   0   false(no-overflow) 1 --- inspect 6.6   3.8   300   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.6  200 0   0   error (1) 0 --- inspect .098  .095  11    0   .0041 - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 0 wit inspect .43 .41 83 5.1 .074  0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 8.0   4.4   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  170 0   0   error (1) 0 --- inspect .073  .074  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 0 wit inspect .44 .42 80 6.2 2.1    0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 9.2   5.5   310   .66  0   error (invalid witness file) 0 --- inspect 3.4  2.0  180 0   0   error (1) 0 --- inspect .078  .098  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c timeout 0 --- inspect 900    900    200 12000   66      0      error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .59 47 0   0   error (invalid witness file) 0 --- inspect .0064 .010  .53 0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 0 wit inspect .42 .41 83 4.3 .037  0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.2   4.5   310   .66  0   error (invalid witness file) 0 --- inspect 2.7  1.6  200 0   0   error (1) 0 --- inspect .075  .075  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c timeout 0 --- inspect 900    450    75 9800   .012  0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .020 .021 5.7 0     0   error (invalid witness file) 0 --- inspect .94 .61 48 0   0   error (invalid witness file) 0 --- inspect .0056 .0071 .53 0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 0 wit inspect 110    110    83 1400   1.4    0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 6.9   3.9   310   .66  0   error (invalid witness file) 0 --- inspect 3.2  1.8  180 0   0   error (1) 0 --- inspect .073  .073  12    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .38 83 6.2 .025  0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 6.5   4.1   300   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .077  .077  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 0 wit inspect .39 .37 82 5.6 .025  0      error (invalid witness file) 0 --- inspect 2.6  1.5  200 0   0   false(no-overflow) 1 --- inspect 7.0   3.9   300   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .066  .066  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c timeout 0 --- inspect 900    850    78 11000   1.4    0      error (invalid witness file) 0 --- inspect .57 .36 40 0   0   error (2) 0 --- inspect .022 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .98 .62 48 0   0   error (invalid witness file) 0 --- inspect .0015 .0021 .53 0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 0 wit inspect 250    170    77 2800   .016  0      error (invalid witness file) 0 --- inspect 2.3  1.3  200 0   0   false(no-overflow) 1 --- inspect 6.7   4.1   290   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  170 0   0   error (1) 0 --- inspect .069  .086  12    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 0 wit inspect 3.1  3.1  79 40   .30   0      error (invalid witness file) 0 --- inspect 3.1  1.7  200 0   0   false(no-overflow) 1 --- inspect 6.5   4.1   300   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .081  .080  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 0 wit inspect .42 .40 79 5.6 .37   0      error (invalid witness file) 0 --- inspect 2.6  1.5  190 0   0   false(no-overflow) 1 --- inspect 6.7   4.3   310   .62  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .066  .066  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c timeout 0 --- inspect 900    850    78 11000   .13   0      error (invalid witness file) 0 --- inspect .64 .40 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .61 47 0   0   error (invalid witness file) 0 --- inspect .0042 .0055 .52 0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c timeout 0 --- inspect 900    600    4300 9800   19000      .0082 error (invalid witness file) 0 --- inspect .57 .35 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .99 .63 47 0   0   error (invalid witness file) 0 --- inspect .0049 .0059 .53 0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .39 82 4.2 .025  0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 6.4   3.7   310   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.7  200 0   0   error (1) 0 --- inspect .098  .098  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 0 wit inspect .39 .38 83 4.2 .025  0      error (invalid witness file) 0 --- inspect 2.6  1.4  200 0   0   false(no-overflow) 1 --- inspect 6.9   4.4   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .089  .088  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .38 82 5.8 .12   0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.1   4.4   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .075  .076  12    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .38 79 5.4 .17   0      error (invalid witness file) 0 --- inspect 2.6  1.4  200 0   0   false(no-overflow) 1 --- inspect 6.9   3.9   310   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .065  .065  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .39 83 4.5 .28   0      error (invalid witness file) 0 --- inspect 2.6  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.7   4.3   310   .62  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .071  .081  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 0 wit inspect 530    430    78 7100   .96   0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 6.8   4.3   300   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  180 0   0   error (1) 0 --- inspect .066  .066  12    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 0 wit inspect 330    330    100 4800   2.9    0      error (invalid witness file) 0 --- inspect 2.6  1.4  200 0   0   false(no-overflow) 1 --- inspect 7.1   4.0   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .088  .094  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 0 wit inspect 270    270    630 2700   2.1    0      error (invalid witness file) 0 --- inspect 2.9  1.6  200 0   0   true -32 --- inspect 6.8   3.9   310   .62  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .079  .079  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 0 wit inspect 150    110    77 2200   .049  0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.1   4.0   310   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .077  .078  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 0 wit inspect .42 .40 79 4.7 .66   0      error (invalid witness file) 0 --- inspect 2.6  1.4  200 0   0   false(no-overflow) 1 --- inspect 7.4   4.4   310   .66  0   error (invalid witness file) 0 --- inspect 2.7  1.6  200 0   0   error (1) 0 --- inspect .072  .071  11    0   0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 0 wit inspect 740    690    77 9600   .070  0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 6.4   3.6   310   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  170 0   0   error (1) 0 --- inspect .068  .067  11    0   0      - --- inspect
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c timeout 0 --- inspect 900    450    83 9300   2.8    0      error (invalid witness file) 0 --- inspect .59 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect 1.0  .65 48 0   0   error (invalid witness file) 0 --- inspect .0056 .0069 .53 0   0      - --- inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c timeout 0 --- inspect 900    750    83 11000   1.1    0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .95 .60 47 0   0   error (invalid witness file) 0 --- inspect .0048 .0060 .52 0   0      - --- inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c timeout 0 --- inspect 900    900    82 12000   .68   0      error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .021 .023 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .61 47 0   0   error (invalid witness file) 0 --- inspect .0060 .0078 .53 0   0      - --- inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 0 wit inspect 250    220    670 3300   .30   .0041 error (invalid witness file) 0 --- inspect 2.6  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.8   4.8   320   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .10   .10   11    0   0      - --- inspect
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 0 wit inspect 330    280    4100 3800   1.2    0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.9   4.4   310   .62  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .069  .070  11    0   0      - --- inspect
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 0 wit inspect 180    120    78 2000   .029  0      error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   false(no-overflow) 1 --- inspect 11     6.7   380   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.6  200 0   0   error (1) 0 --- inspect .075  .075  11    0   0      - --- inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 0 wit inspect 93    93    78 1200   1.1    0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 7.0   4.0   300   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .066  .067  11    0   0      - --- inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c timeout 0 --- inspect 900    900    77 12000   .016  0      error (invalid witness file) 0 --- inspect .57 .36 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .59 47 0   0   error (invalid witness file) 0 --- inspect .0059 .0076 .54 0   0      - --- inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .40 82 5.9 .033  0      error (invalid witness file) 0 --- inspect 2.6  1.5  190 0   0   false(no-overflow) 1 --- inspect 6.8   4.3   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .080  .080  11    0   0      - --- inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .38 79 4.9 .25   0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.1   4.4   300   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .073  .082  11    0   0      - --- inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .40 83 5.0 .025  0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 8.0   5.1   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  180 0   0   error (1) 0 --- inspect .069  .097  11    0   .0082 - --- inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 0 wit inspect .39 .37 83 6.4 .025  0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.5   4.3   310   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .085  .086  11    0   0      - --- inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c false(no-overflow) 0 wit inspect 48    48    120 620   .15   0      error (invalid witness file) 0 --- inspect 2.4  1.3  190 0   0   false(no-overflow) 1 --- inspect 7.0   4.4   300   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .099  .11   11    0   0      - --- inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 0 wit inspect 59    59    140 690   .66   0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.6   4.3   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.6  200 0   0   error (1) 0 --- inspect .085  .085  11    0   0      - --- inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c timeout 0 --- inspect 900    750    78 11000   .50   0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect 1.2  .76 47 0   0   error (invalid witness file) 0 --- inspect .0055 .0071 .53 0   0      - --- inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c timeout 0 --- inspect 900    450    74 11000   .76   0      error (invalid witness file) 0 --- inspect .61 .38 41 0   0   error (2) 0 --- inspect .021 .022 5.8 0     0   error (invalid witness file) 0 --- inspect 1.0  .67 47 0   0   error (invalid witness file) 0 --- inspect .0023 .0030 .53 0   0      - --- inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 0 wit inspect .42 .39 80 5.3 .65   0      error (invalid witness file) 0 --- inspect 2.6  1.4  200 0   0   false(no-overflow) 1 --- inspect 6.9   3.9   300   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  180 0   0   error (1) 0 --- inspect .073  .074  11    0   0      - --- inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 0 wit inspect 320    220    77 3700   .029  0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 6.6   3.7   290   .62  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .069  .069  11    0   0      - --- inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .39 82 4.9 .025  0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 6.9   3.9   300   .66  0   error (invalid witness file) 0 --- inspect 3.7  2.1  200 0   0   error (1) 0 --- inspect .093  .089  11    0   0      - --- inspect
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 0 wit inspect .39 .37 83 4.5 .025  0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 6.7   3.8   310   .66  0   error (invalid witness file) 0 --- inspect 3.6  2.0  180 0   0   error (1) 0 --- inspect .067  .066  11    0   0      - --- inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c timeout 0 --- inspect 900    740    78 11000   .14   0      error (invalid witness file) 0 --- inspect .60 .37 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .94 .61 47 0   0   error (invalid witness file) 0 --- inspect .0018 .0024 .53 0   0      - --- inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 0 wit inspect .44 .42 83 5.1 .041  0      error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.3   4.6   300   .62  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .074  .074  11    0   0      - --- inspect
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c timeout 0 --- inspect 900    450    83 10000   .79   0      error (invalid witness file) 0 --- inspect .59 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect 1.0  .67 48 0   0   error (invalid witness file) 0 --- inspect .0049 .0065 .53 0   0      - --- inspect
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) 0 wit inspect .39 .38 83 4.7 .025  0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 7.8   4.4   310   .66  0   error (invalid witness file) 0 --- inspect 3.2  1.8  170 0   0   error (1) 0 --- inspect .070  .070  11    0   0      - --- inspect
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 0 wit inspect 140    93    4600 1400   .39   0      error (invalid witness file) 0 --- inspect 2.5  1.4  190 0   0   false(no-overflow) 1 --- inspect 8.6   4.8   320   .62  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .067  .067  12    0   0      - --- inspect
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) 0 wit inspect 140    91    4900 1600   .38   0      error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.8   4.9   310   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  180 0   0   error (1) 0 --- inspect .071  .071  12    0   0      - --- inspect
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 0 wit inspect 140    93    4100 1700   .44   0      error (invalid witness file) 0 --- inspect 2.5  1.4  200 0   0   false(no-overflow) 1 --- inspect 8.1   5.0   310   .66  0   error (invalid witness file) 0 --- inspect 3.1  1.8  180 0   0   error (1) 0 --- inspect .10   .10   11    0   0      - --- inspect
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c timeout 0 --- inspect 900    900    83 12000   .17   0      error (invalid witness file) 0 --- inspect .58 .37 41 0   0   error (2) 0 --- inspect .021 .022 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .59 47 0   0   error (invalid witness file) 0 --- inspect .0019 .0024 .41 0   0      - --- inspect
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .38 79 3.8 .41   0      error (invalid witness file) 0 --- inspect 2.6  1.4  200 0   0   false(no-overflow) 1 --- inspect 8.6   4.8   310   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .073  .073  12    0   0      - --- inspect
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) 0 wit inspect 28    25    760 330   140      .0041 error (invalid witness file) 0 --- inspect 2.7  1.5  200 0   0   false(no-overflow) 1 --- inspect 8.2   4.8   310   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .075  .075  11    0   .0041 - --- inspect
termination-crafted-lit/gcd1_false-no-overflow.c timeout 0 --- inspect 900    450    75 11000   4.9    0      error (invalid witness file) 0 --- inspect .57 .35 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .92 .58 47 0   0   error (invalid witness file) 0 --- inspect .0023 .0067 .50 0   0      - --- inspect
termination-crafted-lit/joey_false-no-overflow.c timeout 0 --- inspect 900    900    120 9700   .025  0      error (invalid witness file) 0 --- inspect .60 .38 41 0   0   error (2) 0 --- inspect .021 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .93 .60 47 0   0   error (invalid witness file) 0 --- inspect .0016 .0026 .40 0   0      - --- inspect
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) 0 wit inspect .40 .38 82 4.6 .025  0      error (invalid witness file) 0 --- inspect 2.6  1.4  190 0   0   false(no-overflow) 1 --- inspect 8.6   5.2   310   .66  0   error (invalid witness file) 0 --- inspect 2.8  1.6  200 0   0   error (1) 0 --- inspect .073  .074  11    0   0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    850    4400 6900   1.1    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.5 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 10000   .016  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    2100 10000   27000      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 9400   .29   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 8600   .22   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 8700   .54   .13   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .022 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 0 --- inspect 900    850    4200 7400   3.1    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .028 .028 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c timeout 0 --- inspect 900    800    4300 6400   5500      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .022 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 9900   1.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.7 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 9200   .46   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    84 11000   11      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    83 10000   1.7    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 10000   .016  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .019 .021 5.7 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 10000   1.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .036 5.7 0    0  
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 9800   1.4    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c timeout 0 --- inspect 900    450    83 9400   .14   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    86 9000   40      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.7 0    0  
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    77 9600   .074  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.8 0    0  
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 9600   .18   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    250 8800   4300      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    2100 9900   27000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 9400   .30   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 0 --- inspect 900    850    4000 7600   1.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c timeout 0 --- inspect 900    800    4300 6500   5500      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .024 .026 5.8 0    0  
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c killed by signal 9 0 --- inspect 890    840    4500 8700   .59   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.7 0    0  
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c timeout 0 --- inspect 900    460    4300 9400   28000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .020 5.6 0    0  
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    83 10000   1.7    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .020 5.6 0    0  
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    850    4100 8900   1.7    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c killed by signal 9 0 --- inspect 590    540    5000 6800   .77   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c killed by signal 9 0 --- inspect 590    540    5300 7000   1.3    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    82 9600   .39   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 10000   .26   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .020 5.6 0    0  
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    83 10000   1.8    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.7 0    0  
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c timeout 0 --- inspect 900    450    84 8700   25000      .14   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.7 0    0  
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    850    5300 8300   2.0    .13   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c timeout 0 --- inspect 900    850    4200 8300   2.9    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.7 0    0  
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    230 10000   3900      0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .019 .020 5.6 0    0  
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 10000   1.0    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    74 9100   .23   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c timeout 0 --- inspect 900    590    4200 9900   20000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .025 .026 5.7 0    0  
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout 0 --- inspect 900    850    4700 8000   .41   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c timeout 0 --- inspect 900    850    4800 7400   1.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .022 5.6 0    0  
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    82 9500   .52   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    560    4300 9800   21000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.7 0    0  
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c timeout 0 --- inspect 900    900    2200 7200   9.0    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c timeout 0 --- inspect 900    900    2100 13000   4.6    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .024 .025 5.6 0    0  
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    76 11000   6.3    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .020 5.6 0    0  
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    82 9900   1.3    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .023 5.6 0    0  
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c timeout 0 --- inspect 900    460    2100 9700   27000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 9700   .19   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    74 10000   .18   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .024 5.6 0    0  
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    74 9700   .016  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c killed by signal 9 0 --- inspect 830    780    4500 11000   1.6    .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .020 5.6 0    0  
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 9500   .012  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .024 .026 5.7 0    0  
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 8600   .037  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.7 0    0  
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    82 8700   .28   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.7 0    0  
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c timeout 0 --- inspect 900    850    4400 9100   2.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c timeout 0 --- inspect 900    450    84 9800   .93   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/aviad_true-termination_true-no-overflow.c timeout 0 --- inspect 900    460    2100 12000   27000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .019 .020 5.6 0    0  
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true 2 wit inspect 73    51    5500 770   1600      .0082 - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.6   4.9   310   .66 0  
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c true 2 wit inspect 62    43    5000 770   1400      .0082 - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.9   4.9   310   .66 0  
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c true 2 wit inspect 75    45    4500 720   1900      .0041 - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.6   4.4   310   .62 0  
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true 2 wit inspect 74    48    5800 790   1300      .0041 - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.8   4.4   310   .66 0  
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c true 2 wit inspect 61    42    5700 790   1100      .0041 - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 8.4   4.8   310   .66 0  
termination-crafted-lit/genady_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    76 9400   6300      .14   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/strchr_true-no-overflow_true-termination.c true 2 wit inspect 130    99    5000 1300   1700      .0082 - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 8.6   4.8   370   .66 41  
termination-numeric/Addition01_false-no-overflow.c false(no-overflow) 0 wit inspect 21    21    91 250   .11   0      error (invalid witness file) 0 --- inspect 2.6  1.4  200 0   0   true -32 --- inspect 6.8   3.9   300   .66  0   error (invalid witness file) 0 --- inspect 3.0  1.7  200 0   0   error (1) 0 --- inspect .094  .11   11    0   0      - --- inspect
termination-numeric/Avg_true_false-no-overflow.c timeout 0 --- inspect 900    900    2100 7700   .46   0      error (invalid witness file) 0 --- inspect .68 .42 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .99 .64 48 0   0   error (invalid witness file) 0 --- inspect .0021 .0026 .52 0   0      - --- inspect
termination-numeric/Binomial_true-termination_false-no-overflow.c false(no-overflow) 0 wit inspect .42 .40 83 5.2 .025  0      error (invalid witness file) 0 --- inspect 2.4  1.4  190 0   0   true -32 --- inspect 8.4   4.8   310   .66  0   error (invalid witness file) 0 --- inspect 3.6  2.0  200 0   0   error (1) 0 --- inspect .075  .075  11    0   0      - --- inspect
termination-numeric/Et1_true_false-no-overflow.c false(no-overflow) 0 wit inspect .41 .39 83 4.9 .045  0      error (invalid witness file) 0 --- inspect 2.6  1.4  190 0   0   false(no-overflow) 1 --- inspect 8.2   4.6   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.6  200 0   0   error (1) 0 --- inspect .074  .074  11    0   0      - --- inspect
termination-numeric/Et2_true_false-no-overflow.c timeout 0 --- inspect 900    900    1500 8900   81      0      error (invalid witness file) 0 --- inspect .58 .35 41 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .91 .60 46 0   0   error (invalid witness file) 0 --- inspect .0022 .0028 .52 0   0      - --- inspect
termination-numeric/Et3_true_false-no-overflow.c false(no-overflow) 0 wit inspect .42 .40 83 4.8 .025  0      error (invalid witness file) 0 --- inspect 2.6  1.4  190 0   0   false(no-overflow) 1 --- inspect 7.4   4.0   310   .66  0   error (invalid witness file) 0 --- inspect 3.3  1.9  180 0   0   error (1) 0 --- inspect .098  .098  11    0   0      - --- inspect
termination-numeric/Et4_true_false-no-overflow.c timeout 0 --- inspect 900    900    1800 8300   4.6    0      error (invalid witness file) 0 --- inspect .58 .36 40 0   0   error (2) 0 --- inspect .020 .021 5.6 0     0   error (invalid witness file) 0 --- inspect .89 .58 47 0   0   error (invalid witness file) 0 --- inspect .0061 .0078 .53 0   0      - --- inspect
termination-numeric/MultCommutative_false-no-overflow.c false(no-overflow) 0 wit inspect 49    49    200 570   .41   0      error (invalid witness file) 0 --- inspect 2.6  1.4  200 0   0   true -32 --- inspect 7.5   4.7   310   .66  0   error (invalid witness file) 0 --- inspect 2.9  1.7  200 0   0   error (1) 0 --- inspect .096  .094  11    0   .0041 - --- inspect
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c timeout 0 --- inspect 900    900    210 11000   .10   0      error (invalid witness file) 0 --- inspect .60 .36 41 0   0   error (2) 0 --- inspect .025 .027 5.7 0     0   error (invalid witness file) 0 --- inspect .92 .60 47 0   0   error (invalid witness file) 0 --- inspect .0057 .0074 .41 0   0      - --- inspect
termination-numeric/Ackermann01_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    150 9900   800      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .023 5.7 0    0  
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c timeout 0 --- inspect 900    900    1900 11000   1.1    .13   - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c timeout 0 --- inspect 900    900    1300 10000   .22   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.8 0    0  
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c timeout 0 --- inspect 900    900    770 8700   .96   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.6 0    0  
termination-numeric/LogRecursive_true-termination_true-no-overflow.c timeout 0 --- inspect 900    460    4300 10000   27000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-numeric/Parts_true-termination_true-no-overflow.c timeout 0 --- inspect 900    450    75 9000   .016  0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-numeric/TwoWay_true-termination_true-no-overflow.c timeout 0 --- inspect 900    900    680 11000   .54   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-numeric/gcd01_true-termination_true-no-overflow.c timeout 0 --- inspect 900    900    93 13000   .80   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c timeout 0 --- inspect 900    460    2000 9300   26000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .019 .020 5.6 0    0  
termination-numeric/recHanoi02_true-termination_true-no-overflow.c timeout 0 --- inspect 900    470    2200 12000   28000      .0082 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .036 .039 5.6 0    0  
termination-numeric/rec_counter1_true-termination_true-no-overflow.c timeout 0 --- inspect 900    900    1100 10000   2.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .024 5.8 0    0  
termination-numeric/rec_counter3_true-termination_true-no-overflow.c timeout 0 --- inspect 900    900    1100 8600   2.2    0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .023 5.6 0    0  
termination-numeric/twisted_true-termination_true-no-overflow.c timeout 0 --- inspect 900    760    78 11000   .68   0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
sv-benchmarks/c/ status score witness inspect witness cpu (s) wall (s) mem (MB) energy (J) blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB) status score witness inspect witness cpu (s) wall (s) mem (MB) energy blkio-w (MB) blkio-r (MB)
total 280 12 160000 110000 310000 1800000 680000 .93  158 0 310 180 24000 0   0   158 -482 840 500 35000 72 0   158 0 370 220 24000 0   0   158 0 9.3 9.5 1300 0   .061 122 12 50 31 2600 3.9 41
    correct results 6 12 470 330 31000 5200 9000 .037 0 94 94 710 420 29000 60 0   0 0 6 12 48 28 1900 3.9 41
        correct true 6 12 470 330 31000 5200 9000 .037 0 0 0 0 6 12 48 28 1900 3.9 41
        correct false 0 0 94 94 710 420 29000 60 0   0 0 0
    correct-unconfimed results 112 0 13000 12000 89000 170000 240 .029 0 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0 0
        correct-unconfirmed false 112 0 13000 12000 89000 170000 240 .029 0 0 0 0 0
    incorrect results 0 0 18 -576 140 79 5600 12 0   0 0 0
        incorrect true 0 0 18 -576 140 79 5600 12 0   0 0 0
        incorrect false 0 0 0 0 0 0
score (280 tasks, max score: 402) 12 0 -482 0 0 12
Run set map2check.sv-comp19_prop-nooverflow.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-map2check.sv-comp19_prop-nooverflow.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-map2check.sv-comp19_prop-nooverflow.NoOverflows-BitVectors cpa-witness2test-validate-violation-witnesses-map2check.sv-comp19_prop-nooverflow.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-map2check.sv-comp19_prop-nooverflow.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-map2check.sv-comp19_prop-nooverflow.NoOverflows-BitVectors