Tool 2LS 0.6.0 CBMC 5.8 CPAchecker 1.6.1-svn 26773 DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 ESBMC ESBMC version 4.6.0 64-bit x86_64 linux Map2Check Map2Check 7.1 : Wed Nov 22 22:30:11 -04 2017 symbiotic 5.0.0-KLEE:1faddfe0-dg:12c34aac-symbiotic:5e14b94d-minisat:3db58943-llvm-instrumentation:cd767593-stp:17249213 ULTIMATE Automizer 0.1.23-3204b741 ULTIMATE Kojak 0.1.23-3204b741 ULTIMATE Taipan 0.1.23-3204b741
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-12-01 10:20:37 CET 2017-12-01 11:16:27 CET 2017-12-01 10:49:29 CET 2017-12-01 13:07:37 CET 2017-12-02 06:23:16 CET 2017-12-02 18:23:42 CET 2017-12-02 00:52:46 CET 2017-12-03 04:09:48 CET 2017-12-03 11:17:40 CET 2017-12-03 08:43:49 CET
Run set 2ls.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other] cbmc.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other] cpa-seq.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other] depthk.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other] esbmc-incr.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other] esbmc-kind.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other] map2check.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other] symbiotic.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other] uautomizer.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other] ukojak.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other] utaipan.[sv-comp18.NoOverflows-BitVectors; sv-comp18.NoOverflows-Other]
Options --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp18 -heap 10000M -benchmark -timelimit 900s -s incr -s kinduction --witness witness.graphml --full-output --full-output --full-output
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J)
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i false(no-overflow) .13  24 .86 false(no-overflow) .25 34 2.5 false(no-overflow) 3.4 300 29 false(no-overflow) 4.1  410 30   false(no-overflow) .12  28 .72 false(no-overflow) .11  28 .83 false(no-overflow) .32  11 3.7  false(no-overflow) .17  11 1.8  false(no-overflow) 4.1 240 32 false(no-overflow) 4.3 240 36 false(no-overflow) 4.1 240 34
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) .14  24 .95 false(no-overflow) .26 34 2.5 false(no-overflow) 3.5 280 32 false(no-overflow) 3.8  420 33   false(no-overflow) .082 28 .93 false(no-overflow) .092 28 .97 false(no-overflow) .32  12 3.8  false(no-overflow) .17  11 1.5  false(no-overflow) 4.8 260 40 false(no-overflow) 4.4 260 38 false(no-overflow) 4.7 270 41
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) .10  24 1.0  false(no-overflow) .27 34 2.1 false(no-overflow) 3.6 280 32 false(no-overflow) 4.2  420 27   false(no-overflow) .082 28 .98 false(no-overflow) .079 28 1.1  false(no-overflow) .30  12 4.2  false(no-overflow) .16  11 1.7  false(no-overflow) 4.1 240 38 false(no-overflow) 4.4 250 35 false(no-overflow) 4.1 240 34
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) .14  24 .85 false(no-overflow) .25 34 2.5 false(no-overflow) 3.4 280 27 false(no-overflow) 3.9  420 39   false(no-overflow) .097 28 .70 false(no-overflow) .11  28 .82 false(no-overflow) .31  11 2.7  false(no-overflow) .16  11 1.7  false(no-overflow) 4.2 240 37 false(no-overflow) 4.2 250 37 false(no-overflow) 4.3 240 37
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) .10  24 .89 false(no-overflow) .25 34 2.4 false(no-overflow) 3.4 280 34 false(no-overflow) 4.2  420 29   false(no-overflow) .12  28 .81 false(no-overflow) .081 28 1.0  false(no-overflow) .30  11 3.5  false(no-overflow) .17  11 1.5  false(no-overflow) 4.1 230 32 false(no-overflow) 4.1 240 35 false(no-overflow) 4.0 240 35
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) .12  24 .93 false(no-overflow) .26 34 2.1 false(no-overflow) 3.5 280 31 false(no-overflow) 4.0  410 32   false(no-overflow) .092 28 1.1  false(no-overflow) .083 28 .90 false(no-overflow) .32  11 3.4  false(no-overflow) .14  11 1.9  false(no-overflow) 4.7 270 44 false(no-overflow) 4.5 270 35 false(no-overflow) 4.4 270 39
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) .10  24 1.3  false(no-overflow) .24 34 2.3 false(no-overflow) 3.4 280 29 false(no-overflow) 3.9  420 30   false(no-overflow) .11  28 .77 false(no-overflow) .11  28 .76 false(no-overflow) .32  12 3.2  false(no-overflow) .14  11 1.7  false(no-overflow) 4.2 240 39 false(no-overflow) 4.2 250 38 false(no-overflow) 4.0 240 35
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) .13  24 .81 false(no-overflow) .24 34 2.0 false(no-overflow) 3.7 280 32 false(no-overflow) 4.1  420 30   false(no-overflow) .11  28 .77 false(no-overflow) .10  28 .97 false(no-overflow) .29  11 4.2  false(no-overflow) .15  11 1.7  false(no-overflow) 4.5 270 38 false(no-overflow) 4.4 250 34 false(no-overflow) 4.4 260 34
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) .13  24 .92 false(no-overflow) .26 34 2.2 false(no-overflow) 3.4 270 31 false(no-overflow) 4.0  420 31   false(no-overflow) .083 28 .88 false(no-overflow) .12  28 .58 false(no-overflow) .30  12 4.0  false(no-overflow) .14  11 1.8  false(no-overflow) 4.1 250 36 false(no-overflow) 4.2 240 37 false(no-overflow) 4.1 240 33
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) .14  24 .77 false(no-overflow) .27 34 2.2 false(no-overflow) 3.5 280 31 false(no-overflow) 4.0  420 32   false(no-overflow) .080 28 1.0  false(no-overflow) .082 28 .83 false(no-overflow) .32  11 3.5  false(no-overflow) .17  11 1.7  false(no-overflow) 4.1 240 35 false(no-overflow) 4.6 240 42 false(no-overflow) 4.1 250 38
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true .12  24 .80 true .44 34 5.1 true 3.0 270 24 unknown 1.3  48 15   true .072 26 .92 true .081 26 .77 true .32  11 3.6  true .15  11 1.4  true 4.0 240 34 true 4.0 240 35 true 4.3 240 33
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i true .13  24 .80 true .47 34 4.4 true 3.1 270 30 unknown 1.6  49 20   true .088 27 .89 true .089 27 .77 true .30  11 4.5  true .16  11 1.4  true 4.6 290 38 true 4.4 260 36 true 4.7 280 42
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true .11  24 .79 true .44 34 4.1 true 3.1 280 28 unknown 1.7  48 21   true .072 26 .96 true .080 27 .76 true .32  11 3.7  true .15  11 1.3  true 4.0 230 34 true 3.9 240 31 true 4.3 250 34
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true .11  24 .91 true .47 34 4.3 true 3.0 280 24 false(no-overflow) 480    420 5400   true .079 26 .90 true .088 26 .72 true .29  11 3.9  true .15  11 1.6  true 4.1 240 35 true 4.0 230 31 true 4.2 240 32
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true .11  24 .78 true .46 34 4.3 true 2.9 270 29 unknown 480    110 6200   true .073 26 1.0  true .075 26 .84 true .29  12 4.5  true .15  11 1.5  true 4.4 240 34 true 4.0 240 36 true 4.1 240 31
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) .11  22 .77 false(no-overflow) .24 33 2.0 false(no-overflow) 2.6 270 26 false(no-overflow) .53 75 6.6 false(no-overflow) .15  28 2.1  false(no-overflow) .21  28 1.6  false(no-overflow) .69  12 8.0  false(no-overflow) .19  12 1.9  false(no-overflow) 6.1 340 49 false(no-overflow) 4.1 250 35 false(no-overflow) 4.2 240 36
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) .15  24 .98 false(no-overflow) .28 36 2.6 false(no-overflow) 2.6 270 24 false(no-overflow) .60 75 6.7 false(no-overflow) .36  28 2.9  false(no-overflow) .41  28 4.0  false(no-overflow) 1.1   13 13    false(no-overflow) .18  12 1.6  false(no-overflow) 4.1 250 38 false(no-overflow) 4.3 250 37 false(no-overflow) 4.3 250 37
termination-crafted/Ackermann_false-no-overflow.c error (5) .098 22 .71 false(no-overflow) .25 33 2.5 timeout 900   3800 11000 false(no-overflow) .61 49 7.3 false(no-overflow) .16  28 1.6  false(no-overflow) .20  28 1.7  false(no-overflow) .50  12 5.7  false(no-overflow) .17  12 1.9  false(no-overflow) 4.0 240 38 false(no-overflow) 4.3 250 38 false(no-overflow) 4.2 250 35
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) .14  22 .92 false(no-overflow) .24 33 2.8 false(no-overflow) 2.6 270 26 false(no-overflow) .55 75 6.7 false(no-overflow) .15  28 1.9  false(no-overflow) .19  28 2.4  false(no-overflow) .60  13 7.4  false(no-overflow) .18  12 1.8  false(no-overflow) 4.0 240 37 false(no-overflow) 4.2 240 38 false(no-overflow) 4.3 250 38
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) .11  22 .95 false(no-overflow) .24 33 2.3 false(no-overflow) 2.6 270 24 false(no-overflow) .54 75 6.0 false(no-overflow) .19  28 1.8  false(no-overflow) .17  28 2.2  false(no-overflow) .75  13 9.3  false(no-overflow) .18  12 2.7  false(no-overflow) 4.2 240 36 false(no-overflow) 4.0 240 35 false(no-overflow) 4.1 240 32
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) .13  23 .87 false(no-overflow) .27 33 2.2 false(no-overflow) 2.7 280 27 false(no-overflow) .56 75 6.9 false(no-overflow) .23  28 2.0  false(no-overflow) .24  28 3.2  false(no-overflow) .68  12 9.7  false(no-overflow) .16  12 1.9  false(no-overflow) 4.0 230 36 false(no-overflow) 4.2 250 37 false(no-overflow) 4.6 250 34
termination-crafted/Binary_Search_false-no-overflow.c error (5) .10  22 .65 false(no-overflow) .28 34 2.6 false(no-overflow) 2.9 290 25 false(no-overflow) .40 48 5.0 false(no-overflow) .22  28 2.1  false(no-overflow) .35  28 3.3  false(no-overflow) .58  12 6.8  false(no-overflow) .17  12 2.1  false(no-overflow) 4.2 250 34 false(no-overflow) 4.3 260 38 false(no-overflow) 4.1 240 34
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) .13  23 .98 false(no-overflow) .26 33 2.1 false(no-overflow) 2.7 270 22 false(no-overflow) .85 75 12   false(no-overflow) .17  28 1.8  false(no-overflow) .18  28 1.5  false(no-overflow) .67  12 8.9  false(no-overflow) .17  12 2.1  false(no-overflow) 4.4 280 36 false(no-overflow) 5.3 290 40 false(no-overflow) 4.6 290 35
termination-crafted/Cairo_step2_false-no-overflow.c timeout 900     1300 11000    error (42) 870    5100 5000   timeout 900   2600 13000 unknown 77    75 1000   timeout 900     390 10000    timeout 900     390 11000    unknown 900     1100 11000    timeout (timeout) 900     170 13000    timeout 900   4400 14000 timeout 900   5200 12000 timeout 900   2400 13000
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) .11  23 .98 false(no-overflow) .26 33 2.3 false(no-overflow) 2.8 280 28 unknown 21    75 260   false(no-overflow) .14  28 1.4  false(no-overflow) .24  28 2.3  false(no-overflow) .43  12 5.1  false(no-overflow) .17  12 2.0  false(no-overflow) 5.0 290 40 false(no-overflow) 4.2 250 36 false(no-overflow) 5.2 290 41
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) .13  23 .75 false(no-overflow) .27 33 2.0 false(no-overflow) 2.7 270 24 false(no-overflow) .40 75 4.7 false(no-overflow) .22  28 1.9  false(no-overflow) .24  28 1.9  false(no-overflow) .49  12 5.7  false(no-overflow) .18  12 1.6  false(no-overflow) 4.4 270 36 false(no-overflow) 4.3 250 37 false(no-overflow) 4.5 280 35
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) .13  25 1.2  false(no-overflow) .26 35 2.0 false(no-overflow) 2.7 270 24 false(no-overflow) .61 75 7.4 false(no-overflow) .32  28 2.6  false(no-overflow) .42  28 3.4  false(no-overflow) 3.6   14 43    false(no-overflow) .19  12 1.7  false(no-overflow) 4.2 250 37 false(no-overflow) 4.2 250 33 false(no-overflow) 4.2 250 36
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) .13  25 .97 false(no-overflow) .29 33 2.4 false(no-overflow) 2.7 270 22 false(no-overflow) .57 75 7.7 false(no-overflow) .32  28 3.1  false(no-overflow) .37  28 4.0  false(no-overflow) .41  12 4.5  false(no-overflow) .18  12 1.6  false(no-overflow) 4.3 250 38 false(no-overflow) 4.4 250 33 false(no-overflow) 4.1 250 34
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) .12  22 1.0  false(no-overflow) .26 33 2.0 false(no-overflow) 2.6 270 24 false(no-overflow) .53 75 6.4 false(no-overflow) .18  28 1.7  false(no-overflow) .20  28 1.8  out of memory 26     15000 390    false(no-overflow) .16  12 1.9  false(no-overflow) 4.0 240 35 false(no-overflow) 4.1 250 35 false(no-overflow) 4.0 240 35
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) .11  23 .80 false(no-overflow) .23 33 2.2 false(no-overflow) 2.7 270 22 false(no-overflow) .54 75 6.9 false(no-overflow) .23  28 2.1  false(no-overflow) .41  28 3.9  false(no-overflow) .68  13 8.4  false(no-overflow) .18  12 1.8  false(no-overflow) 4.2 240 36 false(no-overflow) 4.3 250 38 false(no-overflow) 4.2 250 33
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) .13  23 .86 false(no-overflow) .25 33 2.3 false(no-overflow) 2.7 270 25 false(no-overflow) .55 75 6.0 false(no-overflow) .32  28 2.4  false(no-overflow) .24  28 3.3  false(no-overflow) .99  13 12    false(no-overflow) .18  12 1.7  false(no-overflow) 4.3 230 39 false(no-overflow) 4.3 250 41 false(no-overflow) 4.3 240 32
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) .12  22 .86 false(no-overflow) .25 33 2.1 false(no-overflow) 2.5 270 24 false(no-overflow) .37 75 4.3 false(no-overflow) .17  28 1.7  false(no-overflow) .15  28 1.9  false(no-overflow) .42  12 5.6  false(no-overflow) .18  12 1.7  false(no-overflow) 4.4 270 35 false(no-overflow) 6.9 370 51 false(no-overflow) 4.7 280 38
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) .12  23 .81 false(no-overflow) .24 33 2.3 false(no-overflow) 2.7 270 23 false(no-overflow) .56 75 6.6 false(no-overflow) .24  28 1.6  false(no-overflow) .23  28 2.4  false(no-overflow) .83  12 10    false(no-overflow) .16  12 2.1  false(no-overflow) 6.3 340 47 false(no-overflow) 4.2 250 39 false(no-overflow) 4.0 240 37
termination-crafted/NestedRecursion_1a_false-no-overflow.c error (5) .12  22 .68 false(no-overflow) .25 33 2.6 false(no-overflow) 2.7 270 26 false(no-overflow) .57 49 6.5 false(no-overflow) .13  28 1.3  false(no-overflow) .18  28 1.9  false(no-overflow) .35  12 4.3  false(no-overflow) .16  12 1.8  false(no-overflow) 4.2 250 35 false(no-overflow) 4.4 250 39 false(no-overflow) 4.2 250 33
termination-crafted/NestedRecursion_2a_false-no-overflow.c error (5) .12  22 .75 false(no-overflow) .24 33 2.1 false(no-overflow) 2.7 270 26 false(no-overflow) .52 48 5.6 false(no-overflow) .12  28 1.5  false(no-overflow) .14  28 1.2  false(no-overflow) .38  11 3.4  false(no-overflow) .15  12 2.1  false(no-overflow) 4.5 280 44 false(no-overflow) 4.3 250 36 false(no-overflow) 4.7 280 38
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) .12  23 .87 false(no-overflow) .27 33 2.1 false(no-overflow) 2.7 280 24 false(no-overflow) .55 75 6.2 false(no-overflow) .13  28 1.4  false(no-overflow) .15  28 1.1  false(no-overflow) .39  12 4.8  false(no-overflow) .18  12 1.8  false(no-overflow) 3.9 240 34 false(no-overflow) 4.2 240 38 false(no-overflow) 4.1 250 37
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) .14  23 .86 false(no-overflow) .24 33 2.2 false(no-overflow) 3.0 280 27 false(no-overflow) .38 75 4.3 false(no-overflow) .13  28 1.1  false(no-overflow) .26  28 1.7  false(no-overflow) .48  12 5.3  false(no-overflow) .16  12 1.9  false(no-overflow) 4.1 240 37 false(no-overflow) 4.1 250 38 false(no-overflow) 6.8 350 44
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) .53  41 5.7  false(no-overflow) 1.8  35 20   false(no-overflow) 190   1300 1500 false(no-overflow) 12    75 140   false(no-overflow) .12  28 1.2  false(no-overflow) .12  28 1.2  false(no-overflow) .30  11 3.8  false(no-overflow) .16  11 2.0  false(no-overflow) 23   780 200 false(no-overflow) 350   4900 4900 false(no-overflow) 250   2200 2700
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) .14  22 .77 false(no-overflow) .23 33 2.5 false(no-overflow) 2.8 270 23 false(no-overflow) .55 75 5.6 false(no-overflow) .13  28 1.3  false(no-overflow) .16  28 1.2  false(no-overflow) .41  12 5.5  false(no-overflow) .15  11 1.7  false(no-overflow) 4.0 230 36 false(no-overflow) 4.3 240 34 false(no-overflow) 4.2 240 33
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) .099 23 1.0  false(no-overflow) .27 33 2.0 false(no-overflow) 2.7 270 21 false(no-overflow) .55 75 6.4 false(no-overflow) .16  28 1.8  false(no-overflow) .22  28 2.1  false(no-overflow) .58  13 8.0  false(no-overflow) .15  12 1.7  false(no-overflow) 4.2 240 38 false(no-overflow) 4.0 240 35 false(no-overflow) 4.0 240 37
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 900     1200 13000    error (42) 880    5100 4300   timeout 900   2200 12000 unknown 76    75 950   timeout 900     400 12000    timeout 900     390 12000    unknown 900     83 4200    error (1) .099 11 1.2  timeout 900   3900 15000 timeout 900   5200 13000 timeout 900   2500 15000
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) .13  22 .82 false(no-overflow) .25 33 2.1 false(no-overflow) 2.7 270 23 false(no-overflow) .55 75 6.3 false(no-overflow) .13  28 1.1  false(no-overflow) .12  28 1.5  false(no-overflow) .42  12 4.8  false(no-overflow) .17  11 1.7  false(no-overflow) 4.5 280 37 false(no-overflow) 4.3 250 37 false(no-overflow) 4.6 290 37
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) .14  22 .91 false(no-overflow) .23 33 1.9 false(no-overflow) 2.6 270 23 false(no-overflow) .54 75 6.5 false(no-overflow) .13  28 1.6  false(no-overflow) .20  28 1.6  out of memory 26     15000 370    false(no-overflow) .18  12 1.9  false(no-overflow) 4.0 240 36 false(no-overflow) 4.1 240 36 false(no-overflow) 4.1 230 36
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) .13  22 1.1  false(no-overflow) .28 33 2.0 false(no-overflow) 2.7 280 26 false(no-overflow) .57 75 7.2 false(no-overflow) .15  28 1.2  false(no-overflow) .16  28 1.7  false(no-overflow) .44  12 5.3  false(no-overflow) .18  11 1.7  false(no-overflow) 6.1 330 45 false(no-overflow) 4.1 250 39 false(no-overflow) 4.0 250 39
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) .14  22 .80 false(no-overflow) .23 33 2.4 false(no-overflow) 2.7 280 26 false(no-overflow) .53 75 7.7 false(no-overflow) .12  28 1.3  false(no-overflow) .13  28 1.3  out of memory 26     15000 360    false(no-overflow) .18  12 1.8  false(no-overflow) 4.3 240 36 false(no-overflow) 4.1 240 36 false(no-overflow) 4.2 250 35
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) .13  22 .87 false(no-overflow) .26 33 2.0 false(no-overflow) 2.6 270 23 false(no-overflow) .55 75 6.0 false(no-overflow) .19  28 1.9  false(no-overflow) .27  28 2.1  false(no-overflow) .43  12 5.5  false(no-overflow) .19  12 1.4  false(no-overflow) 4.7 280 36 false(no-overflow) 4.5 250 39 false(no-overflow) 4.8 280 37
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) .14  23 .85 false(no-overflow) .25 35 2.4 false(no-overflow) 2.7 270 25 false(no-overflow) .58 75 6.6 false(no-overflow) .26  28 2.2  false(no-overflow) .27  28 2.8  false(no-overflow) 1.6   13 22    false(no-overflow) .16  12 2.6  false(no-overflow) 4.2 240 33 false(no-overflow) 4.5 250 34 false(no-overflow) 4.2 250 33
termination-crafted/RecursiveMultiplication_false-no-overflow.c error (5) .10  22 .65 witness invalid (false(no-overflow)) .25 33 2.2 false(no-overflow) 3.5 300 30 false(no-overflow) .57 49 7.7 false(no-overflow) .16  28 1.7  false(no-overflow) .19  28 1.9  unknown .80  12 12    false(no-overflow) .17  12 1.9  false(no-overflow) 4.4 250 34 false(no-overflow) 4.2 250 38 false(no-overflow) 4.3 250 38
termination-crafted/RecursiveNonterminating_false-no-overflow.c error (5) .12  22 .71 false(no-overflow) .27 33 2.2 false(no-overflow) 2.6 270 21 false(no-overflow) .56 49 7.0 false(no-overflow) .13  28 1.6  false(no-overflow) .11  28 1.5  false(no-overflow) .33  11 3.6  false(no-overflow) .16  14 1.8  false(no-overflow) 4.3 240 34 false(no-overflow) 4.0 250 32 false(no-overflow) 4.0 250 37
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) .11  24 .68 false(no-overflow) .26 33 2.1 false(no-overflow) 2.6 260 23 false(no-overflow) .36 75 4.1 false(no-overflow) .12  28 1.2  false(no-overflow) .21  28 2.2  unknown 890     11 14000    false(no-overflow) .18  12 1.7  false(no-overflow) 4.1 240 34 false(no-overflow) 4.2 250 36 false(no-overflow) 4.0 240 33
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) .12  23 .81 false(no-overflow) .25 33 2.1 false(no-overflow) 2.6 270 22 false(no-overflow) .56 75 6.7 false(no-overflow) .17  28 2.5  false(no-overflow) .21  28 1.9  false(no-overflow) .60  13 7.8  false(no-overflow) .19  12 1.8  false(no-overflow) 4.0 240 36 false(no-overflow) 4.3 250 34 false(no-overflow) 4.4 240 36
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) .11  23 1.0  false(no-overflow) .28 35 2.1 false(no-overflow) 2.8 270 23 false(no-overflow) .56 75 6.5 false(no-overflow) .20  28 2.0  false(no-overflow) .29  28 2.9  false(no-overflow) .64  12 7.6  false(no-overflow) .19  12 1.8  false(no-overflow) 4.1 240 34 false(no-overflow) 4.4 250 38 false(no-overflow) 4.2 240 32
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) .12  23 1.0  false(no-overflow) .27 33 2.3 false(no-overflow) 2.5 260 23 false(no-overflow) .54 75 8.1 false(no-overflow) .19  28 2.0  false(no-overflow) .20  28 1.9  false(no-overflow) .68  12 8.4  false(no-overflow) .17  12 2.1  false(no-overflow) 4.2 240 35 false(no-overflow) 4.3 250 36 false(no-overflow) 4.2 240 38
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) .12  23 .83 false(no-overflow) .27 33 2.2 false(no-overflow) 2.6 270 26 false(no-overflow) .55 75 7.0 false(no-overflow) .17  28 1.9  false(no-overflow) .21  28 1.9  false(no-overflow) .69  12 8.1  false(no-overflow) .16  12 1.9  false(no-overflow) 4.1 240 36 false(no-overflow) 4.2 250 34 false(no-overflow) 4.3 250 35
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) .12  23 .89 false(no-overflow) .24 33 2.0 false(no-overflow) 2.7 270 22 false(no-overflow) .57 75 7.5 false(no-overflow) .29  28 2.2  false(no-overflow) .32  28 2.5  false(no-overflow) 1.8   13 22    false(no-overflow) .18  12 1.7  false(no-overflow) 4.3 240 39 false(no-overflow) 4.2 250 41 false(no-overflow) 4.4 250 35
termination-crafted/Thun_false-no-overflow.c false(no-overflow) .13  23 .76 false(no-overflow) .27 33 2.0 false(no-overflow) 2.7 270 23 false(no-overflow) .54 75 6.2 false(no-overflow) .18  28 1.6  false(no-overflow) .27  28 2.4  false(no-overflow) 1.1   13 16    false(no-overflow) .18  12 1.7  false(no-overflow) 4.0 240 33 false(no-overflow) 4.3 250 33 false(no-overflow) 4.0 250 33
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) .12  23 1.1  false(no-overflow) .27 33 2.1 false(no-overflow) 2.7 270 22 false(no-overflow) .57 75 6.9 false(no-overflow) .17  28 1.5  false(no-overflow) .28  28 1.8  false(no-overflow) .95  12 13    false(no-overflow) .16  12 1.8  false(no-overflow) 4.9 280 41 false(no-overflow) 4.5 250 41 false(no-overflow) 4.8 290 38
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) .12  24 1.1  false(no-overflow) .27 33 2.5 false(no-overflow) 3.1 280 28 false(no-overflow) .62 77 7.9 false(no-overflow) .55  28 4.4  false(no-overflow) .57  28 5.7  false(no-overflow) 1.4   12 19    false(no-overflow) .20  12 1.9  false(no-overflow) 13   660 120 false(no-overflow) 12   540 120 false(no-overflow) 13   610 100
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) .14  25 .85 false(no-overflow) .24 35 2.5 false(no-overflow) 2.7 280 28 false(no-overflow) .41 75 4.6 false(no-overflow) .25  28 2.3  false(no-overflow) .34  28 3.3  false(no-overflow) .93  13 12    false(no-overflow) .16  12 2.3  false(no-overflow) 4.7 280 43 false(no-overflow) 4.1 250 36 false(no-overflow) 4.6 280 38
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) .14  23 .76 false(no-overflow) .26 33 2.2 false(no-overflow) 2.7 270 23 false(no-overflow) .39 75 4.6 false(no-overflow) .26  28 2.5  false(no-overflow) .33  28 2.9  false(no-overflow) .79  13 10    false(no-overflow) .19  12 2.4  false(no-overflow) 6.0 320 40 false(no-overflow) 4.2 250 39 false(no-overflow) 4.3 250 40
termination-crafted/easy2_false-no-overflow.c timeout 900     1700 12000    error (42) 870    2200 3100   timeout 900   13000 10000 unknown 160    390 2300   timeout 900     890 11000    timeout 900     880 11000    unknown 900     300 11000    timeout (timeout) 900     210 13000    timeout 900   5300 14000 timeout 900   7000 13000 timeout 900   5300 13000
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true .19  24 1.4  true 2.2  34 28   true 2.6 270 24 unknown 1.2  76 14   true .087 26 .89 true .074 26 .79 true .34  11 3.5  true .13  11 1.5  true 7.3 360 56 true 4.6 260 42 true 4.5 260 36
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c true 5.9   200 66    error (42) 870    3000 3200   true 2.9 270 25 unknown 60    100 790   timeout 900     1600 11000    true .12  26 .57 unknown 890     100 12000    timeout (timeout) 900     250 11000    true 30   940 320 timeout 900   5200 14000 timeout 900   1500 11000
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c true 3.0   100 31    error (42) 870    3900 4200   true 2.7 270 24 unknown 1.3  75 14   timeout 900     1500 14000    true .072 26 .78 unknown 900     32 11000    timeout (timeout) 900     70 11000    true 4.6 280 36 true 4.5 260 42 true 4.8 280 40
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c true 3.3   170 37    error (42) 870    3800 3000   timeout 900   6200 11000 unknown 1.4  100 18   timeout 900     1100 11000    true .089 26 .78 unknown 3.0   140 33    timeout (timeout) 900     180 12000    true 5.7 300 51 true 7.0 470 63 true 6.8 330 60
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true .10  22 .73 error (42) 870    5300 4700   true 2.7 270 25 unknown 7.6  75 92   timeout 900     130 10000    true .10  26 .85 unknown 900     60 10000    timeout (timeout) 900     52 12000    true 5.2 300 44 true 7.0 460 58 true 5.5 290 49
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c true .087 23 .86 error (42) 870    5500 5800   true 2.7 270 28 unknown 7.2  75 89   timeout 900     190 12000    true .089 26 1.1  unknown 900     58 12000    timeout (timeout) 900     55 14000    true 5.3 300 42 true 6.2 420 59 true 5.5 300 42
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true .17  24 1.2  true .45 33 3.8 true 2.6 270 25 unknown 1.5  75 15   true .12  26 1.2  true .096 26 .95 true .49  12 5.2  true .20  12 2.0  true 5.0 300 43 true 5.3 290 40 true 5.8 300 50
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     310 8400    error (42) 870    2200 3200   timeout 900   4900 11000 unknown 380    560 4700   timeout 900     1300 9700    timeout 900     1300 11000    unknown 900     930 12000    timeout (timeout) 900     100 13000    true 17   720 150 timeout 900   5700 12000 true 24   800 220
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c true .12  22 .68 error (42) 870    8400 3400   true 2.6 270 21 unknown 1.2  75 18   unknown .056 15 .25 unknown .033 15 .31 unknown 900     1200 11000    error (1) .080 11 .63 true 4.1 230 38 true 4.0 240 32 true 4.1 240 37
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     1300 12000    error (42) 870    4600 5900   timeout 900   2600 10000 unknown 68    75 850   timeout 900     440 11000    timeout 900     450 12000    unknown 900     1100 11000    timeout (timeout) 900     270 13000    true 4.9 300 40 true 4.9 270 44 true 5.3 300 43
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     1400 13000    error (42) 870    4500 4000   true 2.8 270 23 unknown 1.4  75 20   timeout 900     400 9700    timeout 900     400 11000    unknown 900     1200 12000    timeout (timeout) 900     170 11000    true 4.6 290 46 true 5.1 270 41 true 5.1 280 43
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true .11  23 .87 error (42) 870    3200 4900   true 2.7 270 22 unknown 1.3  75 16   timeout 900     760 11000    true .075 26 .77 unknown 900     1100 9900    timeout (timeout) 900     230 13000    true 5.5 310 53 true 6.8 420 51 true 6.4 300 51
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c true .11  23 .83 error (42) 870    3900 3500   true 2.9 290 23 unknown 1.5  75 17   timeout 900     630 13000    true .082 26 .86 unknown 900     26 12000    timeout (timeout) 900     15 14000    true 4.7 290 39 true 5.8 310 45 true 7.6 390 50
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c true 6.3   280 63    error (134) 50    14000 600   true 2.7 270 25 unknown 38    100 500   out of memory 750     15000 11000    true .11  26 .96 unknown 900     1900 11000    unknown 300     2900 2500    timeout 900   4900 13000 timeout 900   5300 15000 timeout 900   1600 11000
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c error (134) .16  24 1.7  error (134) 58    14000 730   timeout 900   6300 9900 unknown 120    160 1500   timeout 900     5900 11000    timeout 900     5900 11000    unknown 900     1900 12000    timeout (timeout) 900     3800 7900    timeout 900   2000 11000 timeout 900   6200 11000 timeout 900   1300 12000
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c true .13  22 .69 out of memory 210    15000 2800   true 2.5 270 24 unknown 1.2  75 12   timeout 900     11000 9700    true .082 26 .66 unknown 890     11 12000    true .13  11 1.3  true 3.8 240 37 true 3.9 230 35 true 4.3 240 34
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     1500 10000    error (42) 870    1200 8200   timeout 900   600 12000 unknown 900    120 9700   timeout 900     150 12000    timeout 900     150 11000    unknown 900     110 13000    timeout (timeout) 900     76 12000    timeout 900   5200 11000 timeout 900   5300 14000 timeout 900   3900 13000
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .10  22 .64 error (42) 870    2000 2900   true 2.9 280 27 out of memory (false(no-overflow)) 510    15000 7100   timeout 900     6400 7300    timeout 900     9000 9500    unknown 900     140 11000    timeout (timeout) 900     72 12000    true 6.3 310 53 true 6.6 400 52 true 6.4 310 51
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     750 7700    error (42) 870    3200 4100   true 2.9 270 25 unknown 1.4  75 16   timeout 900     1000 11000    timeout 900     1000 10000    unknown 900     940 12000    timeout (timeout) 900     100 12000    true 9.8 540 79 true 18   670 170 true 7.2 320 55
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c error (5) .12  22 .69 error (42) 870    310 3700   true 3.9 290 33 unknown 450    15000 6300   timeout 900     12000 6500    out of memory 720     15000 7600    unknown 900     600 12000    timeout (timeout) 900     92 12000    true 8.5 450 66 timeout 900   1200 14000 true 16   640 140
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .12  22 .66 error (42) 870    290 2400   true 4.0 290 40 unknown 440    15000 6000   timeout 900     12000 6200    out of memory 670     15000 7800    unknown 900     260 11000    timeout (timeout) 900     130 11000    true 19   790 170 timeout 900   1200 12000 true 44   1100 390
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .12  22 .64 error (42) 870    710 3800   timeout 900   1200 13000 out of memory (false(no-overflow)) 440    15000 5900   timeout 900     4900 6300    timeout 900     4800 12000    unknown 900     460 12000    timeout (timeout) 900     360 13000    true 12   560 93 timeout 900   1500 13000 true 23   670 180
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .11  22 .67 error (42) 870    480 3200   true 3.3 280 30 out of memory (false(no-overflow)) 390    15000 4400   timeout 900     4900 6800    out of memory 770     15000 6700    unknown 900     460 10000    timeout (timeout) 900     290 14000    true 8.4 480 71 timeout 900   1600 14000 true 13   580 110
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .10  22 .84 error (42) 870    700 3600   timeout 900   1400 9800 out of memory (false(no-overflow)) 440    15000 6000   timeout 900     4800 5200    out of memory 680     15000 6600    unknown 900     490 13000    timeout (timeout) 900     400 12000    true 12   530 99 timeout 900   1800 11000 true 15   610 110
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c error (5) .086 22 .64 error (42) 870    810 6200   timeout 900   5100 9900 out of memory (false(no-overflow)) 500    15000 5300   timeout 900     6100 6000    timeout 900     12000 7200    unknown 900     2400 9200    timeout (timeout) 900     980 11000    true 11   550 83 timeout 900   2000 11000 true 9.5 520 76
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .097 22 .64 error (42) 870    4100 5400   timeout 900   4300 11000 out of memory (false(no-overflow)) 500    15000 7300   out of memory 890     15000 7700    timeout 900     12000 10000    unknown 900     1600 10000    timeout (timeout) 900     270 10000    true 14   610 120 timeout 900   5000 12000 true 14   610 120
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true .11  23 .80 error (42) 870    2700 5600   true 2.6 270 22 unknown 1.2  75 13   timeout 900     2100 11000    true .079 26 .74 true .41  12 5.0  true .13  11 1.6  true 4.1 240 33 true 4.0 240 40 true 3.9 230 31
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c true .12  22 .84 error (42) 870    5300 4400   true 2.7 270 26 unknown 1.4  75 16   timeout 900     170 11000    true .072 26 .89 unknown 890     11 12000    true .16  11 1.6  true 5.3 300 45 true 6.4 380 52 true 5.8 300 46
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true .11  25 .81 error (42) 870    2200 6500   true 2.7 270 23 unknown 1.4  75 17   timeout 900     380 12000    true .10  26 .62 unknown 900     650 13000    timeout (timeout) 900     4000 10000    true 4.9 280 44 true 6.3 390 55 true 6.8 360 60
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true .11  23 .83 error (42) 870    2100 6800   true 2.6 270 24 unknown 1.3  75 17   timeout 900     400 9700    true .076 26 .86 unknown 900     250 11000    timeout (timeout) 900     250 12000    true 4.9 280 42 true 6.1 380 52 true 4.9 290 38
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c true .14  23 .75 error (42) 870    830 9100   true 2.7 270 26 unknown 1.2  75 16   timeout 900     220 12000    true .12  26 1.1  unknown 900     140 11000    timeout (timeout) 900     170 12000    true 5.0 290 41 true 6.0 340 50 true 4.9 300 44
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c true .15  23 1.7  error (42) 870    4500 4000   true 2.6 270 26 unknown 72    75 1000   timeout 900     720 11000    timeout 900     720 11000    unknown 900     460 11000    timeout (timeout) 900     250 12000    true 5.5 300 46 true 5.8 320 50 true 5.0 280 41
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c true .11  23 .72 error (42) 870    1300 9500   true 2.7 260 23 unknown 1.3  75 15   timeout 900     410 14000    true .12  26 .86 unknown 900     440 12000    timeout (timeout) 900     330 11000    true 5.7 300 45 true 6.5 380 62 true 5.6 300 46
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true .10  22 .74 error (42) 870    5100 4100   true 2.6 270 23 unknown 1.4  75 14   timeout 900     740 11000    true .11  26 .72 unknown 900     260 11000    timeout (timeout) 900     210 13000    true 4.8 290 38 true 5.1 260 47 true 4.7 280 36
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true .10  22 .84 true .39 33 5.0 true 2.7 290 25 unknown 1.2  48 12   true .069 26 .84 true .093 26 .73 true .29  11 3.5  true .14  11 1.3  true 4.1 240 33 true 3.8 240 31 true 4.0 240 35
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c true .10  22 .72 true .41 33 4.3 true 2.6 270 24 unknown 1.2  75 13   out of memory 290     15000 4400    true .10  26 .68 unknown 890     11 12000    true .13  11 1.4  true 4.1 240 37 true 3.8 230 33 true 4.2 240 31
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true .11  22 .92 true 4.2  61 55   true 2.7 270 22 unknown 1.4  75 17   true .61  26 8.6  true .11  26 .66 true .38  11 4.3  true .15  11 1.5  true 4.8 290 37 true 5.7 310 45 true 4.8 290 39
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     1700 9900    error (42) 870    2400 4200   timeout 900   13000 11000 unknown 120    240 1600   timeout 900     900 12000    timeout 900     890 10000    unknown 900     310 9900    timeout (timeout) 900     180 12000    timeout 900   5300 13000 timeout 900   7100 11000 true 7.4 350 60
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) .15  23 .84 false(no-overflow) .27 33 1.9 false(no-overflow) 2.8 270 24 false(no-overflow) .58 100 6.9 false(no-overflow) .29  28 2.3  false(no-overflow) .41  29 4.6  false(no-overflow) .41  12 6.0  false(no-overflow) .19  12 1.9  false(no-overflow) 4.7 300 43 false(no-overflow) 4.7 260 36 false(no-overflow) 4.7 290 40
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) .13  26 1.1  false(no-overflow) .28 36 2.6 false(no-overflow) 2.7 280 26 false(no-overflow) .60 130 6.5 false(no-overflow) .29  28 3.0  false(no-overflow) .56  30 6.8  false(no-overflow) .43  12 6.0  false(no-overflow) .19  12 1.9  false(no-overflow) 5.1 280 46 false(no-overflow) 4.9 260 42 false(no-overflow) 5.1 290 38
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) .11  23 .93 false(no-overflow) .25 33 2.1 false(no-overflow) 2.6 270 24 false(no-overflow) .40 75 4.7 false(no-overflow) .24  28 2.8  false(no-overflow) .26  28 3.2  false(no-overflow) .92  13 13    false(no-overflow) .20  12 1.8  false(no-overflow) 4.6 280 38 false(no-overflow) 4.3 250 42 false(no-overflow) 4.8 280 40
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) .14  23 .88 false(no-overflow) .24 33 2.5 false(no-overflow) 2.8 270 24 false(no-overflow) .39 75 4.4 false(no-overflow) .27  28 2.9  false(no-overflow) .35  28 2.8  unknown .82  13 10    false(no-overflow) .22  12 2.4  false(no-overflow) 4.4 240 36 false(no-overflow) 4.3 250 37 false(no-overflow) 4.4 250 36
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) .13  23 .98 false(no-overflow) .29 33 2.6 false(no-overflow) 2.6 270 21 false(no-overflow) .63 100 6.9 false(no-overflow) .23  28 1.8  false(no-overflow) .38  28 3.7  false(no-overflow) .68  13 7.9  false(no-overflow) .21  12 2.0  false(no-overflow) 5.9 300 49 false(no-overflow) 6.2 380 59 false(no-overflow) 6.3 290 47
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) .14  25 .96 false(no-overflow) .28 33 2.3 false(no-overflow) 2.8 270 26 false(no-overflow) .38 75 4.8 false(no-overflow) .25  28 2.2  false(no-overflow) .38  28 2.9  false(no-overflow) .72  12 7.8  false(no-overflow) .17  12 2.1  false(no-overflow) 4.0 240 37 false(no-overflow) 4.6 250 44 false(no-overflow) 4.3 250 35
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) .13  23 1.1  false(no-overflow) .26 33 2.7 false(no-overflow) 2.8 270 26 false(no-overflow) .58 130 6.7 false(no-overflow) .20  28 1.8  false(no-overflow) .36  28 3.8  false(no-overflow) 1.2   13 16    false(no-overflow) .25  12 2.7  false(no-overflow) 7.1 370 56 false(no-overflow) 5.9 340 51 false(no-overflow) 5.2 290 42
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout 900     1700 12000    error (42) 870    2400 3400   timeout 900   13000 11000 unknown 160    390 2100   timeout 900     890 12000    timeout 900     890 11000    unknown 900     270 11000    timeout (timeout) 900     200 10000    timeout 900   5300 15000 timeout 900   7000 10000 timeout 900   5300 12000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) .14  23 .90 false(no-overflow) .26 33 1.5 false(no-overflow) 2.6 270 23 false(no-overflow) .39 75 4.5 false(no-overflow) .27  28 2.4  false(no-overflow) .36  28 3.8  false(no-overflow) .53  13 6.5  false(no-overflow) .16  12 1.9  false(no-overflow) 5.0 290 42 false(no-overflow) 5.9 320 52 false(no-overflow) 4.7 280 40
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) .12  22 .87 false(no-overflow) .25 33 1.9 false(no-overflow) 2.6 270 24 false(no-overflow) .54 75 6.0 false(no-overflow) .13  28 1.4  false(no-overflow) .14  28 1.1  false(no-overflow) .30  11 3.6  false(no-overflow) .19  12 1.7  false(no-overflow) 4.5 280 38 false(no-overflow) 4.5 250 37 false(no-overflow) 4.7 290 36
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout 900     3000 5800    error (42) 870    1500 5000   timeout 900   6200 10000 unknown 900    710 6100   timeout 900     1100 11000    timeout 900     1000 9700    unknown 890     620 12000    timeout (timeout) 900     1900 9800    timeout 900   5000 13000 timeout 900   6000 12000 timeout 900   3000 15000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout 900     1000 9500    error (42) 870    590 9400   timeout 910   620 13000 unknown 900    140 12000   timeout 900     120 12000    timeout 900     120 9600    unknown 900     350 14000    timeout (timeout) 900     4000 8700    timeout 900   8500 9900 timeout 900   6700 12000 timeout 900   3800 12000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) .14  23 .84 false(no-overflow) .25 33 2.0 false(no-overflow) 2.9 280 27 false(no-overflow) .56 75 6.5 false(no-overflow) .15  28 1.3  false(no-overflow) .13  28 1.5  false(no-overflow) .40  12 5.0  false(no-overflow) .18  12 1.9  false(no-overflow) 4.1 250 35 false(no-overflow) 4.3 250 35 false(no-overflow) 4.4 250 34
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) .14  25 .85 false(no-overflow) .25 33 2.2 false(no-overflow) 2.7 280 24 false(no-overflow) .55 75 6.6 false(no-overflow) .22  28 2.5  false(no-overflow) .26  28 2.3  out of memory 31     15000 470    false(no-overflow) .19  12 1.8  false(no-overflow) 4.4 240 39 false(no-overflow) 4.1 250 36 false(no-overflow) 4.2 250 32
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) .13  22 .80 false(no-overflow) .27 33 2.0 false(no-overflow) 2.7 270 23 false(no-overflow) .39 75 4.8 false(no-overflow) .27  28 2.4  false(no-overflow) .35  28 3.7  false(no-overflow) .50  13 6.5  false(no-overflow) .19  12 2.0  false(no-overflow) 4.9 290 41 false(no-overflow) 5.5 310 48 false(no-overflow) 4.9 280 42
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) .14  23 .83 false(no-overflow) .25 33 2.3 false(no-overflow) 2.8 270 23 false(no-overflow) .38 75 4.7 false(no-overflow) .28  28 2.2  false(no-overflow) .45  28 3.7  false(no-overflow) .61  12 8.0  false(no-overflow) .19  12 1.9  false(no-overflow) 4.9 300 39 false(no-overflow) 4.7 270 39 false(no-overflow) 4.7 290 37
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) .13  23 .86 false(no-overflow) .25 33 2.6 false(no-overflow) 2.7 270 25 false(no-overflow) .61 76 7.1 false(no-overflow) .24  28 2.2  false(no-overflow) .26  28 2.5  out of memory 25     15000 310    false(no-overflow) .20  12 1.9  false(no-overflow) 4.8 280 37 false(no-overflow) 4.6 250 36 false(no-overflow) 4.7 290 40
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) .15  29 1.5  false(no-overflow) .35 38 2.6 false(no-overflow) 2.7 270 23 false(no-overflow) 480    130 6900   false(no-overflow) .42  29 4.2  false(no-overflow) .69  32 6.7  false(no-overflow) 1.9   20 22    false(no-overflow) .17  12 2.3  false(no-overflow) 4.4 250 37 false(no-overflow) 4.3 250 36 false(no-overflow) 4.3 250 39
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) .11  23 .82 false(no-overflow) .28 35 2.4 false(no-overflow) 2.8 270 22 false(no-overflow) .40 75 4.7 false(no-overflow) .27  28 2.6  false(no-overflow) .31  28 2.9  false(no-overflow) .68  12 8.2  false(no-overflow) .21  12 2.1  false(no-overflow) 4.5 250 36 false(no-overflow) 4.6 250 35 false(no-overflow) 4.4 250 32
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) .11  23 1.0  false(no-overflow) .27 33 2.2 false(no-overflow) 2.7 270 23 false(no-overflow) .41 75 4.5 false(no-overflow) .25  28 2.7  false(no-overflow) .29  28 3.4  false(no-overflow) .98  13 11    false(no-overflow) .20  12 1.8  false(no-overflow) 4.5 280 38 false(no-overflow) 4.3 240 37 false(no-overflow) 4.5 290 34
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) .13  23 .82 false(no-overflow) .25 33 2.2 false(no-overflow) 2.6 270 23 false(no-overflow) .39 75 4.8 false(no-overflow) .30  28 2.6  false(no-overflow) .33  28 2.9  false(no-overflow) .81  13 9.6  false(no-overflow) .20  12 2.3  false(no-overflow) 4.2 240 40 false(no-overflow) 4.2 260 36 false(no-overflow) 4.3 250 37
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) .14  23 .94 false(no-overflow) .28 33 2.2 false(no-overflow) 2.7 270 25 false(no-overflow) .44 76 4.8 false(no-overflow) .37  28 4.0  false(no-overflow) .47  29 4.2  false(no-overflow) .82  12 11    false(no-overflow) .21  12 2.0  false(no-overflow) 4.2 240 36 false(no-overflow) 4.3 260 34 false(no-overflow) 4.5 260 38
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) .13  24 .81 false(no-overflow) .27 33 2.3 false(no-overflow) 2.6 270 26 false(no-overflow) .42 76 4.6 false(no-overflow) .31  28 3.4  false(no-overflow) .42  28 4.3  out of memory 26     15000 360    false(no-overflow) .20  12 1.9  false(no-overflow) 4.3 250 39 false(no-overflow) 4.4 260 42 false(no-overflow) 4.2 250 34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) .11  23 .95 false(no-overflow) .25 33 1.9 false(no-overflow) 2.7 270 24 false(no-overflow) .55 75 6.4 false(no-overflow) .12  28 1.2  false(no-overflow) .14  28 1.4  false(no-overflow) .48  12 6.3  false(no-overflow) .17  12 1.7  false(no-overflow) 4.5 280 41 false(no-overflow) 4.3 250 36 false(no-overflow) 4.5 280 34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) .12  23 .86 false(no-overflow) .24 33 2.7 false(no-overflow) 2.7 270 23 false(no-overflow) .37 75 5.1 false(no-overflow) .11  28 1.3  false(no-overflow) .13  28 1.2  true 1.1   12 16    false(no-overflow) .17  12 2.2  false(no-overflow) 4.3 240 35 false(no-overflow) 4.3 240 34 false(no-overflow) 4.3 240 37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) .10  23 1.1  false(no-overflow) .23 33 2.8 false(no-overflow) 2.6 280 22 false(no-overflow) .39 75 4.4 false(no-overflow) .12  28 1.5  false(no-overflow) .12  28 1.3  false(no-overflow) .37  11 4.8  false(no-overflow) .17  12 2.0  false(no-overflow) 4.4 280 37 false(no-overflow) 4.4 250 35 false(no-overflow) 4.4 290 37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) .10  23 .75 false(no-overflow) .24 33 1.8 false(no-overflow) 2.7 290 28 false(no-overflow) .39 75 4.3 false(no-overflow) .11  28 1.5  false(no-overflow) .16  28 1.1  false(no-overflow) .38  12 4.5  false(no-overflow) .17  12 1.9  false(no-overflow) 4.2 240 32 false(no-overflow) 4.2 250 39 false(no-overflow) 4.1 240 36
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) .14  23 .88 false(no-overflow) .26 33 2.1 false(no-overflow) 2.8 280 26 false(no-overflow) .38 75 5.0 false(no-overflow) .13  28 1.2  false(no-overflow) .14  28 1.2  false(no-overflow) .36  12 4.4  false(no-overflow) .20  12 2.0  false(no-overflow) 4.1 230 34 false(no-overflow) 4.2 250 35 false(no-overflow) 4.1 240 36
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) .13  22 .81 false(no-overflow) .27 33 1.9 false(no-overflow) 2.6 270 24 false(no-overflow) .54 75 7.4 false(no-overflow) .18  28 1.5  false(no-overflow) .19  28 1.9  false(no-overflow) .54  13 7.6  false(no-overflow) .17  12 1.8  false(no-overflow) 3.9 230 31 false(no-overflow) 4.2 250 34 false(no-overflow) 4.3 240 39
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) .14  23 .83 false(no-overflow) .24 33 2.3 false(no-overflow) 2.6 270 23 false(no-overflow) .54 75 6.8 false(no-overflow) .17  28 1.7  false(no-overflow) .29  28 3.1  false(no-overflow) .58  12 7.9  false(no-overflow) .17  12 2.0  false(no-overflow) 4.5 280 39 false(no-overflow) 4.3 250 40 false(no-overflow) 4.6 280 38
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) .14  23 .82 false(no-overflow) .26 33 2.2 false(no-overflow) 2.6 280 23 false(no-overflow) .56 75 6.6 false(no-overflow) .17  28 1.8  false(no-overflow) .30  28 2.8  unknown .52  12 7.0  false(no-overflow) .17  12 2.1  false(no-overflow) 4.2 240 39 false(no-overflow) 4.3 250 37 false(no-overflow) 4.1 240 37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) .10  23 1.1  false(no-overflow) .25 33 2.2 false(no-overflow) 2.6 270 23 false(no-overflow) .56 75 6.3 false(no-overflow) .17  28 2.1  false(no-overflow) .21  28 1.9  false(no-overflow) .93  13 13    false(no-overflow) .17  12 1.6  false(no-overflow) 4.2 240 32 false(no-overflow) 4.2 250 41 false(no-overflow) 4.2 240 34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) .11  23 .84 false(no-overflow) .26 33 2.0 false(no-overflow) 2.6 270 22 false(no-overflow) .56 75 7.4 false(no-overflow) .16  28 1.6  false(no-overflow) .22  28 2.3  out of memory 27     15000 360    false(no-overflow) .18  12 1.9  false(no-overflow) 4.1 250 41 false(no-overflow) 4.3 240 35 false(no-overflow) 4.2 240 33
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) .15  24 1.1  false(no-overflow) .27 34 2.2 false(no-overflow) 2.6 270 26 false(no-overflow) .40 75 4.5 false(no-overflow) .20  28 2.1  false(no-overflow) .24  28 2.5  false(no-overflow) 1.1   12 14    false(no-overflow) .16  12 1.7  false(no-overflow) 4.3 240 35 false(no-overflow) 4.1 250 35 false(no-overflow) 4.1 240 32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) .13  23 .98 false(no-overflow) .27 33 2.2 false(no-overflow) 2.8 290 29 false(no-overflow) .37 75 4.7 false(no-overflow) .18  28 1.5  false(no-overflow) .27  28 2.6  false(no-overflow) .58  12 7.8  false(no-overflow) .16  12 2.1  false(no-overflow) 4.0 240 36 false(no-overflow) 4.0 250 34 false(no-overflow) 4.3 240 36
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) .14  23 .85 false(no-overflow) .26 33 2.2 false(no-overflow) 2.7 270 22 false(no-overflow) .55 75 6.1 false(no-overflow) .20  28 1.5  false(no-overflow) .21  28 2.2  false(no-overflow) .72  12 9.7  false(no-overflow) .19  12 1.8  false(no-overflow) 4.2 240 34 false(no-overflow) 4.2 250 34 false(no-overflow) 4.3 240 38
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) .14  23 .88 false(no-overflow) .26 33 2.0 false(no-overflow) 2.6 260 22 false(no-overflow) .39 75 5.7 false(no-overflow) .21  28 2.1  false(no-overflow) .24  28 3.1  false(no-overflow) 1.0   13 12    false(no-overflow) .17  12 1.9  false(no-overflow) 4.9 290 43 false(no-overflow) 5.2 290 42 false(no-overflow) 5.3 290 43
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) .10  23 .87 false(no-overflow) .25 33 2.4 false(no-overflow) 2.7 270 23 false(no-overflow) .39 75 4.2 false(no-overflow) .18  28 1.5  false(no-overflow) .25  28 2.1  false(no-overflow) .49  12 6.1  false(no-overflow) .16  12 1.9  false(no-overflow) 4.7 300 39 false(no-overflow) 5.7 330 45 false(no-overflow) 4.9 290 38
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) .15  24 .77 false(no-overflow) .27 34 2.9 false(no-overflow) 2.7 280 21 false(no-overflow) .40 75 4.4 false(no-overflow) .29  28 3.2  false(no-overflow) .37  29 4.5  false(no-overflow) .87  12 10    false(no-overflow) .19  12 1.6  false(no-overflow) 6.2 330 45 false(no-overflow) 4.3 250 36 false(no-overflow) 4.1 240 31
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) .14  23 .83 false(no-overflow) .25 33 2.0 false(no-overflow) 2.6 270 25 false(no-overflow) .55 75 6.3 false(no-overflow) .26  28 2.4  false(no-overflow) .31  28 2.7  false(no-overflow) 1.3   13 19    false(no-overflow) .16  12 2.2  false(no-overflow) 4.0 250 34 false(no-overflow) 4.3 250 37 false(no-overflow) 4.1 240 35
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) .12  23 .89 false(no-overflow) .28 33 2.0 false(no-overflow) 2.6 270 22 false(no-overflow) .39 75 4.9 false(no-overflow) .19  28 2.7  false(no-overflow) .25  28 2.5  false(no-overflow) .73  12 9.6  false(no-overflow) .16  12 1.9  false(no-overflow) 4.1 240 34 false(no-overflow) 4.4 250 39 false(no-overflow) 4.4 250 31
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) .14  23 .88 false(no-overflow) .26 33 2.0 false(no-overflow) 2.6 270 22 false(no-overflow) .40 75 4.3 false(no-overflow) .19  28 2.5  false(no-overflow) .25  28 2.0  false(no-overflow) .58  12 6.3  false(no-overflow) .16  12 1.8  false(no-overflow) 4.2 240 38 false(no-overflow) 4.2 250 38 false(no-overflow) 4.4 250 33
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) .13  22 .89 false(no-overflow) .26 33 1.8 false(no-overflow) 2.8 270 22 false(no-overflow) .54 75 5.5 false(no-overflow) .17  28 1.8  false(no-overflow) .17  28 1.9  false(no-overflow) .54  12 6.4  false(no-overflow) .18  12 1.8  false(no-overflow) 4.2 240 37 false(no-overflow) 4.2 240 35 false(no-overflow) 4.0 240 32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) .11  23 .81 false(no-overflow) .27 33 2.1 false(no-overflow) 2.6 260 23 false(no-overflow) .38 75 4.0 false(no-overflow) .16  28 1.5  false(no-overflow) .23  28 1.7  false(no-overflow) .40  12 5.3  false(no-overflow) .18  12 2.0  false(no-overflow) 4.4 270 36 false(no-overflow) 4.4 250 37 false(no-overflow) 4.6 280 34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) .13  22 .84 false(no-overflow) .24 33 2.5 false(no-overflow) 2.6 260 25 false(no-overflow) .36 75 4.7 false(no-overflow) .18  28 1.6  false(no-overflow) .16  28 2.1  false(no-overflow) .44  11 6.0  false(no-overflow) .15  12 1.7  false(no-overflow) 4.1 230 33 false(no-overflow) 4.3 250 39 false(no-overflow) 4.3 240 34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) .11  23 .97 false(no-overflow) .25 33 2.8 false(no-overflow) 2.8 270 24 false(no-overflow) .54 75 6.8 false(no-overflow) .18  28 1.9  false(no-overflow) .27  28 2.6  false(no-overflow) .69  12 9.4  false(no-overflow) .16  12 1.7  false(no-overflow) 4.0 240 33 false(no-overflow) 4.2 240 33 false(no-overflow) 6.3 340 55
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) .13  23 .84 false(no-overflow) .23 33 2.9 false(no-overflow) 2.6 260 22 false(no-overflow) .36 75 4.3 false(no-overflow) .18  28 1.7  false(no-overflow) .22  28 3.0  unknown .86  12 9.9  false(no-overflow) .17  12 2.1  false(no-overflow) 4.2 240 31 false(no-overflow) 4.4 250 39 false(no-overflow) 4.2 250 38
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) .11  23 1.0  false(no-overflow) .28 33 2.1 false(no-overflow) 2.8 270 23 false(no-overflow) .56 75 7.3 false(no-overflow) .17  28 1.7  false(no-overflow) .22  28 1.7  false(no-overflow) .51  12 6.9  false(no-overflow) .16  12 1.9  false(no-overflow) 4.1 250 33 false(no-overflow) 4.2 250 35 false(no-overflow) 4.3 240 37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) .12  22 .92 false(no-overflow) .24 33 2.7 false(no-overflow) 2.6 270 23 false(no-overflow) .37 75 4.7 false(no-overflow) .17  28 1.9  false(no-overflow) .20  28 1.6  true .44  12 6.1  false(no-overflow) .17  12 2.1  false(no-overflow) 4.0 250 37 false(no-overflow) 4.2 250 35 false(no-overflow) 4.0 240 32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) .12  23 .73 false(no-overflow) .23 33 2.3 false(no-overflow) 2.7 270 23 false(no-overflow) .55 75 6.8 false(no-overflow) .25  28 2.1  false(no-overflow) .34  28 3.2  false(no-overflow) 1.1   13 13    false(no-overflow) .16  12 2.1  false(no-overflow) 4.4 250 33 false(no-overflow) 4.3 250 38 false(no-overflow) 4.2 250 32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) .12  22 .80 false(no-overflow) .26 33 1.9 false(no-overflow) 2.6 270 26 false(no-overflow) .55 75 5.7 false(no-overflow) .25  28 1.6  false(no-overflow) .37  28 4.9  false(no-overflow) .70  15 8.5  false(no-overflow) .18  12 1.7  false(no-overflow) 6.5 340 48 false(no-overflow) 4.1 250 40 false(no-overflow) 6.1 340 45
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) .12  23 .99 false(no-overflow) .25 33 2.1 false(no-overflow) 2.7 270 24 false(no-overflow) .37 75 4.3 false(no-overflow) .26  28 2.1  false(no-overflow) .35  28 3.0  false(no-overflow) .96  13 13    false(no-overflow) .17  12 1.8  false(no-overflow) 4.3 250 37 false(no-overflow) 4.7 260 33 false(no-overflow) 4.1 240 37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) .12  23 .89 false(no-overflow) .27 33 2.1 false(no-overflow) 2.6 270 22 false(no-overflow) .38 75 5.2 false(no-overflow) .24  28 1.9  false(no-overflow) .27  28 2.4  false(no-overflow) .81  13 9.6  false(no-overflow) .17  12 2.3  false(no-overflow) 4.2 240 34 false(no-overflow) 4.2 250 39 false(no-overflow) 3.9 230 31
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) .12  23 1.1  false(no-overflow) .27 33 2.4 false(no-overflow) 2.7 270 25 false(no-overflow) .54 75 7.0 false(no-overflow) .23  28 1.9  false(no-overflow) .22  28 2.1  false(no-overflow) .68  12 9.5  false(no-overflow) .16  12 1.9  false(no-overflow) 4.6 280 35 false(no-overflow) 4.5 260 35 false(no-overflow) 4.8 280 34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) .11  23 1.1  false(no-overflow) .25 33 2.3 false(no-overflow) 2.7 270 25 false(no-overflow) .56 75 7.5 false(no-overflow) .20  28 2.2  false(no-overflow) .23  28 2.2  unknown 1.7   13 23    false(no-overflow) .16  12 2.0  false(no-overflow) 4.3 240 38 false(no-overflow) 4.5 250 35 false(no-overflow) 4.1 250 34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) .12  23 .84 false(no-overflow) .24 33 2.2 false(no-overflow) 2.7 260 23 false(no-overflow) .39 75 4.6 false(no-overflow) .23  28 2.0  false(no-overflow) .29  28 2.6  false(no-overflow) .85  14 10    false(no-overflow) .20  12 1.8  false(no-overflow) 4.1 240 34 false(no-overflow) 4.2 250 36 false(no-overflow) 4.1 240 34
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) .12  23 .82 false(no-overflow) .24 35 2.3 false(no-overflow) 3.2 310 29 false(no-overflow) .39 75 4.6 false(no-overflow) .20  28 1.4  false(no-overflow) .25  28 2.0  false(no-overflow) .78  12 8.4  false(no-overflow) .17  12 1.9  false(no-overflow) 4.2 240 38 false(no-overflow) 4.4 250 36 false(no-overflow) 4.1 250 37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) .13  23 .91 false(no-overflow) .25 33 1.9 false(no-overflow) 2.7 270 25 false(no-overflow) .37 75 5.3 false(no-overflow) .22  28 2.2  false(no-overflow) .26  28 2.4  false(no-overflow) 1.6   14 19    false(no-overflow) .21  12 2.0  false(no-overflow) 4.2 250 37 false(no-overflow) 4.2 250 35 false(no-overflow) 4.3 250 35
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) .13  23 1.1  false(no-overflow) .25 33 2.1 false(no-overflow) 2.7 270 26 false(no-overflow) .38 75 3.9 false(no-overflow) .31  28 2.8  false(no-overflow) .32  28 3.1  false(no-overflow) 1.1   13 13    false(no-overflow) .18  12 2.0  false(no-overflow) 4.2 250 36 false(no-overflow) 4.2 250 35 false(no-overflow) 4.2 250 32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) .11  22 .84 false(no-overflow) .25 33 2.1 false(no-overflow) 2.8 270 22 false(no-overflow) .55 75 6.6 false(no-overflow) .23  28 2.1  false(no-overflow) .23  28 2.5  false(no-overflow) .49  13 5.8  false(no-overflow) .16  12 2.2  false(no-overflow) 4.3 250 32 false(no-overflow) 4.2 260 35 false(no-overflow) 4.4 250 36
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) .13  23 .80 false(no-overflow) .28 33 2.2 false(no-overflow) 2.7 260 25 false(no-overflow) .39 75 4.8 false(no-overflow) .28  28 2.2  false(no-overflow) .41  28 3.3  false(no-overflow) .48  13 5.6  false(no-overflow) .19  12 1.8  false(no-overflow) 4.9 290 39 false(no-overflow) 5.6 300 48 false(no-overflow) 4.7 290 40
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) .12  23 .80 false(no-overflow) .27 33 2.1 false(no-overflow) 2.8 270 21 false(no-overflow) .56 75 6.8 false(no-overflow) .28  28 2.7  false(no-overflow) .30  28 3.1  false(no-overflow) .46  12 4.9  false(no-overflow) .18  12 1.8  false(no-overflow) 4.1 240 33 false(no-overflow) 4.2 250 34 false(no-overflow) 4.2 250 37
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) .11  23 .99 false(no-overflow) .24 33 2.1 false(no-overflow) 2.8 270 26 false(no-overflow) .56 100 6.6 false(no-overflow) .28  28 2.3  false(no-overflow) .49  28 4.5  false(no-overflow) .49  12 7.0  false(no-overflow) .16  12 2.1  false(no-overflow) 4.2 240 37 false(no-overflow) 4.2 250 33 false(no-overflow) 4.3 250 34
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) .10  23 1.0  false(no-overflow) .24 33 2.1 false(no-overflow) 2.6 270 23 false(no-overflow) .55 75 6.6 false(no-overflow) .24  28 2.0  false(no-overflow) .22  28 2.6  out of memory 26     15000 330    false(no-overflow) .18  12 1.8  false(no-overflow) 4.1 240 38 false(no-overflow) 4.3 250 35 false(no-overflow) 4.2 240 40
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) .11  23 .95 false(no-overflow) .28 33 2.1 false(no-overflow) 2.7 280 24 false(no-overflow) .57 75 7.6 false(no-overflow) .21  28 1.9  false(no-overflow) .25  28 2.2  false(no-overflow) .57  12 7.9  false(no-overflow) .18  12 2.4  false(no-overflow) 4.8 280 42 false(no-overflow) 4.9 270 42 false(no-overflow) 5.0 290 43
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) .13  23 1.2  false(no-overflow) .28 33 2.0 false(no-overflow) 3.2 290 26 false(no-overflow) .65 79 8.1 false(no-overflow) .19  28 1.5  false(no-overflow) .16  28 1.7  false(no-overflow) 3.4   15 46    false(no-overflow) .18  12 2.0  false(no-overflow) 6.1 300 56 false(no-overflow) 9.9 480 81 false(no-overflow) 5.8 290 48
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) .14  23 .82 false(no-overflow) .29 33 2.0 false(no-overflow) 2.7 270 26 false(no-overflow) .55 75 7.2 false(no-overflow) .20  28 1.9  false(no-overflow) .25  28 2.5  false(no-overflow) .46  12 5.2  false(no-overflow) .18  12 2.0  false(no-overflow) 4.2 240 32 false(no-overflow) 4.2 250 40 false(no-overflow) 4.2 250 36
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) .13  22 .90 false(no-overflow) .24 33 2.6 false(no-overflow) 2.8 270 24 false(no-overflow) .58 75 6.4 false(no-overflow) .18  28 1.5  false(no-overflow) .18  28 1.8  unknown .052 11 .34 unknown 2.4   4300 25    false(no-overflow) 4.9 290 43 false(no-overflow) 4.9 260 38 false(no-overflow) 4.7 280 38
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) .14  23 .96 false(no-overflow) .24 33 2.4 false(no-overflow) 2.7 280 26 false(no-overflow) .56 75 6.4 false(no-overflow) .19  28 1.6  false(no-overflow) .18  28 2.1  false(no-overflow) .52  12 6.5  false(no-overflow) .18  12 1.6  false(no-overflow) 4.1 240 32 false(no-overflow) 4.3 250 36 false(no-overflow) 4.4 250 36
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) .14  23 1.0  false(no-overflow) .27 33 2.0 false(no-overflow) 2.8 280 24 false(no-overflow) .57 75 6.8 false(no-overflow) .22  28 1.9  false(no-overflow) .25  28 2.3  false(no-overflow) .54  12 7.7  false(no-overflow) .16  12 1.7  false(no-overflow) 4.1 240 37 false(no-overflow) 4.3 240 38 false(no-overflow) 4.3 240 34
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c error (5) .098 22 .66 false(no-overflow) .26 33 2.3 false(no-overflow) 3.0 280 26 false(no-overflow) .56 49 6.5 false(no-overflow) .14  28 1.3  false(no-overflow) .12  28 1.7  false(no-overflow) .41  12 5.9  false(no-overflow) .16  12 2.1  false(no-overflow) 5.7 310 53 false(no-overflow) 5.7 320 46 false(no-overflow) 5.3 290 46
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c error (5) .10  22 .62 false(no-overflow) .24 33 2.6 false(no-overflow) 3.2 280 27 false(no-overflow) .56 49 7.7 false(no-overflow) .18  28 1.6  false(no-overflow) .19  28 2.2  false(no-overflow) .62  12 6.6  false(no-overflow) .18  12 2.0  false(no-overflow) 5.1 290 42 false(no-overflow) 5.5 320 43 false(no-overflow) 5.2 290 41
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c error (5) .11  22 .86 false(no-overflow) .29 33 2.4 timeout 900   2500 8200 false(no-overflow) .57 49 6.3 false(no-overflow) .18  28 1.6  false(no-overflow) .20  28 1.5  false(no-overflow) .47  12 5.5  false(no-overflow) .18  12 2.0  false(no-overflow) 4.3 240 34 false(no-overflow) 4.3 250 39 false(no-overflow) 4.3 240 32
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c error (5) .11  22 .59 false(no-overflow) .28 33 2.1 false(no-overflow) 3.1 310 28 false(no-overflow) .56 51 7.4 false(no-overflow) .17  28 1.6  false(no-overflow) .21  28 1.8  false(no-overflow) .48  12 6.4  false(no-overflow) .16  12 1.6  false(no-overflow) 4.0 240 35 false(no-overflow) 4.4 250 38 false(no-overflow) 4.4 240 37
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) .12  22 .94 false(no-overflow) .24 33 2.3 false(no-overflow) 2.5 260 23 false(no-overflow) .55 75 6.1 false(no-overflow) .20  28 1.5  false(no-overflow) .19  28 2.4  false(no-overflow) .53  12 6.1  false(no-overflow) .18  12 1.8  false(no-overflow) 4.2 240 37 false(no-overflow) 4.2 250 33 false(no-overflow) 4.3 250 32
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) .11  23 .91 false(no-overflow) .23 33 2.5 false(no-overflow) 2.6 270 26 false(no-overflow) .56 75 5.9 false(no-overflow) .17  28 1.8  false(no-overflow) .20  28 1.9  false(no-overflow) .44  12 4.8  false(no-overflow) .16  12 1.8  false(no-overflow) 4.5 280 39 false(no-overflow) 4.5 250 36 false(no-overflow) 4.6 280 40
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) .11  23 .72 false(no-overflow) .24 33 2.6 false(no-overflow) 2.8 270 26 false(no-overflow) .55 75 7.0 false(no-overflow) .17  28 1.7  false(no-overflow) .23  28 3.1  false(no-overflow) .56  13 6.4  false(no-overflow) .18  12 1.7  false(no-overflow) 4.3 240 33 false(no-overflow) 4.1 250 32 false(no-overflow) 4.1 240 32
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) .11  22 .94 false(no-overflow) .25 33 2.1 false(no-overflow) 2.6 270 22 false(no-overflow) .55 75 6.4 false(no-overflow) .15  28 1.9  false(no-overflow) .26  28 2.9  out of memory 26     15000 350    false(no-overflow) .16  12 1.9  false(no-overflow) 4.0 240 34 false(no-overflow) 4.0 250 31 false(no-overflow) 3.9 240 30
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) .10  23 1.3  false(no-overflow) .27 33 2.1 false(no-overflow) 2.9 290 24 false(no-overflow) .36 75 4.5 false(no-overflow) .19  28 1.7  false(no-overflow) .21  28 1.8  false(no-overflow) .54  12 7.3  false(no-overflow) .18  12 2.0  false(no-overflow) 4.2 240 35 false(no-overflow) 6.1 340 46 false(no-overflow) 4.2 240 35
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) .13  22 .74 false(no-overflow) .27 33 2.0 false(no-overflow) 2.6 270 26 false(no-overflow) .54 75 7.2 false(no-overflow) .19  28 1.5  false(no-overflow) .22  28 1.7  false(no-overflow) .58  12 7.3  false(no-overflow) .19  12 1.7  false(no-overflow) 4.0 240 32 false(no-overflow) 4.1 250 38 false(no-overflow) 4.2 240 34
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) .14  23 .82 false(no-overflow) .25 35 2.0 false(no-overflow) 2.7 270 26 false(no-overflow) .53 75 6.5 false(no-overflow) .19  28 1.8  false(no-overflow) .21  28 1.7  false(no-overflow) .55  12 7.2  false(no-overflow) .16  12 2.0  false(no-overflow) 4.0 250 36 false(no-overflow) 4.1 250 32 false(no-overflow) 4.2 250 32
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) .14  23 .88 false(no-overflow) .26 33 2.1 false(no-overflow) 2.7 270 27 false(no-overflow) .55 75 8.4 false(no-overflow) .19  28 1.9  false(no-overflow) .25  28 2.2  false(no-overflow) .71  12 8.3  false(no-overflow) .16  12 1.8  false(no-overflow) 4.2 250 36 false(no-overflow) 4.2 250 38 false(no-overflow) 4.4 250 37
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) .12  23 .81 false(no-overflow) .28 33 1.9 false(no-overflow) 2.9 270 25 false(no-overflow) .56 76 6.5 false(no-overflow) .27  28 2.5  false(no-overflow) .43  28 3.6  false(no-overflow) .57  12 6.9  false(no-overflow) .19  12 1.9  false(no-overflow) 4.2 250 37 false(no-overflow) 4.3 250 37 false(no-overflow) 4.1 250 35
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) .13  23 .90 false(no-overflow) .25 33 2.7 false(no-overflow) 2.9 270 25 false(no-overflow) .56 75 7.7 false(no-overflow) .28  28 2.6  false(no-overflow) .24  28 2.5  false(no-overflow) .82  13 10    false(no-overflow) .18  12 1.9  false(no-overflow) 4.8 290 37 false(no-overflow) 5.4 270 43 false(no-overflow) 4.9 280 36
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) .12  23 .90 false(no-overflow) .25 33 2.2 false(no-overflow) 2.8 270 24 false(no-overflow) .40 75 4.3 false(no-overflow) .24  28 2.5  false(no-overflow) .30  28 2.9  false(no-overflow) .52  12 5.1  false(no-overflow) .19  12 2.1  false(no-overflow) 5.1 290 40 false(no-overflow) 6.2 350 51 false(no-overflow) 5.3 300 41
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) .14  22 .76 false(no-overflow) .28 33 2.2 false(no-overflow) 2.7 270 25 false(no-overflow) .37 75 4.7 false(no-overflow) .29  28 2.4  false(no-overflow) .34  28 3.0  false(no-overflow) .48  12 5.5  false(no-overflow) .21  12 2.0  false(no-overflow) 5.3 280 45 false(no-overflow) 6.1 340 52 false(no-overflow) 5.2 280 40
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) .12  24 1.1  false(no-overflow) .23 33 2.4 false(no-overflow) 2.7 270 23 false(no-overflow) .40 75 4.6 false(no-overflow) .25  28 2.1  false(no-overflow) .34  28 2.9  false(no-overflow) .50  12 5.5  false(no-overflow) .20  12 2.0  false(no-overflow) 5.2 300 48 false(no-overflow) 6.1 340 44 false(no-overflow) 4.8 290 39
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) .13  23 .90 false(no-overflow) .26 33 2.0 false(no-overflow) 2.7 270 23 false(no-overflow) .41 75 4.7 false(no-overflow) .24  28 2.3  false(no-overflow) .32  29 3.0  unknown .55  12 6.1  false(no-overflow) .19  12 1.9  false(no-overflow) 4.3 250 39 false(no-overflow) 4.3 250 37 false(no-overflow) 6.5 340 56
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) .11  23 1.2  false(no-overflow) .25 33 2.6 false(no-overflow) 2.7 280 24 false(no-overflow) .55 75 7.2 false(no-overflow) .15  28 1.3  false(no-overflow) .15  28 1.4  false(no-overflow) .48  14 5.7  false(no-overflow) .16  12 2.1  false(no-overflow) 4.5 280 40 false(no-overflow) 4.3 250 33 false(no-overflow) 4.5 270 37
termination-crafted-lit/cstrncmp_false-no-overflow.c error (134) .16  23 1.4  false(no-overflow) .44 34 4.6 false(no-overflow) 3.7 330 34 false(no-overflow) .68 76 8.3 false(no-overflow) .34  29 2.8  false(no-overflow) .37  29 4.5  unknown .064 11 .48 false(no-overflow) .24  13 2.6  false(no-overflow) 8.0 370 61 false(no-overflow) 6.4 350 54 false(no-overflow) 5.8 290 51
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) .15  23 .86 false(no-overflow) .25 35 2.3 false(no-overflow) 2.6 270 20 false(no-overflow) .57 100 6.5 false(no-overflow) .29  28 2.2  false(no-overflow) .26  28 3.7  unknown 900     120 12000    false(no-overflow) .20  12 2.2  false(no-overflow) 4.4 250 37 false(no-overflow) 4.2 250 37 false(no-overflow) 4.0 250 31
termination-crafted-lit/joey_false-no-overflow.c error (5) .091 22 .78 false(no-overflow) .30 34 3.1 false(no-overflow) 2.7 270 22 out of memory (false(no-overflow)) 630    15000 8800   false(no-overflow) .13  28 1.3  false(no-overflow) .14  28 1.3  false(no-overflow) .43  12 5.1  false(no-overflow) .19  12 1.8  false(no-overflow) 5.0 290 48 false(no-overflow) 5.3 300 48 false(no-overflow) 5.3 300 44
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) .10  23 .90 false(no-overflow) .27 35 2.1 false(no-overflow) 2.8 270 26 false(no-overflow) .42 75 4.8 false(no-overflow) .27  28 2.9  false(no-overflow) .29  28 3.5  false(no-overflow) 1.1   13 16    false(no-overflow) .18  12 1.7  false(no-overflow) 4.4 250 37 false(no-overflow) 4.4 250 40 false(no-overflow) 4.3 250 34
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 900     900 7600    error (42) 870    590 8400   out of memory 850   15000 12000 unknown 890    120 9800   timeout 900     620 9300    timeout 900     590 11000    unknown 900     650 11000    timeout (timeout) 900     4000 9000    timeout 900   5100 15000 timeout 900   6300 12000 timeout 900   3800 12000
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true .11  22 .87 error (42) 870    1800 6000   true 2.7 270 23 unknown 1.4  75 15   timeout 900     600 9700    true .12  26 .65 unknown 900     340 11000    timeout (timeout) 900     360 13000    true 5.3 300 42 true 6.8 470 61 true 8.6 400 75
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true .13  23 .81 true 4.3  61 44   true 2.7 260 23 unknown 1.4  75 18   true .62  26 7.3  true .074 26 .91 true .39  11 4.3  true .15  11 1.4  true 4.6 280 37 true 5.6 310 45 true 5.0 290 40
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 900     1700 9800    error (42) 870    2300 3900   timeout 900   13000 11000 unknown 120    240 1700   timeout 900     900 12000    timeout 900     900 11000    unknown 900     300 10000    timeout (timeout) 900     210 12000    timeout 900   5300 12000 timeout 900   7100 14000 true 7.0 370 57
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c true 20     610 180    error (42) 870    1700 5400   true 100   1100 860 unknown 900    710 12000   timeout 900     310 11000    timeout 900     310 12000    unknown 900     160 12000    timeout (timeout) 900     350 8700    true 5.6 290 45 true 7.6 490 68 true 8.1 380 61
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c timeout 900     2500 5800    error (42) 870    1500 4800   timeout 900   6200 10000 unknown 900    1200 8000   timeout 900     870 9800    true .23  27 2.6  unknown 900     640 12000    timeout (timeout) 900     1900 11000    true 15   640 130 true 120   2300 1700 true 46   1400 450
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 900     990 10000    error (42) 870    610 8700   timeout 900   540 12000 unknown 890    130 11000   timeout 900     130 12000    timeout 900     130 10000    unknown 900     370 10000    timeout (timeout) 900     4300 11000    timeout 900   4700 14000 timeout 900   6600 15000 true 10   490 76
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true .79  40 9.2  true 1.4  34 15   true 59   480 780 unknown 7.3  76 89   true .18  26 1.7  true .25  26 3.0  unknown 900     1800 10000    timeout (timeout) 900     3200 8000    true 160   4700 1900 timeout 900   6400 11000 true 51   1700 470
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true .14  23 .72 error (42) 870    1400 7400   true 2.8 270 24 unknown 1.5  75 17   timeout 900     240 10000    true .077 26 .86 unknown 900     250 9900    timeout (timeout) 900     200 12000    true 5.9 300 45 true 7.5 470 69 true 7.0 340 53
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true .11  23 .69 error (42) 870    1200 8500   true 2.8 270 23 unknown 1.5  75 17   timeout 900     190 12000    true .12  26 1.3  unknown 900     660 13000    timeout (timeout) 900     1800 10000    true 7.0 330 52 true 16   700 160 true 8.9 490 67
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true .13  23 .78 error (42) 870    1300 5500   true 2.9 280 27 unknown 1.4  75 14   timeout 900     250 12000    true .14  26 1.0  unknown 900     120 10000    timeout (timeout) 900     31 12000    true 5.9 300 50 true 8.5 530 83 true 6.9 320 53
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true .11  23 .80 error (42) 870    2700 7200   true 3.9 280 36 unknown 1.5  100 17   timeout 900     1100 11000    true .12  26 .78 unknown 900     230 11000    timeout (timeout) 900     190 12000    true 4.9 290 37 true 7.2 440 60 true 5.0 290 44
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true .12  22 .76 error (42) 870    5500 5100   true 2.8 260 25 unknown 1.8  100 25   timeout 900     280 13000    true .091 26 .71 unknown 900     310 11000    timeout (timeout) 900     320 10000    true 6.6 320 56 true 7.6 480 68 true 6.6 320 53
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true .22  25 1.9  error (42) 870    1100 7300   true 2.8 270 25 unknown 890    110 13000   timeout 900     120 12000    timeout 900     120 13000    unknown 900     210 12000    timeout (timeout) 900     68 12000    true 8.4 380 65 true 14   630 120 true 6.5 330 56
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c timeout 900     2100 12000    error (42) 870    1400 5700   timeout 900   6900 11000 unknown 200    270 2800   timeout 900     310 13000    timeout 900     310 11000    unknown 900     240 11000    timeout (timeout) 900     210 12000    timeout 900   5300 12000 timeout 900   6700 11000 true 10   520 84
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c timeout 900     480 7000    error (42) 870    360 7500   true 2.8 270 25 unknown 43    75 540   timeout 900     110 12000    timeout 900     99 10000    unknown 900     75 11000    timeout (timeout) 900     66 12000    true 8.0 450 70 true 13   590 130 true 10   500 92
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c timeout 900     510 6800    error (42) 870    360 6900   true 2.8 270 24 unknown 30    75 340   timeout 900     110 11000    timeout 900     99 11000    unknown 900     72 12000    timeout (timeout) 900     65 11000    true 7.8 420 63 true 19   690 190 true 7.6 360 60
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true .097 25 .88 error (42) 870    2400 4400   timeout 900   8000 11000 unknown 1.9  100 24   timeout 900     340 12000    true .16  26 1.5  unknown 900     500 10000    timeout (timeout) 900     430 10000    true 6.0 310 51 true 14   580 120 true 6.4 300 50
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 900     1200 7000    error (42) 870    7000 3600   out of memory 890   15000 11000 unknown 900    5300 13000   timeout 900     350 11000    timeout 900     350 11000    unknown 900     130 10000    timeout (timeout) 900     170 11000    timeout 900   2500 12000 timeout 900   6100 13000 timeout 900   4900 14000
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c timeout 900     1200 9700    error (42) 870    3100 4400   timeout 900   4000 9100 unknown 130    230 1800   timeout 900     670 9900    timeout 900     670 11000    unknown 900     300 9900    timeout (timeout) 900     130 11000    true 8.0 440 63 true 93   2000 1000 true 8.8 480 68
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true .11  22 .75 true 4.3  62 47   true 2.8 270 24 unknown 1.4  75 16   true .63  26 7.4  true .11  26 .68 true .36  11 4.5  true .14  11 1.6  true 4.8 290 42 true 5.6 310 46 true 4.6 290 39
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c timeout 900     1700 9400    error (42) 870    2300 3900   timeout 900   13000 11000 unknown 160    390 2000   timeout 900     900 13000    timeout 900     900 11000    unknown 900     270 11000    timeout (timeout) 900     190 12000    timeout 900   5400 13000 timeout 900   7100 14000 timeout 900   5300 11000
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 900     970 10000    error (42) 870    610 10000   timeout 910   610 11000 unknown 900    130 12000   timeout 900     130 10000    timeout 900     120 11000    unknown 900     440 10000    timeout (timeout) 900     4200 9700    timeout 900   8100 8900 timeout 900   6700 14000 timeout 900   3800 12000
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true .75  39 10    true 1.4  35 18   true 59   460 710 unknown 13    76 150   true .16  26 2.2  true .28  26 3.6  timeout 900     1900 13000    timeout (timeout) 900     3100 7200    true 160   4900 1800 timeout 900   6400 12000 true 50   1500 500
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c true .10  22 .76 error (42) 880    8400 3900   true 2.7 270 26 unknown 1.2  75 13   timeout 900     1200 12000    true .077 26 .80 unknown 890     31 12000    true .13  11 1.5  true 4.3 230 33 true 4.1 230 35 true 4.0 240 32
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true .11  22 .60 error (42) 870    1100 7600   true 2.9 300 23 unknown 1.5  75 20   timeout 900     220 11000    true .11  26 .75 unknown 900     100 11000    timeout (timeout) 900     230 11000    true 4.8 280 44 true 5.1 280 46 true 4.8 290 37
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true .11  22 .67 error (42) 870    1200 5600   true 3.0 290 26 unknown 1.2  75 16   timeout 900     190 12000    true .11  26 1.1  unknown 900     160 13000    timeout (timeout) 900     210 11000    true 4.8 290 49 true 5.8 320 50 true 5.7 300 46
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true .11  22 .80 error (42) 870    1200 7100   true 2.6 270 25 unknown 1.2  75 13   timeout 900     520 12000    true .11  26 .74 unknown 900     360 11000    timeout (timeout) 900     3900 11000    true 5.0 290 40 true 6.5 380 57 true 5.0 280 43
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true .11  23 .80 error (42) 870    1600 7700   true 2.7 270 24 unknown 1.3  75 16   timeout 900     460 11000    true .098 26 .90 unknown 900     240 11000    timeout (timeout) 900     3400 13000    true 5.1 300 39 true 8.5 470 78 true 5.2 300 47
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true .094 23 .87 error (42) 870    2000 5700   true 2.7 270 27 unknown 1.3  75 17   timeout 900     680 9900    true .092 26 .96 unknown 900     480 11000    timeout (timeout) 900     3800 8000    true 5.1 290 44 true 7.5 470 64 true 5.2 290 38
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c true .10  22 .70 error (42) 870    520 6500   true 2.8 290 27 unknown 2.0  75 25   timeout 900     140 11000    true .18  26 1.7  timeout 900     27 11000    timeout (timeout) 900     23 13000    true 5.4 300 42 true 6.8 460 57 true 5.7 300 45
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c true .11  22 .68 error (42) 870    1100 6900   true 2.7 270 25 unknown 1.2  75 14   timeout 900     180 11000    true .11  26 .95 unknown 900     670 9500    timeout (timeout) 900     81 12000    true 5.5 300 51 true 6.0 310 47 true 5.7 310 44
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c true .10  22 .94 error (42) 870    1300 7200   true 2.6 280 23 unknown 1.5  75 18   timeout 900     160 12000    true .11  26 1.1  timeout 900     31 12000    timeout (timeout) 900     51 11000    true 6.0 300 53 true 6.7 450 57 true 6.0 300 53
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c true 6.7   110 77    true 2.7  35 32   timeout 900   7100 10000 unknown 1.4  75 16   true .41  26 4.8  true .46  26 6.3  true .33  11 3.9  true .17  11 1.6  true 110   3500 1400 timeout 900   6300 13000 true 120   4000 1500
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 900     2700 9500    error (42) 870    1600 8700   timeout 900   560 11000 unknown 900    160 11000   timeout 900     230 10000    timeout 900     240 11000    unknown 900     520 11000    timeout (timeout) 900     3900 13000    timeout 900   5100 12000 timeout 900   6400 12000 timeout 900   4800 13000
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true .10  22 .79 error (42) 870    1000 5700   true 2.6 270 23 unknown 1.3  75 14   timeout 900     900 10000    true .079 26 .74 unknown 900     290 12000    timeout (timeout) 900     190 12000    true 5.0 290 40 true 5.7 310 47 true 4.9 290 40
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c timeout 900     1300 9200    error (42) 870    3100 4400   timeout 900   4000 9700 unknown 270    190 3600   timeout 900     990 12000    timeout 900     990 11000    unknown 900     660 13000    timeout (timeout) 900     120 12000    true 8.0 450 69 true 100   2300 1300 true 8.6 470 76
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true .11  22 .71 error (42) 880    4500 3700   true 2.6 270 22 unknown 1.4  75 17   timeout 900     490 11000    true .087 26 .93 unknown 900     260 11000    timeout (timeout) 900     190 13000    true 4.6 280 38 true 5.1 280 41 true 4.7 290 34
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c true .15  24 1.2  error (42) 870    3400 4500   true 2.8 270 23 unknown 1.4  75 18   timeout 900     950 11000    timeout 900     940 11000    unknown 900     940 11000    timeout (timeout) 900     250 13000    true 6.1 310 52 true 13   570 120 true 7.4 330 53
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true .089 23 .90 error (42) 870    770 4900   true 2.6 270 25 unknown 890    320 11000   timeout 900     190 10000    true .078 26 .88 unknown 890     84 12000    timeout (timeout) 900     75 12000    true 4.8 280 43 true 5.3 290 45 true 4.6 290 38
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c timeout 900     2400 11000    error (42) 870    3000 7900   timeout 900   6800 13000 unknown 140    100 1700   timeout 900     800 9500    timeout 900     760 11000    unknown 890     180 10000    timeout (timeout) 900     67 11000    timeout 900   5300 13000 timeout 900   5200 13000 timeout 900   5400 11000
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true .13  22 .69 error (42) 870    1300 7400   true 2.5 270 20 unknown 1.5  75 19   timeout 900     190 11000    true .10  26 1.1  unknown 900     480 11000    timeout (timeout) 900     230 10000    true 4.7 270 38 true 4.7 260 39 true 4.6 290 35
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c true .13  23 .74 error (42) 870    1700 6300   true 2.7 270 24 unknown 500    110 6300   timeout 900     200 11000    true .11  26 1.3  unknown 900     360 9800    timeout (timeout) 900     210 11000    true 5.0 300 40 true 6.2 380 50 true 7.0 360 45
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 900     1000 7100    error (42) 870    640 8300   timeout 900   510 13000 unknown 890    130 9500   timeout 900     250 14000    timeout 900     230 12000    timeout 900     51 14000    timeout (timeout) 900     45 14000    timeout 900   1200 12000 timeout 900   6000 12000 timeout 900   990 12000
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c error (5) .12  22 .67 error (42) 870    7400 6500   true 3.0 270 24 unknown 580    15000 7300   out of memory 590     15000 7100    out of memory 690     15000 7100    unknown 900     500 11000    timeout (timeout) 900     240 14000    true 9.0 510 67 true 9.3 520 86 true 11   540 99
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c error (5) .12  22 .65 error (134) 490    15000 5000   timeout 900   5300 10000 unknown 450    15000 6000   out of memory 510     15000 5600    out of memory 890     15000 7600    unknown 900     710 9400    timeout (timeout) 900     160 12000    true 17   700 160 timeout 900   5600 14000 true 8.7 450 70
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true .090 23 .81 error (42) 870    980 5900   true 2.6 270 26 unknown 2.1  75 25   timeout 900     180 13000    true .29  26 3.3  timeout 900     71 11000    timeout (timeout) 900     44 11000    true 5.4 300 45 true 11   520 100 true 5.6 320 48
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true .10  25 .82 error (42) 870    1800 5700   true 2.7 270 24 unknown 1.3  75 14   timeout 900     560 13000    true .12  26 .70 unknown 900     190 11000    timeout (timeout) 900     40 12000    true 4.9 290 38 true 6.8 470 56 true 4.9 290 43
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true .11  22 .78 true 2.5  37 27   true 2.6 260 23 unknown 1.4  75 15   true .20  26 2.5  true .11  26 .59 true 1.8   12 24    true .15  11 1.7  true 4.8 280 43 true 4.9 270 42 true 4.5 280 37
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c true 18     610 170    error (42) 870    1700 4300   true 110   1000 790 unknown 1.8  100 20   timeout 900     320 11000    timeout 900     310 13000    unknown 900     170 10000    timeout (timeout) 900     190 11000    true 5.5 290 50 true 7.0 470 63 true 6.2 300 52
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true .12  22 .69 error (42) 870    4400 3300   true 2.5 270 21 unknown 1.4  75 15   timeout 900     740 9600    true .075 26 .86 unknown 900     280 11000    timeout (timeout) 900     240 12000    true 4.5 280 41 true 4.6 260 39 true 4.8 280 35
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true .12  22 .78 error (42) 870    2400 3400   true 2.6 270 25 unknown 1.7  100 18   timeout 900     350 12000    true .12  26 1.2  unknown 890     480 9800    timeout (timeout) 900     680 12000    true 6.0 300 53 true 7.0 480 64 true 6.4 300 49
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true .11  22 .94 error (42) 870    1300 5700   true 2.7 270 23 unknown 1.2  75 14   timeout 900     470 10000    true .083 26 .95 unknown 900     370 12000    timeout (timeout) 900     3900 8100    true 4.9 290 40 true 6.0 340 52 true 4.9 290 35
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c true .10  22 .76 error (42) 870    2800 5700   true 2.6 260 23 unknown 1.4  75 17   timeout 900     300 9900    true .096 26 .98 unknown 900     12 12000    true .16  12 2.0  true 4.5 290 37 true 4.4 260 39 true 4.6 280 36
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c true .10  23 .78 error (42) 870    13000 12000   timeout 900   4900 12000 unknown 1.4  100 16   timeout 900     3600 12000    true .085 26 .75 unknown 890     330 9100    timeout (timeout) 900     190 11000    true 5.4 300 46 true 6.6 420 51 true 5.9 300 48
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true .13  23 .75 error (42) 870    780 4400   true 4.1 290 39 unknown 1.4  100 20   timeout 900     670 10000    true .11  26 .65 unknown 900     760 13000    timeout (timeout) 900     210 12000    true 5.5 300 50 true 6.9 430 57 true 5.9 300 46
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c true .12  23 .82 error (42) 870    2600 7900   true 2.8 270 26 unknown 1.3  75 17   timeout 900     420 12000    true .14  26 1.0  unknown 900     370 11000    timeout (timeout) 900     3700 11000    true 5.8 300 46 true 7.8 470 68 true 6.9 310 58
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c true .11  22 .88 error (42) 870    2900 5600   true 2.6 270 24 unknown 1.3  75 14   timeout 900     400 9900    true .10  26 1.0  true .30  11 3.4  timeout (timeout) 900     15000 12000    true 4.8 280 39 true 4.8 260 37 true 4.8 290 37
termination-crafted-lit/aviad_true-termination_true-no-overflow.c true 3.6   94 42    true 8.1  180 93   timeout 900   8100 11000 unknown 22    75 260   true 5.7   32 72    true 6.1   33 77    unknown 900     290 10000    timeout (timeout) 900     330 8500    true 350   5700 4500 timeout 900   5800 12000 true 7.7 380 63
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c error (134) .16  24 1.6  error (42) 870    8400 3400   true 3.4 310 31 unknown 1.4  75 20   timeout 900     5700 10000    true .19  27 1.7  unknown .074 11 .37 unknown .22  13 2.3  true 5.1 280 41 true 5.4 300 50 true 5.1 290 47
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c error (134) .16  24 1.3  error (42) 870    1200 3900   true 3.4 310 29 timeout (false(no-overflow)) 900    590 11000   timeout 900     1400 9900    true .14  27 1.9  unknown .073 11 .34 unknown .22  13 2.6  true 5.2 280 45 true 5.7 310 54 true 5.4 290 42
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c error (134) .17  23 1.4  error (42) 870    7500 3700   true 2.8 280 25 unknown 1.4  75 14   timeout 900     2900 9000    true .15  27 1.3  unknown .074 11 .37 unknown .18  12 2.1  true 4.9 290 40 true 5.5 300 40 true 5.3 280 45
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c error (134) .17  24 1.6  error (42) 870    1200 3400   true 3.3 310 32 timeout (false(no-overflow)) 900    530 11000   timeout 900     1900 11000    true .16  27 1.5  unknown .061 11 .50 unknown .22  13 2.0  true 5.2 280 42 true 5.5 310 47 true 5.1 290 37
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c error (134) .19  24 1.2  error (42) 870    1200 4400   true 3.3 310 31 timeout (false(no-overflow)) 900    560 11000   timeout 900     1800 8300    true .16  27 1.7  unknown .071 11 .40 unknown .22  13 2.4  true 5.2 290 41 true 5.6 300 45 true 5.2 290 43
termination-crafted-lit/genady_true-termination_true-no-overflow.c true .98  30 11    true 9.4  160 110   timeout 900   4500 11000 unknown 54    75 780   timeout 900     12000 8100    timeout 900     11000 10000    true .40  11 4.7  true .19  12 2.5  true 8.1 420 71 true 36   1000