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