Tool 2LS 0.7.2-sv-comp19 AProVE 84fce4cdfd CBMC CBMC Path 5.10 () CPAchecker 1.7-svn 29852 DepthK 3.1 DIVINE ESBMC version 6.0.0 64-bit x86_64 linux PeSCo 1.7-svn b8d6131600+ Pinaka 0.1 SMACK 1.9.3 symbiotic 6.0.3-77d4af47 ULTIMATE Automizer 0.1.23-635dfa2a ULTIMATE Kojak 0.1.23-635dfa2a ULTIMATE Taipan 0.1.23-635dfa2a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-04 22:44:17 CET 2018-12-04 22:41:51 CET 2018-12-04 22:48:40 CET 2018-12-04 22:45:10 CET 2018-12-05 05:46:16 CET 2018-12-05 09:36:33 CET 2018-12-10 10:00:20 CET 2018-12-06 11:06:04 CET 2018-12-06 11:03:31 CET 2018-12-06 12:44:04 CET 2018-12-06 20:14:43 CET 2018-12-07 19:13:55 CET 2018-12-07 21:42:05 CET 2018-12-08 07:42:40 CET 2018-12-08 11:04:44 CET 2018-12-08 14:19:36 CET
Run set 2ls.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] aprove.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] cbmc.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] cbmc-path.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] cpa-seq.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] depthk.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] divine-explicit.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] divine-smt.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] esbmc-kind.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] pesco.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] pinaka.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] smack.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] symbiotic.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] uautomizer.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] ukojak.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other] utaipan.[sv-comp19_prop-termination.Termination-MainControlFlow; sv-comp19_prop-termination.Termination-MainHeap; sv-comp19_prop-termination.Termination-Other]
Options --graphml-witness witness.graphml --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp19 -heap 10000M -benchmark -timelimit 900s --no-symbolic -s kinduction -svcomp19-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900s --graphml-witness witness.graphml -w error-witness.graphml --witness witness.graphml --full-output --full-output --full-output
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J) status cpu (s) mem (MB) energy (J)
termination-crafted/Arrays02-EquivalentConstantIndices_false-termination_true-valid-memsafety_true-no-overflow.c false(termination) 7.7   220 96    false(termination) 7.6 340 57 error (42) 880     4700   3700    error (42) 870     2500   5300    timeout 900   4300 11000 unknown .81 66 8.4 unknown .030 4.6 .18  unknown .039 4.6 .22  timeout 900     1100 11000    timeout 900   4100 12000 timeout 900    1700 5200   disqualified .045 9.2 .47 timeout (verification) 900     63 9800    false(termination) 8.7 370 63 error (5) .025 5.6 .12  error (5) .024 5.6 .10 
termination-crafted/Bangalore_v2_true-no-overflow_false-termination_true-valid-memsafety.c false(termination) .16  24 1.0  false(termination) 6.8 340 49 error (42) 880     6500   4700    error (42) 880     390   5300    false(termination) 3.5 280 32 unknown .77 65 7.5 unknown .026 4.6 .23  unknown .034 4.6 .19  timeout 900     160 12000    false(termination) 3.5 280 31 timeout 900    540 5100   disqualified .050 9.4 .49 timeout (verification) 900     75 14000    false(termination) 7.1 350 58 error (5) .029 5.6 .15  error (5) .025 5.6 .12 
termination-crafted/Binary_Search_false-termination_true-valid-memsafety.c error (5) .096 24 .77 error (1) 26   1400 210 error (42) 880     13000   8900    out of memory 300     15000   3700    false(termination) 5.2 310 45 out of memory 300    15000 3900   unknown .030 4.6 .22  unknown .054 4.6 .13  out of memory 380     15000 3500    error (recursion) 3.3 270 29 out of memory 210    15000 2700   disqualified .046 9.7 .46 timeout (verification) 900     93 12000    false(termination) 8.6 370 77 error (5) .023 5.6 .10  error (5) .036 5.5 .12 
termination-crafted/Cairo_step2_true-no-overflow_false-termination_true-valid-memsafety.c error (5) .45  35 4.7  false(termination) 12   510 83 error (42) 880     6100   3100    error (42) 880     380   5500    unknown 6.9 450 63 unknown .78 66 9.8 unknown .030 4.6 .21  unknown .029 4.6 .17  timeout 900     900 10000    unknown 7.1 470 63 timeout 900    400 3800   disqualified .047 9.5 .41 timeout (verification) 900     260 12000    unknown 65   570 710 error (5) .024 5.6 .12  error (5) .069 5.6 .14 
termination-crafted/Division_true-no-overflow_false-termination_true-valid-memsafety.c false(termination) .15  24 1.1  false(termination) 6.5 350 53 error (42) 880     6200   3800    error (42) 870     820   6000    false(termination) 3.9 280 35 unknown .80 65 8.3 unknown .028 4.6 .21  unknown .029 4.6 .14  timeout 900     1000 11000    false(termination) 3.9 280 36 timeout 900    1500 5000   disqualified .048 9.6 .45 timeout (verification) 900     1100 11000    false(termination) 7.8 370 63 error (5) .051 5.5 .13  error (5) .024 5.6 .12 
termination-crafted/Madrid_true-no-overflow_false-termination_true-valid-memsafety.c false(termination) .13  24 1.0  false(termination) 2.9 230 25 out of memory 180     15000   2500    out of memory 140     15000   1900    false(termination) 3.6 280 33 unknown .78 66 8.9 unknown .030 4.6 .24  unknown .030 4.6 .22  timeout 900     14000 9900    false(termination) 3.6 280 38 out of memory 860    15000 11000   disqualified .046 9.2 .42 false(termination) .13  15 1.6  false(termination) 7.9 340 54 error (5) .027 5.6 .13  error (5) .024 5.6 .10 
termination-crafted/MutualRecursion_1a_true-no-overflow_false-termination_true-valid-memsafety.c error (5) .11  24 .72 error (1) 11   510 92 error (42) 880     220   3300    out of memory 310     15000   4400    error (recursion) 6.8 300 65 out of memory (false(no-overflow)) 230    15000 2900   unknown .023 4.6 .27  unknown .028 4.6 .22  out of memory 290     15000 3500    error (recursion) 3.2 270 29 out of memory 39    15000 530   disqualified .046 9.8 .41 timeout (verification) 900     850 9200    false(termination) 11   490 91 error (5) .032 5.6 .12  error (5) .034 5.6 .15 
termination-crafted/Mysore_false-termination_true-valid-memsafety.c timeout 900     3000 12000    timeout 900   2300 14000 error (42) 880     5700   4400    error (42) 880     570   4900    unknown 11   720 98 unknown .77 65 9.5 unknown .033 4.7 .24  unknown .029 4.6 .23  timeout 900     230 11000    unknown 14   900 130 timeout 900    740 4700   disqualified .044 9.9 .45 timeout (verification) 900     19 11000    unknown 43   700 430 error (5) .024 5.6 .11  error (5) .032 5.6 .11 
termination-crafted/NestedRecursion_1a_false-termination_true-valid-memsafety.c error (5) .096 24 .73 error (1) 17   790 130 error (42) 870     390   3800    error (42) 880     450   4700    false(termination) 5.9 320 53 out of memory 210    15000 2700   unknown .028 4.6 .30  unknown .029 4.6 .22  out of memory 350     15000 4100    error (recursion) 3.3 270 33 out of memory 760    15000 9500   disqualified .042 8.9 .46 timeout (verification) 900     7600 12000    false(termination) 8.7 360 68 error (5) .027 5.6 .17  error (5) .025 5.7 .16 
termination-crafted/NestedRecursion_2b_true-no-overflow_false-termination_true-valid-memsafety.c error (5) .093 23 .85 error (1) 8.3 380 75 error (42) 880     720   4900    error (42) 880     920   7800    false(termination) 5.9 350 53 out of memory (false(no-overflow)) 200    15000 2500   unknown .045 4.6 .14  unknown .056 4.6 .17  out of memory 340     15000 3700    error (recursion) 3.2 270 30 out of memory 610    15000 9100   disqualified .046 9.5 .42 timeout (verification) 900     5000 9700    false(termination) 13   500 120 error (5) .054 5.5 .16  error (5) .023 5.6 .13 
termination-crafted/NonTermination3_false-termination_false-valid-deref.c false(termination) .51  45 5.1  error (1) 15   660 110 error (42) 880     2200   12000    error (42) 880     870   6600    timeout 900   4400 11000 unknown .78 66 9.2 unknown .028 4.6 .20  unknown .036 4.7 .20  timeout 900     1800 11000    timeout 900   4200 12000 timeout 900    960 4900   disqualified .049 9.2 .38 timeout (verification) 900     170 11000    false(termination) 17   560 150 error (5) .026 5.6 .18  error (5) .024 5.6 .12 
termination-crafted/NonTermination3_true-no-overflow_false-termination.c false(termination) .51  45 5.5  error (1) 13   600 110 error (42) 880     2200   10000    error (42) 880     920   8800    timeout 900   4300 11000 unknown .77 66 7.9 unknown .030 4.6 .19  unknown .045 4.5 .21  timeout 900     1400 12000    timeout 900   4200 11000 timeout 900    930 5000   disqualified .065 9.6 .44 timeout (verification) 900     150 8100    false(termination) 17   520 150 error (5) .054 5.5 .27  error (5) .027 5.6 .16 
termination-crafted/NonTerminationSimple7_true-no-overflow_false-termination_true-valid-memsafety.c false(termination) .15  24 .98 false(termination) 4.3 280 32 error (42) 880     6600   4300    error (42) 880     380   7000    false(termination) 3.7 280 31 unknown .79 66 9.3 unknown .035 4.6 .25  unknown .032 4.6 .24  timeout 900     770 11000    false(termination) 3.7 280 34 timeout 900    3400 3800   disqualified .057 9.1 .35 timeout (verification) 900     18 13000    false(termination) 8.4 370 62 error (5) .024 5.6 .094 error (5) .045 5.6 .11 
termination-crafted/RecursiveNonterminating_false-termination_true-valid-memsafety.c error (5) .089 24 .84 false(termination) 10   510 85 out of memory 300     15000   1900    error (42) 880     1300   9000    false(termination) 4.0 280 39 unknown .82 66 8.3 unknown .029 4.6 .22  unknown .030 4.6 .22  timeout 900     1800 10000    error (recursion) 3.2 270 32 out of memory 580    15000 4200   disqualified .046 9.0 .44 timeout (verification) 900     51 13000    false(termination) 8.8 380 69 error (5) .025 5.6 .15  error (5) .022 5.7 .18 
termination-crafted/Rotation180_false-termination_true-valid-memsafety.c false(termination) .16  24 1.3  false(termination) 5.3 340 44 out of memory 270     15000   3500    out of memory 200     15000   2900    false(termination) 3.7 280 33 unknown .77 65 8.6 unknown .042 4.7 .22  unknown .028 4.6 .24  timeout 900     4600 11000    false(termination) 3.6 280 35 timeout 900    13000 11000   disqualified .047 9.1 .43 false(termination) .16  17 2.1  false(termination) 7.7 370 58 error (5) .049 5.6 .091 error (5) .026 5.6 .10 
termination-crafted/WhileTrue_true-no-overflow_false-termination_true-valid-memsafety.c false(termination) .16  24 .89 false(termination) 2.4 220 23 out of memory 150     15000   2000    out of memory 150     15000   2300    false(termination) 3.5 270 35 unknown .80 66 8.4 unknown .054 4.6 .15  unknown .031 4.6 .17  out of memory 280     15000 4000    false(termination) 3.6 280 28 out of memory 60    15000 920   disqualified .046 9.1 .40 false(termination) .13  15 1.2  false(termination) 7.4 350 65 error (5) .022 5.6 .10  error (5) .029 5.5 .15 
termination-crafted/2Nested_true-termination_true-valid-memsafety.c timeout 900     2900 10000    true 7.4 390 52 error (42) 880     5200   3400    error (42) 880     410   6000    true 47   460 450 unknown .79 65 8.5 unknown .052 4.7 .14  unknown .031 4.6 .29  timeout 900     400 11000    true 78   440 930 timeout 900    6900 3900   disqualified .050 9.3 .42 timeout (verification) 900     300 7600    true 8.5 350 63 error (5) .028 5.7 .16  error (5) .025 5.7 .18 
termination-crafted/4BitCounterPointer_true-no-overflow_true-termination_true-valid-memsafety.c true .45  59 3.1  true 4.1 330 36 true .13  8.0 1.8  true .19  8.1 1.3  timeout 910   4100 12000 unknown .81 66 8.2 unknown .031 4.6 .22  unknown .032 4.6 .24  true .089 26 .97 timeout 900   4000 12000 true .67 61 6.1 disqualified .045 9.4 .47 true .11  15 1.2  true 37   800 360 error (5) .025 5.5 .12  error (5) .030 5.5 .19 
termination-crafted/4NestedWith3Variables_true-termination_true-valid-memsafety.c timeout 900     200 10000    true 19   1200 130 error (42) 880     820   5700    error (42) 870     1800   5800    timeout 900   4500 10000 unknown .81 67 9.2 unknown .054 4.7 .14  unknown .045 4.6 .15  timeout 900     300 11000    timeout 900   4500 12000 timeout 900    9400 5400   disqualified .047 9.1 .42 timeout (verification) 900     200 5800    true 21   370 250 error (5) .024 5.6 .11  error (5) .023 5.6 .16 
termination-crafted/Ackermann_true-termination_true-valid-memsafety.c error (5) .093 24 .84 true 29   2400 260 error (42) 880     250   4500    out of memory 170     15000   2000    true 6.3 350 56 out of memory 280    15000 3300   unknown .030 4.6 .15  unknown .031 4.6 .19  out of memory 450     15000 5500    error (recursion) 3.3 270 28 out of memory 53    15000 730   disqualified .051 9.3 .42 probably out of memory (killed (signal 9, verification)) 530     15000 8700    timeout 910   14000 4900 error (5) .024 5.6 .21  error (5) .025 5.7 .17 
termination-crafted/Arrays01-EquivalentConstantIndices_true-no-overflow_true-termination_true-valid-memsafety.c true 1.1   330 11    true 8.4 470 58 error (42) 880     5500   3800    error (42) 870     2000   5800    out of memory 370   15000 4200 unknown .80 66 9.3 unknown .027 4.6 .17  unknown .032 4.7 .20  timeout 900     1100 14000    out of memory 370   15000 4200 timeout 900    870 4300   disqualified .048 9.7 .43 true .14  17 1.6  timeout 900   960 11000 error (5) .023 5.6 .11  error (5) .024 5.6 .15 
termination-crafted/Arrays03-ValueRestictsIndex_true-no-overflow_true-termination_true-valid-memsafety.c true 1.7   360 15    true 12   720 89 error (42) 880     6400   3400    error (42) 880     940   6100    out of memory 380   15000 5100 unknown .79 67 9.3 unknown .027 4.8 .25  unknown .029 4.7 .20  timeout 900     670 10000    out of memory 340   15000 4600 timeout 900    1300 4300   disqualified .063 9.3 .41 timeout (verification) 900     210 9900    timeout 900   760 12000 error (5) .025 5.7 .17  error (5) .024 5.6 .17 
termination-crafted/Bangalore_true-no-overflow_true-termination_true-valid-memsafety.c true .14  24 1.1  true 5.2 300 36 error (42) 880     6200   4100    error (42) 880     380   6400    true 4.3 290 41 unknown .79 66 8.0 unknown .033 4.6 .25  unknown .030 4.7 .22  timeout 900     98 13000    true 4.4 290 41 timeout 900    500 6600   disqualified .043 9.1 .51 timeout (verification) 900     71 12000    true 7.8 340 60 error (5) .022 5.7 .11  error (5) .050 5.6 .092
termination-crafted/Bangalore_v4_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     1900 11000    true 2.7 220 25 true .12  5.9 .36 true .053 6.5 .30 unknown 4.2 280 36 unknown .82 67 9.3 unknown .032 4.6 .31  unknown .028 4.6 .27  true .11  26 1.2  unknown 4.1 290 37 true .37 59 3.6 disqualified .051 9.4 .41 true .16  19 1.6  true 11   460 92 error (5) .024 5.6 .15  error (5) .025 5.6 .12 
termination-crafted/Benghazi_nondet_true-termination_true-valid-memsafety.c timeout 900     3700 7900    true 11   660 70 error (42) 880     3600   3800    error (42) 880     560   6200    true 150   530 1700 unknown .81 66 8.1 unknown .035 4.6 .21  unknown .027 4.6 .25  timeout 900     310 13000    timeout 900   660 9900 timeout 900    720 5100   disqualified .047 9.2 .42 timeout (verification) 900     140 9500    true 11   390 120 error (5) .045 5.6 .10  error (5) .024 5.6 .14 
termination-crafted/Benghazi_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     3900 8300    true 8.9 690 73 error (42) 880     4300   3900    error (42) 880     330   6000    true 7.9 340 68 unknown .79 67 9.0 unknown .054 4.6 .16  unknown .028 4.6 .24  timeout 900     1400 11000    true 7.2 440 62 timeout 900    430 2800   disqualified .064 9.0 .37 timeout (verification) 900     520 6400    true 12   350 120 error (5) .025 5.6 .086 error (5) .026 5.7 .11 
termination-crafted/Cairo_step2_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     2000 11000    true 11   640 84 error (42) 880     5700   4400    error (42) 880     360   5100    true 4.7 300 38 unknown .81 66 7.8 unknown .031 4.7 .19  unknown .029 4.8 .22  timeout 900     980 10000    true 4.8 290 48 timeout 900    420 4700   disqualified .047 9.4 .37 timeout (verification) 900     560 10000    true 10   390 75 error (5) .025 5.7 .12  error (5) .023 5.6 .15 
termination-crafted/Cairo_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     2000 12000    true 4.2 280 33 error (42) 880     6500   3400    error (42) 880     390   6400    true 4.6 290 45 unknown .80 66 11   unknown .029 4.6 .24  unknown .033 4.6 .33  timeout 900     910 10000    true 4.4 290 46 timeout 900    330 4200   disqualified .043 9.9 .46 true .12  16 1.5  true 9.6 390 67 error (5) .026 5.6 .16  error (5) .026 5.6 .15 
termination-crafted/Copenhagen_disj_true-termination_true-valid-memsafety.c timeout 900     3000 8500    true 13   610 87 error (42) 880     5100   5000    error (42) 880     420   6500    timeout 900   1300 12000 unknown .79 67 7.6 unknown .038 4.7 .23  unknown .055 4.6 .15  timeout 900     870 12000    timeout 900   2100 11000 timeout 900    530 3800   disqualified .044 9.5 .42 timeout (verification) 900     610 8000    unknown 67   1600 690 error (5) .026 5.7 .12  error (5) .031 5.5 .19 
termination-crafted/Copenhagen_true-no-overflow_true-termination_true-valid-memsafety.c true .48  40 5.6  true 5.3 360 47 error (42) 880     4700   3500    error (42) 880     420   5300    true 4.4 290 41 unknown .79 66 9.4 unknown .044 4.5 .18  unknown .050 4.6 .13  timeout 900     920 13000    true 4.4 290 39 timeout 900    500 4200   disqualified .046 9.5 .37 timeout (verification) 900     620 5900    true 8.8 380 74 error (5) .024 5.6 .13  error (5) .032 5.5 .20 
termination-crafted/Gothenburg_true-termination_true-valid-memsafety.c timeout 900     630 7800    true 21   1300 180 error (42) 880     6100   5900    error (42) 880     840   6400    true 7.0 460 64 unknown .83 66 8.7 unknown .028 4.7 .25  unknown .031 4.6 .21  timeout 900     330 10000    true 6.9 460 62 timeout 900    940 3900   disqualified .044 9.7 .42 timeout (verification) 900     580 6200    true 26   820 210 error (5) .029 5.5 .14  error (5) .031 5.6 .20 
termination-crafted/Gothenburg_v2_true-termination_true-valid-memsafety.c true .41  24 3.6  timeout 900   2200 13000 error (42) 880     5700   3800    error (42) 870     840   4100    true 6.4 460 53 unknown .83 66 9.2 unknown .030 4.6 .23  unknown .030 4.6 .23  timeout 900     280 11000    true 6.9 440 59 timeout 900    1100 5600   disqualified .049 9.1 .37 timeout (verification) 900     330 6200    unknown 48   1300 550 error (5) .029 5.5 .18  error (5) .025 5.6 .16 
termination-crafted/LexIndexValue-Array_true-no-overflow_true-termination_true-valid-memsafety.c out of memory 57     15000 710    true 34   2500 250 error (42) 880     13000   8100    out of memory 160     15000   2100    timeout 910   4400 12000 unknown .79 67 8.6 unknown .031 4.6 .15  unknown .027 4.6 .14  timeout 900     2100 13000    timeout 910   4400 13000 timeout 900    13000 11000   disqualified .045 9.0 .45 timeout (verification) 900     2800 6700    timeout 900   760 11000 error (5) .027 5.6 .18  error (5) .024 5.6 .12 
termination-crafted/LexIndexValue-Pointer_true-termination_true-valid-memsafety.c error (134) .26  47 1.5  timeout 900   14000 9800 error (42) 880     13000   7600    out of memory 490     15000   5000    timeout 910   4300 11000 unknown .77 66 10   unknown .052 4.6 .15  unknown .026 4.6 .25  timeout 900     5000 11000    timeout 910   4200 13000 timeout 900    13000 8600   disqualified .064 9.4 .41 timeout (verification) 900     2800 7000    timeout 900   750 10000 error (5) .024 5.6 .13  error (5) .037 5.5 .13 
termination-crafted/Lobnya-Boolean-Reordered_true-termination_true-valid-memsafety.c timeout 900     2900 11000    true 5.2 330 38 error (42) 880     1600   10000    error (42) 880     800   7200    unknown 6.6 470 55 unknown .80 67 10   unknown .031 4.8 .24  unknown .028 4.8 .22  timeout 900     1200 9200    unknown 7.1 470 59 timeout 900    440 3900   disqualified .044 9.4 .39 timeout (verification) 900     440 6800    true 9.0 380 72 error (5) .051 5.6 .14  error (5) .049 5.6 .098
termination-crafted/McCarthy91_Iteration_true-no-overflow_true-termination_true-valid-memsafety.c true .23  24 1.9  true 10   550 72 error (42) 880     1400   7200    out of memory 130     15000   1600    timeout 900   2000 7000 unknown .79 66 8.9 unknown .040 4.8 .26  unknown .054 4.7 .19  timeout 900     360 12000    timeout 900   2900 9100 out of memory 43    15000 590   disqualified .045 9.8 .48 timeout (verification) 900     110 9800    true 26   800 230 error (5) .026 5.6 .22  error (5) .028 5.6 .14 
termination-crafted/McCarthy91_Recursion_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .095 24 .71 out of memory 800   15000 5500 error (42) 880     210   3900    out of memory 170     15000   2500    true 4.5 290 40 out of memory (false(no-overflow)) 200    15000 3400   unknown .028 4.6 .20  unknown .028 4.6 .18  timeout 900     15000 9500    error (recursion) 3.4 270 35 out of memory 43    15000 650   disqualified .043 9.7 .42 timeout (verification) 900     270 11000    true 53   710 670 error (5) .033 5.5 .16  error (5) .026 5.6 .11 
termination-crafted/MenloPark_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     2800 11000    error (1) 21   770 210 error (42) 880     4700   3400    error (42) 880     320   6200    true 6.4 430 57 unknown .78 66 9.3 unknown .028 4.6 .16  unknown .035 4.6 .14  timeout 900     1100 10000    true 7.0 450 63 timeout 900    420 4000   disqualified .052 9.7 .41 timeout (verification) 900     530 7800    true 10   380 83 error (5) .026 5.6 .18  error (5) .028 5.7 .18 
termination-crafted/MutualRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .097 24 .83 true 11   950 88 error (42) 880     220   3100    out of memory 310     15000   4400    error (recursion) 6.7 370 57 out of memory (false(no-overflow)) 240    15000 3000   unknown .036 4.6 .23  unknown .032 4.5 .21  out of memory 300     15000 3500    error (recursion) 3.4 270 33 out of memory 41    15000 560   disqualified .064 9.5 .43 timeout (verification) 900     470 12000    timeout 900   8500 11000 error (5) .024 5.6 .15  error (5) .025 5.6 .15 
termination-crafted/Mysore_true-termination_true-valid-memsafety.c timeout 900     3000 11000    true 6.2 450 53 error (42) 880     1000   10000    error (42) 880     1100   12000    true 5.3 340 45 unknown .82 66 8.6 unknown .031 4.6 .19  unknown .029 4.8 .075 timeout 900     160 11000    true 5.3 330 48 timeout 900    180 8100   disqualified .046 9.0 .41 timeout (verification) 900     100 11000    true 11   380 94 error (5) .027 5.7 .067 error (5) .025 5.6 .18 
termination-crafted/NestedRecursion_1b_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .097 24 .77 error (1) 16   740 110 error (42) 880     390   5400    error (42) 880     450   4700    error (recursion) 5.6 300 48 out of memory (false(no-overflow)) 210    15000 2800   unknown .034 4.6 .22  unknown .054 4.6 .13  out of memory 750     15000 6800    error (recursion) 3.2 270 32 out of memory 340    15000 4300   disqualified .072 9.3 .37 timeout (verification) 900     800 10000    true 24   530 230 error (5) .030 5.7 .071 error (5) .025 5.5 .18 
termination-crafted/NestedRecursion_1c_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .10  24 1.5  true 5.3 350 43 error (42) 880     270   3200    error (42) 880     310   4600    error (recursion) 4.7 280 46 out of memory (false(no-overflow)) 240    15000 2900   unknown .033 4.7 .29  unknown .033 4.6 .18  timeout 900     9100 11000    error (recursion) 3.3 270 29 out of memory 270    15000 3100   disqualified .048 9.5 .40 timeout (verification) 900     560 8500    true 11   530 91 error (5) .026 5.7 .089 error (5) .019 5.4 .19 
termination-crafted/NestedRecursion_1d_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .14  24 .79 true 11   620 86 error (42) 880     390   3600    error (42) 880     450   5000    error (recursion) 5.5 300 51 out of memory (false(no-overflow)) 210    15000 3000   unknown .031 4.6 .22  unknown .026 4.6 .20  out of memory 390     15000 5200    error (recursion) 3.2 270 31 out of memory 350    15000 4400   disqualified .044 9.7 .44 timeout (verification) 900     640 7000    true 16   680 140 error (5) .025 5.6 .12  error (5) .032 5.6 .11 
termination-crafted/NestedRecursion_2c_true-no-overflow_true-termination_true-valid-memsafety.c error (5) .094 24 .91 true 8.6 560 70 out of memory 860     15000   5500    error (42) 870     300   11000    true 4.5 290 37 out of memory (false(no-overflow)) 200    15000 2800   unknown .029 4.6 .23  unknown .029 4.7 .16  out of memory 320     15000 4100    error (recursion) 3.3 270 30 out of memory 300    15000 4000   disqualified .047 8.9 .74 timeout (verification) 900     1300 11000    timeout 900   12000 9900 error (5) .023 5.7 .16  error (5) .023 5.7 .096
termination-crafted/Nyala-2lex_true-no-overflow_true-termination_true-valid-memsafety.c true .30  24 3.0  true 15   800 88 error (42) 880     1500   7800    out of memory 210     15000   2500    true 5.1 290 42 unknown .78 67 8.1 unknown .035 4.5 .22  unknown .034 4.6 .17  timeout 900     310 12000    true 5.2 290 45 timeout 900    510 4500   disqualified .046 9.4 .38 timeout (verification) 900     3200 11000    true 10   440 78 error (5) .024 5.6 .18  error (5) .021 5.7 .17 
termination-crafted/Parallel_true-no-overflow_true-termination_true-valid-memsafety.c true .21  24 2.3  true 9.9 470 67 error (42) 870     1700   7800    out of memory 200     15000   2400    true 5.2 290 46 unknown .80 67 8.4 unknown .030 4.7 .12  unknown .031 4.6 .21  timeout 900     310 12000    true 5.5 300 49 timeout 900    310 4000   disqualified .043 9.4 .41 true .12  16 1.4  true 9.3 400 78 error (5) .048 5.5 .11  error (5) .024 5.6 .091
termination-crafted/Piecewise_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     230 12000    true 26   1800 170 error (42) 880     1400   7700    out of memory 140     15000   1900    true 5.5 300 49 unknown .79 66 8.3 unknown .057 4.7 .22  unknown .033 4.6 .24  timeout 900     280 12000    true 5.4 290 53 timeout 900    320 4100   disqualified .043 9.8 .46 timeout (verification) 900     300 14000    true 13   550 100 error (5) .029 5.6 .12  error (5) .023 5.6 .12 
termination-crafted/Pure2Phase_true-termination_true-valid-memsafety.c timeout 900     4700 12000    true 11   550 74 error (42) 870     170   11000    out of memory 220     15000   3100    true 6.0 340 51 unknown .80 65 9.4 unknown .054 4.6 .15  unknown .028 4.7 .27  timeout 900     590 11000    true 6.3 340 53 out of memory 58    15000 810   disqualified .050 9.3 .57 timeout (verification) 900     460 8200    true 10   460 87 error (5) .050 5.5 .20  error (5) .024 5.6 .19 
termination-crafted/Pure3Phase_true-termination_true-valid-memsafety.c timeout 900     3900 12000    timeout 910   11000 4500 error (42) 880     1200   7700    out of memory 170     15000   2100    true 8.9 500 83 unknown .83 66 8.6 unknown .030 4.6 .15  unknown .048 4.6 .19  timeout 900     480 9700    true 9.2 390 82 out of memory 490    15000 2400   disqualified .043 9.5 .45 timeout (verification) 900     90 11000    true 14   480 110 error (5) .037 5.5 .15  error (5) .040 5.7 .12 
termination-crafted/RecursiveMultiplication_true-termination_true-valid-memsafety.c error (5) .095 24 .78 true 11   700 83 error (42) 880     14000   8700    out of memory 240     15000   2900    unknown 5.8 330 51 out of memory 240    15000 3700   unknown .027 4.6 .24  unknown .031 4.6 .23  out of memory 350     15000 5400    error (recursion) 3.3 270 31 out of memory 71    15000 960   disqualified .049 9.2 .42 timeout (verification) 900     660 12000    true 12   490 110 error (5) .046 5.7 .12  error (5) .025 5.6 .15 
termination-crafted/Singapore_true-termination_true-valid-memsafety.c timeout 900     2900 11000    out of memory 560   15000 2800 true 6.4   15   82    true 3.7   14   37    true 7.7 460 69 unknown .80 67 9.4 unknown .029 4.6 .23  unknown .056 4.7 .20  true 4.6   32 69    true 8.5 470 71 timeout 900    9200 6700   disqualified .050 9.1 .50 true 36     56 480    true 23   460 260 error (5) .023 5.6 .15  error (5) .049 5.5 .11 
termination-crafted/Stockholm_true-termination_true-valid-memsafety.c true .28  24 2.3  true 5.9 410 44 error (42) 880     5600   3900    error (42) 880     510   5900    true 5.0 300 43 unknown .82 67 7.2 unknown .052 4.6 .15  unknown .034 4.7 .25  timeout 900     240 13000    true 5.1 300 47 timeout 900    810 4200   disqualified .071 9.4 .42 timeout (verification) 900     500 7100    true 22   610 220 error (5) .026 5.6 .085 error (5) .027 5.5 .18 
termination-crafted/SyntaxSupportPointer01_true-no-overflow_true-termination.c timeout 900     2800 12000    true 4.9 300 43 error (42) 880     6000   3800    error (42) 870     390   8600    true 5.2 290 52 unknown .79 66 8.0 unknown .051 4.6 .15  unknown .031 4.6 .20  timeout 900     640 12000    true 5.3 300 49 timeout 900    380 4100   disqualified .046 9.2 .40 true .12  16 1.5  true 9.9 380 81 error (5) .026 5.7 .17  error (5) .030 5.7 .16 
termination-crafted/SyntaxSupportPointer01_true-termination_true-valid-memsafety.c true .31  50 2.4  true 4.4 300 36 error (42) 880     6000   3800    error (42) 870     300   6900    true 5.1 290 46 unknown .77 67 9.1 unknown .051 4.7 .19  unknown .029 4.6 .25  timeout 900     640 10000    true 5.4 310 48 timeout 900    380 4100   disqualified .047 8.9 .52 true .12  15 1.4  true 9.8 380 77 error (5) .028 5.5 .23  error (5) .026 5.6 .10 
termination-crafted/SyntaxSupportPointer01_true-valid-memsafety_true-termination.c true .34  52 2.3  true 4.0 270 34 error (42) 880     5800   3600    error (42) 870     300   8200    true 4.7 290 49 unknown .79 66 9.8 unknown .028 4.8 .25  unknown .029 4.6 .21  timeout 900     650 13000    true 4.6 290 44 timeout 900    390 6400   disqualified .050 9.7 .40 timeout (verification) 900     530 8700    true 8.5 370 71 error (5) .027 5.6 .14  error (5) .026 5.6 .13 
termination-crafted/TelAviv-Amir-Minimum_true-no-overflow_true-termination_true-valid-memsafety.c timeout 900     180 11000    out of memory 740   15000 4000 error (42) 880     1700   7600    out of memory 120     15000   1500    true 6.1 310 56 unknown .81 67 8.6 unknown .029 4.6 .14  unknown .055 4.6 .17  timeout 900     370 11000    true 6.3 320 57 timeout 900    260 6400   disqualified .050 9.2 .39 timeout (verification) 900     310 12000    true 17   630 140 error (5) .027 5.6 .11  error (5) .032 5.6 .21 
termination-crafted/Thun_true-termination_true-valid-memsafety.c timeout 900     2600 11000    true 6.4 360 48 true .18  7.4 2.5  true .22  7.2 2.7  true 5.6 310 52 unknown .78 66 9.1 unknown .028 4.6 .27  unknown .045 4.6 .19  true .95  26 12    true 5.8 310 53 true 1.8  110 28   disqualified .047 9.7 .43 true .94  23 13    true 9.4 380 74 error (5) .025 5.6 .16  error (5) .025 5.5 .17 
termination-crafted/Toulouse-BranchesToLoop_true-termination_true-valid-memsafety.c timeout 900     2700 10000    true 9.2 510 68 error (42) 880     5100   3900    error (42) 880     500   6000    true 6.7 430 60 unknown .80 67 8.1 unknown .028 4.7 .21  unknown .029 4.8 .27  timeout 900     330 10000    true 6.9 460 63 timeout 900    530 6600   disqualified .048 9.4 .41 timeout (verification) 900     170 11000    true 34   650 350 error (5) .023 5.7 .18  error (5) .028 5.7 .17 
termination-crafted/Toulouse-MultiBranchesToLoop_true-termination_true-valid-memsafety.c timeout 900     2800 10000    true 9.0 480 70 error (42) 880     5100   4200    error (42) 880     500   5700    true 8.0 480 71 unknown .82 66 9.9 unknown .030 4.6 .21  unknown .028 4.5 .22  timeout 900     330 12000    true 8.1 480 65 timeout 900    520 3700   disqualified .048 9.9 .44 timeout (verification) 900     150 12000    true 31   730 360 error (5) .036 5.7 .12  error (5) .023 5.6 .16 
termination-crafted/Waldkirch_true-no-overflow_true-termination_true-valid-memsafety.c true .18  24 1.5  true 3.9 280 30 error (42) 880     6600   5700    error (42) 880     380   6700    true 4.1 280 41 unknown .76 65 7.7 unknown .027 4.6 .25  unknown .036 4.6 .16  timeout 900     650 11000    true 4.0 280 40 timeout 900    390 4100   disqualified .044 9.7 .60 true .15  16 1.3  true 7.9 340 62 error (5) .038 5.7 .12  error (5) .030 5.6 .14 
termination-crafted/WhileFalse_true-no-overflow_true-termination_true-valid-memsafety.c out of memory 42     15000 290    true 2.1 190 17 true .050 6.5 .39 true .042 6.9 .34 true 3.1 270 29 unknown .79 66 7.9 unknown .029 4.6 .30  unknown .031 4.5 .13  true .081 26 .77 true 3.3 270 32 true .34 58 4.2 disqualified .048 9.3 .53 true .12  16 1.1  true 6.8 330 55 error (5) .025 5.5 .18  error (5) .031 5.6 .15 
termination-crafted/aaron2_true-termination_true-valid-memsafety.c true .32  24 2.7  true 33   2300 210 error (42) 880     1400   8800    out of memory 160     15000   2100    true 5.1 300 44 unknown .88 66 9.0 unknown .034 4.6 .26  unknown .029 4.6 .18  timeout 900     150 13000    true 5.1 320 44 timeout 900    580 4500   disqualified .083 9.5 .36 timeout (verification) 900     210 13000    true 9.1 360 76 error (5) .033 5.7 .18  error (5) .038 5.7 .12 
termination-crafted/aaron3_true-termination_true-valid-memsafety.c timeout 900     270 11000    timeout 910   8600 5100 error (42) 880     210   11000    out of memory 230     15000   3400    true 17   520 160 unknown .86 66 10   unknown .033 4.6 .20  unknown .059 4.6 .13  timeout 900     300 13000    true 17   650 180 out of memory 68    15000 1000   disqualified .049 9.3 .35 timeout (verification) 900     420 12000    true 25   530 310 error (5) .024 5.6 .20  error (5) .043 5.7 .18 
termination-crafted/easy1_true-no-overflow_true-termination_true-valid-memsafety.c true .18  23 1.4  true 8.4 490 63 true .91  31   11    out of memory 86     15000   1200    true 170   1400 1800 unknown .79 66 10   unknown .031 4.6 .23  unknown .027 4.6 .20  true .19  26 2.5  true 69   2100 640 true .41 59 3.3 disqualified .054 9.7 .36 true .12  16 1.4  true 8.7 380 62 error (5) .030 5.7 .17  error (5) .031 5.6 .23 
termination-crafted/easy2_true-no-overflow_true-termination_true-valid-memsafety.c true .33  35 2.8  true 7.1 470 56 error (42) 880     4200   3400    error (42) 880     320   5800    true 4.8 300 41 unknown .78 65 8.7 unknown .034 4.5 .21  unknown .032 4.6 .35  timeout 900     890 12000    true 4.9 290 43 timeout 900    410 3600   disqualified .042 9.8 .62 true .13  15 1.5  true 8.6 360 70 error (5) .024 5.6 .13  error (5) .022 5.6 .039
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1-modified_false-termination_true-no-overflow.c false(termination) .17  24 1.1  false(termination) 32   1600 190 error (42) 880     1300   8100    out of memory 190     15000   2400    false(termination) 3.7 280 31 unknown .86 67 10   unknown .032 4.6 .25  unknown .034 4.6 .29  timeout 900     260 11000    false(termination) 4.0 280 37 timeout 900    510 3900   disqualified .055 9.5 .37 timeout (verification) 900     62 12000    false(termination) 7.7 370 68 error (5) .031 5.6 .13  error (5) .023 5.6 .15 
termination-crafted-lit/ChenCookFuhsNimkarOHearn-TACAS2014-Introduction_false-termination_true-no-overflow.c false(termination) .12  24 1.2  false(termination) 6.3 340 54 error (42) 880     7000   3300    error (42) 880     400   5600    false(termination) 3.8 280 38 unknown .81 66 9.1 unknown .028 4.6 .18  unknown .048 4.8 .20  timeout 900     1100 11000    false(termination) 3.8 280 33 timeout 900    510 8600   disqualified .043 9.4 .45 timeout (verification) 900     65 10000    false(termination) 8.0 370 60 error (5) .031 5.6 .16  error (5) .047 5.5 .12 
termination-crafted-lit/HenzingerJhalaMajumdarSutre-POPL2002-LockingExample_false-termination_true-no-overflow.c false(termination) .15  24 1.1  false(termination) 110   6000 670 error (42) 880     2400   8300    out of memory 610     15000   7000    false(termination) 4.4 290 37 unknown .80 66 8.2 unknown .030 4.6 .17  unknown .032 4.6 .22  timeout 900     1600 11000    false(termination) 4.4 290 41 timeout 900    900 12000   disqualified .087 9.4 .34 timeout (verification) 900     200 7400    false(termination) 7.9 360 65 error (5) .023 5.7 .16  error (5) .049 5.5 .13 
termination-crafted-lit/Urban-WST2013-Fig1_false-termination_true-no-overflow.c false(termination) .14  24 1.1  false(termination) 4.5 370 35 error (42) 880     1700   7300    out of memory 180     15000   2200    false(termination) 3.7 280 34 unknown .77 66 8.1 unknown .052 4.7 .16  unknown .032 4.7 .16  timeout 900     450 11000    false(termination) 3.6 290 35 timeout 900    3200 5800   disqualified .069 9.2 .42 probably out of memory (killed (signal 9, verification)) 290     15000 4200    false(termination) 9.0 380 71 error (5) .026 5.6 .17  error (5) .037 5.6 .12 
termination-crafted-lit/Velroyen_false-termination_true-no-overflow.c false(termination) .14  24 .99 false(termination) 12   490 80 error (42) 880     1700   9500    error (42) 880     170   11000    false(termination) 3.8 280 36 unknown .78 66 8.8 unknown .033 4.6 .20  unknown .030 4.6 .18  timeout 900     700 10000    false(termination) 3.8 280 40 out of memory 490    15000 6900   disqualified .046 9.2 .31 timeout (verification) 900     180 9000    false(termination) 13   570 95 error (5) .029 5.6 .14  error (5) .024 5.6 .11 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 900     2800 5000    true 12   780 100 error (42) 880     1200   5100    out of memory 180     15000   2000    true 13   510 120 unknown 1.7  68 26   unknown .053 4.6 .18  unknown .029 4.6 .20  timeout 900     750 13000    true 12   510 100 timeout 900    470 7000   disqualified .047 9.4 .41 timeout (verification) 900     3100 10000    true 14   560 120 error (5) .025 5.6 .17  error (5) .029 5.7 .16 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-cousot9_true-termination_true-no-overflow.c true .20  24 1.5  true 15   850 100 error (42) 880     1700   7800    out of memory 200     15000   2300    true 5.5 290 47 unknown .80 65 8.3 unknown .042 4.6 .16  unknown .033 4.7 .26  timeout 900     530 10000    true 5.6 310 43 timeout 900    290 4300   disqualified .047 9.1 .39 true .12  17 1.3  true 10   490 84 error (5) .028 5.5 .16  error (5) .032 5.6 .12 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy1_true-termination_true-no-overflow.c true .18  24 1.5  true 6.9 440 55 true .87  31   12    out of memory 86     15000   1000    true 170   1400 2300 unknown .81 66 8.6 unknown .028 4.7 .24  unknown .028 4.6 .22  true .19  26 2.9  true 71   2100 840 true .39 59 3.3 disqualified .046 9.2 .45 true .15  16 1.4  true 8.8 370 64 error (5) .025 5.6 .11  error (5) .026 5.6 .10 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-easy2_true-termination_true-no-overflow.c true .33  36 2.8  true 7.2 460 61 error (42) 880     4300   3000    error (42) 880     330   7200    true 4.8 300 49 unknown .78 67 8.3 unknown .033 4.6 .18  unknown .030 4.7 .19  timeout 900     900 11000    true 4.8 310 41 timeout 900    430 5300   disqualified .045 9.4 .39 true .12  15 1.5  true 8.2 360 59 error (5) .022 5.6 .15  error (5) .026 5.6 .11 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-loops_true-termination_true-no-overflow.c timeout 900     5400 5000    true 19   1400 120 error (42) 880     540   4300    error (42) 880     11000   9800    true 7.4 410 60 unknown .85 66 10   unknown .030 4.6 .24  unknown .036 4.6 .21  timeout 900     1400 8800    true 7.8 480 66 out of memory 38    15000 480   disqualified .047 9.5 .40 timeout (verification) 900     310 12000    true 24   500 240 error (5) .049 5.6 .12  error (5) .022 5.6 .12 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-nestedLoop_true-termination_true-no-overflow.c timeout 900     1800 6100    true 42   2400 320 error (42) 880     1200   5200    out of memory 100     15000   1200    true 7.9 420 69 unknown 150    110 1800   unknown .026 4.6 .27  unknown .027 4.6 .21  timeout 900     1800 10000    true 7.7 410 66 timeout 900    330 6100   disqualified .050 9.5 .46 timeout (verification) 900     100 11000    true 27   660 310 error (5) .021 5.6 .13  error (5) .033 5.6 .15 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random1d_true-termination_true-no-overflow.c true .19  24 1.5  true 23   1100 160 error (42) 880     1700   8700    out of memory 160     15000   2200    true 5.0 290 42 unknown .78 66 9.4 unknown .052 4.6 .16  unknown .034 4.6 .23  timeout 900     1400 12000    true 5.2 300 41 timeout 900    430 6100   disqualified .045 9.8 .49 timeout (verification) 900     430 13000    true 8.9 380 80 error (5) .047 5.5 .11  error (5) .038 5.6 .10 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-random2d_true-termination_true-no-overflow.c true .49  54 4.8  true 46   2300 470 true .13  7.1 1.1  out of memory 170     15000   2500    true 4.8 290 49 unknown .80 65 8.9 unknown .035 4.6 .17  unknown .029 4.6 .23  true .091 26 .96 true 17   470 170 out of memory 120    15000 1600   disqualified .046 9.4 .41 true 23     120 310    true 9.0 380 75 error (5) .025 5.6 .19  error (5) .027 5.5 .14 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi2_true-termination_true-no-overflow.c true .34  24 3.2  true 9.9 710 79 error (42) 880     1800   8700    out of memory 210     15000   2500    unknown 6.5 450 58 unknown .78 66 9.1 unknown .032 4.6 .21  unknown .045 4.8 .12  timeout 900     550 12000    unknown 9.2 490 81 timeout 900    330 4300   disqualified .084 9.9 .33 timeout (verification) 900     470 6400    true 10   460 87 error (5) .025 5.7 .17  error (5) .030 5.6 .17 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi3_true-termination_true-no-overflow.c true .34  24 3.2  true 17   1200 120 error (42) 880     1600   7900    out of memory 190     15000   2100    true 7.0 380 57 unknown .80 67 8.6 unknown .044 4.6 .18  unknown .058 4.6 .23  timeout 900     500 12000    true 6.9 390 59 timeout 900    300 4800   disqualified .048 9.2 .36 true .12  16 1.5  true 10   470 85 error (5) .032 5.7 .13  error (5) .023 5.6 .14 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-speedpldi4_true-termination_true-no-overflow.c true .23  24 2.0  true 9.4 490 62 error (42) 880     1700   7600    out of memory 200     15000   2500    unknown 4.2 280 37 unknown .80 66 8.4 unknown .037 4.7 .15  unknown .026 4.6 .22  timeout 900     310 11000    unknown 4.3 280 35 timeout 900    350 4300   disqualified .046 9.1 .43 timeout (verification) 900     630 6100    true 11   490 87 error (5) .023 5.7 .13  error (5) .046 5.5 .13 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wcet2_true-termination_true-no-overflow.c true .30  34 2.9  true 14   960 110 error (42) 880     610   11000    out of memory 410     15000   5100    true 5.3 300 46 unknown .81 67 8.0 unknown .037 4.6 .15  unknown .028 4.6 .21  timeout 900     1500 13000    true 5.4 310 49 out of memory 38    15000 600   disqualified .044 9.5 .41 true .13  16 1.6  true 11   510 88 error (5) .024 5.9 .10  error (5) .022 5.6 .065
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-while2_true-termination_true-no-overflow.c true .48  47 4.2  true 10   730 72 error (42) 880     560   5700    out of memory 410     15000   6000    true 6.5 330 53 unknown 1.0  66 12   unknown .030 4.6 .21  unknown .030 4.6 .18  timeout 900     330 11000    true 6.3 340 55 timeout 900    350 4900   disqualified .049 9.1 .40 true .12  15 1.4  true 9.8 420 89 error (5) .027 5.6 .15  error (5) .026 5.6 .12 
termination-crafted-lit/AliasDarteFeautrierGonnord-SAS2010-wise_true-termination_true-no-overflow.c true .32  24 2.5  true 30   2300 370 error (42) 880     1600   8600    out of memory 220     15000   2900    true 5.5 310 46 unknown .90 68 9.1 unknown .046 4.6 .15  unknown .027 4.6 .16  timeout 900     340 11000    true 5.4 310 45 timeout 900    540 4200   disqualified .040 9.4 .48 timeout (verification) 900     53 10000    true 10   450 86 error (5) .044 5.7 .16  error (5) .023 5.7 .18 
termination-crafted-lit/Avery-FLOPS2006-Table1_true-termination_true-no-overflow.c true .37  36 3.3  true 10   740 83 error (42) 880     4400   4400    error (42) 880     810   5600    true 6.9 400 58 unknown .80 66 8.3 unknown .029 4.6 .35  unknown .038 4.6 .16  timeout 900     510 12000    true 6.4 410 54 timeout 900    430 3800   disqualified .048 9.3 .40 timeout (verification) 900     460 8000    true 9.5 400 78 error (5) .030 5.6 .19  error (5) .024 5.7 .085
termination-crafted-lit/BradleyMannaSipma-CAV2005-Fig1_true-termination_true-no-overflow.c true .36  23 2.9  true 44   2000 280 error (42) 870     1300   8200    out of memory 200     15000   2400    unknown 4.2 280 37 unknown .83 66 9.7 unknown .048 4.6 .19  unknown .055 4.5 .15  timeout 900     270 14000    unknown 4.2 290 41 timeout 900    470 6200   disqualified .047 9.0 .38 timeout (verification) 900     63 11000    true 14   500 120 error (5) .053 5.6 .15  error (5) .024 5.6 .12 
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig1_true-termination_true-no-overflow.c true .35  39 3.3  true 19   1200 120 error (42) 880     550   7400    out of memory 420     15000   5000    true 6.4 350 55 unknown .89 66 11   unknown .027 4.6 .21  unknown .037 4.6 .22  timeout 900     1500 11000    true 6.5 350 55 timeout 900    360 4300   disqualified .039 9.1 .43 true .13  15 1.3  true 11   440 83 error (5) .047 5.5 .12  error (5) .050 5.8 .11 
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Fig9a_true-termination_true-no-overflow.c timeout 900     2000 5400    true 28   2400 230 error (42) 880     560   5000    out of memory 240     15000   3000    out of memory 780   15000 8500 unknown 1.0  68 13   unknown .031 4.6 .22  unknown .031 4.5 .17  timeout 900     440 14000    out of memory 590   15000 6900 out of memory 37    15000 490   disqualified .050 9.4 .36 timeout (verification) 900     130 9900    true 12   500 110 error (5) .023 5.6 .15  error (5) .021 5.6 .19 
termination-crafted-lit/BrockschmidtCookFuhs-CAV2013-Introduction_true-termination_true-no-overflow.c timeout 900     2300 13000    true 5.9 420 44 error (42) 880     4800   3700    error (42) 870     340   6000    true 4.6 290 44 unknown .78 66 8.4 unknown .028 4.6 .20  unknown .027 4.6 .21  timeout 900     680 12000    true 4.9 290 46 timeout 900    420 6800   disqualified .044 8.9 .42 timeout (verification) 900     470 8000    true 11   360 93 error (5) .023 5.6 .094 error (5) .023 5.6 .16 
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy1_true-termination_true-no-overflow.c true .19  23 2.1  true 7.6 470 56 true .88  30   9.8  out of memory 85     15000   1100    true 170   1400 1900 unknown .78 67 8.1 unknown .035 4.8 .27  unknown .031 4.6 .22  true .18  26 2.4  true 70   2200 830 true .39 59 3.5 disqualified .047 9.3 .40 true .13  16 1.5  true 8.2 370 69 error (5) .027 5.6 .20  error (5) .023 5.5 .23 
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-easy2_true-termination_true-no-overflow.c true .25  28 2.2  true 6.4 440 54 error (42) 880     4700   5700    error (42) 880     320   6500    true 4.7 300 41 unknown .80 66 8.6 unknown .031 4.6 .19  unknown .045 4.6 .20  timeout 900     910 11000    true 4.7 290 38 timeout 900    430 4400   disqualified .049 9.6 .40 true .12  16 1.4  true 8.9 370 66 error (5) .028 5.8 .16  error (5) .048 5.5 .12 
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random1d_true-termination_true-no-overflow.c timeout 900     3500 11000    true 24   1300 160 error (42) 880     1600   8000    out of memory 160     15000   2300    true 5.6 300 47 unknown .79 67 7.8 unknown .039 4.7 .24  unknown .031 4.6 .12  timeout 900     1400 9900    true 5.9 350 54 timeout 900    420 6300   disqualified .049 9.3 .42 timeout (verification) 900     1800 11000    true 7.9 330 74 error (5) .055 5.6 .11  error (5) .021 5.6 .22 
termination-crafted-lit/ChawdharyCookGulwaniSagivYang-ESOP2008-random2d_true-termination_true-no-overflow.c true .52  57 4.7  true 44   4100 440 true .11  7.6 1.5  out of memory 170     15000   2300    true 4.8 290 50 unknown .79 68 9.1 unknown .054 4.7 .17  unknown .030 4.6 .15  true .092 26 1.2  true 16   480 160 out of memory 120    15000 1700   disqualified .044 9.3 .40 true 23     120 280    true 9.2 370 71 error (5) .053 5.5 .18  error (5) .024 5.6 .14 
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex2.20_true-termination_true-no-overflow.c true .21  24 1.5  true 5.4 320 45 error (42) 880     5100   3900    error (42) 880     540   6200    true 4.4 290 43 unknown .79 65 9.4 unknown .032 4.6 .18  unknown .041 4.6 .12  timeout 900     280 12000    true 4.5 290 41 timeout 900    500 5100   disqualified .046 9.4 .43 timeout (verification) 900     500 4900    true 8.3 360 59 error (5) .031 5.5 .11  error (5) .024 5.7 .065
termination-crafted-lit/ChenFlurMukhopadhyay-SAS2012-Ex3.01_true-termination_true-no-overflow.c true .15  24 1.6  true 4.8 300 42 error (42) 880     5100   3400    error (42) 880     350   5400    true 5.7 300 54 unknown .82 67 8.3 unknown .029 4.6 .19  unknown .059 4.6 .22  timeout 900     380 12000    true 5.4 300 44 timeout 900    420 4100   disqualified .043 9.2 .48 timeout (verification) 900     470 6900    true 10   370 100 error (5) .024 5.6 .074 error (5) .048 5.5 .095
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig1_true-termination_true-no-overflow.c true .28  24 2.6  true 20   1200 120 error (42) 880     1600   7900    out of memory 190     15000   2700    true 5.6 300 46 unknown .79 66 8.3 unknown .028 4.6 .17  unknown .057 4.7 .20  timeout 900     640 13000    true 5.8 310 50 timeout 900    390 5900   disqualified .043 9.5 .37 timeout (verification) 900     2800 10000    true 11   520 95 error (5) .044 5.5 .13  error (5) .024 5.6 .20 
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7a_true-termination_true-no-overflow.c true .42  31 4.1  true 23   1700 150 error (42) 880     1500   7100    out of memory 170     15000   2300    true 7.1 410 61 unknown .84 66 9.3 unknown .028 4.6 .24  unknown .034 4.6 .21  timeout 900     710 11000    true 7.6 440 61 timeout 900    480 4900   disqualified .045 9.0 .38 timeout (verification) 900     2600 9600    true 12   520 110 error (5) .027 5.7 .12  error (5) .034 5.6 .090
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig7b_true-termination_true-no-overflow.c true .43  28 4.4  true 73   5700 430 error (42) 880     1700   8700    out of memory 140     15000   1600    true 6.6 390 58 unknown .82 66 9.8 unknown .045 4.6 .13  unknown .030 4.6 .18  timeout 900     850 11000    true 6.7 380 58 timeout 900    430 4600   disqualified .050 9.3 .39 timeout (verification) 900     2800 8600    true 12   510 99 error (5) .051 5.5 .12  error (5) .021 5.7 .085
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a-modified_true-termination_true-no-overflow.c timeout 900     320 7200    true 6.2 320 43 error (42) 880     1600   8800    out of memory 190     15000   2300    true 5.0 290 42 unknown .83 66 9.7 unknown .054 4.6 .17  unknown .028 4.6 .22  timeout 900     310 11000    true 5.1 290 43 timeout 900    340 3900   disqualified .044 8.9 .37 timeout (verification) 900     120 9900    true 14   490 160 error (5) .024 5.6 .10  error (5) .028 5.6 .23 
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8a_true-termination_true-no-overflow.c timeout 900     2000 11000    true 6.7 340 46 error (42) 880     1800   7400    out of memory 190     15000   2700    true 4.7 290 42 unknown .80 67 8.9 unknown .035 4.6 .31  unknown .032 4.6 .18  timeout 900     340 11000    true 4.7 290 40 timeout 900    330 4300   disqualified .048 9.2 .45 timeout (verification) 900     100 11000    true 10   490 92 error (5) .059 5.7 .12  error (5) .031 5.6 .21 
termination-crafted-lit/CookSeeZuleger-TACAS2013-Fig8b_true-termination_true-no-overflow.c timeout 900     190 12000    true 4.9 310 36 error (42) 880     1700   9200    out of memory 190     15000   2500    unknown 4.0 280 33 unknown .80 66 8.3 unknown .028 4.6 .19  unknown .031 4.6 .29  timeout 900     430 12000    unknown 4.1 290 34 out of memory 330    15000 3000   disqualified .047 9.4 .49 timeout (verification) 900     140 9800    true 13   440 120 error (5) .025 5.6 .085 error (5) .025 5.6 .12 
termination-crafted-lit/GopanReps-CAV2006-Fig1a_true-termination_true-no-overflow.c.c timeout 900     2700 10000    true 6.7 460 57 true .27  6.9 1.5  true .17  6.6 1.6  out of memory 660   15000 7800 unknown .81 66 8.5 unknown .031 4.6 .41  unknown .028 4.7 .21  true .18  26 2.6  out of memory 490   15000 7200 true .40 59 3.9 disqualified .046 9.1 .45 true .11  14 1.2  true 10   470 87 error (5) .040 5.6 .13  error (5) .026 5.6 .15 
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig1_true-termination_true-no-overflow.c timeout 900     1400 9700    true 64   4500 440 error (42) 880     2800   7900    out of memory 800     15000   9500    true 10   510 81 unknown .85 68 9.3 unknown .033 4.5 .19  unknown .039 4.6 .18  timeout 900     600 11000    true 10   490 86 timeout 900    500 5800   disqualified .043 9.4 .46 timeout (verification) 900     2900 8300    true 47   550 570 error (5) .025 5.6 .16  error (5) .035 5.5 .19 
termination-crafted-lit/HarrisLalNoriRajamani-SAS2010-Fig3_true-termination_true-no-overflow.c true .16  24 .90 true 11   780 71 error (42) 880     1600   7700    out of memory 150     15000   2000    true 4.4 280 42 unknown .81 65 8.4 unknown .030 4.6 .14  unknown .030 4.6 .17  timeout 900     1100 11000    true 4.3 290 37 timeout 900    420 5600   disqualified .069 9.6 .38 timeout (verification) 900     460 7600    true 9.0 370 76 error (5) .038 5.5 .098 error (5) .048 5.6 .12 
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig1_true-termination_true-no-overflow.c timeout 900     2700 13000    true 5.6 380 43 error (42) 880     5600   4400    error (42) 880     350   8800    true 4.7 290 44 unknown .78 67 8.4 unknown .029 4.6 .14  unknown .049 4.5 .17  timeout 900     990 13000    true 4.8 290 39 timeout 900    400 3900   disqualified .045 9.6 .52 timeout (verification) 900     520 6900    true 11   380 100 error (5) .028 5.6 .16  error (5) .025 5.7 .12 
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig4_true-termination_true-no-overflow.c true .18  24 1.6  true 4.8 370 37 error (42) 880     6400   4200    error (42) 880     390   5500    true 4.5 290 43 unknown .79 67 9.1 unknown .054 4.6 .14  unknown .034 4.6 .19  timeout 900     520 12000    true 4.6 290 41 timeout 900    390 4000   disqualified .047 9.4 .54 true .13  16 1.5  true 9.2 380 62 error (5) .024 5.6 .12  error (5) .049 5.6 .097
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig5_true-termination_true-no-overflow.c true .21  24 2.0  true 4.9 310 43 error (42) 880     5600   4400    error (42) 880     350   6000    unknown 5.9 450 47 unknown .78 65 9.3 unknown .029 4.6 .15  unknown .026 4.6 .24  timeout 900     1000 12000    unknown 5.9 440 56 timeout 900    400 4100   disqualified .053 9.5 .33 timeout (verification) 900     520 7000    unknown 19   770 140 error (5) .036 5.4 .074 error (5) .026 5.7 .14 
termination-crafted-lit/HeizmannHoenickeLeikePodelski-ATVA2013-Fig6_true-termination_true-no-overflow.c true .25  24 2.6  true 5.4 320 42 error (42) 880     5100   4200    error (42) 880     470   5400    true 4.3 280 39 unknown .78 67 8.9 unknown .026 4.7 .20  unknown .049 4.7 .19  timeout 900     220 13000    true 4.4 290 38 timeout 900    420 5700   disqualified .045 9.3 .62 timeout (verification) 900     79 11000    true 8.7 370 75 error (5) .025 5.6 .14  error (5) .051 5.6 .12 
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Ex_true-termination_true-no-overflow.c true .13  24 1.3  true 15   1000 99 error (42) 880     1200   8400    out of memory 200     15000   2500    true 4.7 300 38 unknown .80 65 9.7 unknown .029 4.7 .17  unknown .043 4.6 .19  timeout 900     310 12000    true 4.8 290 44 timeout 900    380 5000   disqualified .048 9.2 .40 timeout (verification) 900     98 9800    true 8.6 380 69 error (5) .025 5.6 .13  error (5) .027 5.7 .22 
termination-crafted-lit/KroeningSharyginaTsitovichWintersteiger-CAV2010-Fig1_true-termination_true-no-overflow.c timeout 900     2200 9500    timeout 900   2200 11000 error (42) 880     1600   7900    out of memory 200     15000   2300    timeout 900   5100 11000 unknown .85 67 9.0 unknown .029 4.7 .25  unknown .033 4.6 .23  timeout 900     520 11000    timeout 910   5300 11000 out of memory 41    15000 540   disqualified .043 9.4 .51 timeout (verification) 900     130 10000    true 18   580 140 error (5) .040 5.7 .087 error (5) .025 5.6 .12 
termination-crafted-lit/LarrazOliverasRodriguez-CarbonellRubio-FMCAD2013-Fig1_true-termination_true-no-overflow.c timeout 900     210 14000    true 39   2500 290 error (42) 880     820   4600    out of memory 450     15000   5300    timeout 900   5400 6800 unknown 1.2  66 15   unknown .029 4.7 .25  unknown .028 4.6 .15  timeout 900     930 14000    timeout 900   6300 7300 timeout 900    500 3800   disqualified .058 9.4 .44 timeout (verification) 900     140 8100    true 20   560 200 error (5) .022 5.7 .11  error (5) .042 5.5 .097
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex4_true-termination_true-no-overflow.c error (5) .096 24 .74 true 15   1300 130 error (42) 880     14000   10000    out of memory 230     15000   2700    true 5.7 310 53 out of memory (false(no-overflow)) 280    15000 3300   unknown .028 4.6 .22  unknown .032 4.6 .18  out of memory 400     15000 5000    error (recursion) 3.4 270 31 timeout 900    10000 4500   disqualified .048 9.5 .41 timeout (verification) 900     440 7500    true 46   640 520 error (5) .028 5.6 .073 error (5) .026 5.6 .14 
termination-crafted-lit/LeeJonesBen-Amram-POPL2001-Ex5_true-termination_true-no-overflow.c error (5) .098 24 .86 true 8.9 470 62 error (42) 880     14000   10000    out of memory 310     15000   4100    true 5.1 290 46 out of memory (false(no-overflow)) 260    15000 2900   unknown .044 4.7 .20  unknown .036 4.6 .26  out of memory 350     15000 4000    error (recursion) 3.3 270 31 out of memory 98    15000 1300   disqualified .049 9.1 .40 timeout (verification) 900     470 11000    unknown 38   2000 390 error (5) .023 5.7 .12  error (5) .026 5.7 .11 
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex1_true-termination_true-no-overflow.c true .17  24 1.0  true 9.9 470 66 error (42) 880     1700   9800    out of memory 190     15000   2400    true 4.4 280 39 unknown .79 67 9.1 unknown .031 4.6 .19  unknown .031 4.6 .18  timeout 900     390 10000    true 4.4 290 39 timeout 900    510 6100   disqualified .051 9.1 .44 timeout (verification) 900     130 11000    true 9.0 380 75 error (5) .030 5.7 .092 error (5) .030 5.6 .12 
termination-crafted-lit/LeikeHeizmann-TACAS2014-Ex9_true-termination_true-no-overflow.c true .22  24 2.2  true 7.1 420 52 error (42) 880     1400   8600    out of memory 140     15000   2000    true 5.1 300 46 unknown .85 67 8.3 unknown .027 4.6 .22  unknown .050 4.7 .16  timeout 900     530 10000    true 5.1 290 50 timeout 900    370 4000   disqualified .074 9.6 .45 timeout (verification) 900     42 14000    true 9.5 380 77 error (5) .039 5.5 .12  error (5) .025 5.7 .089
termination-crafted-lit/LeikeHeizmann-WST2014-Ex9_true-termination_true-no-overflow.c true .17  24 1.4  true 3.9 260 32 true .32  15   3.6  true .39  15   5.0  unknown 5.4 350 53 unknown .79 68 7.9 unknown .028 4.6 .21  unknown .032 4.6 .32  true .15  26 1.6  unknown 5.4 370 53 true .65 130 8.0 disqualified .048 9.6 .43 true .43  18 5.6  true 8.7 370 68 error (5) .026 5.7 .15  error (5) .024 5.6 .23 
termination-crafted-lit/PodelskiRybalchenko-LICS2004-Fig1_true-termination_true-no-overflow.c timeout 900     5500 4200    true 15   970 100 error (42) 870     530   5100    out of memory 420     15000   5500    true 5.7 310 45 unknown .86 67 9.3 unknown .046 4.6 .18  unknown .028 4.6 .22  timeout 900     1400 8200    true 5.8 330 53 out of memory 38    15000 490   disqualified .049 9.2 .36 timeout (verification) 900     320 12000    true 25   530 290 error (5) .028 5.6 .14  error (5) .024 5.8 .15 
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig1_true-termination_true-no-overflow.c true .19  24 1.4  true 4.2 280 35 error (42) 880     6300   3500    error (42) 880     380   5800    true 4.1 280 39 unknown .78 67 10   unknown .043 4.6 .17  unknown .035 4.6 .33  timeout 900     650 13000    true 4.1 280 35 timeout 900    410 5900   disqualified .047 9.4 .41 true .12  16 1.4  true 8.2 360 66 error (5) .027 5.6 .14  error (5) .026 5.6 .13 
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig2_true-termination_true-no-overflow.c true .26  28 2.4  true 10   740 70 error (42) 880     550   4700    out of memory 410     15000   5100    true 5.2 300 41 unknown .85 65 9.1 unknown .037 4.6 .099 unknown .023 4.7 .15  timeout 900     1500 10000    true 5.3 300 43 timeout 900    430 5900   disqualified .048 9.2 .43 true .12  16 1.3  true 9.8 450 86 error (5) .023 5.6 .12  error (5) .028 5.6 .14 
termination-crafted-lit/PodelskiRybalchenko-TACAS2011-Fig4_true-termination_true-no-overflow.c true .19  24 1.6  true 25   1200 140 error (42) 880     1600   8900    out of memory 190     15000   2700    true 5.7 310 53 unknown .85 65 9.4 unknown .030 4.6 .21  unknown .039 4.7 .23  timeout 900     650 12000    true 5.6 300 54 timeout 900    490 6800   disqualified .044 9.3 .49 timeout (verification) 900     2900 9500    true 10   460 81 error (5) .024 5.7 .15  error (5) .024 5.6 .10 
termination-crafted-lit/Urban-WST2013-Fig2-modified1000_true-termination_true-no-overflow.c true 1.7   180 19    true 11   770 75 error (42) 880     4700   12000    error (42) 880     2000   4800    out of memory 660   15000 7400 unknown .79 67 8.9 unknown .029 4.6 .21  unknown .045 4.6 .16  timeout 900     6700 10000    out of memory 490   15000 5300 timeout 900    14000 9500   disqualified .045 9.3 .41 true .12  16 1.5  timeout 900   840 12000 error (5) .025 5.5 .19  error (5) .024 5.6 .092
termination-crafted-lit/Urban-WST2013-Fig2_true-termination_true-no-overflow.c true .23  24 1.8  true 10   770 77 error (42) 880     1200   4500    error (42) 880     370   5500    true 11   470 110 unknown .79 66 8.6 unknown .028 4.7 .22  unknown .028 4.8 .17  timeout 900     1200 12000    true 11   460 100 timeout 900    660 4800   disqualified .044 9.4 .50 true .13  16 1.3  true 12   530 90 error (5) .035 5.7 .088 error (5) .031 5.6 .12 
termination-crafted-lit/UrbanMine-ESOP2014-Fig3_true-termination_true-no-overflow.c timeout 900     570 7200    true 58   4400 370 error (42) 870     2200   13000    out of memory 120     15000   1600    true 6.5 370 59 unknown .84 66 8.7 unknown .027 4.6 .23  unknown .027 4.6 .19  timeout 900     790 11000    true 6.9 370 62 timeout 900    440 5200   disqualified .043 9.5 .42 timeout (verification) 900     2900 9300    true 12   470 120 error (5) .031 5.6 .20  error (5) .025 5.6 .16 
termination-crafted-lit/aviad_true-termination_true-no-overflow.c true .35  30 3.3  true 34   3400 240 true 2.5   120   33    out of memory 160     15000   1700    unknown 25   870 190 unknown .83 66 9.0 unknown .029 4.6 .15  unknown .032 4.6 .22  true 4.3   30 65    timeout 900   5100 10000 out of memory 52    15000 740   disqualified .046 9.5 .46 true 590     120 5800    true 8.5 350 71 error (5) .027 5.6 .11  error (5) .031 5.6 .19 
termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c error (134) .25  46 2.2  true 8.9 490 80 error (42) 880     5300   5600    error (42) 880     340   6900    timeout 900   3000 13000 unknown .95 65 9.8 unknown .032 4.7 .27  unknown .044 4.5 .17  timeout 900     2900 10000    timeout 900   2900 14000 timeout 900    890 6900   disqualified .043 9.4 .40 timeout (verification) 900     120 12000    true 12   560 91 error (5) .026 5.7 .15  error (5) .023 5.6 .13 
termination-crafted-lit/cstrcspn_true-termination_true-no-overflow.c error (134) .27  46 1.8  true 59   4100 430 error (42) 870     1000   6800    out of memory 190     15000   2500    timeout 900   3400 12000 unknown 1.1  66 13   unknown .033 4.7 .25  unknown .027 4.6 .16  timeout 900     1500 11000    timeout 900   3700 12000 timeout 900    720 8000   disqualified .046 9.4 .45 timeout (verification) 900     330 11000    true 110   760 1300 error (5) .031 5.7 .18  error (5) .026 5.6 .15 
termination-crafted-lit/cstrlen_true-termination_true-no-overflow.c error (134) .23  46 2.0  true 5.6 310 50 error (42) 880     6100   3500    error (42) 880     340   5700    unknown 20   870 170 unknown .92 67 9.1 unknown .047 4.6 .16  unknown .037 4.7 .13  timeout 900     2100 10000    unknown 20   900 180 timeout 900    1100 13000   disqualified .060 8.9 .35 timeout (verification) 900     420 12000    true 10   470 77 error (5) .026 5.7 .099 error (5) .026 5.6 .12 
termination-crafted-lit/cstrpbrk_true-termination_true-no-overflow.c error (134) .29  46 1.8  true 40   3000 290 error (42) 880     1000   5700    out of memory 190     15000   2500    timeout 900   3700 12000 unknown 1.1  67 12   unknown .051 4.7 .27  unknown .029 4.6 .21  timeout 900     1900 9300    timeout 900   3700 12000 timeout 900    710 6100   disqualified .073 9.1 .42 timeout (verification) 900     410 13000    true 20   610 180 error (5) .023 5.7 .082 error (5) .028 5.5 .20 
termination-crafted-lit/cstrspn_true-termination_true-no-overflow.c error (134) .25  47 1.8  true 37   3100 270 error (42) 870     990   6400    out of memory 190     15000   2400    timeout 900   3700 13000 unknown 1.1  66 13   unknown .029 4.6 .16  unknown .031 4.6 .18  timeout 900     1700 8500    timeout 900   3400 13000 timeout 900    710 5600   disqualified .044 9.4 .40 timeout (verification) 900     420 12000    true 22   730 210 error (5) .026 5.6 .12  error (5) .023 5.7 .13 
termination-crafted-lit/genady_true-termination_true-no-overflow.c true .27  24 2.5  true 9.7 750 75 true 3.1   62   42    true 3.1   33   41    out of memory 670   15000 6900 unknown .77 67 9.0 unknown .033 4.6 .21  unknown .046 4.6 .21  true 160     2900 2200    out of memory 500   15000 7100 true 2.1  59 26   disqualified .050 9.2 .42 true .12  15 1.3  true 8.7 380 68 error (5) .024 5.7 .13  error (5) .021 5.6 .19 
termination-crafted-lit/strchr_true-no-overflow_true-termination.c error (134) .25  46 2.0  true 6.1 420 45 error (42) 880     5500   5500    error (42) 880     380   7100    unknown 25   1000 210 unknown .89 66 11   unknown .027 4.7 .18  unknown .036 4.6 .18  timeout 900     1200 11000    unknown 27   1300 240 timeout 900    680 6100   disqualified .050 9.2 .45 timeout (verification) 900     480 11000    true 12   580 100 error (5) .022 5.6 .10  error (5) .037 5.7 .086
termination-numeric/Ackermann01_true-termination_true-no-overflow.c error (5) .093 24 .78 true 28   2000 240 error (42) 880     240   4200    out of memory 170     15000   2400    true 6.3 370 55 out of memory (false(no-overflow)) 280    15000 3300   unknown .032 4.7 .17  unknown .028 4.6 .21  out of memory 440     15000 5200    error (recursion) 3.3 270 28 out of memory 54    15000 700   disqualified .040 9.0 .41 probably out of memory (killed (signal 9, verification)) 830     15000 11000    true 40   970 380 error (5) .044 5.5 .13  error (5) .025 5.6 .11 
termination-numeric/Binomial_true-termination_false-no-overflow.c error (5) .098 24 .83 error (1) 9.9 710 92 error (42) 880     600   4500    out of memory 220     15000   2500    error (recursion) 4.0 280 40 unknown 3.1  110 34   unknown .029 4.6 .20  unknown .034 4.6 .20  timeout 900     6300 13000    error (recursion) 3.3 270 29 timeout 900    15000 10000   disqualified .072 9.4 .39 true 2.0   110 30    timeout 900   1100 11000 error (5) .029 5.6 .12  error (5) .028 5.7 .14 
termination-numeric/EvenOdd01_true-termination_true-no-overflow.c error (5) .095 24 .84 true 9.1 680 65 error (42) 880     2700   7000    error (42) 880     320   10000    true 4.9 300 40 unknown .84 67 9.0 unknown .039 4.6 .23  unknown .046 4.7 .24  timeout 900     1500 10000    error (recursion) 3.2 270 31 out of memory 100    15000 1300   disqualified .046 9.4 .41 timeout (verification) 900     1700 13000    true 10   480 86 error (5) .026 5.6 .10  error (5) .027 5.6 .10 
termination-numeric/Fibonacci01_true-termination_true-no-overflow.c error (5) .13  24 .73 true 18   1100 140 error (42) 880     190   3400    out of memory 140     15000   2000    true 4.6 290 42 out of memory (false(no-overflow)) 220    15000 2500   unknown .055 4.6 .14  unknown .030 4.7 .14  out of memory 340     15000 4300    error (recursion) 3.2 270 29 out of memory 44    15000 540   disqualified .044 9.6 .44 timeout (verification) 900     14000 8600    timeout 900   14000 7800 error (5) .051 5.5 .15  error (5) .045 5.5 .071
termination-numeric/LeUserDefRec_true-termination_true-no-overflow.c error (5) .12  24 .94 true 9.4 600 68 out of memory 550     15000   3600    error (42) 880     1000   10000    true 4.9 290 49 unknown .83 66 8.5 unknown .029 4.6 .13  unknown .028 4.6 .20  timeout 900     890 11000    error (recursion) 3.2 270 30 timeout 900    5100 6200   disqualified .076 9.5 .35 true .15  18 2.1  true 8.8 380 64 error (5) .022 5.7 .13  error (5) .045 5.5 .17 
termination-numeric/LogRecursive_true-termination_true-no-overflow.c error (5) .093 24 .86 timeout 900   3800 11000 true 1.5   68   18    true 1.8   68   20    exception 3.6 280 33 unknown 1.1  66 14   unknown .033 4.7 .24  unknown .029 4.5 .16  true 41     140 490    error (recursion) 3.3 270 30 true 5.1  620 64   disqualified .050 8.9 .40 true 21     160 250    unknown 58   660 710 error (5) .023 5.6 .19  error (5) .046 5.5 .14 
termination-numeric/Parts_true-termination_true-no-overflow.c error (5) .097 24 1.3  timeout 900   13000 8800 error (42) 870     570   6300    error (42) 880     14000   11000    error (recursion) 4.1 280 38 unknown 260    4600 3900   unknown .036 4.6 .23  unknown .036 4.6 .25  timeout 900     8500 11000    error (recursion) 3.4 280 29 timeout 900    630 5100   disqualified .046 10   .39 timeout (verification) 900     10000 11000    true 67   1100 560 error (5) .024 5.5 .14  error (5) .039 5.6 .12 
termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c error (5) .094 24 .76 true 7.9 480 63 out of memory 650     15000   3300    error (42) 880     740   12000    true 4.7 290 42 unknown .79 66 9.4 unknown .028 4.6 .21  unknown .030 4.6 .18  timeout 900     1200 10000    error (recursion) 3.3 270 29 timeout 900    7500 4800   disqualified .042 9.2 .64 timeout (verification) 900     460 8000    true 8.8 380 69 error (5) .038 5.6 .16  error (5) .032 5.5 .091
termination-numeric/TwoWay_true-termination_true-no-overflow.c error (5) .096 24 .79 true 11   720 91 error (42) 880     9800   5100    error (42) 880     1000   11000    unknown 7.3 490 64 unknown .80 65 7.7 unknown .033 4.6 .26  unknown .033 4.6 .25  timeout 900     920 12000    error (recursion) 3.2 270 31 out of memory 150    15000 2100   disqualified .054 9.4 .29 timeout (verification) 900     430 6500    true 23   460 240 error (5) .026 5.6 .13  error (5) .026 5.5 .14 
termination-numeric/gcd01_true-termination_true-no-overflow.c error (5) .096 24 .88 true 11   720 87 error (42) 870     13000   9800    out of memory 520     15000   5900    unknown 4.9 310 45 out of memory (false(no-overflow)) 270    15000 3100   unknown .029 4.7 .21  unknown .031 4.6 .18  out of memory 410     15000 4900    error (recursion) 3.4 270 30 out of memory 180    15000 2500   disqualified .043 9.4 .39 timeout (verification) 900     50 12000    true 14   520 150 error (5) .024 5.6 .10  error (5) .022 5.7 .11 
termination-numeric/java_LogBuiltIn_true-termination_true-no-overflow.c true .27  25 2.6  true 5.6 340 49 true .45  15   6.2  true .61  15   6.9  unknown 11   520 100 unknown .76 65 9.3 unknown .062 4.7 .20  unknown .025 4.6 .23  true .14  26 1.6  unknown 12   530 98 true .66 120 6.9 disqualified .069 9.2 .42 true .38  17 5.0  true 8.6 350 79 error (5) .023 5.7 .16  error (5) .035 5.6 .20 
termination-numeric/recHanoi02_true-termination_true-no-overflow.c error (5) .097 24 .78 true 7.6 460 62 true .24  9.3 3.3  true .45  9.5 5.2  true 4.7 290 42 unknown .79 67 8.4 unknown .026 4.6 .25  unknown .029 4.6 .16  true .16  26 1.7  error (recursion) 3.2 270 30 true .59 61 6.6 disqualified .044 9.3 .40 true .40  18 4.5  true 11   410 84 error (5) .023 5.6 .17  error (5) .023 5.5 .15 
termination-numeric/rec_counter1_true-termination_true-no-overflow.c error (5) .12  24 .70 true 14   780 110 error (42) 880     550   4800    error (42) 870     300   10000    error (recursion) 3.9 280 34 unknown .84 66 9.2 unknown .027 4.6 .25  unknown .058 4.6 .14  timeout 900     2000 9700    error (recursion) 3.2 270 30 out of memory 740    15000 8100   disqualified .043 9.1 .45 timeout (verification) 900     960 12000    true 12   480 89 error (5) .023 5.6 .12  error (5) .028 5.7 .13 
termination-numeric/rec_counter3_true-termination_true-no-overflow.c error (5) .11  24 .91 true 16   800 110 error (42) 870     550   2900    error (42) 880     300   12000    error (recursion) 3.9 280 35 unknown .85 66 10   unknown .062 4.7 .20  unknown .028 4.6 .20  timeout 900     1700 8800    error (recursion) 3.2 270 29 out of memory 740    15000 10000   disqualified .043 9.0 .41 timeout (verification) 900     800 13000    true 12   530 120 error (5) .028 5.6 .24  error (5) .025 5.5 .16 
termination-numeric/twisted_true-termination_true-no-overflow.c timeout 900     32 10000    true 59   3100 450 error (42) 880     1200   6400    out of memory 520     15000   6900    timeout 900   4100 12000 unknown 330    170 4500   unknown .030 4.6 .18  unknown .030 4.6 .12  timeout 900     1900 9800    timeout 900   3900 13000 timeout 900    460 5500   disqualified .056 9.4 .32 timeout (verification) 900     1300 11000    true 11   400 110 error (5) .028 5.7 .25  error (5) .029 5.6 .16 
termination-restricted-15/DivMinus2_true-termination_true-no-overflow.c timeout 900     1900 4800    true 22   2000 170 error (42) 880     1800   5200    out of memory 110     15000   1300    true 6.9 350 64 unknown 1.6  66 21   unknown .038 4.6 .15  unknown .028 4.6 .23  timeout 900     1200 11000    true 6.5 370 59 timeout 900    350 4300   disqualified .046 9.0 .38 timeout (verification) 900     410 8500    true 11   510 98 error (5) .026 5.7 .13  error (5) .027 5.6 .16 
termination-restricted-15/DivMinus_true-termination_true-no-overflow.c true .23  23 2.6  true 13   820 97 error (42) 880     5300   3500    error (42) 880     410   6300    unknown 4.8 290 42 unknown .81 67 8.3 unknown .027 4.6 .19  unknown .032 4.6 .19  timeout 900     160 12000    unknown 5.0 290 52 timeout 900    680 5500   disqualified .047 9.3 .40 timeout (verification) 900     92 13000    true 8.7 380 78 error (5) .025 5.6 .13  error (5) .024 5.5 .15 
termination-restricted-15/GCD3_true-termination_true-no-overflow.c true .53  24 5.5  true 20   1100 140 error (42) 880     1100   5100    out of memory 98     15000   1300    unknown 5.1 290 43 unknown 1.8  67 20   unknown .030 4.6 .28  unknown .038 4.5 .25  timeout 900     990 11000    unknown 5.1 290 43 timeout 900    630 4300   disqualified .047 9.3 .37 timeout (verification) 900     64 12000    true 26   500 270 error (5) .025 5.6 .12  error (5) .024 5.6 .13 
termination-restricted-15/GCD4_true-termination_true-no-overflow.c true .71  36 8.3  true 21   1300 130 error (42) 880     570   4700    out of memory 470     15000   6000    unknown 4.6 300 40 unknown 1.1  67 14   unknown .031 4.6 .23  unknown .029 4.6 .21  timeout 900     1000 11000    unknown 4.8 290 37 timeout 900    700 5100   disqualified .042 9.1 .72 timeout (verification) 900     66 12000    true 23   530 270 error (5) .026 5.8 .16  error (5) .027 5.6 .16 
termination-restricted-15/IntPath_true-termination_true-no-overflow.c timeout 900     3400 12000    true 2.8 220 26 true .046 7.3 .43 true .035 6.7 .34 true 3.4 280 36 unknown .79 67 7.7 unknown .032 4.7 .19  unknown .030 4.5 .18  true .073 26 .94 true 3.4 280 28 true .36 58 3.7 disqualified .040 9.5 .42 true .14  17 1.7  true 7.7 340 64 error (5) .026 5.6 .12  error (5) .023 5.6 .16 
termination-restricted-15/LogAG_true-termination_true-no-overflow.c out of memory 270     15000 2200    true 16   1200 130 error (42) 880     810   5500    out of memory 470     15000   7000    true 5.6 340 52 unknown 1.0  65 13   unknown .031 4.6 .20  unknown .029 4.7 .20  timeout 900     880 11000    true 5.8 330 55 timeout 900    410 4800   disqualified .049 9.6 .45 true .23  18 3.2  true 10   450 99 error (5) .026 5.6 .12  error (5) .052 5.7 .098
termination-restricted-15/Log_true-termination_true-no-overflow.c true .55  71 5.9  true 7.1 460 57 error (42) 870     810   5100    out of memory 470     15000   6100    true 6.3 380 54 unknown 1.0  66 13   unknown .030 4.6 .17  unknown .028 4.6 .34  timeout 900     870 11000    true 6.5 380 54 timeout 900    420 4400   disqualified .069 9.2 .36 true .18  17 1.9  true 11   460 94 error (5) .023 5.6 .18  error (5) .028 5.7 .14 
termination-restricted-15/McCarthyIterative_true-termination_true-no-overflow.c true .19  24 1.5  true 9.2 490 71 error (42) 880     1600   7800    out of memory 130     15000   1700    true 9.6 460 81 unknown .79 65 7.6 unknown .025 4.8 .19  unknown .029 4.6 .16  timeout 900     360 12000    timeout 900   750 10000 out of memory 43    15000 520   disqualified .045 9.8 .40 timeout (verification) 900     96 9500    true 19   550 170 error (5) .028 5.6 .16  error (5) .024 5.6 .12 
termination-restricted-15/MinusBuiltIn_true-termination_true-no-overflow.c true .14  24 1.5  true 2.9 220 23 true .078 6.3 .19 true .041 6.4 .36 true 4.5 290 45 unknown .77 66 7.8 unknown .052 4.8 .13  unknown .030 4.7 .21  true .11  26 .94 true 4.4 290 47 true .36 59 3.4 disqualified .043 9.3 .44 true .18  17 1.8  true 9.7 380 86 error (5) .024 5.6 .12  error (5) .033 5.6 .13 
termination-restricted-15/MinusUserDefined_true-termination_true-no-overflow.c timeout 900     1500 5100    true 23   1000 140 error (42) 880     840   4400    out of memory 190     15000   3000    true 7.4 350 61 unknown 1.3  66 17   unknown .042 4.7 .19  unknown .029 4.6 .16  timeout 900     1100 13000    true 7.3 420 63 timeout 900    530 5600   disqualified .046 9.5 .48 timeout (verification) 900     420 8200    true 9.3 390 73 error (5) .025 5.6 .10  error (5) .031 5.7 .19 
termination-restricted-15/Nested_true-termination_true-no-overflow.c true .27  30 3.2  true 7.1 430 55 true .089 6.8 .55 true .095 6.5 .69 true 22   650 220 unknown .79 66 8.4 unknown .030 4.7 .15  unknown .037 4.8 .20  true .087 26 1.1  true 23   680 240 true .35 58 4.2 disqualified .059 9.1 .46 true .11  15 1.2  true 9.8 380 82 error (5) .024 5.7 .11  error (5) .024 5.6 .11 
termination-restricted-15/PastaA10_true-termination_true-no-overflow.c true .21  24 1.9  true 5.6 320 45 error (42) 880     1700   9100    out of memory 190     15000   2400    true 4.8 290 45 unknown .81 68 10   unknown .032 4.6 .19  unknown .043 4.6 .16  timeout 900     350 12000    true 5.1 300 43 timeout 900    350 3900   disqualified .044 9.3 .45 timeout (verification) 900     41 12000    true 14   490 150 error (5) .026 5.7 .17  error (5) .027 5.6 .15 
termination-restricted-15/PastaA1_true-termination_true-no-overflow.c true .31  34 2.9  true 12   720 74 error (42) 880     550   4800    out of memory 400     15000   5200    true 5.1 300 43 unknown .84 66 9.4 unknown .046 4.5 .15  unknown .027 4.8 .18  timeout 900     1500 9400    true 5.1 300 40 timeout 900    360 4400   disqualified .045 9.2 .41 true .13  16 1.6  true 11   460 83 error (5) .051 5.6 .20  error (5) .031 5.5 .17 
termination-restricted-15/PastaA4_true-termination_true-no-overflow.c true .15  24 1.6  true 4.2 300 33 error (42) 880     6100   3700    error (42) 880     390   7900    true 4.3 290 40 unknown .77 67 7.9 unknown .031 4.6 .19  unknown .029 4.6 .18  timeout 900     290 14000    true 4.3 290 45 timeout 900    400 3400   disqualified .044 9.4 .40 true .13  16 1.3  true 8.7 370 68 error (5) .024 5.7 .090 error (5) .028 5.6 .097
termination-restricted-15/PastaA7_true-termination_true-no-overflow.c true .27  24 2.1  true 6.2 440 53 error (42) 880     5600   4200    error (42) 880     510   7500    true 4.6 290 38 unknown .80 66 7.6 unknown .036 4.6 .15  unknown .054 4.6 .16  timeout 900     410 10000    true 4.6 290 40 timeout 900    550 3200   disqualified .043 9.1 .41 true .12  16 1.5  true 8.2 360 67 error (5) .024 5.6 .18  error (5) .025 5.6 .11 
termination-restricted-15/PastaB14_true-termination_true-no-overflow.c true .34  37 3.2  true 5.2 380 42 error (42) 870     810   5200    out of memory 410     15000   4700    true 5.6 300 53 unknown 1.2  65 15   unknown .065 4.8 .16  unknown .032 4.6 .18  timeout 900     790 11000    true 6.2 320 49 timeout 900    410 4200   disqualified .044 9.4 .50 true .16  17 2.2  true 8.9 370 81 error (5) .024 5.6 .13  error (5) .024 5.6 .15 
termination-restricted-15/PastaB15_true-termination_true-no-overflow.c true .36  24 3.6  true 5.0 300 43 error (42) 880     810   4700    out of memory 430     15000   5300    true 5.7 320 55 unknown 1.2  65 15   unknown .032 4.5 .24  unknown .034 4.6 .17  timeout 900     960 11000    true 5.8 310 54 timeout 900    490 4100   disqualified .043 9.1 .42 true .28  18 3.3  true 10   400 88 error (5) .022 5.6 .13  error (5) .025 5.7 .14 
termination-restricted-15/PastaB16_true-termination_true-no-overflow.c true .19  24 2.0  true 9.9 480 72 error (42) 880     550   5000    out of memory 400     15000   4600    true 4.7 290 41 unknown 1.0  67 12   unknown .055 4.6 .14  unknown .027 4.5 .28  timeout 900     810 12000    true 4.8 290 47 timeout 900    400 3700   disqualified .046 9.3 .47 true .13  16 1.6  true 8.7 350 78 error (5) .028 5.7 .12  error (5) .023 5.7 .11 
termination-restricted-15/PastaB17_true-termination_true-no-overflow.c true .28  24 2.8  true 9.6 470 68 error (42) 880     550   5500    out of memory 410     15000   4600    true 4.9 290 44 unknown 1.1  66 12   unknown .029 4.6 .16  unknown .033 4.5 .22  timeout 900     1100 11000    true 5.2 290 42 timeout 900    390 3500   disqualified .047 9.6 .43 true .14  15 1.5  true 9.3 400 80 error (5) .025 5.6 .18  error (5) .029 5.6 .20 
termination-restricted-15/PastaB1_true-termination_true-no-overflow.c true .20  24 2.0  true 4.4 300 33 error (42) 880     6100   4600    error (42) 880     380   5600    true 4.2 280 35 unknown .83 67 9.4 unknown .055 4.5 .14  unknown .030 4.6 .19  timeout 900     340 12000    true 4.3 290 39 timeout 900    400 4200   disqualified .048 9.5 .36 true .12  16 1.5  true 8.3 360 65 error (5) .023 5.6 .16  error (5) .029 5.7 .16 
termination-restricted-15/PastaB2_true-termination_true-no-overflow.c true .20  24 1.3  true 5.0 310 41 error (42) 880     4900   3200    error (42) 870     420   5800    true 4.5 300 42 unknown .81 66 8.3 unknown .035 4.6 .17  unknown .055 4.7 .14  timeout 900     310 11000    true 4.7 290 42 timeout 900    510 6200   disqualified .044 9.8 .48 timeout (verification) 900     490 6200    true 8.4 350 66 error (5) .026 5.6 .13  error (5) .043 5.5 .12 
termination-restricted-15/PastaB4_true-termination_true-no-overflow.c true .23  24 2.3  true 2.6 210 21 true .071 6.4 .28 true .049 6.8 .33 unknown 4.4 290 38 unknown .77 67 9.4 unknown .031 4.6 .18  unknown .027 4.6 .23  true .10  26 .76 unknown 4.3 300 40 true .37 59 3.2 disqualified .058 9.3 .50 true .15  18 1.8  true 11   390 100 error (5) .018 5.6 .16  error (5) .025 5.6 .15 
termination-restricted-15/PastaB6_true-termination_true-no-overflow.c true .23  23 2.1  true 5.5 350 45 error (42) 880     6700   5900    error (42) 880     400   5500    true 4.4 280 41 unknown .83 66 8.9 unknown .059 4.7 .20  unknown .035 4.6 .25  timeout 900     560 11000    true 4.4 290 44 timeout 900    560 5400   disqualified .046 9.3 .38 timeout (verification) 900     530 6700    true 8.5 360 64 error (5) .029 5.6 .15  error (5) .026 5.6 .14 
termination-restricted-15/PastaB7_true-termination_true-no-overflow.c true .26  24 2.7  true 6.1 440 48 error (42) 880     5700   4200    error (42) 880     500   6300    true 4.5 290 42 unknown .81 66 8.5 unknown .030 4.8 .17  unknown