Tool 2LS 0.6.0 CBMC 5.8 CPAchecker 1.6.1-svn 26725 CPAchecker 1.6.1-svn 26758M 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 08:43:54 CET 2017-12-01 08:51:01 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 cbmc.sv-comp18.NoOverflows-BitVectors cpa-bam-bnb.sv-comp18.NoOverflows-BitVectors cpa-bam-slicing.sv-comp18.NoOverflows-BitVectors cpa-seq.sv-comp18.NoOverflows-BitVectors depthk.sv-comp18.NoOverflows-BitVectors esbmc-incr.sv-comp18.NoOverflows-BitVectors esbmc-kind.sv-comp18.NoOverflows-BitVectors map2check.sv-comp18.NoOverflows-BitVectors symbiotic.sv-comp18.NoOverflows-BitVectors uautomizer.sv-comp18.NoOverflows-BitVectors ukojak.sv-comp18.NoOverflows-BitVectors utaipan.sv-comp18.NoOverflows-BitVectors
Options --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp18-bam-bnb -disable-java-assertions -heap 10000m -ldv-bam-svcomp -disable-java-assertions -heap 10000m -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) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
signedintegeroverflow-regression/AdditionIntMax_false-no-overflow.c.i false(no-overflow) .13  24 .86 1 false(no-overflow) .25 34 2.5 1 error (1) .48 41 3.9 0 error (1) .43 40 4.6 0 false(no-overflow) 3.4 300 29 1 false(no-overflow) 4.1  410 30   0 false(no-overflow) .12  28 .72 1 false(no-overflow) .11  28 .83 1 false(no-overflow) .32  11 3.7  1 false(no-overflow) .17  11 1.8  1 false(no-overflow) 4.1 240 32 1 false(no-overflow) 4.3 240 36 1 false(no-overflow) 4.1 240 34 1
signedintegeroverflow-regression/AdditionIntMin_false-no-overflow.c.i false(no-overflow) .14  24 .95 1 false(no-overflow) .26 34 2.5 1 error (1) .47 40 4.6 0 error (1) .44 40 4.1 0 false(no-overflow) 3.5 280 32 1 false(no-overflow) 3.8  420 33   0 false(no-overflow) .082 28 .93 1 false(no-overflow) .092 28 .97 1 false(no-overflow) .32  12 3.8  0 false(no-overflow) .17  11 1.5  1 false(no-overflow) 4.8 260 40 1 false(no-overflow) 4.4 260 38 1 false(no-overflow) 4.7 270 41 1
signedintegeroverflow-regression/Division_false-no-overflow.c.i false(no-overflow) .10  24 1.0  1 false(no-overflow) .27 34 2.1 1 error (1) .47 41 4.4 0 error (1) .48 40 5.0 0 false(no-overflow) 3.6 280 32 1 false(no-overflow) 4.2  420 27   0 false(no-overflow) .082 28 .98 1 false(no-overflow) .079 28 1.1  1 false(no-overflow) .30  12 4.2  0 false(no-overflow) .16  11 1.7  1 false(no-overflow) 4.1 240 38 1 false(no-overflow) 4.4 250 35 1 false(no-overflow) 4.1 240 34 1
signedintegeroverflow-regression/Multiplication_false-no-overflow.c.i false(no-overflow) .14  24 .85 1 false(no-overflow) .25 34 2.5 1 error (1) .45 41 4.4 0 error (1) .45 40 4.4 0 false(no-overflow) 3.4 280 27 1 false(no-overflow) 3.9  420 39   0 false(no-overflow) .097 28 .70 1 false(no-overflow) .11  28 .82 1 false(no-overflow) .31  11 2.7  1 false(no-overflow) .16  11 1.7  1 false(no-overflow) 4.2 240 37 1 false(no-overflow) 4.2 250 37 1 false(no-overflow) 4.3 240 37 1
signedintegeroverflow-regression/NoConversion_false-no-overflow.c.i false(no-overflow) .10  24 .89 1 false(no-overflow) .25 34 2.4 1 error (1) .45 40 4.1 0 error (1) .43 40 3.8 0 false(no-overflow) 3.4 280 34 1 false(no-overflow) 4.2  420 29   0 false(no-overflow) .12  28 .81 1 false(no-overflow) .081 28 1.0  1 false(no-overflow) .30  11 3.5  1 false(no-overflow) .17  11 1.5  1 false(no-overflow) 4.1 230 32 1 false(no-overflow) 4.1 240 35 1 false(no-overflow) 4.0 240 35 1
signedintegeroverflow-regression/PostfixDecrement_false-no-overflow.c.i false(no-overflow) .12  24 .93 1 false(no-overflow) .26 34 2.1 1 error (1) .48 43 4.7 0 error (1) .44 41 3.9 0 false(no-overflow) 3.5 280 31 1 false(no-overflow) 4.0  410 32   0 false(no-overflow) .092 28 1.1  1 false(no-overflow) .083 28 .90 1 false(no-overflow) .32  11 3.4  0 false(no-overflow) .14  11 1.9  1 false(no-overflow) 4.7 270 44 1 false(no-overflow) 4.5 270 35 1 false(no-overflow) 4.4 270 39 1
signedintegeroverflow-regression/PostfixIncrement_false-no-overflow.c.i false(no-overflow) .10  24 1.3  1 false(no-overflow) .24 34 2.3 1 error (1) .46 41 4.5 0 error (1) .47 40 4.1 0 false(no-overflow) 3.4 280 29 1 false(no-overflow) 3.9  420 30   0 false(no-overflow) .11  28 .77 1 false(no-overflow) .11  28 .76 1 false(no-overflow) .32  12 3.2  0 false(no-overflow) .14  11 1.7  1 false(no-overflow) 4.2 240 39 1 false(no-overflow) 4.2 250 38 1 false(no-overflow) 4.0 240 35 1
signedintegeroverflow-regression/PrefixDecrement_false-no-overflow.c.i false(no-overflow) .13  24 .81 1 false(no-overflow) .24 34 2.0 1 error (1) .50 41 4.0 0 error (1) .46 40 4.3 0 false(no-overflow) 3.7 280 32 1 false(no-overflow) 4.1  420 30   0 false(no-overflow) .11  28 .77 1 false(no-overflow) .10  28 .97 1 false(no-overflow) .29  11 4.2  0 false(no-overflow) .15  11 1.7  1 false(no-overflow) 4.5 270 38 1 false(no-overflow) 4.4 250 34 1 false(no-overflow) 4.4 260 34 1
signedintegeroverflow-regression/PrefixIncrement_false-no-overflow.c.i false(no-overflow) .13  24 .92 1 false(no-overflow) .26 34 2.2 1 error (1) .46 40 4.5 0 error (1) .46 40 4.0 0 false(no-overflow) 3.4 270 31 1 false(no-overflow) 4.0  420 31   0 false(no-overflow) .083 28 .88 1 false(no-overflow) .12  28 .58 1 false(no-overflow) .30  12 4.0  0 false(no-overflow) .14  11 1.8  1 false(no-overflow) 4.1 250 36 1 false(no-overflow) 4.2 240 37 1 false(no-overflow) 4.1 240 33 1
signedintegeroverflow-regression/UnaryMinus_false-no-overflow.c.i false(no-overflow) .14  24 .77 1 false(no-overflow) .27 34 2.2 1 error (1) .48 40 3.9 0 error (1) .45 41 4.6 0 false(no-overflow) 3.5 280 31 1 false(no-overflow) 4.0  420 32   0 false(no-overflow) .080 28 1.0  1 false(no-overflow) .082 28 .83 1 false(no-overflow) .32  11 3.5  0 false(no-overflow) .17  11 1.7  1 false(no-overflow) 4.1 240 35 1 false(no-overflow) 4.6 240 42 1 false(no-overflow) 4.1 250 38 1
signedintegeroverflow-regression/ConversionToSignedInt_true-no-overflow_true-termination.c.i true .12  24 .80 2 true .44 34 5.1 2 error (1) .47 40 4.1 0 error (1) .41 40 4.0 0 true 3.0 270 24 2 unknown 1.3  48 15   0 true .072 26 .92 2 true .081 26 .77 2 true .32  11 3.6  2 true .15  11 1.4  2 true 4.0 240 34 2 true 4.0 240 35 2 true 4.3 240 33 2
signedintegeroverflow-regression/IntegerPromotion_true-no-overflow_true-termination.c.i true .13  24 .80 2 true .47 34 4.4 2 error (1) .51 43 3.8 0 error (1) .44 40 4.2 0 true 3.1 270 30 2 unknown 1.6  49 20   0 true .088 27 .89 2 true .089 27 .77 2 true .30  11 4.5  2 true .16  11 1.4  2 true 4.6 290 38 2 true 4.4 260 36 2 true 4.7 280 42 2
signedintegeroverflow-regression/Multiplication_true-no-overflow_true-termination.c.i true .11  24 .79 2 true .44 34 4.1 2 error (1) .48 41 4.6 0 error (1) .45 40 4.1 0 true 3.1 280 28 2 unknown 1.7  48 21   0 true .072 26 .96 2 true .080 27 .76 2 true .32  11 3.7  2 true .15  11 1.3  2 true 4.0 230 34 2 true 3.9 240 31 2 true 4.3 250 34 2
signedintegeroverflow-regression/NoNegativeIntegerConstant_true-no-overflow_true-termination.c.i true .11  24 .91 2 true .47 34 4.3 2 error (1) .46 40 4.4 0 error (1) .44 40 4.0 0 true 3.0 280 24 2 false(no-overflow) 480    420 5400   -16 true .079 26 .90 2 true .088 26 .72 2 true .29  11 3.9  2 true .15  11 1.6  2 true 4.1 240 35 2 true 4.0 230 31 2 true 4.2 240 32 2
signedintegeroverflow-regression/UsualArithmeticConversions_true-no-overflow_true-termination.c.i true .11  24 .78 2 true .46 34 4.3 2 error (1) .47 41 4.4 0 error (1) .47 41 4.0 0 true 2.9 270 29 2 unknown 480    110 6200   0 true .073 26 1.0  2 true .075 26 .84 2 true .29  12 4.5  2 true .15  11 1.5  2 true 4.4 240 34 2 true 4.0 240 36 2 true 4.1 240 31 2
termination-crafted/2Nested_false-no-overflow.c false(no-overflow) .11  22 .77 1 false(no-overflow) .24 33 2.0 1 error (1) .48 41 4.0 0 error (1) .44 40 4.7 0 false(no-overflow) 2.6 270 26 1 false(no-overflow) .53 75 6.6 0 false(no-overflow) .15  28 2.1  1 false(no-overflow) .21  28 1.6  1 false(no-overflow) .69  12 8.0  1 false(no-overflow) .19  12 1.9  1 false(no-overflow) 6.1 340 49 1 false(no-overflow) 4.1 250 35 1 false(no-overflow) 4.2 240 36 1
termination-crafted/4NestedWith3Variables_false-no-overflow.c false(no-overflow) .15  24 .98 1 false(no-overflow) .28 36 2.6 1 error (1) .50 40 4.5 0 error (1) .46 41 4.9 0 false(no-overflow) 2.6 270 24 1 false(no-overflow) .60 75 6.7 0 false(no-overflow) .36  28 2.9  1 false(no-overflow) .41  28 4.0  1 false(no-overflow) 1.1   13 13    1 false(no-overflow) .18  12 1.6  1 false(no-overflow) 4.1 250 38 1 false(no-overflow) 4.3 250 37 1 false(no-overflow) 4.3 250 37 1
termination-crafted/Ackermann_false-no-overflow.c error (5) .098 22 .71 0 false(no-overflow) .25 33 2.5 1 error (1) .49 40 4.2 0 error (1) .46 40 5.0 0 timeout 900   3800 11000 0 false(no-overflow) .61 49 7.3 0 false(no-overflow) .16  28 1.6  1 false(no-overflow) .20  28 1.7  1 false(no-overflow) .50  12 5.7  1 false(no-overflow) .17  12 1.9  1 false(no-overflow) 4.0 240 38 1 false(no-overflow) 4.3 250 38 1 false(no-overflow) 4.2 250 35 1
termination-crafted/Bangalore_false-no-overflow.c false(no-overflow) .14  22 .92 1 false(no-overflow) .24 33 2.8 1 error (1) .47 40 4.4 0 error (1) .45 40 3.9 0 false(no-overflow) 2.6 270 26 1 false(no-overflow) .55 75 6.7 0 false(no-overflow) .15  28 1.9  1 false(no-overflow) .19  28 2.4  1 false(no-overflow) .60  13 7.4  1 false(no-overflow) .18  12 1.8  1 false(no-overflow) 4.0 240 37 1 false(no-overflow) 4.2 240 38 1 false(no-overflow) 4.3 250 38 1
termination-crafted/Bangalore_v3_false-no-overflow.c false(no-overflow) .11  22 .95 1 false(no-overflow) .24 33 2.3 1 error (1) .47 40 4.5 0 error (1) .43 40 3.8 0 false(no-overflow) 2.6 270 24 1 false(no-overflow) .54 75 6.0 0 false(no-overflow) .19  28 1.8  1 false(no-overflow) .17  28 2.2  1 false(no-overflow) .75  13 9.3  1 false(no-overflow) .18  12 2.7  1 false(no-overflow) 4.2 240 36 1 false(no-overflow) 4.0 240 35 1 false(no-overflow) 4.1 240 32 1
termination-crafted/Benghazi_nondet_false-no-overflow.c false(no-overflow) .13  23 .87 1 false(no-overflow) .27 33 2.2 1 error (1) .47 41 4.4 0 error (1) .48 41 4.2 0 false(no-overflow) 2.7 280 27 1 false(no-overflow) .56 75 6.9 0 false(no-overflow) .23  28 2.0  1 false(no-overflow) .24  28 3.2  1 false(no-overflow) .68  12 9.7  1 false(no-overflow) .16  12 1.9  1 false(no-overflow) 4.0 230 36 1 false(no-overflow) 4.2 250 37 1 false(no-overflow) 4.6 250 34 1
termination-crafted/Binary_Search_false-no-overflow.c error (5) .10  22 .65 0 false(no-overflow) .28 34 2.6 1 error (1) .50 40 4.3 0 error (1) .46 40 3.8 0 false(no-overflow) 2.9 290 25 1 false(no-overflow) .40 48 5.0 0 false(no-overflow) .22  28 2.1  1 false(no-overflow) .35  28 3.3  1 false(no-overflow) .58  12 6.8  1 false(no-overflow) .17  12 2.1  1 false(no-overflow) 4.2 250 34 1 false(no-overflow) 4.3 260 38 1 false(no-overflow) 4.1 240 34 1
termination-crafted/Cairo_nondet_false-no-overflow.c false(no-overflow) .13  23 .98 1 false(no-overflow) .26 33 2.1 1 error (1) .47 40 4.2 0 error (1) .45 40 4.1 0 false(no-overflow) 2.7 270 22 1 false(no-overflow) .85 75 12   0 false(no-overflow) .17  28 1.8  1 false(no-overflow) .18  28 1.5  1 false(no-overflow) .67  12 8.9  1 false(no-overflow) .17  12 2.1  1 false(no-overflow) 4.4 280 36 1 false(no-overflow) 5.3 290 40 1 false(no-overflow) 4.6 290 35 1
termination-crafted/Cairo_step2_false-no-overflow.c timeout 900     1300 11000    0 error (42) 870    5100 5000   0 error (1) .49 41 4.4 0 error (1) .45 38 4.0 0 timeout 900   2600 13000 0 unknown 77    75 1000   0 timeout 900     390 10000    0 timeout 900     390 11000    0 unknown 900     1100 11000    0 timeout (timeout) 900     170 13000    0 timeout 900   4400 14000 0 timeout 900   5200 12000 0 timeout 900   2400 13000 0
termination-crafted/Collatz_unknown-termination_false-no-overflow.c false(no-overflow) .11  23 .98 1 false(no-overflow) .26 33 2.3 1 error (1) .43 41 4.8 0 error (1) .44 41 4.1 0 false(no-overflow) 2.8 280 28 1 unknown 21    75 260   0 false(no-overflow) .14  28 1.4  1 false(no-overflow) .24  28 2.3  1 false(no-overflow) .43  12 5.1  1 false(no-overflow) .17  12 2.0  1 false(no-overflow) 5.0 290 40 1 false(no-overflow) 4.2 250 36 1 false(no-overflow) 5.2 290 41 1
termination-crafted/Copenhagen_disj_false-no-overflow.c false(no-overflow) .13  23 .75 1 false(no-overflow) .27 33 2.0 1 error (1) .46 40 4.5 0 error (1) .48 40 4.7 0 false(no-overflow) 2.7 270 24 1 false(no-overflow) .40 75 4.7 0 false(no-overflow) .22  28 1.9  1 false(no-overflow) .24  28 1.9  1 false(no-overflow) .49  12 5.7  1 false(no-overflow) .18  12 1.6  1 false(no-overflow) 4.4 270 36 1 false(no-overflow) 4.3 250 37 1 false(no-overflow) 4.5 280 35 1
termination-crafted/Gothenburg_false-no-overflow.c false(no-overflow) .13  25 1.2  1 false(no-overflow) .26 35 2.0 1 error (1) .49 41 4.2 0 error (1) .45 38 3.9 0 false(no-overflow) 2.7 270 24 1 false(no-overflow) .61 75 7.4 0 false(no-overflow) .32  28 2.6  1 false(no-overflow) .42  28 3.4  1 false(no-overflow) 3.6   14 43    1 false(no-overflow) .19  12 1.7  1 false(no-overflow) 4.2 250 37 1 false(no-overflow) 4.2 250 33 1 false(no-overflow) 4.2 250 36 1
termination-crafted/Gothenburg_v2_false-no-overflow.c false(no-overflow) .13  25 .97 1 false(no-overflow) .29 33 2.4 1 error (1) .47 41 4.6 0 error (1) .44 40 4.0 0 false(no-overflow) 2.7 270 22 1 false(no-overflow) .57 75 7.7 0 false(no-overflow) .32  28 3.1  1 false(no-overflow) .37  28 4.0  1 false(no-overflow) .41  12 4.5  1 false(no-overflow) .18  12 1.6  1 false(no-overflow) 4.3 250 38 1 false(no-overflow) 4.4 250 33 1 false(no-overflow) 4.1 250 34 1
termination-crafted/Hanoi_2vars_false-no-overflow.c false(no-overflow) .12  22 1.0  1 false(no-overflow) .26 33 2.0 1 error (1) .50 41 4.2 0 error (1) .46 40 4.0 0 false(no-overflow) 2.6 270 24 1 false(no-overflow) .53 75 6.4 0 false(no-overflow) .18  28 1.7  1 false(no-overflow) .20  28 1.8  1 out of memory 26     15000 390    0 false(no-overflow) .16  12 1.9  1 false(no-overflow) 4.0 240 35 1 false(no-overflow) 4.1 250 35 1 false(no-overflow) 4.0 240 35 1
termination-crafted/Hanoi_3vars_false-no-overflow.c false(no-overflow) .11  23 .80 1 false(no-overflow) .23 33 2.2 1 error (1) .48 40 4.1 0 error (1) .44 39 4.4 0 false(no-overflow) 2.7 270 22 1 false(no-overflow) .54 75 6.9 0 false(no-overflow) .23  28 2.1  1 false(no-overflow) .41  28 3.9  1 false(no-overflow) .68  13 8.4  1 false(no-overflow) .18  12 1.8  1 false(no-overflow) 4.2 240 36 1 false(no-overflow) 4.3 250 38 1 false(no-overflow) 4.2 250 33 1
termination-crafted/Hanoi_plus_false-no-overflow.c false(no-overflow) .13  23 .86 1 false(no-overflow) .25 33 2.3 1 error (1) .46 40 3.8 0 error (1) .45 40 4.0 0 false(no-overflow) 2.7 270 25 1 false(no-overflow) .55 75 6.0 0 false(no-overflow) .32  28 2.4  1 false(no-overflow) .24  28 3.3  1 false(no-overflow) .99  13 12    1 false(no-overflow) .18  12 1.7  1 false(no-overflow) 4.3 230 39 1 false(no-overflow) 4.3 250 41 1 false(no-overflow) 4.3 240 32 1
termination-crafted/Lobnya-Boolean-Reordered_false-no-overflow.c false(no-overflow) .12  22 .86 1 false(no-overflow) .25 33 2.1 1 error (1) .49 43 4.7 0 error (1) .43 40 3.4 0 false(no-overflow) 2.5 270 24 1 false(no-overflow) .37 75 4.3 0 false(no-overflow) .17  28 1.7  1 false(no-overflow) .15  28 1.9  1 false(no-overflow) .42  12 5.6  1 false(no-overflow) .18  12 1.7  1 false(no-overflow) 4.4 270 35 1 false(no-overflow) 6.9 370 51 1 false(no-overflow) 4.7 280 38 1
termination-crafted/Mysore_false-no-overflow.c false(no-overflow) .12  23 .81 1 false(no-overflow) .24 33 2.3 1 error (1) .48 42 4.3 0 error (1) .47 40 4.1 0 false(no-overflow) 2.7 270 23 1 false(no-overflow) .56 75 6.6 0 false(no-overflow) .24  28 1.6  1 false(no-overflow) .23  28 2.4  1 false(no-overflow) .83  12 10    1 false(no-overflow) .16  12 2.1  1 false(no-overflow) 6.3 340 47 1 false(no-overflow) 4.2 250 39 1 false(no-overflow) 4.0 240 37 1
termination-crafted/NestedRecursion_1a_false-no-overflow.c error (5) .12  22 .68 0 false(no-overflow) .25 33 2.6 1 error (1) .48 40 4.8 0 error (1) .45 40 4.2 0 false(no-overflow) 2.7 270 26 1 false(no-overflow) .57 49 6.5 0 false(no-overflow) .13  28 1.3  1 false(no-overflow) .18  28 1.9  1 false(no-overflow) .35  12 4.3  1 false(no-overflow) .16  12 1.8  1 false(no-overflow) 4.2 250 35 1 false(no-overflow) 4.4 250 39 1 false(no-overflow) 4.2 250 33 1
termination-crafted/NestedRecursion_2a_false-no-overflow.c error (5) .12  22 .75 0 false(no-overflow) .24 33 2.1 1 error (1) .49 43 4.6 0 error (1) .43 40 4.4 0 false(no-overflow) 2.7 270 26 1 false(no-overflow) .52 48 5.6 0 false(no-overflow) .12  28 1.5  1 false(no-overflow) .14  28 1.2  1 false(no-overflow) .38  11 3.4  1 false(no-overflow) .15  12 2.1  1 false(no-overflow) 4.5 280 44 1 false(no-overflow) 4.3 250 36 1 false(no-overflow) 4.7 280 38 1
termination-crafted/NonTermination1_false-no-overflow.c false(no-overflow) .12  23 .87 1 false(no-overflow) .27 33 2.1 1 error (1) .50 43 4.5 0 error (1) .45 38 4.1 0 false(no-overflow) 2.7 280 24 1 false(no-overflow) .55 75 6.2 0 false(no-overflow) .13  28 1.4  1 false(no-overflow) .15  28 1.1  1 false(no-overflow) .39  12 4.8  1 false(no-overflow) .18  12 1.8  1 false(no-overflow) 3.9 240 34 1 false(no-overflow) 4.2 240 38 1 false(no-overflow) 4.1 250 37 1
termination-crafted/NonTermination2_false-no-overflow.c false(no-overflow) .14  23 .86 1 false(no-overflow) .24 33 2.2 1 error (1) .52 43 4.4 0 error (1) .46 40 4.3 0 false(no-overflow) 3.0 280 27 1 false(no-overflow) .38 75 4.3 0 false(no-overflow) .13  28 1.1  1 false(no-overflow) .26  28 1.7  1 false(no-overflow) .48  12 5.3  1 false(no-overflow) .16  12 1.9  1 false(no-overflow) 4.1 240 37 1 false(no-overflow) 4.1 250 38 1 false(no-overflow) 6.8 350 44 1
termination-crafted/NonTermination4_false-no-overflow.c false(no-overflow) .53  41 5.7  1 false(no-overflow) 1.8  35 20   1 error (1) .50 43 4.5 0 error (1) .45 40 4.4 0 false(no-overflow) 190   1300 1500 1 false(no-overflow) 12    75 140   0 false(no-overflow) .12  28 1.2  1 false(no-overflow) .12  28 1.2  1 false(no-overflow) .30  11 3.8  0 false(no-overflow) .16  11 2.0  1 false(no-overflow) 23   780 200 1 false(no-overflow) 350   4900 4900 1 false(no-overflow) 250   2200 2700 1
termination-crafted/NonTerminationSimple2_false-no-overflow.c false(no-overflow) .14  22 .77 1 false(no-overflow) .23 33 2.5 1 error (1) .45 40 4.0 0 error (1) .45 40 4.5 0 false(no-overflow) 2.8 270 23 1 false(no-overflow) .55 75 5.6 0 false(no-overflow) .13  28 1.3  1 false(no-overflow) .16  28 1.2  1 false(no-overflow) .41  12 5.5  1 false(no-overflow) .15  11 1.7  1 false(no-overflow) 4.0 230 36 1 false(no-overflow) 4.3 240 34 1 false(no-overflow) 4.2 240 33 1
termination-crafted/NonTerminationSimple3_false-no-overflow.c false(no-overflow) .099 23 1.0  1 false(no-overflow) .27 33 2.0 1 error (1) .47 40 4.7 0 error (1) .47 40 3.7 0 false(no-overflow) 2.7 270 21 1 false(no-overflow) .55 75 6.4 0 false(no-overflow) .16  28 1.8  1 false(no-overflow) .22  28 2.1  1 false(no-overflow) .58  13 8.0  1 false(no-overflow) .15  12 1.7  1 false(no-overflow) 4.2 240 38 1 false(no-overflow) 4.0 240 35 1 false(no-overflow) 4.0 240 37 1
termination-crafted/NonTerminationSimple4_false-no-overflow.c timeout 900     1200 13000    0 error (42) 880    5100 4300   0 error (1) .49 41 4.0 0 error (1) .45 40 3.8 0 timeout 900   2200 12000 0 unknown 76    75 950   0 timeout 900     400 12000    0 timeout 900     390 12000    0 unknown 900     83 4200    0 error (1) .099 11 1.2  0 timeout 900   3900 15000 0 timeout 900   5200 13000 0 timeout 900   2500 15000 0
termination-crafted/NonTerminationSimple5_false-no-overflow.c false(no-overflow) .13  22 .82 1 false(no-overflow) .25 33 2.1 1 error (1) .50 41 4.1 0 error (1) .44 40 4.2 0 false(no-overflow) 2.7 270 23 1 false(no-overflow) .55 75 6.3 0 false(no-overflow) .13  28 1.1  1 false(no-overflow) .12  28 1.5  1 false(no-overflow) .42  12 4.8  1 false(no-overflow) .17  11 1.7  1 false(no-overflow) 4.5 280 37 1 false(no-overflow) 4.3 250 37 1 false(no-overflow) 4.6 290 37 1
termination-crafted/NonTerminationSimple6_false-no-overflow.c false(no-overflow) .14  22 .91 1 false(no-overflow) .23 33 1.9 1 error (1) .48 41 5.2 0 error (1) .41 38 3.8 0 false(no-overflow) 2.6 270 23 1 false(no-overflow) .54 75 6.5 0 false(no-overflow) .13  28 1.6  1 false(no-overflow) .20  28 1.6  1 out of memory 26     15000 370    0 false(no-overflow) .18  12 1.9  1 false(no-overflow) 4.0 240 36 1 false(no-overflow) 4.1 240 36 1 false(no-overflow) 4.1 230 36 1
termination-crafted/NonTerminationSimple8_false-no-overflow.c false(no-overflow) .13  22 1.1  1 false(no-overflow) .28 33 2.0 1 error (1) .52 43 4.8 0 error (1) .45 41 4.4 0 false(no-overflow) 2.7 280 26 1 false(no-overflow) .57 75 7.2 0 false(no-overflow) .15  28 1.2  1 false(no-overflow) .16  28 1.7  1 false(no-overflow) .44  12 5.3  1 false(no-overflow) .18  11 1.7  1 false(no-overflow) 6.1 330 45 1 false(no-overflow) 4.1 250 39 1 false(no-overflow) 4.0 250 39 1
termination-crafted/NonTerminationSimple9_false-no-overflow.c false(no-overflow) .14  22 .80 1 false(no-overflow) .23 33 2.4 1 error (1) .51 40 3.8 0 error (1) .47 41 3.9 0 false(no-overflow) 2.7 280 26 1 false(no-overflow) .53 75 7.7 0 false(no-overflow) .12  28 1.3  1 false(no-overflow) .13  28 1.3  1 out of memory 26     15000 360    0 false(no-overflow) .18  12 1.8  1 false(no-overflow) 4.3 240 36 1 false(no-overflow) 4.1 240 36 1 false(no-overflow) 4.2 250 35 1
termination-crafted/Pure2Phase_false-no-overflow.c false(no-overflow) .13  22 .87 1 false(no-overflow) .26 33 2.0 1 error (1) .50 41 4.3 0 error (1) .41 40 4.3 0 false(no-overflow) 2.6 270 23 1 false(no-overflow) .55 75 6.0 0 false(no-overflow) .19  28 1.9  1 false(no-overflow) .27  28 2.1  1 false(no-overflow) .43  12 5.5  1 false(no-overflow) .19  12 1.4  1 false(no-overflow) 4.7 280 36 1 false(no-overflow) 4.5 250 39 1 false(no-overflow) 4.8 280 37 1
termination-crafted/Pure3Phase_false-no-overflow.c false(no-overflow) .14  23 .85 1 false(no-overflow) .25 35 2.4 1 error (1) .45 41 4.2 0 error (1) .50 40 4.5 0 false(no-overflow) 2.7 270 25 1 false(no-overflow) .58 75 6.6 0 false(no-overflow) .26  28 2.2  1 false(no-overflow) .27  28 2.8  1 false(no-overflow) 1.6   13 22    1 false(no-overflow) .16  12 2.6  1 false(no-overflow) 4.2 240 33 1 false(no-overflow) 4.5 250 34 1 false(no-overflow) 4.2 250 33 1
termination-crafted/RecursiveMultiplication_false-no-overflow.c error (5) .10  22 .65 0 witness invalid (false(no-overflow)) .25 33 2.2 0 error (1) .48 40 4.8 0 error (1) .46 40 4.3 0 false(no-overflow) 3.5 300 30 1 false(no-overflow) .57 49 7.7 0 false(no-overflow) .16  28 1.7  1 false(no-overflow) .19  28 1.9  1 unknown .80  12 12    0 false(no-overflow) .17  12 1.9  1 false(no-overflow) 4.4 250 34 1 false(no-overflow) 4.2 250 38 1 false(no-overflow) 4.3 250 38 1
termination-crafted/RecursiveNonterminating_false-no-overflow.c error (5) .12  22 .71 0 false(no-overflow) .27 33 2.2 1 error (1) .49 41 4.2 0 error (1) .41 40 3.4 0 false(no-overflow) 2.6 270 21 1 false(no-overflow) .56 49 7.0 0 false(no-overflow) .13  28 1.6  1 false(no-overflow) .11  28 1.5  1 false(no-overflow) .33  11 3.6  1 false(no-overflow) .16  14 1.8  1 false(no-overflow) 4.3 240 34 1 false(no-overflow) 4.0 250 32 1 false(no-overflow) 4.0 250 37 1
termination-crafted/Rotation180_false-no-overflow.c false(no-overflow) .11  24 .68 1 false(no-overflow) .26 33 2.1 1 error (1) .48 42 4.1 0 error (1) .46 40 4.1 0 false(no-overflow) 2.6 260 23 1 false(no-overflow) .36 75 4.1 0 false(no-overflow) .12  28 1.2  1 false(no-overflow) .21  28 2.2  1 unknown 890     11 14000    0 false(no-overflow) .18  12 1.7  1 false(no-overflow) 4.1 240 34 1 false(no-overflow) 4.2 250 36 1 false(no-overflow) 4.0 240 33 1
termination-crafted/Singapore_false-no-overflow.c false(no-overflow) .12  23 .81 1 false(no-overflow) .25 33 2.1 1 error (1) .52 44 4.6 0 error (1) .42 40 4.3 0 false(no-overflow) 2.6 270 22 1 false(no-overflow) .56 75 6.7 0 false(no-overflow) .17  28 2.5  1 false(no-overflow) .21  28 1.9  1 false(no-overflow) .60  13 7.8  1 false(no-overflow) .19  12 1.8  1 false(no-overflow) 4.0 240 36 1 false(no-overflow) 4.3 250 34 1 false(no-overflow) 4.4 240 36 1
termination-crafted/Singapore_plus_false-no-overflow.c false(no-overflow) .11  23 1.0  1 false(no-overflow) .28 35 2.1 1 error (1) .46 42 4.9 0 error (1) .44 40 4.2 0 false(no-overflow) 2.8 270 23 1 false(no-overflow) .56 75 6.5 0 false(no-overflow) .20  28 2.0  1 false(no-overflow) .29  28 2.9  1 false(no-overflow) .64  12 7.6  1 false(no-overflow) .19  12 1.8  1 false(no-overflow) 4.1 240 34 1 false(no-overflow) 4.4 250 38 1 false(no-overflow) 4.2 240 32 1
termination-crafted/Singapore_v1_false-no-overflow.c false(no-overflow) .12  23 1.0  1 false(no-overflow) .27 33 2.3 1 error (1) .47 40 4.8 0 error (1) .44 40 4.1 0 false(no-overflow) 2.5 260 23 1 false(no-overflow) .54 75 8.1 0 false(no-overflow) .19  28 2.0  1 false(no-overflow) .20  28 1.9  1 false(no-overflow) .68  12 8.4  1 false(no-overflow) .17  12 2.1  1 false(no-overflow) 4.2 240 35 1 false(no-overflow) 4.3 250 36 1 false(no-overflow) 4.2 240 38 1
termination-crafted/Singapore_v2_false-no-overflow.c false(no-overflow) .12  23 .83 1 false(no-overflow) .27 33 2.2 1 error (1) .46 43 4.3 0 error (1) .43 40 4.6 0 false(no-overflow) 2.6 270 26 1 false(no-overflow) .55 75 7.0 0 false(no-overflow) .17  28 1.9  1 false(no-overflow) .21  28 1.9  1 false(no-overflow) .69  12 8.1  1 false(no-overflow) .16  12 1.9  1 false(no-overflow) 4.1 240 36 1 false(no-overflow) 4.2 250 34 1 false(no-overflow) 4.3 250 35 1
termination-crafted/Stockholm_false-no-overflow.c false(no-overflow) .12  23 .89 1 false(no-overflow) .24 33 2.0 1 error (1) .44 40 4.6 0 error (1) .47 40 4.0 0 false(no-overflow) 2.7 270 22 1 false(no-overflow) .57 75 7.5 0 false(no-overflow) .29  28 2.2  1 false(no-overflow) .32  28 2.5  1 false(no-overflow) 1.8   13 22    1 false(no-overflow) .18  12 1.7  1 false(no-overflow) 4.3 240 39 1 false(no-overflow) 4.2 250 41 1 false(no-overflow) 4.4 250 35 1
termination-crafted/Thun_false-no-overflow.c false(no-overflow) .13  23 .76 1 false(no-overflow) .27 33 2.0 1 error (1) .47 43 4.5 0 error (1) .44 40 3.9 0 false(no-overflow) 2.7 270 23 1 false(no-overflow) .54 75 6.2 0 false(no-overflow) .18  28 1.6  1 false(no-overflow) .27  28 2.4  1 false(no-overflow) 1.1   13 16    1 false(no-overflow) .18  12 1.7  1 false(no-overflow) 4.0 240 33 1 false(no-overflow) 4.3 250 33 1 false(no-overflow) 4.0 250 33 1
termination-crafted/Toulouse-BranchesToLoop_false-no-overflow.c false(no-overflow) .12  23 1.1  1 false(no-overflow) .27 33 2.1 1 error (1) .49 40 4.7 0 error (1) .42 40 4.3 0 false(no-overflow) 2.7 270 22 1 false(no-overflow) .57 75 6.9 0 false(no-overflow) .17  28 1.5  1 false(no-overflow) .28  28 1.8  1 false(no-overflow) .95  12 13    1 false(no-overflow) .16  12 1.8  1 false(no-overflow) 4.9 280 41 1 false(no-overflow) 4.5 250 41 1 false(no-overflow) 4.8 290 38 1
termination-crafted/Toulouse-MultiBranchesToLoop_false-no-overflow.c false(no-overflow) .12  24 1.1  1 false(no-overflow) .27 33 2.5 1 error (1) .48 43 4.9 0 error (1) .46 40 4.0 0 false(no-overflow) 3.1 280 28 1 false(no-overflow) .62 77 7.9 0 false(no-overflow) .55  28 4.4  1 false(no-overflow) .57  28 5.7  1 false(no-overflow) 1.4   12 19    0 false(no-overflow) .20  12 1.9  1 false(no-overflow) 13   660 120 1 false(no-overflow) 12   540 120 1 false(no-overflow) 13   610 100 1
termination-crafted/aaron2_false-no-overflow.c false(no-overflow) .14  25 .85 1 false(no-overflow) .24 35 2.5 1 error (1) .50 41 4.7 0 error (1) .43 40 3.9 0 false(no-overflow) 2.7 280 28 1 false(no-overflow) .41 75 4.6 0 false(no-overflow) .25  28 2.3  1 false(no-overflow) .34  28 3.3  1 false(no-overflow) .93  13 12    1 false(no-overflow) .16  12 2.3  1 false(no-overflow) 4.7 280 43 1 false(no-overflow) 4.1 250 36 1 false(no-overflow) 4.6 280 38 1
termination-crafted/aaron3_false-no-overflow.c false(no-overflow) .14  23 .76 1 false(no-overflow) .26 33 2.2 1 error (1) .47 41 4.1 0 error (1) .48 40 4.6 0 false(no-overflow) 2.7 270 23 1 false(no-overflow) .39 75 4.6 0 false(no-overflow) .26  28 2.5  1 false(no-overflow) .33  28 2.9  1 false(no-overflow) .79  13 10    1 false(no-overflow) .19  12 2.4  1 false(no-overflow) 6.0 320 40 1 false(no-overflow) 4.2 250 39 1 false(no-overflow) 4.3 250 40 1
termination-crafted/easy2_false-no-overflow.c timeout 900     1700 12000    0 error (42) 870    2200 3100   0 error (1) .48 42 4.2 0 error (1) .43 40 4.3 0 timeout 900   13000 10000 0 unknown 160    390 2300   0 timeout 900     890 11000    0 timeout 900     880 11000    0 unknown 900     300 11000    0 timeout (timeout) 900     210 13000    0 timeout 900   5300 14000 0 timeout 900   7000 13000 0 timeout 900   5300 13000 0
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true .19  24 1.4  2 true 2.2  34 28   2 error (1) .50 40 4.4 0 error (1) .44 40 3.9 0 true 2.6 270 24 2 unknown 1.2  76 14   0 true .087 26 .89 2 true .074 26 .79 2 true .34  11 3.5  2 true .13  11 1.5  2 true 7.3 360 56 2 true 4.6 260 42 2 true 4.5 260 36 2
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c true 5.9   200 66    2 error (42) 870    3000 3200   0 error (1) .49 41 4.3 0 error (1) .43 40 4.1 0 true 2.9 270 25 2 unknown 60    100 790   0 timeout 900     1600 11000    0 true .12  26 .57 2 unknown 890     100 12000    0 timeout (timeout) 900     250 11000    0 true 30   940 320 2 timeout 900   5200 14000 0 timeout 900   1500 11000 0
termination-crafted/Arrays02-EquivalentConstantIndices_true-no-overflow_false-termination.c true 3.0   100 31    2 error (42) 870    3900 4200   0 error (1) .48 41 4.8 0 error (1) .42 40 4.2 0 true 2.7 270 24 2 unknown 1.3  75 14   0 timeout 900     1500 14000    0 true .072 26 .78 2 unknown 900     32 11000    0 timeout (timeout) 900     70 11000    0 true 4.6 280 36 2 true 4.5 260 42 2 true 4.8 280 40 2
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c true 3.3   170 37    2 error (42) 870    3800 3000   0 error (1) .47 43 4.3 0 error (1) .46 40 4.1 0 timeout 900   6200 11000 0 unknown 1.4  100 18   0 timeout 900     1100 11000    0 true .089 26 .78 2 unknown 3.0   140 33    0 timeout (timeout) 900     180 12000    0 true 5.7 300 51 2 true 7.0 470 63 2 true 6.8 330 60 2
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true .10  22 .73 2 error (42) 870    5300 4700   0 error (1) .47 41 4.4 0 error (1) .47 40 4.2 0 true 2.7 270 25 2 unknown 7.6  75 92   0 timeout 900     130 10000    0 true .10  26 .85 2 unknown 900     60 10000    0 timeout (timeout) 900     52 12000    0 true 5.2 300 44 2 true 7.0 460 58 2 true 5.5 290 49 2
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c true .087 23 .86 2 error (42) 870    5500 5800   0 error (1) .47 40 3.7 0 error (1) .45 38 3.6 0 true 2.7 270 28 2 unknown 7.2  75 89   0 timeout 900     190 12000    0 true .089 26 1.1  2 unknown 900     58 12000    0 timeout (timeout) 900     55 14000    0 true 5.3 300 42 2 true 6.2 420 59 2 true 5.5 300 42 2
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c true .17  24 1.2  2 true .45 33 3.8 2 error (1) .48 40 4.5 0 error (1) .45 40 4.8 0 true 2.6 270 25 2 unknown 1.5  75 15   0 true .12  26 1.2  2 true .096 26 .95 2 true .49  12 5.2  2 true .20  12 2.0  2 true 5.0 300 43 2 true 5.3 290 40 2 true 5.8 300 50 2
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     310 8400    0 error (42) 870    2200 3200   0 error (1) .49 41 4.3 0 error (1) .44 40 3.8 0 timeout 900   4900 11000 0 unknown 380    560 4700   0 timeout 900     1300 9700    0 timeout 900     1300 11000    0 unknown 900     930 12000    0 timeout (timeout) 900     100 13000    0 true 17   720 150 2 timeout 900   5700 12000 0 true 24   800 220 2
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c true .12  22 .68 2 error (42) 870    8400 3400   0 error (1) .47 41 4.1 0 error (1) .45 41 4.0 0 true 2.6 270 21 2 unknown 1.2  75 18   0 unknown .056 15 .25 0 unknown .033 15 .31 0 unknown 900     1200 11000    0 error (1) .080 11 .63 0 true 4.1 230 38 2 true 4.0 240 32 2 true 4.1 240 37 2
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     1300 12000    0 error (42) 870    4600 5900   0 error (1) .50 40 4.3 0 error (1) .47 41 4.4 0 timeout 900   2600 10000 0 unknown 68    75 850   0 timeout 900     440 11000    0 timeout 900     450 12000    0 unknown 900     1100 11000    0 timeout (timeout) 900     270 13000    0 true 4.9 300 40 2 true 4.9 270 44 2 true 5.3 300 43 2
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     1400 13000    0 error (42) 870    4500 4000   0 error (1) .45 41 4.6 0 error (1) .44 40 4.5 0 true 2.8 270 23 2 unknown 1.4  75 20   0 timeout 900     400 9700    0 timeout 900     400 11000    0 unknown 900     1200 12000    0 timeout (timeout) 900     170 11000    0 true 4.6 290 46 2 true 5.1 270 41 2 true 5.1 280 43 2
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true .11  23 .87 2 error (42) 870    3200 4900   0 error (1) .48 41 4.6 0 error (1) .43 38 3.7 0 true 2.7 270 22 2 unknown 1.3  75 16   0 timeout 900     760 11000    0 true .075 26 .77 2 unknown 900     1100 9900    0 timeout (timeout) 900     230 13000    0 true 5.5 310 53 2 true 6.8 420 51 2 true 6.4 300 51 2
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c true .11  23 .83 2 error (42) 870    3900 3500   0 error (1) .51 43 4.3 0 error (1) .45 40 4.0 0 true 2.9 290 23 2 unknown 1.5  75 17   0 timeout 900     630 13000    0 true .082 26 .86 2 unknown 900     26 12000    0 timeout (timeout) 900     15 14000    0 true 4.7 290 39 2 true 5.8 310 45 2 true 7.6 390 50 2
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c true 6.3   280 63    1 error (134) 50    14000 600   0 error (1) .49 43 4.8 0 error (1) .46 40 3.8 0 true 2.7 270 25 1 unknown 38    100 500   0 out of memory 750     15000 11000    0 true .11  26 .96 1 unknown 900     1900 11000    0 unknown 300     2900 2500    0 timeout 900   4900 13000 0 timeout 900   5300 15000 0 timeout 900   1600 11000 0
termination-crafted/LexIndexValue-Pointer_true-no-overflow.c error (134) .16  24 1.7  0 error (134) 58    14000 730   0 error (1) .48 40 4.1 0 error (1) .44 40 4.2 0 timeout 900   6300 9900 0 unknown 120    160 1500   0 timeout 900     5900 11000    0 timeout 900     5900 11000    0 unknown 900     1900 12000    0 timeout (timeout) 900     3800 7900    0 timeout 900   2000 11000 0 timeout 900   6200 11000 0 timeout 900   1300 12000 0
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c true .13  22 .69 2 out of memory 210    15000 2800   0 error (1) .45 41 3.9 0 error (1) .44 40 4.5 0 true 2.5 270 24 2 unknown 1.2  75 12   0 timeout 900     11000 9700    0 true .082 26 .66 2 unknown 890     11 12000    0 true .13  11 1.3  2 true 3.8 240 37 2 true 3.9 230 35 2 true 4.3 240 34 2
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     1500 10000    0 error (42) 870    1200 8200   0 error (1) .50 41 4.3 0 error (1) .45 40 3.8 0 timeout 900   600 12000 0 unknown 900    120 9700   0 timeout 900     150 12000    0 timeout 900     150 11000    0 unknown 900     110 13000    0 timeout (timeout) 900     76 12000    0 timeout 900   5200 11000 0 timeout 900   5300 14000 0 timeout 900   3900 13000 0
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .10  22 .64 0 error (42) 870    2000 2900   0 error (1) .47 41 4.2 0 error (1) .42 40 4.4 0 true 2.9 280 27 2 out of memory (false(no-overflow)) 510    15000 7100   0 timeout 900     6400 7300    0 timeout 900     9000 9500    0 unknown 900     140 11000    0 timeout (timeout) 900     72 12000    0 true 6.3 310 53 2 true 6.6 400 52 2 true 6.4 310 51 2
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     750 7700    0 error (42) 870    3200 4100   0 error (1) .48 43 3.8 0 error (1) .46 40 4.0 0 true 2.9 270 25 2 unknown 1.4  75 16   0 timeout 900     1000 11000    0 timeout 900     1000 10000    0 unknown 900     940 12000    0 timeout (timeout) 900     100 12000    0 true 9.8 540 79 2 true 18   670 170 2 true 7.2 320 55 2
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c error (5) .12  22 .69 0 error (42) 870    310 3700   0 error (1) .46 41 4.8 0 error (1) .47 40 4.2 0 true 3.9 290 33 2 unknown 450    15000 6300   0 timeout 900     12000 6500    0 out of memory 720     15000 7600    0 unknown 900     600 12000    0 timeout (timeout) 900     92 12000    0 true 8.5 450 66 2 timeout 900   1200 14000 0 true 16   640 140 2
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .12  22 .66 0 error (42) 870    290 2400   0 error (1) .48 40 4.3 0 error (1) .44 40 4.8 0 true 4.0 290 40 2 unknown 440    15000 6000   0 timeout 900     12000 6200    0 out of memory 670     15000 7800    0 unknown 900     260 11000    0 timeout (timeout) 900     130 11000    0 true 19   790 170 2 timeout 900   1200 12000 0 true 44   1100 390 2
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .12  22 .64 0 error (42) 870    710 3800   0 error (1) .47 40 4.2 0 error (1) .45 40 4.6 0 timeout 900   1200 13000 0 out of memory (false(no-overflow)) 440    15000 5900   0 timeout 900     4900 6300    0 timeout 900     4800 12000    0 unknown 900     460 12000    0 timeout (timeout) 900     360 13000    0 true 12   560 93 2 timeout 900   1500 13000 0 true 23   670 180 2
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .11  22 .67 0 error (42) 870    480 3200   0 error (1) .45 40 4.0 0 error (1) .41 40 4.8 0 true 3.3 280 30 2 out of memory (false(no-overflow)) 390    15000 4400   0 timeout 900     4900 6800    0 out of memory 770     15000 6700    0 unknown 900     460 10000    0 timeout (timeout) 900     290 14000    0 true 8.4 480 71 2 timeout 900   1600 14000 0 true 13   580 110 2
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .10  22 .84 0 error (42) 870    700 3600   0 error (1) .50 43 5.0 0 error (1) .41 40 3.7 0 timeout 900   1400 9800 0 out of memory (false(no-overflow)) 440    15000 6000   0 timeout 900     4800 5200    0 out of memory 680     15000 6600    0 unknown 900     490 13000    0 timeout (timeout) 900     400 12000    0 true 12   530 99 2 timeout 900   1800 11000 0 true 15   610 110 2
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c error (5) .086 22 .64 0 error (42) 870    810 6200   0 error (1) .49 43 4.2 0 error (1) .47 40 4.6 0 timeout 900   5100 9900 0 out of memory (false(no-overflow)) 500    15000 5300   0 timeout 900     6100 6000    0 timeout 900     12000 7200    0 unknown 900     2400 9200    0 timeout (timeout) 900     980 11000    0 true 11   550 83 2 timeout 900   2000 11000 0 true 9.5 520 76 2
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .097 22 .64 0 error (42) 870    4100 5400   0 error (1) .45 41 4.2 0 error (1) .44 40 4.3 0 timeout 900   4300 11000 0 out of memory (false(no-overflow)) 500    15000 7300   0 out of memory 890     15000 7700    0 timeout 900     12000 10000    0 unknown 900     1600 10000    0 timeout (timeout) 900     270 10000    0 true 14   610 120 2 timeout 900   5000 12000 0 true 14   610 120 2
termination-crafted/NonTermination3_true-no-overflow_false-termination.c true .11  23 .80 2 error (42) 870    2700 5600   0 error (1) .46 41 4.2 0 error (1) .45 41 3.9 0 true 2.6 270 22 2 unknown 1.2  75 13   0 timeout 900     2100 11000    0 true .079 26 .74 2 true .41  12 5.0  2 true .13  11 1.6  2 true 4.1 240 33 2 true 4.0 240 40 2 true 3.9 230 31 2
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c true .12  22 .84 2 error (42) 870    5300 4400   0 error (1) .52 40 4.4 0 error (1) .44 40 4.3 0 true 2.7 270 26 2 unknown 1.4  75 16   0 timeout 900     170 11000    0 true .072 26 .89 2 unknown 890     11 12000    0 true .16  11 1.6  2 true 5.3 300 45 2 true 6.4 380 52 2 true 5.8 300 46 2
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true .11  25 .81 2 error (42) 870    2200 6500   0 error (1) .48 40 4.2 0 error (1) .44 41 3.9 0 true 2.7 270 23 2 unknown 1.4  75 17   0 timeout 900     380 12000    0 true .10  26 .62 2 unknown 900     650 13000    0 timeout (timeout) 900     4000 10000    0 true 4.9 280 44 2 true 6.3 390 55 2 true 6.8 360 60 2
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true .11  23 .83 2 error (42) 870    2100 6800   0 error (1) .44 40 4.3 0 error (1) .44 40 4.8 0 true 2.6 270 24 2 unknown 1.3  75 17   0 timeout 900     400 9700    0 true .076 26 .86 2 unknown 900     250 11000    0 timeout (timeout) 900     250 12000    0 true 4.9 280 42 2 true 6.1 380 52 2 true 4.9 290 38 2
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c true .14  23 .75 2 error (42) 870    830 9100   0 error (1) .46 40 4.3 0 error (1) .45 40 3.8 0 true 2.7 270 26 2 unknown 1.2  75 16   0 timeout 900     220 12000    0 true .12  26 1.1  2 unknown 900     140 11000    0 timeout (timeout) 900     170 12000    0 true 5.0 290 41 2 true 6.0 340 50 2 true 4.9 300 44 2
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c true .15  23 1.7  2 error (42) 870    4500 4000   0 error (1) .46 40 4.3 0 error (1) .43 40 4.5 0 true 2.6 270 26 2 unknown 72    75 1000   0 timeout 900     720 11000    0 timeout 900     720 11000    0 unknown 900     460 11000    0 timeout (timeout) 900     250 12000    0 true 5.5 300 46 2 true 5.8 320 50 2 true 5.0 280 41 2
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c true .11  23 .72 2 error (42) 870    1300 9500   0 error (1) .42 40 4.4 0 error (1) .45 40 4.1 0 true 2.7 260 23 2 unknown 1.3  75 15   0 timeout 900     410 14000    0 true .12  26 .86 2 unknown 900     440 12000    0 timeout (timeout) 900     330 11000    0 true 5.7 300 45 2 true 6.5 380 62 2 true 5.6 300 46 2
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true .10  22 .74 2 error (42) 870    5100 4100   0 error (1) .49 43 4.2 0 error (1) .43 40 3.7 0 true 2.6 270 23 2 unknown 1.4  75 14   0 timeout 900     740 11000    0 true .11  26 .72 2 unknown 900     260 11000    0 timeout (timeout) 900     210 13000    0 true 4.8 290 38 2 true 5.1 260 47 2 true 4.7 280 36 2
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c true .10  22 .84 2 true .39 33 5.0 2 error (1) .47 41 4.5 0 error (1) .46 40 4.2 0 true 2.7 290 25 2 unknown 1.2  48 12   0 true .069 26 .84 2 true .093 26 .73 2 true .29  11 3.5  2 true .14  11 1.3  2 true 4.1 240 33 2 true 3.8 240 31 2 true 4.0 240 35 2
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c true .10  22 .72 2 true .41 33 4.3 1 error (1) .48 41 4.1 0 error (1) .44 40 3.6 0 true 2.6 270 24 2 unknown 1.2  75 13   0 out of memory 290     15000 4400    0 true .10  26 .68 2 unknown 890     11 12000    0 true .13  11 1.4  2 true 4.1 240 37 2 true 3.8 230 33 2 true 4.2 240 31 2
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true .11  22 .92 2 true 4.2  61 55   2 error (1) .46 40 3.6 0 error (1) .46 40 4.4 0 true 2.7 270 22 2 unknown 1.4  75 17   0 true .61  26 8.6  2 true .11  26 .66 2 true .38  11 4.3  2 true .15  11 1.5  2 true 4.8 290 37 2 true 5.7 310 45 2 true 4.8 290 39 2
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     1700 9900    0 error (42) 870    2400 4200   0 error (1) .50 42 4.4 0 error (1) .43 41 4.0 0 timeout 900   13000 11000 0 unknown 120    240 1600   0 timeout 900     900 12000    0 timeout 900     890 10000    0 unknown 900     310 9900    0 timeout (timeout) 900     180 12000    0 timeout 900   5300 13000 0 timeout 900   7100 11000 0 true 7.4 350 60 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_false-no-overflow.c false(no-overflow) .15  23 .84 1 false(no-overflow) .27 33 1.9 1 error (1) .49 40 4.0 0 error (1) .44 41 4.0 0 false(no-overflow) 2.8 270 24 1 false(no-overflow) .58 100 6.9 0 false(no-overflow) .29  28 2.3  1 false(no-overflow) .41  29 4.6  1 false(no-overflow) .41  12 6.0  1 false(no-overflow) .19  12 1.9  1 false(no-overflow) 4.7 300 43 1 false(no-overflow) 4.7 260 36 1 false(no-overflow) 4.7 290 40 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_false-no-overflow.c false(no-overflow) .13  26 1.1  1 false(no-overflow) .28 36 2.6 1 error (1) .43 40 3.6 0 error (1) .44 41 4.6 0 false(no-overflow) 2.7 280 26 1 false(no-overflow) .60 130 6.5 0 false(no-overflow) .29  28 3.0  1 false(no-overflow) .56  30 6.8  1 false(no-overflow) .43  12 6.0  1 false(no-overflow) .19  12 1.9  1 false(no-overflow) 5.1 280 46 1 false(no-overflow) 4.9 260 42 1 false(no-overflow) 5.1 290 38 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_false-no-overflow.c false(no-overflow) .11  23 .93 1 false(no-overflow) .25 33 2.1 1 error (1) .48 40 4.3 0 error (1) .44 41 4.1 0 false(no-overflow) 2.6 270 24 1 false(no-overflow) .40 75 4.7 0 false(no-overflow) .24  28 2.8  1 false(no-overflow) .26  28 3.2  1 false(no-overflow) .92  13 13    1 false(no-overflow) .20  12 1.8  1 false(no-overflow) 4.6 280 38 1 false(no-overflow) 4.3 250 42 1 false(no-overflow) 4.8 280 40 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_false-no-overflow.c false(no-overflow) .14  23 .88 1 false(no-overflow) .24 33 2.5 1 error (1) .48 42 4.6 0 error (1) .42 41 4.2 0 false(no-overflow) 2.8 270 24 1 false(no-overflow) .39 75 4.4 0 false(no-overflow) .27  28 2.9  1 false(no-overflow) .35  28 2.8  1 unknown .82  13 10    0 false(no-overflow) .22  12 2.4  1 false(no-overflow) 4.4 240 36 1 false(no-overflow) 4.3 250 37 1 false(no-overflow) 4.4 250 36 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_false-no-overflow.c false(no-overflow) .13  23 .98 1 false(no-overflow) .29 33 2.6 1 error (1) .48 41 4.0 0 error (1) .46 40 3.7 0 false(no-overflow) 2.6 270 21 1 false(no-overflow) .63 100 6.9 0 false(no-overflow) .23  28 1.8  1 false(no-overflow) .38  28 3.7  1 false(no-overflow) .68  13 7.9  1 false(no-overflow) .21  12 2.0  1 false(no-overflow) 5.9 300 49 1 false(no-overflow) 6.2 380 59 1 false(no-overflow) 6.3 290 47 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_false-no-overflow.c false(no-overflow) .14  25 .96 1 false(no-overflow) .28 33 2.3 1 error (1) .48 41 4.8 0 error (1) .45 42 4.6 0 false(no-overflow) 2.8 270 26 1 false(no-overflow) .38 75 4.8 0 false(no-overflow) .25  28 2.2  1 false(no-overflow) .38  28 2.9  1 false(no-overflow) .72  12 7.8  1 false(no-overflow) .17  12 2.1  1 false(no-overflow) 4.0 240 37 1 false(no-overflow) 4.6 250 44 1 false(no-overflow) 4.3 250 35 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_false-no-overflow.c false(no-overflow) .13  23 1.1  1 false(no-overflow) .26 33 2.7 1 error (1) .48 41 4.6 0 error (1) .44 41 4.5 0 false(no-overflow) 2.8 270 26 1 false(no-overflow) .58 130 6.7 0 false(no-overflow) .20  28 1.8  1 false(no-overflow) .36  28 3.8  1 false(no-overflow) 1.2   13 16    1 false(no-overflow) .25  12 2.7  1 false(no-overflow) 7.1 370 56 1 false(no-overflow) 5.9 340 51 1 false(no-overflow) 5.2 290 42 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_false-no-overflow.c timeout 900     1700 12000    0 error (42) 870    2400 3400   0 error (1) .44 40 3.8 0 error (1) .45 40 3.8 0 timeout 900   13000 11000 0 unknown 160    390 2100   0 timeout 900     890 12000    0 timeout 900     890 11000    0 unknown 900     270 11000    0 timeout (timeout) 900     200 10000    0 timeout 900   5300 15000 0 timeout 900   7000 10000 0 timeout 900   5300 12000 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_false-no-overflow.c false(no-overflow) .14  23 .90 1 false(no-overflow) .26 33 1.5 1 error (1) .48 41 4.5 0 error (1) .42 40 3.5 0 false(no-overflow) 2.6 270 23 1 false(no-overflow) .39 75 4.5 0 false(no-overflow) .27  28 2.4  1 false(no-overflow) .36  28 3.8  1 false(no-overflow) .53  13 6.5  1 false(no-overflow) .16  12 1.9  1 false(no-overflow) 5.0 290 42 1 false(no-overflow) 5.9 320 52 1 false(no-overflow) 4.7 280 40 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_false-no-overflow.c false(no-overflow) .12  22 .87 1 false(no-overflow) .25 33 1.9 1 error (1) .49 41 4.7 0 error (1) .44 40 3.7 0 false(no-overflow) 2.6 270 24 1 false(no-overflow) .54 75 6.0 0 false(no-overflow) .13  28 1.4  1 false(no-overflow) .14  28 1.1  1 false(no-overflow) .30  11 3.6  1 false(no-overflow) .19  12 1.7  1 false(no-overflow) 4.5 280 38 1 false(no-overflow) 4.5 250 37 1 false(no-overflow) 4.7 290 36 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_false-no-overflow.c timeout 900     3000 5800    0 error (42) 870    1500 5000   0 error (1) .47 41 4.1 0 error (1) .46 40 4.5 0 timeout 900   6200 10000 0 unknown 900    710 6100   0 timeout 900     1100 11000    0 timeout 900     1000 9700    0 unknown 890     620 12000    0 timeout (timeout) 900     1900 9800    0 timeout 900   5000 13000 0 timeout 900   6000 12000 0 timeout 900   3000 15000 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_false-no-overflow.c timeout 900     1000 9500    0 error (42) 870    590 9400   0 error (1) .45 41 3.9 0 error (1) .45 41 4.2 0 timeout 910   620 13000 0 unknown 900    140 12000   0 timeout 900     120 12000    0 timeout 900     120 9600    0 unknown 900     350 14000    0 timeout (timeout) 900     4000 8700    0 timeout 900   8500 9900 0 timeout 900   6700 12000 0 timeout 900   3800 12000 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_false-no-overflow.c false(no-overflow) .14  23 .84 1 false(no-overflow) .25 33 2.0 1 error (1) .42 40 3.8 0 error (1) .46 41 4.1 0 false(no-overflow) 2.9 280 27 1 false(no-overflow) .56 75 6.5 0 false(no-overflow) .15  28 1.3  1 false(no-overflow) .13  28 1.5  1 false(no-overflow) .40  12 5.0  1 false(no-overflow) .18  12 1.9  1 false(no-overflow) 4.1 250 35 1 false(no-overflow) 4.3 250 35 1 false(no-overflow) 4.4 250 34 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_false-no-overflow.c false(no-overflow) .14  25 .85 1 false(no-overflow) .25 33 2.2 1 error (1) .45 41 4.0 0 error (1) .45 40 3.8 0 false(no-overflow) 2.7 280 24 1 false(no-overflow) .55 75 6.6 0 false(no-overflow) .22  28 2.5  1 false(no-overflow) .26  28 2.3  1 out of memory 31     15000 470    0 false(no-overflow) .19  12 1.8  1 false(no-overflow) 4.4 240 39 1 false(no-overflow) 4.1 250 36 1 false(no-overflow) 4.2 250 32 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_false-no-overflow.c false(no-overflow) .13  22 .80 1 false(no-overflow) .27 33 2.0 1 error (1) .45 42 4.3 0 error (1) .46 40 4.2 0 false(no-overflow) 2.7 270 23 1 false(no-overflow) .39 75 4.8 0 false(no-overflow) .27  28 2.4  1 false(no-overflow) .35  28 3.7  1 false(no-overflow) .50  13 6.5  1 false(no-overflow) .19  12 2.0  1 false(no-overflow) 4.9 290 41 1 false(no-overflow) 5.5 310 48 1 false(no-overflow) 4.9 280 42 1
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_false-no-overflow.c false(no-overflow) .14  23 .83 1 false(no-overflow) .25 33 2.3 1 error (1) .45 40 4.1 0 error (1) .42 40 4.2 0 false(no-overflow) 2.8 270 23 1 false(no-overflow) .38 75 4.7 0 false(no-overflow) .28  28 2.2  1 false(no-overflow) .45  28 3.7  1 false(no-overflow) .61  12 8.0  1 false(no-overflow) .19  12 1.9  1 false(no-overflow) 4.9 300 39 1 false(no-overflow) 4.7 270 39 1 false(no-overflow) 4.7 290 37 1
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_false-no-overflow.c false(no-overflow) .13  23 .86 1 false(no-overflow) .25 33 2.6 1 error (1) .46 41 4.0 0 error (1) .45 40 4.2 0 false(no-overflow) 2.7 270 25 1 false(no-overflow) .61 76 7.1 0 false(no-overflow) .24  28 2.2  1 false(no-overflow) .26  28 2.5  1 out of memory 25     15000 310    0 false(no-overflow) .20  12 1.9  1 false(no-overflow) 4.8 280 37 1 false(no-overflow) 4.6 250 36 1 false(no-overflow) 4.7 290 40 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_false-no-overflow.c false(no-overflow) .15  29 1.5  1 false(no-overflow) .35 38 2.6 1 error (1) .45 41 3.8 0 error (1) .45 40 3.8 0 false(no-overflow) 2.7 270 23 1 false(no-overflow) 480    130 6900   0 false(no-overflow) .42  29 4.2  1 false(no-overflow) .69  32 6.7  1 false(no-overflow) 1.9   20 22    1 false(no-overflow) .17  12 2.3  1 false(no-overflow) 4.4 250 37 1 false(no-overflow) 4.3 250 36 1 false(no-overflow) 4.3 250 39 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_false-no-overflow.c false(no-overflow) .11  23 .82 1 false(no-overflow) .28 35 2.4 1 error (1) .49 40 5.1 0 error (1) .43 40 4.6 0 false(no-overflow) 2.8 270 22 1 false(no-overflow) .40 75 4.7 0 false(no-overflow) .27  28 2.6  1 false(no-overflow) .31  28 2.9  1 false(no-overflow) .68  12 8.2  1 false(no-overflow) .21  12 2.1  1 false(no-overflow) 4.5 250 36 1 false(no-overflow) 4.6 250 35 1 false(no-overflow) 4.4 250 32 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_false-no-overflow.c false(no-overflow) .11  23 1.0  1 false(no-overflow) .27 33 2.2 1 error (1) .46 41 3.8 0 error (1) .41 40 3.7 0 false(no-overflow) 2.7 270 23 1 false(no-overflow) .41 75 4.5 0 false(no-overflow) .25  28 2.7  1 false(no-overflow) .29  28 3.4  1 false(no-overflow) .98  13 11    1 false(no-overflow) .20  12 1.8  1 false(no-overflow) 4.5 280 38 1 false(no-overflow) 4.3 240 37 1 false(no-overflow) 4.5 290 34 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_false-no-overflow.c false(no-overflow) .13  23 .82 1 false(no-overflow) .25 33 2.2 1 error (1) .47 40 4.6 0 error (1) .47 41 4.1 0 false(no-overflow) 2.6 270 23 1 false(no-overflow) .39 75 4.8 0 false(no-overflow) .30  28 2.6  1 false(no-overflow) .33  28 2.9  1 false(no-overflow) .81  13 9.6  1 false(no-overflow) .20  12 2.3  1 false(no-overflow) 4.2 240 40 1 false(no-overflow) 4.2 260 36 1 false(no-overflow) 4.3 250 37 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_false-no-overflow.c false(no-overflow) .14  23 .94 1 false(no-overflow) .28 33 2.2 1 error (1) .48 43 4.5 0 error (1) .44 40 3.8 0 false(no-overflow) 2.7 270 25 1 false(no-overflow) .44 76 4.8 0 false(no-overflow) .37  28 4.0  1 false(no-overflow) .47  29 4.2  1 false(no-overflow) .82  12 11    1 false(no-overflow) .21  12 2.0  1 false(no-overflow) 4.2 240 36 1 false(no-overflow) 4.3 260 34 1 false(no-overflow) 4.5 260 38 1
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_false-no-overflow.c false(no-overflow) .13  24 .81 1 false(no-overflow) .27 33 2.3 1 error (1) .50 42 4.4 0 error (1) .44 40 3.8 0 false(no-overflow) 2.6 270 26 1 false(no-overflow) .42 76 4.6 0 false(no-overflow) .31  28 3.4  1 false(no-overflow) .42  28 4.3  1 out of memory 26     15000 360    0 false(no-overflow) .20  12 1.9  1 false(no-overflow) 4.3 250 39 1 false(no-overflow) 4.4 260 42 1 false(no-overflow) 4.2 250 34 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_false-no-overflow.c false(no-overflow) .11  23 .95 1 false(no-overflow) .25 33 1.9 1 error (1) .50 41 4.1 0 error (1) .45 40 4.6 0 false(no-overflow) 2.7 270 24 1 false(no-overflow) .55 75 6.4 0 false(no-overflow) .12  28 1.2  1 false(no-overflow) .14  28 1.4  1 false(no-overflow) .48  12 6.3  1 false(no-overflow) .17  12 1.7  1 false(no-overflow) 4.5 280 41 1 false(no-overflow) 4.3 250 36 1 false(no-overflow) 4.5 280 34 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_false-no-overflow.c false(no-overflow) .12  23 .86 1 false(no-overflow) .24 33 2.7 1 error (1) .46 40 3.9 0 error (1) .43 40 4.8 0 false(no-overflow) 2.7 270 23 1 false(no-overflow) .37 75 5.1 0 false(no-overflow) .11  28 1.3  1 false(no-overflow) .13  28 1.2  1 true 1.1   12 16    -32 false(no-overflow) .17  12 2.2  1 false(no-overflow) 4.3 240 35 1 false(no-overflow) 4.3 240 34 1 false(no-overflow) 4.3 240 37 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_false-no-overflow.c false(no-overflow) .10  23 1.1  1 false(no-overflow) .23 33 2.8 1 error (1) .48 41 4.6 0 error (1) .45 41 3.8 0 false(no-overflow) 2.6 280 22 1 false(no-overflow) .39 75 4.4 0 false(no-overflow) .12  28 1.5  1 false(no-overflow) .12  28 1.3  1 false(no-overflow) .37  11 4.8  1 false(no-overflow) .17  12 2.0  1 false(no-overflow) 4.4 280 37 1 false(no-overflow) 4.4 250 35 1 false(no-overflow) 4.4 290 37 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_false-no-overflow.c false(no-overflow) .10  23 .75 1 false(no-overflow) .24 33 1.8 1 error (1) .46 40 4.4 0 error (1) .40 40 4.4 0 false(no-overflow) 2.7 290 28 1 false(no-overflow) .39 75 4.3 0 false(no-overflow) .11  28 1.5  1 false(no-overflow) .16  28 1.1  1 false(no-overflow) .38  12 4.5  1 false(no-overflow) .17  12 1.9  1 false(no-overflow) 4.2 240 32 1 false(no-overflow) 4.2 250 39 1 false(no-overflow) 4.1 240 36 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_false-no-overflow.c false(no-overflow) .14  23 .88 1 false(no-overflow) .26 33 2.1 1 error (1) .49 40 4.2 0 error (1) .45 40 4.0 0 false(no-overflow) 2.8 280 26 1 false(no-overflow) .38 75 5.0 0 false(no-overflow) .13  28 1.2  1 false(no-overflow) .14  28 1.2  1 false(no-overflow) .36  12 4.4  1 false(no-overflow) .20  12 2.0  1 false(no-overflow) 4.1 230 34 1 false(no-overflow) 4.2 250 35 1 false(no-overflow) 4.1 240 36 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_false-no-overflow.c false(no-overflow) .13  22 .81 1 false(no-overflow) .27 33 1.9 1 error (1) .48 43 5.0 0 error (1) .42 40 3.9 0 false(no-overflow) 2.6 270 24 1 false(no-overflow) .54 75 7.4 0 false(no-overflow) .18  28 1.5  1 false(no-overflow) .19  28 1.9  1 false(no-overflow) .54  13 7.6  1 false(no-overflow) .17  12 1.8  1 false(no-overflow) 3.9 230 31 1 false(no-overflow) 4.2 250 34 1 false(no-overflow) 4.3 240 39 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-no-overflow.c false(no-overflow) .14  23 .83 1 false(no-overflow) .24 33 2.3 1 error (1) .49 41 4.8 0 error (1) .47 41 3.9 0 false(no-overflow) 2.6 270 23 1 false(no-overflow) .54 75 6.8 0 false(no-overflow) .17  28 1.7  1 false(no-overflow) .29  28 3.1  1 false(no-overflow) .58  12 7.9  1 false(no-overflow) .17  12 2.0  1 false(no-overflow) 4.5 280 39 1 false(no-overflow) 4.3 250 40 1 false(no-overflow) 4.6 280 38 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-no-overflow.c false(no-overflow) .14  23 .82 1 false(no-overflow) .26 33 2.2 1 error (1) .50 44 4.4 0 error (1) .45 40 4.0 0 false(no-overflow) 2.6 280 23 1 false(no-overflow) .56 75 6.6 0 false(no-overflow) .17  28 1.8  1 false(no-overflow) .30  28 2.8  1 unknown .52  12 7.0  0 false(no-overflow) .17  12 2.1  1 false(no-overflow) 4.2 240 39 1 false(no-overflow) 4.3 250 37 1 false(no-overflow) 4.1 240 37 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-no-overflow.c false(no-overflow) .10  23 1.1  1 false(no-overflow) .25 33 2.2 1 error (1) .44 40 3.9 0 error (1) .47 40 4.2 0 false(no-overflow) 2.6 270 23 1 false(no-overflow) .56 75 6.3 0 false(no-overflow) .17  28 2.1  1 false(no-overflow) .21  28 1.9  1 false(no-overflow) .93  13 13    1 false(no-overflow) .17  12 1.6  1 false(no-overflow) 4.2 240 32 1 false(no-overflow) 4.2 250 41 1 false(no-overflow) 4.2 240 34 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-no-overflow.c false(no-overflow) .11  23 .84 1 false(no-overflow) .26 33 2.0 1 error (1) .51 43 4.8 0 error (1) .42 40 4.1 0 false(no-overflow) 2.6 270 22 1 false(no-overflow) .56 75 7.4 0 false(no-overflow) .16  28 1.6  1 false(no-overflow) .22  28 2.3  1 out of memory 27     15000 360    0 false(no-overflow) .18  12 1.9  1 false(no-overflow) 4.1 250 41 1 false(no-overflow) 4.3 240 35 1 false(no-overflow) 4.2 240 33 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-no-overflow.c false(no-overflow) .15  24 1.1  1 false(no-overflow) .27 34 2.2 1 error (1) .46 41 4.3 0 error (1) .41 39 4.3 0 false(no-overflow) 2.6 270 26 1 false(no-overflow) .40 75 4.5 0 false(no-overflow) .20  28 2.1  1 false(no-overflow) .24  28 2.5  1 false(no-overflow) 1.1   12 14    1 false(no-overflow) .16  12 1.7  1 false(no-overflow) 4.3 240 35 1 false(no-overflow) 4.1 250 35 1 false(no-overflow) 4.1 240 32 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_false-no-overflow.c false(no-overflow) .13  23 .98 1 false(no-overflow) .27 33 2.2 1 error (1) .46 41 4.6 0 error (1) .49 41 3.9 0 false(no-overflow) 2.8 290 29 1 false(no-overflow) .37 75 4.7 0 false(no-overflow) .18  28 1.5  1 false(no-overflow) .27  28 2.6  1 false(no-overflow) .58  12 7.8  1 false(no-overflow) .16  12 2.1  1 false(no-overflow) 4.0 240 36 1 false(no-overflow) 4.0 250 34 1 false(no-overflow) 4.3 240 36 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_false-no-overflow.c false(no-overflow) .14  23 .85 1 false(no-overflow) .26 33 2.2 1 error (1) .49 41 4.6 0 error (1) .46 40 4.2 0 false(no-overflow) 2.7 270 22 1 false(no-overflow) .55 75 6.1 0 false(no-overflow) .20  28 1.5  1 false(no-overflow) .21  28 2.2  1 false(no-overflow) .72  12 9.7  1 false(no-overflow) .19  12 1.8  1 false(no-overflow) 4.2 240 34 1 false(no-overflow) 4.2 250 34 1 false(no-overflow) 4.3 240 38 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_false-no-overflow.c false(no-overflow) .14  23 .88 1 false(no-overflow) .26 33 2.0 1 error (1) .48 41 4.8 0 error (1) .45 40 4.2 0 false(no-overflow) 2.6 260 22 1 false(no-overflow) .39 75 5.7 0 false(no-overflow) .21  28 2.1  1 false(no-overflow) .24  28 3.1  1 false(no-overflow) 1.0   13 12    1 false(no-overflow) .17  12 1.9  1 false(no-overflow) 4.9 290 43 1 false(no-overflow) 5.2 290 42 1 false(no-overflow) 5.3 290 43 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_false-no-overflow.c false(no-overflow) .10  23 .87 1 false(no-overflow) .25 33 2.4 1 error (1) .44 40 4.5 0 error (1) .44 41 5.1 0 false(no-overflow) 2.7 270 23 1 false(no-overflow) .39 75 4.2 0 false(no-overflow) .18  28 1.5  1 false(no-overflow) .25  28 2.1  1 false(no-overflow) .49  12 6.1  1 false(no-overflow) .16  12 1.9  1 false(no-overflow) 4.7 300 39 1 false(no-overflow) 5.7 330 45 1 false(no-overflow) 4.9 290 38 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-no-overflow.c false(no-overflow) .15  24 .77 1 false(no-overflow) .27 34 2.9 1 error (1) .48 40 4.0 0 error (1) .42 40 3.9 0 false(no-overflow) 2.7 280 21 1 false(no-overflow) .40 75 4.4 0 false(no-overflow) .29  28 3.2  1 false(no-overflow) .37  29 4.5  1 false(no-overflow) .87  12 10    1 false(no-overflow) .19  12 1.6  1 false(no-overflow) 6.2 330 45 1 false(no-overflow) 4.3 250 36 1 false(no-overflow) 4.1 240 31 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-no-overflow.c false(no-overflow) .14  23 .83 1 false(no-overflow) .25 33 2.0 1 error (1) .47 43 4.4 0 error (1) .43 40 4.0 0 false(no-overflow) 2.6 270 25 1 false(no-overflow) .55 75 6.3 0 false(no-overflow) .26  28 2.4  1 false(no-overflow) .31  28 2.7  1 false(no-overflow) 1.3   13 19    1 false(no-overflow) .16  12 2.2  1 false(no-overflow) 4.0 250 34 1 false(no-overflow) 4.3 250 37 1 false(no-overflow) 4.1 240 35 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_false-no-overflow.c false(no-overflow) .12  23 .89 1 false(no-overflow) .28 33 2.0 1 error (1) .50 43 4.3 0 error (1) .44 40 4.3 0 false(no-overflow) 2.6 270 22 1 false(no-overflow) .39 75 4.9 0 false(no-overflow) .19  28 2.7  1 false(no-overflow) .25  28 2.5  1 false(no-overflow) .73  12 9.6  1 false(no-overflow) .16  12 1.9  1 false(no-overflow) 4.1 240 34 1 false(no-overflow) 4.4 250 39 1 false(no-overflow) 4.4 250 31 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-no-overflow.c false(no-overflow) .14  23 .88 1 false(no-overflow) .26 33 2.0 1 error (1) .51 41 4.1 0 error (1) .43 40 4.4 0 false(no-overflow) 2.6 270 22 1 false(no-overflow) .40 75 4.3 0 false(no-overflow) .19  28 2.5  1 false(no-overflow) .25  28 2.0  1 false(no-overflow) .58  12 6.3  1 false(no-overflow) .16  12 1.8  1 false(no-overflow) 4.2 240 38 1 false(no-overflow) 4.2 250 38 1 false(no-overflow) 4.4 250 33 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-no-overflow.c false(no-overflow) .13  22 .89 1 false(no-overflow) .26 33 1.8 1 error (1) .44 40 3.5 0 error (1) .46 41 4.0 0 false(no-overflow) 2.8 270 22 1 false(no-overflow) .54 75 5.5 0 false(no-overflow) .17  28 1.8  1 false(no-overflow) .17  28 1.9  1 false(no-overflow) .54  12 6.4  0 false(no-overflow) .18  12 1.8  1 false(no-overflow) 4.2 240 37 1 false(no-overflow) 4.2 240 35 1 false(no-overflow) 4.0 240 32 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_false-no-overflow.c false(no-overflow) .11  23 .81 1 false(no-overflow) .27 33 2.1 1 error (1) .48 40 4.0 0 error (1) .45 40 4.3 0 false(no-overflow) 2.6 260 23 1 false(no-overflow) .38 75 4.0 0 false(no-overflow) .16  28 1.5  1 false(no-overflow) .23  28 1.7  1 false(no-overflow) .40  12 5.3  1 false(no-overflow) .18  12 2.0  1 false(no-overflow) 4.4 270 36 1 false(no-overflow) 4.4 250 37 1 false(no-overflow) 4.6 280 34 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-no-overflow.c false(no-overflow) .13  22 .84 1 false(no-overflow) .24 33 2.5 1 error (1) .47 41 4.4 0 error (1) .43 40 4.1 0 false(no-overflow) 2.6 260 25 1 false(no-overflow) .36 75 4.7 0 false(no-overflow) .18  28 1.6  1 false(no-overflow) .16  28 2.1  1 false(no-overflow) .44  11 6.0  1 false(no-overflow) .15  12 1.7  1 false(no-overflow) 4.1 230 33 1 false(no-overflow) 4.3 250 39 1 false(no-overflow) 4.3 240 34 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_false-no-overflow.c false(no-overflow) .11  23 .97 1 false(no-overflow) .25 33 2.8 1 error (1) .47 40 4.6 0 error (1) .42 40 4.6 0 false(no-overflow) 2.8 270 24 1 false(no-overflow) .54 75 6.8 0 false(no-overflow) .18  28 1.9  1 false(no-overflow) .27  28 2.6  1 false(no-overflow) .69  12 9.4  1 false(no-overflow) .16  12 1.7  1 false(no-overflow) 4.0 240 33 1 false(no-overflow) 4.2 240 33 1 false(no-overflow) 6.3 340 55 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_false-no-overflow.c false(no-overflow) .13  23 .84 1 false(no-overflow) .23 33 2.9 1 error (1) .48 42 4.0 0 error (1) .42 40 4.0 0 false(no-overflow) 2.6 260 22 1 false(no-overflow) .36 75 4.3 0 false(no-overflow) .18  28 1.7  1 false(no-overflow) .22  28 3.0  1 unknown .86  12 9.9  0 false(no-overflow) .17  12 2.1  1 false(no-overflow) 4.2 240 31 1 false(no-overflow) 4.4 250 39 1 false(no-overflow) 4.2 250 38 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_false-no-overflow.c false(no-overflow) .11  23 1.0  1 false(no-overflow) .28 33 2.1 1 error (1) .50 43 4.2 0 error (1) .47 40 4.1 0 false(no-overflow) 2.8 270 23 1 false(no-overflow) .56 75 7.3 0 false(no-overflow) .17  28 1.7  1 false(no-overflow) .22  28 1.7  1 false(no-overflow) .51  12 6.9  1 false(no-overflow) .16  12 1.9  1 false(no-overflow) 4.1 250 33 1 false(no-overflow) 4.2 250 35 1 false(no-overflow) 4.3 240 37 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_false-no-overflow.c false(no-overflow) .12  22 .92 1 false(no-overflow) .24 33 2.7 1 error (1) .50 43 3.7 0 error (1) .44 40 3.7 0 false(no-overflow) 2.6 270 23 1 false(no-overflow) .37 75 4.7 0 false(no-overflow) .17  28 1.9  1 false(no-overflow) .20  28 1.6  1 true .44  12 6.1  -32 false(no-overflow) .17  12 2.1  1 false(no-overflow) 4.0 250 37 1 false(no-overflow) 4.2 250 35 1 false(no-overflow) 4.0 240 32 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-no-overflow.c false(no-overflow) .12  23 .73 1 false(no-overflow) .23 33 2.3 1 error (1) .51 41 4.3 0 error (1) .44 40 4.1 0 false(no-overflow) 2.7 270 23 1 false(no-overflow) .55 75 6.8 0 false(no-overflow) .25  28 2.1  1 false(no-overflow) .34  28 3.2  1 false(no-overflow) 1.1   13 13    1 false(no-overflow) .16  12 2.1  1 false(no-overflow) 4.4 250 33 1 false(no-overflow) 4.3 250 38 1 false(no-overflow) 4.2 250 32 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_false-no-overflow.c false(no-overflow) .12  22 .80 1 false(no-overflow) .26 33 1.9 1 error (1) .53 43 3.8 0 error (1) .43 40 3.8 0 false(no-overflow) 2.6 270 26 1 false(no-overflow) .55 75 5.7 0 false(no-overflow) .25  28 1.6  1 false(no-overflow) .37  28 4.9  1 false(no-overflow) .70  15 8.5  0 false(no-overflow) .18  12 1.7  1 false(no-overflow) 6.5 340 48 1 false(no-overflow) 4.1 250 40 1 false(no-overflow) 6.1 340 45 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_false-no-overflow.c false(no-overflow) .12  23 .99 1 false(no-overflow) .25 33 2.1 1 error (1) .47 43 4.2 0 error (1) .44 40 3.8 0 false(no-overflow) 2.7 270 24 1 false(no-overflow) .37 75 4.3 0 false(no-overflow) .26  28 2.1  1 false(no-overflow) .35  28 3.0  1 false(no-overflow) .96  13 13    1 false(no-overflow) .17  12 1.8  1 false(no-overflow) 4.3 250 37 1 false(no-overflow) 4.7 260 33 1 false(no-overflow) 4.1 240 37 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_false-no-overflow.c false(no-overflow) .12  23 .89 1 false(no-overflow) .27 33 2.1 1 error (1) .49 40 4.5 0 error (1) .46 42 4.3 0 false(no-overflow) 2.6 270 22 1 false(no-overflow) .38 75 5.2 0 false(no-overflow) .24  28 1.9  1 false(no-overflow) .27  28 2.4  1 false(no-overflow) .81  13 9.6  1 false(no-overflow) .17  12 2.3  1 false(no-overflow) 4.2 240 34 1 false(no-overflow) 4.2 250 39 1 false(no-overflow) 3.9 230 31 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-no-overflow.c false(no-overflow) .12  23 1.1  1 false(no-overflow) .27 33 2.4 1 error (1) .49 41 4.5 0 error (1) .49 41 4.0 0 false(no-overflow) 2.7 270 25 1 false(no-overflow) .54 75 7.0 0 false(no-overflow) .23  28 1.9  1 false(no-overflow) .22  28 2.1  1 false(no-overflow) .68  12 9.5  1 false(no-overflow) .16  12 1.9  1 false(no-overflow) 4.6 280 35 1 false(no-overflow) 4.5 260 35 1 false(no-overflow) 4.8 280 34 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_false-no-overflow.c false(no-overflow) .11  23 1.1  1 false(no-overflow) .25 33 2.3 1 error (1) .47 40 3.8 0 error (1) .44 40 4.6 0 false(no-overflow) 2.7 270 25 1 false(no-overflow) .56 75 7.5 0 false(no-overflow) .20  28 2.2  1 false(no-overflow) .23  28 2.2  1 unknown 1.7   13 23    0 false(no-overflow) .16  12 2.0  1 false(no-overflow) 4.3 240 38 1 false(no-overflow) 4.5 250 35 1 false(no-overflow) 4.1 250 34 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_false-no-overflow.c false(no-overflow) .12  23 .84 1 false(no-overflow) .24 33 2.2 1 error (1) .45 41 4.2 0 error (1) .43 38 3.6 0 false(no-overflow) 2.7 260 23 1 false(no-overflow) .39 75 4.6 0 false(no-overflow) .23  28 2.0  1 false(no-overflow) .29  28 2.6  1 false(no-overflow) .85  14 10    1 false(no-overflow) .20  12 1.8  1 false(no-overflow) 4.1 240 34 1 false(no-overflow) 4.2 250 36 1 false(no-overflow) 4.1 240 34 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_false-no-overflow.c false(no-overflow) .12  23 .82 1 false(no-overflow) .24 35 2.3 1 error (1) .46 40 4.4 0 error (1) .43 40 3.8 0 false(no-overflow) 3.2 310 29 1 false(no-overflow) .39 75 4.6 0 false(no-overflow) .20  28 1.4  1 false(no-overflow) .25  28 2.0  1 false(no-overflow) .78  12 8.4  1 false(no-overflow) .17  12 1.9  1 false(no-overflow) 4.2 240 38 1 false(no-overflow) 4.4 250 36 1 false(no-overflow) 4.1 250 37 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_false-no-overflow.c false(no-overflow) .13  23 .91 1 false(no-overflow) .25 33 1.9 1 error (1) .47 41 4.2 0 error (1) .44 41 4.1 0 false(no-overflow) 2.7 270 25 1 false(no-overflow) .37 75 5.3 0 false(no-overflow) .22  28 2.2  1 false(no-overflow) .26  28 2.4  1 false(no-overflow) 1.6   14 19    1 false(no-overflow) .21  12 2.0  1 false(no-overflow) 4.2 250 37 1 false(no-overflow) 4.2 250 35 1 false(no-overflow) 4.3 250 35 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_false-no-overflow.c false(no-overflow) .13  23 1.1  1 false(no-overflow) .25 33 2.1 1 error (1) .45 40 4.1 0 error (1) .46 40 4.2 0 false(no-overflow) 2.7 270 26 1 false(no-overflow) .38 75 3.9 0 false(no-overflow) .31  28 2.8  1 false(no-overflow) .32  28 3.1  1 false(no-overflow) 1.1   13 13    1 false(no-overflow) .18  12 2.0  1 false(no-overflow) 4.2 250 36 1 false(no-overflow) 4.2 250 35 1 false(no-overflow) 4.2 250 32 1
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_false-no-overflow.c false(no-overflow) .11  22 .84 1 false(no-overflow) .25 33 2.1 1 error (1) .48 40 4.5 0 error (1) .44 40 4.7 0 false(no-overflow) 2.8 270 22 1 false(no-overflow) .55 75 6.6 0 false(no-overflow) .23  28 2.1  1 false(no-overflow) .23  28 2.5  1 false(no-overflow) .49  13 5.8  0 false(no-overflow) .16  12 2.2  1 false(no-overflow) 4.3 250 32 1 false(no-overflow) 4.2 260 35 1 false(no-overflow) 4.4 250 36 1
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_false-no-overflow.c false(no-overflow) .13  23 .80 1 false(no-overflow) .28 33 2.2 1 error (1) .47 41 4.5 0 error (1) .45 40 4.1 0 false(no-overflow) 2.7 260 25 1 false(no-overflow) .39 75 4.8 0 false(no-overflow) .28  28 2.2  1 false(no-overflow) .41  28 3.3  1 false(no-overflow) .48  13 5.6  1 false(no-overflow) .19  12 1.8  1 false(no-overflow) 4.9 290 39 1 false(no-overflow) 5.6 300 48 1 false(no-overflow) 4.7 290 40 1
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_false-no-overflow.c false(no-overflow) .12  23 .80 1 false(no-overflow) .27 33 2.1 1 error (1) .47 42 3.9 0 error (1) .41 40 4.0 0 false(no-overflow) 2.8 270 21 1 false(no-overflow) .56 75 6.8 0 false(no-overflow) .28  28 2.7  1 false(no-overflow) .30  28 3.1  1 false(no-overflow) .46  12 4.9  1 false(no-overflow) .18  12 1.8  1 false(no-overflow) 4.1 240 33 1 false(no-overflow) 4.2 250 34 1 false(no-overflow) 4.2 250 37 1
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_false-no-overflow.c false(no-overflow) .11  23 .99 1 false(no-overflow) .24 33 2.1 1 error (1) .49 41 4.1 0 error (1) .44 40 4.3 0 false(no-overflow) 2.8 270 26 1 false(no-overflow) .56 100 6.6 0 false(no-overflow) .28  28 2.3  1 false(no-overflow) .49  28 4.5  1 false(no-overflow) .49  12 7.0  1 false(no-overflow) .16  12 2.1  1 false(no-overflow) 4.2 240 37 1 false(no-overflow) 4.2 250 33 1 false(no-overflow) 4.3 250 34 1
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_false-no-overflow.c false(no-overflow) .10  23 1.0  1 false(no-overflow) .24 33 2.1 1 error (1) .45 41 4.0 0 error (1) .46 40 4.1 0 false(no-overflow) 2.6 270 23 1 false(no-overflow) .55 75 6.6 0 false(no-overflow) .24  28 2.0  1 false(no-overflow) .22  28 2.6  1 out of memory 26     15000 330    0 false(no-overflow) .18  12 1.8  1 false(no-overflow) 4.1 240 38 1 false(no-overflow) 4.3 250 35 1 false(no-overflow) 4.2 240 40 1
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_false-no-overflow.c false(no-overflow) .11  23 .95 1 false(no-overflow) .28 33 2.1 1 error (1) .48 41 3.9 0 error (1) .46 40 4.1 0 false(no-overflow) 2.7 280 24 1 false(no-overflow) .57 75 7.6 0 false(no-overflow) .21  28 1.9  1 false(no-overflow) .25  28 2.2  1 false(no-overflow) .57  12 7.9  1 false(no-overflow) .18  12 2.4  1 false(no-overflow) 4.8 280 42 1 false(no-overflow) 4.9 270 42 1 false(no-overflow) 5.0 290 43 1
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-no-overflow.c false(no-overflow) .13  23 1.2  1 false(no-overflow) .28 33 2.0 1 error (1) .45 40 5.0 0 error (1) .43 40 4.2 0 false(no-overflow) 3.2 290 26 1 false(no-overflow) .65 79 8.1 0 false(no-overflow) .19  28 1.5  1 false(no-overflow) .16  28 1.7  1 false(no-overflow) 3.4   15 46    1 false(no-overflow) .18  12 2.0  1 false(no-overflow) 6.1 300 56 1 false(no-overflow) 9.9 480 81 1 false(no-overflow) 5.8 290 48 1
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_false-no-overflow.c false(no-overflow) .14  23 .82 1 false(no-overflow) .29 33 2.0 1 error (1) .50 41 4.0 0 error (1) .47 41 4.0 0 false(no-overflow) 2.7 270 26 1 false(no-overflow) .55 75 7.2 0 false(no-overflow) .20  28 1.9  1 false(no-overflow) .25  28 2.5  1 false(no-overflow) .46  12 5.2  1 false(no-overflow) .18  12 2.0  1 false(no-overflow) 4.2 240 32 1 false(no-overflow) 4.2 250 40 1 false(no-overflow) 4.2 250 36 1
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_false-no-overflow.c false(no-overflow) .13  22 .90 1 false(no-overflow) .24 33 2.6 1 error (1) .57 43 5.1 0 error (1) .44 40 3.9 0 false(no-overflow) 2.8 270 24 1 false(no-overflow) .58 75 6.4 0 false(no-overflow) .18  28 1.5  1 false(no-overflow) .18  28 1.8  1 unknown .052 11 .34 0 unknown 2.4   4300 25    0 false(no-overflow) 4.9 290 43 1 false(no-overflow) 4.9 260 38 1 false(no-overflow) 4.7 280 38 1
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_false-no-overflow.c false(no-overflow) .14  23 .96 1 false(no-overflow) .24 33 2.4 1 error (1) .47 40 4.5 0 error (1) .45 40 4.6 0 false(no-overflow) 2.7 280 26 1 false(no-overflow) .56 75 6.4 0 false(no-overflow) .19  28 1.6  1 false(no-overflow) .18  28 2.1  1 false(no-overflow) .52  12 6.5  1 false(no-overflow) .18  12 1.6  1 false(no-overflow) 4.1 240 32 1 false(no-overflow) 4.3 250 36 1 false(no-overflow) 4.4 250 36 1
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_false-no-overflow.c false(no-overflow) .14  23 1.0  1 false(no-overflow) .27 33 2.0 1 error (1) .48 40 4.7 0 error (1) .45 40 4.5 0 false(no-overflow) 2.8 280 24 1 false(no-overflow) .57 75 6.8 0 false(no-overflow) .22  28 1.9  1 false(no-overflow) .25  28 2.3  1 false(no-overflow) .54  12 7.7  1 false(no-overflow) .16  12 1.7  1 false(no-overflow) 4.1 240 37 1 false(no-overflow) 4.3 240 38 1 false(no-overflow) 4.3 240 34 1
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_false-no-overflow.c error (5) .098 22 .66 0 false(no-overflow) .26 33 2.3 1 error (1) .47 40 4.3 0 error (1) .42 40 3.4 0 false(no-overflow) 3.0 280 26 1 false(no-overflow) .56 49 6.5 0 false(no-overflow) .14  28 1.3  1 false(no-overflow) .12  28 1.7  1 false(no-overflow) .41  12 5.9  1 false(no-overflow) .16  12 2.1  1 false(no-overflow) 5.7 310 53 1 false(no-overflow) 5.7 320 46 1 false(no-overflow) 5.3 290 46 1
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_false-no-overflow.c error (5) .10  22 .62 0 false(no-overflow) .24 33 2.6 1 error (1) .47 40 3.9 0 error (1) .44 41 4.3 0 false(no-overflow) 3.2 280 27 1 false(no-overflow) .56 49 7.7 0 false(no-overflow) .18  28 1.6  1 false(no-overflow) .19  28 2.2  1 false(no-overflow) .62  12 6.6  1 false(no-overflow) .18  12 2.0  1 false(no-overflow) 5.1 290 42 1 false(no-overflow) 5.5 320 43 1 false(no-overflow) 5.2 290 41 1
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_false-no-overflow.c error (5) .11  22 .86 0 false(no-overflow) .29 33 2.4 1 error (1) .49 41 4.5 0 error (1) .48 38 3.4 0 timeout 900   2500 8200 0 false(no-overflow) .57 49 6.3 0 false(no-overflow) .18  28 1.6  1 false(no-overflow) .20  28 1.5  1 false(no-overflow) .47  12 5.5  1 false(no-overflow) .18  12 2.0  1 false(no-overflow) 4.3 240 34 1 false(no-overflow) 4.3 250 39 1 false(no-overflow) 4.3 240 32 1
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_false-no-overflow.c error (5) .11  22 .59 0 false(no-overflow) .28 33 2.1 1 error (1) .45 40 4.6 0 error (1) .45 40 4.5 0 false(no-overflow) 3.1 310 28 1 false(no-overflow) .56 51 7.4 0 false(no-overflow) .17  28 1.6  1 false(no-overflow) .21  28 1.8  1 false(no-overflow) .48  12 6.4  1 false(no-overflow) .16  12 1.6  1 false(no-overflow) 4.0 240 35 1 false(no-overflow) 4.4 250 38 1 false(no-overflow) 4.4 240 37 1
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_false-no-overflow.c false(no-overflow) .12  22 .94 1 false(no-overflow) .24 33 2.3 1 error (1) .49 41 4.6 0 error (1) .45 41 4.2 0 false(no-overflow) 2.5 260 23 1 false(no-overflow) .55 75 6.1 0 false(no-overflow) .20  28 1.5  1 false(no-overflow) .19  28 2.4  1 false(no-overflow) .53  12 6.1  1 false(no-overflow) .18  12 1.8  1 false(no-overflow) 4.2 240 37 1 false(no-overflow) 4.2 250 33 1 false(no-overflow) 4.3 250 32 1
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_false-no-overflow.c false(no-overflow) .11  23 .91 1 false(no-overflow) .23 33 2.5 1 error (1) .48 40 4.5 0 error (1) .52 40 3.9 0 false(no-overflow) 2.6 270 26 1 false(no-overflow) .56 75 5.9 0 false(no-overflow) .17  28 1.8  1 false(no-overflow) .20  28 1.9  1 false(no-overflow) .44  12 4.8  1 false(no-overflow) .16  12 1.8  1 false(no-overflow) 4.5 280 39 1 false(no-overflow) 4.5 250 36 1 false(no-overflow) 4.6 280 40 1
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_false-no-overflow.c false(no-overflow) .11  23 .72 1 false(no-overflow) .24 33 2.6 1 error (1) .49 43 4.2 0 error (1) .41 40 4.1 0 false(no-overflow) 2.8 270 26 1 false(no-overflow) .55 75 7.0 0 false(no-overflow) .17  28 1.7  1 false(no-overflow) .23  28 3.1  1 false(no-overflow) .56  13 6.4  1 false(no-overflow) .18  12 1.7  1 false(no-overflow) 4.3 240 33 1 false(no-overflow) 4.1 250 32 1 false(no-overflow) 4.1 240 32 1
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-no-overflow.c false(no-overflow) .11  22 .94 1 false(no-overflow) .25 33 2.1 1 error (1) .49 43 4.7 0 error (1) .48 40 4.1 0 false(no-overflow) 2.6 270 22 1 false(no-overflow) .55 75 6.4 0 false(no-overflow) .15  28 1.9  1 false(no-overflow) .26  28 2.9  1 out of memory 26     15000 350    0 false(no-overflow) .16  12 1.9  1 false(no-overflow) 4.0 240 34 1 false(no-overflow) 4.0 250 31 1 false(no-overflow) 3.9 240 30 1
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-no-overflow.c false(no-overflow) .10  23 1.3  1 false(no-overflow) .27 33 2.1 1 error (1) .49 41 4.6 0 error (1) .43 40 3.8 0 false(no-overflow) 2.9 290 24 1 false(no-overflow) .36 75 4.5 0 false(no-overflow) .19  28 1.7  1 false(no-overflow) .21  28 1.8  1 false(no-overflow) .54  12 7.3  1 false(no-overflow) .18  12 2.0  1 false(no-overflow) 4.2 240 35 1 false(no-overflow) 6.1 340 46 1 false(no-overflow) 4.2 240 35 1
termination-crafted-lit/Masse-VMCAI2014-Ex6_false-no-overflow.c false(no-overflow) .13  22 .74 1 false(no-overflow) .27 33 2.0 1 error (1) .48 41 4.2 0 error (1) .44 40 4.0 0 false(no-overflow) 2.6 270 26 1 false(no-overflow) .54 75 7.2 0 false(no-overflow) .19  28 1.5  1 false(no-overflow) .22  28 1.7  1 false(no-overflow) .58  12 7.3  1 false(no-overflow) .19  12 1.7  1 false(no-overflow) 4.0 240 32 1 false(no-overflow) 4.1 250 38 1 false(no-overflow) 4.2 240 34 1
termination-crafted-lit/Masse-VMCAI2014-Fig1a_false-no-overflow.c false(no-overflow) .14  23 .82 1 false(no-overflow) .25 35 2.0 1 error (1) .51 41 4.6 0 error (1) .44 40 3.9 0 false(no-overflow) 2.7 270 26 1 false(no-overflow) .53 75 6.5 0 false(no-overflow) .19  28 1.8  1 false(no-overflow) .21  28 1.7  1 false(no-overflow) .55  12 7.2  1 false(no-overflow) .16  12 2.0  1 false(no-overflow) 4.0 250 36 1 false(no-overflow) 4.1 250 32 1 false(no-overflow) 4.2 250 32 1
termination-crafted-lit/Masse-VMCAI2014-Fig1b_false-no-overflow.c false(no-overflow) .14  23 .88 1 false(no-overflow) .26 33 2.1 1 error (1) .47 41 4.9 0 error (1) .43 40 4.4 0 false(no-overflow) 2.7 270 27 1 false(no-overflow) .55 75 8.4 0 false(no-overflow) .19  28 1.9  1 false(no-overflow) .25  28 2.2  1 false(no-overflow) .71  12 8.3  1 false(no-overflow) .16  12 1.8  1 false(no-overflow) 4.2 250 36 1 false(no-overflow) 4.2 250 38 1 false(no-overflow) 4.4 250 37 1
termination-crafted-lit/NoriSharma-FSE2013-Fig7_false-no-overflow.c false(no-overflow) .12  23 .81 1 false(no-overflow) .28 33 1.9 1 error (1) .46 40 4.5 0 error (1) .44 40 4.3 0 false(no-overflow) 2.9 270 25 1 false(no-overflow) .56 76 6.5 0 false(no-overflow) .27  28 2.5  1 false(no-overflow) .43  28 3.6  1 false(no-overflow) .57  12 6.9  1 false(no-overflow) .19  12 1.9  1 false(no-overflow) 4.2 250 37 1 false(no-overflow) 4.3 250 37 1 false(no-overflow) 4.1 250 35 1
termination-crafted-lit/NoriSharma-FSE2013-Fig8_false-no-overflow.c false(no-overflow) .13  23 .90 1 false(no-overflow) .25 33 2.7 1 error (1) .48 43 4.9 0 error (1) .44 40 4.6 0 false(no-overflow) 2.9 270 25 1 false(no-overflow) .56 75 7.7 0 false(no-overflow) .28  28 2.6  1 false(no-overflow) .24  28 2.5  1 false(no-overflow) .82  13 10    1 false(no-overflow) .18  12 1.9  1 false(no-overflow) 4.8 290 37 1 false(no-overflow) 5.4 270 43 1 false(no-overflow) 4.9 280 36 1
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) .12  23 .90 1 false(no-overflow) .25 33 2.2 1 error (1) .46 40 4.1 0 error (1) .41 40 4.1 0 false(no-overflow) 2.8 270 24 1 false(no-overflow) .40 75 4.3 0 false(no-overflow) .24  28 2.5  1 false(no-overflow) .30  28 2.9  1 false(no-overflow) .52  12 5.1  1 false(no-overflow) .19  12 2.1  1 false(no-overflow) 5.1 290 40 1 false(no-overflow) 6.2 350 51 1 false(no-overflow) 5.3 300 41 1
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_false-no-overflow.c false(no-overflow) .14  22 .76 1 false(no-overflow) .28 33 2.2 1 error (1) .47 40 4.5 0 error (1) .43 40 3.6 0 false(no-overflow) 2.7 270 25 1 false(no-overflow) .37 75 4.7 0 false(no-overflow) .29  28 2.4  1 false(no-overflow) .34  28 3.0  1 false(no-overflow) .48  12 5.5  1 false(no-overflow) .21  12 2.0  1 false(no-overflow) 5.3 280 45 1 false(no-overflow) 6.1 340 52 1 false(no-overflow) 5.2 280 40 1
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_false-no-overflow.c false(no-overflow) .12  24 1.1  1 false(no-overflow) .23 33 2.4 1 error (1) .48 40 4.5 0 error (1) .44 37 4.1 0 false(no-overflow) 2.7 270 23 1 false(no-overflow) .40 75 4.6 0 false(no-overflow) .25  28 2.1  1 false(no-overflow) .34  28 2.9  1 false(no-overflow) .50  12 5.5  1 false(no-overflow) .20  12 2.0  1 false(no-overflow) 5.2 300 48 1 false(no-overflow) 6.1 340 44 1 false(no-overflow) 4.8 290 39 1
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_false-no-overflow.c false(no-overflow) .13  23 .90 1 false(no-overflow) .26 33 2.0 1 error (1) .47 40 4.1 0 error (1) .45 40 4.0 0 false(no-overflow) 2.7 270 23 1 false(no-overflow) .41 75 4.7 0 false(no-overflow) .24  28 2.3  1 false(no-overflow) .32  29 3.0  1 unknown .55  12 6.1  0 false(no-overflow) .19  12 1.9  1 false(no-overflow) 4.3 250 39 1 false(no-overflow) 4.3 250 37 1 false(no-overflow) 6.5 340 56 1
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_false-no-overflow.c false(no-overflow) .11  23 1.2  1 false(no-overflow) .25 33 2.6 1 error (1) .50 42 4.4 0 error (1) .46 40 4.2 0 false(no-overflow) 2.7 280 24 1 false(no-overflow) .55 75 7.2 0 false(no-overflow) .15  28 1.3  1 false(no-overflow) .15  28 1.4  1 false(no-overflow) .48  14 5.7  1 false(no-overflow) .16  12 2.1  1 false(no-overflow) 4.5 280 40 1 false(no-overflow) 4.3 250 33 1 false(no-overflow) 4.5 270 37 1
termination-crafted-lit/cstrncmp_false-no-overflow.c error (134) .16  23 1.4  0 false(no-overflow) .44 34 4.6 1 error (1) .48 41 3.9 0 error (1) .46 40 4.1 0 false(no-overflow) 3.7 330 34 1 false(no-overflow) .68 76 8.3 0 false(no-overflow) .34  29 2.8  1 false(no-overflow) .37  29 4.5  1 unknown .064 11 .48 0 false(no-overflow) .24  13 2.6  1 false(no-overflow) 8.0 370 61 1 false(no-overflow) 6.4 350 54 1 false(no-overflow) 5.8 290 51 1
termination-crafted-lit/gcd1_false-no-overflow.c false(no-overflow) .15  23 .86 1 false(no-overflow) .25 35 2.3 1 error (1) .48 41 4.2 0 error (1) .43 40 4.5 0 false(no-overflow) 2.6 270 20 1 false(no-overflow) .57 100 6.5 0 false(no-overflow) .29  28 2.2  1 false(no-overflow) .26  28 3.7  1 unknown 900     120 12000    0 false(no-overflow) .20  12 2.2  1 false(no-overflow) 4.4 250 37 1 false(no-overflow) 4.2 250 37 1 false(no-overflow) 4.0 250 31 1
termination-crafted-lit/joey_false-no-overflow.c error (5) .091 22 .78 0 false(no-overflow) .30 34 3.1 1 error (1) .48 43 5.1 0 error (1) .44 40 3.6 0 false(no-overflow) 2.7 270 22 1 out of memory (false(no-overflow)) 630    15000 8800   0 false(no-overflow) .13  28 1.3  1 false(no-overflow) .14  28 1.3  1 false(no-overflow) .43  12 5.1  1 false(no-overflow) .19  12 1.8  1 false(no-overflow) 5.0 290 48 1 false(no-overflow) 5.3 300 48 1 false(no-overflow) 5.3 300 44 1
termination-crafted-lit/min_rf_false-no-overflow.c false(no-overflow) .10  23 .90 1 false(no-overflow) .27 35 2.1 1 error (1) .43 40 4.4 0 error (1) .47 40 4.1 0 false(no-overflow) 2.8 270 26 1 false(no-overflow) .42 75 4.8 0 false(no-overflow) .27  28 2.9  1 false(no-overflow) .29  28 3.5  1 false(no-overflow) 1.1   13 16    1 false(no-overflow) .18  12 1.7  1 false(no-overflow) 4.4 250 37 1 false(no-overflow) 4.4 250 40 1 false(no-overflow) 4.3 250 34 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 900     900 7600    0 error (42) 870    590 8400   0 error (1) .46 40 3.8 0 error (1) .45 41 3.9 0 out of memory 850   15000 12000 0 unknown 890    120 9800   0 timeout 900     620 9300    0 timeout 900     590 11000    0 unknown 900     650 11000    0 timeout (timeout) 900     4000 9000    0 timeout 900   5100 15000 0 timeout 900   6300 12000 0 timeout 900   3800 12000 0
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true .11  22 .87 2 error (42) 870    1800 6000   0 error (1) .48 41 4.9 0 error (1) .46 40 5.0 0 true 2.7 270 23 2 unknown 1.4  75 15   0 timeout 900     600 9700    0 true .12  26 .65 2 unknown 900     340 11000    0 timeout (timeout) 900     360 13000    0 true 5.3 300 42 2 true 6.8 470 61 2 true 8.6 400 75 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true .13  23 .81 2 true 4.3  61 44   2 error (1) .48 41 4.2 0 error (1) .47 41 4.1 0 true 2.7 260 23 2 unknown 1.4  75 18   0 true .62  26 7.3  2 true .074 26 .91 2 true .39  11 4.3  2 true .15  11 1.4  2 true 4.6 280 37 2 true 5.6 310 45 2 true 5.0 290 40 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c timeout 900     1700 9800    0 error (42) 870    2300 3900   0 error (1) .46 41 4.5 0 error (1) .48 40 3.6 0 timeout 900   13000 11000 0 unknown 120    240 1700   0 timeout 900     900 12000    0 timeout 900     900 11000    0 unknown 900     300 10000    0 timeout (timeout) 900     210 12000    0 timeout 900   5300 12000 0 timeout 900   7100 14000 0 true 7.0 370 57 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c true 20     610 180    2 error (42) 870    1700 5400   0 error (1) .48 41 4.0 0 error (1) .43 37 3.6 0 true 100   1100 860 2 unknown 900    710 12000   0 timeout 900     310 11000    0 timeout 900     310 12000    0 unknown 900     160 12000    0 timeout (timeout) 900     350 8700    0 true 5.6 290 45 2 true 7.6 490 68 2 true 8.1 380 61 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c timeout 900     2500 5800    0 error (42) 870    1500 4800   0 error (1) .48 43 3.7 0 error (1) .46 40 3.7 0 timeout 900   6200 10000 0 unknown 900    1200 8000   0 timeout 900     870 9800    0 true .23  27 2.6  2 unknown 900     640 12000    0 timeout (timeout) 900     1900 11000    0 true 15   640 130 2 true 120   2300 1700 2 true 46   1400 450 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c timeout 900     990 10000    0 error (42) 870    610 8700   0 error (1) .50 41 3.9 0 error (1) .43 40 4.0 0 timeout 900   540 12000 0 unknown 890    130 11000   0 timeout 900     130 12000    0 timeout 900     130 10000    0 unknown 900     370 10000    0 timeout (timeout) 900     4300 11000    0 timeout 900   4700 14000 0 timeout 900   6600 15000 0 true 10   490 76 1
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true .79  40 9.2  2 true 1.4  34 15   2 error (1) .47 43 4.3 0 error (1) .43 40 3.8 0 true 59   480 780 2 unknown 7.3  76 89   0 true .18  26 1.7  2 true .25  26 3.0  2 unknown 900     1800 10000    0 timeout (timeout) 900     3200 8000    0 true 160   4700 1900 2 timeout 900   6400 11000 0 true 51   1700 470 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true .14  23 .72 2 error (42) 870    1400 7400   0 error (1) .46 41 4.4 0 error (1) .45 40 4.2 0 true 2.8 270 24 2 unknown 1.5  75 17   0 timeout 900     240 10000    0 true .077 26 .86 2 unknown 900     250 9900    0 timeout (timeout) 900     200 12000    0 true 5.9 300 45 2 true 7.5 470 69 2 true 7.0 340 53 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true .11  23 .69 2 error (42) 870    1200 8500   0 error (1) .45 40 4.3 0 error (1) .43 40 4.4 0 true 2.8 270 23 2 unknown 1.5  75 17   0 timeout 900     190 12000    0 true .12  26 1.3  2 unknown 900     660 13000    0 timeout (timeout) 900     1800 10000    0 true 7.0 330 52 2 true 16   700 160 2 true 8.9 490 67 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true .13  23 .78 2 error (42) 870    1300 5500   0 error (1) .47 41 4.0 0 error (1) .41 40 4.1 0 true 2.9 280 27 2 unknown 1.4  75 14   0 timeout 900     250 12000    0 true .14  26 1.0  2 unknown 900     120 10000    0 timeout (timeout) 900     31 12000    0 true 5.9 300 50 2 true 8.5 530 83 2 true 6.9 320 53 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true .11  23 .80 2 error (42) 870    2700 7200   0 error (1) .46 43 4.2 0 error (1) .47 40 4.8 0 true 3.9 280 36 2 unknown 1.5  100 17   0 timeout 900     1100 11000    0 true .12  26 .78 2 unknown 900     230 11000    0 timeout (timeout) 900     190 12000    0 true 4.9 290 37 2 true 7.2 440 60 2 true 5.0 290 44 2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true .12  22 .76 2 error (42) 870    5500 5100   0 error (1) .48 43 3.6 0 error (1) .44 40 3.7 0 true 2.8 260 25 2 unknown 1.8  100 25   0 timeout 900     280 13000    0