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