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-MainHeap aprove.sv-comp19_prop-termination.Termination-MainHeap cbmc.sv-comp19_prop-termination.Termination-MainHeap cbmc-path.sv-comp19_prop-termination.Termination-MainHeap cpa-seq.sv-comp19_prop-termination.Termination-MainHeap depthk.sv-comp19_prop-termination.Termination-MainHeap divine-explicit.sv-comp19_prop-termination.Termination-MainHeap divine-smt.sv-comp19_prop-termination.Termination-MainHeap esbmc-kind.sv-comp19_prop-termination.Termination-MainHeap pesco.sv-comp19_prop-termination.Termination-MainHeap pinaka.sv-comp19_prop-termination.Termination-MainHeap smack.sv-comp19_prop-termination.Termination-MainHeap symbiotic.sv-comp19_prop-termination.Termination-MainHeap uautomizer.sv-comp19_prop-termination.Termination-MainHeap ukojak.sv-comp19_prop-termination.Termination-MainHeap utaipan.sv-comp19_prop-termination.Termination-MainHeap
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) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
termination-libowfat/atoi_true-termination.c.i .26 46 1.8 0 72   2500 590 2 880     13000   8400    0 880     2500   6900    0 130   3800 1500 0 .49 36 7.0 2 .037 4.6 .25 0 .044 4.6 .23  0 900     1700 11000    0 110   3700 1300 0 900    4500 12000   0 .045 9.5 .36 0 .20 17 2.3 2 11   470 99 2 .023 5.6 .17  0 .024 5.6 .15  0
termination-libowfat/atol_true-termination.c.i .27 46 1.9 0 78   2500 580 2 880     13000   8300    0 880     2500   8200    0 61   2900 540 0 .51 36 5.7 2 .055 4.5 .19 0 .035 4.6 .28  0 900     1700 11000    0 48   3200 540 0 900    4500 10000   0 .069 9.2 .40 0 .22 17 2.5 2 10   470 87 2 .022 5.7 .16  0 .025 5.7 .17  0
termination-libowfat/atoll_true-termination.c.i .26 46 2.4 0 71   3800 600 2 880     13000   8200    0 880     2400   7000    0 110   3800 1400 0 .50 36 6.7 2 .050 4.7 .14 0 .023 4.6 .16  0 900     1700 12000    0 86   3800 890 0 900    4500 11000   0 .048 9.6 .39 0 .20 18 2.4 2 11   470 99 2 .049 5.6 .095 0 .023 5.7 .17  0
termination-libowfat/basename_true-termination.c.i .27 46 2.0 0 900   15000 4600 0 880     4600   6100    0 180     15000   2100    0 65   2200 770 0 .77 41 11   2 .029 4.6 .15 0 .031 4.6 .19  0 900     740 11000    0 67   2200 760 0 82    15000 1200   0 .048 9.2 .39 0 900    320 11000   0 910   13000 7400 0 .041 5.8 .11  0 .028 5.6 .13  0
termination-libowfat/build_fullname_true-termination.c.i .27 46 1.9 0 51   1900 630 0 880     14000   9300    0 880     2300   9100    0 900   3900 12000 0 .54 36 6.5 2 .055 4.6 .15 0 .040 4.7 .34  0 900     510 11000    0 900   3900 11000 0 .72 64 6.2 0 .044 9.0 .43 0 900    220 12000   0 31   890 270 2 .024 5.6 .12  0 .026 5.6 .14  0
termination-libowfat/dirname_true-termination.c.i .26 46 2.0 0 910   13000 5100 0 880     14000   8700    0 160     15000   2000    0 900   4300 11000 0 3.9  96 48   2 .028 4.6 .20 0 .050 4.6 .15  0 900     3700 8500    0 900   4200 12000 0 .92 76 9.0 0 .049 9.4 .38 0 900    370 11000   0 900   11000 6800 0 .032 5.6 .22  0 .023 5.6 .16  0
termination-libowfat/skip_to_true-termination.c.i .26 46 2.1 0 25   2300 220 2 880     1000   7700    0 880     350   6500    0 9.2 510 77 0 .51 36 6.1 2 .046 4.6 .17 0 .031 4.6 .17  0 900     4300 10000    0 9.8 430 90 0 900    1100 10000   0 .044 9.2 .36 0 900    620 11000   0 49   2500 490 0 .023 5.6 .12  0 .022 5.6 .15  0
termination-libowfat/stpcpy_true-termination.c.i .29 46 2.1 0 15   810 120 0 880     14000   4600    0 880     14000   6400    0 900   4200 12000 0 .48 36 6.0 2 .030 4.5 .17 0 .059 4.6 .23  0 900     3100 11000    0 900   4200 13000 0 .73 64 6.4 0 .048 9.5 .39 0 900    210 12000   0 12   580 95 2 .024 5.5 .16  0 .025 5.6 .096 0
termination-libowfat/strcasecmp_true-termination.c.i .26 46 2.1 0 5.9 470 57 0 880     2200   9800    0 260     15000   3000    0 900   4300 12000 0 .49 35 6.8 2 .029 4.7 .16 0 .031 4.7 .19  0 900     1600 9700    0 900   4200 13000 0 900    990 5300   0 .050 9.1 .41 0 900    200 9400   0 13   580 110 2 .024 5.6 .12  0 .024 5.6 .11  0
termination-libowfat/strcat_short_true-termination.c.i .29 46 1.8 0 7.5 680 63 0 880     14000   6500    0 880     1700   6300    0 900   4300 12000 0 .50 36 6.0 2 .053 4.6 .13 0 .054 4.6 .16  0 900     2300 10000    0 900   4300 12000 0 900    1300 10000   0 .048 9.3 .34 0 900    350 13000   0 21   740 160 2 .026 5.6 .17  0 .029 5.5 .19  0
termination-libowfat/strcat_true-termination.c.i .26 46 1.9 0 7.7 680 63 0 880     14000   8100    0 880     14000   7800    0 900   4200 12000 0 .54 36 8.4 2 .032 4.7 .18 0 .032 4.6 .19  0 900     2800 9300    0 910   4300 13000 0 900    1300 14000   0 .085 9.0 .36 0 900    430 11000   0 15   510 110 0 .027 5.6 .14  0 .028 5.5 .23  0
termination-libowfat/strchr_short_true-termination.c.i .26 46 1.9 0 13   740 100 2 880     2700   7200    0 880     390   7700    0 9.8 520 83 0 .48 35 6.6 2 .044 4.6 .17 0 .034 4.7 .19  0 900     1700 12000    0 9.9 530 89 0 89    15000 1100   0 .049 9.1 .36 0 900    490 12000   0 11   540 110 2 .037 5.7 .12  0 .025 5.5 .16  0
termination-libowfat/strchr_true-termination.c.i .27 46 1.7 0 49   2300 440 2 880     1100   7700    0 880     340   6600    0 900   4100 13000 0 .54 36 6.8 2 .040 5.1 .22 0 .028 4.5 .23  0 900     1900 12000    0 900   4100 11000 0 89    15000 1200   0 .043 9.2 .42 0 900    430 11000   0 20   800 180 2 .025 5.6 .11  0 .028 5.6 .23  0
termination-libowfat/strcmp_short_true-termination.c.i .26 47 2.0 0 15   1200 140 2 880     6400   8600    0 880     370   6700    0 900   3400 13000 0 .48 36 6.5 2 .028 4.6 .28 0 .029 4.6 .16  0 900     3100 10000    0 900   3300 12000 0 900    800 5100   0 .048 9.1 .49 0 900    270 12000   0 12   510 91 2 .025 5.6 .091 0 .024 5.6 .15  0
termination-libowfat/strcpy_small_true-termination.c.i .27 47 1.9 0 15   810 120 0 880     14000   4800    0 880     14000   6200    0 900   4200 12000 0 .49 35 6.2 2 .045 4.8 .19 0 .030 4.8 .19  0 900     3100 10000    0 900   4100 13000 0 .70 64 6.1 0 .073 9.5 .49 0 900    330 11000   0 11   500 100 2 .044 5.6 .14  0 .021 5.7 .10  0
termination-libowfat/strcspn_true-termination.c.i .29 46 1.9 0 910   6400 7000 0 880     240   5600    0 880     11000   11000    0 470   2500 6000 2 2.1  57 27   2 .030 4.6 .18 0 .031 4.6 .25  0 900     810 10000    0 570   2400 7400 2 72    15000 820   0 .044 9.2 .48 0 900    330 13000   0 22   740 190 2 .024 5.6 .097 0 .024 5.7 .11  0
termination-libowfat/strdup_true-termination.c.i .27 47 1.6 0 36   2300 350 2 880     14000   5900    0 880     2600   11000    0 900   4200 11000 0 .51 36 6.9 2 .037 4.7 .13 0 .032 4.6 .20  0 900     1600 9900    0 920   4300 12000 0 900    1200 11000   0 .045 9.2 .36 0 900    560 13000   0 15   520 140 2 .027 5.6 .13  0 .023 5.7 .16  0
termination-libowfat/strlcat_true-termination.c.i .26 46 2.0 0 210   4600 1800 0 880     15000   6400    0 880     11000   9900    0 1.9 160 16 0 .53 36 7.2 2 .028 4.6 .13 0 .043 4.6 .15  0 900     3600 12000    0 1.9 160 16 0 900    450 4800   0 .049 9.5 .40 0 900    600 11000   0 18   540 160 2 .021 5.6 .16  0 .024 5.7 .14  0
termination-libowfat/strlcpy_true-termination.c.i .25 46 2.5 0 130   3700 1100 0 880     15000   6900    0 880     2300   6800    0 2.0 160 18 0 .52 36 6.3 2 .054 4.7 .18 0 .041 4.6 .19  0 900     1200 11000    0 1.9 160 18 0 .70 65 6.1 0 .046 9.1 .42 0 900    600 11000   0 19   690 180 2 .024 5.5 .17  0 .024 5.8 .098 0
termination-libowfat/strlen_true-termination.c.i .27 46 1.8 0 27   2300 270 2 880     5200   3800    0 880     340   7700    0 8.3 480 75 0 .48 35 6.3 2 .031 4.6 .16 0 .027 4.6 .22  0 900     2600 10000    0 8.8 500 78 0 900    1200 11000   0 .049 9.3 .43 0 900    370 13000   0 11   440 91 2 .024 5.6 .11  0 .027 5.6 .068 0
termination-libowfat/strpbrk_true-termination.c.i .26 46 2.9 0 900   9600 7600 0 880     230   4000    0 880     11000   10000    0 440   2600 6000 2 1.8  56 22   2 .055 4.6 .15 0 .037 4.6 .13  0 900     920 12000    0 540   2000 7700 2 72    15000 1100   0 .080 9.3 .33 0 900    420 11000   0 35   1100 260 0 .021 5.7 .11  0 .028 5.6 .16  0
termination-libowfat/strrchr_short_true-termination.c.i .25 46 2.0 0 40   2800 260 2 880     250   12000    0 200     15000   2400    0 7.9 470 74 0 .51 35 5.6 2 .040 4.7 .29 0 .035 4.6 .19  0 900     3200 10000    0 7.8 470 78 0 85    15000 1200   0 .063 9.1 .37 0 900    340 11000   0 11   510 100 2 .031 5.7 .13  0 .050 5.5 .12  0
termination-libowfat/strrchr_true-termination.c.i .25 46 2.4 0 900   2500 12000 0 880     540   9200    0 170     15000   2000    0 900   4600 13000 0 .52 35 6.6 2 .052 4.6 .22 0 .032 4.6 .17  0 900     2500 8100    0 900   4000 10000 0 86    15000 1300   0 .046 9.1 .37 0 900    520 13000   0 14   590 110 2 .027 5.6 .15  0 .031 5.6 .21  0
termination-libowfat/strspn_true-termination.c.i .26 46 2.1 0 110   2300 1100 2 880     1100   5900    0 190     15000   2600    0 900   3900 13000 0 .64 36 7.4 2 .029 4.7 .23 0 .029 4.6 .29  0 900     1900 11000    0 900   3900 12000 0 900    720 5900   0 .043 9.4 .42 0 900    410 13000   0 19   570 150 2 .019 5.6 .076 0 .030 5.7 .20  0
termination-libowfat/strstr_true-termination.c.i .25 47 1.9 0 180   3400 1800 2 870     660   10000    0 210     15000   3100    0 900   3800 11000 0 .95 49 11   2 .030 4.5 .23 0 .028 4.6 .21  0 900     3900 11000    0 900   3700 14000 0 900    1200 12000   0 .045 9.3 .51 0 900    460 13000   0 46   1000 420 2 .029 5.7 .22  0 .036 5.5 .15  0
termination-libowfat/strtok_r_true-termination.c.i .27 46 2.0 0 900   7700 8000 0 880     1100   7500    0 170     15000   2400    0 29   1400 240 0 2.3  67 29   2 .030 4.7 .14 0 .052 4.7 .13  0 900     1100 10000    0 900   4200 11000 0 900    630 5100   0 .042 8.8 .39 0 900    320 11000   0 56   1300 600 2 .025 5.6 .16  0 .026 5.7 .15  0
termination-libowfat/strtol_true-termination.c.i .26 47 2.9 0 900   160 11000 0 880     13000   7300    0 840     15000   11000    0 26   1300 210 0 .57 36 6.9 2 .055 4.6 .18 0 .053 4.6 .16  0 900     7700 9200    0 26   1300 230 0 900    5100 12000   0 .050 9.0 .45 0 .31 17 4.2 2 16   540 140 2 .023 5.6 .10  0 .030 5.6 .22  0
termination-libowfat/strtoul_true-termination.c.i .27 46 1.8 0 900   150 12000 0 880     14000   7500    0 880     2800   9300    0 8.3 460 69 0 .55 35 8.6 2 .038 4.7 .13 0 .041 4.7 .20  0 900     12000 7500    0 7.9 460 67 0 900    4200 12000   0 .046 9.4 .46 0 .27 18 3.3 2 13   500 100 2 .026 5.6 .15  0 .029 5.7 .14  0
termination-libowfat/strtoull_true-termination.c.i .26 47 2.0 0 900   150 12000 0 880     14000   6800    0 880     2800   11000    0 8.5 460 70 0 .54 36 6.6 2 .025 4.7 .38 0 .031 4.8 .18  0 900     12000 9300    0 8.1 470 66 0 900    4200 12000   0 .042 9.5 .41 0 .28 17 3.3 2 11   490 92 2 .049 5.7 .16  0 .031 5.6 .24  0
termination-libowfat/wcsrchr_true-termination.c.i .29 46 2.9 0 880   15000 4900 0 880     1600   7400    0 190     15000   2400    0 7.9 470 63 0 .52 35 5.7 2 .052 4.6 .18 0 .030 4.7 .24  0 900     2900 11000    0 8.0 360 69 0 900    480 4200   0 .045 9.3 .47 0 900    50 14000   0 11   500 91 2 .026 5.5 .17  0 .025 5.6 .13  0
termination-libowfat/wcsstr_true-termination.c.i .30 46 1.8 0 910   12000 6300 0 880     1100   6400    0 200     15000   2400    0 900   4200 13000 0 .80 37 9.4 2 .037 4.5 .15 0 .028 4.6 .23  0 900     4000 9800    0 900   4100 14000 0 900    730 5800   0 .048 9.2 .45 0 1.7  19 27   0 8.4 380 76 2 .024 5.7 .15  0 .031 5.6 .14  0
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i 900    2600 11000   0 6.8 380 55 1 880     1700   7900    0 160     15000   2000    0 5.0 280 44 0 .37 35 4.9 -32 .028 4.6 .26 0 .036 4.7 .20  0 900     450 12000    0 5.4 300 46 0 900    5000 6100   0 .046 8.9 .59 0 110    15000 1600   0 9.1 380 71 1 .028 5.6 .21  0 .020 5.6 .29  0
termination-memory-alloca/Velroyen-alloca_false-termination.c.i 900    2300 12000   0 16   550 100 1 880     1800   13000    0 880     140   11000    0 6.5 360 58 0 .36 35 4.4 -32 .032 4.6 .19 0 .048 4.7 .22  0 900     690 9800    0 6.6 370 54 0 720    15000 9800   0 .047 9.4 .38 0 900    180 10000   0 11   510 91 1 .026 5.6 .14  0 .052 5.5 .10  0
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i 43    15000 450   0 26   2300 210 2 880     3400   4200    0 880     1300   6600    0 900   4100 13000 0 .40 35 4.5 2 .034 4.6 .16 0 .030 4.6 .26  0 900     500 12000    0 900   4100 12000 0 900    440 5000   0 .046 9.7 .40 0 900    440 7400   0 18   550 150 2 .048 5.6 .13  0 .045 5.6 .13  0
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i 900    4500 8100   0 14   1000 110 2 880     990   7100    0 370     15000   4500    0 900   4100 11000 0 .37 35 4.4 2 .030 4.6 .17 0 .032 4.6 .20  0 900     210 11000    0 900   4000 11000 0 900    240 7000   0 .046 9.0 .39 0 900    430 8500   0 25   640 240 2 .030 5.6 .18  0 .032 5.5 .11  0
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i 40    15000 390   0 24   1900 160 2 880     560   4700    0 650     15000   8500    0 900   4100 12000 0 .46 35 5.7 2 .036 4.5 .14 0 .027 4.5 .17  0 900     1500 12000    0 900   4200 11000 0 900    370 4200   0 .048 9.5 .43 0 .11 15 1.4 2 900   1500 9500 0 .024 5.6 .15  0 .021 5.6 .17  0
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i 900    3400 11000   0 7.6 470 57 2 880     4100   3700    0 880     340   8000    0 410   4200 5100 2 .35 35 5.0 2 .045 4.6 .18 0 .042 4.6 .20  0 900     690 12000    0 410   4100 5900 2 900    410 4100   0 .045 9.3 .35 0 .11 15 1.5 2 10   440 88 2 .025 5.5 .12  0 .024 5.6 .19  0
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i 900    110 2800   0 7.9 460 57 2 880     3000   3300    0 880     500   5700    0 910   4200 12000 0 .37 35 5.0 2 .023 4.6 .10 0 .034 4.6 .28  0 900     340 12000    0 900   4100 13000 0 900    7200 3800   0 .055 9.2 .41 0 900    77 11000   0 14   590 120 2 .023 5.7 .10  0 .025 5.6 .13  0
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i 900    8700 11000   0 16   1100 110 2 880     1900   9600    0 320     15000   4100    0 370   4300 4400 2 .36 35 4.5 2 .027 4.6 .22 0 .029 4.6 .16  0 900     650 11000    0 570   4300 6800 2 900    380 4400   0 .046 9.1 .43 0 .15 15 1.4 2 18   690 150 2 .032 5.7 .081 0 .027 5.6 .24  0
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i 900    3600 8700   0 23   1700 150 2 880     980   9700    0 380     15000   4200    0 900   4100 12000 0 .36 35 4.2 2 .024 4.8 .29 0 .027 4.6 .20  0 900     710 9600    0 910   4200 12000 0 900    410 6200   0 .044 9.4 .36 0 .13 16 1.5 2 52   790 540 2 .029 5.7 .15  0 .049 5.6 .10  0
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i 560    15000 6400   0 68   5500 480 2 880     1300   10000    0 240     15000   3300    0 860   4200 11000 0 .37 35 4.1 2 .033 4.7 .24 0 .034 4.8 .13  0 900     880 11000    0 900   4100 14000 0 900    370 5900   0 .048 9.4 .38 0 .13 16 1.5 2 140   1000 1500 2 .023 5.6 .13  0 .036 5.5 .20  0
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i 900    250 6600   0 14   760 110 2 880     1800   9600    0 240     15000   3100    0 900   4200 11000 0 .39 35 4.6 2 .031 4.5 .24 0 .035 4.6 .11  0 900     640 10000    0 910   4300 11000 0 900    440 4500   0 .042 10   .47 0 900    64 12000   0 900   1500 11000 0 .024 5.6 .12  0 .039 5.5 .20  0
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i 37    15000 470   0 6.4 450 56 2 .093 7.4 .93 2 .095 7.7 .82 2 900   4100 13000 0 .38 35 4.3 2 .031 4.6 .26 0 .037 4.6 .19  0 .095 27 1.1  2 910   4100 12000 0 .74 64 7.4 2 .047 9.4 .53 0 .15 17 1.7 2 27   810 250 2 .039 5.6 .11  0 .051 5.5 .12  0
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i 900    4500 12000   0 14   1300 86 2 880     1300   7500    0 170     15000   2200    0 6.4 320 56 2 .36 35 4.3 2 .032 4.6 .13 0 .031 4.6 .19  0 900     1200 10000    0 6.6 380 53 2 900    440 5500   0 .048 9.4 .46 0 900    460 6600   0 11   400 71 2 .028 5.6 .21  0 .024 5.5 .13  0
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i 43    15000 340   0 900   2300 12000 0 880     1600   8900    0 170     15000   2200    0 910   4100 9700 0 .36 35 4.7 2 .030 4.6 .22 0 .032 4.6 .23  0 900     520 12000    0 900   4000 11000 0 41    15000 670   0 .045 9.3 .50 0 900    130 9800   0 15   560 130 2 .029 5.6 .22  0 .024 5.6 .094 0
termination-memory-alloca/Masse-alloca_true-termination.c.i 900    140 2700   0 910   10000 4800 0 880     280   9400    0 160     15000   2100    0 5.9 300 60 0 .39 35 6.7 2 .027 4.6 .27 0 .043 4.6 .24  0 900     97 11000    0 6.3 400 57 0 120    15000 1800   0 .049 9.2 .50 0 3.2  23 41   2 18   700 130 0 .025 5.7 .074 0 .024 5.8 .058 0
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i 900    4200 9800   0 45   2800 420 2 880     640   8400    0 160     15000   2200    0 900   4100 13000 0 .39 35 6.2 2 .031 4.6 .19 0 .029 4.6 .21  0 900     400 11000    0 900   4100 12000 0 130    15000 1600   0 .045 9.5 .40 0 .13 15 1.1 2 45   890 440 2 .026 5.7 .16  0 .057 5.6 .10  0
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i 32    15000 310   0 39   2400 330 2 880     1500   8100    0 180     15000   2200    0 900   4100 11000 0 .43 35 5.1 2 .031 4.8 .13 0 .043 4.6 .17  0 900     350 12000    0 910   4200 12000 0 900    4700 6100   0 .046 9.2 .42 0 .11 16 1.2 2 680   13000 7700 2 .024 5.6 .18  0 .024 5.7 .13  0
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i .37 49 2.3 -16 800   15000 4600 0 880     2000   9000    0 200     15000   2600    0 150   4100 1900 2 .37 36 4.7 2 .050 4.9 .17 0 .036 4.7 .26  0 900     360 14000    0 160   3400 2100 2 900    260 7300   0 .046 9.2 .53 0 .13 16 1.3 2 910   14000 5800 0 .022 5.6 .14  0 .029 5.6 .095 0
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i 900    6600 13000   0 9.4 660 70 2 880     4400   5800    0 880     340   6400    0 910   4400 12000 0 .36 36 4.4 2 .028 4.6 .21 0 .054 4.6 .17  0 900     330 13000    0 900   4100 14000 0 900    410 6600   0 .054 9.2 .38 0 .92 18 10   2 16   670 130 2 .023 5.6 .094 0 .023 5.7 .20  0
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i 32    15000 270   0 11   780 83 2 880     4400   6300    0 880     370   8200    0 900   4100 12000 0 .40 35 4.5 2 .029 4.6 .18 0 .031 4.7 .19  0 900     340 13000    0 900   4000 12000 0 900    420 6400   0 .049 9.3 .39 0 .53 20 6.8 2 31   750 300 2 .025 5.6 .076 0 .024 5.6 .12  0
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i 39    15000 470   0 8.7 630 63 2 880     980   4100    0 880     410   6300    0 880   4200 13000 0 .36 35 3.9 2 .056 4.6 .23 0 .028 4.6 .28  0 900     1100 13000    0 900   4100 12000 0 900    670 4100   0 .045 9.6 .41 0 .11 15 1.3 2 21   560 200 2 .025 5.7 .15  0 .056 5.6 .14  0
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i 38    15000 470   0 9.3 640 73 2 880     3900   9800    0 880     1900   5700    0 800   15000 10000 0 .35 35 4.1 2 .028 4.6 .21 0 .029 4.6 .19  0 900     4400 10000    0 580   15000 6500 0 900    14000 9400   0 .047 9.5 .40 0 .11 15 1.5 2 900   780 9300 0 .029 5.6 .12  0 .022 5.6 .18  0
termination-memory-alloca/Urban-alloca_true-termination.c.i 39    15000 390   0 52   4600 330 2 880     3700   9600    0 200     15000   2700    0 110   4000 1200 2 .38 36 4.6 2 .028 4.8 .26 0 .027 4.8 .39  0 900     770 12000    0 160   4000 1800 2 900    390 5500   0 .046 9.4 .41 0 .16 16 1.4 2 26   660 210 2 .030 5.6 .21  0 .021 5.5 .16  0
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i 39    15000 400   0 24   2000 190 2 880     560   4500    0 740     15000   7700    0 900   4000 12000 0 .45 35 5.5 2 .029 4.6 .22 0 .029 4.6 .16  0 900     1400 8700    0 900   4000 12000 0 900    460 4500   0 .056 9.3 .38 0 900    460 7800   0 30   820 290 2 .024 5.6 .22  0 .028 5.7 .17  0
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i 900    2800 11000   0 6.9 440 51 2 880     5000   3700    0 880     370   6300    0 910   4200 14000 0 .36 35 4.7 2 .048 4.6 .26 0 .032 4.6 .20  0 900     310 11000    0 920   4300 12000 0 900    420 3700   0 .045 9.3 .52 0 .15 16 1.5 2 11   540 88 2 .025 5.5 .094 0 .029 5.6 .13  0
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i 900    4300 10000   0 7.0 450 56 2 880     5300   5900    0 880     410   6900    0 910   4500 12000 0 .42 35 3.9 2 .048 4.7 .23 0 .032 4.6 .18  0 900     340 11000    0 900   4100 14000 0 900    370 3400   0 .045 9.6 .43 0 900    550 6900   0 11   490 94 2 .020 5.6 .16  0 .032 5.6 .20  0
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i 900    15000 10000   0 390   2500 4500 2 880     1600   9700    0 340     15000   3800    0 910   4500 13000 0 .44 35 4.8 2 .031 4.6 .18 0 .037 4.7 .18  0 900     330 12000    0 900   4000 12000 0 900    400 3900   0 .048 9.2 .39 0 900    370 6800   0 23   750 200 2 .050 5.5 .12  0 .024 5.6 .11  0
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i 900    5100 9400   0 11   730 84 2 880     4000   5700    0 880     400   8900    0 910   4200 13000 0 .38 35 4.6 2 .055 4.6 .15 0 .043 4.7 .16  0 900     400 11000    0 900   4100 14000 0 900    430 4100   0 .050 9.5 .34 0 900    370 8600   0 14   560 140 2 .023 5.6 .16  0 .023 5.6 .084 0
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i 900    6600 12000   0 7.8 490 61 2 880     4900   6600    0 880     400   8300    0 900   4100 13000 0 .37 35 5.9 2 .048 4.8 .20 0 .033 4.6 .24  0 900     330 12000    0 900   4000 12000 0 900    420 4500   0 .047 9.3 .47 0 900    560 6300   0 12   520 92 2 .021 5.7 .18  0 .023 5.7 .11  0
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i 900    370 12000   0 15   830 110 2 880     720   9600    0 880     350   8200    0 920   4300 12000 0 .38 36 4.3 2 .029 4.6 .22 0 .024 4.8 .21  0 900     320 11000    0 900   4100 11000 0 300    15000 2300   0 .046 9.0 .38 0 900    280 7400   0 13   500 110 2 .027 5.6 .11  0 .027 5.6 .089 0
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i 900    4500 10000   0 3.4 260 29 2 880     1700   9800    0 200     15000   2400    0 910   4300 11000 0 .39 35 6.5 2 .027 4.6 .23 0 .028 4.6 .18  0 900     340 12000    0 900   4100 12000 0 900    360 3900   0 .047 9.6 .42 0 900    96 9000   0 18   710 160 2 .030 5.5 .062 0 .025 5.6 .11  0
termination-memory-alloca/add_last-alloca_true-termination.c.i .27 46 2.9 0 16   850 130 0 870     13000   7000    0 880     14000   6400    0 11   390 100 2 .54 36 6.1 2 .029 4.6 .14 0 .028 4.7 .17  0 900     970 13000    0 900   710 10000 0 900    1900 8100   0 .051 9.7 .39 0 .14 18 1.6 2 11   470 89 2 .025 5.6 .14  0 .025 5.7 .20  0
termination-memory-alloca/array01-alloca_true-termination.c.i .29 46 1.7 0 62   3400 470 2 880     14000   6300    0 650     15000   7400    0 8.2 480 73 0 1.8  50 24   2 .030 4.8 .19 0 .029 4.6 .18  0 900     610 13000    0 9.0 470 72 0 900    430 5000   0 .048 9.3 .36 0 900    1200 11000   0 15   560 100 2 .024 5.6 .13  0 .027 5.6 .088 0
termination-memory-alloca/array02-alloca_true-termination.c.i .26 46 1.8 0 120   2800 1200 2 880     13000   6200    0 110     15000   1300    0 22   940 190 0 4.5  76 61   2 .029 4.6 .17 0 .052 4.6 .20  0 900     330 13000    0 27   1000 240 0 900    410 5300   0 .067 9.3 .40 0 770    15000 12000   0 17   560 140 2 .023 5.7 .16  0 .020 5.7 .22  0
termination-memory-alloca/array03-alloca_true-termination.c.i .28 46 1.9 0 130   3800 1200 2 880     14000   5800    0 120     15000   1700    0 4.4 260 37 2 2.0  55 27   2 .031 4.6 .20 0 .033 4.6 .26  0 900     1800 11000    0 4.3 270 41 2 900    2300 5200   0 .046 9.5 .49 0 900    1200 14000   0 17   600 150 2 .025 5.6 .10  0 .027 5.6 .13  0
termination-memory-alloca/aviad_true-alloca_true-termination.c.i 900    150 2400   0 48   3300 350 2 2.6   120   33    2 200     15000   2600    0 900   4200 15000 0 .38 35 4.9 2 .025 4.6 .15 0 .029 4.6 .20  0 4.4   30 50    2 900   4100 13000 0 54    15000 750   0 .045 8.9 .43 0 900    400 14000   0 14   590 120 2 .044 5.6 .10  0 .037 5.4 .13  0
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i 900    2800 14000   0 6.5 440 52 2 880     5200   3800    0 880     370   6400    0 910   4200 13000 0 .37 35 5.4 2 .033 4.8 .21 0 .055 4.6 .14  0 900     350 12000    0 900   4100 11000 0 900    410 4100   0 .048 9.6 .37 0 .15 16 1.2 2 11   490 83 2 .030 5.6 .11  0 .025 5.6 .15  0
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i 900    4400 9700   0 7.5 450 66 2 880     4400   5600    0 880     420   6800    0 910   4400 13000 0 .37 35 4.9 2 .029 4.6 .15 0 .028 4.6 .18  0 900     320 13000    0 900   4100 13000 0 900    520 6000   0 .046 9.4 .51 0 900    480 6000   0 11   550 100 2 .021 5.6 .16  0 .049 5.7 .11  0
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 900    330 12000   0 12   780 100 2 880     4900   7300    0 880     410   7200    0 57   2900 520 0 .38 35 4.5 2 .028 4.6 .20 0 .032 4.6 .31  0 900     180 10000    0 57   3500 580 0 900    4800 7100   0 .058 9.5 .48 0 900    110 11000   0 12   550 94 2 .029 5.5 .13  0 .027 5.8 .17  0
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i 900    380 9700   0 13   750 100 2 880     710   9500    0 880     320   11000    0 54   2900 510 0 .38 35 4.3 2 .051 4.7 .18 0 .030 4.6 .18  0 900     290 13000    0 51   3700 490 0 420    15000 2400   0 .047 9.5 .42 0 900    110 11000   0 12   540 99 2 .030 5.6 .14  0 .025 5.6 .16  0
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i .49 57 3.9 2 3.8 260 32 2 .084 7.0 .64 2 .087 8.0 .71 2 910   4400 11000 0 .36 35 4.5 2 .031 4.6 .18 0 .034 4.7 .19  0 .12  26 .84 2 900   4100 13000 0 .72 64 5.9 2 .046 9.2 .48 0 .15 17 1.7 2 11   480 99 2 .029 5.6 .17  0 .027 5.5 .12  0
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i 900    8700 11000   0 8.1 560 62 2 880     930   9100    0 880     450   7700    0 900   3900 12000 0 .36 35 5.1 2 .050 4.6 .17 0 .029 4.6 .19  0 900     850 9700    0 900   3900 13000 0 900    340 4500   0 .049 9.4 .40 0 900    560 11000   0 12   580 99 2 .025 5.6 .14  0 .026 5.6 .16  0
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i 900    5200 9900   0 17   1300 130 2 880     4000   5700    0 880     360   5900    0 900   4100 13000 0 .36 35 4.5 2 .029 4.8 .19 0 .028 4.6 .20  0 900     720 12000    0 920   4300 13000 0 900    420 5100   0 .045 9.0 .40 0 900    530 6400   0 12   590 110 2 .029 5.6 .21  0 .030 5.6 .13  0
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i 900    6200 11000   0 11   750 95 2 880     4200   6400    0 880     390   7400    0 900   4100 13000 0 .40 35 5.6 2 .031 4.7 .22 0 .032 4.7 .23  0 900     440 11000    0 910   4100 12000 0 900    440 4700   0 .048 9.1 .38 0 900    460 5400   0 14   520 110 2 .029 5.9 .13  0 .026 5.6 .16  0
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i 900    4100 11000   0 3.7 270 34 2 880     1700   9200    0 210     15000   2700    0 900   4000 13000 0 .36 35 4.3 2 .031 4.8 .14 0 .056 4.6 .22  0 900     620 12000    0 910   4100 13000 0 99    15000 950   0 .045 9.4 .43 0 900    240 7700   0 39   1700 340 0 .028 5.6 .12  0 .029 5.6 .17  0
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i 900    5100 12000   0 3.8 330 35 2 880     150   10000    0 250     15000   3600    0 900   4000 11000 0 .40 35 4.7 2 .028 4.7 .19 0 .037 4.8 .23  0 900     760 11000    0 900   4000 12000 0 69    15000 920   0 .046 9.4 .45 0 900    390 11000   0 26   760 230 2 .031 5.6 .23  0 .037 5.7 .14  0
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i 900    7100 8000   0 28   1600 220 2 880     1400   7800    0 150     15000   1800    0 910   4300 14000 0 .42 35 5.8 2 .028 4.8 .21 0 .055 4.6 .16  0 900     410 13000    0 920   4200 14000 0 900    420 4300   0 .045 9.0 .49 0 900    180 6400   0 18   660 160 2 .024 5.6 .10  0 .027 5.6 .095 0
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i .41 84 3.8 0 7.0 470 69 0 880     360   12000    0 150     15000   1900    0 910   4300 11000 0 .43 35 6.3 2 .033 4.6 .16 0 .027 4.6 .24  0 900     430 10000    0 910   4100 11000 0 900    420 4100   0 .069 9.2 .42 0 900    180 7700   0 25   750 220 2 .028 5.7 .094 0 .022 5.6 .17  0
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i 900    4500 11000   0 16   810 120 2 880     380   11000    0 240     15000   3700    0 900   4100 11000 0 .39 35 4.8 2 .027 4.6 .20 0 .047 4.7 .14  0 900     580 12000    0 900   4100 12000 0 39    15000 570   0 .047 9.2 .40 0 900    440 7700   0 18   550 160 2 .025 5.6 .14  0 .024 5.6 .12  0
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i 900    4500 10000   0 20   1200 140 2 880     420   11000    0 270     15000   3300    0 900   4100 11000 0 .43 35 6.2 2 .027 4.6 .23 0 .042 4.7 .18  0 900     590 11000    0 900   4100 12000 0 78    15000 1100   0 .046 9.3 .42 0 900    430 7600   0 22   630 180 2 .024 5.7 .11  0 .032 5.7 .20  0
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i .40 84 4.2 0 14   1100 120 2 880     1100   4800    0 880     11000   9300    0 900   4000 12000 0 .80 35 10   2 .035 4.6 .40 0 .028 4.6 .17  0 900     860 14000    0 900   4000 14000 0 900    460 3800   0 .044 9.6 .45 0 900    460 6600   0 27   720 250 2 .023 5.6 .17  0 .031 5.6 .24  0
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i .40 84 4.4 0 9.1 660 71 2 870     870   4900    0 880     12000   9600    0 910   4000 11000 0 .80 35 10   2 .051 4.6 .16 0 .037 4.7 .19  0 900     960 9800    0 910   4100 12000 0 900    500 4100   0 .043 9.1 .42 0 .24 18 2.9 2 27   610 260 2 .031 5.7 .17  0 .023 5.7 .17  0
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i 40    15000 370   0 16   910 120 2 880     570   5000    0 730     15000   6200    0 900   4200 11000 0 .62 35 7.0 2 .033 4.7 .22 0 .038 4.6 .18  0 900     810 11000    0 920   4500 13000 0 900    410 4100   0 .048 8.9 .39 0 900    490 9600   0 15   520 120 2 .027 5.6 .15  0 .047 5.6 .11  0
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i 39    15000 390   0 15   980 110 2 880     570   7500    0 860     15000   9900    0 900   4000 12000 0 .66 35 8.3 2 .042 4.6 .22 0 .049 4.7 .25  0 900     1100 10000    0 900   4100 12000 0 900    420 3700   0 .072 9.5 .40 0 900    480 6700   0 22   750 170 2 .031 5.7 .21  0 .025 5.6 .13  0
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i 38    15000 480   0 10   670 92 2 880     1200   5300    0 140     15000   1700    0 490   4700 5900 2 1.3  35 19   2 .047 4.6 .17 0 .030 4.6 .17  0 900     1000 12000    0 510   4700 7700 2 900    390 4300   0 .050 9.2 .35 0 900    390 7400   0 21   750 170 2 .027 5.6 .15  0 .036 5.5 .13  0
termination-memory-alloca/bubblesort-alloca_true-termination.c.i .27 46 2.5 0 910   11000 5600 0 880     13000   6600    0 110     15000   1500    0 7.3 450 72 2 1.6  73 20   2 .027 4.5 .19 0 .060 4.7 .18  0 900     7300 9800    0 7.7 460 73 2 900    940 6400   0 .050 9.2 .35 0 900    1800 12000   0 16   630 130 2 .025 5.6 .13  0 .027 5.6 .12  0
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i 70    15000 730   0 30   2400 210 2 880     2100   13000    0 750     15000   8200    0 900   4100 11000 0 .49 35 5.7 2 .055 4.6 .14 0 .031 4.6 .18  0 900     2000 12000    0 900   4100 12000 0 900    500 8200   0 .045 9.1 .36 0 900    310 11000   0 900   750 12000 0 .033 5.6 .18  0 .027 5.5 .25  0
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i 70    15000 870   0 33   2600 250 2 880     2200   11000    0 690     15000   7800    0 900   4300 14000 0 .48 35 6.8 2 .033 4.6 .21 0 .030 4.6 .23  0 900     1900 10000    0 900   4200 13000 0 900    480 4800   0 .048 9.2 .43 0 900    300 14000   0 38   680 430 2 .024 5.6 .12  0 .025 5.6 .21  0
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i 39    15000 380   0 24   2100 170 2 880     590   5400    0 880     10000   9400    0 900   3900 12000 0 .47 35 6.1 2 .030 4.6 .21 0 .036 4.6 .20  0 900     1400 9900    0 900   3900 13000 0 900    460 5900   0 .046 9.2 .44 0 900    470 7800   0 900   990 11000 0 .027 5.6 .17  0 .020 5.6 .19  0
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i 900    6600 11000   0 25   1700 180 2 880     2000   9800    0 270     15000   3100    0 900   4100 11000 0 .38 36 4.4 2 .051 4.7 .15 0 .031 4.6 .18  0 900     360 11000    0 900   4100 12000 0 900    360 5000   0 .070 9.5 .39 0 900    170 11000   0 20   740 190 2 .049 5.6 .11  0 .023 5.7 .14  0
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i 900    10000 11000   0 15   1200 120 2 880     1800   11000    0 880     610   7000    0 900   4100 13000 0 .39 35 5.3 2 .027 4.6 .29 0 .040 4.6 .15  0 900     640 11000    0 900   4000 12000 0 900    460 6200   0 .042 9.4 .42 0 900    620 8500   0 15   600 120 2 .024 5.7 .10  0 .025 5.7 .14  0
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i 39    15000 460   0 22   2100 170 2 870     560   4600    0 750     15000   8500    0 900   4100 12000 0 .46 35 6.2 2 .031 4.6 .19 0 .059 4.6 .23  0 900     1500 8400    0 900   4000 12000 0 900    330 4500   0 .071 9.7 .36 0 900    530 8400   0 900   1000 13000 0 .029 5.6 .23  0 .023 5.7 .13  0
termination-memory-alloca/count_down-alloca_true-termination.c.i .26 46 1.8 0 110   3400 950 2 880     14000   6300    0 140     15000   1700    0 19   620 170 0 1.9  50 19   2 .027 4.7 .18 0 .031 4.7 .17  0 900     390 13000    0 19   820 170 0 900    750 9200   0 .047 9.0 .33 0 900    1400 14000   0 17   520 130 2 .025 5.5 .15  0 .045 5.7 .20  0
termination-memory-alloca/cstrcat-alloca_true-termination.c.i .26 46 2.0 0 75   2900 550 0 880     14000   5800    0 880     4100   9000    0 900   4100 12000 0 .51 36 6.0 2 .028 4.6 .15 0 .054 4.6 .16  0 900     2000 11000    0 900   4100 12000 0 900    10000 12000   0 .049 9.5 .37 0 900    280 14000   0 12   560 90 2 .031 5.6 .27  0 .029 5.6 .13  0
termination-memory-alloca/cstrchr-alloca_true-termination.c.i .27 46 2.5 0 11   730 94 2 870     5700   6700    0 880     370   6400    0 34   1300 280 0 .47 35 6.3 2 .026 4.6 .23 0 .027 4.6 .19  0 900     1200 14000    0 31   1400 260 0 900    640 6600   0 .045 9.4 .51 0 900    460 11000   0 12   560 98 2 .026 5.6 .13  0 .028 5.7 .17  0
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i .26 46 1.5 0 21   1400 170 2 880     5000   5900    0 880     340   6600    0 900   3000 12000 0 .48 36 6.6 2 .026 4.7 .28 0 .028 4.6 .17  0 900     2900 11000    0 900   3200 12000 0 900    850 6300   0 .044 9.3 .38 0 900    240 12000   0 12   570 99 2 .027 5.5 .21  0 .037 5.7 .15  0
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i .27 46 1.8 0 96   2300 1300 2 880     14000   4300    0 880     14000   4600    0 900   4400 12000 0 .49 36 6.2 2 .028 4.7 .18 0 .052 4.6 .16  0 900     3000 10000    0 900   4200 12000 0 .76 65 4.8 0 .047 9.5 .44 0 900    210 14000   0 13   550 100 2 .025 5.7 .10  0 .024 5.6 .11  0
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i .27 47 1.9 0 72   4700 610 2 880     990   5500    0 200     15000   2200    0 900   3700 15000 0 .67 36 7.8 2 .056 4.7 .25 0 .027 4.6 .20  0 900     1500 13000    0 900   3700 13000 0 900    610 4500   0 .046 9.5 .58 0 900    480 11000   0 110   1300 1400 2 .028 5.5 .14  0 .026 5.6 .090 0
termination-memory-alloca/cstrlen-alloca_true-termination.c.i .26 46 1.8 0 8.3 570 73 2 880     6800   4900    0 880     340   5200    0 26   1100 230 0 .47 36 6.1 2 .034 4.6 .19 0 .028 4.6 .21  0 900     2100 13000    0 20   800 190 0 900    1100 12000   0 .049 9.1 .38 0 900    340 12000   0 11   450 83 2 .021 5.6 .19  0 .044 5.5 .12  0
termination-memory-alloca/cstrncat-alloca_true-termination.c.i .25 46 2.4 0 95   3800 710 0 880     14000   8700    0 870     2400   7000    0 900   4200 13000 0 .52 35 6.8 2 .028 4.7 .23 0 .030 4.8 .18  0 900     2200 9800    0 900   4300 14000 0 900    1100 10000   0 .045 9.5 .46 0 900    290 13000   0 13   520 93 2 .024 5.6 .12  0 .028 5.6 .20  0
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i .25 46 2.0 0 25   2300 230 2 880     1100   8800    0 880     270   8200    0 900   3200 11000 0 .50 36 6.3 2 .056 4.6 .22 0 .052 4.6 .17  0 900     1600 11000    0 900   2900 12000 0 74    15000 860   0 .046 9.3 .40 0 900    220 14000   0 13   550 110 2 .024 5.6 .13  0 .030 5.9 .16  0
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i .24 46 2.5 0 900   5200 9200 0 880     14000   10000    0 880     5200   6900    0 790   4800 9300 2 .73 38 9.0 2 .030 4.6 .21 0 .029 4.7 .14  0 900     6600 11000    0 860   4500 11000 2 .76 65 6.7 0 .047 9.6 .43 0 900    1300 12000   0 16   670 160 2 .025 5.7 .15  0 .023 5.6 .15  0
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i .26 46 1.9 0 47   4600 400 2 880     990   6300    0 190     15000   2500    0 900   3700 13000 0 .65 35 11   2 .029 4.7 .18 0 .047 4.6 .26  0 900     1900 8900    0 900   3700 14000 0 900    610 5200   0 .044 9.1 .42 0 900    520 12000   0 32   1100 310 2 .055 5.5 .18  0 .024 5.6 .095 0
termination-memory-alloca/cstrspn-alloca_true-termination.c.i .26 46 1.9 0 50   4500 420 2 870     990   5600    0 200     15000   2700    0 900   3700 11000 0 .70 36 9.3 2 .030 4.6 .17 0 .056 4.6 .16  0 900     1800 8600    0 900   3700 13000 0 900    610 5900   0 .049 9.5 .37 0 900    520 11000   0 22   670 230 2 .030 5.7 .11  0 .024 5.5 .13  0
termination-memory-alloca/diff-alloca_true-termination.c.i .28 46 1.6 0 52   3600 520 2 880     12000   5600    0 200     15000   2300    0 44   940 460 2 1.0  44 14   2 .038 4.6 .25 0 .059 4.6 .23  0 900     260 13000    0 16   660 130 2 900    600 6600   0 .052 9.5 .40 0 900    1100 12000   0 19   570 160 2 .024 5.5 .13  0 .049 5.5 .098 0
termination-memory-alloca/easySum-alloca_true-termination.c.i 900    3400 10000   0 51   2300 580 2 880     4400   4200    0 880     320   6100    0 900   4200 14000 0 .35 35 4.3 2 .028 4.6 .24 0 .046 4.6 .18  0 900     1100 11000    0 920   4200 14000 0 900    440 5000   0 .048 9.3 .35 0 .13 16 1.4 2 12   570 93 2 .025 5.6 .11  0 .050 5.6 .18  0
termination-memory-alloca/ex1-alloca_true-termination.c.i 900    280 8100   0 8.3 540 68 2 880     3600   3700    0 880     2600   6500    0 3.9 260 38 0 .35 35 4.4 2 .031 4.6 .22 0 .030 4.6 .18  0 900     630 11000    0 4.2 290 37 0 900    1900 6400   0 .043 9.2 .40 0 900    470 7000   0 13   570 110 2 .025 5.7 .16  0 .022 5.6 .16  0
termination-memory-alloca/ex2-alloca_true-termination.c.i 96    15000 1100   0 910   8600 5100 0 880     560   5500    0 220     15000   3100    0 900   4100 13000 0 .63 37 7.8 2 .031 4.6 .15 0 .030 4.6 .16  0 900     220 10000    0 910   4100 11000 0 900    1300 8500   0 .046 9.6 .56 0 900    160 6600   0 45   1200 390 0 .022 5.7 .13  0 .043 5.5 .14  0
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i 900    100 5800   0 10   700 76 2 .17  11   1.4  2 .16  11   2.1  2 3.8 260 37 0 .35 35 4.1 2 .028 4.6 .22 0 .044 4.6 .13  0 .12  27 .87 2 3.9 290 35 0 .74 65 6.9 2 .050 9.2 .40 0 .28 30 3.7 2 25   650 200 0 .024 5.6 .19  0 .026 5.6 .11  0
termination-memory-alloca/ex3b-alloca_true-termination.c.i 900    100 9200   0 16   1100 140 2 8.2   56   110    2 7.7   56   92    2 3.8 260 35 0 .48 35 7.2 2 .055 4.6 .13 0 .029 4.6 .24  0 120     47 2000    2 4.3 290 39 0 110    920 1600   2 .048 9.5 .43 0 900    1100 6800   0 30   860 240 0 .031 5.7 .17  0 .025 5.6 .11  0
termination-memory-alloca/fermat-alloca_true-termination.c.i 3.2  280 31   2 88   3700 740 2 880     14000   12000    0 880     15000   12000    0 4.1 260 36 0 .39 35 4.6 2 .058 4.6 .14 0 .029 4.6 .17  0 900     5200 11000    0 4.2 290 36 0 770    15000 10000   0 .046 9.1 .44 0 290    15000 4300   0 900   870 13000 0 .033 5.6 .16  0 .034 5.5 .22  0
termination-memory-alloca/flag-alloca_true-termination.c.i 900    7300 11000   0 17   1300 150 2 880     2900   3600    0 880     390   6600    0 910   4300 14000 0 .36 35 4.2 2 .041 4.6 .23 0 .050 4.6 .17  0 900     670 12000    0 910   4100 12000 0 900    530 4300   0 .048 9.3 .43 0 900    470 5900   0 20   780 170 2 .021 5.6 .14  0 .022 5.6 .093 0
termination-memory-alloca/gcd1-alloca_true-termination.c.i .37 50 2.6 -16 80   4200 520 2 880     560   5200    0 200     15000   2600    0 910   4200 14000 0 .68 35 9.6 2 .032 4.7 .21 0 .029 4.6 .21  0 900     950 12000    0 910   4200 12000 0 900    850 6100   0 .044 9.2 .40 0 900    84 11000   0 65   860 610 2 .027 5.6 .26  0 .024 5.7 .14  0
termination-memory-alloca/genady-alloca_true-termination.c.i 900    3400 11000   0 17   1900 140 2 3.8   66   49    2 3.8   36   56    2 900   4400 11000 0 .35 35 4.3 2 .034 4.6 .31 0 .029 4.7 .20  0 390     2800 4600    2 900   7500 11000 0 2.4  64 31   2 .050 9.5 .47 0 .11 16 1.2 2 10   470 97 2 .024 5.6 .17  0 .026 5.6 .089 0
termination-memory-alloca/insertionsort-alloca_true-termination.c.i .27 46 1.7 0 86   2600 870 2 880     14000   10000    0 150     15000   1900    0 14   660 120 2 .83 39 9.4 2 .030 4.7 .19 0 .028 4.6 .17  0 900     420 15000    0 14   660 120 2 900    870 5700   0 .044 9.5 .44 0 900    1200 11000   0 16   580 140 2 .030 5.6 .086 0 .028 5.6 .15  0
termination-memory-alloca/java_AG313-alloca_true-termination.c.i 900    8400 10000   0 24   1700 200 2 880     4300   5700    0 880     370   6700    0 910   4400 11000 0 .39 35 4.6 2 .034 4.6 .24 0 .028 4.6 .25  0 900     240 11000    0 900   4100 11000 0 900    560 4700   0 .057 9.4 .31 0 900    83 11000   0 14   500 120 2 .028 5.7 .24  0 .029 5.5 .11  0
termination-memory-alloca/java_Break-alloca_true-termination.c.i 900    5000 11000   0 7.0 450 57 2 .14  8.3 1.6  2 .13  8.6 1.3  2 900   3900 13000 0 .37 35 4.8 2 .034 4.7 .26 0 .044 4.6 .21  0 .092 26 1.2  2 900   3900 12000 0 .74 64 6.7 2 .045 9.3 .41 0 .11 15 1.4 2 11   460 93 2 .026 5.5 .13  0 .019 5.7 .18  0
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i .25 46 2.0 0 900   12000 6000 0 870     13000   5300    0 110     15000   1400    0 10   400 81 2 2.2  100 26   2 .029 4.6 .26 0 .032 4.6 .23  0 900     4000 7600    0 8.9 480 77 2 900    1000 7000   0 .064 9.2 .33 0 900    630 12000   0 18   680 170 2 .030 5.6 .11  0 .024 5.7 .091 0
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i .49 62 4.1 2 10   740 73 2 .21  8.3 2.0  2 .20  8.6 2.7  2 330   4600 3700 2 .37 35 4.1 2 .052 4.6 .16 0 .052 4.6 .18  0 .11  26 1.1  2 350   4700 4400 2 .71 64 7.6 2 .048 9.3 .38 0 .11 15 1.2 2 42   640 490 2 .023 5.6 .12  0 .023 5.6 .11  0
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i 900    150 3000   0 8.8 500 75 2 .59  16   6.9  2 .67  16   8.4  2 900   3900 10000 0 .38 34 5.1 2 .023 4.6 .21 0 .034 4.6 .23  0 .16  26 2.1  2 900   3900 10000 0 .99 130 12   2 .048 9.1 .42 0 .38 17 5.4 2 12   510 97 2 .039 5.7 .096 0 .026 5.6 .093 0
termination-memory-alloca/java_Nested-alloca_true-termination.c.i 38    15000 400   0 25   2400 210 2 .20  8.0 2.0  2 .17  8.4 1.8  2 900   4000 12000 0 .39 35 5.4 2 .030 4.7 .21 0 .025 4.8 .42  0 .094 27 1.1  2 910   4100 13000 0 .75 64 7.1 2 .045 9.4 .41 0 .13 14 1.2 2 85   710 1200 0 .022 5.6 .15  0 .031 5.6 .067 0
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i 75    15000 700   0 11   760 86 2 .33  8.2 4.0  2 .32  8.1 3.4  2 900   4100 11000 0 .36 36 3.8 2 .028 4.8 .13 0 .027 4.6 .25  0 .28  27 3.4  2 900   4000 13000 0 .77 64 6.1 2 .054 9.4 .46 0 .11 15 1.3 2 900   1100 10000 0 .025 5.7 .075 0 .024 5.6 .21  0
termination-memory-alloca/lis-alloca_true-termination.c.i .26 46 2.4 0 80   2300 980 0 870     14000   8900    0 110     15000   1400    0 900   4200 13000 0 1.0  50 14   2 .027 4.6 .16 0 .045 4.7 .16  0 900     10000 11000    0 900   4100 15000 0 900    1300 5100   0 .048 9.1 .37 0 900    460 13000   0 900   1000 13000 0 .042 5.6 .18  0 .044 5.6 .095 0
termination-memory-alloca/min_rf-alloca_true-termination.c.i 900    1100 11000   0 73   2500 570 2 880     950   8600    0 230     15000   3100    0 910   4400 13000 0 .39 35 5.5 2 .053 4.7 .24 0 .040 4.7 .21  0 900     210 11000    0 900   4100 12000 0 77    15000 1100   0 .064 9.6 .36 0 900    45 14000   0 210   7700 2700 2 .051 5.6 .13  0 .042 5.5 .081 0
termination-memory-alloca/mult_array-alloca_true-termination.c.i .27 46 1.7 0 48   2300 530 0 880     14000   5900    0 880     2200   7000    0 3.8 270 37 0 .65 36 8.0 2 .034 4.6 .19 0 .044 4.6 .17  0 900     4300 11000    0 4.0 290 34 0 900    1100 8400   0 .047 9.3 .43 0 900    630 11000   0 15   590 130 2 .025 5.7 .12  0 .022 5.6 .16  0
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i .26 46 2.0 0 13   750 96 2 880     14000   4800    0 870     14000   5100    0 7.6 350 63 2 .51 35 5.6 2 .032 4.6 .21 0 .025 4.7 .22  0 900     3800 10000    0 7.5 360 64 2 .70 64 8.3 0 .043 9.1 .42 0 900    340 11000   0 11   470 95 2 .029 5.5 .16  0 .025 5.6 .15  0
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i .26 46 1.9 0 22   1400 160 2 880     1300   7500    0 880     420   7300    0 7.2 340 61 2 .49 36 6.3 2 .029 4.6 .21 0 .030 4.6 .24  0 900     1400 8400    0 7.0 430 60 2 39    15000 490   0 .045 9.2 .47 0 900    280 12000   0 12   500 110 2 .025 5.5 .099 0 .033 5.7 .098 0
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i .26 46 1.8 0 26   2300 200 2 880     13000   6400    0 870     13000   8500    0 6.8 400 58 2 .48 36 6.1 2 .023 4.6 .16 0 .028 4.6 .17  0 900     940 11000    0 6.9 440 62 2 .69 64 7.1 0 .044 9.5 .36 0 900    2000 12000   0 11   500 92 2 .030 5.6 .18  0 .023 5.7 .10  0
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i .26 46 1.8 0 19   1300 150 2 880     14000   4300    0 870     14000   5400    0 6.8 310 55 2 .49 36 6.7 2 .029 4.7 .25 0 .030 4.7 .15  0 900     4000 11000    0 7.3 390 65 2 .71 64 6.6 0 .043 9.5 .54 0 900    280 11000   0 12   510 90 2 .043 5.4 .14  0 .029 5.7 .23  0
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i .27 46 1.8 0 79   2300 900 2 880     14000   4100    0 870     14000   5100    0 360   4400 5100 0 .49 35 5.8 2 .042 4.6 .15 0 .033 4.6 .34  0 900     2500 13000    0 430   4400 5300 0 .74 64 5.8 0 .044 9.4 .46 0 900    240 12000   0 11   490 100 2 .024 5.6 .13  0 .041 5.7 .095 0
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i .28 46 1.9 0 64   2700 560 2 880     14000   9900    0 880     5200   5900    0 900   4400 13000 0 .69 36 9.0 2 .028 4.7 .20 0 .033 4.7 .22  0 900     7600 9000    0 900   4400 13000 0 .74 64 6.5 0 .049 9.2 .38 0 900    1700 11000   0 27   560 290 2 .038 5.6 .13  0 .023 5.6 .16  0
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i .27 47 2.0 0 73   3100 610 0 880     14000   7400    0 880     3900   8000    0 900   4100 11000 0 .52 35 7.3 2 .028 4.7 .24 0 .041 4.5 .20  0 900     2000 13000    0 900   4100 12000 0 900    10000 12000   0 .045 9.4 .42 0 900    260 14000   0 12   570 110 2 .029 5.7 .12  0 .023 5.6 .13  0
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i .26 46 2.0 0 21   1900 190 2 880     1600   8100    0 880     350   5300    0 900   4200 11000 0 .52 35 6.5 2 .031 4.6 .17 0 .054 4.6 .21  0 900     2300 11000    0 900   4200 11000 0 85    15000 1100   0 .051 9.2 .46 0 900    170 12000   0 12   500 93 2 .025 5.7 .16  0 .026 5.6 .10  0
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i .27 46 2.0 0 74   2300 890 2 880     14000   4500    0 880     14000   5900    0 460   4500 5500 0 .49 35 6.4 2 .031 4.8 .15 0 .028 4.6 .21  0 900     2500 9800    0 510   4500 6300 0 .74 64 6.1 0 .048 9.6 .40 0 900    230 12000   0 13   600 100 2 .025 5.7 .16  0 .026 5.8 .12  0
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i .25 46 2.1 0 900   11000 4800 0 880     330   4200    0 260     15000   3000    0 900   2000 14000 0 1.1  60 15   2 .029 4.7 .20 0 .027 4.6 .20  0 900     1600 9200    0 900   2400 12000 0 57    15000 910   0 .045 9.3 .38 0 900    95 14000   0 34   1300 330 0 .028 5.6 .12  0 .024 5.7 .16  0
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i .25 46 2.1 0 45   2600 360 2 880     15000   7400    0 880     2200   7700    0 900   3900 12000 0 .56 36 6.1 2 .032 4.6 .21 0 .057 4.7 .26  0 900     870 11000    0 900   2300 11000 0 900    760 15000   0 .045 9.3 .40 0 900    480 11000   0 16   720 130 2 .029 5.6 .15  0 .022 5.6 .11  0
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i .26 46 2.0 0 8.5 550 71 2 880     6200   3700    0 880     340   6000    0 8.3 410 76 0 .47 35 5.9 2 .034 4.6 .27 0 .043 4.6 .15  0 900     2200 9700    0 8.1 460 68 0 900    1100 13000   0 .048 9.3 .55 0 900    400 11000   0 11   450 95 2 .027 5.6 .19  0 .028 5.7 .087 0
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i .25 47 2.1 0 82   2300 710 0 880     14000   6400    0 880     2300   6200    0 900   4200 12000 0 .58 36 8.1 2 .055 4.6 .17 0 .030 4.7 .15  0 900     2300 11000    0 900   4300 12000 0 900    1100 10000   0 .046 9.6 .43 0 900    250 12000   0 12   570 100 2 .023 5.6 .012 0 .020 5.6 .16  0
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i .27 46 2.2 0 27   2300 240 2 880     970   7100    0 880     240   4900    0 650   4100 10000 0 .51 35 6.1 2 .029 4.6 .18 0 .030 4.6 .21  0 900     2400 10000    0 840   4100 12000 0 67    15000 800   0 .074 9.2 .33 0 900    210 12000   0 13   570 99 2 .024 5.6 .12  0 .024 5.7 .17  0
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i .25 47 2.0 0 51   2500 440 2 880     14000   9900    0 880     5200   6400    0 890   4500 12000 2 .73 36 8.3 2 .051 4.6 .19 0 .029 4.6 .17  0 900     7500 9300    0 900   4400 13000 0 .72 65 7.6 0 .043 9.5 .38 0 900    1700 10000   0 16   530 140 2 .028 5.7 .20  0 .023 5.6 .15  0
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i .26 46 2.3 0 15   1300 120 2 880     990   8100    0 880     350   6100    0 8.8 470 77 2 .48 36 6.5 2 .054 4.7 .15 0 .038 4.7 .23  0 900     1900 13000    0 9.1 350 82 2 900    440 5400   0 .043 9.2 .50 0 900    550 10000   0 11   520 86 2 .028 5.6 .11  0 .026 5.6 .11  0
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i .27 47 2.0 0 34   2300 260 2 880     270   6600    0 880     13000   12000    0 900   2000 12000 0 3.0  60 42   2 .028 4.6 .16 0 .056 4.5 .22  0 900     630 10000    0 900   2200 12000 0 900    1000 12000   0 .042 9.1 .40 0 900    350 15000   0 33   750 360 2 .022 5.7 .15  0 .031 5.6 .11  0
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i .26 47 2.0 0 910   10000 4900 0 880     740   7300    0 210     15000   3000    0 900   3300 11000 0 2.0  64 25   2 .029 4.6 .19 0 .032 4.5 .20  0 900     430 10000    0 900   3000 14000 0 900    760 10000   0 .061 9.4 .37 0 900    280 12000   0 37   1700 320 0 .025 5.6 .13  0 .022 5.7 .16  0
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i .25 46 2.3 0 190   5500 1300 2 880     13000   10000    0 480     15000   6100    0 900   4300 14000 0 5.8  110 73   2 .029 4.6 .22 0 .035 4.6 .24  0 900     1400 12000    0 900   4300 12000 0 900    1200 9500   0 .048 9.4 .41 0 900    250 12000   0 41   820 320 2 .026 5.7 .093 0 .025 5.6 .081 0
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i .24 46 2.7 0 13   950 120 2 840     15000   4400    0 880     610   8200    0 7.3 470 63 0 .48 36 6.3 2 .058 4.7 .18 0 .046 4.6 .21  0 900     1600 13000    0 4.0 280 36 0 210    15000 2800   0 .055 9.5 .30 0 900    360 11000   0 10   440 85 2 .025 5.6 .12  0 .026 5.6 .11  0
termination-memory-alloca/selectionsort-alloca_true-termination.c.i .26 46 2.0 0 900   11000 7100 0 880     14000   6400    0 120     15000   1600    0 480   15000 6000 0 .84 42 9.5 2 .035 4.6 .28 0 .027 4.6 .26  0 900     3300 8500    0 19   770 170 2 900    260 7900   0 .045 9.0 .42 0 900    980 14000   0 19   710 170 2 .029 5.5 .10  0 .024 5.6 .21  0
termination-memory-alloca/stroeder1-alloca_true-termination.c.i .26 46 1.9 0 24   2100 190 2 880     3300   3900    0 880     430   5700    0 6.0 340 48 2 .47 35 5.9 2 .028 4.6 .21 0 .030 4.6 .23  0 900     1700 11000    0 6.0 300 55 2 900    1200 7400   0 .043 9.3 .50 0 900    1300 13000   0 11   410 85 2 .039 5.7 .082 0 .033 5.6 .23  0
termination-memory-alloca/stroeder2-alloca_true-termination.c.i .26 46 2.1 0 61   2600 510 2 880     2400   4600    0 690     15000   6600    0 7.6 350 66 2 .83 36 10   2 .030 4.6 .17 0 .033 4.6 .19  0 900     1200 11000    0 130   4000 1500 2 900    990 4400   0 .042 9.5 .48 0 900    1200 12000   0 13   580 110 2 .030 5.6 .21  0 .022 5.6 .15  0
termination-memory-alloca/strreplace-alloca_true-termination.c.i .30 46 2.0 0 43   2500 320 2 880     13000   9400    0 200     15000   2800    0 33   1400 290 0 .49 35 6.0 2 .032 4.6 .15 0 .026 4.6 .20  0 900     170 14000    0 28   1400 250 0 .74 64 6.8 0 .061 9.1 .35 0 900    240 12000   0 12   560 100 2 .030 5.7 .15  0 .029 5.6 .15  0
termination-memory-alloca/subseq-alloca_true-termination.c.i .26 46 1.9 0 40   3400 310 2 880     13000   8700    0 300     15000   4100    0 900   2500 12000 0 .52 36 5.6 2 .041 4.5 .18 0 .046 4.6 .17  0 900     570 14000    0 900   3100 12000 0 900    890 6200   0 .047 9.3 .42 0 900    42 11000   0 12   570 100 2 .026 5.6 .12  0 .025 5.6 .11  0
termination-memory-alloca/substring-alloca_true-termination.c.i .25 46 2.3 0 55   3500 450 2 880     1300   6700    0 190     15000   2500    0 900   4200 11000 0 1.2  37 17   2 .032 4.6 .17 0 .046 4.6 .17  0 900     830 11000    0 900   4200 12000 0 900    890 5700   0 .069 9.4 .38 0 900    400 14000   0 22   750 180 2 .033 5.8 .19  0 .024 5.6 .13  0
termination-memory-alloca/twisted-alloca_true-termination.c.i 900    75 12000   0 5.6 390 52 2 .080 7.0 .88 2 .084 8.7 .83 2 900   4100 12000 0 .40 35 4.8 2 .033 4.6 .18 0 .029 4.6 .21  0 .085 27 1.1  2 900   4000 11000 0 .72 65 8.3 2 .045 9.3 .47 0 .16 17 1.9 2 24   620 250 2 .030 5.6 .12  0 .024 5.7 .11  0
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i .25 46 2.6 0 23   1400 170 0 880     6200   9600    0 880     3000   5400    0 4.6 270 49 0 .42 35 5.4 -32 .032 4.6 .18 0 .034 4.8 .25  0 900     2900 9000    0 3.8 290 38 0 890    15000 13000   0 .052 9.2 .35 0 530    15000 6900   0 13   560 110 1 .030 5.6 .22  0 .023 5.6 .17  0
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i .26 46 2.5 0 39   2400 300 0 880     9300   11000    0 870     2700   5700    0 8.6 470 77 1 .44 38 6.1 -32 .029 4.5 .21 0 .038 4.6 .14  0 900     3400 8600    0 9.1 470 83 1 900    470 13000   0 .070 9.2 .37 0 900    460 12000   0 13   600 110 1 .049 5.7 .12  0 .032 5.7 .15  0
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i .27 46 1.8 0 33   2000 290 0 880     9000   9800    0 880     2700   5800    0 59   3700 590 0 .43 37 5.3 -32 .026 4.7 .25 0 .046 4.6 .20  0 900     3400 9400    0 58   3900 600 0 900    470 9700   0 .052 9.5 .33 0 650    15000 8000   0 14   590 120 1 .024 5.7 .11  0 .026 5.6 .27  0
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i .27 47 2.0 0 12   990 97 0 880     8400   9900    0 880     3900   9200    0 4.7 270 39 0 .44 35 5.1 -32 .038 4.6 .19 0 .027 4.8 .28  0 900     2900 7900    0 4.0 290 35 0 460    15000 5800   0 .063 9.3 .47 0 600    15000 9100   0 15   510 140 1 .026 5.7 .14  0 .030 5.6 .10  0
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i .27 47 1.9 0 11   880 100 0 880     12000   8700    0 880     4400   8800    0 4.7 270 46 0 .46 35 7.2 -32 .025 4.7 .25 0 .041 4.6 .12  0 900     3300 8700    0 4.1 290 38 0 460    15000 5500   0 .043 9.3 .42 0 530    15000 8400   0 34   1300 280 1 .035 5.5 .14  0 .026 5.6 .12  0
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i .26 46 2.4 0 22   1000 140 0 880     9500   6200    0 880     1800   8100    0 8.8 480 77 0 .38 35 4.6 -32 .033 4.6 .13 0 .032 4.6 .22  0 610     15000 5300    0 4.0 280 36 0 140    15000 1700   0 .046 9.2 .37 0 900    850 9200   0 25   720 170 0 .024 5.6 .15  0 .027 5.6 .15  0
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i .26 46 2.7 0 58   2600 440 0 880     13000   11000    0 880     3000   7000    0 67   3600 600 0 .45 38 5.3 -32 .052 4.6 .16 0 .049 4.6 .18  0 900     3400 9700    0 71   3800 630 0 900    470 12000   0 .044 9.2 .41 0 900    58 11000   0 28   880 230 1 .026 5.6 .093 0 .030 5.6 .20  0
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i .26 46 1.9 0 46   2500 380 0 870     12000   13000    0 880     3200   6800    0 57   3500 600 0 .46 38 5.6 -32 .027 4.6 .24 0 .052 4.6 .14  0 900     3500 9300    0 63   3900 610 0 900    470 9500   0 .053 9.6 .45 0 900    61 11000   0 31   1300 270 1 .030 5.6 .21  0 .022 5.6 .20  0
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i .27 46 1.8 0 13   1200 120 2 880     8900   4900    0 880     1800   8300    0 4.6 260 42 0 .38 35 5.1 2 .032 4.6 .20 0 .045 4.7 .17  0 700     15000 6400    0 4.1 280 33 0 190    15000 2600   0 .045 9.3 .45 0 900    2100 11000   0 12   520 91 2 .029 5.6 .20  0 .024 5.7 .10  0
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i .28 46 1.7 0 43   2300 400 0 880     9300   10000    0 880     2700   5800    0 4.2 270 35 0 .64 39 8.3 2 .031 4.6 .20 0 .028 4.7 .22  0 900     3200 10000    0 4.3 300 38 0 900    470 9700   0 .045 9.4 .41 0 900    2600 13000   0 330   1800 4900 0 .022 5.6 .23  0 .024 5.7 .18  0
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i .26 46 1.9 0 13   1100 100 0 880     8900   9200    0 880     6100   9900    0 4.8 280 41 0 .53 35 7.5 2 .028 4.7 .27 0 .029 4.6 .20  0 900     3200 8400    0 3.8 260 31 0 71    15000 1000   0 .069 9.0 .40 0 900    3300 6700   0 210   1600 2600 0 .044 5.6 .11  0 .025 5.7 .080 0
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i .26 46 2.1 0 9.7 690 84 0 880     10000   5800    0 880     6400   9300    0 4.6 260 40 0 .53 35 7.4 2 .032 4.6 .22 0 .029 4.6 .18  0 900     3300 8800    0 3.9 290 33 0 72    15000 1100   0 .047 9.1 .40 0 900    3400 7300   0 270   2100 3000 0 .032 5.6 .17  0 .031 5.7 .17  0
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i .25 46 1.9 0 10   710 79 2 880     9800   6100    0 880     1800   8600    0 6.4 330 58 2 .38 35 4.7 2 .032 4.6 .24 0 .032 4.6 .28  0 630     15000 5600    0 3.7 280 37 0 190    15000 2100   0 .045 9.9 .50 0