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   5200 error .0088 1.4 error .33 39 error .34 43 error .41 42 error .40 41 error (1) .0040 1.2  unknown .14  14   error (1) .31 29 error (1) 1.4   18   error (1) .034 3.8 timeout 900   3600 error .039 5.5
termination-libowfat/strlcat_true-termination.c.i error(signal 6) .17  27 error (1) 15   750 error .011  1.8 error .35 43 error .36 44 error .42 38 error .40 42 error (1) .0056 1.0  unknown .23  14   error (1) .31 30 error (1) 1.5   19   error (1) .019 3.9 error 7.9 310 error .053 5.3
termination-libowfat/strlcpy_true-termination.c.i error(signal 6) .22  27 error (1) 98   5300 error .015  1.7 error .40 42 error .35 44 error .46 41 error .40 43 error (1) .0053 1.0  unknown .15  14   error (1) .31 30 error (1) 1.2   18   error (1) .015 3.9 error 7.4 320 error .030 5.3
termination-libowfat/strlen_true-termination.c.i error(signal 6) .25  27 true 33   4500 error .0079 1.8 error .40 43 error .42 42 error .42 43 error .33 41 error (1) .0044 1.0  unknown .22  14   error (1) .22 29 error (1) 1.4   18   error (1) .037 3.9 true 12   340 error .038 5.3
termination-libowfat/strpbrk_true-termination.c.i error(signal 6) .21  27 true 160   5500 error .0098 1.6 error .34 41 error .40 42 error .43 40 error .34 44 error (1) .0034 .72 unknown .18  14   error (1) .31 29 error (1) 1.3   18   error (1) .015 3.9 unknown 90   3800 error .047 5.5
termination-libowfat/strrchr_short_true-termination.c.i error(signal 6) .23  27 true 46   4700 error .0089 1.6 error .33 40 error .37 43 error .42 44 error .39 42 error (1) .0038 .85 unknown .21  14   error (1) .34 30 error (1) 1.4   19   error (1) .033 3.9 true 16   340 error .024 5.3
termination-libowfat/strrchr_true-termination.c.i error(signal 6) .17  27 timeout 900   5700 error .0096 1.8 error .42 42 error .39 43 error .42 44 error .40 42 error (1) .0029 1.1  unknown .21  14   error (1) .35 30 error (1) 1.3   18   error (1) .020 3.8 true 17   400 error .030 5.5
termination-libowfat/strspn_true-termination.c.i error(signal 6) .22  27 true 190   5400 error .011  1.5 error .39 42 error .41 41 error .39 39 error .42 41 error (1) .0049 1.1  unknown .19  14   error (1) .31 30 error (1) 1.4   18   error (1) .019 3.9 timeout 900   5500 error .030 5.4
termination-libowfat/strstr_true-termination.c.i error(signal 6) .27  27 unknown 94   5200 error .011  1.4 error .45 41 error .40 44 error .36 44 error .32 42 error (1) .0068 1.0  unknown .14  14   error (1) .26 30 error (1) 1.4   19   error (1) .030 3.9 error 84   630 error .029 5.3
termination-libowfat/strtok_r_true-termination.c.i error(signal 6) .21  27 timeout 900   11000 error .010  1.6 error .43 42 error .40 44 error .38 43 error .40 42 error (1) .0036 1.0  unknown .16  14   error (1) .32 30 error (1) 1.5   19   error (1) .024 4.1 timeout 900   5500 error .027 5.5
termination-libowfat/strtol_true-termination.c.i error(signal 6) .22  27 error (1) 30   2400 error .0087 1.6 error .40 43 error .35 41 error .40 42 error .44 38 error (1) .0068 1.0  unknown .15  15   error (1) .38 31 error (1) 1.5   19   error (1) .031 3.9 true 64   990 error .051 5.5
termination-libowfat/strtoul_true-termination.c.i error(signal 6) .26  27 error (1) 27   1300 error .0083 1.9 error .33 41 error .41 40 error .39 42 error .38 38 error (1) .0035 1.2  unknown .19  15   error (1) .40 31 error (1) 1.4   19   error (1) .026 4.0 true 52   750 error .055 5.2
termination-libowfat/strtoull_true-termination.c.i error(signal 6) .24  27 error (1) 28   1300 error .012  1.6 error .39 41 error .34 41 error .42 42 error .38 41 error (1) .0067 1.1  unknown .23  15   error (1) .34 31 error (1) 1.5   19   error (1) .018 4.1 true 57   870 error .050 5.5
termination-libowfat/wcsrchr_true-termination.c.i error(signal 6) .23  27 error (1) 5.3 250 error .016  1.7 error .35 42 error .34 41 error .41 44 error .41 45 error (1) .0053 1.1  unknown .14  14   error (1) .28 29 error (1) 1.3   18   error (1) .033 3.9 true 13   340 error .051 5.3
termination-libowfat/wcsstr_true-termination.c.i error(signal 6) .21  27 timeout 910   9100 error .012  1.6 error .41 45 error .41 44 error .42 42 error .40 38 error (1) .0035 .99 unknown .14  14   error (1) .32 30 error (1) 1.5   19   error (1) .023 3.9 true 10   330 error .029 5.3
termination-memory-alloca/PodelskiRybalchenko-2004VMCAI-Ex2-alloca_false-termination.c.i error(signal 6) .21  27 false(termination) 7.1 370 error .015  1.6 error .37 41 error .37 45 error .41 43 error .39 41 error (1) .0034 1.2  unknown .30  15   false(termination) .49 32 error (1) 1.4   18   error (1) .015 3.9 unknown 36   900 error .041 5.2
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i error(signal 6) .26  27 false(termination) 6.8 380 error .014  1.6 error .36 42 error .38 40 error .39 43 error .39 46 error (1) .0030 1.0  unknown .25  15   false(termination) 1.1  34 error (1) 1.3   18   error (1) .035 3.9 unknown 26   500 error .054 5.2
termination-memory-alloca/Velroyen-alloca_false-termination.c.i error(signal 6) .25  27 false(termination) 11   750 error .014  1.5 error .40 41 error .34 42 error .41 43 error .41 42 error (1) .0062 1.0  unknown .23  15   false(termination) 2.8  40 error (1) 1.5   18   error (1) .023 4.0 unknown 30   550 error .031 5.4
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i error(signal 6) .24  27 true 110   5300 error .010  1.7 error .39 44 error .41 41 error .42 43 error .40 43 error (1) .0076 1.0  unknown .24  15   true 2.1  35 error (1) 1.4   18   error (1) .034 3.9 true 25   560 error .047 5.3
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i error(signal 6) .23  27 true 34   1900 error .012  1.7 error .37 42 error .35 41 error .41 41 error .41 39 error (1) .0035 1.2  unknown .26  15   true 3.2  37 error (1) 1.5   18   error (1) .035 3.9 true 34   750 error .028 5.6
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i error(signal 6) .26  27 true 48   4800 error .0099 1.6 error .39 40 error .40 43 error .41 40 error .36 42 error (1) .0041 1.1  unknown .22  15   true 2.4  36 error (1) 1.1   18   error (1) .018 3.9 timeout 900   810 error .044 5.4
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i error(signal 6) .26  27 true 21   1200 error .012  1.7 error .39 40 error .39 39 error .44 43 error .38 42 error (1) .0041 1.0  unknown .30  15   true 1.9  38 error (1) 1.4   18   error (1) .016 3.9 true 12   380 error .052 5.4
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i error(signal 6) .21  27 true 21   800 error .010  1.7 error .33 39 error .42 42 error .40 38 error .42 42 error (1) .0057 1.0  unknown .27  15   true 5.5  41 error (1) 1.4   18   error (1) .021 3.9 true 20   530 error .032 5.3
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i error(signal 6) .23  26 true 24   2500 error .0098 1.5 error .33 40 error .34 41 error .34 41 error .40 41 error (1) .0030 1.0  unknown .31  15   true 270    310 error (1) 1.5   18   error (1) .031 3.9 true 41   700 error .027 5.5
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i error(signal 6) .17  27 true 34   4200 error .014  1.7 error .39 42 error .40 41 error .41 44 error .38 38 error (1) .0033 1.1  unknown .23  15   true 8.0  42 error (1) 1.4   18   error (1) .037 4.1 true 40   1100 error .047 5.2
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i error(signal 6) .23  27 true 110   5600 error .0084 1.6 error .45 43 error .40 41 error .36 41 error .41 44 error (1) .0041 .99 unknown .22  15   timeout 900    82 error (1) 1.5   18   error (1) .020 3.9 true 84   2100 error .049 5.2
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i error(signal 6) .28  27 true 37   2100 error .014  1.6 error .40 41 error .39 42 error .42 38 error .36 41 error (1) .0055 .99 unknown .28  15   error (1) .34 30 error (1) 1.4   18   error (1) .014 3.9 timeout 900   3200 error .043 5.5
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i error(signal 6) .26  27 true 16   1300 error .015  1.6 error .39 44 error .33 40 error .37 44 error .33 43 error (1) .0070 .86 unknown .20  15   true 4.0  38 error (1) 1.4   19   error (1) .021 3.9 true 120   1200 error .051 5.3
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i error(signal 6) .25  27 true 22   2500 error .017  1.4 error .40 39 error .33 41 error .40 43 error .35 45 error (1) .0050 1.1  unknown .26  15   error (1) .30 29 error (1) 1.5   18   error (1) .033 3.9 true 11   330 error .026 5.3
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i error(signal 6) .21  27 timeout 900   4400 error .0073 1.4 error .38 41 error .40 41 error .41 40 error .40 43 error (1) .0057 .85 unknown .29  15   true 1.4  36 error (1) 1.3   18   error (1) .016 3.9 true 31   730 error .043 5.5
termination-memory-alloca/Masse-alloca_true-termination.c.i error(signal 6) .21  27 timeout 900   12000 error .011  1.6 error .45 44 error .40 44 error .40 41 error .38 44 error (1) .0045 1.0  unknown .22  15   true 190    230 error (1) 1.3   18   error (1) .023 3.9 unknown 26   580 error .021 5.4
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i error(signal 6) .24  27 true 230   5500 error .0082 1.5 error .44 39 error .33 42 error .41 43 error .34 39 error (1) .0044 .76 unknown .23  15   true 4.6  38 error (1) 1.4   18   error (1) .024 4.0 true 71   1300 error .055 5.4
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i error(signal 6) .21  27 true 100   5300 error .013  1.6 error .39 41 error .43 42 error .40 42 error .39 41 error (1) .0040 1.1  unknown .27  15   timeout 900    450 error (1) 1.3   18   error (1) .027 3.8 true 56   760 error .021 5.2
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i error(signal 6) .25  27 timeout 900   8500 error .013  1.3 error .42 44 error .39 42 error .33 43 error .44 39 error (1) .0058 1.2  unknown .22  15   true 1.1  34 error (1) 1.3   18   error (1) .021 3.9 timeout 900   13000 error .043 5.3
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i error(signal 6) .26  27 true 17   890 error .013  1.6 error .35 44 error .45 39 error .42 44 error .40 44 error (1) .0035 1.0  unknown .27  15   timeout 900    150 error (1) 1.4   18   error (1) .028 3.7 true 18   490 error .047 5.2
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i error(signal 6) .26  27 true 27   2400 error .016  1.7 error .38 44 error .34 38 error .42 41 error .40 44 error (1) .0054 1.0  unknown .24  16   timeout 900    260 error (1) 1.4   18   error (1) .023 3.9 true 110   1600 error .055 5.3
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i error(signal 6) .23  27 true 20   2600 error .012  1.3 error .35 43 error .39 39 error .35 43 error .39 42 error (1) .0047 1.1  unknown .22  15   true 10    60 error (1) 1.5   18   error (1) .020 3.9 true 700   5200 error .025 5.3
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i error(signal 6) .21  27 true 20   2100 error .017  1.7 error .33 39 error .39 42 error .34 41 error .35 45 error (1) .0050 .97 unknown .29  15   timeout 900    350 error (1) 1.3   18   error (1) .022 4.1 timeout 900   870 error .051 5.5
termination-memory-alloca/Urban-alloca_true-termination.c.i error(signal 6) .17  27 true 110   5400 error .0071 1.5 error .34 39 error .34 43 error .42 43 error .38 39 error (1) .0039 1.1  unknown .31  15   timeout 900    270 error (1) 1.4   18   error (1) .031 3.9 true 35   890 error .046 5.2
termination-memory-alloca/a.01-alloca_true-termination.c.i error(signal 6) .21  27 true 89   5400 error .012  1.6 error .33 39 error .40 44 error .41 40 error .36 41 error (1) .0033 .88 unknown .23  15   true 3.1  37 error (1) 1.3   18   error (1) .019 3.9 error 520   11000 error .033 5.4
termination-memory-alloca/a.04-alloca_true-termination.c.i error(signal 6) .23  27 true 33   4500 error .011  1.9 error .41 44 error .41 40 error .44 45 error .39 41 error (1) .0052 1.0  unknown .27  15   true 1.1  33 error (1) 1.4   18   error (1) .024 3.9 true 15   370 error .029 5.4
termination-memory-alloca/a.05-alloca_true-termination.c.i error(signal 6) .21  27 true 44   4600 error .0086 1.4 error .31 45 error .33 40 error .41 43 error .43 41 error (1) .0035 .88 unknown .22  15   true 1.1  33 error (1) 1.4   18   error (1) .015 3.8 true 15   500 error .045 5.2
termination-memory-alloca/a.06-alloca_true-termination.c.i error(signal 6) .23  27 true 69   4500 error .013  1.7 error .43 41 error .41 44 error .44 40 error .39 43 error (1) .0048 .88 unknown .24  15   true 2.2  35 error (1) 1.2   18   error (1) .021 3.9 true 15   390 error .040 5.3
termination-memory-alloca/a.07-alloca_true-termination.c.i error(signal 6) .26  27 true 100   5200 error .017  1.6 error .33 41 error .34 41 error .46 44 error .36 41 error (1) .0040 .87 unknown .22  15   true .97 33 error (1) 1.2   18   error (1) .032 3.9 true 18   410 error .043 5.3
termination-memory-alloca/a.08-alloca_true-termination.c.i error(signal 6) .22  27 true 45   5200 error .010  1.7 error .40 40 error .39 39 error .45 44 error .36 42 error (1) .0030 .88 unknown .30  15   true .94 33 error (1) 1.5   18   error (1) .035 3.8 true 13   340 error .032 5.3
termination-memory-alloca/a.09_assume-alloca_true-termination.c.i error(signal 6) .21  27 true 17   960 error .0067 1.3 error .36 42 error .34 41 error .41 41 error .41 41 error (1) .0042 1.2  unknown .25  15   true 1.2  33 error (1) 1.4   18   error (1) .035 3.9 true 14   470 error .030 5.3
termination-memory-alloca/a.10-alloca_true-termination.c.i error(signal 6) .17  27 true 58   5200 error .014  1.6 error .32 41 error .34 39 error .34 40 error .39 45 error (1) .0033 .88 unknown .22  15   true 13    50 error (1) 1.3   18   error (1) .015 4.0 true 23   620 error .035 5.3
termination-memory-alloca/add_last-alloca_true-termination.c.i error(signal 6) .24  27 error (1) 4.9 230 error .015  1.7 error .36 43 error .42 41 error .37 42 error .41 44 error (1) .0051 .86 unknown .26  15   error (1) .23 29 error (1) 1.4   18   error (1) .033 3.9 true 43   890 error .031 5.4
termination-memory-alloca/array01-alloca_true-termination.c.i error(signal 6) .21  27 true 61   5400 error .019  1.7 error .34 41 error .40 43 error .40 38 error .35 41 error (1) .0045 1.0  unknown .31  15   error (1) .26 30 error (1) 1.5   18   error (1) .015 3.9 true 17   410 error .024 5.2
termination-memory-alloca/array02-alloca_true-termination.c.i error(signal 6) .22  27 true 200   5800 error .013  1.6 error .34 44 error .34 44 error .38 43 error .38 40 error (1) .0061 1.0  unknown .25  15   error (1) .37 30 error (1) 1.5   18   error (1) .020 3.8 true 18   370 error .031 5.5
termination-memory-alloca/array03-alloca_true-termination.c.i error(signal 6) .22  27 true 350   5700 error .0091 1.6 error .36 42 error .41 42 error .39 40 error .35 45 error (1) .0034 1.0  unknown .28  15   error (1) .29 30 error (1) 1.4   19   error (1) .036 3.9 true 17   410 error .042 5.5
termination-memory-alloca/aviad_true-alloca_true-termination.c.i error(signal 6) .25  27 true 70   5400 error .013  1.4 error .34 43 error .36 43 error .40 44 error .38 44 error (1) .0030 .88 unknown .31  15   true .70 33 error (1) 1.4   18   error (1) .034 4.0 true 30   360 error .030 5.3
termination-memory-alloca/b.01-alloca_true-termination.c.i error(signal 6) .22  27 true 37   4500 error .014  1.5 error .41 43 error .42 44 error .40 37 error .35 46 error (1) .0046 1.1  unknown .26  15   true .99 33 error (1) 1.4   18   error (1) .019 3.9 true 14   350 error .053 5.5
termination-memory-alloca/b.02-alloca_true-termination.c.i error(signal 6) .25  27 true 59   5200 error .018  1.7 error .40 44 error .38 40 error .40 38 error .40 40 error (1) .0035 1.2  unknown .31  15   true 1.5  34 error (1) 1.4   18   error (1) .033 3.8 true 14   350 error .023 5.3
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination.c.i error(signal 6) .21  27 true 13   700 error .0072 1.4 error .41 43 error .39 43 error .33 41 error .40 44 error (1) .0056 .88 unknown .30  15   timeout 900    560 error (1) 1.3   19   error (1) .034 3.9 true 12   330 error .036 5.2
termination-memory-alloca/b.03_assume-alloca_true-termination.c.i error(signal 6) .16  26 true 14   740 error .0092 1.8 error .36 42 error .36 41 error .36 41 error .39 39 error (1) .0042 1.0  unknown .23  15   true .91 33 error (1) 1.1   18   error (1) .013 3.9 true 13   480 error .045 5.2
termination-memory-alloca/b.04-alloca_true-termination.c.i error(signal 6) .22  27 true 9.5 590 error .013  1.7 error .40 44 error .43 41 error .41 41 error .39 41 error (1) .0048 .86 unknown .26  15   true .62 32 error (1) 1.5   18   error (1) .023 4.0 true 13   460 error .032 5.3
termination-memory-alloca/b.05-alloca_true-termination.c.i error(signal 6) .26  27 true 15   800 error .015  1.7 error .37 36 error .34 44 error .37 45 error .32 38 error (1) .0036 .85 unknown .28  15   true .67 33 error (1) 1.4   18   error (1) .031 3.9 true 13   460 error .048 5.5
termination-memory-alloca/b.06-alloca_true-termination.c.i error(signal 6) .26  27 true 55   5200 error .011  1.4 error .30 44 error .36 44 error .33 41 error .34 42 error (1) .0040 1.0  unknown .22  15   true .70 33 error (1) 1.4   18   error (1) .022 3.8 true 15   360 error .036 5.2
termination-memory-alloca/b.07-alloca_true-termination.c.i error(signal 6) .17  27 true 110   5300 error .014  1.4 error .40 40 error .42 43 error .41 40 error .36 43 error (1) .0031 1.0  unknown .26  15   true .88 33 error (1) 1.4   18   error (1) .023 3.9 true 16   430 error .026 5.3
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination.c.i error(signal 6) .22  27 true 55   5300 error .010  1.9 error .40 44 error .39 40 error .40 41 error .34 44 error (1) .0054 1.1  unknown .29  15   true .86 33 error (1) 1.5   18   error (1) .035 3.9 true 24   660 error .053 5.2
termination-memory-alloca/b.09_assume-alloca_true-termination.c.i error(signal 6) .26  27 true 52   5200 error .015  1.7 error .37 42 error .39 42 error .38 44 error .34 41 error (1) .0035 1.0  unknown .18  15   true 1.2  35 error (1) 1.5   18   error (1) .024 4.0 true 20   500 error .050 5.5
termination-memory-alloca/b.10-alloca_true-termination.c.i error(signal 6) .21  27 true 74   5300 error .0084 1.5 error .42 44 error .46 43 error .34 38 error .40 41 error (1) .0039 1.0  unknown .28  15   true .74 33 error (1) 1.5   19   error (1) .017 3.9 true 18   420 error .030 5.2
termination-memory-alloca/b.11-alloca_true-termination.c.i error(signal 6) .22  27 true 140   5300 error .010  1.5 error .42 41 error .35 43 error .41 44 error .38 44 error (1) .0033 .75 unknown .25  15   true .98 34 error (1) 1.5   18   error (1) .028 3.8 true 33   740 error .029 5.2
termination-memory-alloca/b.12-alloca_true-termination.c.i error(signal 6) .21  27 true 60   5200 error .014  1.6 error .41 45 error .36 45 error .40 42 error .38 41 error (1) .0052 1.1  unknown .21  15   true 1.9  35 error (1) 1.4   18   error (1) .030 3.9 true 23   620 error .033 5.3
termination-memory-alloca/b.13-alloca_true-termination.c.i error(signal 6) .22  27 true 110   5300 error .015  1.7 error .33 41 error .33 41 error .40 40 error .35 43 error (1) .0053 .96 unknown .22  15   true 17    49 error (1) 1.3   18   error (1) .036 3.9 true 120   1200 error .021 5.2
termination-memory-alloca/b.14-alloca_true-termination.c.i error(signal 6) .17  27 true 40   3000 error .012  1.5 error .39 39 error .35 39 error .41 43 error .34 44 error (1) .0035 .85 unknown .21  15   true 2.2  37 error (1) 1.4   19   error (1) .021 3.9 true 53   750 error .031 5.2
termination-memory-alloca/b.15-alloca_true-termination.c.i error(signal 6) .22  27 true 51   5200 error .0081 1.5 error .40 44 error .43 41 error .39 43 error .40 40 error (1) .0044 1.0  unknown .22  15   true 2.8  37 error (1) 1.3   18   error (1) .012 4.1 true 24   680 error .046 5.3
termination-memory-alloca/b.16-alloca_true-termination.c.i error(signal 6) .23  27 true 59   5300 error .013  1.6 error .34 43 error .44 39 error .37 44 error .40 39 error (1) .0043 1.0  unknown .31  15   true 1.8  35 error (1) 1.4   18   error (1) .013 3.9 true 22   470 error .051 5.2
termination-memory-alloca/b.17-alloca_true-termination.c.i error(signal 6) .22  27 true 88   5200 error .015  1.4 error .45 42 error .32 43 error .40 41 error .34 45 error (1) .0034 .83 unknown .22  15   true 2.9  37 error (1) 1.4   18   error (1) .018 3.9 true 34   820 error .022 5.5
termination-memory-alloca/b.18-alloca_true-termination.c.i error(signal 6) .21  26 true 14   1300 error .017  1.6 error .39 41 error .41 44 error .34 42 error .38 40 error (1) .0037 .98 unknown .29  15   true 4.1  39 error (1) 1.5   19   error (1) .028 3.8 true 24   640 error .043 5.2
termination-memory-alloca/bubblesort-alloca_true-termination.c.i error(signal 6) .21  27 true 260   5700 error .010  1.6 error .41 41 error .33 41 error .44 42 error .42 47 error (1) .0034 .83 unknown .26  15   error (1) .30 30 error (1) 1.5   18   error (1) .027 4.0 timeout 910   8700 error .046 5.3
termination-memory-alloca/c.01-no-inv-alloca_true-termination.c.i error(signal 6) .22  27 true 80   5500 error .010  1.6 error .38 38 error .42 44 error .42 44 error .39 39 error (1) .0054 .84 unknown .27  15   true 1.9  35 error (1) 1.4   18   error (1) .035 4.0 timeout 900   6900 error .028 5.3
termination-memory-alloca/c.01_assume-alloca_true-termination.c.i error(signal 6) .21  27 true 50   4300 error .0095 1.8 error .35 43 error .37 43 error .44 43 error .32 44 error (1) .0064 .87 unknown .24  15   true 2.5  36 error (1) 1.1   18   error (1) .016 3.9 true 29   630 error .052 5.2
termination-memory-alloca/c.02-alloca_true-termination.c.i error(signal 6) .21  27 true 55   5300 error .014  1.8 error .40 43 error .41 44 error .45 39 error .41 43 error (1) .0037 1.0  unknown .22  15   true 2.3  35 error (1) 1.4   18   error (1) .023 3.9 error 200   7000 error .054 5.5
termination-memory-alloca/c.03-alloca_true-termination.c.i error(signal 6) .21  27 true 110   5300 error .0079 1.4 error .40 41 error .36 40 error .36 43 error .40 41 error (1) .0048 1.1  unknown .22  15   true 7.6  42 error (1) 1.5   18   error (1) .031 3.8 error 120   2100 error .034 5.5
termination-memory-alloca/c.07-alloca_true-termination.c.i error(signal 6) .22  27 true 100   5200 error .0073 1.6 error .39 39 error .40 41 error .41 42 error .39 39 error (1) .0043 .97 unknown .27  15   true 130    130 error (1) 1.5   19   error (1) .017 3.9 true 19   530 error .040 5.3
termination-memory-alloca/c.08-alloca_true-termination.c.i error(signal 6) .22  27 true 130   5200 error .018  1.3 error .33 42 error .39 41 error .39 39 error .40 42 error (1) .0074 1.0  unknown .29  15   true 2.2  35 error (1) 1.5   18   error (1) .012 3.9 error 630   12000 error .038 5.5
termination-memory-alloca/count_down-alloca_true-termination.c.i error(signal 6) .26  27 true 170   5600 error .0083 1.8 error .34 41 error .37 42 error .42 43 error .39 42 error (1) .0036 .84 unknown .27  15   error (1) .31 30 error (1) 1.5   18   error (1) .013 3.9 true 33   590 error .046 5.2
termination-memory-alloca/cstrcat-alloca_true-termination.c.i error(signal 6) .22  27 error (1) 97   5400 error .0093 1.7 error .36 44 error .33 42 error .35 42 error .33 41 error (1) .0065 1.0  unknown .22  15   error (1) .34 30 error (1) 1.3   19   error (1) .033 4.1 true 14   360 error .052 5.3
termination-memory-alloca/cstrchr-alloca_true-termination.c.i error(signal 6) .21  27 true 24   1300 error .011  1.8 error .40 39 error .35 44 error .41 43 error .43 44 error (1) .0030 .86 unknown .26  15   error (1) .30 30 error (1) 1.5   18   error (1) .023 3.9 true 14   350 error .051 5.2
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i error(signal 6) .22  27 true 54   5300 error .011  1.6 error .41 41 error .36 41 error .42 41 error .32 43 error (1) .0048 .88 unknown .22  15   error (1) .31 30 error (1) 1.5   18   error (1) .031 3.9 true 24   550 error .053 5.2
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i error(signal 6) .17  27 true 32   4200 error .014  1.7 error .37 39 error .41 41 error .40 40 error .41 42 error (1) .0048 1.0  unknown .22  15   error (1) .29 29 error (1) 1.5   18   error (1) .020 3.9 true 27   610 error .032 5.4
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i error(signal 6) .21  27 true 220   5500 error .016  1.7 error .42 42 error .42 40 error .42 41 error .36 43 error (1) .0052 1.0  unknown .22  15   error (1) .41 30 error (1) 1.4   18   error (1) .021 3.9 timeout 900   5400 error .056 5.2
termination-memory-alloca/cstrlen-alloca_true-termination.c.i error(signal 6) .26  27 true 18   800 error .0077 1.5 error .39 39 error .40 44 error .42 42 error .37 45 error (1) .0031 1.0  unknown .30  15   error (1) .34 29 error (1) 1.4   18   error (1) .034 4.0 true 12   330 error .033 5.3
termination-memory-alloca/cstrncat-alloca_true-termination.c.i error(signal 6) .22  27 error (1) 190   5400 error .0079 1.4 error .38 42 error .34 42 error .36 43 error .45 41 error (1) .0065 .98 unknown .32  15   error (1) .34 30 error (1) 1.5   18   error (1) .033 3.9 true 20   630 error .043 5.3
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i error(signal 6) .24  27 true 95   5300 error .017  1.7 error .39 43 error .43 41 error .40 42 error .41 44 error (1) .0034 .84 unknown .23  15   error (1) .25 30 error (1) 1.5   19   error (1) .015 3.8 true 16   470 error .025 5.2
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i error(signal 6) .22  27 true 87   5300 error .012  1.8 error .41 42 error .41 44 error .40 44 error .45 44 error (1) .0054 1.0  unknown .27  15   error (1) .30 30 error (1) 1.4   19   error (1) .032 3.9 true 39   850 error .038 5.3
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i error(signal 6) .26  27 true 110   5400 error .016  1.6 error .43 41 error .35 44 error .40 43 error .41 41 error (1) .0054 1.0  unknown .32  15   error (1) .34 29 error (1) 1.5   19   error (1) .034 3.9 timeout 900   5100 error .032 5.5
termination-memory-alloca/cstrspn-alloca_true-termination.c.i error(signal 6) .23  27 true 140   5500 error .0082 1.5 error .38 44 error .41 43 error .41 40 error .40 39 error (1) .0034 1.1  unknown .22  15   error (1) .48 30 error (1) 1.4   19   error (1) .014 4.1 timeout 900   4700 error .042 5.2
termination-memory-alloca/diff-alloca_true-termination.c.i error(signal 6) .22  27 timeout 900   11000 error .013  1.6 error .37 41 error .43 44 error .43 43 error .43 42 error (1) .0057 1.0  unknown .22  15   error (1) .31 29 error (1) 1.5   19   error (1) .028 3.9 true 51   1000 error .053 5.5
termination-memory-alloca/easySum-alloca_true-termination.c.i error(signal 6) .26  27 true 55   5200 error .0080 1.7 error .42 44 error .40 42 error .37 43 error .35 44 error (1) .0039 1.0  unknown .25  15   true .88 33 error (1) 1.5   18   error (1) .022 3.9 true 13   460 error .037 5.3
termination-memory-alloca/ex1-alloca_true-termination.c.i error(signal 6) .23  27 true 12   750 error .015  1.6 error .34 42 error .36 42 error .44 47 error .33 39 error (1) .0032 .99 unknown .23  15   true .63 33 error (1) 1.5   18   error (1) .027 4.1 true 14   340 error .045 5.2
termination-memory-alloca/ex2-alloca_true-termination.c.i error(signal 6) .17  27 true 96   5300 error .012  1.8 error .34 41 error .40 40 error .43 43 error .40 43 error (1) .0033 .86 unknown .23  15   timeout 900    310 error (1) 1.4   18   error (1) .016 3.9 unknown 76   1500 error .023 5.4
termination-memory-alloca/ex3a-alloca_true-termination.c.i error(signal 6) .21  27 true 18   1300 error .0084 1.6 error .35 43 error .40 44 error .43 40 error .39 41 error (1) .0050 1.0  unknown .22  15   timeout 900    400 error (1) 1.4   18   error (1) .016 3.9 unknown 40   680 error .049 5.2
termination-memory-alloca/ex3b-alloca_true-termination.c.i error(signal 6) .22  27 true 31   2000 error .013  1.7 error .41 42 error .34 44 error .37 44 error .38 42 error (1) .0050 1.1  unknown .29  15   timeout 900    360 error (1) 1.3   18   error (1) .021 3.9 unknown 47   770 error .035 5.3
termination-memory-alloca/fermat-alloca_true-termination.c.i error(signal 6) .26  27 true 430   5800 error .0098 1.5 error .42 42 error .48 41 error .36 43 error .43 40 error (1) .0065 1.1  unknown .31  15   timeout 900    250 error (1) 1.5   18   error (1) .020 3.9 error 130   510 error .053 5.5
termination-memory-alloca/flag-alloca_true-termination.c.i error(signal 6) .17  26 true 41   4600 error .011  1.7 error .35 41 error .44 45 error .41 41 error .41 41 error (1) .0060 .98 unknown .22  15   true 1.3  33 error (1) 1.5   18   error (1) .020 3.9 true 47   740 error .024 5.5
termination-memory-alloca/gcd1-alloca_true-termination.c.i error(signal 6) .21  27 true 130   5500 error .011  1.7 error .42 43 error .38 42 error .41 41 error .35 41 error (1) .0035 .88 unknown .28  15   true 2.1  36 error (1) 1.4   18   error (1) .022 3.9 error 16   400 error .026 5.2
termination-memory-alloca/genady-alloca_true-termination.c.i error(signal 6) .22  26 true 38   4500 error .017  1.5 error .39 45 error .44 42 error .45 42 error .40 41 error (1) .0044 1.0  unknown .25  15   timeout 900    300 error (1) 1.5   18   error (1) .019 4.0 true 12   340 error .053 5.5
termination-memory-alloca/insertionsort-alloca_true-termination.c.i error(signal 6) .21  27 timeout 900   5200 error .0071 1.4 error .42 41 error .39 40 error .40 43 error .39 42 error (1) .0039 1.2  unknown .22  15   error (1) .32 30 error (1) 1.4   18   error (1) .030 4.1 true 65   2500 error .046 5.2
termination-memory-alloca/java_AG313-alloca_true-termination.c.i error(signal 6) .24  27 true 35   2400 error .016  1.6 error .40 42 error .39 38 error .37 43 error .40 42 error (1) .0037 .82 unknown .30  15   true .80 33 error (1) 1.4   18   error (1) .029 3.9 true 15   470 error .057 5.2
termination-memory-alloca/java_Break-alloca_true-termination.c.i error(signal 6) .21  26 true 13   670 error .013  1.6 error .40 38 error .39 41 error .43 45 error .33 40 error (1) .0054 .97 unknown .22  15   true 1.5  36 error (1) 1.5   18   error (1) .021 3.9 true 12   410 error .056 5.6
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i error(signal 6) .23  27 timeout 910   11000 error .0095 1.8 error .42 43 error .40 41 error .39 40 error .34 43 error (1) .0031 1.1  unknown .26  15   error (1) .30 30 error (1) 1.3   19   error (1) .020 3.9 timeout 910   7900 error .034 5.5
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i error(signal 6) .21  27 true 16   1300 error .0082 1.4 error .38 39 error .39 41 error .44 43 error .38 39 error (1) .0036 1.1  unknown .25  15   true 3.2  45 error (1) 1.5   18   error (1) .030 4.1 true 510   5000 error .046 5.4
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i error(signal 6) .21  26 true 14   760 error .0066 1.5 error .38 39 error .35 44 error .41 43 error .33 41 error (1) .0044 .85 unknown .26  15   true .64 33 error (1) 1.4   18   error (1) .015 3.9 true 13   440 error .050 5.2
termination-memory-alloca/java_Nested-alloca_true-termination.c.i error(signal 6) .17  27 true 46   4700 error .0084 1.7 error .32 41 error .32 44 error .44 44 error .40 42 error (1) .0054 .88 unknown .22  15   timeout 900    410 error (1) 1.4   18   error (1) .022 3.9 error 33   7600 error .047 5.3
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i error(signal 6) .25  27 true 16   1300 error .012  1.4 error .39 40 error .41 43 error .46 44 error .40 47 error (1) .0034 1.2  unknown .22  15   true 340    320 error (1) 1.0   18   error (1) .017 3.9 error 820   1700 error .054 5.3
termination-memory-alloca/lis-alloca_true-termination.c.i error(signal 6) .22  27 error (1) 460   5400 error .017  1.5 error .40 44 error .37 40 error .36 41 error .43 43 error (1) .0046 .86 unknown .27  16   error (1) .35 31 error (1) 1.4   19   error (1) .018 3.9 timeout 910   7900 error .027 5.6
termination-memory-alloca/min_rf-alloca_true-termination.c.i error(signal 6) .22  27 true 250   5500 error .0094 1.5 error .43 41 error .38 43 error .40 41 error .38 42 error (1) .0070 1.0  unknown .27  15   true .83 33 error (1) 1.4   18   error (1) .034 3.9 error 630   9200 error .055 5.3
termination-memory-alloca/mult_array-alloca_true-termination.c.i error(signal 6) .21  27 true 120   5300 error .016  1.7 error .34 43 error .42 38 error .42 40 error .40 38 error (1) .0038 1.1  unknown .22  15   timeout 900    350 error (1) 1.4   18   error (1) .024 3.8 true 18   420 error .051 5.3
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i error(signal 6) .22  27 true 21   1300 error .017  1.7 error .41 44 error .36 43 error .42 42 error .40 39 error (1) .0033 .84 unknown .29  15   error (1) .30 29 error (1) 1.4   18   error (1) .017 3.9 true 14   390 error .023 5.5
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i error(signal 6) .18  27 true 52   4500 error .0081 1.5 error .39 41 error .39 41 error .44 43 error .41 41 error (1) .0030 1.0  unknown .31  15   error (1) .23 29 error (1) 1.5   19   error (1) .019 3.9 true 13   440 error .049 5.3
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i error(signal 6) .24  27 true 60   5200 error .018  1.5 error .39 43 error .33 41 error .35 42 error .45 41 error (1) .0033 1.0  unknown .23  15   error (1) .38 29 error (1) 1.5   18   error (1) .035 3.9 unknown 46   750 error .026 5.2
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i error(signal 6) .21  27 true 36   2400 error .015  1.7 error .40 43 error .32 39 error .34 40 error .32 38 error (1) .0051 .87 unknown .22  15   error (1) .30 29 error (1) 1.4   18   error (1) .034 3.8 true 13   350 error .030 5.5
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i error(signal 6) .25  27 true 28   2400 error .0075 1.7 error .34 41 error .35 44 error .39 39 error .41 43 error (1) .0034 1.0  unknown .32  15   error (1) .32 29 error (1) 1.4   19   error (1) .012 4.0 true 23   640 error .025 5.2
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i error(signal 6) .21  27 true 84   5300 error .012  1.6 error .33 42 error .41 43 error .42 43 error .33 41 error (1) .0037 1.0  unknown .18  15   error (1) .39 30 error (1) 1.5   18   error (1) .019 4.0 timeout 900   3400 error .037 5.3
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i error(signal 6) .22  27 error (1) 100   5300 error .0086 1.4 error .39 44 error .40 42 error .42 41 error .41 45 error (1) .0053 1.0  unknown .23  15   error (1) .23 30 error (1) 1.4   18   error (1) .020 3.9 true 26   490 error .024 5.5
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i error(signal 6) .22  27 true 36   2400 error .013  1.7 error .40 41 error .36 40 error .41 40 error .40 43 error (1) .0062 1.2  unknown .31  15   error (1) .34 30 error (1) 1.4   18   error (1) .032 3.9 true 22   520 error .039 5.5
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i error(signal 6) .21  27 true 28   2400 error .0091 1.8 error .41 43 error .47 44 error .42 41 error .34 41 error (1) .0032 .83 unknown .32  15   error (1) .35 30 error (1) 1.4   19   error (1) .017 4.0 true 35   1000 error .042 5.2
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i error(signal 6) .23  27 timeout 910   11000 error .010  1.6 error .37 44 error .36 43 error .41 43 error .43 42 error (1) .0030 .85 unknown .30  16   error (1) .33 30 error (1) 1.4   18   error (1) .012 3.9 true 65   1500 error .056 5.4
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i error(signal 6) .24  27 true 86   5300 error .0095 1.7 error .36 45 error .34 42 error .42 42 error .41 45 error (1) .0038 .91 unknown .27  15   error (1) .33 30 error (1) 1.5   19   error (1) .023 3.9 true 33   820 error .053 5.3
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i error(signal 6) .22  27 true 18   780 error .017  1.8 error .40 42 error .39 37 error .41 43 error .40 43 error (1) .0051 .99 unknown .23  15   error (1) .43 29 error (1) 1.4   18   error (1) .018 3.9 true 12   340 error .034 5.5
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i error(signal 6) .25  27 error (1) 140   5400 error .015  1.7 error .40 42 error .38 45 error .38 42 error .39 42 error (1) .0058 .96 unknown .23  15   error (1) .37 30 error (1) 1.5   18   error (1) .020 4.1 error 26   350 error .026 5.2
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i error(signal 6) .22  27 true 55   4500 error .0077 1.7 error .39 41 error .45 40 error .48 47 error .43 43 error (1) .0048 1.0  unknown .23  16   error (1) .30 30 error (1) 1.5   18   error (1) .035 3.9 true 25   490 error .056 5.3
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i error(signal 6) .24  27 true 69   5300 error .010  1.7 error .42 43 error .38 40 error .40 43 error .39 41 error (1) .0034 1.2  unknown .28  15   error (1) .30 30 error (1) 1.5   19   error (1) .013 3.8 true 34   660 error .031 5.3
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i error(signal 6) .21  27 true 32   2400 error .014  1.7 error .35 41 error .46 40 error .42 40 error .41 44 error (1) .0038 .84 unknown .31  15   error (1) .29 30 error (1) 1.5   18   error (1) .015 4.1 true 12   350 error .038 5.2
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i error(signal 6) .24  27 true 62   5300 error .014  1.8 error .41 42 error .35 42 error .39 41 error .42 44 error (1) .0039 .99 unknown .22  15   error (1) .34 29 error (1) 1.5   18   error (1) .022 3.9 true 32   640 error .024 5.3
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i error(signal 6) .24  27 timeout 910   11000 error .0087 1.4 error .38 44 error .40 45 error .37 37 error .39 40 error (1) .0073 .87 unknown .22  15   error (1) .38 29 error (1) 1.4   18   error (1) .017 4.0 timeout 900   5600 error .047 5.3
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i error(signal 6) .18  27 timeout 900   5200 error .0089 1.7 error .34 43 error .33 39 error .45 41 error .41 43 error (1) .0029 .85 unknown .32  16   error (1) .37 30 error (1) 1.5   19   error (1) .020 3.9 true 54   910 error .048 5.5
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i error (6) .22  27 true 9.8 530 error .0092 1.7 error .45 37 error .36 40 error .41 41 error .42 41 error (1) .0065 .89 unknown .27  15   error (1) .27 29 error (1) 1.5   18   error (1) .023 3.9 true 12   350 error .047 5.5
termination-memory-alloca/selectionsort-alloca_true-termination.c.i error(signal 6) .26  27 timeout 900   13000 error .0097 1.7 error .42 43 error .34 43 error .40 40 error .35 44 error (1) .0030 1.0  unknown .24  15   error (1) .29 30 error (1) 1.5   19   error (1) .014 3.9 true 56   1300 error .037 5.3
termination-memory-alloca/stroeder1-alloca_true-termination.c.i error(signal 6) .26  27 true 29   2300 error .015  1.6 error .40 41 error .40 42 error .35 44 error .36 44 error (1) .0063 1.0  unknown .17  15   error (1) .38 29 error (1) 1.4   18   error (1) .036 3.9 true 13   380 error .031 5.5
termination-memory-alloca/stroeder2-alloca_true-termination.c.i error(signal 6) .16  26 true 65   5400 error .0086 1.4 error .42 41 error .33 42 error .41 43 error .39 41 error (1) .0032 .97 unknown .27  15   error (1) .29 30 error (1) 1.5   18   error (1) .028 4.0 true 19   500 error .029 5.3
termination-memory-alloca/strreplace-alloca_true-termination.c.i error(signal 6) .25  27 true 74   5500 error .0091 1.7 error .34 40 error .41 44 error .34 42 error .41 42 error (1) .0055 1.2  unknown .26  15   error (1) .32 29 error (1) 1.3   19   error (1) .034 3.9 true 18   460 error .054 5.2
termination-memory-alloca/subseq-alloca_true-termination.c.i error(signal 6) .24  27 true 89   5500 error .016  1.6 error .40 43 error .39 43 error .40 42 error .39 41 error (1) .0034 .94 unknown .22  15   error (1) .32 29 error (1) 1.4   19   error (1) .020 3.9 true 29   580 error .032 5.3
termination-memory-alloca/substring-alloca_true-termination.c.i error(signal 6) .24  27 true 100   5400 error .018  1.6 error .39 43 error .34 43 error .40 42 error .41 41 error (1) .0038 1.0  unknown .22  15   error (1) .29 30 error (1) 1.2   18   error (1) .019 3.9 timeout 900   8900 error .051 5.3
termination-memory-alloca/twisted-alloca_true-termination.c.i error(signal 6) .21  27 true 14   1300 error .0084 1.6 error .41 44 error .38 41 error .47 43 error .37 42 error (1) .0061 .70 unknown .25  16   true 6.8  45 error (1) 1.3   18   error (1) .031 4.0 true 43   650 error .023 5.2
termination-numeric/Ackermann01_true-termination.c error (6) .10  23 true 16   1100 error .015  1.7 error .39 41 error .34 42 error .40 41 error .46 41 error (1) .0038 .97 unknown .11  9.4 error (1) .29 29 error (1) 1.4   19   error (1) .014 3.8 timeout 900   8600 error .047 5.2
termination-numeric/Addition01_true-termination.c error (6) .14  23 true 8.7 440 error .014  1.7 error .40 44 error .35 42 error .42 43 error .30 41 error (1) .0041 1.0  unknown .10  9.3 error (1) .29 30 error (1) 1.4   18   error (1) .027 4.1 true 15   340 error .022 5.2
termination-numeric/Avg_true_true-termination.c error (6) .10  23 true 15   1100 error .012  1.6 error .40 43 error .42 44 error .42 41 error .41 39 error (1) .0037 .96 unknown .16  9.3 error (1) .32 29 error (1) 1.4   18   error (1) .014 3.9 true 20   490 error .022 5.3
termination-numeric/Binomial_true-termination.c error (6) .14  23 true 130   5800 error .011  1.6 error .40 41 error .34 39 error .40 43 error .34 45 error (1) .0068 .88 unknown .15  9.1 error (1) .29 29 error (1) 1.4   19   error (1) .032 3.9 timeout 900   1400 error .029 5.2
termination-numeric/Et1_true_true-termination.c error (6) .096 23 true 21   820 error .013  1.7 error .38 41 error .38 42 error .40 41 error .41 42 error (1) .0030 1.1  unknown .14  9.3 error (1) .28 29 error (1) 1.4   18   error (1) .016 3.9 true 22   340 error .032 5.2
termination-numeric/Et2_true_true-termination.c error (6) .12  23 true 28   1000 error .0078 1.5 error .41 39 error .40 41 error .41 43 error .33 41 error (1) .0035 .88 unknown .12  9.3 error (1) .28 29 error (1) 1.3   18   error (1) .033 4.0 true 13   360 error .027 5.3
termination-numeric/Et3_true_true-termination.c error (6) .097 23 true 20   1100 error .017  1.8 error .40 42 error .34 40 error .37 40 error .34 43 error (1) .0057 1.0  unknown .15  9.0 error (1) .34 29 error (1) 1.3   18   error (1) .019 4.1 true 12   340 error .045 5.5
termination-numeric/Et4_true_true-termination.c error (6) .099 23 true 35   1800 error .0084 1.6 error .33 38 error .39 39 error .40 43 error .41 42 error (1) .0071 .82 unknown .10  9.2 error (1) .28 29 error (1) 1.4   18   error (1) .018 3.8 true 71   500 error .025 5.2
termination-numeric/EvenOdd01_true-termination.c error (6) .11  23 true 9.6 500 error .0074 1.4 error .45 41 error .34 42 error .39 46 error .34 41 error (1) .0039 .82 unknown .10  9.4 error (1) .25 30 error (1) 1.3   18   error (1) .023 3.9 true 16   380 error .045 5.2
termination-numeric/Fibonacci01_true-termination.c error (6) .11  23 true 12   630 error .015  1.5 error .39 40 error .40 44 error .43 41 error .40 41 error (1) .0041 .98 unknown .15  9.1 error (1) .30 29 error (1) 1.3   18   error (1) .014 3.9 timeout 900   9500 error .033 5.2
termination-numeric/LeUserDefRec_true-termination.c error (6) .14  23 true 9.9 500 error .013  1.6 error .33 38 error .33 39 error .45 44 error .39 42 error (1) .0034 .87 unknown .11  9.2 error (1) .28 29 error (1) 1.4   18   error (1) .022 4.1 true 9.6 330 error .034 5.6
termination-numeric/LogRecursive_true-termination.c error (6) .10  23 timeout 900   5500 error .014  1.7 error .39 43 error .38 39 error .44 44 error .33 41 error (1) .0041 1.0  unknown .096 9.2 error (1) .29 29 error (1) 1.4   18   error (1) .023 4.0 unknown 21   390 error .047 5.5
termination-numeric/MultCommutative_true-termination.c error (6) .097 23 true 11   730 error .0099 1.8 error .39 42 error .41 43 error .44 43 error .38 41 error (1) .0034 .99 unknown .13  9.1 error (1) .24 29 error (1) 1.2   19   error (1) .027 3.8 true 17   450 error .030 5.3
termination-numeric/Parts_true-termination.c error (6) .10  23 true 79   5800 error .011  1.6 error .34 43 error .47 44 error .42 43 error .40 41 error (1) .0062 1.0  unknown .10  9.1 error (1) .33 30 error (1) 1.3   18   error (1) .021 3.9 timeout 900   9400 error .054 5.3
termination-numeric/TerminatorRec02_true-termination.c error (6) .11  23 true 9.1 450 error .0071 1.7 error .42 44 error .42 44 error .42 42 error .34 44 error (1) .0053 .82 unknown .098 9.2 error (1) .33 29 error (1) 1.1   18   error (1) .034 3.9 true 10   360 error .055 5.3
termination-numeric/TwoWay_true-termination.c error (6) .10  23 true 9.0 480 error .0081 1.3 error .37 42 error .40 44 error .41 39 error .41 39 error (1) .0029 .88 unknown .11  9.3 error (1) .25 29 error (1) 1.3   18   error (1) .021 3.9 true 20   360 error .029 5.3
termination-numeric/gcd01_true-termination.c error (6) .11  23 true 13   650 error .012  1.6 error .59 44 error .33 41 error .44 42 error .34 41 error (1) .0033 .89 unknown .11  9.1 error (1) .24 29 error (1) 1.4   18   error (1) .026 4.0 true 15   350 error .045 5.2
termination-numeric/java_LogBuiltIn_true-termination.c true .15  23 true 12   620 error .013  1.6 error .39 41 error .38 41 error .42 42 error .40 43 error (1) .0036 1.1  unknown .098 9.2 true .77 33 error (1) 1.3   18   error (1) .018 3.9 true 9.9 330 error .026 5.2
termination-numeric/recHanoi02_true-termination.c error (6) .11  23 true 8.3 450 error .0083 1.5 error .37 43 error .35 44 error .37 44 error .39 44 error (1) .0057 1.0  unknown .10  9.1 error (1) .36 29 error (1) 1.3   18   error (1) .018 3.9 true 11   330 error .051 5.5
termination-numeric/rec_counter1_true-termination.c error (6) .10  23 true 15   940 error .018  1.8 error .41 41 error .33 42 error .41 41 error .40 45 error (1) .0054 1.1  unknown .096 9.1 error (1) .31 30 error (1) 1.4   18   error (1) .036 3.9 true 12   340 error .043 5.5
termination-numeric/rec_counter3_true-termination.c error (6) .13  23 true 15   790 error .012  1.7 error .34 41 error .40 44 error .40 40 error .41 44 error (1) .0031 1.0  unknown .10  9.4 error (1) .35 29 error (1) 1.3   18   error (1) .022 3.8 true 21   350 error .053 5.6
termination-numeric/twisted_true-termination.c error(signal 11) 200     13000 true 96   5400 error .011  1.4 error .33 39 error .37 42 error .42 42 error .43 44 error (1) .0045 1.1  unknown .15  9.4 true 7.1  49 error (1) 1.2   18   error (1) .031 3.9 true 12   320 error .048 5.3
termination-restricted-15/DivMinus2_true-termination.c true .14  23 true 29   1400 error .0076 1.5 error .44 39 error .41 44 error .40 44 error .33 41 error (1) .0029 1.0  unknown .11  9.1 true 3.0  39 error (1) 1.4   18   error (1) .018 3.8 true 13   430 error .030 5.4
termination-restricted-15/DivMinus_true-termination.c true .10  23 true 4.1 220 error .014  1.6 error .35 41 error .39 44 error .38 41 error .41 44 error (1) .0048 1.0  unknown .092 9.3 true .85 33 error (1) 1.3   18   error (1) .033 3.8 true 9.7 340 error .023 5.5
termination-restricted-15/Et1_true-termination.c true .10  23 true 3.6 250 error .017  1.7 error .34 41 error .37 40 error .41 44 error .35 42 error (1) .0034 .97 unknown .13  9.1 timeout 900    94 error (1) 1.3   18   error (1) .018 4.0 true 22   340 error .055 5.2
termination-restricted-15/GCD3_true-termination.c true .15  23 true 31   2800 error .017  1.8 error .37 39 error .33 41 error .36 43 error .45 39 error (1) .0061 1.0  unknown .10  9.5 true 3.6  41 error (1) 1.4   18   error (1) .013 3.9 true 30   510 error .051 5.3
termination-restricted-15/GCD4_true-termination.c true .11  23 true 32   3100 error .0080 1.6 error .40 41 error .37 41 error .46 43 error .34 43 error (1) .0039 .99 unknown .15  9.4 true 1.8  35 error (1) 1.4   18   error (1) .020 3.9 true 26   460 error .053 5.3
termination-restricted-15/IntPath_true-termination.c true .10  23 true 5.7 370 error .0079 1.6 error .43 44 error .34 42 error .43 42 error .40 44 error (1) .0055 .96 unknown .11  9.0 true .54 32 error (1) 1.4   18   error (1) .014 3.9 true 9.0 320 error .051 5.2
termination-restricted-15/LogAG_true-termination.c true .12  23 true 3.9 220 error .0085 1.7 error .40 43 error .32 42 error .35 43 error .42 42 error (1) .0030 .86 unknown .094 9.3 true 1.9  34 error (1) 1.3   18   error (1) .032 3.9 true 11   370 error .041 5.3
termination-restricted-15/LogMult_true-termination.c true .10  23 true 29   2200 error .012  1.7 error .42 41 error .39 44 error .40 38 error .39 43 error (1) .0034 .72 unknown .16  9.3 timeout 900    470 error (1) 1.2   18   error (1) .021 4.1 unknown 33   1000 error .043 5.2
termination-restricted-15/Log_true-termination.c true .11  23 true 3.7 220 error .016  1.7 error .39 40 error .35 40 error .36 43 error .40 42 error (1) .0051 1.0  unknown .077 9.3 true 1.4  33 error (1) 1.4   18   error (1) .023 3.9 true 12   350 error .037 5.5
termination-restricted-15/McCarthyIterative_true-termination.c true .10  23 true 4.0 210 error .015  1.7 error .34 43 error .41 41 error .34 41 error .41 44 error (1) .0048 1.1  unknown .10  9.2 timeout 900    510 error (1) 1.3   18   error (1) .019 3.9 true 23   480 error .023 5.3
termination-restricted-15/MinusBuiltIn_true-termination.c true .12  23 true 3.9 210 error .016  1.7 error .34 41 error .34 39 error .35 43 error .40 40 error (1) .0051 .87 unknown .10  9.2 true .67 33 error (1) 1.2   18   error (1) .018 3.9 true 12   340 error .054 5.5
termination-restricted-15/MinusMin_true-termination.c true .12  23 true 4.1 240 error .0080 1.6 error .41 45 error .36 41 error .41 38 error .40 43 error (1) .0034 .84 unknown .11  9.1 true 1.1  33 error (1) 1.3   18   error (1) .027 3.8 true 12   340 error .041 5.3
termination-restricted-15/MinusUserDefined_true-termination.c true .082 23 true 4.2 240 error .017  1.7 error .35 43 error .40 42 error .42 42 error .40 44 error (1) .0044 1.0  unknown .10  9.1 true 6.1  45 error (1) 1.4   18   error (1) .032 3.9 true 13   360 error .038 5.6
termination-restricted-15/Nested_true-termination.c true .10  23 true 3.9 220 error .0087 1.6 error .39 45 error .37 44 error .39 40 error .33 43 error (1) .0045 .84 unknown .093 9.3 true 120    240 error (1) 1.4   18   error (1) .032 3.9 true 10   320 error .047 5.3
termination-restricted-15/Overflow_true-termination.c true .079 23 true 3.9 210 error .014  1.6 error .42 39 error .41 41 error .42 38 error .42 39 error (1) .0061 .86 unknown .099 9.3 failure .24 29 error (1) 1.3   18   error (1) .020 3.9 true 9.5 320 error .041 5.3
termination-restricted-15/PastaA10_true-termination.c true .15  23 true 15   760 error .011  1.7 error .41 44 error .40 43 error .45 44 error .38 40 error (1) .0034 .97 unknown .10  9.2 true 2.7  36 error (1) 1.3   18   error (1) .029 3.8 true 12   370 error .034 5.3
termination-restricted-15/PastaA1_true-termination.c true .14  23 true 3.8 220 error .0085 1.6 error .36 43 error .39 42 error .44 41 error .39 38 error (1) .0038 .73 unknown .14  9.3 true 2.5  38 error (1) 1.3   18   error (1) .019 3.8 true 11   350 error .053 5.5
termination-restricted-15/PastaA4_true-termination.c true .078 23 true 3.2 210 error .0082 1.5 error .41 43 error .42 44 error .35 40 error .37 44 error (1) .0036 1.0  unknown .094 9.2 true .95 33 error (1) 1.3   18   error (1) .018 3.9 true 9.9 350 error .050 5.5
termination-restricted-15/PastaA5_true-termination.c true .10  23 true 3.6 210 error .011  1.5 error .39 41 error .34 44 error .41 42 error .40 39 error (1) .0043 1.2  unknown .098 9.1 true .75 32 error (1) 1.3   18   error (1) .024 3.9 true 9.0 320 error .031 5.3
termination-restricted-15/PastaA6_true-termination.c true .11  23 true 3.9 210 error .012  1.7 error .37 45 error .40 41 error .42 42 error .33 41 error (1) .0063 .89 unknown .12  9.2 true 3.4  37 error (1) 1.4   18   error (1) .022 3.9 true 11   330 error .052 5.5
termination-restricted-15/PastaA7_true-termination.c true .10  23 true 3.1 210 error .016  1.6 error .40 41 error .40 42 error .34 44 error .44 45 error (1) .0057 1.1  unknown .13  9.2 true .97 33 error (1) 1.3   18   error (1) .014 3.8 true 10   340 error .053 5.6
termination-restricted-15/PastaA8_true-termination.c true .15  23 true 3.5 210 error .0087 1.5 error .40 42 error .34 42 error .36 44 error .34 43 error (1) .0035 1.0  unknown .13  9.6 true .98 33 error (1) 1.4   18   error (1) .019 3.9 true 9.2 340 error .052 5.5
termination-restricted-15/PastaA9_true-termination.c true .10  23 true 14   1100 error .011  1.4 error .39 41 error .40 40 error .43 45 error .38 40 error (1) .0031 .73 unknown .095 9.3 true 1.3  34 error (1) 1.4   18   error (1) .030 4.0 true 11   340 error .034 5.7
termination-restricted-15/PastaB11_true-termination.c true .10  23 true 4.0 220 error .0076 1.6 error .33 39 error .43 44 error .41 43 error .35 44 error (1) .0075 1.0  unknown .15  9.3 true .69 33 error (1) 1.3   18   error (1) .018 3.9 true 10   340 error .029 5.2
termination-restricted-15/PastaB14_true-termination.c true .11  23 true 3.8 210 error .0068 1.8 error .39 40 error .43 41 error .33 40 error .36 41 error (1) .0033 .72 unknown .092 9.2 true 1.5  34 error (1) 1.4   18   error (1) .035 3.9 true 10   330 error .032 5.5
termination-restricted-15/PastaB15_true-termination.c true .10  23 true 4.0 220 error .017  1.8 error .35 44 error .44 41 error .41 44 error .33 41 error (1) .0058 1.2  unknown .11  9.2 true 2.7  37 error (1) 1.4   18   error (1) .024 3.9 true 11   340 error .055 5.2
termination-restricted-15/PastaB16_true-termination.c true .10  23 true 3.2 210 error .016  1.9 error .33 42 error .45 43 error .36 43 error .40 44 error (1) .0050 .86 unknown .11  9.2 true 1.3  34 error (1) 1.0   18   error (1) .022 3.9 true 11   350 error .028 5.3
termination-restricted-15/PastaB17_true-termination.c true .10  23 true 3.6 220 error .011  1.6 error .39 41 error .33 42 error .42 44 error .40 38 error (1) .0053 .97 unknown .098 9.3 true 2.0  35 error (1) 1.3   18   error (1) .019 3.9 true 11   340 error .044 5.2
termination-restricted-15/PastaB1_true-termination.c true .12  23 true 3.2 210 error .0091 1.4 error .40 44 error .35 41 error .39 41 error .39 40 error (1) .0060 .97 unknown .12  9.1 true .80 33 error (1) 1.3   18   error (1) .031 3.9 true 8.8 330 error .047 5.3
termination-restricted-15/PastaB2_true-termination.c true .10  23 true 3.6 210 error .016  1.9 error .38 41 error .41 41 error .42 43 error .42 43 error (1) .0030 1.1  unknown .15  9.1 true 1.3  33 error (1) 1.4   18   error (1) .024 3.9 true 9.4 320 error .024 5.3
termination-restricted-15/PastaB3_true-termination.c true .091 23 true 11   1000 error .0069 1.5 error .39 43 error .35 42 error .38 43 error .39 41 error (1) .0052 1.0  unknown .15  9.1 timeout 900    550 error (1) 1.4   18   error (1) .019 3.8 true 11   330 error .051 5.3
termination-restricted-15/PastaB4_true-termination.c true .13  23 true 3.5 210 error .0080 1.5 error .34 43 error .40 41 error .40 44 error .40 41 error (1) .0065 .84 unknown .14  9.2 true .60 32 error (1) 1.3   18   error (1) .034 4.0 true 16   340 error .023 5.3
termination-restricted-15/PastaB6_true-termination.c true .14  23 true 3.8 210 error .017  1.7 error .34 39 error .40 41 error .41 42 error .39 42 error (1) .0052 .97 unknown .12  9.2 true 1.0  33 error (1) 1.4   18   error (1) .023 3.9 true 9.6 330 error .059 5.5
termination-restricted-15/PastaB7_true-termination.c true .10  23 true 3.8 220 error .0081 1.6 error .41 41 error .39 44 error .44 41 error .38 39 error (1) .0041 .89 unknown .11  9.1 true .83 33 error (1) 1.3   18   error (1) .020 4.1 true 9.2 340 error .034 5.4
termination-restricted-15/PastaC1_true-termination.c true .14  23 true 32   3200 error .0082 1.7 error .34 41 error .32 41 error .42 44 error .41 39 error (1) .0029 .86 unknown .097 9.1 true 1.9  35 error (1) 1.4   18   error (1) .023 4.0 true 14   350 error .037 5.6
termination-restricted-15/PastaC2_true-termination.c true .098 23 true 3.9 220 error .013  1.9 error .34 42 error .41 42 error .42 45 error .32 44 error (1) .0054 1.0  unknown .098 9.2 true 2.8  37 error (1) 1.2   18   error (1) .016 4.0 true 11   330 error .030 5.4
termination-restricted-15/PastaC3_true-termination.c true .13  23 true 3.7 210 error .010  1.5 error .33 39 error .38 40 error .50 44 error .33 39 error (1) .0034 .86 unknown .11  9.3 true 1.8  34 error (1) 1.3   18   error (1) .018 4.0 true 12   350 error .025 5.3
termination-restricted-15/PastaC7_true-termination.c true .11  23 true 3.7 220 error .010  1.6 error .41 43 error .35 39 error .42 44 error .44 42 error (1) .0035 .91 unknown .14  9.3 true 1.3  33 error (1) 1.4   18   error (1) .024 4.1 true 16   350 error .034 5.3
termination-restricted-15/PastaC9_true-termination.c true .081 23 true 3.6 230 error .017  1.6 error .40 41 error .41 42 error .41 43 error .37 41 error (1) .0037 .86 unknown .17  9.1 true 2.7  37 error (1) 1.3   18   error (1) .029 3.8 true 11   350 error .032 5.3
termination-restricted-15/PlusSwap_true-termination.c true .10  23 true 4.7 300 error .011  1.9 error .40 41 error .39 39 error .36 43 error .41 42 error (1) .0034 .82 unknown .096 9.3 true .84 33 error (1) 1.4   18   error (1) .023 3.9 true 12   340 error .046 5.5
termination-restricted-15/Sequence_true-termination.c true .14  23 true 3.2 210 error .016  1.6 error .42 42 error .37 44 error .42 46 error .39 44 error (1) .0031 1.0  unknown .15  9.1 true 350    310 error (1) 1.4   18   error (1) .036 3.9 true 10   330 error .030 5.3
termination-restricted-15/WhileDecr_true-termination.c true .10  23 true 3.8 210 error .016  1.7 error .40 45 error .35 45 error .39 43 error .41 42 error (1) .0029 .71 unknown .091 9.2 true .73 33 error (1) 1.1   18   error (1) .033 4.0 true 10   340 error .052 5.5
termination-restricted-15/a.01_true-termination.c true .15  23 true 4.0 220 error .0077 1.4 error .40 41 error .38 38 error .39 40 error .44 42 error (1) .0046 1.1  unknown .13  9.4 true 2.6  37 error (1) 1.4   18   error (1) .021 4.1 true 11   330 error .043 5.3
termination-restricted-15/a.04_true-termination.c true .10  23 true 3.2 210 error .018  1.6 error .34 44 error .35 41 error .40 43 error .39 39 error (1) .0042 .86 unknown .15  9.5 true .72 33 error (1) 1.3   18   error (1) .015 3.9 true 9.4 320 error .049 5.2
termination-restricted-15/a.05_true-termination.c true .10  23 true 3.2 210 error .017  1.7 error .32 41 error .34 41 error .45 44 error .41 41 error (1) .0032 .75 unknown .12  9.5 true .93 33 error (1) 1.3   18   error (1) .036 3.9 true 9.9 340 error .044 5.2
termination-restricted-15/a.06_true-termination.c true .10  23 true 3.9 210 error .0081 1.4 error .40 41 error .40 41 error .43 41 error .40 42 error (1) .0053 1.0  unknown .15  9.4 true 3.6  37 error (1) 1.4   18   error (1) .034 3.9 true 11   330 error .042 5.6
termination-restricted-15/a.07_true-termination.c true .10  23 true 3.9 220 error .0090 1.8 error .45 44 error .41 43 error .34 42 error .42 41 error (1) .0051 1.1  unknown .10  9.2 true .87 33 error (1) 1.2   18   error (1) .021 4.1 true 9.4 320 error .049 5.3
termination-restricted-15/a.08_true-termination.c true .084 23 true 3.0 210 error .012  1.8 error .38 38 error .43 43 error .40 41 error .33 40 error (1) .0036 1.1  unknown .11  9.2 true .92 33 error (1) 1.3   18   error (1) .031 3.9 true 11   360 error .040 5.2
termination-restricted-15/a.09_assume_true-termination.c true .11  23 true 3.7 200 error .011  1.6 error .41 41 error .32 44 error .42 43 error .36 39 error (1) .0045 .89 unknown .10  9.3 true .82 33 error (1) 1.4   18   error (1) .033 4.1 true 9.2 330 error .028 5.3
termination-restricted-15/a.10_true-termination.c true .11  23 true 39   1900 error .013  1.5 error .38 39 error .34 41 error .35 42 error .35 45 error (1) .0043 1.1  unknown .11  9.3 true 2.5  36 error (1) 1.4   18   error (1) .011 3.9 true 12   330 error .045 5.4
termination-restricted-15/b.01_true-termination.c true .15  23 true 3.1 210 error .016  1.7 error .34 43 error .41 42 error .46 40 error .41 41 error (1) .0033 .84 unknown .14  9.2 true .71 32 error (1) 1.3   18   error (1) .013 4.1 true 9.7 320 error .054 5.3
termination-restricted-15/b.02_true-termination.c true .13  23 true 3.8 210 error .016  1.7 error .40 42 error .34 39 error .33 41 error .42 43 error (1) .0036 .98 unknown .16  9.1 true 1.2  33 error (1) 1.3   18   error (1) .022 3.9 true 9.5 330 error .047 5.3
termination-restricted-15/b.03-no-inv_assume_true-termination.c true .13  23 true 12   900 error .0072 1.9 error .38 41 error .38 42 error .41 38 error .42 45 error (1) .0057 .88 unknown .096 9.4 true 15    81 error (1) 1.3   18   error (1) .032 3.9 true 10   340 error .048 5.2
termination-restricted-15/b.03_assume_true-termination.c true .14  23 true 3.7 210 error .010  1.7 error .35 42 error .42 44 error .35 44 error .40 43 error (1) .0030 1.0  unknown .099 9.2 true .77 33 error (1) 1.3   18   error (1) .018 4.0 true 9.7 340 error .041 5.6
termination-restricted-15/b.04_true-termination.c true .10  23 true 4.0 210 error .0083 1.6 error .41 43 error .34 39 error .41 44 error .39 44 error (1) .0031 .84 unknown .096 9.3 true .58 32 error (1) 1.4   18   error (1) .021 3.9 true 13   330 error .044 5.2
termination-restricted-15/b.05_true-termination.c true .10  23 true 3.3 210 error .011  1.3 error .34 42 error .40 44 error .42 43 error .41 43 error (1) .0050 1.0  unknown .097 9.2 true .58 33 error (1) 1.4   18   error (1) .018 3.9 true 11   350 error .055 5.5
termination-restricted-15/b.06_true-termination.c true .10  23 true 3.9 210 error .0089 1.6 error .40 42 error .38 39 error .41 41 error .40 42 error (1) .0034 .85 unknown .11  9.2 true 1.0  33 error (1) 1.4   18   error (1) .020 3.9 true 9.4 320 error .047 5.2
termination-restricted-15/b.07_true-termination.c true .13  23 true 3.7 220 error .012  1.5 error .39 38 error .40 43 error .41 42 error .33 42 error (1) .0029 1.0  unknown .10  9.2 true .82 33 error (1) 1.3   18   error (1) .030 3.8 true 9.9 330 error .049 5.2
termination-restricted-15/b.09-no-inv_assume_true-termination.c true .13  23 true 21   1300 error .012  1.6 error .38 39 error .39 42 error .45 38 error .37 41 error (1) .0045 .66 unknown .12  9.1 true .97 33 error (1) 1.3   18   error (1) .018 3.8 true 15   360 error .033 5.3
termination-restricted-15/b.09_assume_true-termination.c true .10  23 true 4.0 220 error .017  1.8 error .41 44 error .34 41 error .41 40 error .42 44 error (1) .0032 .95 unknown .12  9.5 true .92 33 error (1) 1.3   18   error (1) .016 3.9 true 10   330 error .054 5.6
termination-restricted-15/b.10_true-termination.c true .10  23 true 3.9 240 error .0083 1.7 error .39 41 error .39 40 error .39 41 error .33 38 error (1) .0031 .83 unknown .14  9.2 true 1.0  33 error (1) 1.4   18   error (1) .020 3.9 true 11   340 error .035 5.3
termination-restricted-15/b.11_true-termination.c true .084 23 true 4.0 230 error .0090 1.7 error .38 41 error .35 42 error .46 42 error .41 43 error (1) .0038 1.1  unknown .12  9.0 true .87 34 error (1) 1.4   18   error (1) .019 3.9 true 11   340 error .027 5.5
termination-restricted-15/b.12_true-termination.c true .13  23 true 4.8 310 error .011  1.8 error .40 40 error .46 42 error .35 42 error .41 42 error (1) .0029 .97 unknown .13  9.1 true 2.1  35 error (1) 1.4   18   error (1) .019 3.8 true 9.9 340 error .051 5.3
termination-restricted-15/b.13_true-termination.c true .15  23 true 5.1 310 error .0098 1.6 error .42 41 error .34 44 error .43 43 error .34 41 error (1) .0037 .90 unknown .11  9.1 true 91    72 error (1) 1.3   18   error (1) .027 3.9 true 11   340 error .034 5.2
termination-restricted-15/b.14_true-termination.c true .10  23 true 4.0 220 error .012  1.5 error .43 41 error .41 44 error .39 40 error .40 41 error (1) .0065 1.0  unknown .082 9.3 true 2.1  37 error (1) 1.4   18   error (1) .036 3.8 true 11   330 error .034 5.3
termination-restricted-15/b.15_true-termination.c true .11  23 true 4.1 220 error .012  1.5 error .38 42 error .41 42 error .42 44 error .39 39 error (1) .0064 1.1  unknown .11  9.2 true 2.8  38 error (1) 1.0   18   error (1) .036 4.1 true 12   350 error .048 5.5
termination-restricted-15/b.16_true-termination.c true .13  23 true 4.0 230 error .0083 1.7 error .34 41 error .34 39 error .44 43 error .42 43 error (1) .0034 .99 unknown .12  9.2 true 2.0  35 error (1) 1.3   18   error (1) .016 4.0 true 10   320 error .029 5.5
termination-restricted-15/b.17_true-termination.c true .14  23 true 3.9 230 error .0065 1.5 error .55 43 error .43 42 error .39 39 error .40 41 error (1) .0065 1.0  unknown .094 9.2 true 2.5  35 error (1) 1.3   18   error (1) .028 3.8 true 11   340 error .053 5.3
termination-restricted-15/b.18_true-termination.c true .15  23 true 3.8 230 error .0084 1.4 error .37 45 error .33 42 error .35 43 error .36 44 error (1) .0037 .98 unknown .15  9.5 true 3.8  39 error (1) 1.4   18   error (1) .027 3.8 true 11   340 error .029 5.4
termination-restricted-15/c.01-no-inv_true-termination.c true .099 23 true 54   3900 error .012  1.9 error .35 43 error .43 45 error .41 41 error .38 41 error (1) .0038 .86 unknown .098 9.3 true 2.6  36 error (1) 1.2   18   error (1) .018 3.9 true 14   350 error .051 5.5
termination-restricted-15/c.01_assume_true-termination.c true .12  23 true 4.0 230 error .011  1.7 error .42 44 error .39 39 error .38 43 error .33 39 error (1) .0030 1.1  unknown .15  9.2 true 2.0  36 error (1) 1.3   18   error (1) .034 3.9 true 11   340 error .030 5.3
termination-restricted-15/c.02_true-termination.c true .10  23 true 3.9 220 error .0088 1.7 error .39 42 error .33 43 error .40 43 error .46 41 error (1) .0050 .86 unknown .10  9.3 true 2.0  35 error (1) 1.4   18   error (1) .013 3.9 true 12   340 error .043 5.3
termination-restricted-15/c.03_true-termination.c true .080 23 true 3.7 210 error .011  1.5 error .31 41 error .33 42 error .46 42 error .43 41 error (1) .0029 1.1  unknown .081 9.2 true 1.7  34 error (1) 1.4   18   error (1) .034 3.9 true 13   360 error .042 5.6
termination-restricted-15/c.07_true-termination.c true .088 23 true 3.8 220 error .0089 1.7 error .39 42 error .42 40 error .43 41 error .40 42 error (1) .0035 .97 unknown .15  9.3 true 1.5  34 error (1) 1.4   18   error (1) .015 4.0 true 23   370 error .030 5.3
termination-restricted-15/c.08_true-termination.c true .13  23 true 3.7 220 error .0080 1.5 error .35 46 error .43 44 error .42 46 error .40 40 error (1) .0031 .96 unknown .094 9.3 true 2.2  35 error (1) 1.3   18   error (1) .032 3.8 true 11   340 error .041 5.2
termination-restricted-15/easySum_true-termination.c true .082 23 true 3.1 210 error .014  1.6 error .41 39 error .35 40 error .42 41 error .38 42 error (1) .0031 1.0  unknown .12  9.2 true .68 33 error (1) 1.4   18   error (1) .019 4.0 true 8.6 320 error .042 5.4
termination-restricted-15/ex1_true-termination.c true .12  23 true 3.7 210 error .015  1.8 error .36 42 error .40 41 error .36 41 error .44 43 error (1) .0035 1.0  unknown .11  9.1 true .59 32 error (1) 1.3   18   error (1) .035 3.9 true 9.8 330 error .032 5.5
termination-restricted-15/ex2_true-termination.c true .13  23 true 7.7 520 error .0093 1.5 error .39 39 error .34 45 error .42 41 error .42 44 error (1) .0036 .94 unknown .099 9.1 timeout 900    320 error (1) 1.3   18   error (1) .019 3.9 unknown 25   580 error .048 5.5
termination-restricted-15/ex3a_true-termination.c true .10  23 true 4.7 310 error .0073 1.5 error .40 42 error .39 41 error .41 40 error .40 43 error (1) .0033 1.0  unknown .099 9.2 timeout 900    350 error (1) 1.4   18   error (1) .034 3.8 unknown 20   510 error .033 5.5
termination-restricted-15/ex3b_true-termination.c true .13  23 true 3.7 210 error .0099 1.7 error .41 44 error .34 41 error .40 41 error .39 41 error (1) .0030 .85 unknown .14  9.1 timeout 900    460 error (1) 1.4   18   error (1) .036 3.9 unknown 23   410 error .046 5.2
termination-restricted-15/fermat_true-termination.c true .10  23 true 4.2 230 error .013  1.6 error .38 44 error .42 42 error .32 39 error .40 40 error (1) .0059 1.1  unknown .11  9.1 timeout 900    240 error (1) 1.1   18   error (1) .020 3.9 true 140   400 error .034 5.3
termination-restricted-15/flag_true-termination.c true .10  23 true 36   1600 error .011  1.7 error .39 39 error .33 41 error .34 43 error .40 42 error (1) .0069 1.0  unknown .11  9.1 true 1.1  34 error (1) 1.3   18   error (1) .029 3.9 true 17   460 error .053 5.3
termination-restricted-15/java_AG313_true-termination.c true .14  23 true 3.2 210 error .016  1.6 error .34 43 error .33 42 error .40 39 error .41 42 error (1) .0066 .96 unknown .10  9.4 true .71 34 error (1) 1.4   18   error (1) .027 3.9 true 9.7 330 error .025 5.3
termination-restricted-15/java_Break_true-termination.c true .13  23 true 4.0 220 error .011  1.4 error .34 39 error .44 42 error .41 42 error .39 41 error (1) .0030 .88 unknown .099 9.3 true 1.5  36 error (1) 1.4   18   error (1) .018 3.9 true 9.9 350 error .044 5.3
termination-restricted-15/java_Continue1_true-termination.c true .086 23 true 3.8 220 error .0084 1.6 error .41 44 error .39 39 error .34 40 error .40 45 error (1) .0064 1.2  unknown .15  9.3 true 2.5  42 error (1) 1.4   18   error (1) .015 3.9 true 10   340 error .028 5.2
termination-restricted-15/java_Nested_true-termination.c true .084 23 true 3.9 220 error .013  1.7 error .31 44 error .35 43 error .41 44 error .39 42 error (1) .0045 1.1  unknown .13  9.2 timeout 900    410 error (1) 1.3   18   error (1) .018 3.8 true 15   360 error .050 5.3
termination-restricted-15/java_Sequence_true-termination.c true .10  23 true 3.9 220 error .0085 1.5 error .41 41 error .41 44 error .40 43 error .36 44 error (1) .0046 1.0  unknown .11  9.3 true 340    310 error (1) 1.4   18   error (1) .018 4.0 true 9.9 340 error .031 5.5
termination-restricted-15/AlternDivWide_false-termination.c true .13  23 false(termination) 13   990 error .011  1.6 error .33 40 error .44 44 error .36 43 error .39 41 error (1) .0039 .86 unknown .10  9.2 false(termination) .69 33 error (1) 1.4   18   error (1) .018 4.0 false(termination) 15   390 error .053 5.3
termination-restricted-15/AlternDivWidening_false-termination.c true .10  23 timeout 910   8100 error .011  1.6 error .34 43 error .38 40 error .36 42 error .40 41 error (1) .0033 .88 unknown .14  9.3 false(termination) .91 33 error (1) 1.4   18   error (1) .027 3.9 false(termination) 12   350 error .049 5.3
termination-restricted-15/AlternDiv_false-termination.c true .10  23 false(termination) 11   680 error .0087 1.4 error .34 44 error .31 44 error .35 41 error .41 43 error (1) .0038 1.2  unknown .11  9.2 false(termination) .46 32 error (1) 1.4   18   error (1) .013 3.9 false(termination) 10   360 error .023 5.5
termination-restricted-15/AlternKonv_false-termination.c true .12  23 false(termination) 23   1800 error .011  1.8 error .36 42 error .42 44 error .41 42 error .41 43 error (1) .0047 1.0  unknown .097 9.1 false(termination) 3.2  39 error (1) 1.3   18   error (1) .025 3.9 false(termination) 14   360 error .030 5.3
termination-restricted-15/ChooseLife_false-termination.c true .11  23 false(termination) 13   800 error .0077 1.6 error .34 43 error .34 40 error .42 42 error .40 43 error (1) .0053 1.0  unknown .097 9.2 false(termination) .60 32 error (1) 1.3   18   error (1) .032 4.0 unknown 35   550 error .031 5.2
termination-restricted-15/Choose_false-termination.c true .12  23 false(termination) 11   930 error .011  1.9 error .38 41 error .34 43 error .41 44 error .41 43 error (1) .0034 .99 unknown .079 9.2 false(termination) .54 33 error (1) 1.3   18   error (1) .018 4.0 false(termination) 11   340 error .038 5.2
termination-restricted-15/ComplInterv2_false-termination.c true .15  23 false(termination) 5.7 340 error .012  1.6 error .39 36 error .41 42 error .34 42 error .46 41 error (1) .0055 1.0  unknown .13  9.3 false(termination) 3.1  38 error (1) 1.0   18   error (1) .024 3.8 false(termination) 8.2 320 error .034 5.2
termination-restricted-15/ComplInterv3_false-termination.c true .11  23 false(termination) 4.9 320 error .011  1.8 error .37 42 error .34 45 error .39 43 error .40 40 error (1) .0052 .90 unknown .15  9.3 false(termination) .68 33 error (1) 1.4   18   error (1) .023 3.9 false(termination) 9.8 340 error .051 5.5
termination-restricted-15/ComplInterv_false-termination.c true .10  23 false(termination) 18   1200 error .0083 1.5 error .33 42 error .38 44 error .37 45 error .40 44 error (1) .0041 1.0  unknown .096 9.1 timeout 900    380 error (1) 1.3   18   error (1) .025 4.0 unknown 17   380 error .041 5.4
termination-restricted-15/ComplxStruc_false-termination.c true .10  23 timeout 910   6100 error .014  1.7 error .45 44 error .40 42 error .34 40 error .40 38 error (1) .0030 1.0  unknown .11  9.2 false(termination) .70 36 error (1) 1.3   18   error (1) .022 3.9 false(termination) 15   470 error .051 5.2
termination-restricted-15/ConvLower_false-termination.c true .10  23 false(termination) 5.0 310 error .0081 1.4 error .30 44 error .34 42 error .43 42 error .34 44 error (1) .0054 .84 unknown .10  9.4 false(termination) 1.1  34 error (1) 1.4   18   error (1) .020 4.0 false(termination) 10   350 error .049 5.5
termination-restricted-15/Cousot_false-termination.c true .11  23 false(termination) 4.6 260 error .0079 1.6 error .42 40 error .43 42 error .40 45 error .39 41 error (1) .0051 1.0  unknown .083 9.0 failure .30 29 error (1) 1.4   18   error (1) .016 3.9 false(termination) 11   350 error .035 5.3
termination-restricted-15/DivWithoutMinus_false-termination.c true .12  23 timeout 900   7500 error .013  1.6 error .42 39 error .35 45 error .42 41 error .36 44 error (1) .0052 1.1  unknown .15  9.3 false(termination) .74 35 error (1) 1.4   18   error (1) .031 3.9 false(termination) 11   330 error .049 5.5
termination-restricted-15/DoubleNeg_false-termination.c true .10  23 timeout 910   5500 error .014  1.9 error .33 38 error .41 40 error .42 42 error .38 39 error (1) .0045 .88 unknown .11  9.3 true 190    140 error (1) 1.4   18   error (1) .034 3.9 unknown 19   490 error .031 5.2
termination-restricted-15/Et2_false-termination.c true .15  23 false(termination) 4.3 240 error .0081 1.4 error .38 39 error .35 42 error .42 44 error .42 43 error (1) .0056 1.2  unknown .15  9.3 true 460    230 error (1) 1.4   18   error (1) .016 4.1 false(termination) 10   330 error .035 5.2
termination-restricted-15/Et4_false-termination.c true .10  23 false(termination) 4.0 260 error .015  1.8 error .42 39 error .44 42 error .45 41 error .42 45 error (1) .0055 .99 unknown .14  9.3 false(termination) 180    190 error (1) 1.3   18   error (1) .034 3.9 false(termination) 11   340 error .028 5.3
termination-restricted-15/Even_false-termination.c true .12  23 false(termination) 4.5 300 error .011  1.5 error .34 42 error .35 45 error .36 40 error .38 43 error (1) .0055 1.0  unknown .10  9.2 false(termination) .72 33 error (1) 1.3   18   error (1) .021 3.8 false(termination) 9.7 330 error .053 5.2
termination-restricted-15/Ex01_false-termination.c true .11  23 false(termination) 4.1 250 error .012  1.6 error .40 41 error .40 46 error .38 42 error .40 42 error (1) .0035 .84 unknown .15  9.1 false(termination) .37 32 error (1) 1.3   18   error (1) .036 3.9 false(termination) 9.1 330 error .050 5.5
termination-restricted-15/Ex02_false-termination.c true .11  23 false(termination) 4.8 320 error .019  1.7 error .35 42 error .35 39 error .43 40 error .39 41 error (1) .0049 1.2  unknown .079 9.1 false(termination) .98 33 error (1) 1.4   18   error (1) .021 3.9 false(termination) 11   330 error .029 5.3
termination-restricted-15/Ex03_false-termination.c true .11  23 false(termination) 4.5 270 error .015  1.7 error .48 43 error .42 44 error .42 41 error .37 40 error (1) .0062 .89 unknown .093 9.2 false(termination) 1.1  34 error (1) 1.3   18   error (1) .033 3.8 false(termination) 9.0 320 error .058 5.3
termination-restricted-15/Ex04_false-termination.c true .12  23 false(termination) 3.9 240 error .014  1.8 error .45 41 error .35 41 error .40 40 error .41 41 error (1) .0062 .84 unknown .099 9.5 failure .24 29 error (1) 1.3   18   error (1) .020 4.1 false(termination) 10   360 error .053 5.3
termination-restricted-15/Ex05_false-termination.c true .13  23 false(termination) 3.6 250 error .015  1.4 error .41 44 error .41 44 error .42 44 error .41 45 error (1) .0049 1.0  unknown .12  9.4 failure .25 27 error (1) 1.4   18   error (1) .023 3.9 false(termination) 9.1 340 error .056 5.6
termination-restricted-15/Ex06_false-termination.c true .15  23 false(termination) 4.9 270 error .0091 1.7 error .34 39 error .40 44 error .35 41 error .39 39 error (1) .0039 1.0  unknown .12  9.2 false(termination) .58 33 error (1) 1.4   18   error (1) .012 3.8 false(termination) 11   340 error .057 5.2
termination-restricted-15/Ex07_false-termination.c true .10  23 false(termination) 13   940 error .0074 1.3 error .40 42 error .39 41 error .36 40 error .40 40 error (1) .0034 1.1  unknown .099 9.3 failure .25 28 error (1) 1.3   18   error (1) .021 3.9 false(termination) 11   330 error .029 5.3
termination-restricted-15/Ex08_false-termination.c true .080 23 timeout 910   11000 error .015  1.4 error .35 42 error .43 42 error .35 45 error .39 39 error (1) .0049 1.1  unknown .11  9.3 false(termination) .41 33 error (1) 1.3   18   error (1) .019 4.0 false(termination) 220   4000 error .056 5.4
termination-restricted-15/Factorial_false-termination.c true .11  23 timeout 910   13000 error .0082 1.8 error .43 41 error .35 43 error .41 44 error .42 45 error (1) .0035 .99 unknown .093 9.3 timeout 900    330 error (1) 1.4   18   error (1) .015 3.8 unknown 28   530 error .054 5.5
termination-restricted-15/Fibonacci_false-termination.c true .13  23 timeout 900   5500 error .015  1.7 error .39 41 error .38 41 error .34 38 error .39 41 error (1) .0049 1.1  unknown .12  9.2 false(termination) 1.1  35 error (1) 1.4   18   error (1) .036 3.9 unknown 32   560 error .022 5.2
termination-restricted-15/Flip2_false-termination.c true .081 23 false(termination) 20   1400 error .0095 1.5 error .38 40 error .34 43 error .43 43 error .40 39 error (1) .0037 1.0  unknown .11  9.2 false(termination) .81 33 error (1) 1.3   18   error (1) .036 4.1 false(termination) 14   480 error .051 5.3
termination-restricted-15/Flip_false-termination.c true .10  23 false(termination) 8.9 570 error .012  1.6 error .43 41 error .34 39 error .44 42 error .33 41 error (1) .0043 .97 unknown .10  9.4 false(termination) .49 32 error (1) 1.3   18   error (1) .022 4.1 false(termination) 10   330 error .023 5.5
termination-restricted-15/GCD2_false-termination.c true .11  23 false(termination) 7.2 430 error .0096 1.6 error .35 42 error .34 44 error .47 42 error .40 42 error (1) .0029 .98 unknown .15  9.1 false(termination) 2.1  35 error (1) 1.4   18   error (1) .016 3.9 false(termination) 9.8 340 error .051 5.4
termination-restricted-15/GCD_false-termination.c true .12  23 false(termination) 7.3 420 error .010  1.7 error .34 38 error .34 39 error .42 43 error .41 44 error (1) .0032 .89 unknown .099 9.2 timeout 900    420 error (1) 1.3   18   error (1) .032 4.0 false(termination) 9.9 330 error .033 5.3
termination-restricted-15/Gauss_false-termination.c true .10  23 false(termination) 4.3 240 error .016  1.8 error .40 39 error .35 44 error .38 41 error .34 43 error (1) .0035 .74 unknown .098 9.2 false(termination) .74 33 error (1) 1.4   18   error (1) .018 3.9 false(termination) 9.4 320 error .050 5.5
termination-restricted-15/Lcm_false-termination.c true .10  23 timeout 910   8600 error .0096 1.7 error .40 41 error .34 39 error .33 40 error .43 42 error (1) .0063 .87 unknown .15  9.3 timeout 900    110 error (1) 1.3   18   error (1) .022 3.9 false(termination) 9.7 340 error .029 5.5
termination-restricted-15/Loop_false-termination.c true .10  23 false(termination) 4.2 310 error .013  1.6 error .43 43 error .33 41 error .38 41 error .40 43 error (1) .0030 .85 unknown .11  9.2 failure .34 29 error (1) 1.3   18   error (1) .027 3.9 false(termination) 10   360 error .044 5.4
termination-restricted-15/Marbie1_false-termination.c true .10  23 false(termination) 4.4 240 error .011  1.6 error .39 39 error .34 40 error .39 40 error .40 38 error (1) .0067 1.0  unknown .10  9.2 false(termination) .43 32 error (1) 1.3   18   error (1) .034 3.9 false(termination) 9.2 340 error .045 5.5
termination-restricted-15/Marbie2_false-termination.c true .10  23 false(termination) 3.5 240 error .013  1.5 error .44 42 error .34 40 error .38 40 error .34 45 error (1) .0058 .76 unknown .15  9.1 failure .30 28 error (1) 1.3   18   error (1) .028 3.9 false(termination) 9.1 340 error .030 5.2
termination-restricted-15/Middle_false-termination.c true .080 23 false(termination) 3.6 260 error .016  1.7 error .38 43 error .40 43 error .40 42 error .40 44 error (1) .0030 1.1  unknown .15  9.1 false(termination) .78 33 error (1) 1.3   18   error (1) .016 4.0 false(termination) 11   360 error .036 5.5
termination-restricted-15/MirrorIntervSim_false-termination.c true .10  23 false(termination) 13   1000 error .0083 1.4 error .31 44 error .37 39 error .36 38 error .45 40 error (1) .0034 1.0  unknown .10  9.3 false(termination) 2.6  40 error (1) 1.2   18   error (1) .033 4.0 false(termination) 18   400 error .025 5.5
termination-restricted-15/MirrorInterv_false-termination.c true .12  23 false(termination) 140   5400 error .013  1.5 error .41 41 error .47 41 error .41 40 error .43 42 error (1) .0041 .88 unknown .094 9.3 false(termination) 4.3  55 error (1) 1.4   18   error (1) .035 4.0 unknown 27   570 error .038 5.2
termination-restricted-15/NO_00_false-termination.c true .10  23 false(termination) 4.2 290 error .012  1.7 error .43 41 error .37 42 error .43 41 error .39 41 error (1) .0056 1.0  unknown .10  9.2 failure .25 29 error (1) 1.4   18   error (1) .019 3.9 false(termination) 9.8 320 error .054 5.2
termination-restricted-15/NO_01_false-termination.c true .10  23 false(termination) 4.2 310 error .0091 1.5 error .33 41 error .40 41 error .41 43 error .40 41 error (1) .0034 1.1  unknown .15  9.1 failure .23 28 error (1) 1.4   18   error (1) .036 3.9 false(termination) 10   330 error .021 5.2
termination-restricted-15/NO_02_false-termination.c true .15  23 false(termination) 4.4 320 error .016  1.8 error .31 41 error .41 41 error .33 44 error .40 42 error (1) .0056 1.0  unknown .11  9.3 failure .22 28 error (1) 1.0   19   error (1) .031 4.0 false(termination) 9.7 330 error .044 5.3
termination-restricted-15/NO_03_false-termination.c true .11  23 false(termination) 7.2 450 error .014  1.4 error .39 43 error .34 42 error .40 42 error .41 40 error (1) .0061 .97 unknown .12  9.4 failure .25 29 error (1) 1.2   18   error (1) .019 3.9 false(termination) 8.9 330 error .023 5.5
termination-restricted-15/NO_04_false-termination.c true .14  23 false(termination) 12   740 error .0080 1.4 error .36 45 error .36 41 error .41 41 error .40 44 error (1) .0037 .86 unknown .11  9.2 false(termination) 19    73 error (1) 1.6   28   error (1) .031 3.9 false(termination) 13   360 error .021 5.3
termination-restricted-15/NO_10_false-termination.c true .098 23 false(termination) 4.8 310 error .012  1.3 error .39 41 error .40 41 error .40 42 error .46 43 error (1) .0050 1.0  unknown .13  9.2 false(termination) .50 32 error (1) 1.3   18   error (1) .022 3.9 false(termination) 9.3 330 error .053 5.3
termination-restricted-15/NO_12_false-termination.c true .082 23 false(termination) 16   780 error .012  1.5 error .47 42 error .38 41 error .34 43 error .41 46 error (1) .0043 1.2  unknown .10  9.3 false(termination) .52 32 error (1) 1.4   18   error (1) .028 3.9 false(termination) 13   470 error .023 5.2
termination-restricted-15/NO_13_false-termination.c true .14  23 timeout 900   4800 error .013  1.4 error .34 42 error .39 41 error .44 41 error .31 44 error (1) .0048 1.1  unknown .13  9.3 false(termination) 11    86 error (1) 1.1   18   error (1) .020 3.9 false(termination) 73   1200 error .054 5.5
termination-restricted-15/NO_21_false-termination.c true .10  23 false(termination) 4.3 310 error .010  1.7 error .44 43 error .40 43 error .42 43 error .34 41 error (1) .0069 1.1  unknown .15  9.2 failure .23 29 error (1) 1.4   18   error (1) .024 3.9 false(termination) 8.8 320 error .051 5.5
termination-restricted-15/NO_22_false-termination.c true .15  23 timeout 910   5500 error .0067 1.9 error .36 44 error .32 41 error .41 42 error .44 43 error (1) .0042 .86 unknown .10  9.3 false(termination) .47 32 error (1) 1.3   18   error (1) .020 3.9 false(termination) 78   1400 error .045 5.5
termination-restricted-15/NO_23_false-termination.c true .10  23 false(termination) 6.3 380 error .017  1.6 error .41 42 error .44 40 error .42 42 error .38 39 error (1) .0030 .96 unknown .11  9.2 failure .25 29 error (1) 1.3   18   error (1) .024 3.9 false(termination) 15   370 error .028 5.3
termination-restricted-15/NO_24_false-termination.c true .10  23 false(termination) 5.0 320 error .012  1.7 error .33 41 error .40 44 error .42 44 error .39 42 error (1) .0056 1.1  unknown .094 9.2 false(termination) .45 32 error (1) 1.3   18   error (1) .017 3.9 unknown 18   380 error .052 5.2
termination-restricted-15/NarrowKonv_false-termination.c true .13  23 timeout 900   11000 error .0080 1.7 error .33 42 error .39 43 error .42 41 error .38 41 error (1) .0065 .96 unknown .12  9.2 false(termination) .59 33 error (1) 1.2   18   error (1) .020 3.9 false(termination) 400   920 error .053 5.2
termination-restricted-15/Narrowing_false-termination.c true .12  23 timeout 910   6900 error .0074 1.5 error .38 41 error .41 40 error .40 40 error .40 44 error (1) .0039 1.0  unknown .11  9.1 false(termination) 1.5  36 error (1) 1.4   18   error (1) .018 3.8 false(termination) 40   1000 error .042 5.5
termination-restricted-15/PastaC10_false-termination.c true .10  23 false(termination) 3.9 250 error .0082 1.7 error .34 41 error .40 44 error .46 42 error .37 43 error (1) .0053 .80 unknown .080 9.1 timeout 900    260 error (1) 1.3   18   error (1) .018 3.8 false(termination) 10   350 error .041 5.6
termination-restricted-15/Sunset_false-termination.c true .10  23 timeout 910   11000 error .016  1.8 error .38 41 error .35 38 error .41 42 error .33 41 error (1) .0035 1.1  unknown .11  9.2 false(termination) 3.2  42 error (1) 1.4   18   error (1) .032 3.9 false(termination) 18   380 error .051 5.2
termination-restricted-15/Swingers_false-termination.c true .10  23 false(termination) 4.9 320 error .011  1.6 error .37 42 error .43 40 error .39 41 error .40 42 error (1) .0059 .88 unknown .11  9.4 false(termination) .55 32 error (1) 1.4   18   error (1) .034 3.9 unknown 34   380 error .030 5.2
termination-restricted-15/TrueDiv_false-termination.c true .12  23 false(termination) 3.6 250 error .012  1.5 error .37 41 error .40 42 error .41 40 error .39 41 error (1) .0049 1.1  unknown .099 9.2 failure .26 29 error (1) 1.4   18   error (1) .016 4.1 false(termination) 9.5 330 error .056 5.4
termination-restricted-15/TwoFloatInterv_false-termination.c true .14  23 false(termination) 7.2 410 error .0097 1.7 error .40 43 error .39 41 error .47 43 error .35 43 error (1) .0030 1.0  unknown .096 9.2 false(termination) 2.3  39 error (1) 1.4   18   error (1) .018 3.9 false(termination) 9.2 330 error .021 5.3
termination-restricted-15/UpAndDownIneq_false-termination.c true .098 23 timeout 910   9400 error .013  1.7 error .41 40 error .34 40 error .39 40 error .36 41 error (1) .0054 1.1  unknown .10  9.3 false(termination) .51 33 error (1) 1.4   18   error (1) .023 3.8 false(termination) 40   560 error .045 5.3
termination-restricted-15/UpAndDown_false-termination.c true .11  23 timeout 900   8900 error .012  1.6 error .39 43 error .32 41 error .41 43 error .35 44 error (1) .0060 1.0  unknown .17  9.4 false(termination) .43 33 error (1) 1.4   18   error (1) .020 3.8 false(termination) 41   700 error .036 5.3
termination-restricted-15/WhileIncrPart_false-termination.c true .10  23 false(termination) 11   680 error .0080 1.6 error .36 43 error .40 44 error .40 42 error .34 38 error (1) .0039 .88 unknown .097 9.3 false(termination) .79 34 error (1) 1.4   18   error (1) .018 3.9 false(termination) 9.1 330 error .052 5.5
termination-restricted-15/WhileIncr_false-termination.c true .13  23 false(termination) 4.0 240 error .0071 1.9 error .37 44 error .40 39 error .42 40 error .39 43 error (1) .0062 1.0  unknown .15  9.2 false(termination) .51 32 error (1) 1.3   18   error (1) .021 3.9 false(termination) 9.6 340 error .047 5.6
termination-restricted-15/WhileNestedOffset_false-termination.c true .086 23 false(termination) 4.4 320 error .0090 1.3 error .33 42 error .35 40 error .39 43 error .41 44 error (1) .0039 .72 unknown .095 9.3 false(termination) .91 33 error (1) 1.2   18   error (1) .035 4.0 false(termination) 11   320 error .041 5.4
termination-restricted-15/WhileNested_false-termination.c true .10  23 false(termination) 4.8 310 error .013  1.7 error .39 41 error .40 40 error .39 43 error .34 42 error (1) .0048 .84 unknown .11  9.2 false(termination) .70 33 error (1) 1.1   18   error (1) .035 4.0 false(termination) 11   330 error .025 5.2
termination-restricted-15/WhilePart_false-termination.c true .083 23 false(termination) 3.6 250 error .012  1.9 error .41 41 error .39 42 error .42 42 error .34 43 error (1) .0045 1.0  unknown .10  9.2 false(termination) 1.1  34 error (1) 1.4   18   error (1) .018 3.9 false(termination) 9.6 330 error .043 5.4
termination-restricted-15/WhileSingle_false-termination.c true .081 23 false(termination) 4.8 270 error .016  1.7 error .38 40 error .40 44 error .43 44 error .33 40 error (1) .0073 1.0  unknown .11  9.2 false(termination) 1.0  34 error (1) 1.4   18   error (1) .019 3.9 false(termination) 11   350 error .036 5.2
termination-restricted-15/WhileTrueInc_false-termination.c true .13  23 false(termination) 4.2 240 error .015  1.7 error .35 38 error .34 41 error .39 40 error .40 42 error (1) .0054 .90 unknown .12  9.1 failure .25 29 error (1) 1.1   18   error (1) .013 4.1 false(termination) 8.7 320 error .052 5.3
termination-15/add_first_alloca_true-termination.c.i error(signal 6) .20  27 error (1) 4.0 230 error .012  1.6 error .34 38 error .44 40 error .41 42 error .35 44 error (1) .0032 .84 unknown .23  14   error (1) .27 29 error (1) 1.4   18   error (1) .021 3.9 unknown 150   5200 error .037 5.6
termination-15/array05_alloca_true-termination.c.i error(signal 6) .21  27 error (1) 39   2200 error .013  1.7 error .41 43 error .40 40 error .42 44 error .44 41 error (1) .0060 1.0  unknown .21  14   error (1) .27 29 error (1) 1.3   18   error (1) .019 3.9 timeout 910   7500 error .050 5.2
termination-15/array06_alloca_true-termination.c.i error(signal 6) .21  27 true 38   2200 error .0099 1.6 error .38 38 error .38 41 error .37 44 error .38 40 error (1) .0035 .86 unknown .19  14   error (1) .24 29 error (1) 1.2   18   error (1) .013 3.9 true 19   520 error .039 5.4
termination-15/array07_alloca_true-termination.c.i error(signal 6) .21  27 true 46   3500 error .010  1.6 error .42 41 error .31 43 error .41 43 error .34 43 error (1) .0034 .87 unknown .23  14   error (1) .30 29 error (1) 1.4   18   error (1) .017 3.9 true 18   520 error .049 5.2
termination-15/array08_alloca_true-termination.c.i error(signal 6) .23  27 timeout 900   10000 error .010  1.6 error .34 44 error .35 44 error .43 42 error .41 44 error (1) .0029 1.0  unknown .12  14   error (1) .31 30 error (1) 1.5   18   error (1) .020 3.9 timeout 900   6400 error .035 5.3
termination-15/array09_alloca_true-termination.c.i error(signal 6) .21  27 timeout 900   13000 error .0085 1.8 error .39 39 error .35 41 error .34 42 error .40 39 error (1) .0053 .95 unknown .14  14   error (1) .30 30 error (1) 1.3   18   error (1) .035 3.9 timeout 900   5900 error .034 5.3
termination-15/array10_alloca_true-termination.c.i error(signal 6) .21  27 error (1) 40   2100 error .012  1.6 error .41 41 error .35 44 error .46 44 error .34 43 error (1) .0033 .86 unknown .22  14   error (1) .31 29 error (1) 1.3   18   error (1) .019 3.9 timeout 910   8200 error .045 5.3
termination-15/array11_alloca_true-termination.c.i error(signal 6) .21  27 timeout 900   13000 error .013  1.7 error .36 44 error .32 42 error .42 40 error .39 44 error (1) .0054 1.0  unknown .14  14   error (1) .28 30 error (1) 1.4   18   error (1) .014 3.8 unknown 150   5600 error .023 5.2
termination-15/array12_alloca_true-termination.c.i error(signal 6) .26  27 out of memory 850   15000 error .0068 1.3 error .41 41 error .40 43 error .44 45 error .35 44 error (1) .0037 1.0  unknown .14  14   error (1) .28 30 error (1) 1.4   18   error (1) .018 3.9 timeout 900   870 error .057 5.4
termination-15/array13_alloca_true-termination.c.i error(signal 6) .25  27 timeout 900   13000 error .019  1.7 error .42 38 error .37 40 error .41 41 error .39 42 error (1) .0030 .71 unknown .17  14   error (1) .34 29 error (1) 1.4   18   error (1) .033 3.9 timeout 900   1500 error .027 5.3
termination-15/array16_alloca_true-termination.c.i error(signal 6) .23  27 timeout 910   10000 error .013  1.5 error .40 44 error .34 41 error .47 42 error .41 47 error (1) .0055 1.1  unknown .18  14   error (1) .28 29 error (1) 1.3   18   error (1) .018 3.8 unknown 48   790 error .050 5.2
termination-15/array17_alloca_true-termination.c.i error(signal 6) .22  27 error (1) 75   5300 error .016  1.6 error .35 44 error .40 41 error .42 40 error .39 41 error (1) .0051 .81 unknown .23  14   error (1) .29 29 error (1) 1.3   18   error (1) .024 3.9 timeout 900   1300 error .031 5.5
termination-15/array18_alloca_true-termination.c.i error(signal 6) .26  27 timeout 910   12000 error .011  1.6 error .38 43 error .40 39 error .41 44 error .40 41 error (1) .0044 1.0  unknown .13  14   error (1) .27 29 error (1) 1.4   18   error (1) .036 4.0 timeout 900   6300 error .030 5.5
termination-15/count_up_alloca_true-termination.c.i error(signal 6) .29  27 true 270   5600 error .011  1.6 error .42 42 error .47 45 error .34 44 error .43 44 error (1) .0055 .90 unknown .14  14   error (1) .28 30 error (1) 1.3   18   error (1) .018 3.8 true 31   610 error .053 5.2
termination-15/count_up_and_down_alloca_true-termination.c.i error(signal 6) .22  27 true 61   5500 error .0097 1.6 error .32 40 error .35 41 error .40 41 error .42 43 error (1) .0030 .84 unknown .21  14   error (1) .34 29 error (1) 1.4   18   error (1) .020 4.0 true 41   680 error .050 5.5
termination-15/cstrcat_diffterm_alloca_true-termination.c.i error(signal 6) .21  27 timeout 910   12000 error .010  1.6 error .40 41 error .43 43 error .42 42 error .43 38 error (1) .0040 .95 unknown .21  14   error (1) .25 29 error (1) 1.5   18   error (1) .020 3.9 true 14   370 error .046 5.6
termination-15/cstrcat_malloc_true-termination.c.i true .26  29 error (1) 26   810 error .015  1.6 error .44 41 error .44 44 error .42 44 error .31 43 error (1) .0035 1.0  unknown .15  14   error (1) .29 30 error (1) 1.4   18   error (1) .033 4.0 true 14   340 error .057 5.3
termination-15/cstrcat_mixed_alloca_true-termination.c.i error(signal 6) .21  27 error (1) 97   5300 error .013  1.6 error .38 41 error .34 44 error .44 45 error .34 41 error (1) .0036 1.1  unknown .24  14   error (1) .32 29 error (1) 1.3   18   error (1) .019 3.9 true 16   350 error .039 5.3
termination-15/cstrcat_reverse_alloca_true-termination.c.i error(signal 6) .21  27 timeout 910   12000 error .012  3.8 error .41 45 error .38 38 error .39 44 error .34 41 error (1) .0038 1.2  unknown .14  14   error (1) .27 30 error (1) 1.4   18   error (1) .014 4.0 unknown 34   740 error .028 5.3
termination-15/cstrchr_diffterm_alloca_true-termination.c.i error(signal 6) .21  27 true 59   5400 error .0091 1.5 error .41 38 error .38 42 error .44 38 error .34 44 error (1) .0046 .88 unknown .14  14   error (1) .22 29 error (1) .98  18   error (1) .035 4.0 true 12   450 error .053 5.2
termination-15/cstrchr_malloc_true-termination.c.i true .18  27 true 24   1300 error .016  1.4 error .34 42 error .38 40 error .31 42 error .34 43 error (1) .0032 1.1  unknown .19  14   error (1) .28 29 error (1) 1.4   18   error (1) .021 3.9 true 13   440 error .031 5.4
termination-15/cstrchr_reverse_alloca_true-termination.c.i error(signal 6) .25  27 true 23   1300 error .013  1.7 error .34 42 error .35 41 error .35 41 error .33 41 error (1) .0040 1.0  unknown .14  14   error (1) .30 29 error (1) 1.4   18   error (1) .016 4.1 unknown 53   960 error .054 5.2
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i error(signal 6) .21  27 true 170   5400 error .012  1.6 error .34 38 error .45 41 error .41 43 error .37 43 error (1) .0041 1.0  unknown .15  14   error (1) .30 29 error (1) 1.4   19   error (1) .034 3.9 true 27   550 error .037 5.5
termination-15/cstrcmp_malloc_true-termination.c.i true .24  27 true 58   5300 error .0069 1.6 error .43 43 error .40 44 error .42 42 error .37 40 error (1) .0043 .84 unknown .21  14   error (1) .23 29 error (1) 1.4   18   error (1) .032 3.9 true 23   490 error .034 5.2
termination-15/cstrcmp_mixed_alloca_true-termination.c.i error(signal 6) .23  27 true 52   5300 error .0085 1.4 error .35 42 error .34 42 error .33 41 error .34 43 error (1) .0039 .97 unknown .18  14   error (1) .27 29 error (1) 1.5   18   error (1) .026 4.1 true 53   1000 error .054 5.3
termination-15/cstrcmp_reverse_alloca_true-termination.c.i error(signal 6) .26  27 true 52   5300 error .0081 1.6 error .34 43 error .35 44 error .43 46 error .39 43 error (1) .0036 1.2  unknown .18  14   error (1) .28 29 error (1) 1.3   18   error (1) .020 3.8 unknown 230   5900 error .054 5.5
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i error(signal 6) .22  27 timeout 910   15000 error .0077 1.6 error .39 42 error .41 41 error .42 43 error .34 42 error (1) .0033 1.1  unknown .14  14   error (1) .24 29 error (1) 1.4   18   error (1) .031 3.9 true 32   710 error .058 5.4
termination-15/cstrcpy_malloc_true-termination.c.i true .24  28 true 31   4000 error .017  1.7 error .33 42 error .42 40 error .42 40 error .41 43 error (1) .0038 .81 unknown .14  14   error (1) .28 29 error (1) 1.4   18   error (1) .020 3.8 true 30   680 error .054 5.3
termination-15/cstrcpy_mixed_alloca_true-termination.c.i error(signal 6) .22  27 error (1) 22   1300 error .010  1.6 error .43 41 error .34 46 error .39 39 error .40 43 error (1) .0036 .68 unknown .15  14   error (1) .23 29 error (1) 1.4   18   error (1) .033 4.0 true 58   1500 error .051 5.3
termination-15/cstrcpy_reverse_alloca_true-termination.c.i error(signal 6) .23  27 error (1) 27   2000 error .011  1.8 error .40 44 error .40 43 error .39 39 error .39 40 error (1) .0036 .87 unknown .15  14   error (1) .31 29 error (1) .99  18   error (1) .031 3.9 unknown 540   6400 error .033 5.5
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i error(signal 6) .22  27 timeout (true) 900   6200 error .011  1.6 error .33 44 error .38 39 error .39 41 error .43 39 error (1) .0024 .94 unknown .23  14   error (1) .32 30 error (1) 1.5   19   error (1) .018 3.9 timeout 900   5300 error .045 5.3
termination-15/cstrcspn_malloc_true-termination.c.i true .30  27 true 230   5500 error .014  1.6 error .40 42 error .33 41 error .39 41 error .34 41 error (1) .0058 .89 unknown .15  14   error (1) .28 30 error (1) 1.4   18   error (1) .016 3.9 timeout 900   5600 error .038 5.2
termination-15/cstrcspn_mixed_alloca_true-termination.c.i error(signal 6) .21  27 true 230   5500 error .0072 1.5 error .40 38 error .37 44 error .42 43 error .47 40 error (1) .0043 .97 unknown .12  14   error (1) .31 30 error (1) 1.5   18   error (1) .020 4.1 timeout 900   5700 error .023 5.2
termination-15/cstrcspn_reverse_alloca_true-termination.c.i error(signal 6) .21  27 timeout 900   7000 error .0084 1.7 error .33 40 error .35 43 error .43 44 error .34 43 error (1) .0030 .82 unknown .18  14   error (1) .28 30 error (1) 1.4   18   error (1) .013 3.9 timeout 900   8200 error .053 5.3
termination-15/cstrlen_diffterm_alloca_true-termination.c.i error(signal 6) .25  27 true 38   4700 error .011  1.9 error .34 39 error .35 43 error .41 41 error .39 44 error (1) .0033 .84 unknown .14  14   error (1) .22 29 error (1) 1.4   18   error (1) .021 3.9 true 13   380 error .050 5.2
termination-15/cstrlen_malloc_true-termination.c.i true .23  27 true 19   780 error .011  1.7 error .34 41 error .45 39 error .44 38 error .35 43 error (1) .0033 .86 unknown .19  14   error (1) .31 30 error (1) 1.4   18   error (1) .019 3.9 true 12   370 error .053 5.3
termination-15/cstrlen_reverse_alloca_true-termination.c.i error(signal 6) .26  27 timeout 900   7200 error .0077 1.8 error .40 45 error .37 41 error .36 42 error .35 43 error (1) .0037 .85 unknown .19  14   error (1) .27 29 error (1) 1.5   18   error (1) .035 4.0 unknown 38   780 error .032 5.5
termination-15/cstrncat_diffterm_alloca_true-termination.c.i error(signal 6) .21  27 timeout 910   12000 error .012  1.8 error .39 41 error .33 40 error .44 41 error .37 41 error (1) .0039 .99 unknown .19  14   error (1) .32 30 error (1) 1.4   18   error (1) .015 3.9 true 21   600 error .021 5.3
termination-15/cstrncat_malloc_true-termination.c.i true .27  31 error (1) 36   1400 error .014  1.7 error .40 41 error .34 39 error .33 38 error .33 43 error (1) .0033 .70 unknown .21  14   error (1) .30 30 error (1) 1.4   19   error (1) .014 3.8 true 34   720 error .047 5.5
termination-15/cstrncat_mixed_alloca_true-termination.c.i error(signal 6) .26  27 error (1) 190   5400 error .0089 1.4 error .33 40 error .37 44 error .39 41 error .39 39 error (1) .0033 .72 unknown .15  14   error (1) .29 30 error (1) 1.4   18   error (1) .023 4.0 true 75   2500 error .052 5.2
termination-15/cstrncat_reverse_alloca_true-termination.c.i error(signal 6) .21  27 timeout 900   5600 error .012  1.7 error .34 42 error .36 39 error .44 40 error .39 41 error (1) .0036 1.1  unknown .15  14   error (1) .32 30 error (1) 1.4   18   error (1) .016 3.9 unknown 38   750 error .053 5.5
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i error(signal 6) .22  27 true 190   5400 error .0094 1.5 error .40 44 error .37 40 error .46 43 error .37 44 error (1) .0034 .84 unknown .15  14   error (1) .34 30 error (1) 1.4   18   error (1) .031 4.0 true 18   370 error .031 5.5
termination-15/cstrncmp_malloc_true-termination.c.i true .20  28 true 110   5300 error .0077 1.5 error .38 39 error .39 43 error .40 43 error .40 42 error (1) .0038 1.0  unknown .14  14   error (1) .28 30 error (1) 1.4   18   error (1) .031 4.1 true 22   540 error .028 5.6
termination-15/cstrncmp_mixed_alloca_true-termination.c.i error(signal 6) .21  27 timeout 900   6900 error .013  1.6 error .41 40 error .43 39 error .40 41 error .35 45 error (1) .0058 .86 unknown .18  14   error (1) .29 30 error (1) 1.5   19   error (1) .030 4.0 true 69   1500 error .030 5.3
termination-15/cstrncmp_reverse_alloca_true-termination.c.i error(signal 6) .22  27 timeout 900   6900 error .0093 1.8 error .32 41 error .38 40 error .35 41 error .40 39 error (1) .0061 .84 unknown .18  14   error (1) .35 30 error (1) 1.5   18   error (1) .017 3.8 true 39   720 error .026 5.5
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i error(signal 6) .25  27 true 120   5400 error .0093 1.7 error .35 44 error .44 44 error .46 42 error .34 41 error (1) .0065 1.0  unknown .14  14   error (1) .23 30 error (1) 1.5   19   error (1) .019 3.8 true 38   820 error .033 5.6
termination-15/cstrncpy_malloc_true-termination.c.i true .25  28 true 87   5300 error .0097 1.7 error .33 37 error .36 41 error .41 45 error .40 41 error (1) .0033 .83 unknown .14  14   error (1) .36 30 error (1) 1.3   18   error (1) .024 4.0 true 22   430 error .053 5.3
termination-15/cstrncpy_mixed_alloca_true-termination.c.i error(signal 6) .23  27 error (1) 77   5300 error .015  1.5 error .41 45 error .36 44 error .42 44 error .42 40 error (1) .0054 1.0  unknown .15  14   error (1) .23 30 error (1) 1.4   18   error (1) .016 3.9 true 76   1800 error .044 5.3
termination-15/cstrncpy_reverse_alloca_true-termination.c.i error(signal 6) .26  27 error (1) 81   5300 error .0093 1.7 error .34 41 error .39 44 error .40 43 error .40 41 error (1) .0051 1.1  unknown .14  14   error (1) .30 30 error (1) 1.4   18   error (1) .033 4.1 true 130   3600 error .043 5.3
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i error(signal 6) .25  27 true 730   6100 error .017  1.5 error .40 38 error .40 41 error .36 41 error .34 39 error (1) .0037 .82 unknown .24  14   error (1) .28 30 error (1) 1.3   18   error (1) .018 3.9 timeout 900   5800 error .034 5.3
termination-15/cstrpbrk_malloc_true-termination.c.i true .28  27 true 120   5500 error .0081 1.6 error .36 41 error .38 41 error .35 42 error .40 43 error (1) .0054 1.0  unknown .19  14   error (1) .28 30 error (1) 1.3   19   error (1) .032 3.8 timeout 900   5300 error .035 5.6
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i error(signal 6) .24  27 true 120   5400 error .011  1.7 error .43 41 error .34 41 error .39 41 error .45 41 error (1) .0052 1.0  unknown .15  14   error (1) .32 30 error (1) 1.2   18   error (1) .014 3.9 timeout 900   5600 error .053 5.2
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i error(signal 6) .24  27 true 130   5500 error .017  1.6 error .42 43 error .38 38 error .42 44 error .36 41 error (1) .0061 1.1  unknown .20  14   error (1) .34 30 error (1) 1.4   18   error (1) .029 4.1 timeout 900   7700 error .048 5.3
termination-15/cstrspn_diffterm_alloca_true-termination.c.i error(signal 6) .23  27 timeout (true) 900   5900 error .0087 1.7 error .41 42 error .37 44 error .42 40 error .42 43 error (1) .0064 1.1  unknown .12  14   error (1) .25 30 error (1) 1.2   19   error (1) .032 3.9 timeout 900   6100 error .022 5.5
termination-15/cstrspn_malloc_true-termination.c.i true .20  27 true 150   5500 error .0087 1.7 error .40 44 error .40 43 error .36 42 error .42 44 error (1) .0032 .96 unknown .14  14   error (1) .29 30 error (1) 1.5   19   error (1) .034 4.0 timeout 900   5300 error .034 5.4
termination-15/cstrspn_mixed_alloca_true-termination.c.i error(signal 6) .23  27 true 150   5500 error .0094 1.7 error .34 44 error .40 38 error .33 38 error .43 45 error (1) .0040 1.1  unknown .23  14   error (1) .32 30 error (1) 1.3   18   error (1) .015 3.9 timeout 900   5300 error .056 5.4
termination-15/cstrspn_reverse_alloca_true-termination.c.i error(signal 6) .21  27 true 160   5500 error .011  1.6 error .34 44 error .43 41 error .42 41 error .41 41 error (1) .0045 1.2  unknown .14  14   error (1) .39 30 error (1) 1.4   18   error (1) .019 3.9 timeout 900   8100 error .038 5.5
termination-15/array04_alloca_false-termination.c.i error(signal 6) .25  27 error (1) 35   2400 error .013  1.5 error .34 40 error .40 41 error .40 43 error .34 42 error (1) .0058 .88 unknown .19  14   error (1) .28 29 error (1) 1.5   18   error (1) .017 3.9 unknown 68   2500 error .031 5.3
termination-15/array14_alloca_false-termination.c.i error(signal 6) .26  27 timeout 900   13000 error .019  1.7 error .36 41 error .38 39 error .41 40 error .40 42 error (1) .0029 1.0  unknown .16  14   error (1) .29 30 error (1) 1.4   18   error (1) .025 4.0 unknown 100   2400 error .045 5.3
termination-15/array15_alloca_false-termination.c.i error(signal 6) .24  27 timeout 910   13000 error .015  1.5 error .34 41 error .39 41 error .35 44 error .40 43 error (1) .0054 .89 unknown .15  14   error (1) .28 30 error (1) 1.5   18   error (1) .019 3.8 unknown 81   2300 error .035 5.5
termination-15/array19_alloca_false-termination.c.i error(signal 6) .18  27 error (1) 41   2800 error .0067 1.4 error .41 44 error .42 44 error .34 43 error .35 43 error (1) .0027 .84 unknown .16  14   error (1) .28 29 error (1) 1.3   18   error (1) .012 3.9 unknown 73   2400 error .020 5.4
termination-15/array20_alloca_false-termination.c.i error(signal 6) .22  26 timeout 900   11000 error .0075 1.7 error .41 44 error .36 42 error .41 44 error .40 44 error (1) .0044 .83 unknown .23  14   error (1) .27 29 error (1) 1.3   18   error (1) .027 3.9 unknown 66   2500 error .046 5.5
../../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)
total tasks 631 300 29000 631 95000 1800000 631 7.3 1000 631 240 26000 631 240 26000 631 250 26000 631 240 26000 631 2.8 610 631 95 7000 631 83000 44000 631 740 10000 631 15 2500 631 70000 740000 631 26 3400
    correct results 265 32 6200 500 17000 870000 0 0 0 0 0 0 0 323 3500 14000 0 0 503 12000 240000 0
        correct true 265 32 6200 409 16000 820000 0 0 0 0 0 0 0 245 2700 11000 0 0 392 9600 200000 0
        correct false 0 91 870 54000 0 0 0 0 0 0 0 78 790 3000 0 0 111 2000 46000 0
    incorrect results 117 13 2700 0 0 0 0 0 0 0 0 2 650 370 0 0 0 0
        incorrect true 117 13 2700 0 0 0 0 0 0 0 0 2 650 370 0 0 0 0
        incorrect false 0 0 0 0 0 0 0 0 0 0 0 0 0 0
score (631 tasks, max score: 1129) -3214 909 0 0 0 0 0 0 0 504 0 0 895 0
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