Tool 2LS 0.3.4 AProVE CBMC CPAchecker 1.4-svcomp16c CPAchecker 1.4-svn 18373 CPAchecker 1.4-svcomp16c ESBMC ESBMC version 2.0.0 64-bit x86_64 linux DepthK ESBMC+DepthK version 2.1 SeaHorn-F16 0.1.0 SMACK+Corral 1.5.2 symbiotic 3.0.1 ULTIMATE Automizer cfb9fd9e ULTIMATE Kojak fd30d3d8
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-22-generic Linux 4.2.0-23-generic Linux 4.2.0-22-generic Linux 4.2.0-23-generic Linux 4.2.0-22-generic Linux 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-02 22:42:27 CET 2016-01-12 23:29:26 CET 2016-01-03 00:42:25 CET 2016-01-04 06:25:51 CET 2016-01-04 01:42:53 CET 2016-01-04 20:04:07 CET 2016-01-04 13:17:38 CET 2016-01-16 17:45:19 CET 2016-01-05 14:06:34 CET 2016-01-14 22:31:18 CET 2016-01-07 09:05:16 CET 2016-01-07 09:04:54 CET 2016-01-14 23:51:13 CET 2016-01-08 15:10:30 CET
Run set 2ls.sv-comp16.Termination aprove.sv-comp16 cbmc.sv-comp16.Termination cpa-bam.sv-comp16.Termination cpa-kind.sv-comp16.Termination cpa-refsel.sv-comp16.Termination cpa-seq.sv-comp16.Termination esbmc.sv-comp16.Termination esbmcdepthk.sv-comp16.Termination seahorn.sv-comp16 smack.sv-comp16.Termination symbiotic3.sv-comp16.Termination uautomizer.sv-comp16.Termination ukojak.sv-comp16.Termination
Options --k-induction --competition-mode --graphml-cex error-witness.graphml --graphml-cex error-witness.graphml -sv-comp16-bam -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -sv-comp16--k-induction -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -sv-comp16--refsel -disable-java-assertions -heap 12500m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -sv-comp16 -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml --cex=error-witness.graphml -w error-witness.graphml
../../sv-benchmarks/c/ status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB)
termination-crafted/2Nested_false-termination.c true .11  23 timeout 910   5600 error .014  1.7 error .47 44 error .41 43 error .43 44 error .39 39 error (1) .0060 .86 unknown .10  9.2 false(termination) .62 33 error (1) 1.4   18   error (1) .027 3.9 false(termination) 9.1 320 error .031 5.5
termination-crafted/Ackermann_false-termination.c error (6) .13  23 out of memory 540   15000 error .0070 1.4 error .40 44 error .35 45 error .43 44 error .38 42 error (1) .0033 .83 unknown .094 9.3 error (1) .31 30 error (1) 1.3   18   error (1) .023 3.9 false(termination) 12   350 error .028 5.5
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination.c true .13  23 false(termination) 6.2 310 error .018  1.7 error .34 39 error .39 41 error .43 38 error .43 40 error (1) .0051 1.1  unknown .096 9.4 timeout 900    270 error (1) 1.3   18   error (1) .019 3.9 unknown 11   330 error .052 5.4
termination-crafted/Bangalore_false-termination.c true .083 23 false(termination) 12   1000 error .011  1.7 error .40 47 error .34 41 error .40 42 error .40 43 error (1) .0035 1.0  unknown .092 9.2 false(termination) .50 32 error (1) 1.4   18   error (1) .018 3.9 false(termination) 9.5 330 error .023 5.2
termination-crafted/Bangalore_v2_false-termination.c true .10  23 false(termination) 11   1100 error .0098 1.6 error .47 47 error .35 44 error .40 42 error .34 42 error (1) .0041 1.0  unknown .10  9.3 false(termination) 1.6  37 error (1) 1.4   18   error (1) .016 3.9 false(termination) 11   330 error .054 5.6
termination-crafted/Bangalore_v3_false-termination.c true .11  23 false(termination) 12   1000 error .016  1.6 error .42 45 error .33 41 error .42 40 error .40 43 error (1) .0039 1.0  unknown .12  9.3 false(termination) 1.0  34 error (1) 1.3   18   error (1) .034 3.8 false(termination) 11   350 error .038 5.6
termination-crafted/Binary_Search_false-termination.c error (6) .14  23 error (1) 13   620 error .0095 1.8 error .40 40 error .36 45 error .41 42 error .33 41 error (1) .0052 .71 unknown .094 9.2 error (1) .28 29 error (1) 1.3   18   error (1) .020 3.9 false(termination) 14   420 error .042 5.3
termination-crafted/Cairo_nondet_false-termination.c true .15  23 false(termination) 4.3 250 error .012  1.7 error .45 44 error .34 41 error .41 42 error .45 39 error (1) .0056 1.0  unknown .094 9.2 false(termination) .83 33 error (1) 1.3   18   error (1) .018 4.0 false(termination) 9.2 320 error .035 5.5
termination-crafted/Cairo_step2_false-termination.c true .15  23 false(termination) 6.8 390 error .012  1.4 error .43 44 error .38 44 error .40 40 error .45 42 error (1) .0049 1.1  unknown .13  9.2 false(termination) .88 33 error (1) 1.4   18   error (1) .021 4.0 false(termination) 20   450 error .047 5.4
termination-crafted/Division_false-termination.c true .078 23 false(termination) 7.8 400 error .0081 1.7 error .39 44 error .39 44 error .46 42 error .38 39 error (1) .0049 .72 unknown .11  9.1 false(termination) .47 33 error (1) 1.4   18   error (1) .035 4.1 false(termination) 9.7 340 error .047 5.5
termination-crafted/Hanoi_2vars_false-termination.c true .16  23 timeout 910   5600 error .013  1.7 error .34 41 error .41 39 error .36 43 error .34 41 error (1) .0034 1.0  unknown .13  9.4 false(termination) .80 33 error (1) 1.3   18   error (1) .016 4.1 false(termination) 9.9 340 error .025 5.5
termination-crafted/Hanoi_3vars_false-termination.c true .10  23 timeout 910   5800 error .0099 1.8 error .39 42 error .34 43 error .42 41 error .38 41 error (1) .0042 .84 unknown .15  9.2 timeout 900    70 error (1) 1.3   18   error (1) .021 3.9 false(termination) 9.4 330 error .048 5.3
termination-crafted/Hanoi_plus_false-termination.c true .15  23 timeout 910   8000 error .0080 1.3 error .34 42 error .41 45 error .43 43 error .41 43 error (1) .0050 .98 unknown .098 9.2 false(termination) 1.7  35 error (1) 1.4   18   error (1) .022 4.0 unknown 76   550 error .037 5.5
termination-crafted/Madrid_false-termination.c true .11  23 false(termination) 4.0 240 error .017  1.7 error .34 39 error .33 42 error .42 42 error .33 42 error (1) .0032 .84 unknown .097 9.2 failure .21 27 error (1) 1.4   18   error (1) .034 3.9 false(termination) 9.3 320 error .048 5.3
termination-crafted/MutualRecursion_1a_false-termination.c error (6) .10  23 error (1) 7.6 410 error .0093 1.4 error .35 41 error .39 41 error .44 44 error .39 43 error (1) .0038 .86 unknown .14  9.1 error (1) .29 29 error (1) 1.3   18   error (1) .036 4.1 false(termination) 15   430 error .038 5.5
termination-crafted/Mysore_false-termination.c true .13  23 timeout 910   5500 error .0083 1.6 error .34 43 error .40 39 error .41 43 error .38 41 error (1) .0064 .83 unknown .095 9.3 false(termination) .58 32 error (1) 1.4   18   error (1) .018 3.9 false(termination) 8.7 320 error .034 5.5
termination-crafted/NestedRecursion_1a_false-termination.c error (6) .11  23 error (1) 10   530 error .012  1.8 error .34 44 error .39 43 error .33 41 error .35 42 error (1) .0029 .84 unknown .099 9.5 error (1) .28 30 error (1) .074 7.3 error (1) .027 3.9 false(termination) 11   340 error .047 5.4
termination-crafted/NestedRecursion_2a_false-termination.c error (6) .12  23 error (1) 6.6 390 error .016  1.7 error .40 42 error .34 41 error .39 43 error .34 41 error (1) .0045 1.0  unknown .079 9.2 error (1) .27 29 error (1) 1.4   18   error (1) .014 3.9 false(termination) 8.4 320 error .044 5.3
termination-crafted/NestedRecursion_2b_false-termination.c error (6) .082 23 error (1) 6.3 350 error .011  1.8 error .40 40 error .40 42 error .43 46 error .39 42 error (1) .0052 .84 unknown .097 9.2 error (1) .33 29 error (1) 1.3   18   error (1) .035 3.9 false(termination) 16   480 error .029 5.2
termination-crafted/NonTermination1_false-termination.c true .10  23 false(termination) 4.3 240 error .012  1.6 error .40 41 error .40 41 error .43 41 error .44 43 error (1) .0034 .84 unknown .098 9.3 false(termination) .47 32 error (1) 1.3   18   error (1) .021 4.0 false(termination) 10   340 error .031 5.5
termination-crafted/NonTermination2_false-termination.c true .13  23 false(termination) 4.6 260 error .013  1.5 error .39 43 error .33 41 error .41 44 error .40 40 error (1) .0056 1.0  unknown .15  9.1 timeout 900    280 error (1) 1.3   18   error (1) .018 3.9 false(termination) 8.5 330 error .029 5.2
termination-crafted/NonTermination3_false-termination.c true .13  23 unknown 9.0 530 error .012  1.7 error .33 41 error .39 42 error .35 44 error .42 44 error (1) .0061 1.1  unknown .11  9.3 error (1) .21 29 error (1) 1.4   18   error (1) .029 3.9 unknown 18   400 error .050 5.3
termination-crafted/NonTermination4_false-termination.c true .14  23 false(termination) 3.8 300 error .020  1.9 error .34 40 error .34 41 error .45 40 error .34 41 error (1) .0029 1.0  unknown .15  9.1 false(termination) .41 32 error (1) 1.3   18   error (1) .032 3.9 false(termination) 10   330 error .053 5.4
termination-crafted/NonTerminationSimple2_false-termination.c true .080 23 false(termination) 4.5 240 error .0095 1.5 error .33 43 error .41 44 error .35 40 error .42 44 error (1) .0057 1.1  unknown .15  9.2 false(termination) .46 32 error (1) 1.4   18   error (1) .022 3.8 false(termination) 9.1 320 error .031 5.2
termination-crafted/NonTerminationSimple3_false-termination.c true .15  23 false(termination) 11   980 error .016  1.7 error .37 41 error .33 40 error .39 41 error .40 41 error (1) .0049 1.0  unknown .15  9.1 timeout 900    530 error (1) .045 7.2 error (1) .016 4.0 false(termination) 9.6 340 error .047 5.3
termination-crafted/NonTerminationSimple4_false-termination.c true .14  23 false(termination) 4.3 250 error .0080 1.4 error .39 41 error .35 41 error .44 41 error .33 37 error (1) .0038 1.1  unknown .14  9.3 false(termination) .40 32 error (1) .080 7.1 error (1) .012 3.9 false(termination) 9.2 330 error .021 5.3
termination-crafted/NonTerminationSimple5_false-termination.c true .15  23 false(termination) 12   1000 error .013  1.6 error .40 44 error .42 39 error .42 38 error .34 41 error (1) .0047 .88 unknown .097 9.2 timeout 900    320 error (1) 1.3   18   error (1) .021 3.9 false(termination) 11   330 error .046 5.4
termination-crafted/NonTerminationSimple6_false-termination.c true .14  23 false(termination) 10   730 error .011  1.6 error .39 40 error .34 42 error .33 41 error .40 42 error (1) .0033 .60 unknown .12  9.4 false(termination) .53 32 error (1) 1.3   18   error (1) .032 3.9 false(termination) 10   320 error .029 5.3
termination-crafted/NonTerminationSimple7_false-termination.c true .084 23 false(termination) 8.1 700 error .014  1.7 error .39 38 error .41 45 error .36 43 error .38 41 error (1) .0062 .87 unknown .096 9.3 false(termination) .42 32 error (1) 1.4   18   error (1) .022 3.9 false(termination) 11   330 error .049 5.4
termination-crafted/NonTerminationSimple8_false-termination.c true .10  23 false(termination) 6.3 350 error .017  1.7 error .36 39 error .40 41 error .46 43 error .42 42 error (1) .0029 .83 unknown .15  9.3 timeout 900    330 error (1) 1.4   18   error (1) .035 3.9 false(termination) 9.2 320 error .045 5.6
termination-crafted/NonTerminationSimple9_false-termination.c true .15  23 false(termination) 3.8 250 error .012  1.5 error .41 38 error .40 39 error .36 42 error .41 40 error (1) .0034 1.0  unknown .12  9.1 timeout 900    290 error (1) 1.4   18   error (1) .031 3.9 false(termination) 9.9 340 error .053 5.2
termination-crafted/RecursiveNonterminating_false-termination.c error (6) .14  23 false(termination) 7.4 370 error .0088 1.7 error .34 43 error .35 37 error .43 41 error .34 42 error (1) .0038 .95 unknown .14  9.4 error (1) .30 29 error (1) 1.4   18   error (1) .015 3.8 false(termination) 9.2 320 error .028 5.3
termination-crafted/Rotation180_false-termination.c true .13  23 false(termination) 4.4 240 error .010  1.6 error .40 44 error .33 36 error .42 41 error .33 42 error (1) .0036 .83 unknown .11  9.2 failure .30 28 error (1) 1.3   18   error (1) .019 4.0 false(termination) 9.5 340 error .035 5.4
termination-crafted/Singapore_plus_false-termination.c true .13  23 timeout 910   5400 error .018  1.6 error .35 44 error .37 44 error .40 43 error .42 44 error (1) .0041 .84 unknown .11  8.9 false(termination) .63 33 error (1) 1.2   18   error (1) .020 3.9 false(termination) 10   330 error .054 5.2
termination-crafted/Singapore_v1_false-termination.c true .15  23 timeout 910   5700 error .012  1.7 error .33 41 error .35 41 error .46 41 error .36 42 error (1) .0035 .98 unknown .14  9.2 false(termination) 3.2  67 error (1) 1.3   18   error (1) .020 3.9 false(termination) 9.8 340 error .054 5.4
termination-crafted/Singapore_v2_false-termination.c true .10  23 timeout 910   5600 error .0076 1.7 error .40 42 error .44 42 error .35 44 error .34 42 error (1) .0036 .99 unknown .11  9.2 false(termination) .52 33 error (1) 1.3   18   error (1) .030 4.1 false(termination) 8.7 320 error .050 5.4
termination-crafted/WhileTrue_false-termination.c true .10  23 false(termination) 3.9 240 error .016  1.9 error .38 44 error .30 44 error .34 43 error .42 42 error (1) .0034 .97 unknown .091 9.2 failure .30 28 error (1) 1.3   18   error (1) .019 3.9 false(termination) 10   330 error .045 5.5
termination-crafted/2Nested_true-termination.c true .10  23 true 4.6 250 error .0082 1.4 error .34 42 error .45 41 error .41 43 error .40 39 error (1) .0055 .86 unknown .075 9.2 timeout 900    110 error (1) 1.3   18   error (1) .020 3.9 true 9.4 330 error .036 5.3
termination-crafted/4BitCounterPointer_true-termination.c error(signal 6) .22  25 true 10   1000 error .010  1.3 error .38 39 error .37 42 error .45 42 error .39 39 error (1) .0040 1.2  unknown .093 9.2 error (1) .15 20 error (1) 1.4   18   error (1) .034 4.1 error 55   1000 error .034 5.5
termination-crafted/4NestedWith3Variables_true-termination.c true .10  23 true 10   810 error .011  1.6 error .35 44 error .39 39 error .45 45 error .39 39 error (1) .0048 1.0  unknown .084 9.1 timeout 900    96 error (1) .060 7.1 error (1) .018 4.0 true 23   350 error .033 5.3
termination-crafted/Ackermann_true-termination.c error (6) .10  23 true 13   600 error .017  1.5 error .39 44 error .34 41 error .34 42 error .40 43 error (1) .0058 1.1  unknown .15  9.3 error (1) .24 29 error (1) 1.4   18   error (1) .035 3.9 timeout 910   13000 error .053 5.3
termination-crafted/Arrays01-EquivalentConstantIndices_true-termination.c true .098 23 true 6.5 340 error .0098 1.4 error .45 44 error .39 41 error .35 42 error .34 43 error (1) .0058 .87 unknown .095 9.1 true .58 32 error (1) 1.3   18   error (1) .021 4.1 true 9.0 320 error .039 5.5
termination-crafted/Arrays03-ValueRestictsIndex_true-termination.c true .13  23 true 13   600 error .012  1.9 error .34 38 error .40 44 error .35 44 error .41 45 error (1) .0075 1.0  unknown .097 9.4 error (1) .26 29 error (1) 1.3   18   error (1) .020 3.9 unknown 18   520 error .051 5.2
termination-crafted/Bangalore_true-termination.c true .11  23 true 12   1100 error .0066 1.7 error .34 41 error .33 37 error .42 42 error .39 41 error (1) .0050 .99 unknown .10  9.2 timeout 900    530 error (1) .078 7.2 error (1) .032 4.1 true 10   330 error .043 5.3
termination-crafted/Bangalore_v4_true-termination.c true .11  23 true 7.6 480 error .017  1.6 error .41 40 error .42 39 error .41 43 error .34 40 error (1) .0031 .82 unknown .099 9.3 true .77 33 error (1) 1.4   18   error (1) .031 4.1 true 12   350 error .028 5.2
termination-crafted/Benghazi_nondet_true-termination.c true .14  23 true 11   850 error .0088 1.5 error .40 41 error .34 40 error .41 42 error .38 41 error (1) .0036 1.0  unknown .15  9.2 timeout 900    120 error (1) 1.3   18   error (1) .020 3.9 true 14   360 error .037 5.6
termination-crafted/Benghazi_true-termination.c true .15  23 true 9.8 910 error .012  1.5 error .33 42 error .40 41 error .37 40 error .38 43 error (1) .0040 1.0  unknown .095 9.2 timeout 900    350 error (1) .063 7.3 error (1) .015 3.9 true 13   340 error .053 5.5
termination-crafted/Cairo_true-termination.c true .14  23 true 4.4 330 error .014  1.7 error .37 42 error .40 44 error .40 43 error .42 41 error (1) .0056 1.2  unknown .10  9.3 true .94 33 error (1) 1.3   18   error (1) .023 3.8 true 12   360 error .030 5.2
termination-crafted/Copenhagen_disj_true-termination.c true .078 23 true 12   1000 error .011  1.4 error .35 40 error .42 45 error .40 42 error .33 41 error (1) .0050 .99 unknown .11  9.3 true 1.6  34 error (1) 1.2   18   error (1) .020 3.9 unknown 36   710 error .053 5.3
termination-crafted/Copenhagen_true-termination.c true .15  23 true 3.3 210 error .0083 1.5 error .42 45 error .35 39 error .36 42 error .33 40 error (1) .0047 1.0  unknown .10  9.3 true 1.2  33 error (1) 1.4   18   error (1) .016 3.8 true 10   340 error .034 5.6
termination-crafted/Gothenburg_true-termination.c true .083 23 true 290   5400 error .015  1.7 error .40 42 error .37 42 error .39 41 error .41 42 error (1) .0040 .96 unknown .15  9.3 timeout 900    350 error (1) 1.3   18   error (1) .014 3.9 true 20   400 error .049 5.3
termination-crafted/Gothenburg_v2_true-termination.c true .10  23 timeout 910   5800 error .012  1.6 error .36 45 error .39 40 error .34 43 error .33 41 error (1) .0041 1.1  unknown .14  9.1 true 2.1  37 error (1) 1.4   18   error (1) .024 3.9 unknown 35   770 error .029 5.3
termination-crafted/LexIndexValue-Array_true-termination.c true .16  25 true 38   4100 error .0064 1.6 error .38 42 error .38 42 error .35 43 error .40 39 error (1) .0044 .87 unknown .12  9.4 error (1) .16 20 error (1) 1.4   18   error (1) .015 3.8 true 11   370 error .039 5.2
termination-crafted/LexIndexValue-Pointer_true-termination.c true .25  27 error (1) 11   610 error .0093 1.8 error .35 43 error .35 44 error .42 43 error .38 42 error (1) .0044 1.1  unknown .093 9.4 error (1) .16 20 error (1) 1.4   18   error (1) .019 4.1 true 18   450 error .053 5.3
termination-crafted/Lobnya-Boolean-Reordered_true-termination.c true .12  23 true 9.9 620 error .0075 1.7 error .34 44 error .33 41 error .33 41 error .35 44 error (1) .0057 1.0  unknown .15  9.3 true .95 33 error (1) 1.3   18   error (1) .036 3.9 true 18   510 error .050 5.5
termination-crafted/McCarthy91_Iteration_true-termination.c true .10  23 true 3.8 230 error .012  1.5 error .38 41 error .34 42 error .44 41 error .37 37 error (1) .0068 1.0  unknown .11  9.2 timeout 900    600 error (1) 1.3   18   error (1) .019 3.8 true 35   720 error .040 5.4
termination-crafted/McCarthy91_Recursion_true-termination.c error (6) .083 23 error (1) 9.1 520 error .0097 1.5 error .40 40 error .34 43 error .44 41 error .33 40 error (1) .0052 .82 unknown .10  9.3 error (1) .28 29 error (1) 1.3   18   error (1) .033 4.0 true 56   530 error .041 5.3
termination-crafted/MenloPark_true-termination.c true .15  23 true 47   2900 error .0093 1.3 error .35 41 error .39 42 error .42 46 error .44 40 error (1) .0030 1.0  unknown .14  9.2 timeout 900    100 error (1) 1.4   18   error (1) .025 3.9 true 11   360 error .027 5.3
termination-crafted/MutualRecursion_1b_true-termination.c error (6) .15  23 true 17   1100 error .017  1.7 error .34 40 error .35 44 error .43 45 error .35 43 error (1) .0029 .84 unknown .10  9.4 error (1) .25 30 error (1) 1.4   18   error (1) .034 3.9 timeout 900   11000 error .048 5.2
termination-crafted/Mysore_true-termination.c true .14  23 true 7.1 460 error .018  1.6 error .41 42 error .39 42 error .39 43 error .42 42 error (1) .0036 1.0  unknown .094 9.3 true 36    69 error (1) 1.3   18   error (1) .027 3.9 true 15   330 error .036 5.5
termination-crafted/NestedRecursion_1b_true-termination.c error (6) .13  23 error (1) 10   550 error .0063 1.3 error .44 40 error .38 39 error .34 41 error .34 45 error (1) .0041 .86 unknown .094 9.2 error (1) .23 29 error (1) .048 6.8 error (1) .018 3.9 true 26   480 error .050 5.2
termination-crafted/NestedRecursion_1c_true-termination.c error (6) .10  23 true 7.5 410 error .015  1.5 error .40 43 error .43 42 error .43 43 error .39 45 error (1) .0034 .99 unknown .10  9.3 error (1) .35 29 error (1) .043 7.1 error (1) .035 3.9 true 12   430 error .052 5.3
termination-crafted/NestedRecursion_1d_true-termination.c error (6) .14  23 true 9.5 550 error .010  1.6 error .42 44 error .40 42 error .44 41 error .34 41 error (1) .0082 1.0  unknown .10  9.2 error (1) .29 30 error (1) .077 7.3 error (1) .017 3.9 timeout 900   10000 error .024 5.2
termination-crafted/NestedRecursion_2c_true-termination.c error (6) .14  23 true 6.6 400 error .0074 1.7 error .41 39 error .34 43 error .41 42 error .34 40 error (1) .0029 .96 unknown .13  9.3 error (1) .28 29 error (1) 1.4   18   error (1) .036 3.9 timeout 900   9900 error .033 5.2
termination-crafted/Nyala-2lex_true-termination.c true .099 23 true 3.3 210 error .016  1.6 error .42 44 error .39 41 error .41 44 error .39 42 error (1) .0038 1.0  unknown .098 9.2 true 3.7  38 error (1) 1.4   18   error (1) .019 3.9 true 13   340 error .023 5.2
termination-crafted/Parallel_true-termination.c true .10  23 true 4.3 230 error .016  1.8 error .30 42 error .41 42 error .42 46 error .35 40 error (1) .0052 .85 unknown .16  9.3 true 19    64 error (1) 1.4   18   error (1) .015 3.8 true 11   340 error .030 5.3
termination-crafted/Piecewise_true-termination.c true .15  23 true 55   5300 error .011  1.8 error .42 43 error .39 40 error .41 41 error .34 43 error (1) .0029 .97 unknown .14  9.2 true 1.0  34 error (1) .080 7.4 error (1) .033 4.1 true 14   350 error .051 5.3
termination-crafted/Pure2Phase_true-termination.c true .10  23 true 3.9 210 error .0080 1.5 error .35 44 error .33 42 error .40 41 error .41 45 error (1) .0038 1.0  unknown .094 9.2 timeout 900    310 error (1) 1.4   18   error (1) .017 4.0 true 12   370 error .054 5.5
termination-crafted/Pure3Phase_true-termination.c true .10  23 true 37   1800 error .011  1.6 error .42 44 error .40 42 error .39 44 error .36 43 error (1) .0035 .86 unknown .098 9.2 timeout 900    82 error (1) 1.4   18   error (1) .035 4.1 timeout 900   5700 error .044 5.3
termination-crafted/RecursiveMultiplication_true-termination.c error (6) .13  23 true 8.6 530 error .010  1.6 error .34 43 error .35 41 error .37 44 error .40 43 error (1) .0062 1.0  unknown .084 9.2 error (1) .35 29 error (1) 1.3   18   error (1) .031 3.9 true 16   370 error .029 5.6
termination-crafted/Singapore_true-termination.c true .14  23 timeout 910   7400 error .0092 1.5 error .34 41 error .40 43 error .35 40 error .34 41 error (1) .0035 1.0  unknown .11  9.2 timeout 900    75 error (1) 1.4   18   error (1) .034 4.1 true 10   340 error .034 5.5
termination-crafted/Stockholm_true-termination.c true .10  23 true 33   1900 error .0081 1.5 error .39 41 error .40 45 error .46 44 error .34 42 error (1) .0030 .66 unknown .15  9.4 timeout 900    330 error (1) 1.4   18   error (1) .029 3.9 true 11   350 error .053 5.2
termination-crafted/SyntaxSupportPointer01_true-termination.c true .22  27 true 6.6 350 error .011  1.7 error .40 43 error .33 41 error .41 43 error .34 44 error (1) .0060 .99 unknown .12  9.4 error (1) .25 21 error (1) 1.4   18   error (1) .031 3.9 true 11   330 error .035 5.4
termination-crafted/TelAviv-Amir-Minimum_true-termination.c true .10  23 timeout 900   10000 error .011  1.7 error .41 43 error .36 44 error .45 41 error .43 44 error (1) .0061 .82 unknown .10  9.2 true 1.2  34 error (1) .075 7.3 error (1) .025 3.9 true 18   380 error .034 5.3
termination-crafted/Thun_true-termination.c true .10  23 true 6.2 380 error .0081 1.4 error .43 41 error .35 44 error .43 46 error .41 42 error (1) .0029 .87 unknown .10  9.2 true 16    45 error (1) 1.4   18   error (1) .028 3.9 true 9.8 330 error .052 5.3
termination-crafted/Toulouse-BranchesToLoop_true-termination.c true .10  23 true 24   1700 error .013  1.3 error .41 42 error .41 41 error .42 40 error .41 44 error (1) .0028 .97 unknown .11  9.2 timeout 900    150 error (1) 1.3   18   error (1) .022 3.9 true 13   360 error .040 5.5
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination.c true .10  23 true 30   2100 error .010  1.4 error .38 42 error .41 43 error .42 42 error .38 41 error (1) .0062 1.0  unknown .11  9.1 timeout 900    140 error (1) 1.4   18   error (1) .017 3.8 true 16   360 error .033 5.2
termination-crafted/Waldkirch_true-termination.c true .13  23 true 6.3 390 error .0091 1.3 error .41 44 error .43 44 error .40 42 error .42 42 error (1) .0052 .89 unknown .13  9.1 true .78 33 error (1) 1.3   18   error (1) .034 3.9 true 11   330 error .049 5.2
termination-crafted/WhileFalse_true-termination.c true .10  23 true 3.6 210 error .0081 1.6 error .41 41 error .42 44 error .42 43 error .42 42 error (1) .0041 .87 unknown .097 9.3 error (1) .27 29 error (1) 1.3   18   error (1) .018 3.9 true 9.3 340 error .051 5.3
termination-crafted/aaron2_true-termination.c true .14  23 true 4.1 230 error .016  1.8 error .40 42 error .41 40 error .36 43 error .41 38 error (1) .0032 1.0  unknown .12  9.1 true 1.1  33 error (1) 1.4   18   error (1) .020 3.9 true 10   320 error .047 5.2
termination-crafted/aaron3_true-termination.c true .13  23 timeout 900   11000 error .011  1.7 error .43 43 error .34 42 error .35 44 error .36 44 error (1) .0042 1.1  unknown .16  9.1 timeout 900    79 error (1) 1.4   18   error (1) .035 4.1 true 25   390 error .024 5.2
termination-crafted/easy1_true-termination.c true .12  23 true 3.7 210 error .012  1.4 error .41 43 error .34 41 error .44 42 error .39 41 error (1) .0061 1.0  unknown .080 9.2 true 65    120 error (1) 1.1   18   error (1) .035 3.9 true 9.6 330 error .030 5.2
termination-crafted/easy2_true-termination.c true .10  23 true 3.2 220 error .013  1.3 error .34 42 error .32 38 error .40 41 error .42 43 error (1) .0065 1.0  unknown .10  9.2 true .73 33 error (1) 1.4   18   error (1) .020 3.9 true 9.2 330 error .027 5.3
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination.c true .080 23 timeout 900   12000 error .010  1.6 error .34 44 error .33 42 error .43 43 error .40 43 error (1) .0029 .72 unknown .15  9.3 false(termination) 18    50 error (1) .068 7.3 error (1) .024 3.9 false(termination) 9.6 340 error .037 5.3
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination.c true .10  23 false(termination) 4.5 250 error .0084 1.8 error .40 44 error .39 39 error .40 40 error .41 44 error (1) .0070 .88 unknown .13  9.2 timeout 900    260 error (1) 1.2   18   error (1) .016 3.9 false(termination) 11   330 error .054 5.2
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.02_false-termination.c true .10  23 timeout 910   10000 error .0094 1.4 error .38 41 error .46 37 error .42 44 error .34 43 error (1) .0036 .73 unknown .13  9.1 false(termination) .62 33 error (1) .045 7.1 error (1) .020 3.9 false(termination) 10   350 error .039 5.6
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.03_false-termination.c true .14  23 false(termination) 11   780 error .0086 1.4 error .40 39 error .33 41 error .39 41 error .35 43 error (1) .0038 .69 unknown .094 9.2 timeout 900    86 error (1) .050 7.3 error (1) .018 3.9 false(termination) 10   350 error .028 5.3
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.04_false-termination.c true .10  23 false(termination) 13   810 error .018  1.6 error .41 42 error .43 43 error .41 41 error .41 40 error (1) .0030 .70 unknown .12  9.2 timeout 900    230 error (1) .073 7.4 error (1) .024 3.9 false(termination) 8.5 320 error .053 5.5
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.05_false-termination.c true .11  23 false(termination) 11   530 error .018  1.7 error .34 41 error .41 41 error .40 43 error .40 44 error (1) .0057 1.0  unknown .094 9.3 timeout 900    77 error (1) .074 7.1 error (1) .019 3.9 false(termination) 12   350 error .030 5.3
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.06_false-termination.c true .14  23 timeout 900   7400 error .0084 1.5 error .42 41 error .34 42 error .40 41 error .39 42 error (1) .0045 .95 unknown .12  9.2 timeout 900    77 error (1) .049 7.2 error (1) .018 3.9 unknown 74   590 error .051 5.2
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.11_false-termination.c true .078 23 false(termination) 55   2500 error .012  1.7 error .39 39 error .41 44 error .37 40 error .40 43 error (1) .0071 1.2  unknown .14  9.3 false(termination) .83 36 error (1) .042 7.1 error (1) .020 3.9 timeout 900   5200 error .054 5.4
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.12_false-termination.c true .10  23 false(termination) 16   1100 error .0075 1.6 error .34 39 error .37 41 error .37 43 error .37 40 error (1) .0031 1.1  unknown .15  9.2 timeout 900    76 error (1) .066 7.5 error (1) .020 3.9 false(termination) 10   350 error .028 5.4
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.14_false-termination.c true .14  23 false(termination) 16   950 error .0097 1.5 error .31 43 error .40 42 error .35 41 error .39 41 error (1) .0053 1.1  unknown .14  9.3 false(termination) 480    86 error (1) .071 7.3 error (1) .026 3.9 false(termination) 9.5 330 error .032 5.5
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.15_false-termination.c true .079 23 false(termination) 9.8 780 error .013  1.7 error .39 39 error .42 42 error .42 42 error .42 39 error (1) .0034 1.1  unknown .16  9.2 timeout 900    500 error (1) .076 7.2 error (1) .023 4.0 false(termination) 9.3 320 error .021 5.4
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.17_false-termination.c true .15  23 false(termination) 17   1500 error .013  1.7 error .34 44 error .38 38 error .38 42 error .39 44 error (1) .0054 1.0  unknown .092 9.2 false(termination) .69 33 error (1) .050 7.2 error (1) .019 3.9 false(termination) 8.8 330 error .054 5.5
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.02_false-termination.c true .080 23 false(termination) 15   1500 error .015  1.5 error .47 44 error .39 41 error .35 38 error .41 45 error (1) .0049 .91 unknown .15  9.2 timeout 900    93 error (1) .070 7.4 error (1) .025 4.1 false(termination) 9.8 330 error .029 5.4
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.06_false-termination.c true .10  23 timeout 910   15000 error .013  1.7 error .35 40 error .39 43 error .42 40 error .33 40 error (1) .0052 1.2  unknown .15  9.2 false(termination) 3.1  38 error (1) .044 7.2 error (1) .034 3.9 false(termination) 9.3 330 error .021 5.3
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig2_false-termination.c true .16  23 timeout (false(termination)) 900   5600 error .017  1.7 error .40 43 error .34 47 error .37 40 error .35 42 error (1) .0034 1.0  unknown .11  9.3 timeout 900    460 error (1) .074 7.2 error (1) .026 3.9 false(termination) 9.6 330 error .053 5.4
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination.c true .14  23 timeout 900   12000 error .016  1.6 error .38 42 error .35 40 error .40 42 error .36 39 error (1) .0034 .85 unknown .16  9.2 error (1) .28 30 error (1) 1.4   19   error (1) .019 3.9 false(termination) 9.4 340 error .051 5.3
termination-crafted-lit/LeikeHeizmann-WST2014-Ex5_false-termination.c true .10  23 false(termination) 11   870 error .015  1.5 error .33 40 error .35 43 error .40 43 error .39 41 error (1) .0044 1.0  unknown .075 9.3 false(termination) .64 32 error (1) 1.4   18   error (1) .035 4.0 unknown 35   510 error .048 5.4
termination-crafted-lit/LeikeHeizmann-WST2014-Ex6_false-termination.c true .14  23 false(termination) 4.3 250 error .012  1.8 error .43 44 error .43 41 error .41 45 error .35 45 error (1) .0061 1.0  unknown .079 9.3 false(termination) .40 32 error (1) 1.3   18   error (1) .034 3.9 false(termination) 9.7 340 error .053 5.2
termination-crafted-lit/Urban-WST2013-Fig1_false-termination.c true .13  23 false(termination) 4.6 270 error .0089 1.8 error .33 41 error .36 44 error .39 42 error .43 44 error (1) .0052 1.0  unknown .096 9.1 false(termination) 1.2  34 error (1) .037 7.3 error (1) .017 4.0 false(termination) 11   330 error .029 5.3
termination-crafted-lit/Velroyen_false-termination.c true .12  23 false(termination) 6.4 370 error .0079 1.6 error .42 41 error .39 38 error .36 40 error .38 38 error (1) .0040 1.0  unknown .097 9.5 false(termination) 2.7  40 error (1) .074 7.2 error (1) .017 3.9 false(termination) 16   390 error .027 5.6
termination-crafted-lit/joey_false-termination.c error (6) .10  23 error (1) 9.3 450 error .0095 1.7 error .43 42 error .36 42 error .40 41 error .34 42 error (1) .0050 1.0  unknown .15  9.4 error (1) .26 29 error (1) .076 7.1 error (1) .031 3.9 false(termination) 22   390 error .039 5.2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination.c true .14  23 true 3.5 230 error .0085 1.6 error .34 45 error .39 40 error .40 42 error .38 41 error (1) .0048 1.0  unknown .14  9.1 timeout 900    380 error (1) 1.4   18   error (1) .027 4.0 true 17   350 error .056 5.4
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2a_true-termination.c true .10  23 true 3.7 220 error .0074 1.8 error .43 43 error .40 40 error .38 45 error .41 43 error (1) .0063 .90 unknown .15  9.2 true 2.1  35 error (1) 1.4   18   error (1) .031 3.9 true 12   350 error .055 5.3
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig2b_true-termination.c true .13  23 true 180   5300 error .017  1.5 error .34 39 error .33 39 error .43 43 error .39 42 error (1) .0033 .68 unknown .13  9.1 timeout 900    370 error (1) 1.3   18   error (1) .032 4.0 true 20   400 error .050 5.3
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron2_true-termination.c true .086 23 true 43   4600 error .0096 1.7 error .39 44 error .37 38 error .33 43 error .40 44 error (1) .0034 .69 unknown .15  9.2 true 1.1  33 error (1) 1.2   18   error (1) .031 3.9 true 10   340 error .025 5.5
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-aaron3_true-termination.c true .10  23 timeout 910   15000 error .0086 1.7 error .41 41 error .39 43 error .41 41 error .37 42 error (1) .0056 1.0  unknown .099 9.2 timeout 900    79 error (1) 1.4   18   error (1) .036 4.1 true 33   420 error .027 5.2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-complex_true-termination.c true .10  23 true 4.4 250 error .010  1.7 error .41 41 error .36 40 error .31 43 error .43 39 error (1) .0053 1.1  unknown .14  9.1 true 7.4  55 error (1) 1.3   18   error (1) .020 3.9 true 16   500 error .049 5.2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1a_true-termination.c true .10  23 true 84   5300 error .0083 1.6 error .41 41 error .33 41 error .42 41 error .41 44 error (1) .0030 1.0  unknown .10  9.2 timeout 900    260 error (1) 1.3   18   error (1) .024 3.9 true 20   390 error .040 5.2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-counterex1b_true-termination.c true .10  23 true 4.0 240 error .016  1.7 error .40 40 error .40 42 error .40 38 error .35 39 error (1) .0039 1.1  unknown .099 9.1 true 7.4  40 error (1) 1.3   18   error (1) .020 4.0 true 13   350 error .040 5.4
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination.c true .12  23 true 3.7 220 error .016  1.6 error .35 42 error .39 39 error .43 47 error .43 39 error (1) .0044 1.1  unknown .11  9.2 true 1.7  35 error (1) 1.4   18   error (1) .031 3.9 true 12   390 error .053 5.3
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination.c true .10  23 true 13   670 error .013  1.7 error .41 39 error .32 39 error .41 44 error .40 45 error (1) .0059 1.0  unknown .079 9.2 true 60    110 error (1) 1.3   18   error (1) .030 3.9 true 10   330 error .051 5.3
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination.c true .15  23 true 11   590 error .010  1.4 error .34 41 error .33 41 error .39 41 error .41 38 error (1) .0062 .83 unknown .11  9.4 true .71 32 error (1) 1.3   18   error (1) .017 3.9 true 11   340 error .042 5.3
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-exmini_true-termination.c true .099 23 true 3.7 220 error .0072 1.5 error .35 41 error .40 41 error .37 46 error .38 39 error (1) .0065 1.0  unknown .12  9.3 true 1.4  33 error (1) 1.4   18   error (1) .021 3.8 true 24   360 error .032 5.7
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination.c true .11  23 true 55   3700 error .0082 1.8 error .40 45 error .37 41 error .34 40 error .42 41 error (1) .0047 1.0  unknown .098 9.3 true 3.7  41 error (1) 1.4   18   error (1) .020 4.1 true 26   400 error .055 5.6
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-ndecr_true-termination.c true .10  23 true 4.0 210 error .012  1.6 error .32 39 error .34 44 error .40 40 error .41 41 error (1) .0048 .88 unknown .097 9.3 true .56 33 error (1) 1.3   18   error (1) .022 4.0 true 10   350 error .026 5.6
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination.c true .10  23 true 3.9 240 error .0083 1.6 error .39 40 error .34 44 error .42 40 error .39 44 error (1) .0055 .88 unknown .081 9.4 true 13    58 error (1) 1.3   18   error (1) .036 3.8 true 19   360 error .030 5.2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination.c true .081 23 true 3.8 220 error .016  1.6 error .39 41 error .41 42 error .45 44 error .41 41 error (1) .0051 .99 unknown .096 9.3 true .91 33 error (1) 1.3   18   error (1) .033 3.9 true 9.7 330 error .025 5.2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination.c true .10  23 true 4.5 240 error .0098 1.7 error .39 41 error .32 42 error .42 41 error .33 41 error (1) .0046 1.1  unknown .10  9.3 true 1.8  38 error (1) 1.4   18   error (1) .035 3.9 true 9.8 340 error .034 5.6
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-rsd_true-termination.c true .13  23 true 24   1400 error .012  1.5 error .39 41 error .44 44 error .42 43 error .34 43 error (1) .0029 .99 unknown .15  9.2 timeout 900    420 error (1) 1.4   18   error (1) .036 3.8 true 25   350 error .029 5.4
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedFails4_true-termination.c true .13  23 true 33   1900 error .010  1.7 error .44 42 error .32 43 error .40 44 error .36 41 error (1) .0054 1.0  unknown .14  9.1 timeout 900    340 error (1) 1.4   18   error (1) .033 3.9 true 13   410 error .057 5.5
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination.c true .12  23 true 53   2900 error .014  1.6 error .34 38 error .35 41 error .40 40 error .35 41 error (1) .0033 1.0  unknown .10  9.2 true 1.5  35 error (1) 1.3   18   error (1) .022 3.9 true 11   340 error .024 5.3
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination.c true .10  23 true 3.9 210 error .017  1.7 error .41 44 error .40 44 error .35 43 error .38 39 error (1) .0037 1.1  unknown .095 9.1 timeout 900    380 error (1) 1.3   18   error (1) .022 3.9 true 12   350 error .055 5.4
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination.c true .10  23 true 24   1600 error .012  1.7 error .33 44 error .41 44 error .35 43 error .40 38 error (1) .0047 1.0  unknown .11  9.3 true 12    73 error (1) 1.2   18   error (1) .027 3.8 true 12   350 error .047 5.6
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-terminate_true-termination.c true .10  23 true 3.8 220 error .017  1.6 error .40 42 error .41 44 error .41 43 error .35 44 error (1) .0035 1.0  unknown .099 9.3 true 1.8  35 error (1) 1.3   18   error (1) .020 4.0 true 22   360 error .054 5.2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination.c true .10  23 true 4.0 240 error .0089 1.7 error .40 42 error .41 44 error .62 44 error .41 44 error (1) .0026 1.0  unknown .078 9.3 true 11    67 error (1) 1.4   18   error (1) .019 3.9 true 13   340 error .047 5.5
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination.c true .11  23 true 3.4 220 error .016  1.8 error .40 45 error .39 41 error .39 43 error .35 45 error (1) .0029 .86 unknown .11  9.5 true 1.6  34 error (1) 1.3   18   error (1) .017 3.8 true 11   330 error .043 5.2
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination.c true .11  23 true 33   1400 error .0082 1.7 error .32 37 error .41 44 error .42 42 error .39 43 error (1) .0036 1.1  unknown .11  9.4 true 2.0  35 error (1) .97  18   error (1) .012 3.9 true 13   340 error .056 5.2
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination.c true .080 23 true 4.0 220 error .018  1.6 error .40 44 error .34 42 error .40 39 error .39 41 error (1) .0063 .87 unknown .12  9.2 true 2.0  35 error (1) .058 7.3 error (1) .020 4.1 true 11   340 error .049 5.5
termination-crafted-lit/Ben-Amram-LMCS2010-Ex2.3_true-termination.c true .12  23 true 29   1800 error .011  1.8 error .41 40 error .34 42 error .42 43 error .34 43 error (1) .0031 1.1  unknown .094 9.1 true 2.1  35 error (1) .043 7.3 error (1) .012 3.9 true 12   340 error .053 5.5
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination.c true .12  23 true 43   3700 error .0091 1.7 error .37 43 error .40 40 error .43 44 error .42 40 error (1) .0051 1.0  unknown .10  9.3 true 3.8  38 error (1) .075 7.3 error (1) .024 4.1 true 15   350 error .038 5.5
termination-crafted-lit/BradleyMannaSipma-ICALP2005-Fig1_true-termination.c true .10  23 timeout 910   5600 error .0069 1.7 error .40 41 error .40 42 error .41 46 error .40 44 error (1) .0038 1.0  unknown .16  9.3 timeout 900    87 error (1) .072 7.0 error (1) .032 3.9 true 27   440 error .036 5.3
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination.c true .10  23 true 3.4 220 error .018  1.8 error .41 42 error .40 41 error .35 41 error .43 41 error (1) .0053 1.1  unknown .15  9.2 true 2.4  36 error (1) .052 7.4 error (1) .017 3.9 true 12   370 error .021 5.3
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination.c true .13  23 true 290   5400 error .0072 1.4 error .44 44 error .42 42 error .40 43 error .34 39 error (1) .0045 .97 unknown .15  9.3 true 4.5  49 error (1) 1.4   18   error (1) .014 3.7 true 14   350 error .024 5.2
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination.c true .097 23 true 4.5 260 error .0098 1.7 error .35 41 error .40 41 error .42 44 error .40 43 error (1) .0053 1.1  unknown .15  9.3 true 2.0  38 error (1) .050 7.0 error (1) .022 3.9 true 10   330 error .043 5.6
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron12_true-termination.c true .13  23 true 41   1900 error .014  1.5 error .36 39 error .39 42 error .40 41 error .42 42 error (1) .0059 1.0  unknown .15  9.3 timeout 900    100 error (1) 1.4   18   error (1) .018 3.9 unknown 55   470 error .033 5.5
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron1_true-termination.c true .15  23 true 12   670 error .017  1.6 error .35 42 error .37 43 error .41 43 error .34 44 error (1) .0073 1.0  unknown .10  9.1 timeout 900    240 error (1) 1.4   18   error (1) .019 3.9 true 15   370 error .053 5.2
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron2_true-termination.c true .13  23 true 40   4600 error .0079 1.6 error .39 41 error .34 39 error .38 44 error .40 42 error (1) .0050 1.2  unknown .14  9.0 true 1.1  33 error (1) 1.3   18   error (1) .020 3.9 true 11   350 error .055 5.5
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron3_true-termination.c true .082 23 out of memory 790   15000 error .0085 1.7 error .44 44 error .40 45 error .42 44 error .40 44 error (1) .0033 1.0  unknown .11  9.2 timeout 900    79 error (1) .96  18   error (1) .020 4.0 true 35   420 error .052 5.5
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron4_true-termination.c true .11  23 true 260   6000 error .012  1.7 error .34 43 error .44 39 error .41 43 error .42 38 error (1) .0053 1.0  unknown .16  9.5 timeout 900    120 error (1) 1.4   18   error (1) .036 3.9 true 28   420 error .031 5.2
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-aaron6_true-termination.c true .14  23 true 4.1 230 error .0095 1.5 error .38 42 error .41 41 error .35 38 error .41 46 error (1) .0063 1.0  unknown .11  9.1 true 2.4  37 error (1) 1.4   18   error (1) .022 3.9 true 11   330 error .029 5.2
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination.c true .14  23 true 13   680 error .014  1.7 error .36 42 error .36 41 error .46 44 error .33 40 error (1) .0042 .84 unknown .15  9.2 true 65    120 error (1) 1.3   18   error (1) .019 3.9 true 9.4 320 error .022 5.2
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination.c true .10  23 true 11   590 error .015  1.7 error .41 41 error .39 39 error .46 45 error .41 43 error (1) .0043 .85 unknown .098 9.2 true .72 32 error (1) 1.3   18   error (1) .023 3.9 true 9.1 330 error .054 5.5
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination.c true .098 23 true 3.9 220 error .017  1.5 error .43 39 error .39 43 error .37 40 error .38 43 error (1) .0076 1.0  unknown .11  9.3 true .69 33 error (1) 1.2   18   error (1) .034 4.0 true 10   330 error .029 5.4
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination.c true .085 23 true 4.6 250 error .014  1.7 error .42 43 error .34 39 error .40 40 error .34 42 error (1) .0048 .98 unknown .080 9.1 true 2.2  38 error (1) 1.4   18   error (1) .036 3.9 true 9.3 330 error .054 5.5
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.01_true-termination.c true .15  23 true 7.3 400 error .0082 1.7 error .37 38 error .35 42 error .41 41 error .33 42 error (1) .0045 .98 unknown .11  9.3 true 1.3  34 error (1) .049 7.1 error (1) .017 3.9 unknown 14   360 error .027 5.3
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.02_true-termination.c true .12  23 true 3.8 230 error .0085 1.6 error .41 41 error .40 40 error .44 44 error .47 41 error (1) .0050 1.0  unknown .14  9.2 true 1.7  36 error (1) .035 7.3 error (1) .031 3.9 true 8.6 320 error .052 5.2
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.03_true-termination.c true .081 23 true 3.9 220 error .014  1.6 error .40 38 error .40 44 error .43 41 error .37 42 error (1) .0053 .85 unknown .15  9.2 true .66 33 error (1) .043 7.2 error (1) .024 4.0 true 9.4 340 error .035 5.2
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.04_true-termination.c true .10  23 true 3.9 220 error .016  1.7 error .40 43 error .40 43 error .35 40 error .45 44 error (1) .0051 1.0  unknown .10  9.3 true .65 32 error (1) .044 7.1 error (1) .021 3.9 true 9.4 330 error .053 5.5
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex1.05_true-termination.c true .14  23 true 3.7 210 error .015  1.8 error .40 44 error .41 45 error .36 44 error .34 40 error (1) .0051 .89 unknown .14  9.2 true .73 33 error (1) .050 7.1 error (1) .031 3.8 true 10   330 error .054 5.3
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.01_true-termination.c true .10  23 true 4.3 260 error .015  1.7 error .40 41 error .34 42 error .35 38 error .43 42 error (1) .0035 .96 unknown .076 9.1 timeout 900    160 error (1) .074 7.1 error (1) .022 3.9 true 9.7 320 error .037 5.3
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.07_true-termination.c true .10  23 true 4.2 250 error .011  1.7 error .32 38 error .37 41 error .42 41 error .39 44 error (1) .0054 .84 unknown .16  9.5 timeout 900    200 error (1) .045 7.4 error (1) .030 3.8 true 8.9 320 error .024 5.6
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.08_true-termination.c true .10  23 true 3.5 250 error .016  1.7 error .40 41 error .41 44 error .38 43 error .40 37 error (1) .0044 1.0  unknown .085 9.2 timeout 900    92 error (1) .075 7.3 error (1) .023 3.9 true 10   330 error .053 5.3
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.09_true-termination.c true .14  23 true 7.9 510 error .012  1.7 error .38 42 error .34 40 error .42 38 error .32 40 error (1) .0038 1.0  unknown .11  9.3 true 1.0  34 error (1) .077 7.2 error (1) .023 3.9 true 11   360 error .045 5.3
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.10_true-termination.c true .11  23 true 3.7 210 error .017  1.6 error .34 42 error .40 43 error .40 44 error .40 43 error (1) .0029 .72 unknown .080 9.2 true .93 33 error (1) .048 7.3 error (1) .016 3.9 true 9.8 330 error .041 5.2
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.13_true-termination.c true .099 23 true 4.6 290 error .017  1.7 error .38 41 error .41 45 error .43 44 error .42 41 error (1) .0062 1.0  unknown .096 9.2 true 1.2  36 error (1) .045 7.1 error (1) .035 3.9 true 21   320 error .055 5.5
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.16_true-termination.c true .15  23 true 6.6 450 error .012  1.5 error .39 41 error .35 43 error .42 43 error .35 44 error (1) .0055 .88 unknown .12  9.2 true .76 33 error (1) .070 7.2 error (1) .024 3.9 true 10   340 error .055 5.5
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.18_true-termination.c true .12  23 true 5.3 350 error .019  1.7 error .39 43 error .40 44 error .41 41 error .41 43 error (1) .0026 .96 unknown .097 9.3 true 1.3  34 error (1) .049 7.3 error (1) .035 3.9 true 10   330 error .048 5.2
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.19_true-termination.c true .084 23 true 6.3 370 error .012  1.5 error .39 42 error .37 42 error .41 44 error .41 43 error (1) .0029 .80 unknown .097 9.4 true .97 33 error (1) .049 7.2 error (1) .035 3.8 true 22   330 error .047 5.3
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination.c true .15  23 true 3.9 220 error .0068 1.6 error .40 43 error .40 41 error .36 45 error .34 42 error (1) .0031 .95 unknown .10  9.3 true .89 33 error (1) .060 7.2 error (1) .034 3.9 true 9.7 340 error .052 5.4
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.21_true-termination.c true .11  23 true 5.7 400 error .012  1.7 error .40 43 error .41 42 error .43 44 error .40 39 error (1) .0035 1.0  unknown .10  9.2 true 1.0  34 error (1) .046 7.2 error (1) .030 3.9 true 11   320 error .040 5.3
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.22_true-termination.c true .11  23 true 7.1 450 error .014  1.6 error .35 44 error .42 43 error .43 40 error .38 41 error (1) .0032 .88 unknown .13  9.2 true 1.2  33 error (1) .078 7.3 error (1) .020 4.1 true 9.8 320 error .029 5.6
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination.c true .086 23 true 7.3 450 error .0082 1.6 error .44 41 error .38 42 error .42 41 error .35 39 error (1) .0033 .72 unknown .11  9.2 true 1.3  34 error (1) .043 7.1 error (1) .028 4.1 true 14   330 error .050 5.2
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.03_true-termination.c true .15  23 true 4.7 300 error .016  1.5 error .39 41 error .42 44 error .41 43 error .47 42 error (1) .0051 1.0  unknown .10  9.3 timeout 900    170 error (1) .051 7.2 error (1) .033 3.9 true 10   330 error .046 5.6
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.04_true-termination.c true .11  23 true 8.1 540 error .0096 1.6 error .41 40 error .33 41 error .39 38 error .36 42 error (1) .0053 1.2  unknown .075 9.3 true 1.7  34 error (1) .080 7.3 error (1) .014 3.9 true 22   340 error .046 5.5
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.05_true-termination.c true .14  23 true 8.1 500 error .013  1.7 error .34 41 error .38 36 error .45 41 error .33 41 error (1) .0045 1.1  unknown .17  9.1 timeout 900    79 error (1) .036 7.4 error (1) .021 4.0 true 21   320 error .053 5.6
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.07_true-termination.c true .11  23 true 5.8 440 error .0081 1.7 error .41 41 error .37 45 error .42 42 error .31 40 error (1) .0036 .88 unknown .095 9.3 true 1.7  35 error (1) .079 7.3 error (1) .015 3.9 true 11   320 error .044 5.4
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.08_true-termination.c true .10  23 true 7.4 420 error .012  1.5 error .34 39 error .32 41 error .34 41 error .40 42 error (1) .0035 .99 unknown .14  9.2 true 1.4  34 error (1) .064 7.4 error (1) .036 3.8 true 11   330 error .056 5.2
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.09_true-termination.c true .13  23 true 9.4 640 error .011  1.6 error .42 42 error .40 40 error .42 45 error .35 44 error (1) .0061 1.0  unknown .14  9.2 true 1.3  35 error (1) .074 7.2 error (1) .022 4.1 true 23   390 error .055 5.3
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.10_true-termination.c true .11  23 true 3.8 220 error .0092 1.6 error .36 41 error .40 44 error .43 40 error .34 43 error (1) .0064 1.1  unknown .13  9.1 true 1.0  33 error (1) .063 7.2 error (1) .021 3.9 true 13   330 error .053 5.3
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex4.01_true-termination.c true .14  23 true 9.0 610 error .014  1.7 error .34 43 error .38 38 error .38 41 error .43 40 error (1) .0053 .90 unknown .16  9.1 timeout 900    120 error (1) .079 7.3 error (1) .022 3.8 true 22   330 error .022 5.3
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Fig1_true-termination.c true .10  23 true 5.4 430 error .0067 1.4 error .35 42 error .38 42 error .41 43 error .41 44 error (1) .0048 1.0  unknown .14  9.2 true 5.9  41 error (1) 1.4   18   error (1) .022 3.8 true 11   330 error .029 5.2
termination-crafted-lit/ColonSipma-TACAS2001-Fig1_true-termination.c true .098 23 true 3.7 220 error .016  1.7 error .41 44 error .39 37 error .35 43 error .40 39 error (1) .0035 .85 unknown .11  9.3 true 1.5  33 error (1) 1.4   18   error (1) .033 3.9 true 21   360 error .041 5.4
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination.c true .12  23 true 3.9 230 error .0077 1.3 error .33 38 error .33 43 error .43 43 error .37 43 error (1) .0063 .83 unknown .11  9.2 timeout 900    380 error (1) .078 7.1 error (1) .017 3.8 true 13   350 error .050 5.2
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination.c true .12  23 true 4.1 230 error .011  1.6 error .35 43 error .35 43 error .40 40 error .35 45 error (1) .0053 1.1  unknown .096 9.2 true 4.3  38 error (1) .048 7.1 error (1) .024 3.9 true 13   360 error .050 5.5
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination.c true .11  23 true 4.0 230 error .014  1.5 error .38 44 error .37 43 error .38 41 error .40 39 error (1) .0043 1.1  unknown .10  9.2 timeout 900    260 error (1) .077 7.2 error (1) .023 4.0 true 13   350 error .050 5.2
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination.c true .15  23 true 15   870 error .018  1.7 error .42 44 error .41 41 error .43 43 error .40 43 error (1) .0038 1.0  unknown .12  9.2 true 4.1  39 error (1) 1.4   18   error (1) .021 3.9 true 12   380 error .025 5.2
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination.c true .10  23 true 9.3 610 error .018  1.6 error .44 40 error .40 41 error .39 44 error .62 39 error (1) .0029 .72 unknown .095 9.2 true 1.4  34 error (1) 1.2   18   error (1) .021 4.0 true 13   350 error .051 5.2
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination.c true .10  23 true 13   840 error .0077 1.5 error .35 42 error .34 42 error .34 42 error .35 41 error (1) .0036 .70 unknown .13  9.4 true 2.1  35 error (1) 1.4   18   error (1) .016 3.8 true 12   380 error .048 5.2
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination.c.c true .14  23 true 4.2 240 error .014  1.6 error .40 42 error .44 41 error .41 45 error .41 42 error (1) .0045 1.0  unknown .093 9.2 timeout 900    440 error (1) 1.3   18   error (1) .015 3.8 true 12   330 error .053 5.2
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1a_true-termination.c true .11  23 true 3.3 220 error .012  1.8 error .38 43 error .44 43 error .42 42 error .40 39 error (1) .0055 1.0  unknown .079 9.3 true 1.2  33 error (1) 1.4   18   error (1) .021 3.9 true 14   360 error .027 5.3
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1b_true-termination.c true .11  23 true 3.6 220 error .0081 1.8 error .39 41 error .33 39 error .42 43 error .42 43 error (1) .0024 .85 unknown .10  9.3 true 2.0  34 error (1) .98  18   error (1) .021 3.9 true 11   330 error .050 5.3
termination-crafted-lit/GulavaniGulwani-CAV2008-Fig1c_true-termination.c true .12  23 true 3.5 200 error .017  1.6 error .40 41 error .43 44 error .42 40 error .41 37 error (1) .0051 1.1  unknown .16  9.2 true .93 33 error (1) 1.4   18   error (1) .029 3.9 true 11   360 error .052 5.3
termination-crafted-lit/GulwaniJainKoskinen-PLDI2009-Fig1_true-termination.c true .14  23 timeout 900   8300 error .0076 1.5 error .36 44 error .44 39 error .43 43 error .39 44 error (1) .0041 .90 unknown .079 9.1 true 4.2  48 error (1) .045 7.2 error (1) .014 3.9 timeout 900   7000 error .045 5.3
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination.c true .082 23 true 230   5600 error .017  1.7 error .39 41 error .41 42 error .43 39 error .41 42 error (1) .0045 .99 unknown .097 9.1 timeout 900    83 error (1) .051 7.1 error (1) .015 4.1 true 30   410 error .056 5.5
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination.c true .13  23 true 9.5 1200 error .0079 1.6 error .42 42 error .38 40 error .42 43 error .41 43 error (1) .0043 .83 unknown .14  9.3 error (1) .29 29 error (1) .046 7.1 error (1) .023 4.0 error 7.8 320 error .050 5.5
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination.c true .11  23 true 4.1 250 error .0080 1.5 error .34 41 error .45 41 error .41 41 error .41 44 error (1) .0034 .88 unknown .10  9.3 true 11    54 error (1) 1.4   18   error (1) .022 4.1 true 10   340 error .050 5.5
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig2_true-termination.c true .10  23 error (1) 16   760 error .0090 1.4 error .42 41 error .39 41 error .41 41 error .33 43 error (1) .0031 1.0  unknown .11  9.2 true .75 33 error (1) 1.3   18   error (1) .035 3.9 unknown 26   410 error .024 5.5
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination.c true .11  23 true 3.6 210 error .012  1.5 error .40 41 error .37 43 error .38 42 error .42 44 error (1) .0038 .72 unknown .14  9.1 true .76 32 error (1) 1.3   18   error (1) .012 3.9 true 9.7 330 error .023 5.2
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination.c true .11  23 true 10   540 error .0086 1.6 error .35 41 error .39 45 error .47 41 error .46 44 error (1) .0032 1.0  unknown .12  9.1 true 10    44 error (1) 1.4   18   error (1) .032 3.9 unknown 32   720 error .032 5.3
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination.c true .11  23 true 2.9 200 error .0090 1.6 error .41 44 error .33 41 error .39 44 error .36 47 error (1) .0036 .85 unknown .14  9.3 true .80 33 error (1) 1.3   18   error (1) .020 4.0 true 9.9 320 error .022 5.2
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig7_true-termination.c true .15  23 true 26   1200 error .0083 1.6 error .39 46 error .33 43 error .40 42 error .41 42 error (1) .0058 1.0  unknown .11  9.2 error (1) .27 29 error (1) 1.3   18   error (1) .014 3.9 true 14   350 error .057 5.5
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig8_true-termination.c true .10  23 timeout 910   5600 error .012  1.5 error .33 41 error .33 39 error .35 43 error .43 44 error (1) .0029 .96 unknown .12  9.3 true 1.2  35 error (1) 1.4   18   error (1) .034 3.9 unknown 15   370 error .035 5.3
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig9_true-termination.c true .16  23 timeout 910   5500 error .011  1.7 error .35 43 error .33 42 error .34 39 error .35 41 error (1) .0076 .83 unknown .11  9.6 timeout 900    610 error (1) 1.2   18   error (1) .030 3.9 unknown 17   470 error .044 5.2
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination.c true .12  23 true 3.8 210 error .016  1.7 error .35 42 error .40 42 error .40 38 error .40 41 error (1) .0044 .82 unknown .10  9.3 true .73 33 error (1) 1.2   18   error (1) .022 3.9 true 8.5 320 error .055 5.5
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination.c true .10  23 timeout 900   5200 error .0084 1.6 error .39 40 error .37 40 error .43 40 error .44 45 error (1) .0030 1.1  unknown .14  9.1 true 1.5  36 error (1) .043 7.1 error (1) .022 4.1 true 23   430 error .036 5.2
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination.c true .10  23 timeout 910   14000 error .0075 1.5 error .35 42 error .34 42 error .45 44 error .39 41 error (1) .0035 1.2  unknown .098 9.2 timeout 900    210 error (1) .068 7.4 error (1) .031 3.9 true 42   490 error .053 5.3
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex1_true-termination.c error (6) .11  23 true 8.8 440 error .014  1.8 error .36 44 error .39 43 error .40 41 error .35 42 error (1) .0036 .97 unknown .097 9.3 error (1) .29 30 error (1) .056 7.4 error (1) .022 3.8 true 13   340 error .055 5.2
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex2_true-termination.c error (6) .14  23 true 9.9 490 error .011  1.7 error .38 39 error .39 42 error .46 43 error .51 43 error (1) .0031 .99 unknown .12  9.4 error (1) .34 29 error (1) .060 7.4 error (1) .018 3.9 true 21   370 error .033 5.2
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex3_true-termination.c error (6) .080 23 true 12   550 error .0084 1.6 error .40 39 error .41 41 error .45 40 error .40 44 error (1) .0041 1.2  unknown .10  9.1 error (1) .32 29 error (1) .076 7.3 error (1) .034 3.9 timeout 910   8600 error .056 5.3
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination.c error (6) .12  23 true 13   600 error .0088 1.4 error .43 39 error .34 42 error .41 40 error .34 41 error (1) .0050 1.0  unknown .099 9.1 error (1) .33 29 error (1) .077 7.2 error (1) .016 3.9 true 37   500 error .026 5.2
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination.c error (6) .10  23 true 12   580 error .0099 1.6 error .32 42 error .34 43 error .42 44 error .44 42 error (1) .0054 1.0  unknown .11  9.2 error (1) .29 29 error (1) .061 7.4 error (1) .013 3.9 unknown 43   1900 error .052 5.3
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex6_true-termination.c error (6) .10  23 true 10   570 error .011  1.8 error .39 42 error .44 42 error .41 43 error .40 40 error (1) .0060 .87 unknown .097 9.2 error (1) .38 29 error (1) .046 7.1 error (1) .015 3.8 true 14   350 error .044 5.3
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination.c true .10  23 true 3.7 220 error .012  1.6 error .40 42 error .40 39 error .40 40 error .39 37 error (1) .0032 1.0  unknown .12  9.4 true .63 32 error (1) 1.4   18   error (1) .020 3.9 true 9.5 340 error .030 5.4
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex7_true-termination.c true .15  23 true 6.3 380 error .015  1.5 error .40 42 error .41 43 error .40 40 error .40 44 error (1) .0031 1.0  unknown .097 9.3 true 1.1  33 error (1) 1.4   18   error (1) .016 3.9 true 9.9 330 error .035 5.5
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex8_true-termination.c true .10  23 true 3.6 220 error .0098 1.6 error .45 43 error .39 38 error .39 40 error .40 41 error (1) .0034 .83 unknown .10  9.2 true 3.0  36 error (1) 1.3   18   error (1) .022 4.1 true 11   340 error .033 5.3
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination.c true .14  23 true 14   990 error .0079 1.7 error .35 41 error .39 41 error .36 41 error .44 44 error (1) .0041 1.2  unknown .13  9.1 true 1.4  35 error (1) 1.3   18   error (1) .024 4.0 true 10   330 error .030 5.2
termination-crafted-lit/LeikeHeizmann-TACAS2014-Fig1_true-termination.c true .10  23 true 4.4 260 error .013  1.6 error .43 42 error .37 36 error .41 44 error .45 44 error (1) .0055 1.0  unknown .14  9.4 timeout 900    94 error (1) 1.4   18   error (1) .023 3.9 true 12   320 error .047 5.6
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination.c true .15  23 error (1) 6.3 350 error .012  1.5 error .34 38 error .39 40 error .41 40 error .43 44 error (1) .0040 .97 unknown .13  9.3 true .73 33 error (1) 1.2   18   error (1) .017 4.1 true 9.4 330 error .048 5.3
termination-crafted-lit/Masse-VMCAI2014-Ex6_true-termination.c true .11  23 true 3.8 220 error .0083 1.7 error .41 41 error .45 43 error .39 43 error .39 42 error (1) .0033 .87 unknown .099 9.4 true 3.8  41 error (1) 1.3   18   error (1) .021 4.0 true 12   360 error .035 5.2
termination-crafted-lit/Masse-VMCAI2014-Fig1a_true-termination.c true .10  23 true 3.4 220 error .016  1.7 error .32 40 error .39 44 error .36 42 error .42 42 error (1) .0035 1.0  unknown .19  18   true 2.0  35 error (1) 1.4   18   error (1) .036 3.9 true 11   380 error .056 5.5
termination-crafted-lit/Masse-VMCAI2014-Fig1b_true-termination.c true .10  23 timeout 910   12000 error .016  1.8 error .34 41 error .37 41 error .41 43 error .42 40 error (1) .0034 .83 unknown .094 9.2 true 7.6  51 error (1) 1.4   18   error (1) .014 3.7 unknown 18   380 error .053 5.2
termination-crafted-lit/NoriSharma-FSE2013-Fig7_true-termination.c true .14  23 true 4.1 220 error .0082 1.6 error .34 41 error .42 39 error .42 42 error .41 44 error (1) .0031 1.1  unknown .16  9.2 true 2.5  36 error (1) .046 7.2 error (1) .020 3.9 true 12   340 error .051 5.2
termination-crafted-lit/NoriSharma-FSE2013-Fig8_true-termination.c true .14  23 true 3.9 220 error .012  1.7 error .33 37 error .35 43 error .41 43 error .40 42 error (1) .0058 1.1  unknown .10  9.3 true 12    49 error (1) .077 7.4 error (1) .016 3.9 true 13   370 error .028 5.5
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination.c true .10  23 true 34   4000 error .0087 1.8 error .38 42 error .33 39 error .43 37 error .38 39 error (1) .0068 .88 unknown .087 8.9 true 2.3  36 error (1) 1.4   18   error (1) .036 3.9 true 13   350 error .047 5.4
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2-TACAS2011-Fig3_true-termination.c true .14  23 timeout 910   8700 error .014  1.6 error .38 38 error .39 44 error .40 41 error .41 42 error (1) .0081 1.0  unknown .078 9.3 true 18    62 error (1) 1.4   18   error (1) .026 3.8 timeout 910   8100 error .031 5.5
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig2_true-termination.c true .11  23 timeout 910   8600 error .019  1.6 error .42 41 error .34 39 error .35 36 error .42 41 error (1) .0036 1.2  unknown .11  9.3 true 18    62 error (1) 1.4   18   error (1) .022 3.9 timeout 910   8400 error .049 5.4
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination.c true .12  23 true 3.7 210 error .0083 1.4 error .33 41 error .37 40 error .42 39 error .34 42 error (1) .0061 1.1  unknown .099 9.2 true .71 32 error (1) 1.3   18   error (1) .020 4.0 true 9.4 330 error .026 5.6
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination.c true .10  23 true 3.6 210 error .015  1.7 error .39 41 error .46 43 error .46 43 error .34 41 error (1) .0043 1.2  unknown .11  9.3 true 1.8  34 error (1) 1.3   18   error (1) .028 3.9 true 11   340 error .054 5.3
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig3_true-termination.c true .11  23 timeout 910   9000 error .0085 1.6 error .33 44 error .34 42 error .36 44 error .34 42 error (1) .0056 .88 unknown .097 9.3 true 18    62 error (1) 1.3   18   error (1) .017 3.9 timeout 910   9400 error .052 5.3
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination.c true .10  23 true 3.9 220 error .011  1.8 error .38 41 error .35 42 error .40 38 error .35 44 error (1) .0051 .85 unknown .11  9.3 true 2.6  36 error (1) 1.4   18   error (1) .035 3.9 true 13   410 error .055 5.3
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex1_true-termination.c true .14  23 true 3.7 210 error .0096 1.6 error .40 39 error .40 41 error .34 40 error .40 41 error (1) .0045 1.0  unknown .11  9.2 true 1.0  33 error (1) 1.4   18   error (1) .034 3.9 true 50   370 error .031 5.6
termination-crafted-lit/PodelskiRybalchenko-VMCAI2004-Ex2_true-termination.c true .15  23 true 6.5 400 error .012  1.7 error .38 39 error .41 44 error .44 41 error .41 44 error (1) .0057 .82 unknown .11  9.2 true 1.8  36 error (1) .066 7.1 error (1) .034 3.9 unknown 14   400 error .023 5.3
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination.c true .10  23 true 3.6 210 error .0084 1.9 error .39 40 error .39 43 error .42 41 error .38 41 error (1) .0031 .98 unknown .13  9.2 timeout 900    340 error (1) .042 7.1 error (1) .017 3.9 timeout 900   1600 error .052 5.4
termination-crafted-lit/Urban-WST2013-Fig2_true-termination.c true .10  23 true 3.9 220 error .0095 1.6 error .38 41 error .35 42 error .40 42 error .40 41 error (1) .0054 .86 unknown .099 9.2 true 10    59 error (1) .044 7.4 error (1) .028 4.1 true 12   340 error .043 5.5
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination.c true .15  23 true 110   5500 error .017  1.7 error .42 41 error .34 44 error .39 39 error .41 42 error (1) .0073 .88 unknown .16  9.1 timeout 900    390 error (1) 1.3   18   error (1) .015 3.9 true 14   350 error .030 5.5
termination-crafted-lit/aviad_true-termination.c true .13  23 true 41   4300 error .0084 1.5 error .44 44 error .32 39 error .40 43 error .40 45 error (1) .0040 1.0  unknown .15  9.3 true .64 33 error (1) .067 7.2 error (1) .034 3.9 true 11   330 error .033 5.4
termination-crafted-lit/cstrcmp_true-termination.c true .12  25 true 19   1300 error .0086 1.4 error .36 43 error .37 43 error .37 45 error .41 45 error (1) .0035 .85 unknown .21  9.4 error (1) .15 20 error (1) .071 7.1 error (1) .021 3.9 true 24   500 error .053 5.5
termination-crafted-lit/cstrcspn_true-termination.c true .13  25 true 84   5400 error .015  1.5 error .33 37 error .40 41 error .42 45 error .40 44 error (1) .0029 1.1  unknown .11  9.2 error (1) .14 20 error (1) .045 7.4 error (1) .018 3.9 timeout 900   5500 error .043 5.3
termination-crafted-lit/cstrlen_true-termination.c true .16  25 true 10   480 error .0085 1.7 error .34 40 error .39 39 error .39 40 error .39 41 error (1) .0035 .85 unknown .16  9.5 error (1) .12 21 error (1) .044 7.2 error (1) .028 3.8 true 13   340 error .052 5.3
termination-crafted-lit/cstrncmp_true-termination.c true .13  25 true 28   2300 error .012  1.7 error .38 41 error .32 39 error .39 40 error .41 44 error (1) .0058 .89 unknown .18  9.4 error (1) .21 20 error (1) .035 7.1 error (1) .023 3.9 true 14   460 error .047 5.3
termination-crafted-lit/cstrpbrk_true-termination.c true .18  25 true 60   5300 error .017  1.6 error .36 44 error .45 44 error .42 40 error .39 42 error (1) .0057 .72 unknown .12  9.4 error (1) .13 21 error (1) .047 7.0 error (1) .015 3.9 timeout 900   5400 error .053 5.3
termination-crafted-lit/cstrspn_true-termination.c true .17  25 true 67   5400 error .011  1.6 error .40 42 error .35 40 error .40 43 error .35 42 error (1) .0049 .97 unknown .13  9.3 error (1) .16 21 error (1) .047 7.1 error (1) .022 3.9 timeout 900   5300 error .040 5.4
termination-crafted-lit/gcd1_true-termination.c true .10  23 true 5.1 330 error .017  1.5 error .40 39 error .41 42 error .34 39 error .41 41 error (1) .0037 1.0  unknown .098 9.1 true 1.8  35 error (1) .048 7.3 error (1) .018 3.9 true 13   450 error .057 5.4
termination-crafted-lit/genady_true-termination.c true .12  23 true 3.7 210 error .010  1.6 error .34 42 error .41 41 error .31 43 error .40 42 error (1) .0063 .99 unknown .076 9.3 timeout 900    300 error (1) .055 7.1 error (1) .018 4.0 true 9.6 330 error .047 5.3
termination-crafted-lit/min_rf_true-termination.c true .10  23 true 52   2200 error .0084 1.5 error .38 41 error .31 41 error .40 41 error .34 43 error (1) .0037 1.1  unknown .10  9.2 true .80 33 error (1) .079 7.4 error (1) .018 3.9 true 39   500 error .056 5.2
termination-crafted-lit/strchr_true-termination.c true .17  25 true 14   770 error .0072 1.6 error .46 44 error .34 39 error .43 44 error .39 42 error (1) .0050 1.0  unknown .12  9.5 error (1) .12 21 error (1) .075 7.1 error (1) .015 3.9 true 14   470 error .038 5.5
termination-libowfat/atoi_true-termination.c.i error(signal 6) .21  27 out of memory 790   15000 error .0095 1.7 error .33 41 error .39 45 error .46 41 error .39 39 error (1) .0030 .72 unknown .17  14   error (1) .23 30 error (1) 1.4   18   error (1) .014 4.1 true 13   400 error .045 5.2
termination-libowfat/atol_true-termination.c.i error(signal 6) .21  27 timeout 900   15000 error .011  1.7 error .39 42 error .33 39 error .43 38 error .40 43 error (1) .0035 1.0  unknown .21  14   error (1) .23 30 error (1) 1.4   18   error (1) .019 3.9 true 13   340 error .053 5.2
termination-libowfat/atoll_true-termination.c.i error(signal 6) .25  27 timeout 910   14000 error .012  1.5 error .38 42 error .40 42 error .42 43 error .41 43 error (1) .0037 .84 unknown .20  14   error (1) .33 30 error (1) 1.3   19   error (1) .037 3.9 true 12   390 error .047 5.3
termination-libowfat/basename_true-termination.c.i error(signal 6) .26  27 error (1) 37   2400 error .012  1.6 error .40 42 error .35 44 error .35 44 error .44 42 error (1) .0059 .85 unknown .21  14   error (1) .41 30 error (1) 1.4   18   error (1) .035 4.0 timeout 900   8900 error .051 5.4
termination-libowfat/build_fullname_true-termination.c.i error(signal 6) .25  27 error (1) 62   5200 error .012  1.3 error .42 43 error .38 41 error .40 43 error .37 41 error (1) .0032 1.0  unknown .15  14   error (1) .31 30 error (1) 1.4   19   error (1) .018 3.9 true 190   3900 error .042 5.3
termination-libowfat/dirname_true-termination.c.i error(signal 6) .21  27 error (1) 36   2400 error .0098 1.9 error .37 41 error .41 42 error .39 42 error .35 40 error (1) .0058 .84 unknown .20  14   error (1) .25 30 error (1) 1.5   19   error (1) .030 3.9 error 8.9 340 error .053 5.5
termination-libowfat/skip_to_true-termination.c.i error(signal 6) .22  27 true 55   5300 error .012  1.5 error .42 45 error .39 42 error .41 38 error .37 42 error (1) .0031 .97 unknown .19  14   error (1) .33 30 error (1) 1.5   18   error (1) .019 3.9 unknown 100   4000 error .033 5.3
termination-libowfat/stpcpy_true-termination.c.i error(signal 6) .21  27 error (1) 23   800 error .0086 1.7 error .40 41 error .42 41 error .36 45 error .33 41 error (1) .0031 .88 unknown .14  14   error (1) .27 30 error (1) 1.4   19   error (1) .022 3.9 true 26   510 error .049 5.4
termination-libowfat/strcasecmp_true-termination.c.i error(signal 6) .24  27 error (1) 9.0 530 error .0081 1.4 error .39 40 error .33 41 error .41 44 error .41 39 error (1) .0038 .99 unknown .18  14   error (1) .31 29 error (1) 1.4   18   error (1) .026 3.9 true 24   500 error .049 5.3
termination-libowfat/strcat_short_true-termination.c.i error(signal 6) .22  27 error (1) 12   640 error .013  1.7 error .42 43 error .37 40 error .41 43 error .41 39 error (1) .0054 1.1  unknown .20  14   error (1) .28 30 error (1) 1.4   18   error (1) .019 3.9 true 28   620 error .024 5.2
termination-libowfat/strcat_true-termination.c.i error(signal 6) .22  27 error (1) 12   670 error .0073 1.5 error .33 41 error .40 44 error .41 42 error .38 41 error (1) .0040 1.0  unknown .15  14   error (1) .36 30 error (1) 1.4   19   error (1) .034 4.0 timeout 910   7600 error .047 5.3
termination-libowfat/strchr_short_true-termination.c.i error(signal 6) .24  27 true 21   1300 error .011  1.7 error .36 43 error .40 42 error .40 41 error .34 40 error (1) .0029 1.0  unknown .15  14   error (1) .33 29 error (1) 1.5   18   error (1) .023 3.9 true 14   350 error .031 5.3
termination-libowfat/strchr_true-termination.c.i error(signal 6) .21  27 true 59   5300 error .018  1.7 error .42 44 error .40 43 error .41 39 error .45 39 error (1) .0030 .88 unknown .15  14   error (1) .35 30 error (1) 1.4   18   error (1) .012 3.9 true 15   470 error .032 5.5
termination-libowfat/strcmp_short_true-termination.c.i error(signal 6) .26  27 true 30   1400 error .016  1.7 error .33 44 error .37 40 error .40 43 error .36 38 error (1) .0059 1.1  unknown .17  14   error (1) .22 30 error (1) 1.4   19   error (1) .033 3.9 true 23   450 error .035 5.3
termination-libowfat/strcpy_small_true-termination.c.i error(signal 6) .17  27 error (1) 22   780 error .0092 1.7 error .34 44 error .40 42 error .41 41 error .37 40 error (1) .0049 .87 unknown .15  14   error (1) .34 30 error (1) 1.5   18   error (1) .019 3.9 true 26   550 error .026 5.3
termination-libowfat/strcspn_true-termination.c.i error(signal 6) .17  27 true 300   6000 error .011  1.6 error .39 38 error .39 42 error .44 40 error .39 39 error (1) .0055 .83 unknown .15  14   error (1) .29 30 error (1) 1.4   18   error (1) .016 3.9 true 550   4900 error .052 5.2
termination-libowfat/strdup_true-termination.c.i error(signal 6) .21  27 true 51&