Tool symbiotic 6.0.3-77d4af47 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* [apollon013; apollon098] 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-07 21:42:05 CET 2018-12-08 23:40:56 CET 2018-12-09 00:46:04 CET 2018-12-09 01:29:54 CET 2018-12-12 21:10:03 CET 2018-12-08 23:47:25 CET
Run set symbiotic.sv-comp19_prop-nooverflow.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-symbiotic.sv-comp19_prop-nooverflow.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-symbiotic.sv-comp19_prop-nooverflow.NoOverflows-BitVectors cpa-witness2test-validate-violation-witnesses-symbiotic.sv-comp19_prop-nooverflow.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-symbiotic.sv-comp19_prop-nooverflow.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-symbiotic.sv-comp19_prop-nooverflow.NoOverflows-BitVectors
Options --witness witness.graphml -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/symbiotic.2018-12-07_2142.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/symbiotic.2018-12-07_2142.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/symbiotic.2018-12-07_2142.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --graphml-witness ../../results-verified/symbiotic.2018-12-07_2142.logfiles/${rundefinition_name}.${inputfile_name}.files/witness.graphml --full-output --validate ../../results-verified/symbiotic.2018-12-07_2142.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 false(no-overflow) 1 wit inspect .21 .20 15 2.3 0     0      false(no-overflow) 1 wit inspect 4.4  2.4  250 0   0      false(no-overflow) 1 --- inspect 7.9   4.4   300   .62 0   unknown 0 --- inspect 4.3  2.5  250 0   .074  true -32 --- inspect .63   .62   20    .057 0      - --- inspect
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) 1 wit inspect .19 .18 16 1.9 0     0      false(no-overflow) 1 wit inspect 4.9  2.6  260 0   0      false(no-overflow) 1 --- inspect 8.3   4.6   310   .62 0   unknown 0 --- inspect 4.2  2.4  250 0   0      true -32 --- inspect .64   .64   20    .057 0      - --- inspect
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) 1 wit inspect .21 .21 16 2.3 0     0      false(no-overflow) 1 wit inspect 5.6  3.0  250 0   0      false(no-overflow) 1 --- inspect 7.9   4.7   310   .62 0   unknown 0 --- inspect 4.4  2.6  260 0   0      true -32 --- inspect .63   .63   20    .057 0      - --- inspect
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) 1 wit inspect .19 .19 16 2.6 0     0      false(no-overflow) 1 wit inspect 5.1  2.8  250 0   0      false(no-overflow) 1 --- inspect 7.5   4.6   310   .62 0   unknown 0 --- inspect 4.1  2.4  250 0   .074  true -32 --- inspect .62   .62   20    .057 0      - --- inspect
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) 1 wit inspect .19 .18 16 2.1 0     0      false(no-overflow) 1 wit inspect 4.9  2.7  260 0   0      false(no-overflow) 1 --- inspect 8.2   5.0   310   .62 0   unknown 0 --- inspect 4.3  2.5  250 0   0      true -32 --- inspect .62   .63   20    .057 0      - --- inspect
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect .19 .18 16 2.1 0     0      false(no-overflow) 1 wit inspect 4.9  2.7  260 0   0      false(no-overflow) 1 --- inspect 8.3   4.7   310   .66 0   unknown 0 --- inspect 4.2  2.4  260 0   .36   false(no-overflow) 1 --- inspect .63   .63   20    .057 .016  - --- inspect
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect .20 .19 16 2.3 0     0      false(no-overflow) 1 wit inspect 4.7  2.5  260 0   0      false(no-overflow) 1 --- inspect 7.4   4.5   310   .62 0   unknown 0 --- inspect 4.1  2.4  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .057 .016  - --- inspect
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect .18 .18 17 2.0 0     0      false(no-overflow) 1 wit inspect 4.8  2.6  260 0   0      false(no-overflow) 1 --- inspect 7.8   4.5   310   .62 0   unknown 0 --- inspect 4.4  2.5  280 0   0      false(no-overflow) 1 --- inspect .64   .64   20    .057 0      - --- inspect
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) 1 wit inspect .21 .20 17 2.1 0     0      false(no-overflow) 1 wit inspect 5.9  3.2  250 0   0      false(no-overflow) 1 --- inspect 7.5   4.3   310   .62 0   unknown 0 --- inspect 4.3  2.4  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .057 0      - --- inspect
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) 1 wit inspect .18 .18 15 2.5 0     0      false(no-overflow) 1 wit inspect 5.1  2.8  260 0   .057  false(no-overflow) 1 --- inspect 7.7   4.4   300   .62 0   unknown 0 --- inspect 4.2  2.4  250 0   0      true -32 --- inspect .65   .65   20    .057 0      - --- inspect
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true 2 wit inspect .14 .14 15 1.7 0     .28   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.6   4.6   310   .62 0  
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i true 2 wit inspect .17 .16 16 2.1 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 11     6.0   310   .66 0  
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true 2 wit inspect .15 .14 16 2.0 0     .28   - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.5   4.5   300   .66 0  
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true 2 wit inspect .16 .15 16 1.9 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.6   4.2   310   .62 0  
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true 2 wit inspect .15 .15 16 2.4 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 8.2   4.6   310   .66 0  
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 2.7 0     0      false(no-overflow) 1 wit inspect 4.3  2.3  250 0   0      true -32 --- inspect 6.5   4.1   290   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) 1 wit inspect .26 .26 18 2.3 0     0      false(no-overflow) 1 wit inspect 3.6  2.1  260 0   10      true -32 --- inspect 7.1   3.9   310   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .049 0      - --- inspect
termination-crafted/Ackermann_false-no-overflow.c false(no-overflow) 1 wit inspect .28 .28 18 3.3 0     0      timeout 0 --- inspect 91    78    1100 0   0      true -32 --- inspect 6.7   4.3   310   .62 0   false(no-overflow) 1 --- inspect 4.5  2.7  250 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .049 0      - --- inspect
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 18 3.3 0     0      false(no-overflow) 1 wit inspect 3.8  2.1  250 0   0      true -32 --- inspect 7.2   3.9   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.0  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 18 3.3 0     0      false(no-overflow) 1 wit inspect 4.0  2.2  250 0   0      true -32 --- inspect 6.7   3.8   290   .62 0   false(no-overflow) 1 --- inspect 3.5  2.0  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) 1 wit inspect .26 .25 17 2.7 0     0      false(no-overflow) 1 wit inspect 4.8  2.7  250 0   0      true -32 --- inspect 6.7   4.1   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted/Binary_Search_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 19 2.8 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  250 0   0      true -32 --- inspect 6.6   3.8   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.0  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .049 0      - --- inspect
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) 1 wit inspect .25 .24 18 2.6 0     0      false(no-overflow) 1 wit inspect 4.8  2.7  260 0   0      true -32 --- inspect 6.3   3.6   290   .62 0   unknown 0 --- inspect 4.0  2.4  250 0   0      true -32 --- inspect .58   .58   20    .045 0      - --- inspect
termination-crafted/Cairo_step2_false-no-overflow.c timeout (verification) 0 --- inspect 900    900    260 11000   .025 0      error (invalid witness file) 0 --- inspect .59 .38 40 0   0      error (2) 0 --- inspect .021 .022 5.6 0    0   error (invalid witness file) 0 --- inspect .93 .60 48 0   0      error (invalid witness file) 0 --- inspect .0053 .0064 .40 0     0      - --- inspect
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 18 2.8 0     0      false(no-overflow) 1 wit inspect 5.5  3.2  260 0   0      true -32 --- inspect 6.7   3.8   310   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .58   .58   20    .045 0      - --- inspect
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .21 17 2.8 0     0      false(no-overflow) 1 wit inspect 4.0  2.2  250 0   0      true -32 --- inspect 6.8   3.8   310   .62 0   false(no-overflow) 1 --- inspect 3.4  2.0  250 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 18 2.9 0     0      false(no-overflow) 1 wit inspect 4.9  2.7  260 0   0      true -32 --- inspect 6.7   4.2   300   .62 0   false(no-overflow) 1 --- inspect 4.3  2.5  250 0   0      false(no-overflow) 1 --- inspect .59   .61   20    .049 0      - --- inspect
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 17 2.0 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  250 0   0      true -32 --- inspect 7.1   4.4   300   .66 0   false(no-overflow) 1 --- inspect 3.7  2.1  250 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .049 0      - --- inspect
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 2.8 0     0      false(no-overflow) 1 wit inspect 3.6  2.0  250 0   0      true -32 --- inspect 6.6   4.2   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .045 0      - --- inspect
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 19 2.8 0     .28   false(no-overflow) 1 wit inspect 3.9  2.2  250 0   0      true -32 --- inspect 6.7   4.2   310   .28 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .045 0      - --- inspect
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 2.8 0     0      false(no-overflow) 1 wit inspect 4.8  2.7  250 0   0      true -32 --- inspect 7.3   4.0   300   .62 0   false(no-overflow) 1 --- inspect 3.7  2.1  250 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .22 19 2.7 0     0      false(no-overflow) 1 wit inspect 3.8  2.1  250 0   0      true -32 --- inspect 6.7   3.8   290   .62 0   false(no-overflow) 1 --- inspect 3.7  2.2  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.8 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  250 0   0      true -32 --- inspect 7.2   4.0   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted/NestedRecursion_1a_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 18 3.3 0     0      false(no-overflow) 1 wit inspect 3.6  2.0  250 0   0      true -32 --- inspect 7.5   4.6   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .049 0      - --- inspect
termination-crafted/NestedRecursion_2a_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 18 2.5 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  260 0   0      true -32 --- inspect 6.5   3.8   310   .62 0   false(no-overflow) 1 --- inspect 3.9  2.3  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .045 0      - --- inspect
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .21 19 2.6 0     0      false(no-overflow) 1 wit inspect 4.0  2.3  260 0   0      true -32 --- inspect 6.8   3.8   300   .66 0   false(no-overflow) 1 --- inspect 3.8  2.2  250 0   0      false(no-overflow) 1 --- inspect .60   .62   20    .045 0      - --- inspect
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 2.7 0     0      false(no-overflow) 1 wit inspect 4.7  2.8  280 0   0      true -32 --- inspect 6.9   3.9   300   .62 0   false(no-overflow) 1 --- inspect 3.7  2.2  250 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) 1 wit inspect .18 .17 16 2.0 0     0      timeout 0 wit inspect 92    84    910 0   0      true -32 --- inspect 7.7   4.9   320   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .22 17 2.5 0     0      false(no-overflow) 1 wit inspect 3.5  2.0  240 0   0      true -32 --- inspect 6.6   3.7   290   .62 0   false(no-overflow) 1 --- inspect 3.4  2.0  240 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .27 20 2.5 0     2.4    false(no-overflow) 1 wit inspect 3.9  2.2  250 0   0      true -32 --- inspect 6.8   3.8   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted/NonTerminationSimple4_false-no-overflow.c false(no-overflow) 1 wit inspect .21 .21 18 3.0 0     0      timeout 0 wit inspect 93    81    1600 0   .0041 true -32 --- inspect 6.8   3.8   300   .62 0   false(no-overflow) 1 --- inspect 11    9.9  250 0   0      false(no-overflow) 1 --- inspect 5.3    5.3    20    .045 0      - --- inspect
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .27 18 2.8 0     .28   false(no-overflow) 1 wit inspect 4.0  2.3  250 0   0      true -32 --- inspect 6.7   3.9   310   .62 0   unknown 0 --- inspect 3.8  2.2  250 0   .0041 false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 17 4.6 0     0      false(no-overflow) 1 wit inspect 4.7  2.6  250 0   0      true -32 --- inspect 6.5   3.7   300   .62 0   false(no-overflow) 1 --- inspect 3.9  2.3  240 0   .70   false(no-overflow) 1 --- inspect .61   .61   20    .045 .0041 - --- inspect
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) 1 wit inspect .26 .26 17 2.8 0     0      false(no-overflow) 1 wit inspect 3.8  2.1  250 0   0      true -32 --- inspect 7.0   4.0   300   .62 0   unknown 0 --- inspect 3.7  2.2  250 0   .0041 false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .21 18 3.2 0     0      false(no-overflow) 1 wit inspect 3.9  2.2  250 0   0      true -32 --- inspect 6.9   3.8   300   .50 0   unknown 0 --- inspect 3.8  2.3  250 0   0      true -32 --- inspect .59   .61   20    .045 0      - --- inspect
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .25 23 2.7 0     4.9    false(no-overflow) 1 wit inspect 4.1  2.3  250 0   0      true -32 --- inspect 6.9   4.4   310   .66 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .59   20    .045 0      - --- inspect
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 17 2.7 0     0      false(no-overflow) 1 wit inspect 3.9  2.2  260 0   0      true -32 --- inspect 7.3   4.0   310   .62 0   unknown 0 --- inspect 3.6  2.2  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted/RecursiveMultiplication_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .26 18 3.0 0     0      false(no-overflow) 1 wit inspect 4.4  2.5  270 0   0      true -32 --- inspect 6.7   3.8   300   .62 0   false(no-overflow) 1 --- inspect 3.7  2.1  250 0   .0041 false(no-overflow) 1 --- inspect .61   .61   20    .049 0      - --- inspect
termination-crafted/RecursiveNonterminating_false-no-overflow.c false(no-overflow) 1 wit inspect .28 .29 22 2.3 0     5.0    false(no-overflow) 1 wit inspect 3.7  2.0  250 0   0      true -32 --- inspect 6.8   4.3   300   .62 0   false(no-overflow) 1 --- inspect 3.8  2.2  250 0   0      false(no-overflow) 1 --- inspect .60   .62   20    .049 0      - --- inspect
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 17 2.7 0     0      false(no-overflow) 1 wit inspect 4.2  2.4  250 0   0      true -32 --- inspect 6.8   4.2   300   .62 0   false(no-overflow) 1 --- inspect 3.7  2.2  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .045 0      - --- inspect
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) 1 wit inspect .25 .24 18 2.7 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  250 0   0      true -32 --- inspect 8.1   4.4   310   .62 0   false(no-overflow) 1 --- inspect 3.4  2.0  250 0   .0041 false(no-overflow) 1 --- inspect .61   .61   20    .045 .0041 - --- inspect
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .22 18 2.8 0     0      false(no-overflow) 1 wit inspect 4.5  2.5  260 0   0      true -32 --- inspect 8.1   4.3   310   .66 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .61   20    .045 0      - --- inspect
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .22 18 2.4 0     0      false(no-overflow) 1 wit inspect 4.3  2.4  250 0   0      true -32 --- inspect 7.1   4.0   310   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .21 19 2.5 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  250 0   0      true -32 --- inspect 7.0   4.4   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.7 0     0      false(no-overflow) 1 wit inspect 4.3  2.4  250 0   .020  true -32 --- inspect 6.8   3.8   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.0  250 0   0      false(no-overflow) 1 --- inspect .64   .64   20    .045 0      - --- inspect
termination-crafted/Thun_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 2.7 0     0      false(no-overflow) 1 wit inspect 4.8  2.7  250 0   0      true -32 --- inspect 7.5   4.1   310   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 18 2.9 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  250 0   0      true -32 --- inspect 6.7   3.9   310   .62 0   unknown 0 --- inspect 3.6  2.2  250 0   0      false(no-overflow) 1 --- inspect 5.5    5.5    20    .045 0      - --- inspect
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) 1 wit inspect .26 .25 18 3.4 0     0      false(no-overflow) 1 wit inspect 4.4  2.5  260 0   0      true -32 --- inspect 7.3   4.6   300   .62 0   unknown 0 --- inspect 4.7  2.8  250 0   0      false(no-overflow) 1 --- inspect 1.2    1.2    20    .053 0      - --- inspect
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 18 2.6 0     0      false(no-overflow) 1 wit inspect 3.9  2.2  250 0   0      true -32 --- inspect 7.0   4.4   300   .62 0   unknown 0 --- inspect 3.7  2.2  250 0   0      true -32 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 18 3.3 0     0      false(no-overflow) 1 wit inspect 3.6  2.0  250 0   0      true -32 --- inspect 6.8   4.3   300   .62 0   false(no-overflow) 1 --- inspect 3.7  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted/easy2_false-no-overflow.c timeout (verification) 0 --- inspect 900    900    410 7800   .016 0      error (invalid witness file) 0 --- inspect .63 .39 41 0   0      error (2) 0 --- inspect .020 .022 5.6 0    0   error (invalid witness file) 0 --- inspect 1.2  .74 47 0   0      error (invalid witness file) 0 --- inspect .0059 .0082 .53 0     0      - --- inspect
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .13 .13 16 1.6 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.4   4.4   300   .66 0  
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    450 7100   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .024 .024 5.6 0    0  
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    69 11000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .025 5.7 0    0  
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    200 12000   .016 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.6 0    0  
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    78 12000   .016 4.7    - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .027 5.6 0    0  
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    74 12000   .016 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .21 .21 18 2.8 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 9.2   5.5   310   .66 0  
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    430 7700   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.7 0    0  
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect .16 .16 17 1.6 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 6.3   4.0   290   .66 0  
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    430 11000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .022 5.6 0    0  
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    250 13000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .027 5.6 0    0  
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    520 8900   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.7 0    0  
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    680 10000   .016 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.6 0    0  
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    2700 6200   .025 4.8    - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .022 5.6 0    0  
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c error(unknown, verification-finished) 0 --- inspect 740    740    2500 6400   0     0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect .14 .14 15 1.5 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 8.6   5.0   300   .66 0  
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    280 12000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.6 0    0  
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    290 12000   .020 4.7    - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.6 0    0  
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    440 8100   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .024 .026 5.6 0    0  
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    520 12000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    280 11000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.6 0    0  
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    620 12000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .022 5.6 0    0  
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    500 7600   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .027 5.7 0    0  
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    550 8100   .025 4.5    - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .028 5.6 0    0  
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    4200 10000   .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .025 .025 5.6 0    0  
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    1000 12000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.6 0    0  
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true 2 wit inspect .17 .17 16 1.9 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.6   4.3   310   .62 0  
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    17 11000   .016 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    3300 11000   .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .024 .025 5.6 0    0  
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    440 7600   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .024 5.6 0    0  
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    280 11000   .020 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .028 5.6 0    0  
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c timeout (verification) 0 --- inspect 900    900    450 10000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    530 11000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    440 7300   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .022 5.6 0    0  
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .13 .13 15 1.6 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.5   4.3   310   .66 0  
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c true 2 wit inspect .17 .17 16 1.6 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 6.0   3.9   290   .66 0  
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true 2 wit inspect .19 .19 18 2.5 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.6   4.4   310   .66 0  
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout (verification) 0 --- inspect 900    900    410 7900   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .022 5.7 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) 1 wit inspect .26 .26 18 2.9 0     0      false(no-overflow) 1 wit inspect 3.8  2.1  260 0   0      true -32 --- inspect 6.8   4.3   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .63   .63   20    .049 0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) 1 wit inspect .25 .24 18 2.9 0     0      false(no-overflow) 1 wit inspect 5.1  2.8  250 0   0      true -32 --- inspect 7.1   4.5   300   .62 0   false(no-overflow) 1 --- inspect 3.7  2.2  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .049 0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 18 3.7 0     0      false(no-overflow) 1 wit inspect 4.2  2.3  250 0   0      true -32 --- inspect 7.2   4.0   300   .62 0   unknown 0 --- inspect 3.6  2.1  250 0   0      true -32 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect .25 .25 19 2.9 0     0      false(no-overflow) 1 wit inspect 4.0  2.2  260 0   0      true -32 --- inspect 7.0   3.9   300   .66 0   false(no-overflow) 1 --- inspect 3.9  2.3  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) 1 wit inspect .26 .26 18 3.9 0     0      false(no-overflow) 1 wit inspect 4.7  2.6  250 0   0      true -32 --- inspect 6.9   4.3   300   .66 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .049 0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .27 18 3.1 0     0      false(no-overflow) 1 wit inspect 4.5  2.5  250 0   0      true -32 --- inspect 6.6   4.2   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) 1 wit inspect .41 .41 18 5.0 0     0      false(no-overflow) 1 wit inspect 4.6  2.5  260 0   0      true -32 --- inspect 7.0   4.0   300   .62 0   unknown 0 --- inspect 3.9  2.3  250 0   0      true -32 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout (verification) 0 --- inspect 900    900    430 11000   .025 0      error (invalid witness file) 0 --- inspect .66 .39 40 0   0      error (2) 0 --- inspect .028 .029 5.6 0    0   error (invalid witness file) 0 --- inspect .92 .60 47 0   0      error (invalid witness file) 0 --- inspect .0032 .0040 .53 0     0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 18 2.5 0     0      false(no-overflow) 1 wit inspect 4.1  2.2  250 0   0      true -32 --- inspect 6.6   3.8   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .045 0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.6 0     0      false(no-overflow) 1 wit inspect 4.0  2.3  250 0   .025  true -32 --- inspect 6.8   3.8   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout (verification) 0 --- inspect 900    900    1200 12000   .025 0      error (invalid witness file) 0 --- inspect .59 .36 41 0   0      error (2) 0 --- inspect .022 .025 5.6 0    0   error (invalid witness file) 0 --- inspect 1.1  .71 47 0   0      error (invalid witness file) 0 --- inspect .0018 .0023 .53 0     0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout (verification) 0 --- inspect 900    900    3100 9100   .029 0      error (invalid witness file) 0 --- inspect .62 .38 41 0   0      error (2) 0 --- inspect .022 .023 5.7 0    0   error (invalid witness file) 0 --- inspect .95 .60 47 0   0      error (invalid witness file) 0 --- inspect .0047 .0058 .41 0     0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .21 19 2.5 0     0      false(no-overflow) 1 wit inspect 3.8  2.2  260 0   0      true -32 --- inspect 6.8   4.3   300   .62 0   false(no-overflow) 1 --- inspect 3.7  2.2  250 0   .73   false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .26 18 2.8 0     0      false(no-overflow) 1 wit inspect 4.0  2.2  250 0   0      true -32 --- inspect 7.0   3.9   310   .62 0   false(no-overflow) 1 --- inspect 4.0  2.4  240 0   0      false(no-overflow) 1 --- inspect .65   .65   20    .045 0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 17 3.4 0     0      false(no-overflow) 1 wit inspect 4.9  2.8  250 0   0      true -32 --- inspect 7.1   4.4   310   .55 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   .0041 false(no-overflow) 1 --- inspect .60   .59   20    .045 0      - --- inspect
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .27 19 2.8 0     0      false(no-overflow) 1 wit inspect 3.9  2.1  250 0   .025  true -32 --- inspect 7.0   4.3   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 3.1 0     0      false(no-overflow) 1 wit inspect 4.4  2.5  260 0   0      true -32 --- inspect 7.0   4.4   300   .66 0   false(no-overflow) 1 --- inspect 4.0  2.3  250 0   0      false(no-overflow) 1 --- inspect .60   .61   20    .049 .0041 - --- inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) 1 wit inspect .26 .26 18 2.9 0     0      false(no-overflow) 1 wit inspect 3.6  2.0  250 0   0      true -32 --- inspect 6.9   4.4   320   .62 0   unknown 0 --- inspect 3.9  2.3  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .049 0      - --- inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 18 2.7 0     0      false(no-overflow) 1 wit inspect 4.1  2.3  250 0   0      true -32 --- inspect 7.4   4.1   310   .62 0   false(no-overflow) 1 --- inspect 3.8  2.2  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .049 0      - --- inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.8 0     0      false(no-overflow) 1 wit inspect 4.0  2.2  250 0   0      true -32 --- inspect 7.0   3.9   300   .62 0   unknown 0 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .58   .58   20    .045 0      - --- inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) 1 wit inspect .26 .26 18 3.0 0     0      false(no-overflow) 1 wit inspect 4.9  2.7  250 0   0      true -32 --- inspect 6.7   4.2   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .27 18 3.6 0     0      false(no-overflow) 1 wit inspect 4.1  2.3  250 0   0      true -32 --- inspect 7.1   4.4   310   .66 0   false(no-overflow) 1 --- inspect 3.8  2.2  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .049 0      - --- inspect
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 18 3.4 0     0      false(no-overflow) 1 wit inspect 3.9  2.2  250 0   .025  true -32 --- inspect 7.2   4.1   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .61   .60   20    .049 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 3.0 0     0      false(no-overflow) 1 wit inspect 3.9  2.3  260 0   0      true -32 --- inspect 6.9   3.8   290   .66 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 17 2.9 0     0      false(no-overflow) 1 wit inspect 4.6  2.6  270 0   0      true -32 --- inspect 7.0   4.0   310   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 17 2.7 0     0      false(no-overflow) 1 wit inspect 5.5  3.2  270 0   0      true -32 --- inspect 6.5   4.2   300   .62 0   false(no-overflow) 1 --- inspect 3.7  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .22 18 2.5 0     0      false(no-overflow) 1 wit inspect 4.1  2.4  260 0   0      true -32 --- inspect 6.8   4.2   300   .66 0   false(no-overflow) 1 --- inspect 3.5  2.0  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .21 18 2.5 0     0      false(no-overflow) 1 wit inspect 4.4  2.5  260 0   0      true -32 --- inspect 6.6   3.7   300   .62 0   false(no-overflow) 1 --- inspect 3.7  2.2  250 0   3.7    false(no-overflow) 1 --- inspect .62   .62   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 2.6 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  250 0   0      true -32 --- inspect 6.5   3.7   290   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  240 0   .0041 false(no-overflow) 1 --- inspect .62   .61   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .25 23 3.0 0     5.1    false(no-overflow) 1 wit inspect 3.5  2.0  250 0   0      true -32 --- inspect 6.7   3.8   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   6.5    false(no-overflow) 1 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 3.2 0     0      false(no-overflow) 1 wit inspect 3.8  2.1  250 0   0      true -32 --- inspect 6.5   4.1   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 3.0 0     0      false(no-overflow) 1 wit inspect 3.8  2.1  260 0   0      true -32 --- inspect 6.2   4.0   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 2.7 0     0      false(no-overflow) 1 wit inspect 3.6  2.0  250 0   0      true -32 --- inspect 6.7   4.2   290   .62 0   false(no-overflow) 1 --- inspect 3.8  2.2  250 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .22 17 2.6 0     0      false(no-overflow) 1 wit inspect 5.1  2.9  260 0   0      true -32 --- inspect 7.1   4.0   300   .62 0   false(no-overflow) 1 --- inspect 3.7  2.1  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .049 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.8 0     0      false(no-overflow) 1 wit inspect 4.7  2.7  260 0   0      true -32 --- inspect 6.6   4.2   290   .66 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 17 2.5 0     0      false(no-overflow) 1 wit inspect 4.4  2.5  250 0   0      true -32 --- inspect 6.8   4.2   310   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  240 0   .070  false(no-overflow) 1 --- inspect .60   .59   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) 1 wit inspect .25 .25 18 3.3 0     0      false(no-overflow) 1 wit inspect 3.9  2.2  250 0   0      true -32 --- inspect 7.2   4.0   300   .62 0   false(no-overflow) 1 --- inspect 3.8  2.2  250 0   0      false(no-overflow) 1 --- inspect .59   .60   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .26 18 2.7 0     0      false(no-overflow) 1 wit inspect 4.0  2.2  260 0   0      true -32 --- inspect 6.6   4.2   310   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 18 3.0 0     0      false(no-overflow) 1 wit inspect 4.1  2.4  270 0   0      true -32 --- inspect 7.2   4.1   300   .48 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .049 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .22 19 2.5 0     0      false(no-overflow) 1 wit inspect 4.3  2.3  250 0   0      true -32 --- inspect 6.8   4.3   310   .62 0   false(no-overflow) 1 --- inspect 3.8  2.2  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 20 3.1 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  250 0   .029  true -32 --- inspect 6.7   3.8   310   .62 0   false(no-overflow) 1 --- inspect 3.7  2.2  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.6 0     0      false(no-overflow) 1 wit inspect 4.1  2.4  270 0   0      true -32 --- inspect 7.0   3.9   310   .62 0   false(no-overflow) 1 --- inspect 3.5  2.0  250 0   0      false(no-overflow) 1 --- inspect .60   .61   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .22 18 2.8 0     0      false(no-overflow) 1 wit inspect 4.7  2.6  250 0   0      true -32 --- inspect 6.7   4.2   290   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .21 17 2.5 0     0      false(no-overflow) 1 wit inspect 3.8  2.2  250 0   0      true -32 --- inspect 6.6   3.7   290   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  240 0   0      false(no-overflow) 1 --- inspect .62   .63   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 3.4 0     0      false(no-overflow) 1 wit inspect 3.6  2.0  250 0   0      true -32 --- inspect 6.4   4.2   290   .62 0   false(no-overflow) 1 --- inspect 3.4  2.0  250 0   .0041 false(no-overflow) 1 --- inspect .61   .62   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 18 2.9 0     0      false(no-overflow) 1 wit inspect 4.3  2.4  250 0   .025  true -32 --- inspect 6.7   4.3   310   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 19 2.9 0     0      false(no-overflow) 1 wit inspect 3.6  2.0  260 0   0      true -32 --- inspect 7.1   4.0   310   .66 0   false(no-overflow) 1 --- inspect 3.7  2.2  250 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) 1 wit inspect .25 .25 18 2.6 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  250 0   0      true -32 --- inspect 6.6   4.1   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 18 2.7 0     0      false(no-overflow) 1 wit inspect 3.6  2.0  250 0   0      true -32 --- inspect 6.7   4.3   310   .62 0   false(no-overflow) 1 --- inspect 3.4  2.0  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .29 23 2.4 0     5.2    false(no-overflow) 1 wit inspect 3.6  2.1  250 0   0      true -32 --- inspect 6.8   3.8   310   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  240 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) 1 wit inspect .25 .25 18 2.9 0     0      false(no-overflow) 1 wit inspect 4.0  2.2  250 0   0      true -32 --- inspect 6.8   4.0   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   1.2    false(no-overflow) 1 --- inspect .63   .63   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 2.4 0     0      false(no-overflow) 1 wit inspect 3.6  2.0  250 0   0      true -32 --- inspect 6.8   4.3   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 3.0 0     0      false(no-overflow) 1 wit inspect 4.0  2.3  260 0   0      true -32 --- inspect 6.9   3.9   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .66   .67   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.8 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  250 0   0      true -32 --- inspect 7.0   3.9   310   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 2.5 0     0      false(no-overflow) 1 wit inspect 4.1  2.3  250 0   0      true -32 --- inspect 6.7   4.2   300   .62 0   false(no-overflow) 1 --- inspect 3.7  2.1  250 0   1.1    false(no-overflow) 1 --- inspect .61   .60   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .21 17 2.6 0     0      false(no-overflow) 1 wit inspect 3.8  2.1  250 0   0      true -32 --- inspect 7.1   4.0   310   .62 0   false(no-overflow) 1 --- inspect 3.4  2.0  250 0   0      false(no-overflow) 1 --- inspect .63   .63   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 17 2.8 0     0      false(no-overflow) 1 wit inspect 5.2  2.9  260 0   0      true -32 --- inspect 7.0   3.9   310   .62 0   false(no-overflow) 1 --- inspect 3.7  2.2  250 0   .0041 false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 19 3.0 0     0      false(no-overflow) 1 wit inspect 3.7  2.0  250 0   0      true -32 --- inspect 6.9   3.9   300   .62 0   false(no-overflow) 1 --- inspect 4.4  2.6  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) 1 wit inspect .26 .26 18 2.8 0     0      false(no-overflow) 1 wit inspect 5.0  2.8  250 0   0      true -32 --- inspect 6.7   4.3   310   .62 0   false(no-overflow) 1 --- inspect 3.6  2.2  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.6 0     0      false(no-overflow) 1 wit inspect 4.8  2.7  250 0   0      true -32 --- inspect 6.7   4.3   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .63   .63   20    .045 0      - --- inspect
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 18 2.9 0     0      false(no-overflow) 1 wit inspect 3.9  2.2  250 0   0      true -32 --- inspect 6.9   3.9   310   .62 0   false(no-overflow) 1 --- inspect 3.8  2.2  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .045 .0041 - --- inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) 1 wit inspect .25 .24 18 2.6 0     0      false(no-overflow) 1 wit inspect 4.4  2.4  250 0   0      true -32 --- inspect 6.8   4.3   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 19 2.9 0     0      false(no-overflow) 1 wit inspect 3.9  2.2  250 0   0      true -32 --- inspect 6.8   4.3   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.0  250 0   0      false(no-overflow) 1 --- inspect .63   .62   20    .045 0      - --- inspect
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .22 17 2.6 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  250 0   .32   true -32 --- inspect 6.9   3.9   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .27 18 3.3 0     0      false(no-overflow) 1 wit inspect 4.5  2.4  250 0   0      true -32 --- inspect 6.9   4.4   310   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .60   20    .045 0      - --- inspect
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 18 2.9 0     0      false(no-overflow) 1 wit inspect 5.9  3.3  260 0   0      true -32 --- inspect 7.2   4.0   300   .66 0   unknown 0 --- inspect 3.6  2.2  250 0   .0041 false(no-overflow) 1 --- inspect .59   .59   20    .049 0      - --- inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .21 18 3.0 0     0      false(no-overflow) 1 wit inspect 4.6  2.5  250 0   0      true -32 --- inspect 7.1   4.0   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .60   20    .045 0      - --- inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) 1 wit inspect .29 .28 18 3.4 0     0      false(no-overflow) 1 wit inspect 5.2  2.9  260 0   0      true -32 --- inspect 7.2   4.0   300   .62 0   unknown 0 --- inspect 3.6  2.1  250 0   0      true -32 --- inspect .60   .60   20    .049 0      - --- inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 17 2.6 0     0      false(no-overflow) 1 wit inspect 3.9  2.2  260 0   0      true -32 --- inspect 7.2   4.0   300   .62 0   false(no-overflow) 1 --- inspect 3.7  2.2  250 0   0      false(no-overflow) 1 --- inspect .60   .59   20    .045 0      - --- inspect
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .21 17 2.8 0     .28   false(no-overflow) 1 wit inspect 4.8  2.7  270 0   .025  true -32 --- inspect 6.7   4.2   300   .62 0   false(no-overflow) 1 --- inspect 3.3  2.0  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c false(no-overflow) 1 wit inspect .26 .26 18 2.7 0     0      false(no-overflow) 1 wit inspect 4.9  2.7  260 0   0      true -32 --- inspect 7.1   4.0   310   .66 0   false(no-overflow) 1 --- inspect 4.7  2.7  250 0   0      false(no-overflow) 1 --- inspect .58   .58   20    .049 0      - --- inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 18 2.9 0     0      false(no-overflow) 1 wit inspect 5.5  3.0  260 0   0      true -32 --- inspect 6.8   3.9   300   .66 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .049 0      - --- inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c false(no-overflow) 1 wit inspect .28 .27 18 3.1 0     0      error 0 wit inspect 4.9  2.7  270 0   0      true -32 --- inspect 6.9   4.3   300   .19 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .049 0      - --- inspect
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.9 0     0      false(no-overflow) 1 wit inspect 4.2  2.3  260 0   0      true -32 --- inspect 7.0   4.0   300   .62 0   false(no-overflow) 1 --- inspect 4.0  2.3  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .049 0      - --- inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.7 0     0      false(no-overflow) 1 wit inspect 3.6  2.0  250 0   .0082 true -32 --- inspect 6.7   3.8   310   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 .0041 - --- inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) 1 wit inspect .25 .24 17 2.5 0     0      false(no-overflow) 1 wit inspect 3.8  2.1  250 0   0      true -32 --- inspect 6.9   3.9   310   .32 0   false(no-overflow) 1 --- inspect 3.4  2.0  250 0   0      false(no-overflow) 1 --- inspect .59   .60   20    .045 0      - --- inspect
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.4 0     0      false(no-overflow) 1 wit inspect 3.9  2.2  250 0   0      true -32 --- inspect 6.5   4.1   300   .62 0   false(no-overflow) 1 --- inspect 3.5  2.0  250 0   0      false(no-overflow) 1 --- inspect .61   .62   20    .045 0      - --- inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) 1 wit inspect .22 .21 19 3.3 0     0      false(no-overflow) 1 wit inspect 4.7  2.6  250 0   .020  true -32 --- inspect 6.9   4.3   290   .62 0   false(no-overflow) 1 --- inspect 3.4  2.0  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .29 22 2.8 0     5.2    false(no-overflow) 1 wit inspect 4.7  2.7  270 0   0      true -32 --- inspect 6.7   3.8   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .045 0      - --- inspect
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.8 0     0      false(no-overflow) 1 wit inspect 4.1  2.3  250 0   0      true -32 --- inspect 6.7   4.2   310   .62 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 17 2.7 0     0      false(no-overflow) 1 wit inspect 4.5  2.5  250 0   0      true -32 --- inspect 6.6   4.2   300   .66 0   false(no-overflow) 1 --- inspect 3.5  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 3.1 0     0      false(no-overflow) 1 wit inspect 4.6  2.6  250 0   0      true -32 --- inspect 6.7   4.2   300   .62 0   unknown 0 --- inspect 3.7  2.2  250 0   0      true -32 --- inspect .60   .60   20    .045 0      - --- inspect
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.7 0     0      false(no-overflow) 1 wit inspect 5.0  2.8  250 0   0      true -32 --- inspect 6.8   3.9   300   .62 0   false(no-overflow) 1 --- inspect 3.4  2.0  250 0   0      false(no-overflow) 1 --- inspect .62   .62   20    .045 0      - --- inspect
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 18 3.3 0     0      false(no-overflow) 1 wit inspect 4.8  2.7  250 0   0      true -32 --- inspect 6.8   3.8   310   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .59   .61   20    .049 0      - --- inspect
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .27 18 3.0 0     .41   false(no-overflow) 1 wit inspect 3.7  2.1  250 0   0      true -32 --- inspect 6.9   3.9   300   .66 0   unknown 0 --- inspect 3.6  2.1  250 0   0      error (2) 0 --- inspect .61   .61   20    .045 0      - --- inspect
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) 1 wit inspect .26 .25 18 3.1 0     0      false(no-overflow) 1 wit inspect 5.0  2.8  250 0   0      true -32 --- inspect 7.4   4.0   300   .66 0   unknown 0 --- inspect 3.6  2.2  250 0   3.7    error (2) 0 --- inspect .60   .60   20    .045 .0041 - --- inspect
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) 1 wit inspect .26 .25 18 3.1 0     0      false(no-overflow) 1 wit inspect 5.0  2.8  250 0   0      true -32 --- inspect 6.7   3.8   300   .62 0   unknown 0 --- inspect 3.7  2.2  250 0   0      error (2) 0 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .28 23 2.5 0     5.1    false(no-overflow) 1 wit inspect 3.7  2.1  250 0   0      true -32 --- inspect 6.9   4.4   300   .62 0   false(no-overflow) 1 --- inspect 4.2  2.5  250 0   .0041 false(no-overflow) 1 --- inspect .59   .61   20    .049 0      - --- inspect
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) 1 wit inspect .25 .25 18 2.6 0     0      false(no-overflow) 1 wit inspect 3.9  2.3  260 0   0      true -32 --- inspect 7.0   4.2   300   .66 0   false(no-overflow) 1 --- inspect 4.0  2.3  240 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .045 0      - --- inspect
termination-crafted-lit/cstrncmp_false-no-overflow.c false(no-overflow) 1 wit inspect .80 .79 18 12   0     0      false(no-overflow) 1 wit inspect 6.4  4.0  300 0   0      true -32 --- inspect 8.0   4.6   310   .62 0   unknown 0 --- inspect 3.7  2.2  250 0   0      true -32 --- inspect .60   .61   20    .049 0      - --- inspect
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) 1 wit inspect .27 .26 18 3.7 0     0      false(no-overflow) 1 wit inspect 4.5  2.5  250 0   0      true -32 --- inspect 7.0   3.9   300   .62 0   false(no-overflow) 1 --- inspect 4.5  2.6  250 0   0      false(no-overflow) 1 --- inspect .61   .62   20    .045 0      - --- inspect
termination-crafted-lit/joey_false-no-overflow.c false(no-overflow) 1 wit inspect .25 .24 18 3.3 0     0      false(no-overflow) 1 wit inspect 3.8  2.1  250 0   0      true -32 --- inspect 6.6   3.8   300   .62 0   false(no-overflow) 1 --- inspect 4.5  2.6  240 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .049 0      - --- inspect
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 18 2.5 0     0      false(no-overflow) 1 wit inspect 3.9  2.2  250 0   0      true -32 --- inspect 7.1   4.3   300   .62 0   unknown 0 --- inspect 3.7  2.2  250 0   0      false(no-overflow) 1 --- inspect .58   .58   20    .049 0      - --- inspect
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    3300 10000   .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .022 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    1400 12000   .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .025 .027 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true 2 wit inspect .21 .21 19 2.1 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 8.3   4.7   310   .66 0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    420 7200   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    310 14000   .025 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 (verification) 0 --- inspect 900    900    1300 13000   .020 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    3100 7500   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    4000 6800   .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    480 8400   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    1200 12000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.7 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    170 11000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    220 10000   .020 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 (verification) 0 --- inspect 900    900    1000 9600   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    120 8100   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    380 9000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .026 5.6 0    0  
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    62 14000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .028 5.6 0    0  
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    62 11000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .023 5.6 0    0  
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    320 13000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .024 .025 5.6 0    0  
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    140 12000   .025 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 (verification) 0 --- inspect 900    900    420 8400   .025 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 true 2 wit inspect .19 .18 18 2.0 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.5   4.3   310   .62 0  
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    430 7700   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.6 0    0  
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    3200 9900   .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .022 5.6 0    0  
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    4000 7700   .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .024 .024 5.6 0    0  
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true 2 wit inspect .16 .16 15 2.3 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 6.7   3.7   290   .66 0  
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    480 5800   .012 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .024 .024 5.6 0    0  
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    420 9200   .016 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    2800 10000   .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .028 5.7 0    0  
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    2700 12000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    2900 8500   .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.6 0    0  
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    45 11000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    600 12000   .025 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 (verification) 0 --- inspect 900    900    50 12000   .016 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.7 0    0  
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 2 wit inspect .15 .15 15 1.8 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 190     130     1900   .62 0  
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    2800 12000   .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .025 .026 5.6 0    0  
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    400 9500   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.6 0    0  
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    430 7900   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .028 .028 5.6 0    0  
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    460 9500   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .020 5.6 0    0  
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    430 6600   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .028 .028 5.6 0    0  
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    77 13000   .012 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    57 11000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .027 5.6 0    0  
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    2500 11000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .025 .026 5.6 0    0  
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    390 8900   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .027 5.6 0    0  
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    55 12000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    380 12000   .016 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .027 5.6 0    0  
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    500 12000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.7 0    0  
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    100 10000   .020 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    220 7300   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.6 0    0  
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true 2 wit inspect .16 .16 15 1.8 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.9   4.7   310   .66 0  
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    310 14000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .021 5.6 0    0  
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    430 7100   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.6 0    0  
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    980 12000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .029 5.6 0    0  
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    2900 12000   .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true 2 wit inspect .22 .22 18 2.6 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 7.2   4.0   310   .66 0  
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    410 12000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .028 .028 5.6 0    0  
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    410 9700   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.6 0    0  
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    3000 12000   .033 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .024 .025 5.7 0    0  
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c probably out of memory (killed (signal 9, verification)) 0 --- inspect 170    180    15000 2700   .24  .0041 - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .021 5.6 0    0  
termination-crafted-lit/aviad_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    370 12000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .027 5.6 0    0  
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c true 2 wit inspect .20 .19 17 2.8 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 8.2   4.7   310   .62 0  
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    330 11000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .023 .024 5.5 0    0  
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    430 11000   .020 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .027 5.6 0    0  
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c true 2 wit inspect .21 .20 17 2.5 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 9.6   5.7   310   .66 0  
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    450 12000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-crafted-lit/genady_true-termination_true-no-overflow.c true 2 wit inspect .22 .22 15 2.9 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 11     7.1   440   .66 0  
termination-crafted-lit/strchr_true-no-overflow_true-termination.c true 2 wit inspect .23 .22 19 2.1 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 8.0   4.9   310   .66 0  
termination-numeric/Addition01_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 18 2.8 0     0      false(no-overflow) 1 wit inspect 4.6  2.5  260 0   0      true -32 --- inspect 6.7   3.8   300   .62 0   false(no-overflow) 1 --- inspect 3.8  2.2  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .049 0      - --- inspect
termination-numeric/Avg_true_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .24 18 3.0 0     0      false(no-overflow) 1 wit inspect 3.6  2.0  250 0   0      true -32 --- inspect 6.4   4.2   300   .62 0   unknown 0 --- inspect 3.9  2.3  250 0   .73   error (2) 0 --- inspect .61   .61   20    .049 .0041 - --- inspect
termination-numeric/Binomial_true-termination_false-no-overflow.c false(no-overflow) 1 wit inspect .36 .35 18 4.8 0     0      timeout 0 wit inspect 92    87    710 0   0      true -32 --- inspect 7.2   4.5   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  240 0   0      false(no-overflow) 1 --- inspect .61   .61   20    .053 .0041 - --- inspect
termination-numeric/Et1_true_false-no-overflow.c false(no-overflow) 1 wit inspect .24 .23 19 3.2 0     0      false(no-overflow) 1 wit inspect 4.6  2.5  250 0   0      true -32 --- inspect 7.0   3.9   300   .62 0   unknown 0 --- inspect 3.7  2.1  250 0   0      false(no-overflow) 1 --- inspect .62   .63   20    .049 0      - --- inspect
termination-numeric/Et2_true_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 3.1 0     0      false(no-overflow) 1 wit inspect 3.7  2.1  250 0   0      true -32 --- inspect 7.0   4.0   300   .62 0   unknown 0 --- inspect 3.9  2.3  250 0   0      true -32 --- inspect .59   .59   20    .049 0      - --- inspect
termination-numeric/Et3_true_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .23 18 2.5 0     0      false(no-overflow) 1 wit inspect 3.6  2.0  250 0   .025  true -32 --- inspect 7.0   4.4   310   .66 0   unknown 0 --- inspect 4.0  2.3  250 0   0      false(no-overflow) 1 --- inspect .59   .59   20    .049 0      - --- inspect
termination-numeric/Et4_true_false-no-overflow.c false(no-overflow) 1 wit inspect .23 .22 18 2.7 0     0      false(no-overflow) 1 wit inspect 4.1  2.3  250 0   0      true -32 --- inspect 6.7   4.2   300   .62 0   unknown 0 --- inspect 3.7  2.2  250 0   .87   true -32 --- inspect .60   .60   20    .049 0      - --- inspect
termination-numeric/MultCommutative_false-no-overflow.c false(no-overflow) 1 wit inspect .43 .43 18 6.3 0     0      error 0 wit inspect 10    5.7  430 0   .020  true -32 --- inspect 7.0   4.4   300   .62 0   false(no-overflow) 1 --- inspect 3.6  2.1  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .049 0      - --- inspect
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c false(no-overflow) 1 wit inspect 9.8  9.8  50 140   0     0      timeout 0 --- inspect 91    84    700 0   0      true -32 --- inspect 6.6   4.2   300   .62 0   false(no-overflow) 1 --- inspect 4.3  2.5  250 0   0      false(no-overflow) 1 --- inspect .60   .60   20    .049 0      - --- inspect
termination-numeric/Ackermann01_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    14000 14000   .053 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .026 .028 5.6 0    0  
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    1300 14000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .033 .034 5.6 0    0  
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    2900 12000   .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.7 0    0  
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    460 9100   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .022 .023 5.6 0    0  
termination-numeric/LogRecursive_true-termination_true-no-overflow.c true 1 wit inspect 23    23    160 220   0     0      - --- inspect - --- inspect - --- inspect - --- inspect timeout 0 --- inspect 960     950     550   .86 0  
termination-numeric/Parts_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    10000 13000   .037 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.7 0    0  
termination-numeric/TwoWay_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    9000 11000   .016 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 5.6 0    0  
termination-numeric/gcd01_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    59 11000   .012 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .020 .022 5.7 0    0  
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true 2 wit inspect .42 .42 18 5.4 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 60     40     750   .62 0  
termination-numeric/recHanoi02_true-termination_true-no-overflow.c true 2 wit inspect .66 .66 18 8.3 0     0      - --- inspect - --- inspect - --- inspect - --- inspect true 2 --- inspect 85     54     1000   .62 0  
termination-numeric/rec_counter1_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    2800 11000   .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .025 .026 5.6 0    0  
termination-numeric/rec_counter3_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    2800 11000   .029 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .027 .028 5.6 0    0  
termination-numeric/twisted_true-termination_true-no-overflow.c timeout (verification) 0 --- inspect 900    900    1200 11000   .025 0      - --- inspect - --- inspect - --- inspect - --- inspect error (2) 0 --- inspect .021 .022 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 204 90000   90000   150000 1000000 2.7 53    158 146 1100 770 43000 0   11 158 -4566 1100 630 46000 95   0   158 118 580 340 38000 0   20 158 -379 100   100   3100 7.2  .066 122 50 1500 1300 12000 17 0  
    correct results 178 203 52   51   3200 640 0   35    146 146 620 350 37000 0   11 10 10 79 46 3100 6.3 0   118 118 440 260 29000 0   14 133 133 90   91   2700 6.2  .057 25 50 510 330 11000 16 0  
        correct true 25 50 5.1 5.0 410 62 0   .56 0 0 0 0 25 50 510 330 11000 16 0  
        correct false 153 153 47   46   2800 580 0   34    146 146 620 350 37000 0   11 10 10 79 46 3100 6.3 0   118 118 440 260 29000 0   14 133 133 90   91   2700 6.2  .057 0
    correct-unconfimed results 1 1 23   23   160 220 0   0    0 0 0 0 0
        correct-unconfirmed true 1 1 23   23   160 220 0   0    0 0 0 0 0
        correct-unconfirmed false 0 0 0 0 0 0
    incorrect results 0 0 143 -4576 980 580 43000 88   0   0 16 -512 9.8 9.8 320 .81 0     0
        incorrect true 0 0 143 -4576 980 580 43000 88   0   0 16 -512 9.8 9.8 320 .81 0     0
        incorrect false 0 0 0 0 0 0
score (280 tasks, max score: 402) 204 146 -4566 118 -379 50
Run set symbiotic.sv-comp19_prop-nooverflow.NoOverflows-BitVectors cpa-seq-validate-violation-witnesses-symbiotic.sv-comp19_prop-nooverflow.NoOverflows-BitVectors uautomizer-validate-violation-witnesses-symbiotic.sv-comp19_prop-nooverflow.NoOverflows-BitVectors cpa-witness2test-validate-violation-witnesses-symbiotic.sv-comp19_prop-nooverflow.NoOverflows-BitVectors fshell-witness2test-validate-violation-witnesses-symbiotic.sv-comp19_prop-nooverflow.NoOverflows-BitVectors uautomizer-validate-correctness-witnesses-symbiotic.sv-comp19_prop-nooverflow.NoOverflows-BitVectors