Tool 2LS 0.6.0 AProVE CBMC 5.8 CPAchecker 1.6.1-svn 26725 CPAchecker 1.6.1-svn 26758M 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 08:46:20 CET 2017-12-01 09:26:34 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-MainHeap aprove.sv-comp18.Termination-MainHeap cbmc.sv-comp18.Termination-MainHeap cpa-bam-bnb.sv-comp18.Termination-MainHeap cpa-bam-slicing.sv-comp18.Termination-MainHeap cpa-seq.sv-comp18.Termination-MainHeap depthk.sv-comp18.Termination-MainHeap esbmc-incr.sv-comp18.Termination-MainHeap esbmc-kind.sv-comp18.Termination-MainHeap symbiotic.sv-comp18.Termination-MainHeap uautomizer.sv-comp18.Termination-MainHeap ukojak.sv-comp18.Termination-MainHeap utaipan.sv-comp18.Termination-MainHeap
Options --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp18-bam-bnb -disable-java-assertions -heap 10000m -ldv-bam-svcomp -disable-java-assertions -heap 10000m -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) 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 error (134) .41 51 2.1 0 true 87   5300 740 2 error (42) 870    2200 4900   0 error (1) .47 41 4.9 0 error (1) .45 40 4.1 0 unknown 62   3700 590 0 unknown 1.5  57 19   0 timeout 900     2700 11000    0 timeout 900     2700 13000    0 unknown .067 6.5 .34 0 true 7.2 380 62 2 error (5) .048 5.1 .16  0 error (5) .047 5.0 .15  0
termination-libowfat/atol_true-termination.c.i error (134) .39 51 2.7 0 true 77   5400 620 2 error (42) 870    2200 5200   0 error (1) .47 40 4.8 0 error (1) .44 40 4.2 0 unknown 45   2000 340 0 unknown 1.5  58 20   0 timeout 900     2700 10000    0 timeout 900     2700 10000    0 unknown .042 6.5 .37 0 true 7.4 380 58 2 error (5) .022 5.0 .19  0 error (5) .023 4.9 .19  0
termination-libowfat/atoll_true-termination.c.i error (134) .36 51 2.2 0 true 75   5400 610 2 error (42) 870    2200 4400   0 error (1) .49 40 4.4 0 error (1) .44 40 4.2 0 unknown 100   3800 1100 0 unknown 1.5  56 15   0 timeout 900     2600 9900    0 timeout 900     2500 11000    0 unknown .067 6.5 .35 0 true 7.6 380 62 2 error (5) .044 4.9 .14  0 error (5) .049 5.0 .17  0
termination-libowfat/basename_true-termination.c.i error (134) .46 51 2.3 0 timeout 910   14000 4900 0 error (42) 870    6400 4400   0 error (1) .48 40 4.0 0 error (1) .46 40 4.0 0 unknown 47   2000 550 0 unknown 900    350 11000   0 timeout 900     750 11000    0 timeout 900     750 11000    0 unknown .072 6.6 .26 0 timeout 900   14000 5500 0 error (5) .049 4.9 .11  0 error (5) .023 4.9 .17  0
termination-libowfat/build_fullname_true-termination.c.i error (134) .36 51 2.2 0 error (1) 54   3500 490 0 error (42) 870    14000 8100   0 error (1) .48 40 4.4 0 error (1) .40 40 4.2 0 timeout 910   4200 12000 0 unknown 900    100 9600   0 timeout 900     1500 13000    0 timeout 900     1500 11000    0 unknown .041 6.5 .41 0 true 23   820 220 2 error (5) .048 4.8 .14  0 error (5) .048 5.0 .13  0
termination-libowfat/dirname_true-termination.c.i error (134) .37 51 2.1 0 error (1) 22   3600 200 0 error (42) 870    14000 7800   0 error (1) .48 41 4.7 0 error (1) .46 40 3.9 0 timeout 900   4500 12000 0 unknown 10    160 120   0 timeout 900     5100 9200    0 timeout 900     5100 8500    0 unknown .037 6.6 .38 0 timeout 910   14000 5600 0 error (5) .047 4.9 .21  0 error (5) .041 4.9 .14  0
termination-libowfat/skip_to_true-termination.c.i error (134) .36 50 2.1 0 true 29   3600 240 2 error (42) 870    2800 6000   0 error (1) .45 40 4.4 0 error (1) .46 40 4.4 0 unknown 8.1 490 67 0 unknown 1.5  58 18   0 timeout 900     4100 10000    0 timeout 900     4100 12000    0 unknown .042 6.5 .35 0 unknown 57   3700 500 0 error (5) .048 4.9 .13  0 error (5) .023 4.9 .14  0
termination-libowfat/stpcpy_true-termination.c.i error (134) .38 51 2.2 0 timeout 900   5200 15000 0 error (42) 870    14000 3600   0 error (1) .46 41 4.3 0 error (1) .47 40 4.1 0 exception 110   3900 1300 0 unknown 84    29 1100   0 timeout 900     2800 12000    0 timeout 900     2800 10000    0 unknown .066 6.6 .32 0 true 8.8 510 81 2 error (5) .023 4.9 .18  0 error (5) .024 4.9 .13  0
termination-libowfat/strcasecmp_true-termination.c.i error (134) .34 51 2.6 0 error (1) 5.8 420 45 0 error (42) 870    2500 6200   0 error (1) .46 40 4.6 0 error (1) .46 40 4.2 0 timeout 900   2800 11000 0 unknown 1.6  56 16   0 timeout 900     1600 8400    0 timeout 900     1600 8900    0 unknown .040 6.6 .34 0 true 9.8 530 88 2 error (5) .024 5.0 .11  0 error (5) .023 4.9 .18  0
termination-libowfat/strcat_short_true-termination.c.i error (134) .34 51 2.3 0 error (1) 7.5 690 64 0 error (42) 870    13000 4700   0 error (1) .48 40 4.2 0 error (1) .45 40 3.8 0 timeout 900   4300 11000 0 unknown 1.5  57 16   0 timeout 900     2100 9700    0 timeout 900     2100 11000    0 unknown .056 6.5 .33 0 true 12   670 100 2 error (5) .040 5.0 .12  0 error (5) .022 4.9 .19  0
termination-libowfat/strcat_true-termination.c.i error (134) .37 51 2.2 0 error (1) 7.6 700 66 0 error (42) 870    14000 5600   0 error (1) .46 40 4.1 0 error (1) .46 40 4.1 0 timeout 900   4300 11000 0 unknown 1.7  57 19   0 timeout 900     2700 9600    0 timeout 900     2700 9100    0 unknown .067 6.5 .38 0 error (7) 14   580 120 0 error (5) .053 5.0 .13  0 error (5) .023 5.0 .13  0
termination-libowfat/strchr_short_true-termination.c.i error (134) .37 51 2.2 0 true 11   760 81 2 error (42) 870    6000 5000   0 error (1) .50 40 4.5 0 error (1) .46 40 3.8 0 unknown 8.9 500 67 0 unknown 1.5  56 17   0 timeout 900     1800 11000    0 timeout 900     1800 9700    0 unknown .036 6.6 .41 0 true 9.0 470 77 2 error (5) .049 4.9 .13  0 error (5) .048 5.0 .16  0
termination-libowfat/strchr_true-termination.c.i error (134) .34 51 2.3 0 true 64   3600 520 2 error (42) 870    1100 5800   0 error (1) .49 42 4.2 0 error (1) .45 40 4.3 0 unknown 850   4200 10000 0 unknown 1.7  58 19   0 timeout 900     1900 11000    0 timeout 900     1900 9800    0 unknown .066 6.6 .35 0 true 160   6700 1200 2 error (5) .049 4.9 .14  0 error (5) .048 5.0 .14  0
termination-libowfat/strcmp_short_true-termination.c.i error (134) .39 50 2.4 0 true 15   1300 110 2 error (42) 880    8500 3000   0 error (1) .45 40 3.8 0 error (1) .43 40 3.8 0 timeout 900   3100 14000 0 unknown 1.5  56 17   0 timeout 900     3400 12000    0 timeout 900     3400 9500    0 unknown .063 6.6 .39 0 true 8.7 540 78 2 error (5) .046 4.9 .20  0 error (5) .035 5.0 .12  0
termination-libowfat/strcpy_small_true-termination.c.i error (134) .38 51 2.1 0 timeout 900   5200 11000 0 error (42) 870    14000 3900   0 error (1) .48 40 5.4 0 error (1) .45 40 3.6 0 exception 600   4000 8000 0 unknown 84    29 1100   0 timeout 900     2800 11000    0 timeout 900     2800 9300    0 unknown .039 6.6 .39 0 true 9.0 510 78 2 error (5) .025 4.9 .13  0 error (5) .021 5.0 .13  0
termination-libowfat/strcspn_true-termination.c.i error (134) .38 51 2.1 0 timeout 900   6100 6700 0 error (42) 870    340 4000   0 error (1) .45 41 4.0 0 error (1) .45 40 4.1 0 true 350   2200 4900 2 unknown 6.7  69 94   0 timeout 900     740 9900    0 timeout 900     740 10000    0 unknown .039 6.6 .38 0 true 18   710 160 2 error (5) .034 4.9 .15  0 error (5) .047 5.0 .15  0
termination-libowfat/strdup_true-termination.c.i error (134) .36 50 1.8 0 true 45   3600 460 2 error (42) 870    13000 5200   0 error (1) .47 41 4.6 0 error (1) .45 40 3.9 0 unknown 16   650 120 0 unknown 97    33 1100   0 timeout 900     1600 13000    0 timeout 900     1600 12000    0 unknown .041 6.5 .30 0 true 13   600 110 2 error (5) .023 4.9 .18  0 error (5) .038 5.0 .15  0
termination-libowfat/strlcat_true-termination.c.i error (134) .41 51 2.4 0 error (1) 210   5500 2100 0 error (42) 870    14000 4300   0 error (1) .49 40 4.3 0 error (1) .43 40 4.5 0 error (parsing failed) 1.6 130 15 0 unknown 1.6  56 22   0 timeout 900     3400 11000    0 timeout 900     3500 9800    0 unknown .039 6.5 .43 0 true 15   680 130 2 error (5) .022 5.2 .13  0 error (5) .024 4.9 .17  0
termination-libowfat/strlcpy_true-termination.c.i error (134) .36 51 2.1 0 timeout 910   6100 5900 0 error (42) 870    14000 4900   0 error (1) .47 40 4.7 0 error (1) .42 40 4.5 0 error (parsing failed) 1.5 140 16 0 unknown 120    68 1400   0 timeout 900     1000 11000    0 timeout 900     1000 11000    0 unknown .039 6.6 .39 0 true 17   670 140 2 error (5) .049 4.9 .15  0 error (5) .048 5.0 .17  0
termination-libowfat/strlen_true-termination.c.i error (134) .40 50 1.9 0 true 42   3600 330 2 error (42) 870    6100 3400   0 error (1) .49 40 4.4 0 error (1) .43 40 4.1 0 unknown 7.9 500 63 0 unknown 1.4  56 16   0 timeout 900     2300 9200    0 timeout 900     2300 12000    0 unknown .065 6.6 .34 0 true 7.2 350 62 2 error (5) .048 4.9 .12  0 error (5) .048 4.9 .11  0
termination-libowfat/strpbrk_true-termination.c.i error (134) .38 50 2.0 0 timeout 900   11000 8700 0 error (42) 870    330 4000   0 error (1) .48 41 4.7 0 error (1) .42 40 3.9 0 true 330   2200 3900 2 unknown 5.8  64 73   0 timeout 900     910 8500    0 timeout 900     910 9400    0 unknown .037 6.6 .45 0 unknown 30   1100 240 0 error (5) .048 4.9 .13  0 error (5) .047 5.0 .12  0
termination-libowfat/strrchr_short_true-termination.c.i error (134) .39 51 1.9 0 true 40   3100 280 2 error (42) 870    2700 5500   0 error (1) .46 40 4.1 0 error (1) .46 40 4.3 0 unknown 6.2 460 51 0 unknown 1.5  56 18   0 timeout 900     3000 9600    0 timeout 900     3000 12000    0 unknown .056 6.6 .32 0 true 8.3 470 65 2 error (5) .048 4.9 .12  0 error (5) .050 4.9 .15  0
termination-libowfat/strrchr_true-termination.c.i error (134) .35 51 2.3 0 timeout 900   5100 11000 0 error (42) 870    2600 6100   0 error (1) .50 40 4.9 0 error (1) .43 40 4.3 0 timeout 900   5100 10000 0 unknown 1.6  56 23   0 timeout 900     2400 9000    0 timeout 900     2400 7800    0 unknown .040 6.6 .40 0 true 9.4 550 76 2 error (5) .024 5.0 .15  0 error (5) .022 4.9 .19  0
termination-libowfat/strspn_true-termination.c.i error (134) .37 51 2.3 0 true 120   5200 1100 2 error (42) 870    1300 3500   0 error (1) .49 40 4.8 0 error (1) .41 40 4.1 0 timeout 900   3900 14000 0 unknown 2.0  56 26   0 timeout 900     1900 9400    0 timeout 900     1900 10000    0 unknown .042 6.5 .38 0 true 15   720 130 2 error (5) .045 5.0 .16  0 error (5) .049 5.0 .15  0
termination-libowfat/strstr_true-termination.c.i error (6) .33 51 2.3 0 true 250   3600 2200 2 error (42) 870    820 9900   0 error (1) .52 44 4.3 0 error (1) .45 40 4.0 0 timeout 900   3800 13000 0 unknown 900    610 12000   0 timeout 900     3800 9700    0 timeout 900     3600 9300    0 unknown .038 6.6 .39 0 true 40   1000 450 2 error (5) .034 4.9 .10  0 error (5) .038 4.8 .20  0
termination-libowfat/strtok_r_true-termination.c.i error (134) .40 51 2.5 0 timeout 900   6500 10000 0 error (42) 870    1300 4100   0 error (1) .47 41 4.6 0 error (1) .45 40 3.9 0 exception 680   4900 8300 0 unknown 7.4  83 88   0 timeout 900     1100 11000    0 timeout 900     1100 10000    0 unknown .042 6.7 .38 0 true 59   1200 590 2 error (5) .047 4.9 .15  0 error (5) .025 5.0 .21  0
termination-libowfat/strtol_true-termination.c.i error (134) .34 51 2.6 0 timeout 900   200 10000 0 error (42) 870    14000 5600   0 error (1) .49 41 4.1 0 error (1) .45 40 3.6 0 unknown 810   4300 11000 0 unknown 1.7  57 18   0 timeout 900     8600 9000    0 timeout 900     8500 11000    0 unknown .037 6.6 .50 0 true 15   670 140 2 error (5) .025 4.9 .12  0 error (5) .050 4.9 .16  0
termination-libowfat/strtoul_true-termination.c.i error (134) .42 51 2.1 0 timeout 900   200 9800 0 error (42) 880    10000 5600   0 error (1) .48 41 4.4 0 error (1) .46 40 4.2 0 unknown 580   4200 8100 0 unknown 1.7  57 20   0 timeout 900     11000 8700    0 timeout 900     12000 9200    0 unknown .056 6.5 .31 0 true 9.6 550 79 2 error (5) .024 4.9 .11  0 error (5) .022 5.0 .13  0
termination-libowfat/strtoull_true-termination.c.i error (134) .39 51 2.1 0 timeout 900   190 9800 0 error (42) 870    11000 4400   0 error (1) .47 41 4.0 0 error (1) .44 40 3.8 0 timeout 900   4200 11000 0 unknown 1.7  56 17   0 timeout 900     11000 8700    0 timeout 900     11000 8900    0 unknown .067 6.5 .31 0 true 9.3 550 79 2 error (5) .048 4.9 .14  0 error (5) .023 4.9 .11  0
termination-libowfat/wcsrchr_true-termination.c.i error (134) .35 50 2.3 0 out of memory 900   15000 4700 0 error (42) 870    3200 6700   0 error (1) .48 40 4.4 0 error (1) .42 40 4.1 0 unknown 6.6 480 58 0 unknown 1.5  57 16   0 timeout 900     2600 11000    0 timeout 900     2600 11000    0 unknown .065 6.5 .31 0 true 8.0 410 69 2 error (5) .050 5.1 .14  0 error (5) .048 4.9 .17  0
termination-libowfat/wcsstr_true-termination.c.i error (134) .36 50 2.1 0 timeout 910   10000 5300 0 error (42) 870    1300 4600   0 error (1) .49 41 4.5 0 error (1) .46 40 4.1 0 timeout 900   4200 12000 0 unknown 3.2  57 42   0 timeout 900     3500 8900    0 timeout 900     3500 9300    0 unknown .066 6.6 .32 0 true 5.6 290 48 2 error (5) .048 5.1 .15  0 error (5) .048 4.9 .15  0
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i false(termination) .41 50 2.4 1 false(termination) 7.3 420 62 1 error (42) 880    3200 7600   0 error (1) .49 40 3.7 0 error (1) .43 40 4.0 0 unknown 4.7 320 37 0 true .83 28 10   -32 timeout 900     390 13000    0 timeout 900     390 9200    0 unknown .065 6.5 .35 0 false(termination) 5.4 300 47 1 error (5) .034 4.9 .12  0 error (5) .026 5.0 .16  0
termination-memory-alloca/Velroyen-alloca_false-termination.c.i false(termination) .44 51 2.2 1 false(termination) 17   590 110 1 error (42) 870    2600 6000   0 error (1) .47 43 4.3 0 error (1) .45 41 4.8 0 unknown 5.4 330 49 0 true .88 29 11   -32 timeout 900     640 12000    0 timeout 900     630 9700    0 unknown .067 6.5 .34 0 false(termination) 7.8 400 63 1 error (5) .047 4.9 .13  0 error (5) .045 5.0 .16  0
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i true .78 66 5.4 2 true 38   2400 300 2 error (42) 870    3800 3100   0 error (1) .47 43 4.7 0 error (1) .47 41 4.4 0 timeout 910   4300 14000 0 true .90 29 11   2 timeout 900     440 12000    0 timeout 900     440 11000    0 unknown .037 6.5 .49 0 true 17   710 180 2 error (5) .050 4.9 .11  0 error (5) .023 4.9 .20  0
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i timeout 900    530 11000   0 true 17   1200 110 2 error (42) 870    1100 6200   0 error (1) .49 42 4.2 0 error (1) .45 40 4.8 0 timeout 900   4200 13000 0 true .90 28 10   2 timeout 900     200 11000    0 timeout 900     200 12000    0 unknown .040 6.5 .38 0 true 15   700 150 2 error (5) .048 4.9 .14  0 error (5) .048 4.9 .13  0
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i true .53 62 3.7 2 true 25   1800 150 2 error (42) 870    670 3300   0 error (1) .45 41 4.5 0 error (1) .43 40 4.2 0 timeout 900   4200 12000 0 true 1.1  28 14   2 timeout 900     1400 9800    0 timeout 900     1400 10000    0 unknown .064 6.6 .33 0 true 56   970 590 2 error (5) .048 4.9 .18  0 error (5) .023 4.9 .21  0
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i timeout 900    2200 9200   0 true 7.8 500 58 2 error (42) 870    4300 4200   0 error (1) .45 40 4.5 0 error (1) .42 40 4.3 0 true 330   3800 4500 2 true .86 28 11   2 timeout 900     580 11000    0 timeout 900     580 12000    0 unknown .040 6.5 .35 0 true 8.1 490 69 2 error (5) .046 4.9 .15  0 error (5) .048 5.1 .16  0
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i timeout 900    110 2400   0 true 8.5 540 68 2 error (42) 870    3600 4100   0 error (1) .49 40 4.3 0 error (1) .44 41 4.9 0 timeout 900   4100 13000 0 true .86 29 11   2 timeout 900     290 9500    0 timeout 900     300 11000    0 unknown .044 6.6 .29 0 true 61   790 700 2 error (5) .022 4.9 .22  0 error (5) .024 4.9 .18  0
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i true .70 61 5.7 2 true 18   1000 120 2 error (42) 870    2000 5700   0 error (1) .48 41 4.6 0 error (1) .45 40 4.3 0 true 270   4200 3300 2 true .86 29 12   2 timeout 900     560 12000    0 timeout 900     560 12000    0 unknown .067 6.5 .30 0 true 14   640 140 2 error (5) .049 4.9 .13  0 error (5) .048 4.9 .11  0
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i true .76 68 6.9 2 true 25   1500 150 2 error (42) 870    3400 7500   0 error (1) .49 43 4.3 0 error (1) .46 40 3.7 0 timeout 910   4200 14000 0 true .90 29 10   2 timeout 900     620 10000    0 timeout 900     620 9700    0 unknown .051 6.6 .37 0 true 94   810 1000 2 error (5) .041 4.9 .21  0 error (5) .045 4.9 .13  0
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i true .84 64 6.0 2 true 170   5600 920 2 error (42) 870    4700 6700   0 error (1) .49 40 4.2 0 error (1) .46 40 3.7 0 timeout 910   4100 12000 0 true .92 28 11   2 timeout 900     770 11000    0 timeout 900     770 11000    0 unknown .056 6.5 .41 0 true 720   1000 10000 2 error (5) .024 5.0 .16  0 error (5) .031 4.9 .16  0
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i timeout 900    250 9000   0 timeout 900   4500 12000 0 error (42) 870    3000 6000   0 error (1) .47 41 5.0 0 error (1) .45 40 3.6 0 timeout 900   4400 12000 0 true .87 28 11   2 timeout 900     560 11000    0 timeout 900     560 12000    0 unknown .066 6.5 .27 0 timeout 900   1700 11000 0 error (5) .023 4.9 .23  0 error (5) .023 4.9 .15  0
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i out of memory 410    15000 3700   0 true 6.6 520 54 2 true .85 36 8.8 2 error (1) .50 41 4.8 0 error (1) .42 40 4.4 0 timeout 910   4500 11000 0 true .97 29 15   2 true .085 27 .91 2 true .12  27 .90 2 unknown .066 6.5 .36 0 true 39   950 370 2 error (5) .045 4.9 .16  0 error (5) .022 4.9 .14  0
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i true .42 52 2.4 2 true 17   1000 110 2 error (42) 870    1800 5200   0 error (1) .48 40 4.8 0 error (1) .44 40 3.6 0 true 6.2 360 56 2 true .87 28 11   2 timeout 900     1000 9300    0 timeout 900     1000 10000    0 unknown .041 6.5 .37 0 true 7.4 340 53 2 error (5) .045 4.9 .16  0 error (5) .049 4.9 .090 0
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i timeout 900    2200 11000   0 timeout 900   3500 12000 0 error (42) 870    3000 7300   0 error (1) .46 41 4.7 0 error (1) .44 40 4.5 0 timeout 910   4200 12000 0 true .87 28 11   2 timeout 900     440 12000    0 timeout 900     450 9800    0 unknown .056 6.6 .32 0 true 13   570 110 2 error (5) .025 4.9 .12  0 error (5) .045 4.9 .18  0
termination-memory-alloca/Masse-alloca_true-termination.c.i timeout 900    140 2300   0 timeout 910   10000 4100 0 error (42) 870    260 10000   0 error (1) .46 40 4.7 0 error (1) .45 40 4.1 0 unknown 5.1 320 47 0 true .85 29 10   2 timeout 900     99 11000    0 timeout 900     100 11000    0 unknown .041 6.5 .34 0 unknown 15   630 100 0 error (5) .025 4.9 .14  0 error (5) .047 5.0 .13  0
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i timeout 900    2900 11000   0 true 56   3700 440 2 error (42) 870    320 9300   0 error (1) .50 40 4.5 0 error (1) .46 40 4.5 0 timeout 910   4400 12000 0 true .89 29 11   2 timeout 900     350 12000    0 timeout 900     360 11000    0 unknown .039 6.6 .34 0 true 27   760 280 2 error (5) .025 4.9 .16  0 error (5) .050 5.1 .10  0
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i out of memory 34    15000 330   0 true 43   3700 370 2 error (42) 870    2700 5900   0 error (1) .45 40 4.4 0 error (1) .44 40 4.0 0 timeout 910   4500 14000 0 true .91 29 11   2 timeout 900     300 10000    0 timeout 900     290 11000    0 unknown .042 6.6 .33 0 true 33   820 300 2 error (5) .021 5.0 .13  0 error (5) .024 4.8 .14  0
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i timeout 900    220 13000   0 timeout 910   14000 4700 0 error (42) 870    1700 8200   0 error (1) .47 41 4.6 0 error (1) .45 40 4.2 0 true 100   3700 1000 2 true .89 29 11   2 timeout 900     320 9900    0 timeout 900     320 12000    0 unknown .067 6.6 .32 0 timeout 910   14000 4400 0 error (5) .024 4.9 .14  0 error (5) .040 4.9 .21  0
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i timeout 900    4000 10000   0 true 10   730 70 2 error (42) 870    5700 4100   0 error (1) .48 40 3.9 0 error (1) .45 41 4.0 0 timeout 900   4200 11000 0 true .87 29 11   2 timeout 900     340 12000    0 timeout 900     340 11000    0 unknown .037 6.6 .47 0 true 15   680 130 2 error (5) .051 4.9 .14  0 error (5) .044 4.9 .15  0
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i out of memory 34    15000 320   0 true 11   760 71 2 error (42) 870    5800 4200   0 error (1) .46 40 4.6 0 error (1) .41 40 3.8 0 timeout 910   4400 13000 0 true .92 29 11   2 timeout 900     340 9200    0 timeout 900     340 10000    0 unknown .047 6.6 .43 0 true 41   830 380 2 error (5) .045 5.0 .15  0 error (5) .021 4.9 .19  0
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i true .55 60 3.7 2 true 8.2 590 62 2 error (42) 870    1200 5300   0 error (1) .47 41 4.5 0 error (1) .41 40 4.3 0 unknown 640   4100 9100 0 true .88 29 11   2 timeout 900     1000 13000    0 timeout 900     1000 11000    0 unknown .057 6.6 .44 0 true 30   700 310 2 error (5) .048 4.9 .13  0 error (5) .025 4.9 .17  0
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i true 1.6  160 14   2 true 8.7 660 64 2 error (42) 880    5100 10000   0 error (1) .49 40 3.9 0 error (1) .46 40 4.0 0 out of memory 530   15000 7800 0 true .85 28 11   2 timeout 900     4600 7800    0 timeout 900     4600 9700    0 unknown .061 6.5 .34 0 timeout 900   3300 11000 0 error (5) .034 5.0 .14  0 error (5) .048 4.9 .16  0
termination-memory-alloca/Urban-alloca_true-termination.c.i timeout 900    800 7100   0 true 76   4600 450 2 error (42) 870    3900 9000   0 error (1) .50 40 4.5 0 error (1) .43 40 4.5 0 true 120   4000 1300 2 true .91 28 12   2 timeout 900     700 11000    0 timeout 900     700 9000    0 unknown .041 6.6 .32 0 true 32   880 310 2 error (5) .048 4.9 .14  0 error (5) .026 4.9 .14  0
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i true .63 63 4.4 2 true 22   1600 160 2 error (42) 870    660 3900   0 error (1) .48 42 4.0 0 error (1) .46 40 3.7 0 timeout 900   4100 10000 0 true 1.1  29 16   2 timeout 900     1400 9600    0 timeout 900     1300 9500    0 unknown .056 6.5 .37 0 true 23   730 220 2 error (5) .035 4.9 .21  0 error (5) .048 4.9 .13  0
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i true .39 52 2.5 2 true 5.9 460 44 2 error (42) 870    5200 3300   0 error (1) .49 41 3.9 0 error (1) .42 38 3.4 0 timeout 900   4100 13000 0 true .84 28 11   2 timeout 900     270 9200    0 timeout 900     270 13000    0 unknown .063 6.6 .37 0 true 8.4 480 68 2 error (5) .024 4.8 .18  0 error (5) .023 5.1 .12  0
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i true .40 51 2.5 2 true 7.5 460 54 2 error (42) 870    8300 4200   0 error (1) .50 40 4.4 0 error (1) .45 40 4.1 0 timeout 900   4200 11000 0 true .86 29 12   2 timeout 900     300 10000    0 timeout 900     300 11000    0 unknown .068 6.5 .31 0 true 8.7 530 69 2 error (5) .048 4.9 .14  0 error (5) .026 5.0 .12  0
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i true .51 56 3.2 2 timeout 900   3700 11000 0 error (42) 870    2200 6200   0 error (1) .47 40 4.3 0 error (1) .42 40 4.3 0 timeout 920   4300 11000 0 true .92 35 13   2 timeout 900     340 11000    0 timeout 900     330 10000    0 unknown .065 6.6 .38 0 true 15   550 120 2 error (5) .021 4.9 .18  0 error (5) .048 4.9 .17  0
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i true .49 59 3.0 2 true 12   750 82 2 error (42) 870    5600 3500   0 error (1) .47 40 5.0 0 error (1) .44 40 4.8 0 timeout 910   4400 13000 0 true .86 29 12   2 timeout 900     360 11000    0 timeout 900     360 11000    0 unknown .054 6.5 .36 0 true 12   580 110 2 error (5) .025 4.9 .14  0 error (5) .027 5.1 .16  0
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i true .53 56 3.1 2 true 8.2 600 66 2 error (42) 870    6100 4100   0 error (1) .50 45 4.0 0 error (1) .44 38 3.6 0 timeout 910   4300 15000 0 true .85 29 11   2 timeout 900     300 10000    0 timeout 900     300 11000    0 unknown .046 6.7 .31 0 true 9.6 540 81 2 error (5) .026 5.0 .14  0 error (5) .047 4.9 .14  0
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i true .44 53 3.4 2 true 14   890 100 2 error (42) 870    780 6100   0 error (1) .48 41 4.7 0 error (1) .43 40 3.7 0 timeout 900   4100 13000 0 true .89 29 9.5 2 timeout 900     300 9900    0 timeout 900     300 11000    0 unknown .056 6.5 .40 0 true 10   520 91 2 error (5) .039 4.8 .18  0 error (5) .051 5.1 .15  0
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i true .48 52 2.8 2 true 3.4 270 29 2 error (42) 870    3200 8400   0 error (1) .45 41 4.1 0 error (1) .47 40 4.0 0 timeout 900   4300 12000 0 true .86 29 13   2 timeout 900     300 10000    0 timeout 900     300 12000    0 unknown .064 6.6 .32 0 true 12   590 120 2 error (5) .047 4.9 .13  0 error (5) .054 5.1 .17  0
termination-memory-alloca/add_last-alloca_true-termination.c.i error (134) .34 50 2.4 0 error (1) 19   1100 160 0 error (42) 870    13000 6900   0 error (1) .49 40 4.2 0 error (1) .41 40 4.2 0 timeout 900   3900 12000 0 true 1.1  28 15   2 timeout 900     910 12000    0 timeout 900     910 13000    0 unknown .046 6.5 .29 0 true 7.4 390 57 2 error (5) .050 4.9 .14  0 error (5) .047 4.9 .13  0
termination-memory-alloca/array01-alloca_true-termination.c.i error (134) .33 50 2.5 0 true 65   3900 490 2 error (42) 870    13000 4200   0 error (1) .49 41 4.6 0 error (1) .46 40 3.9 0 unknown 29   970 220 0 true 3.0  51 42   2 timeout 900     600 12000    0 timeout 900     600 13000    0 unknown .056 6.5 .36 0 true 11   540 91 2 error (5) .050 4.9 .13  0 error (5) .047 5.1 .19  0
termination-memory-alloca/array02-alloca_true-termination.c.i error (134) .35 50 2.1 0 true 160   5300 1300 2 error (42) 870    13000 5200   0 error (1) .48 41 4.4 0 error (1) .43 40 4.7 0 unknown 26   890 190 0 true 5.1  96 61   2 timeout 900     320 12000    0 timeout 900     320 13000    0 unknown .064 6.5 .35 0 true 14   610 120 2 error (5) .046 4.9 .16  0 error (5) .022 4.9 .12  0
termination-memory-alloca/array03-alloca_true-termination.c.i error (134) .39 51 2.0 0 true 270   5900 2000 2 error (42) 870    13000 4600   0 error (1) .49 43 4.7 0 error (1) .43 40 3.6 0 true 3.9 290 35 2 true 3.4  60 47   2 timeout 900     1700 12000    0 timeout 900     1700 12000    0 unknown .058 6.5 .28 0 true 13   580 130 2 error (5) .024 4.9 .16  0 error (5) .023 5.0 .18  0
termination-memory-alloca/aviad_true-alloca_true-termination.c.i timeout 900    150 2900   0 true 55   3500 360 2 true 8.2  160 85   2 error (1) .50 41 4.5 0 error (1) .44 40 3.6 0 timeout 900   4100 12000 0 true .86 29 12   2 true 4.7   30 59    2 true 4.8   30 57    2 unknown .070 6.5 .35 0 timeout 900   910 10000 0 error (5) .048 4.9 .12  0 error (5) .025 4.9 .17  0
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i true .44 53 3.0 2 true 6.7 440 51 2 error (42) 870    5400 3200   0 error (1) .47 41 4.9 0 error (1) .44 38 4.0 0 timeout 900   4100 11000 0 true .83 28 12   2 timeout 900     300 9800    0 timeout 900     310 11000    0 unknown .056 6.6 .38 0 true 8.9 480 69 2 error (5) .026 4.9 .19  0 error (5) .023 4.9 .16  0
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i true .59 58 3.9 2 true 7.2 470 54 2 error (42) 870    4300 4000   0 error (1) .50 41 4.6 0 error (1) .44 41 4.2 0 timeout 900   4100 11000 0 true .87 28 10   2 timeout 900     270 13000    0 timeout 900     270 10000    0 unknown .067 6.5 .32 0 true 9.8 520 76 2 error (5) .042 4.9 .12  0 error (5) .021 4.9 .16  0
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i true .39 52 2.9 2 true 12   810 87 2 error (42) 870    8400 4100   0 error (1) .48 41 4.2 0 error (1) .45 40 4.9 0 unknown 43   2700 400 0 true .85 28 10   2 timeout 900     170 11000    0 timeout 900     180 11000    0 unknown .062 6.6 .43 0 true 9.2 530 89 2 error (5) .048 5.1 .15  0 error (5) .048 5.1 .15  0
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i true .40 52 2.5 2 true 13   840 110 2 error (42) 870    760 7100   0 error (1) .51 40 4.2 0 error (1) .44 40 4.0 0 unknown 41   2700 370 0 true .88 28 9.8 2 timeout 900     270 12000    0 timeout 900     270 12000    0 unknown .041 6.6 .32 0 true 9.7 520 78 2 error (5) .039 4.9 .18  0 error (5) .044 4.9 .15  0
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i true .78 67 5.7 2 true 3.6 290 32 2 true .88 36 8.4 2 error (1) .50 41 4.0 0 error (1) .44 41 4.1 0 timeout 900   4100 12000 0 true .86 29 11   2 true .093 27 .88 2 true .084 27 .81 2 unknown .048 6.5 .34 0 true 13   600 120 2 error (5) .041 4.9 .15  0 error (5) .038 5.0 .17  0
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i true .56 57 3.3 2 true 8.1 680 65 2 error (42) 870    3400 7900   0 error (1) .46 40 4.6 0 error (1) .44 40 4.0 0 timeout 900   3200 13000 0 true .87 28 9.5 2 timeout 900     680 10000    0 timeout 900     690 11000    0 unknown .058 6.5 .39 0 true 8.7 540 79 2 error (5) .049 5.0 .15  0 error (5) .048 5.0 .12  0
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i true .67 65 4.5 2 true 17   1300 130 2 error (42) 880    6300 6800   0 error (1) .46 41 4.6 0 error (1) .46 40 3.9 0 timeout 900   4200 12000 0 true .87 28 9.9 2 timeout 900     620 10000    0 timeout 900     610 11000    0 unknown .069 6.6 .32 0 true 10   530 84 2 error (5) .047 4.9 .14  0 error (5) .045 4.9 .18  0
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i true .56 59 4.2 2 true 12   750 87 2 error (42) 870    6100 4200   0 error (1) .44 40 4.4 0 error (1) .42 39 4.2 0 timeout 900   4300 12000 0 true .85 29 11   2 timeout 900     390 10000    0 timeout 900     390 11000    0 unknown .040 6.5 .34 0 true 14   700 120 2 error (5) .048 4.9 .13  0 error (5) .048 4.9 .13  0
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i timeout 900    2200 9700   0 true 3.8 330 34 2 error (42) 870    2900 5000   0 error (1) .47 40 4.7 0 error (1) .44 40 4.7 0 timeout 900   4100 13000 0 true .87 29 13   2 timeout 900     530 12000    0 timeout 900     530 10000    0 unknown .046 6.7 .28 0 true 40   850 440 2 error (5) .026 4.9 .15  0 error (5) .024 4.9 .16  0
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i true .51 59 3.2 2 true 3.9 320 32 2 error (42) 870    170 9400   0 error (1) .49 40 4.6 0 error (1) .53 40 3.6 0 timeout 900   4100 12000 0 true .90 29 12   2 timeout 900     670 10000    0 timeout 900     670 9200    0 unknown .058 6.5 .43 0 true 20   690 170 2 error (5) .047 4.9 .11  0 error (5) .042 4.9 .18  0
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i true .52 58 3.4 2 true 39   3500 300 2 error (42) 870    1600 8400   0 error (1) .47 41 4.8 0 error (1) .43 40 3.8 0 timeout 900   4100 14000 0 true .92 29 10   2 timeout 900     400 11000    0 timeout 900     400 12000    0 unknown .056 6.5 .37 0 true 14   620 120 2 error (5) .050 4.9 .17  0 error (5) .046 5.0 .15  0
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i true .56 59 4.1 2 error (1) 7.4 690 70 0 error (42) 870    1700 5000   0 error (1) .47 41 3.7 0 error (1) .45 40 4.0 0 timeout 900   4300 12000 0 true .93 29 11   2 timeout 900     400 10000    0 timeout 900     390 12000    0 unknown .070 6.6 .34 0 true 34   880 330 2 error (5) .021 4.9 .19  0 error (5) .025 5.1 .11  0
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i true .62 59 4.4 2 true 13   1000 95 2 error (42) 870    1400 6400   0 error (1) .47 41 3.9 0 error (1) .47 41 4.3 0 timeout 900   4100 11000 0 true .89 29 11   2 timeout 900     490 10000    0 timeout 900     490 12000    0 unknown .067 6.5 .34 0 true 12   570 110 2 error (5) .025 4.9 .17  0 error (5) .049 4.9 .15  0
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i true .49 57 3.4 2 true 16   1200 110 2 error (42) 870    1500 7100   0 error (1) .48 40 3.9 0 error (1) .41 37 3.5 0 timeout 910   4200 13000 0 true .89 29 13   2 timeout 900     500 11000    0 timeout 900     500 11000    0 unknown .061 6.5 .34 0 true 17   690 160 2 error (5) .024 4.9 .12  0 error (5) .045 5.0 .13  0
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i true .93 89 7.6 2 true 15   1200 120 2 error (42) 870    1300 6500   0 error (1) .48 41 4.2 0 error (1) .42 40 4.3 0 timeout 900   4100 14000 0 true 1.4  31 20   2 timeout 900     850 10000    0 timeout 900     850 11000    0 unknown .041 6.6 .39 0 true 14   660 110 2 error (5) .026 5.0 .17  0 error (5) .045 4.9 .15  0
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i true .80 62 6.5 2 true 9.1 710 67 2 error (42) 880    1000 3100   0 error (1) .45 43 4.5 0 error (1) .47 40 3.6 0 timeout 910   4400 12000 0 true 1.3  29 18   2 timeout 900     930 9800    0 timeout 900     930 8500    0 unknown .042 6.5 .37 0 true 15   690 140 2 error (5) .024 4.9 .18  0 error (5) .022 5.0 .15  0
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i true .55 57 3.4 2 true 14   880 90 2 error (42) 870    670 2700   0 error (1) .48 41 4.1 0 error (1) .42 41 4.6 0 timeout 900   4000 13000 0 true 1.1  29 13   2 timeout 900     800 11000    0 timeout 900     800 14000    0 unknown .061 6.5 .37 0 true 15   620 140 2 error (5) .048 5.0 .15  0 error (5) .043 5.0 .13  0
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i true .54 59 3.8 2 true 14   1100 100 2 error (42) 880    670 3700   0 error (1) .48 40 4.5 0 error (1) .44 40 4.2 0 timeout 910   4200 14000 0 true 1.2  28 17   2 timeout 900     1100 11000    0 timeout 900     1100 13000    0 unknown .067 6.6 .38 0 true 19   700 170 2 error (5) .022 4.8 .17  0 error (5) .048 5.0 .17  0
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i true .74 67 5.3 2 true 9.8 740 68 2 error (42) 870    1400 3800   0 error (1) .52 43 4.7 0 error (1) .45 40 3.9 0 true 430   4600 6100 2 true 1.4  29 20   2 timeout 900     1000 13000    0 timeout 900     1000 12000    0 unknown .066 6.5 .35 0 true 16   710 150 2 error (5) .050 4.9 .11  0 error (5) .047 4.9 .16  0
termination-memory-alloca/bubblesort-alloca_true-termination.c.i error (134) .37 50 2.3 0 true 230   5600 1800 2 error (42) 870    5200 5600   0 error (1) .50 43 4.7 0 error (1) .45 40 4.2 0 true 6.5 380 53 2 true 4.8  93 58   2 timeout 900     5600 10000    0 timeout 900     5600 11000    0 unknown .041 6.6 .39 0 true 11   550 82 2 error (5) .052 5.0 .15  0 error (5) .043 4.9 .17  0
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i out of memory 130    15000 1000   0 true 31   2200 190 2 error (42) 870    8200 9600   0 error (1) .49 42 4.3 0 error (1) .41 40 4.2 0 timeout 910   4400 13000 0 true 1.2  29 15   2 timeout 900     1900 9600    0 timeout 900     1900 12000    0 unknown .039 6.5 .37 0 error (7) 310   2100 4300 0 error (5) .048 4.9 .11  0 error (5) .029 4.9 .19  0
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i true .57 60 3.3 2 true 33   2100 220 2 error (42) 870    8200 8300   0 error (1) .50 40 4.5 0 error (1) .45 40 4.2 0 timeout 900   4500 13000 0 true 1.3  29 15   2 timeout 900     1800 10000    0 timeout 900     1800 10000    0 unknown .059 6.6 .35 0 error (7) 520   2000 6300 0 error (5) .041 4.9 .18  0 error (5) .021 4.8 .17  0
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i true .52 59 3.5 2 true 23   1800 170 2 error (42) 870    700 3400   0 error (1) .48 41 4.4 0 error (1) .42 40 3.6 0 timeout 910   4200 12000 0 true 1.1  28 16   2 timeout 900     1300 9900    0 timeout 900     1300 9500    0 unknown .056 6.5 .27 0 true 34   800 320 2 error (5) .048 4.9 .12  0 error (5) .025 5.0 .16  0
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i true .46 54 3.3 2 true 21   1900 150 2 error (42) 870    3300 6300   0 error (1) .48 43 5.0 0 error (1) .45 40 3.9 0 timeout 910   4400 12000 0 true .89 29 11   2 timeout 900     320 10000    0 timeout 900     320 10000    0 unknown .066 6.5 .38 0 true 43   900 410 2 error (5) .048 5.0 .14  0 error (5) .046 4.9 .12  0
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i true .66 64 4.3 2 true 15   1300 110 2 error (42) 870    4100 5100   0 error (1) .49 42 4.2 0 error (1) .43 40 3.8 0 timeout 910   4500 12000 0 true .90 29 11   2 timeout 900     630 13000    0 timeout 900     630 11000    0 unknown .067 6.5 .27 0 true 12   670 110 2 error (5) .050 4.9 .11  0 error (5) .048 4.9 .14  0
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i true .62 64 4.3 2 true 21   1500 150 2 error (42) 880    660 3400   0 error (1) .47 42 4.6 0 error (1) .46 40 4.2 0 timeout 900   4300 12000 0 true 1.2  29 13   2 timeout 900     1400 11000    0 timeout 900     1400 12000    0 unknown .039 6.5 .49 0 timeout 900   1900 12000 0 error (5) .023 5.1 .17  0 error (5) .038 5.0 .19  0
termination-memory-alloca/count_down-alloca_true-termination.c.i error (134) .37 51 2.2 0 true 110   5400 1000 2 error (42) 870    13000 6700   0 error (1) .47 41 4.5 0 error (1) .47 41 4.2 0 timeout 900   4200 12000 0 true 3.0  49 34   2 timeout 900     390 12000    0 timeout 900     390 13000    0 unknown .042 6.5 .41 0 true 13   580 110 2 error (5) .048 4.9 .13  0 error (5) .022 4.9 .15  0
termination-memory-alloca/cstrcat-alloca_true-termination.c.i error (134) .34 50 2.4 0 timeout 910   5700 4900 0 error (42) 870    13000 4700   0 error (1) .48 41 4.8 0 error (1) .46 40 4.0 0 timeout 900   4000 12000 0 unknown 110    35 1400   0 timeout 900     2000 12000    0 timeout 900     2000 10000    0 unknown .041 6.6 .33 0 true 11   570 89 2 error (5) .024 4.9 .20  0 error (5) .025 5.1 .17  0
termination-memory-alloca/cstrchr-alloca_true-termination.c.i error (134) .40 50 2.2 0 true 11   740 80 2 error (6) 770    8500 3300   0 error (1) .45 41 5.1 0 error (1) .48 40 4.2 0 unknown 19   690 150 0 true 1.0  29 13   2 timeout 900     1200 10000    0 timeout 900     1200 11000    0 unknown .042 6.6 .36 0 true 7.8 470 67 2 error (5) .048 4.9 .15  0 error (5) .041 4.8 .15  0
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i error (134) .37 51 2.0 0 true 24   1600 160 2 error (42) 880    8100 3600   0 error (1) .48 42 4.6 0 error (1) .45 41 4.5 0 timeout 900   3100 11000 0 true 1.1  29 12   2 timeout 900     3300 10000    0 timeout 900     3300 9500    0 unknown .063 6.6 .31 0 true 8.8 530 72 2 error (5) .024 5.1 .21  0 error (5) .024 4.9 .14  0
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i error (134) .35 50 2.4 0 true 95   3500 1000 2 error (42) 870    14000 4200   0 error (1) .49 40 4.3 0 error (1) .46 41 4.2 0 timeout 900   4500 12000 0 unknown 90    29 1200   0 timeout 900     3000 12000    0 timeout 900     3000 9900    0 unknown .058 6.5 .32 0 true 8.9 520 74 2 error (5) .025 5.0 .15  0 error (5) .050 5.1 .15  0
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i error (134) .37 51 2.0 0 true 96   5300 670 2 error (42) 870    1200 3400   0 error (1) .48 41 4.5 0 error (1) .46 40 4.7 0 timeout 900   3700 12000 0 true 1.7  29 19   2 timeout 900     1200 9400    0 timeout 900     1500 8500    0 unknown .040 6.5 .43 0 true 100   730 1200 2 error (5) .024 4.9 .15  0 error (5) .024 5.0 .11  0
termination-memory-alloca/cstrlen-alloca_true-termination.c.i error (134) .41 50 2.0 0 true 7.7 630 59 2 error (42) 870    6700 2700   0 error (1) .48 41 5.0 0 error (1) .43 41 3.8 0 unknown 25   1000 190 0 true 1.0  28 12   2 timeout 900     2400 10000    0 timeout 900     2400 10000    0 unknown .066 6.5 .32 0 true 7.1 370 66 2 error (5) .025 4.9 .16  0 error (5) .026 5.1 .17  0
termination-memory-alloca/cstrncat-alloca_true-termination.c.i error (134) .41 51 2.4 0 error (1) 90   3700 740 0 error (42) 870    13000 4500   0 error (1) .50 41 4.0 0 error (1) .45 41 3.9 0 timeout 900   4200 14000 0 true 1.1  29 13   2 timeout 900     2100 8200    0 timeout 900     2100 10000    0 unknown .057 6.6 .38 0 true 8.9 460 76 2 error (5) .025 4.9 .19  0 error (5) .046 5.0 .17  0
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i error (134) .37 50 2.3 0 true 30   2300 240 2 error (42) 870    1100 8000   0 error (1) .49 41 4.4 0 error (1) .44 41 4.4 0 timeout 900   3300 12000 0 unknown 120    62 1500   0 timeout 900     1600 9600    0 timeout 900     1600 11000    0 unknown .038 6.6 .39 0 true 8.9 520 79 2 error (5) .022 4.9 .17  0 error (5) .041 4.9 .18  0
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i error (134) .38 51 2.1 0 true 84   3800 710 2 error (42) 870    14000 9700   0 error (1) .49 40 4.4 0 error (1) .45 40 3.8 0 true 620   4700 7000 2 timeout 900    870 11000   0 timeout 900     6400 10000    0 timeout 900     6200 7600    0 unknown .067 6.5 .32 0 true 14   610 100 2 error (5) .039 4.9 .13  0 error (5) .025 5.1 .17  0
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i error (134) .41 51 2.1 0 true 52   4000 390 2 error (42) 870    1200 3900   0 error (1) .45 40 3.5 0 error (1) .44 40 4.6 0 timeout 900   3700 12000 0 true 1.6  28 23   2 timeout 900     1600 10000    0 timeout 900     1600 7500    0 unknown .041 6.5 .40 0 true 17   700 160 2 error (5) .048 4.9 .091 0 error (5) .039 4.8 .19  0
termination-memory-alloca/cstrspn-alloca_true-termination.c.i error (134) .38 51 2.1 0 true 56   4600 420 2 error (42) 870    1200 3300   0 error (1) .47 40 4.6 0 error (1) .44 40 4.5 0 timeout 900   3700 13000 0 true 1.7  29 20   2 timeout 900     1600 9300    0 timeout 900     1600 8600    0 unknown .041 6.6 .47 0 true 18   690 180 2 error (5) .024 4.9 .17  0 error (5) .022 5.0 .23  0
termination-memory-alloca/diff-alloca_true-termination.c.i error (134) .41 51 2.1 0 true 61   3600 490 2 error (42) 880    11000 4200   0 error (1) .49 40 4.3 0 error (1) .44 40 3.8 0 true 18   990 150 2 true 2.5  40 32   2 timeout 900     260 13000    0 timeout 900     260 11000    0 unknown .037 6.6 .45 0 true 19   780 190 2 error (5) .042 5.0 .13  0 error (5) .039 4.9 .23  0
termination-memory-alloca/easySum-alloca_true-termination.c.i true .50 55 3.3 2 true 67   2300 750 2 error (42) 870    4400 4100   0 error (1) .46 40 4.4 0 error (1) .47 41 4.0 0 timeout 900   4100 12000 0 true .85 28 13   2 timeout 900     950 10000    0 timeout 900     940 11000    0 unknown .040 6.5 .41 0 true 9.5 520 78 2 error (5) .047 4.9 .14  0 error (5) .040 5.0 .18  0
termination-memory-alloca/ex1-alloca_true-termination.c.i true .52 60 3.7 2 true 8.5 520 61 2 error (42) 870    4100 3500   0 error (1) .46 41 4.4 0 error (1) .45 41 5.2 0 timeout 900   4100 9400 0 true .85 29 12   2 timeout 900     560 9800    0 timeout 900     560 10000    0 unknown .067 6.5 .37 0 true 58   520 770 2 error (5) .024 5.0 .17  0 error (5) .024 4.9 .14  0
termination-memory-alloca/ex2-alloca_true-termination.c.i out of memory 92    15000 760   0 timeout 910   6100 5300 0 error (42) 870    1500 5700   0 error (1) .49 41 4.3 0 error (1) .44 40 4.4 0 timeout 900   4200 14000 0 true .90 29 12   2 timeout 900     200 9300    0 timeout 900     200 11000    0 unknown .038 6.5 .44 0 unknown 46   1400 370 0 error (5) .024 4.9 .15  0 error (5) .023 4.8 .17  0
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i timeout 900    84 5800   0 true 9.8 730 80 2 true 1.7  36 16   2 error (1) .46 43 4.4 0 error (1) .45 40 4.4 0 timeout 900   3900 11000 0 true .85 29 12   2 true .086 27 1.1  2 true .092 27 .99 2 unknown .066 6.6 .31 0 unknown 21   800 170 0 error (5) .048 4.9 .11  0 error (5) .049 5.0 .19  0
termination-memory-alloca/ex3b-alloca_true-termination.c.i timeout 900    85 6000   0 true 15   1200 120 2 true 16    71 180   2 error (1) .48 41 4.3 0 error (1) .43 38 3.6 0 timeout 910   4300 13000 0 true .87 28 11   2 true 120     48 1600    2 true 120     47 1500    2 unknown .067 6.6 .35 0 unknown 25   1100 210 0 error (5) .024 4.9 .16  0 error (5) .047 4.9 .13  0
termination-memory-alloca/fermat-alloca_true-termination.c.i true 1.2  120 11   2 true 120   4100 870 2 error (42) 880    7900 12000   0 error (1) .47 40 4.4 0 error (1) .43 40 4.4 0 timeout 910   4300 13000 0 true .86 29 9.9 2 timeout 900     4500 11000    0 timeout 900     4500 11000    0 unknown .039 6.6 .47 0 timeout 900   790 10000 0 error (5) .047 4.9 .16  0 error (5) .048 5.1 .13  0
termination-memory-alloca/flag-alloca_true-termination.c.i timeout 900    3500 11000   0 true 16   1300 110 2 error (42) 870    2300 2900   0 error (1) .48 40 4.2 0 error (1) .45 40 3.2 0 timeout 920   4500 11000 0 true .86 28 11   2 timeout 900     550 10000    0 timeout 900     560 11000    0 unknown .043 6.7 .40 0 true 27   1000 250 2 error (5) .046 4.9 .19  0 error (5) .024 5.2 .15  0
termination-memory-alloca/gcd1-alloca_true-termination.c.i true .56 56 4.0 2 true 83   4200 550 2 error (42) 870    680 3300   0 error (1) .42 40 4.0 0 error (1) .42 40 3.9 0 timeout 910   4300 13000 0 true 1.2  29 15   2 timeout 900     910 11000    0 timeout 900     910 10000    0 unknown .066 6.5 .35 0 true 20   740 210 2 error (5) .025 5.0 .16  0 error (5) .024 4.9 .18  0
termination-memory-alloca/genady-alloca_true-termination.c.i true .62 59 4.2 2 timeout 900   3600 14000 0 true 18    79 210   2 error (1) .44 40 4.5 0 error (1) .41 40 4.0 0 timeout 900   3100 11000 0 true .82 29 10   2 true 480     2800 5800    2 true 480     2800 6700    2 unknown .039 6.6 .35 0 true 9.5 520 73 2 error (5) .047 4.9 .13  0 error (5) .025 4.9 .16  0
termination-memory-alloca/insertionsort-alloca_true-termination.c.i error (134) .33 51 2.7 0 true 100   3800 1000 2 error (42) 880    14000 4000   0 error (1) .46 40 3.9 0 error (1) .42 40 4.4 0 true 15   630 120 2 true 2.2  36 25   2 timeout 900     420 11000    0 timeout 900     410 11000    0 unknown .066 6.5 .30 0 true 12   580 100 2 error (5) .046 4.9 .16  0 error (5) .050 5.0 .13  0
termination-memory-alloca/java_AG313-alloca_true-termination.c.i true .55 57 3.6 2 true 26   2000 170 2 error (42) 870    5800 3400   0 error (1) .49 41 4.7 0 error (1) .45 40 4.3 0 timeout 900   4300 14000 0 true .85 28 10   2 timeout 900     210 9900    0 timeout 900     210 9900    0 unknown .060 6.5 .35 0 true 10   540 90 2 error (5) .025 5.0 .16  0 error (5) .042 4.9 .14  0
termination-memory-alloca/java_Break-alloca_true-termination.c.i true .53 59 3.8 2 true 7.3 500 54 2 true 2.4  36 27   2 error (1) .51 40 4.2 0 error (1) .47 41 4.4 0 timeout 900   3900 11000 0 true .84 28 11   2 true .086 27 .98 2 true .11  27 .85 2 unknown .037 6.6 .39 0 true 8.8 510 73 2 error (5) .025 5.1 .17  0 error (5) .021 4.9 .15  0
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i error (134) .37 50 2.0 0 error (1) 190   5100 2000 0 error (42) 870    5200 6200   0 error (1) .47 40 4.4 0 error (1) .44 40 4.0 0 true 7.7 460 61 2 true 7.3  120 89   2 timeout 900     3700 6500    0 timeout 900     3700 7200    0 unknown .045 6.5 .33 0 true 12   550 100 2 error (5) .021 5.0 .17  0 error (5) .023 5.0 .15  0
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i true .51 57 3.5 2 true 9.7 740 66 2 true 4.1  38 33   2 error (1) .48 43 4.6 0 error (1) .43 40 4.0 0 true 330   4500 3600 2 true .81 28 10   2 true .091 27 1.1  2 true .13  27 .88 2 unknown .066 6.5 .33 0 true 56   880 640 2 error (5) .039 5.0 .18  0 error (5) .048 4.9 .12  0
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i timeout 900    150 2400   0 true 7.7 530 64 2 true 5.2  41 49   2 error (1) .47 42 4.1 0 error (1) .45 40 4.1 0 timeout 900   3900 13000 0 true .85 28 9.5 2 true .17  27 2.0  2 true .20  27 1.7  2 unknown .040 6.6 .41 0 true 8.3 440 67 2 error (5) .024 4.9 .12  0 error (5) .034 4.9 .13  0
termination-memory-alloca/java_Nested-alloca_true-termination.c.i true .60 68 5.0 2 true 34   2400 210 2 true 2.6  37 25   2 error (1) .46 40 4.1 0 error (1) .46 40 3.8 0 timeout 900   4100 11000 0 true .87 29 13   2 true .12  27 1.0  2 true .092 27 1.0  2 unknown .038 6.5 .43 0 error (7) 120   1000 1300 0 error (5) .022 4.9 .13  0 error (5) .048 5.0 .15  0
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i true .61 66 5.1 2 true 10   740 71 2 true 5.9  36 53   2 error (1) .47 40 4.1 0 error (1) .42 40 4.0 0 timeout 900   4100 15000 0 true .86 29 10   2 true .28  27 3.0  2 true .28  27 3.4  2 unknown .057 6.5 .37 0 timeout 900   4000 12000 0 error (5) .046 5.0 .12  0 error (5) .047 4.9 .15  0
termination-memory-alloca/lis-alloca_true-termination.c.i error (134) .38 51 2.1 0 timeout 900   3600 11000 0 error (42) 870    2500 5300   0 error (1) .47 41 4.5 0 error (1) .45 40 3.7 0 timeout 900   4200 12000 0 true 3.6  110 38   2 timeout 900     9100 12000    0 timeout 900     9100 12000    0 unknown .056 6.6 .35 0 error (7) 350   1500 4900 0 error (5) .050 5.0 .16  0 error (5) .039 4.9 .20  0
termination-memory-alloca/min_rf-alloca_true-termination.c.i timeout 900    1400 11000   0 true 94   3600 750 2 error (42) 870    510 13000   0 error (1) .48 40 3.9 0 error (1) .44 41 4.5 0 timeout 900   4300 12000 0 true .92 29 11   2 timeout 900     200 10000    0 timeout 900     200 12000    0 unknown .041 6.5 .34 0 error (7) 560   13000 4900 0 error (5) .048 5.0 .15  0 error (5) .041 4.9 .17  0
termination-memory-alloca/mult_array-alloca_true-termination.c.i error (134) .35 51 2.2 0 error (1) 50   3600 510 0 error (42) 870    13000 6500   0 error (1) .47 41 3.9 0 error (1) .45 40 4.3 0 timeout 920   4500 10000 0 true 1.1  29 13   2 timeout 900     3700 10000    0 timeout 900     3800 8600    0 unknown .065 6.6 .35 0 true 13   570 98 2 error (5) .023 5.1 .11  0 error (5) .021 4.9 .16  0
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i error (134) .34 51 2.7 0 true 12   800 89 2 error (42) 870    14000 4100   0 error (1) .47 41 4.1 0 error (1) .42 40 3.6 0 true 6.5 410 47 2 unknown 82    29 1200   0 timeout 900     3500 12000    0 timeout 900     3500 10000    0 unknown .061 6.6 .38 0 true 8.1 390 59 2 error (5) .044 4.9 .14  0 error (5) .023 4.9 .21  0
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i error (134) .39 51 2.1 0 true 20   1500 150 2 error (42) 870    2600 4400   0 error (1) .46 40 4.5 0 error (1) .44 38 3.8 0 true 6.4 430 48 2 unknown 89    32 1100   0 timeout 900     1300 10000    0 timeout 900     1300 11000    0 unknown .041 6.6 .39 0 true 8.3 450 75 2 error (5) .026 4.9 .18  0 error (5) .025 4.9 .17  0
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i error (134) .40 51 2.1 0 true 25   2300 200 2 error (42) 870    14000 4500   0 error (1) .52 41 4.2 0 error (1) .44 40 4.9 0 true 6.1 380 50 2 unknown 83    29 1200   0 timeout 900     840 10000    0 timeout 900     840 10000    0 unknown .039 6.6 .42 0 true 8.5 450 64 2 error (5) .024 4.9 .11  0 error (5) .040 5.0 .14  0
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i error (134) .38 50 2.1 0 true 24   1400 160 2 error (42) 870    13000 4800   0 error (1) .49 40 4.4 0 error (1) .44 40 3.7 0 true 5.1 300 37 2 unknown 80    30 1200   0 timeout 900     3800 11000    0 timeout 900     3800 10000    0 unknown .048 6.5 .39 0 true 8.4 430 68 2 error (5) .048 5.0 .14  0 error (5) .051 4.9 .13  0
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i error (134) .35 51 2.3 0 true 81   3600 970 2 error (42) 870    14000 4600   0 error (1) .50 41 4.0 0 error (1) .41 40 4.6 0 unknown 310   4400 3800 0 unknown 86    29 1100   0 timeout 900     2500 13000    0 timeout 900     2500 11000    0 unknown .037 6.6 .41 0 true 8.7 500 72 2 error (5) .048 4.9 .17  0 error (5) .024 5.0 .17  0
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i error (134) .35 51 2.4 0 true 72   3700 720 2 error (42) 870    14000 11000   0 error (1) .51 41 4.3 0 error (1) .44 40 4.1 0 true 810   4300 10000 2 timeout 900    820 12000   0 timeout 900     7100 9600    0 timeout 900     7100 9400    0 unknown .066 6.5 .30 0 true 28   720 290 2 error (5) .048 4.9 .11  0 error (5) .034 5.0 .12  0
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i error (134) .37 51 2.2 0 timeout 910   5700 5500 0 error (42) 870    13000 4900   0 error (1) .47 41 4.4 0 error (1) .43 40 3.8 0 timeout 900   4100 12000 0 unknown 100    35 1600   0 timeout 900     1900 12000    0 timeout 900     1900 12000    0 unknown .040 6.5 .41 0 true 11   550 97 2 error (5) .023 4.9 .17  0 error (5) .048 5.0 .15  0
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i error (134) .39 51 2.1 0 true 22   2100 170 2 error (42) 870    3000 5700   0 error (1) .50 42 4.7 0 error (1) .45 40 4.2 0 unknown 720   4200 11000 0 unknown 100    41 1300   0 timeout 900     2300 9900    0 timeout 900     2300 9200    0 unknown .041 6.6 .42 0 true 9.3 550 84 2 error (5) .047 4.9 .13  0 error (5) .021 5.0 .15  0
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i error (134) .35 51 2.3 0 true 89   2300 930 2 error (42) 870    14000 4400   0 error (1) .48 43 4.3 0 error (1) .44 40 4.3 0 unknown 400   4600 5200 0 unknown 86    31 1000   0 timeout 900     2500 11000    0 timeout 900     2500 12000    0 unknown .066 6.6 .31 0 true 8.6 500 69 2 error (5) .048 4.9 .15  0 error (5) .040 4.9 .093 0
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i error (134) .39 50 2.5 0 timeout 910   8100 5100 0 error (42) 870    460 2900   0 error (1) .53 44 4.3 0 error (1) .49 40 4.1 0 true 870   2200 12000 2 timeout 900    1100 11000   0 timeout 900     1700 11000    0 timeout 900     1700 13000    0 unknown .091 6.6 .36 0 true 57   720 700 2 error (5) .026 4.9 .15  0 error (5) .045 5.0 .14  0
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i error (134) .41 51 2.0 0 true 43   4200 310 2 error (42) 870    14000 4100   0 error (1) .45 40 4.0 0 error (1) .43 40 4.0 0 timeout 900   3900 12000 0 unknown 120    71 1700   0 timeout 900     860 11000    0 timeout 900     860 11000    0 unknown .066 6.6 .32 0 true 16   730 120 2 error (5) .021 4.9 .16  0 error (5) .024 4.9 .15  0
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i error (134) .35 51 2.3 0 true 10   630 66 2 error (42) 870    7600 3500   0 error (1) .49 41 4.9 0 error (1) .41 40 3.8 0 unknown 7.0 470 59 0 true 1.0  29 13   2 timeout 900     2000 8900    0 timeout 900     2000 9900    0 unknown .067 6.5 .34 0 true 7.2 370 58 2 error (5) .042 5.1 .17  0 error (5) .026 4.9 .15  0
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i error (134) .35 51 2.4 0 error (1) 79   3800 730 0 error (42) 870    13000 5200   0 error (1) .44 40 4.3 0 error (1) .46 40 3.7 0 timeout 900   4200 11000 0 unknown 120    45 1800   0 timeout 900     2300 12000    0 timeout 900     2300 9800    0 unknown .067 6.5 .31 0 true 9.4 530 77 2 error (5) .023 4.9 .18  0 error (5) .025 5.1 .16  0
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i error (134) .41 51 2.1 0 true 29   2400 230 2 error (42) 870    1100 5800   0 error (1) .46 44 4.8 0 error (1) .45 40 3.8 0 unknown 510   4100 7000 0 unknown 120    58 1500   0 timeout 900     2300 9700    0 timeout 900     2300 9700    0 unknown .043 6.5 .35 0 true 8.9 520 86 2 error (5) .025 4.9 .12  0 error (5) .043 5.0 .20  0
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i error (134) .38 51 2.3 0 true 48   4800 390 2 error (42) 870    14000 9700   0 error (1) .48 41 3.6 0 error (1) .46 39 3.7 0 timeout 900   4400 12000 0 timeout 900    820 11000   0 timeout 900     7000 10000    0 timeout 900     7100 9600    0 unknown .067 6.6 .39 0 true 14   650 120 2 error (5) .047 4.9 .18  0 error (5) .041 4.8 .16  0
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i error (134) .37 51 2.1 0 true 18   1300 120 2 error (42) 870    2500 5100   0 error (1) .48 42 4.3 0 error (1) .45 41 4.4 0 true 7.9 470 59 2 true 1.0  29 13   2 timeout 900     2000 10000    0 timeout 900     2000 11000    0 unknown .065 6.6 .32 0 true 7.5 440 64 2 error (5) .026 5.0 .13  0 error (5) .050 4.9 .14  0
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i error (134) .40 50 2.3 0 true 34   3700 280 2 error (42) 870    310 3600   0 error (1) .51 42 4.6 0 error (1) .43 40 3.9 0 true 810   2200 11000 2 unknown 900    290 13000   0 timeout 900     620 9500    0 timeout 900     620 9900    0 unknown .065 6.6 .36 0 true 48   740 530 2 error (5) .024 4.9 .11  0 error (5) .048 4.9 .14  0
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i error (134) .35 51 2.6 0 timeout 910   7900 4100 0 error (42) 870    2200 5900   0 error (1) .46 41 4.7 0 error (1) .45 40 4.0 0 timeout 900   3300 12000 0 unknown 900    510 9400   0 timeout 900     400 11000    0 timeout 900     380 10000    0 unknown .039 6.5 .36 0 true 15   710 130 2 error (5) .020 4.9 .16  0 error (5) .023 5.0 .17  0
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i error (134) .37 50 2.4 0 true 160   5800 1100 2 error (42) 870    14000 7700   0 error (1) .50 41 4.2 0 error (1) .43 40 3.7 0 timeout 900   4300 12000 0 unknown 900    220 10000   0 timeout 900     710 11000    0 timeout 900     640 10000    0 unknown .038 6.6 .50 0 true 33   940 380 2 error (5) .048 4.9 .15  0 error (5) .048 4.9 .14  0
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i error (5) .33 53 2.7 0 true 13   1200 91 2 out of memory 770    15000 4800   0 error (1) .47 40 4.0 0 error (1) .44 38 3.9 0 error (recursion) 3.3 280 30 0 true 1.0  28 12   2 timeout 900     1800 8800    0 timeout 900     1800 9900    0 unknown .068 6.5 .24 0 true 7.2 330 58 2 error (5) .027 4.9 .17  0 error (5) .047 4.9 .12  0
termination-memory-alloca/selectionsort-alloca_true-termination.c.i error (134) .35 51 2.2 0 timeout 900   11000 6900 0 error (42) 870    15000 5800   0 error (1) .47 41 4.1 0 error (1) .42 40 3.6 0 out of memory 300   15000 4200 0 true 2.3  39 33   2 timeout 900     3100 9600    0 timeout 900     3100 9000    0 unknown .057 6.6 .37 0 true 12   600 110 2 error (5) .022 4.9 .15  0 error (5) .047 4.9 .12  0
termination-memory-alloca/stroeder1-alloca_true-termination.c.i error (134) .37 50 2.6 0 true 21   2300 170 2 error (42) 870    3400 2700   0 error (1) .46 41 4.4 0 error (1) .46 41 4.3 0 true 5.6 340 45 2 true 1.0  29 15   2 timeout 900     1600 7600    0 timeout 900     1600 9900    0 unknown .039 6.5 .36 0 true 7.1 330 55 2 error (5) .024 5.0 .10  0 error (5) .025 4.9 .15  0
termination-memory-alloca/stroeder2-alloca_true-termination.c.i error (134) .39 50 2.2 0 true 76   3900 560 2 error (42) 870    2800 3800   0 error (1) .48 43 4.9 0 error (1) .43 40 3.6 0 true 6.5 390 57 2 true 1.7  31 20   2 timeout 900     1300 12000    0 timeout 900     1300 13000    0 unknown .060 6.5 .33 0 true 10   530 91 2 error (5) .021 5.0 .21  0 error (5) .045 4.9 .18  0
termination-memory-alloca/strreplace-alloca_true-termination.c.i error (134) .37 51 2.3 0 true 45   3600 320 2 error (42) 870    13000 9000   0 error (1) .48 40 4.3 0 error (1) .43 40 3.9 0 unknown 26   1100 230 0 true 1.1  29 13   2 timeout 900     170 14000    0 timeout 900     170 12000    0 unknown .041 6.6 .31 0 true 8.9 470 70 2 error (5) .050 4.9 .14  0 error (5) .048 4.9 .15  0
termination-memory-alloca/subseq-alloca_true-termination.c.i error (134) .36 51 2.6 0 true 42   3700 320 2 error (42) 870    14000 6300   0 error (1) .45 41 4.0 0 error (1) .48 40 4.1 0 timeout 900   2900 12000 0 true 1.1  29 13   2 timeout 900     2300 12000    0 timeout 900     2200 11000    0 unknown .039 6.6 .41 0 true 13   610 97 2 error (5) .023 4.9 .16  0 error (5) .022 5.0 .12  0
termination-memory-alloca/substring-alloca_true-termination.c.i error (134) .39 51 2.8 0 true 56   3700 450 2 error (42) 870    1500 4600   0 error (1) .46 40 3.7 0 error (1) .41 40 4.6 0 timeout 900   4200 12000 0 true 3.3  43 43   2 timeout 900     800 9600    0 timeout 900     770 11000    0 unknown .068 6.5 .32 0 true 17   720 140 2 error (5) .022 4.9 .19  0 error (5) .039 4.9 .23  0
termination-memory-alloca/twisted-alloca_true-termination.c.i timeout 900    64 10000   0 true 5.9 410 43 2 true .83 36 9.5 2 error (1) .47 41 4.5 0 error (1) .45 40 3.8 0 timeout 910   4400 13000 0 true .88 28 11   2 true .085 27 .80 2 true .11  27 .91 2 unknown .038 6.6 .39 0 true 28   810 290 2 error (5) .048 4.9 .13  0 error (5) .022 4.8 .19  0
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i error (5) .35 50 2.2 0 false(termination) 16   1100 97 0 error (42) 870    670 12000   0 error (1) .46 41 4.5 0 error (1) .44 40 4.3 0 error (recursion) 3.5 300 31 0 true .89 29 11   -32 timeout 900     1700 10000    0 timeout 900     1700 12000    0 unknown .061 6.5 .36 0 unknown 28   940 240 0 error (5) .050 4.9 .12  0 error (5) .024 5.0 .16  0
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i error (5) .37 51 2.1 0 error (1) 26   1600 210 0 error (42) 870    7700 11000   0 error (1) .50 41 4.1 0 error (1) .41 40 3.6 0 error (recursion) 3.4 310 29 0 true 1.0  29 15   -32 timeout 900     3400 9900    0 timeout 900     3400 8000    0 unknown .041 6.5 .41 0 false(termination) 9.7 520 76 1 error (5) .047 4.9 .15  0 error (5) .047 4.9 .18  0
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i error (5) .34 51 2.3 0 error (1) 52   3700 410 0 error (42) 870    13000 9500   0 error (1) .50 42 4.1 0 error (1) .45 40 4.2 0 false(termination) 7.8 460 69 1 true 1.1  29 13   -32 timeout 900     3800 8600    0 timeout 900     3800 9400    0 unknown .065 6.5 .31 0 false(termination) 9.6 530 75 1 error (5) .024 5.0 .19  0 error (5) .047 5.0 .16  0
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i error (5) .33 50 2.5 0 error (1) 43   3700 330 0 error (42) 870    13000 10000   0 error (1) .49 42 4.2 0 error (1) .45 40 4.0 0 unknown 61   3600 510 0 true 1.1  29 13   -32 timeout 900     4000 8300    0 timeout 900     4000 7800    0 unknown .067 6.5 .34 0 false(termination) 9.0 540 74 1 error (5) .046 5.0 .14  0 error (5) .048 4.9 .13  0
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i error (5) .39 50 2.4 0 error (1) 11   1000 87 0 error (42) 870    13000 8900   0 error (1) .49 41 4.6 0 error (1) .45 40 3.8 0 error (recursion) 3.2 280 29 0 true 1.1  29 15   -32 timeout 900     3200 10000    0 timeout 900     3300 9900    0 unknown .067 6.6 .25 0 false(termination) 12   550 110 1 error (5) .048 4.9 .15  0 error (5) .046 4.9 .10  0
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i error (5) .39 51 1.9 0 error (1) 11   880 86 0 error (42) 870    14000 9000   0 error (1) .48 40 5.0 0 error (1) .45 40 4.5 0 error (recursion) 3.5 300 33 0 true 1.1  29 12   -32 timeout 900     3800 9100    0 timeout 900     3800 8800    0 unknown .040 6.5 .32 0 false(termination) 28   1300 220 1 error (5) .034 4.9 .12  0 error (5) .023 5.0 .19  0
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i error (5) .35 51 1.8 0 error (1) 19   1100 140 0 error (42) 870    6700 8800   0 error (1) .44 40 4.4 0 error (1) .45 40 3.7 0 error (recursion) 3.5 300 28 0 true .94 28 13   -32 out of memory 630     15000 6900    0 out of memory 640     15000 5700    0 unknown .056 6.5 .34 0 unknown 18   740 160 0 error (5) .030 4.9 .18  0 error (5) .039 5.0 .16  0
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i error (5) .38 51 2.3 0 error (1) 66   3900 480 0 error (42) 870    13000 9100   0 error (1) .46 41 4.4 0 error (1) .45 40 4.0 0 unknown 62   3200 510 0 true 1.1  29 13   -32 timeout 900     4000 10000    0 timeout 900     4000 11000    0 unknown .056 6.6 .30 0 false(termination) 9.7 550 78 1 error (5) .047 4.9 .14  0 error (5) .041 5.0 .16  0
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i error (5) .35 51 2.6 0 error (1) 58   2600 430 0 error (42) 870    13000 10000   0 error (1) .47 41 4.6 0 error (1) .46 40 3.6 0 unknown 50   3700 420 0 true 1.1  29 13   -32 timeout 900     4000 11000    0 timeout 900     3900 8400    0 unknown .040 6.6 .31 0 false(termination) 9.3 530 83 1 error (5) .022 4.9 .15  0 error (5) .043 5.0 .21  0
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i error (5) .35 51 1.9 0 true 15   1300 120 2 error (42) 870    7600 7700   0 error (1) .45 43 4.6 0 error (1) .46 40 4.2 0 error (recursion) 3.5 310 27 0 true .94 28 13   2 out of memory 690     15000 7000    0 out of memory 700     15000 6100    0 unknown .040 6.5 .43 0 true 8.5 440 68 2 error (5) .023 5.0 .18  0 error (5) .024 5.0 .18  0
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i error (5) .37 51 2.7 0 error (1) 48   3700 420 0 error (42) 870    13000 9900   0 error (1) .49 40 4.6 0 error (1) .46 40 4.2 0 timeout 900   3700 11000 0 true 1.2  29 15   2 timeout 900     3600 10000    0 timeout 900     3600 8900    0 unknown .042 6.5 .29 0 unknown 280   1600 3500 0 error (5) .049 4.9 .12  0 error (5) .049 5.0 .12  0
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i error (5) .41 51 2.1 0 error (1) 14   1000 96 0 error (42) 870    13000 8300   0 error (1) .49 41 4.2 0 error (1) .47 41 4.0 0 error (recursion) 3.4 300 28 0 true 1.2  29 17   2 timeout 900     3700 7600    0 timeout 900     3900 7800    0 unknown .069 6.6 .32 0 error (7) 26   970 230 0 error (5) .047 4.9 .14  0 error (5) .021 4.9 .16  0
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i error (5) .40 51 2.3 0 error (1) 9.7 710 68 0 error (42) 870    13000 7200   0 error (1) .47 41 4.0 0 error (1) .45 40 4.2 0 error (recursion) 3.4 300 32 0 true 1.2  29 18   2 timeout 900     3700 11000    0 timeout 900     3700 8000    0 unknown .039 6.6 .40 0 error (7) 45   1400 450 0 error (5) .047 5.0 .14  0 error (5) .047 4.9 .15  0
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i error (5) .41 50 2.2 0 true 9.2 620 76 2 error (42) 870    6700 7900   0 error (1) .47 44 4.5 0 error (1) .46 40 4.2 0 error (recursion) 3.5 300 31 0 true .91 29 14   2 out of memory 610     15000 5700    0 out of memory 630     15000 6200    0 unknown .039 6.6 .49 0 true 7.3 370 63 2 error (5) .023 5.0 .16  0 error (5) .047 4.9 .19  0
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i error (5) .39 51 2.1 0 error (1) 37   2400 320 0 error (42) 870    8000 10000   0 error (1) .49 43 4.6 0 error (1) .46 41 4.0 0 timeout 900   3800 12000 0 true 1.0  29 15   2 timeout 900     3900 10000    0 timeout 900     3800 7400    0 unknown .066 6.6 .31 0 unknown 210   2600 2400 0 error (5) .048 4.8 .19  0 error (5) .030 4.9 .15  0
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i error (5) .36 50 2.1 0 error (1) 33   1900 260 0 error (42) 870    8100 9600   0 error (1) .47 42 4.5 0 error (1) .45 40 4.2 0 unknown 13   600 100 0 true 1.0  29 13   2 timeout 900     3900 9100    0 timeout 900     3700 8400    0 unknown .064 6.6 .29 0 unknown 42   1900 350 0 error (5) .022 4.9 .13  0 error (5) .022 4.9 .14  0
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i error (5) .40 50 2.4 0 error (1) 24   1400 180 0 error (42) 870    7900 10000   0 error (1) .46 41 5.0 0 error (1) .43 40 3.8 0 unknown 8.2 480 62 0 true .96 28 12   2 timeout 900     3700 8500    0 timeout 900     3800 8700    0 unknown .057 6.5 .37 0 unknown 43   2400 430 0 error (5) .022 4.9 .20  0 error (5) .048 5.0 .14  0
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i error (5) .36 51 2.3 0 error (1) 61   3600 470 0 error (42) 870    13000 9900   0 error (1) .51 41 4.1 0 error (1) .43 40 3.8 0 timeout 900   3900 15000 0 true 1.3  29 16   2 timeout 900     3600 12000    0 timeout 900     3400 11000    0 unknown .065 6.5 .32 0 unknown 480   4400 5900 0 error (5) .026 4.9 .16  0 error (5) .047 4.9 .12  0
termination-15/add_first_alloca_true-termination.c.i error (134) .40 50 2.0 0 error (1) 14   970 110 0 error (42) 870    13000 4000   0 error (1) .51 40 4.5 0 error (1) .42 40 4.2 0 true 10   480 85 2 unknown 1.5  55 19   0 timeout 900     750 12000    0 timeout 900     740 11000    0 unknown .057 6.5 .26 0 true 7.4 380 54 2 error (5) .043 4.9 .14  0 error (5) .047 4.9 .15  0
termination-15/array05_alloca_true-termination.c.i error (134) .35 51 2.3 0 error (1) 30   1600 230 0 error (42) 870    14000 5500   0 error (1) .48 41 4.5 0 error (1) .47 41 4.8 0 true 6.4 340 58 2 unknown 1.6  58 18   0 timeout 900     310 14000    0 timeout 900     310 12000    0 unknown .067 6.6 .37 0 unknown 16   700 120 0 error (5) .024 4.9 .12  0 error (5) .047 4.9 .12  0
termination-15/array06_alloca_true-termination.c.i error (134) .37 51 2.3 0 true 27   1700 160 2 error (42) 870    13000 4600   0 error (1) .46 41 4.6 0 error (1) .46 40 4.5 0 true 6.3 340 48 2 unknown 1.6  57 20   0 timeout 900     930 12000    0 timeout 900     930 11000    0 unknown .055 6.5 .35 0 true 10   560 86 2 error (5) .022 5.0 .22  0 error (5) .048 4.9 .15  0
termination-15/array07_alloca_true-termination.c.i error (134) .38 51 2.4 0 true 29   1700 210 2 error (42) 870    13000 4600   0 error (1) .48 44 4.6 0 error (1) .43 40 4.1 0 true 6.9 330 60 2 unknown 1.6  57 19   0 timeout 900     940 10000    0 timeout 900     930 13000    0 unknown .041 6.8 .28 0 true 11   560 90 2 error (5) .023 4.9 .10  0 error (5) .049 5.0 .14  0
termination-15/array08_alloca_true-termination.c.i error (134) .39 50 2.4 0 timeout 900   14000 4700 0 error (42) 870    14000 6600   0 error (1) .49 41 4.8 0 error (1) .42 40 3.3 0 timeout 900   4500 10000 0 unknown 1.6  56 18   0 timeout 900     470 11000    0 timeout 900     480 12000    0 unknown .039 6.6 .43 0 unknown 20   790 160 0 error (5) .050 4.9 .12  0 error (5) .052 5.1 .14  0
termination-15/array09_alloca_true-termination.c.i error (134) .35 50 2.4 0 out of memory 900   15000 4700 0 error (42) 870    14000 7100   0 error (1) .47 40 4.4 0 error (1) .41 40 4.3 0 timeout 900   4500 13000 0 unknown 1.6  56 16   0 timeout 900     700 12000    0 timeout 900     700 13000    0 unknown .044 6.6 .34 0 unknown 21   800 180 0 error (5) .044 4.9 .13  0 error (5) .048 4.9 .13  0
termination-15/array10_alloca_true-termination.c.i error (134) .34 50 2.7 0 error (1) 30   1700 220 0 error (42) 870    14000 6000   0 error (1) .46 41 3.9 0 error (1) .46 41 4.5 0 true 6.4 330 60 2 unknown 1.6  56 18   0 timeout 900     270 14000    0 timeout 900     270 12000    0 unknown .038 6.6 .30 0 unknown 16   730 120 0 error (5) .025 4.9 .18  0 error (5) .042 4.9 .17  0
termination-15/array12_alloca_true-termination.c.i error (134) .37 51 2.0 0 error (1) 55   5200 640 0 error (42) 870    14000 7100   0 error (1) .46 40 4.4 0 error (1) .43 38 3.6 0 timeout 900   4400 11000 0 unknown 1.6  56 21   0 timeout 900     1800 9200    0 timeout 900     1800 9900    0 unknown .065 6.6 .38 0 error (7) 130   1000 1800 0 error (5) .032 4.9 .14  0 error (5) .021 4.9 .19  0
termination-15/array13_alloca_true-termination.c.i error (134) .38 51 2.5 0 error (1) 61   3600 640 0 error (42) 870    14000 5400   0 error (1) .47 40 3.9 0 error (1) .43 40 4.7 0 timeout 900   4200 14000 0 unknown 1.6  57 21   0 timeout 900     1300 12000    0 timeout 900     1300 9600    0 unknown .068 6.5 .33 0 error (7) 360   1100 4100 0 error (5) .056 5.0 .12  0 error (5) .024 4.9 .15  0
termination-15/array16_alloca_fixed_true-termination.c.i error (134) .40 51 2.3 0 error (1) 46   5200 500 0 error (42) 870    14000 6900   0 error (1) .48 40 4.0 0 error (1) .46 40 4.4 0 timeout 900   5400 11000 0 unknown 1.6  57 18   0 timeout 900     1300 11000    0 timeout 900     1300 13000    0 unknown .066 6.5 .37 0 timeout 900   1800 12000 0 error (5) .050 5.0 .16  0 error (5) .018 4.9 .13  0
termination-15/array17_alloca_true-termination.c.i error (134) .36 51 1.8 0 error (1) 63   3800 470 0 error (42) 870    14000 4800   0 error (1) .48 40 4.6 0 error (1) .45 40 4.1 0 error 10   490 80 0 unknown 1.6  57 22   0 timeout 900     230 13000    0 timeout 900     230 11000    0 unknown .046 6.6 .39 0 timeout 900   2300 14000 0 error (5) .025 4.9 .16  0 error (5) .048 4.9 .13  0
termination-15/array18_alloca_true-termination.c.i error (134) .40 50 2.0 0 timeout 910   14000 4800 0 error (42) 870    14000 6500   0 error (1) .46 40 4.2 0 error (1) .45 40 3.8 0 timeout 900   4400 14000 0 unknown 1.6  57 18   0 timeout 900     650 11000    0 timeout 900     640 12000    0 unknown .069 6.6 .36 0 unknown 20   780 150 0 error (5) .047 4.9 .14  0 error (5) .024 4.9 .15  0
termination-15/count_up_alloca_true-termination.c.i error (134) .38 51 2.5 0 true 98   5400 770 2 error (42) 870    13000 4700   0 error (1) .47 43 4.5 0 error (1) .45 40 4.2 0 unknown 20   780 160 0 unknown 3.4  57 45   0 timeout 900     340 15000    0 timeout 900     340 14000    0 unknown .042 6.6 .40 0 true 14   620 100 2 error (5) .025 4.9 .15  0 error (5) .024 4.9 .11  0
termination-15/count_up_and_down_alloca_true-termination.c.i error (134) .41 51 1.9 0 true 65   3600 640 2 error (42) 870    13000 4200   0 error (1) .49 43 4.4 0 error (1) .47 41 4.2 0 unknown 16   630 130 0 unknown 3.4  56 50   0 timeout 900     1100 11000    0 timeout 900     1000 11000    0 unknown .040 6.5 .47 0 true 12   520 100 2 error (5) .049 4.9 .12  0 error (5) .044 5.0 .14  0
termination-15/cstrcat_diffterm_alloca_true-termination.c.i error (134) .39 50 2.0 0 timeout 910   5200 5200 0 error (42) 870    13000 4400   0 error (1) .49 42 3.7 0 error (1) .44 40 4.2 0 timeout 900   4000 14000 0 unknown 110    35 1300   0 timeout 900     2000 12000    0 timeout 900     2000 10000    0 unknown .056 6.6 .36 0 true 12   550 95 2 error (5) .048 4.9 .16  0 error (5) .048 4.9 .14  0
termination-15/cstrcat_malloc_true-termination.c.i error (134) .35 51 2.6 0 timeout 910   5800 6200 0 error (134) 79    13000 810   0 error (1) .49 41 4.0 0 error (1) .43 40 3.8 0 timeout 900   4000 10000 0 unknown 110    35 1400   0 timeout 900     2000 10000    0 timeout 900     2000 11000    0 unknown .067 6.6 .34 0 true 14   600 140 2 error (5) .051 4.9 .13  0 error (5) .022 4.9 .18  0
termination-15/cstrcat_mixed_alloca_true-termination.c.i error (134) .37 51 2.1 0 timeout 910   5700 5300 0 error (42) 870    13000 5400   0 error (1) .49 41 4.7 0 error (1) .43 40 4.5 0 timeout 900   4000 12000 0 unknown 110    48 1500   0 timeout 900     1900 11000    0 timeout 900     1900 12000    0 unknown .067 6.6 .31 0 true 12   580 96 2 error (5) .023 4.8 .21  0 error (5) .020 5.0 .17  0
termination-15/cstrcat_reverse_alloca_true-termination.c.i error (134) .37 50 2.4 0 timeout 910   5500 5500 0 error (42) 870    13000 3800   0 error (1) .51 41 4.3 0 error (1) .44 40 4.2 0 timeout 900   4900 11000 0 unknown 120    58 1600   0 timeout 900     1900 10000    0 timeout 900     1900 12000    0 unknown .060 6.7 .31 0 true 12   570 100 2 error (5) .048 4.9 .13  0 error (5) .043 5.0 .14  0
termination-15/cstrchr_diffterm_alloca_true-termination.c.i error (134) .38 50 2.0 0 true 10   750 78 2 error (6) 620    8400 5700   0 error (1) .48 40 4.6 0 error (1) .45 40 3.8 0 unknown 29   1000 230 0 unknown 1.5  56 18   0 timeout 900     1200 12000    0 timeout 900     1200 11000    0 unknown .041 6.7 .40 0 true 7.9 480 63 2 error (5) .025 4.9 .12  0 error (5) .037 4.9 .21  0
termination-15/cstrchr_malloc_true-termination.c.i error (134) .39 50 2.0 0 true 10   740 74 2 error (6) 770    8500 3500   0 error (1) .45 41 4.3 0 error (1) .46 41 4.2 0 unknown 18   700 150 0 unknown 1.5  57 17   0 timeout 900     1200 10000    0 timeout 900     1200 10000    0 unknown .040 6.5 .33 0 true 8.8 530 72 2 error (5) .024 4.9 .16  0 error (5) .023 4.9 .14  0
termination-15/cstrchr_reverse_alloca_true-termination.c.i error (134) .38 51 2.1 0 true 10   750 73 2 error (6) 800    14000 4500   0 error (1) .47 43 3.8 0 error (1) .42 40 3.7 0 unknown 16   680 130 0 unknown 1.5  57 17   0 timeout 900     1900 11000    0 timeout 900     1900 12000    0 unknown .064 6.5 .39 0 true 8.7 540 75 2 error (5) .024 4.9 .12  0 error (5) .040 4.9 .18  0
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i error (134) .39 50 2.2 0 true 22   1600 160 2 error (42) 870    8500 4600   0 error (1) .48 41 4.5 0 error (1) .41 40 4.7 0 timeout 900   3000 11000 0 unknown 1.5  55 19   0 timeout 900     3300 11000    0 timeout 900     3300 9800    0 unknown .039 6.6 .38 0 true 9.0 550 82 2 error (5) .025 4.9 .15  0 error (5) .047 5.1 .14  0
termination-15/cstrcmp_malloc_true-termination.c.i error (134) .40 51 2.2 0 true 24   2400 210 2 error (42) 870    8500 4400   0 error (1) .47 41 4.0 0 error (1) .46 40 4.0 0 timeout 900   3400 12000 0 unknown 1.5  56 18   0 timeout 900     3300 11000    0 timeout 900     3300 9500    0 unknown .040 6.6 .39 0 true 8.8 560 68 2 error (5) .023 4.9 .18  0 error (5) .046 4.9 .16  0
termination-15/cstrcmp_mixed_alloca_true-termination.c.i error (134) .36 51 2.0 0 true 22   1400 150 2 error (42) 870    14000 3700   0 error (1) .48 43 4.7 0 error (1) .44 40 4.0 0 timeout 900   3400 13000 0 unknown 1.5  56 17   0 timeout 900     3100 9400    0 timeout 900     3100 11000    0 unknown .070 6.5 .24 0 true 8.9 550 69 2 error (5) .024 4.9 .15  0 error (5) .024 5.0 .13  0
termination-15/cstrcmp_reverse_alloca_true-termination.c.i error (134) .33 51 2.6 0 true 23   1600 170 2 error (42) 870    14000 4000   0 error (1) .46 40 3.8 0 error (1) .43 40 4.4 0 timeout 900   4000 11000 0 unknown 1.5  57 18   0 timeout 900     3700 11000    0 timeout 900     3700 13000    0 unknown .040 6.5 .38 0 true 9.0 560 83 2 error (5) .048 5.0 .12  0 error (5) .023 5.0 .11  0
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i error (134) .41 51 2.4 0 timeout 900   5200 14000 0 error (42) 870    14000 4500   0 error (1) .48 40 4.6 0 error (1) .46 40 4.4 0 timeout 900   4400 12000 0 unknown 90    30 1300   0 timeout 900     3000 9900    0 timeout 900     3000 12000    0 unknown .065 6.5 .31 0 true 9.1 520 75 2 error (5) .050 5.0 .16  0 error (5) .021 4.9 .21  0
termination-15/cstrcpy_malloc_true-termination.c.i error (134) .38 51 2.3 0 true 87   2300 1100 2 error (134) 110    14000 1100   0 error (1) .48 42 4.4 0 error (1) .44 40 4.2 0 timeout 900   4400 11000 0 unknown 90    30 1300   0 timeout 900     3000 13000    0 timeout 900     3000 10000    0 unknown .057 6.5 .28 0 true 8.8 540 77 2 error (5) .025 4.9 .15  0 error (5) .048 5.0 .17  0
termination-15/cstrcpy_mixed_alloca_true-termination.c.i error (134) .36 51 2.3 0 timeout 900   5200 13000 0 error (42) 870    14000 4200   0 error (1) .48 41 4.1 0 error (1) .45 40 4.5 0 timeout 900   4300 12000 0 unknown 95    31 1200   0 timeout 900     2500 8800    0 timeout 900     2500 8600    0 unknown .043 6.6 .37 0 true 9.1 520 82 2 error (5) .025 4.9 .14  0 error (5) .049 4.9 .16  0
termination-15/cstrcpy_reverse_alloca_true-termination.c.i error (134) .42 51 2.0 0 timeout 900   5200 14000 0 error (42) 870    13000 5300   0 error (1) .48 43 4.9 0 error (1) .44 41 4.4 0 timeout 900   4200 12000 0 unknown 99    41 1300   0 timeout 900     2700 10000    0 timeout 900     2700 11000    0 unknown .058 6.6 .40 0 true 8.7 530 78 2 error (5) .048 4.9 .12  0 error (5) .049 4.9 .14  0
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i error (134) .40 50 2.0 0 true 95   5400 660 2 error (42) 870    1200 4500   0 error (1) .47 41 4.6 0 error (1) .44 40 3.8 0 timeout 900   3700 13000 0 unknown 2.1  56 27   0 timeout 900     1400 9600    0 timeout 900     1400 9300    0 unknown .046 6.6 .40 0 true 200   740 2600 2 error (5) .048 5.0 .14  0 error (5) .025 4.9 .17  0
termination-15/cstrcspn_malloc_true-termination.c.i error (134) .35 51 2.6 0 true 98   5400 690 2 error (42) 870    4900 4400   0 error (1) .48 40 4.3 0 error (1) .43 40 3.8 0 timeout 900   3700 13000 0 unknown 2.2  56 27   0 timeout 900     1500 9700    0 timeout 900     1500 11000    0 unknown .067 6.5 .34 0 true 110   760 1500 2 error (5) .040 4.9 .20  0 error (5) .023 4.9 .19  0
termination-15/cstrcspn_mixed_alloca_true-termination.c.i error (134) .34 51 2.4 0 true 88   5400 680 2 error (42) 870    13000 4000   0 error (1) .48 40 4.2 0 error (1) .44 40 3.2 0 exception 520   3700 6600 0 unknown 2.2  56 28   0 timeout 900     1300 11000    0 timeout 900     1300 11000    0 unknown .040 6.5 .31 0 true 21   750 180 2 error (5) .040 4.8 .12  0 error (5) .024 5.0 .096 0
termination-15/cstrcspn_reverse_alloca_true-termination.c.i error (134) .40 51 2.1 0 true 99   5300 630 2 error (42) 870    13000 4100   0 error (1) .50 40 4.3 0 error (1) .45 40 3.8 0 timeout 900   3700 12000 0 unknown 2.2  57 29   0 timeout 900     1300 12000    0 timeout 900     1300 11000    0 unknown .042 6.5 .36 0 true 19   720 160 2 error (5) .048 4.9 .16  0 error (5) .022 5.0 .22  0
termination-15/cstrlen_diffterm_alloca_true-termination.c.i error (134) .41 51 1.8 0 true 8.0 670 66 2 error (42) 870    7900 4500   0 error (1) .50 42 3.8 0 error (1) .48 41 4.4 0 unknown 25   940 200 0 unknown 1.5  57 17   0 timeout 900     2300 10000    0 timeout 900     2400 9800    0 unknown .057 6.5 .35 0 true 7.2 360 59 2 error (5) .050 5.0 .15  0 error (5) .035 5.0 .11  0
termination-15/cstrlen_malloc_true-termination.c.i error (134) .36 51 2.4 0 true 10   750 79 2 error (42) 870    7600 3900   0 error (1) .47 40 4.1 0 error (1) .45 40 3.9 0 unknown 27   970 200 0 unknown 1.5  56 15   0 timeout 900     2400 10000    0 timeout 900     2300 10000    0 unknown .061 6.6 .31 0 true 7.6 370 69 2 error (5) .041 4.9 .21  0 error (5) .025 5.0 .15  0
termination-15/cstrlen_reverse_alloca_true-termination.c.i error (134) .34 51 2.7 0 true 8.1 660 66 2 error (42) 870    14000 3100   0 error (1) .47 40 4.4 0 error (1) .43 40 4.2 0 unknown 28   980 240 0 unknown 1.5  57 16   0 timeout 900     2500 12000    0 timeout 900     2500 11000    0 unknown .040 6.6 .40 0 true 7.9 370 61 2 error (5) .024 4.8 .18  0 error (5) .022 4.9 .14  0
termination-15/cstrncat_diffterm_alloca_true-termination.c.i error (134) .41 51 2.2 0 error (1) 87   3600 730 0 error (42) 870    13000 4500   0 error (1) .50 44 4.3 0 error (1) .46 40 4.5 0 timeout 900   4200 12000 0 unknown 1.6  57 19   0 timeout 900     2100 10000    0 timeout 900     2100 10000    0 unknown .039 6.6 .40 0 true 8.7 470 75 2 error (5) .023 5.1 .18  0 error (5) .050 4.9 .15  0
termination-15/cstrncat_malloc_true-termination.c.i error (134) .40 51 2.2 0 error (1) 120   3900 1000 0 error (134) 81    13000 890   0 error (1) .47 41 4.4 0 error (1) .45 40 3.8 0 timeout 900   4300 12000 0 unknown 1.6  56 18   0 timeout 900     2100 9400    0 timeout 900     2100 9500    0 unknown .062 6.5 .27 0 true 9.5 490 73 2 error (5) .050 4.9 .13  0 error (5) .023 5.0 .13  0
termination-15/cstrncat_mixed_alloca_true-termination.c.i error (134) .33 51 2.5 0 error (1) 99   3700 800 0 error (42) 870    13000 4800   0 error (1) .48 42 4.5 0 error (1) .44 40 3.7 0 timeout 900   4000 12000 0 unknown 1.6  57 18   0 timeout 900     2100 13000    0 timeout 900     2100 11000    0 unknown .040 6.6 .33 0 true 9.1 460 73 2 error (5) .041 5.1 .22  0 error (5) .023 4.9 .15  0
termination-15/cstrncat_reverse_alloca_true-termination.c.i error (134) .38 51 2.0 0 error (1) 100   3700 900 0 error (42) 870    13000 5800   0 error (1) .47 41 4.7 0 error (1) .41 40 4.4 0 timeout 900   4400 11000 0 unknown 1.6  56 16   0 timeout 900     2100 11000    0 timeout 900     2100 12000    0 unknown .066 6.5 .29 0 true 9.3 530 71 2 error (5) .030 5.0 .14  0 error (5) .021 4.9 .18  0
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i error (134) .39 51 2.1 0 true 29   2900 240 2 error (42) 870    1100 6100   0 error (1) .47 42 4.5 0 error (1) .45 40 3.8 0 timeout 900   2900 11000 0 unknown 120    62 1300   0 timeout 900     1500 10000    0 timeout 900     1600 11000    0 unknown .070 6.6 .35 0 true 8.7 520 80 2 error (5) .049 5.0 .13  0 error (5) .027 5.1 .18  0
termination-15/cstrncmp_malloc_true-termination.c.i error (134) .39 51 2.2 0 true 34   3400 300 2 error (42) 870    1400 7300   0 error (1) .49 41 4.7 0 error (1) .44 40 3.8 0 timeout 900   3200 11000 0 unknown 130    62 1600   0 timeout 900     1600 9500    0 timeout 900     1600 12000    0 unknown .038 6.5 .43 0 true 9.2 520 71 2 error (5) .048 4.9 .15  0 error (5) .025 4.9 .19  0
termination-15/cstrncmp_mixed_alloca_true-termination.c.i error (134) .37 51 2.3 0 true 29   3000 220 2 error (42) 870    14000 6800   0 error (1) .47 41 4.8 0 error (1) .43 40 4.8 0 timeout 900   3400 12000 0 unknown 120    69 1900   0 timeout 900     1700 11000    0 timeout 900     1700 10000    0 unknown .042 6.5 .34 0 true 9.1 530 72 2 error (5) .048 5.0 .17  0 error (5) .047 5.0 .16  0
termination-15/cstrncmp_reverse_alloca_true-termination.c.i error (134) .33 50 2.9 0 true 30   2600 270 2 error (42) 870    14000 6300   0 error (1) .48 41 4.7 0 error (1) .45 40 4.1 0 timeout 900   3300 12000 0 unknown 130    83 1800   0 timeout 900     1900 11000    0 timeout 900     1900 10000    0 unknown .040 6.5 .37 0 true 9.6 530 77 2 error (5) .048 4.9 .15  0 error (5) .040 4.9 .14  0
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i error (134) .41 51 2.1 0 true 81   3800 650 2 error (42) 870    14000 11000   0 error (1) .47 41 4.5 0 error (1) .43 40 4.6 0 true 730   4300 9100 2 timeout 900    870 12000   0 timeout 900     6400 10000    0 timeout 900     6200 9800    0 unknown .065 6.6 .31 0 true 12   590 120 2 error (5) .047 5.0 .16  0 error (5) .044 5.0 .21  0
termination-15/cstrncpy_malloc_true-termination.c.i error (134) .37 50 2.2 0 true 78   3800 590 2 error (134) 170    14000 1900   0 error (1) .49 41 4.3 0 error (1) .42 40 3.8 0 true 640   4600 7900 2 timeout 900    880 10000   0 timeout 900     6400 8700    0 timeout 900     6400 11000    0 unknown .061 6.6 .34 0 true 13   630 120 2 error (5) .025 5.1 .18  0 error (5) .026 5.1 .16  0
termination-15/cstrncpy_mixed_alloca_true-termination.c.i error (134) .34 51 2.2 0 error (1) 71   3800 590 0 error (42) 870    14000 9700   0 error (1) .48 41 4.3 0 error (1) .42 40 4.3 0 timeout 900   4300 13000 0 unknown 900    450 10000   0 timeout 900     1700 9300    0 timeout 900     1700 9200    0 unknown .041 6.5 .33 0 true 12   570 110 2 error (5) .023 4.9 .14  0 error (5) .049 5.0 .12  0
termination-15/cstrncpy_reverse_alloca_true-termination.c.i error (134) .38 51 2.5 0 error (1) 73   3800 640 0 error (42) 870    14000 11000   0 error (1) .47 40 3.8 0 error (1) .46 40 3.8 0 timeout 900   4500 12000 0 unknown 900    450 12000   0 timeout 900     1700 8900    0 timeout 900     1700 8800    0 unknown .039 6.5 .48 0 true 12   630 100 2 error (5) .040 5.0 .20  0 error (5) .046 5.0 .15  0
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i error (134) .38 51 2.5 0 true 53   4800 430 2 error (42) 870    1200 4500   0 error (1) .47 40 4.1 0 error (1) .43 40 3.7 0 timeout 900   3700 12000 0 unknown 2.1  57 27   0 timeout 900     1800 7700    0 timeout 900     1800 8500    0 unknown .057 6.5 .39 0 true 17   670 180 2 error (5) .050 4.9 .16  0 error (5) .048 5.0 .12  0
termination-15/cstrpbrk_malloc_true-termination.c.i error (134) .35 51 2.3 0 true 55   5000 400 2 error (42) 870    4900 4000   0 error (1) .47 41 4.3 0 error (1) .44 40 3.7 0 timeout 900   3700 11000 0 unknown 2.2  57 29   0 timeout 900     1700 8800    0 timeout 900     1700 8500    0 unknown .065 6.5 .29 0 true 17   680 150 2 error (5) .050 4.9 .10  0 error (5) .026 4.9 .15  0
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i error (134) .35 51 2.1 0 true 51   4800 390 2 error (42) 870    13000 4100   0 error (1) .47 40 4.1 0 error (1) .48 40 3.9 0 timeout 900   4100 12000 0 unknown 2.1  56 28   0 timeout 900     1400 9900    0 timeout 900     1400 11000    0 unknown .063 6.5 .34 0 true 18   680 150 2 error (5) .025 5.0 .21  0 error (5) .047 4.9 .16  0
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i error (134) .34 51 2.5 0 true 53   4900 420 2 error (42) 870    13000 4500   0 error (1) .43 40 3.6 0 error (1) .41 40 3.7 0 timeout 900   3700 13000 0 unknown 2.1  57 22   0 timeout 900     1500 11000    0 timeout 900     1500 11000    0 unknown .069 6.6 .37 0 true 17   700 140 2 error (5) .023 4.9 .13  0 error (5) .022 5.1 .18  0
termination-15/cstrspn_diffterm_alloca_true-termination.c.i error (134) .36 51 2.2 0 true 58   5000 440 2 error (42) 870    1200 4600   0 error (1) .47 40 4.5 0 error (1) .44 41 4.1 0 timeout 900   3700 11000 0 unknown 2.1  57 28   0 timeout 900     1600 11000    0 timeout 900     1600 11000    0 unknown .055 6.5 .35 0 true 18   700 160 2 error (5) .046 5.0 .16  0 error (5) .047 4.9 .13  0
termination-15/cstrspn_malloc_true-termination.c.i error (134) .37 50 2.4 0 true 60   5100 410 2 error (42) 870    4900 6300   0 error (1) .47 41 4.3 0 error (1) .45 40 3.9 0 timeout 900   3200 14000 0 unknown 2.3  57 29   0 timeout 900     1600 9000    0 timeout 900     1600 8700    0 unknown .040 6.6 .33 0 true 17   680 180 2 error (5) .035 4.9 .15  0 error (5) .022 5.0 .14  0
termination-15/cstrspn_mixed_alloca_true-termination.c.i error (134) .34 51 2.3 0 true 53   5100 390 2 error (42) 870    13000 4600   0 error (1) .49 40 4.4 0 error (1) .41 38 3.5 0 timeout 900   4100 13000 0 unknown 2.2  56 29   0 timeout 900     1400 12000    0 timeout 900     1400 12000    0 unknown .061 6.5 .41 0 true 18   690 170 2 error (5) .022 4.9 .21  0 error (5) .021 5.0 .19  0
termination-15/cstrspn_reverse_alloca_true-termination.c.i error (134) .38 51 2.0 0 true 60   4800 430 2 error (42) 870    13000 4900   0 error (1) .47 41 4.2 0 error (1) .43 40 4.1 0 timeout 900   3700 12000 0 unknown 2.2  56 28   0 timeout 900     1500 9500    0 timeout 900     1500 10000    0 unknown .068 6.5 .32 0 true 18   690 160 2 error (5) .050 5.0 .14  0 error (5) .048 4.9 .12  0
termination-15/array04_alloca_false-termination.c.i error (134) .37 51 2.3 0 false(termination) 28   1800 190 1 error (42) 870    14000 5400   0 error (1) .48 41 4.3 0 error (1) .43 41 4.4 0 false(termination) 6.4 340 53 1 unknown 1.5  56 17   0 timeout 900     630 14000    0 timeout 900     620 13000    0 unknown .067 6.5 .32 0 false(termination) 7.8 350 69 1 error (5) .024 4.8 .16  0 error (5) .047 4.9 .14  0
termination-15/array14_alloca_false-termination.c.i error (134) .36 51 1.7 0 error (1) 66   5200 680 0 error (42) 870    14000 7500   0 error (1) .48 40 4.3 0 error (1) .45 43 4.7 0 timeout 900   4200 11000 0 unknown 1.6  56 19   0 timeout 900     860 11000    0 timeout 900     860 10000    0 unknown .040 6.5 .38 0 false(termination) 13   570 99 1 error (5) .047 5.1 .16  0 error (5) .045 4.9 .13  0
termination-15/array15_alloca_false-termination.c.i error (134) .35 51 2.4 0 error (1) 54   2900 590 0 error (42) 870    14000 6700   0 error (1) .48 40 4.6 0 error (1) .48 40 3.7 0 timeout 900   4200 14000 0 unknown 1.6  58 18   0 timeout 900     650 12000    0 timeout 900     650 12000    0 unknown .066 6.7 .31 0 false(termination) 13   550 100 1 error (5) .044 5.0 .14  0 error (5) .048 4.9 .17  0
termination-15/array16_alloca_original_false-termination.c.i error (134) .39 51 2.0 0 timeout 900   14000 9300 0 error (42) 870    14000 7600   0 error (1) .48 42 4.3 0 error (1) .45 40 3.9 0 timeout 900   5000 10000 0 unknown 1.6  56 18   0 timeout 900     3100 11000    0 timeout 900     3000 10000    0 unknown .065 6.6 .30 0 false(termination) 16   630 140 1 error (5) .024 4.9 .16  0 error (5) .024 4.9 .17  0
termination-15/array19_alloca_false-termination.c.i error (134) .41 51 2.2 0 false(termination) 32   2000 200 1 error (42) 870    14000 5400   0 error (1) .45 43 4.3 0 error (1) .42 40 3.7 0 false(termination) 7.1 350 63 1 unknown 1.5  57 17   0 timeout 900     390 12000    0 timeout 900     380 13000    0 unknown .067 6.6 .32 0 false(termination) 7.9 360 73 1 error (5) .048 4.9 .15  0 error (5) .047 4.9 .17  0
termination-15/array20_alloca_false-termination.c.i error (134) .35 51 2.4 0 timeout 900   13000 4900 0 error (42) 870    14000 6700   0 error (1) .48 40 4.3 0 error (1) .46 40 3.9 0 unknown 40   2000 310 0 unknown 1.6  56 16   0 timeout 900     330 13000    0 timeout 900     330 10000    0 unknown .067 6.5 .40 0 false(termination) 9.2 460 82 1 error (5) .047 4.9 .13  0 error (5) .024 4.9 .15  0
termination-recursive-malloc/chunk1_true-termination.c.i error (5) .35 46 2.1 0 error (1) 5.5 440 38 0 out of memory 220    15000 1600   0 error (1) .46 40 4.7 0 error (1) .45 41 5.1 0 error (recursion) 2.9 290 26 0 unknown 1.3  56 15   0 timeout 900     1100 10000    0 timeout 900     1100 11000    0 unknown .066 6.5 .40 0 true 7.6 370 64 2 error (5) .025 4.9 .11  0 error (5) .022 5.0 .15  0
termination-recursive-malloc/chunk2_true-termination.c.i error (5) .36 46 2.5 0 error (1) 16   1200 110 0 error (6) .43 34 3.7 0 error (1) .47 40 4.1 0 error (1) .43 40 4.0 0 error (recursion) 2.9 290 25 0 unknown 1.5  56 16   0 timeout 900     12000 9300    0 timeout 900     12000 8400    0 unknown .038 6.5 .38 0 error (7) 120   1600 1600 0 error (5) .044 4.9 .18  0 error (5) .042 4.9 .13  0
termination-recursive-malloc/chunk3_true-termination.c.i error (5) .37 46 1.9 0 error (1) 13   1200 89 0 error (6) .41 34 4.1 0 error (1) .43 40 4.1 0 error (1) .44 37 4.1 0 error (recursion) 2.9 290 28 0 unknown 1.7  56 20   0 timeout 900     8700 8300    0 timeout 900     9700 9200    0 unknown .056 6.6 .38 0 error (7) 190   1600 2200 0 error (5) .046 5.0 .19  0 error (5) .051 5.0 .16  0
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i error (5) .35 46 2.2 0 error (1) 17   1300 150 0 error (42) 870    14000 9100   0 error (1) .48 41 4.2 0 error (1) .44 40 4.7 0 error (recursion) 2.9 290 27 0 unknown 2.6  57 31   0 timeout 900     5500 9600    0 timeout 900     5500 9800    0 unknown .070 6.5 .28 0 true 24   780 210 2 error (5) .050 4.9 .14  0 error (5) .022 4.9 .20  0
termination-recursive-malloc/mergeSort_true-termination.c.i error (5) .33 46 2.5 0 error (1) 20   1200 150 0 error (134) 57    13000 750   0 error (1) .45 41 4.7 0 error (1) .42 40 3.9 0 error (recursion) 2.8 270 25 0 unknown 900    7800 11000   0 timeout 900     4800 6600    0 timeout 900     4800 7700    0 unknown .067 6.6 .28 0 error (7) 49   1300 510 0 error (5) .042 5.0 .20  0 error (5) .052 5.0 .17  0
termination-recursive-malloc/mutual_simple2_true-termination.c.i error (5) .38 46 2.1 0 true 13   760 97 2 error (6) 450    8400 3000   0 error (1) .46 40 4.1 0 error (1) .46 40 4.2 0 error (recursion) 2.6 270 23 0 unknown 1.4  56 16   0 timeout 900     2400 11000    0 timeout 900     2400 8700    0 unknown .058 6.6 .41 0 true 10   510 91 2 error (5) .047 4.9 .13  0 error (5) .024 4.9 .18  0
termination-recursive-malloc/mutual_simple_true-termination.c.i error (5) .31 46 2.5 0 true 5.8 370 39 2 out of memory 470    15000 3100   0 error (1) .50 41 4.2 0 error (1) .44 40 3.6 0 error (recursion) 2.8 290 22 0 unknown 1.2  56 14   0 timeout 900     1300 9300    0 timeout 900     1300 9800    0 unknown .067 6.5 .35 0 true 7.6 370 70 2 error (5) .047 4.9 .13  0 error (5) .038 4.9 .16  0
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i error (5) .38 46 1.9 0 true 12   790 86 2 error (42) 870    9300 5900   0 error (1) .49 40 4.2 0 error (1) .43 40 3.7 0 error (recursion) 2.8 290 23 0 unknown 1.3  57 17   0 timeout 900     5600 9100    0 timeout 900     5700 9700    0 unknown .040 6.7 .43 0 true 12   560 120 2 error (5) .024 4.9 .19  0 error (5) .023 5.1 .21  0
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i error (5) .40 46 1.8 0 true 35   2000 240 2 error (42) 870    2600 6600   0 error (1) .47 42 4.5 0 error (1) .49 40 4.2 0 error (recursion) 2.6 270 25 0 unknown 6.3  110 78   0 timeout 900     2900 6000    0 timeout 900     2900 8900    0 unknown .044 6.6 .39 0 true 25   750 280 2 error (5) .024 4.9 .11  0 error (5) .025 4.9 .15  0
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i error (5) .33 46 2.2 0 true 18   1400 140 2 error (42) 870    570 6300   0 error (1) .49 43 4.8 0 error (1) .49 40 4.5 0 error (recursion) 2.7 270 25 0 unknown 8.4  220 98   0 timeout 900     3600 7000    0 timeout 900     3600 7300    0 unknown .042 6.7 .39 0 true 20   690 200 2 error (5) .045 5.0 .14  0 error (5) .046 4.9 .14  0
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i error (5) .35 46 1.7 0 true 25   1600 180 2 error (42) 870    540 7000   0 error (1) .48 40 4.4 0 error (1) .46 40 4.2 0 error (recursion) 3.0 290 22 0 unknown 8.2  200 86   0 timeout 900     3500 8900    0 timeout 900     3500 9100    0 unknown .067 6.5 .32 0 true 21   760 210 2 error (5) .036 4.9 .19  0 error (5) .024 5.0 .17  0
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i error (5) .38 46 1.9 0 true 16   1100 100 2 error (42) 870    580 5900   0 error (1) .48 43 4.7 0 error (1) .46 40 3.8 0 error (recursion) 2.7 270 22 0 unknown 8.4  210 100   0 timeout 900     3600 9000    0 timeout 900     3600 8100    0 unknown .039 6.6 .38 0 true 71   3500 670 2 error (5) .022 5.0 .16  0 error (5) .039 4.9 .21  0
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i error (5) .39 47 2.0 0 true 18   1200 120 2 error (42) 870    2400 5500   0 error (1) .51 44 4.6 0 error (1) .44 42 3.9 0 error (recursion) 2.8 310 24 0 unknown 5.0  96 64   0 timeout 900     3400 7300    0 timeout 900     3300 6500    0 unknown .065 6.5 .34 0 error (7) 37   930 440 0 error (5) .048 5.0 .14  0 error (5) .023 4.9 .14  0
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i error (5) .33 45 2.5 0 true 18   1300 140 2 error (42) 870    1200 5200   0 error (1) .48 40 4.2 0 error (1) .41 40 4.4 0 error (recursion) 2.9 290 26 0 unknown 3.7  84 48   0 timeout 900     5300 10000    0 timeout 900     5100 10000    0 unknown .041 6.5 .27 0 true 36   830 350 2 error (5) .038 5.0 .15  0 error (5) .046 4.9 .14  0
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i error (5) .32 45 2.5 0 true 27   1300 160 2 error (42) 870    780 3600   0 error (1) .49 41 4.4 0 error (1) .42 40 3.8 0 error (recursion) 2.6 270 22 0 unknown 2.6  56 32   0 timeout 900     4600 9500    0 timeout 900     4600 9900    0 unknown .042 6.6 .38 0 true 21   770 200 2 error (5) .047 5.0 .19  0 error (5) .049 4.9 .15  0
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i error (5) .33 46 2.2 0 true 15   1300 120 2 error (42) 870    9300 6400   0 error (1) .52 42 4.5 0 error (1) .45 40 4.1 0 error (recursion) 3.0 290 23 0 unknown 1.4  57 15   0 timeout 900     4600 9200    0 timeout 900     4600 11000    0 unknown .040 6.5 .36 0 true 13   580 130 2 error (5) .049 4.9 .12  0 error (5) .038 5.0 .19  0
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i error (5) .42 46 2.5 0 true 47   3100 300 2 error (42) 870    880 4600   0 error (1) .47 41 4.5 0 error (1) .40 40 3.9 0 error (recursion) 3.0 300 24 0 unknown 13    200 150   0 timeout 900     6500 8300    0 timeout 900     6500 9100    0 unknown .066 6.6 .35 0 timeout 900   8500 10000 0 error (5) .047 4.9 .16  0 error (5) .047 4.9 .13  0
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i error (5) .37 47 2.2 0 true 19   1500 140 2 error (6) 390    920 2500   0 error (1) .47 41 4.1 0 error (1) .44 40 3.9 0 error (recursion) 2.8 270 24 0 unknown 4.6  100 53   0 timeout 900     8400 12000    0 timeout 900     8200 9700    0 unknown .039 6.5 .40 0 true 29   920 260 2 error (5) .021 4.8 .19  0 error (5) .023 4.9 .14  0
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i error (5) .33 46 2.4 0 error (1) 15   1000 130 0 error (42) 880    13000 7800   0 error (1) .49 42 4.6 0 error (1) .45 40 3.9 0 error (recursion) 2.6 260 22 0 unknown 1.3  57 16   0 timeout 900     8400 7800    0 timeout 900     8000 8000    0 unknown .066 6.5 .29 0 unknown 31   1100 280 0 error (5) .024 4.9 .16  0 error (5) .047 5.0 .15  0
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i error (5) .32 46 2.1 0 true 9.3 710 72 2 error (42) 880    11000 7000   0 error (1) .49 40 3.8 0 error (1) .42 40 3.8 0 error (recursion) 2.8 290 24 0 unknown 1.3  56 14   0 timeout 900     4700 9400    0 timeout 900     4800 8900    0 unknown .043 6.7 .32 0 true 13   550 120 2 error (5) .047 4.9 .17  0 error (5) .025 4.9 .12  0
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i error (5) .35 46 2.0 0 true 12   720 94 2 error (42) 870    11000 6900   0 error (1) .48 42 4.6 0 error (1) .43 40 3.9 0 error (recursion) 2.9 290 23 0 unknown 1.3  56 16   0 timeout 900     4700 9100    0 timeout 900     4800 9200    0 unknown .056 6.6 .33 0 unknown 55   3200 510 0 error (5) .024 4.9 .16  0 error (5) .048 4.9 .14  0
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i error (5) .35 46 1.9 0 true 14   1200 100 2 error (6) 310    4200 3500   0 error (1) .51 43 4.2 0 error (1) .42 39 4.2 0 error (recursion) 2.8 290 22 0 unknown 1.4  56 15   0 timeout 900     6100 9500    0 timeout 900     6300 9700    0 unknown .037 6.6 .47 0 unknown 96   5600 1000 0 error (5) .048 4.9 .17  0 error (5) .050 5.1 .15  0
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i error (5) .35 46 2.1 0 true 18   1000 110 2 error (42) 870    2400 5100   0 error (1) .48 41 4.7 0 error (1) .46 40 4.0 0 error (recursion) 2.9 290 25 0 unknown 4.8  92 57   0 timeout 900     3300 6200    0 timeout 900     3300 6600    0 unknown .040 6.5 .40 0 timeout 900   1500 12000 0 error (5) .026 4.9 .15  0 error (5) .054 5.0 .14  0
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i error (5) .33 46 2.2 0 error (1) 19   1300 130 0 error (134) 150    14000 1400   0 error (1) .48 40 4.4 0 error (1) .42 39 4.1 0 error (recursion) 2.8 300 25 0 unknown 1.5  56 16   0 timeout 900     2500 11000    0 timeout 900     2400 8900    0 unknown .066 6.5 .29 0 true 11   540 95 2 error (5) .047 4.9 .16  0 error (5) .045 4.9 .15  0
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i error (5) .32 46 2.2 0 error (1) 7.0 670 52 0 error (134) 120    14000 1400   0 error (1) .48 40 4.1 0 error (1) .44 40 4.0 0 error (recursion) 2.9 290 24 0 unknown 1.4  57 16   0 timeout 900     3000 9000    0 timeout 900     3000 8500    0 unknown .066 6.5 .27 0 true 7.8 430 65 2 error (5) .046 5.0 .14  0 error (5) .046 4.9 .15  0
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i error (5) .34 46 2.1 0 true 8.4 660 69 2 out of memory 770    15000 4300   0 error (1) .50 41 3.8 0 error (1) .42 40 3.5 0 error (recursion) 2.6 260 26 0 unknown 1.4  57 16   0 timeout 900     1800 9400    0 timeout 900     1800 10000    0 unknown .057 6.5 .36 0 true 6.8 370 56 2 error (5) .042 4.9 .15  0 error (5) .043 4.9 .16  0
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i error (5) .32 46 2.1 0 error (1) 19   1000 140 0 error (42) 870    15000 5100   0 error (1) .48 40 4.1 0 error (1) .44 41 4.8 0 error (recursion) 2.9 290 23 0 unknown 3.0  56 45   0 timeout 900     2500 7100    0 timeout 900     2400 8200    0 unknown .066 6.5 .27 0 true 16   630 140 2 error (5) .045 5.0 .17  0 error (5) .047 5.0 .13  0
../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
total 260 17000    110000 150000   100 260 43000 800000 380000 336 260 210000 1900000 1400000 24 260 120 11000 1100 0 260 120 10000 1100 0 260 140000 750000 1800000 67 260 17000 28000 210000 -136 260 220000 590000 2600000 24 260 220000 590000 2600000 24 260 14 1700 93 0 260 21000 270000 230000 409 260 9.6 1300 39 0 260 9.5 1300 40 0
    correct results 51 31    3200 220   100 170 6800 390000 53000 336 12 66 640 700 24 0 0 35 6900 60000 87000 67 108 140 3500 1700 216 12 610 3100 7500 24 12 610 3100 8300 24 0 212 4600 140000 47000 409 0 0
        correct true 49 30    3100 210   98 166 6700 390000 53000 332 12 66 640 700 24 0 0 32 6900 59000 87000 64 108 140 3500 1700 216 12 610 3100 7500 24 12 610 3100 8300 24 0 197 4400 130000 46000 394 0 0
        correct false 2 .84 100 4.6 2 4 83 4800 560 4 0 0 0 3 21 1100 180 3 0 0 0 0 15 170 8100 1400 15 0 0
    correct-unconfimed results 0 1 16 1100 97 0 0 0 0 0 0 0 0 0 0 0 0
        correct-unconfirmed true 0 0 0 0 0 0 0 0 0 0 0 0 0
        correct-unconfirmed false 0 1 16 1100 97 0 0 0 0 0 0 0 0 0 0 0 0
    incorrect results 0 0 0 0 0 0 11 11 310 140 -352 0 0 0 0 0 0
        incorrect true 0 0 0 0 0 0 11 11 310 140 -352 0 0 0 0 0 0
        incorrect false 0 0 0 0 0 0 0 0 0 0 0 0 0
score (260 tasks, max score: 503) 100 336 24 0 0 67 -136 24 24 0 409 0 0
Run set 2ls.sv-comp18.Termination-MainHeap aprove.sv-comp18.Termination-MainHeap cbmc.sv-comp18.Termination-MainHeap cpa-bam-bnb.sv-comp18.Termination-MainHeap cpa-bam-slicing.sv-comp18.Termination-MainHeap cpa-seq.sv-comp18.Termination-MainHeap depthk.sv-comp18.Termination-MainHeap esbmc-incr.sv-comp18.Termination-MainHeap esbmc-kind.sv-comp18.Termination-MainHeap symbiotic.sv-comp18.Termination-MainHeap uautomizer.sv-comp18.Termination-MainHeap ukojak.sv-comp18.Termination-MainHeap utaipan.sv-comp18.Termination-MainHeap