Tool 2LS 0.5.0 AProVE CBMC 5.6 Ceagle Ceagle 1.3 @ 53cfa89 CPAchecker 1.6.1-svn 23987 CPAchecker 1.6.1-svn 24048 DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 ESBMC ESBMC version 3.1 64-bit x86_64 linux HipTNT+ SMACK+Corral 1.7.2 symbiotic KLEE:7f3c74aa-dg:96e851cf-symbiotic:69a1d8e6-minisat:3db58943-stp:39fa956f-LLVMInstrumentation:f750b24a ULTIMATE Automizer f7c3ed31 ULTIMATE Kojak f7c3ed31 ULTIMATE Taipan f7c3ed31
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic Linux 4.4.0-57-generic Linux 4.4.0-59-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-01-11 11:55:43 CET 2017-01-10 17:21:21 CET 2017-01-11 15:45:28 CET 2017-01-11 11:02:44 CET 2017-01-11 11:04:11 CET 2017-01-11 12:57:03 CET 2017-01-13 09:38:46 CET 2017-01-13 10:06:48 CET 2017-01-13 09:48:46 CET 2017-01-13 09:50:10 CET 2017-01-13 10:37:20 CET 2017-01-13 11:03:47 CET 2017-01-13 10:46:53 CET 2017-01-14 08:07:14 CET 2017-01-14 16:40:33 CET 2017-01-14 08:15:08 CET 2017-01-14 08:14:11 CET 2017-01-14 17:36:57 CET
Run set 2ls.sv-comp17.Termination-MainHeap aprove.sv-comp17.Termination-MainHeap cbmc.sv-comp17.Termination-MainHeap ceagle.sv-comp17.Termination-MainHeap cpa-bam-bnb.sv-comp17.Termination-MainHeap cpa-kind.sv-comp17.Termination-MainHeap cpa-seq.sv-comp17.Termination-MainHeap depthk.sv-comp17.Termination-MainHeap esbmc.sv-comp17.Termination-MainHeap esbmc-falsi.sv-comp17.Termination-MainHeap esbmc-incr.sv-comp17.Termination-MainHeap esbmc-kind.sv-comp17.Termination-MainHeap hiptnt.sv-comp17.Termination-MainHeap smack.sv-comp17.Termination-MainHeap symbiotic4.sv-comp17.Termination-MainHeap uautomizer.sv-comp17.Termination-MainHeap ukojak.sv-comp17.Termination-MainHeap utaipan.sv-comp17.Termination-MainHeap
Options --graphml-witness witness.graphml --graphml-witness witness.graphml --compiler clang-3.7 -sv-comp17-bam-bnb -disable-java-assertions -heap 10000m -sv-comp17-k-induction -heap 10000M -disable-java-assertions -sv-comp17 -heap 10000M -disable-java-assertions -s fixed -s falsi -s incr -s kinduction -w error-witness.graphml --witness witness.graphml
../../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
termination-libowfat/atoi_true-termination.c.i error (8) .20 26 1.4  0 true 89   4100 720 2 error (42) .016  1.3  .043 0 unknown .010  1.0  .020  0 error (1) .39 40 3.7 0 error (1) .39 38 3.7 0 unknown 99   4000 920 0 unknown 1.5  56 19   0 error (1) .017 4.8 .15  0 error (1) .020 4.7 .12  0 error (1) .018 4.8 .12  0 error (1) .044 4.8 .11  0 unknown .088 35 .85 0 error (1) .040 7.5 .45 0 unknown .056 7.2 .59 0 true 7.9 460 66 2 error (1) .047 5.3 .14 0 error (1) .022 5.4 .26 0
termination-libowfat/atol_true-termination.c.i error (8) .18 26 1.5  0 true 83   4200 750 2 error (42) .020  1.0  .047 0 unknown .0090 .72 .029  0 error (1) .41 38 3.5 0 error (1) .41 38 3.5 0 unknown 490   3800 6300 0 unknown 1.5  55 18   0 error (1) .043 4.8 .16  0 error (1) .018 4.8 .15  0 error (1) .018 4.8 .16  0 error (1) .044 4.7 .12  0 unknown .10  35 .66 0 error (1) .042 7.3 .38 0 unknown .054 7.2 .66 0 true 8.0 460 64 2 error (1) .051 5.3 .16 0 error (1) .025 5.4 .14 0
termination-libowfat/atoll_true-termination.c.i error (8) .17 26 1.4  0 true 83   3900 630 2 error (42) .013  1.2  .057 0 unknown .010  .78 .018  0 error (1) .45 40 4.4 0 error (1) .43 40 4.6 0 unknown 130   3800 1400 0 unknown 1.5  57 19   0 error (1) .040 4.8 .12  0 error (1) .044 4.8 .13  0 error (1) .042 4.8 .11  0 error (1) .044 4.8 .11  0 unknown .077 35 .71 0 error (1) .057 7.2 .36 0 unknown .055 7.2 .66 0 true 8.3 490 62 2 error (1) .051 5.4 .16 0 error (1) .056 5.6 .15 0
termination-libowfat/basename_true-termination.c.i error (8) .19 26 1.6  0 error (1) 24   3500 200 0 error (42) .013  1.4  .046 0 unknown .0092 .92 .025  0 error (1) .43 40 3.8 0 error (1) .40 38 3.6 0 false(termination) 71   2300 880 -16 unknown 900    350 10000   0 error (1) .021 4.7 .14  0 error (1) .018 4.8 .20  0 error (1) .018 4.8 .12  0 error (1) .021 4.8 .15  0 unknown .077 13 .34 0 error (1) .042 7.3 .38 0 unknown .089 7.2 .47 0 timeout 900   2400 13000 0 error (1) .051 5.5 .17 0 error (1) .025 5.4 .21 0
termination-libowfat/build_fullname_true-termination.c.i error (8) .19 26 1.5  0 error (1) 84   3600 640 0 error (42) .016  1.4  .035 0 unknown .0088 .87 .020  0 error (1) .41 37 4.0 0 error (1) .41 37 3.9 0 timeout 900   4100 11000 0 unknown 900    100 11000   0 error (1) .017 4.8 .18  0 error (1) .020 4.8 .14  0 error (1) .018 4.7 .17  0 error (1) .044 4.8 .13  0 unknown .10  35 .69 0 error (1) .065 7.4 .37 0 unknown .057 7.3 .46 0 true 15   700 130 2 error (1) .026 5.5 .18 0 error (1) .044 5.4 .18 0
termination-libowfat/dirname_true-termination.c.i error (8) .15 26 1.7  0 error (1) 26   2300 210 0 error (42) .016  1.4  .038 0 unknown .0087 1.1  .026  0 error (1) .43 38 4.7 0 error (1) .42 38 3.7 0 timeout 900   4400 12000 0 unknown 10    160 130   0 error (1) .023 4.8 .15  0 error (1) .045 4.7 .12  0 error (1) .020 4.8 .13  0 error (1) .038 4.8 .12  0 unknown .077 13 .39 0 error (1) .070 7.2 .32 0 unknown .073 7.2 .54 0 timeout 910   13000 5600 0 error (1) .026 5.4 .14 0 error (1) .049 5.4 .13 0
termination-libowfat/skip_to_true-termination.c.i error (5) .69 39 8.2  0 true 34   3600 290 2 error (42) .011  1.6  .050 0 unknown .0082 .78 .023  0 error (1) .41 37 3.4 0 error (1) .41 40 4.4 0 unknown 23   1700 170 0 unknown 1.5  56 15   0 error (1) .018 4.8 .16  0 error (1) .020 4.8 .12  0 error (1) .044 4.7 .13  0 error (1) .043 4.8 .12  0 unknown .075 35 .66 0 error (1) .070 7.2 .33 0 unknown .072 7.2 .65 0 unknown 38   2800 290 0 error (1) .028 5.3 .16 0 error (1) .051 5.4 .17 0
termination-libowfat/stpcpy_true-termination.c.i error (8) .17 26 1.4  0 error (1) 70   5100 480 0 error (42) .017  1.4  .069 0 unknown .0089 .91 .021  0 error (1) .44 40 3.8 0 error (1) .42 40 4.0 0 timeout 900   4800 11000 0 unknown 84    29 1100   0 error (1) .035 4.8 .15  0 error (1) .032 4.8 .11  0 error (1) .021 4.8 .13  0 error (1) .020 4.8 .14  0 unknown .10  35 .59 0 error (1) .065 7.3 .36 0 unknown .056 7.3 .61 0 true 10   470 78 2 error (1) .024 5.4 .21 0 error (1) .026 5.4 .18 0
termination-libowfat/strcasecmp_true-termination.c.i error (8) .17 26 1.5  0 error (1) 5.7 410 45 0 error (42) .012  1.3  .045 0 unknown .0089 .83 .022  0 error (1) .42 37 3.5 0 error (1) .42 37 3.6 0 timeout 900   2300 11000 0 unknown 1.5  56 18   0 error (1) .036 4.7 .16  0 error (1) .020 4.8 .12  0 error (1) .045 4.8 .11  0 error (1) .046 4.9 .11  0 unknown .10  35 .61 0 error (1) .064 7.4 .35 0 unknown .059 7.2 .58 0 true 11   490 92 2 error (1) .044 5.3 .19 0 error (1) .052 5.5 .17 0
termination-libowfat/strcat_short_true-termination.c.i error (8) .17 26 1.6  0 error (1) 8.9 710 53 0 error (42) .014  1.2  .037 0 unknown .0084 .92 .019  0 error (1) .43 37 3.5 0 error (1) .42 40 3.7 0 timeout 900   4700 12000 0 unknown 1.5  56 17   0 error (1) .043 4.8 .10  0 error (1) .046 4.8 .11  0 error (1) .020 4.9 .089 0 error (1) .044 4.8 .11  0 unknown .078 35 .75 0 error (1) .070 7.1 .33 0 unknown .058 7.3 .55 0 true 11   470 81 2 error (1) .024 5.3 .21 0 error (1) .028 5.4 .17 0
termination-libowfat/strcat_true-termination.c.i error (8) .21 26 1.6  0 error (1) 8.0 680 61 0 error (42) .013  1.2  .040 0 unknown .0086 .92 .035  0 error (1) .42 37 3.4 0 error (1) .40 38 3.8 0 timeout 900   4700 11000 0 unknown 1.7  56 19   0 error (1) .044 4.7 .14  0 error (1) .042 4.8 .14  0 error (1) .044 4.9 .13  0 error (1) .044 4.8 .11  0 unknown .079 35 .68 0 error (1) .068 7.3 .32 0 unknown .078 7.0 .55 0 true 13   510 110 2 error (1) .053 5.3 .16 0 error (1) .046 5.5 .23 0
termination-libowfat/strchr_short_true-termination.c.i error (8) .17 26 1.4  0 true 10   750 79 2 error (42) .018  1.4  .043 0 unknown .010  1.0  .021  0 error (1) .42 40 3.9 0 error (1) .40 37 3.3 0 unknown 27   1700 220 0 unknown 1.5  57 19   0 error (1) .021 4.8 .11  0 error (1) .022 4.7 .077 0 error (1) .044 4.8 .10  0 error (1) .020 4.7 .14  0 unknown .071 35 .97 0 error (1) .052 7.2 .47 0 unknown .059 7.3 .56 0 true 5.7 320 43 2 error (1) .050 5.5 .16 0 error (1) .051 5.3 .15 0
termination-libowfat/strchr_true-termination.c.i error (8) .16 26 1.8  0 true 56   3500 460 2 error (42) .021  1.3  .051 0 unknown .0093 1.0  .020  0 error (1) .41 37 3.5 0 error (1) .40 37 4.0 0 unknown 870   4200 11000 0 unknown 1.6  56 20   0 error (1) .020 4.8 .16  0 error (1) .021 4.7 .13  0 error (1) .022 4.9 .13  0 error (1) .021 4.8 .093 0 unknown .078 35 .66 0 error (1) .066 7.2 .33 0 unknown .056 7.3 .57 0 true 5.4 320 42 2 error (1) .045 5.4 .19 0 error (1) .045 5.4 .17 0
termination-libowfat/strcmp_short_true-termination.c.i error (8) .18 26 1.6  0 true 19   1300 120 2 error (42) .022  1.4  .053 0 unknown .0099 1.1  .019  0 error (1) .45 38 3.8 0 error (1) .42 40 4.0 0 timeout 900   3200 11000 0 unknown 1.5  57 17   0 error (1) .021 4.8 .12  0 error (1) .022 4.8 .13  0 error (1) .038 4.8 .12  0 error (1) .018 4.8 .16  0 unknown .088 35 .73 0 error (1) .058 7.2 .41 0 unknown .069 7.3 .51 0 true 5.4 320 39 2 error (1) .051 5.3 .15 0 error (1) .051 5.5 .16 0
termination-libowfat/strcpy_small_true-termination.c.i error (8) .18 26 1.5  0 error (1) 340   13000 1800 0 error (42) .012  1.1  .032 0 unknown .010  1.1  .017  0 error (1) .40 38 4.0 0 error (1) .39 37 4.0 0 timeout 900   5000 12000 0 unknown 84    29 1200   0 error (1) .017 4.8 .20  0 error (1) .019 4.7 .16  0 error (1) .021 4.7 .081 0 error (1) .019 4.8 .18  0 unknown .10  35 .72 0 error (1) .071 7.6 .34 0 unknown .087 7.4 .61 0 true 9.7 470 74 2 error (1) .054 5.5 .17 0 error (1) .050 5.5 .21 0
termination-libowfat/strcspn_true-termination.c.i error (8) .18 26 1.4  0 timeout 900   6800 7200 0 error (42) .012  1.2  .060 0 unknown .0066 .94 .0069 0 error (1) .43 39 3.9 0 error (1) .41 41 4.5 0 timeout 900   2500 12000 0 unknown 6.7  69 86   0 error (1) .043 4.8 .12  0 error (1) .017 4.8 .077 0 error (1) .043 4.7 .11  0 error (1) .019 4.8 .19  0 unknown .10  35 .68 0 error (1) .058 7.2 .37 0 unknown .082 7.2 .51 0 true 18   710 150 2 error (1) .051 5.3 .16 0 error (1) .024 5.4 .27 0
termination-libowfat/strdup_true-termination.c.i error (8) .18 26 1.5  0 true 45   3600 480 2 error (42) .020  1.3  .046 0 unknown .010  .83 .014  0 error (1) .41 37 3.8 0 error (1) .42 38 4.1 0 unknown 26   1300 210 0 unknown 97    33 1100   0 error (1) .031 4.9 .13  0 error (1) .019 4.8 .18  0 error (1) .032 4.7 .15  0 error (1) .043 4.8 .11  0 unknown .10  35 .74 0 error (1) .061 7.5 .33 0 unknown .084 7.2 .52 0 true 12   500 92 2 error (1) .024 5.5 .19 0 error (1) .051 5.3 .17 0
termination-libowfat/strlcat_true-termination.c.i error (8) .17 26 1.6  0 error (1) 11   710 85 0 error (42) .019  1.1  .032 0 unknown .0090 .88 .021  0 error (1) .41 38 3.8 0 error (1) .37 38 3.5 0 error (parsing failed) 1.6 130 14 0 unknown 1.6  55 19   0 error (1) .030 4.7 .14  0 error (1) .018 4.8 .15  0 error (1) .022 4.8 .17  0 error (1) .020 4.9 .094 0 unknown .10  35 .70 0 error (1) .064 7.2 .32 0 unknown .076 7.1 .55 0 true 14   510 120 2 error (1) .025 5.3 .23 0 error (1) .027 5.3 .16 0
termination-libowfat/strlcpy_true-termination.c.i error (8) .19 26 1.4  0 timeout 910   12000 8400 0 error (42) .021  1.2  .039 0 unknown .011  .92 .025  0 error (1) .42 37 3.4 0 error (1) .40 37 3.5 0 error (parsing failed) 1.5 130 15 0 unknown 110    68 1400   0 error (1) .044 4.8 .14  0 error (1) .044 4.8 .12  0 error (1) .030 4.8 .15  0 error (1) .028 4.8 .099 0 unknown .11  36 .67 0 error (1) .056 7.3 .40 0 unknown .058 7.3 .65 0 true 15   510 140 2 error (1) .051 5.5 .18 0 error (1) .027 5.6 .18 0
termination-libowfat/strlen_true-termination.c.i error (8) .18 26 1.3  0 true 36   3600 310 2 error (42) .014  1.3  .043 0 unknown .0090 1.1  .025  0 error (1) .39 37 3.6 0 error (1) .41 37 3.5 0 unknown 11   530 83 0 unknown 1.4  55 16   0 error (1) .043 4.7 .10  0 error (1) .019 4.8 .21  0 error (1) .045 4.8 .13  0 error (1) .020 4.8 .11  0 unknown .076 35 .68 0 error (1) .057 7.3 .41 0 unknown .083 7.3 .55 0 true 5.4 320 43 2 error (1) .050 5.4 .16 0 error (1) .024 5.3 .18 0
termination-libowfat/strpbrk_true-termination.c.i error (8) .17 26 1.6  0 out of memory 570   15000 3300 0 error (42) .022  1.3  .034 0 unknown .0090 1.0  .024  0 error (1) .46 40 3.6 0 error (1) .45 40 3.7 0 timeout 900   2800 13000 0 unknown 5.8  64 90   0 error (1) .019 4.8 .13  0 error (1) .020 4.8 .13  0 error (1) .021 4.7 .11  0 error (1) .045 4.8 .11  0 unknown .091 35 .75 0 error (1) .049 7.2 .31 0 unknown .076 7.3 .60 0 unknown 33   970 240 0 error (1) .024 5.3 .21 0 error (1) .053 5.3 .13 0
termination-libowfat/strrchr_short_true-termination.c.i error (8) .16 26 1.5  0 true 38   3800 240 2 error (42) .021  1.1  .027 0 unknown .0082 1.0  .028  0 error (1) .49 40 3.7 0 error (1) .43 39 3.6 0 unknown 25   1700 220 0 unknown 1.5  55 18   0 error (1) .018 4.8 .12  0 error (1) .019 4.7 .12  0 error (1) .021 4.8 .11  0 error (1) .019 4.9 .094 0 unknown .10  35 .68 0 error (1) .064 7.3 .41 0 unknown .056 7.0 .59 0 true 9.7 480 75 2 error (1) .042 5.4 .19 0 error (1) .051 5.5 .13 0
termination-libowfat/strrchr_true-termination.c.i error (8) .17 26 1.4  0 timeout 900   3700 12000 0 error (42) .017  1.4  .029 0 unknown .0091 .91 .022  0 error (1) .40 38 3.8 0 error (1) .43 40 3.4 0 timeout 900   5200 11000 0 unknown 1.6  57 17   0 error (1) .022 4.8 .14  0 error (1) .021 4.7 .15  0 error (1) .021 4.8 .16  0 error (1) .022 4.7 .14  0 unknown .075 35 .64 0 error (1) .064 7.4 .34 0 unknown .055 7.3 .58 0 true 11   480 93 2 error (1) .049 5.4 .17 0 error (1) .024 5.4 .25 0
termination-libowfat/strspn_true-termination.c.i error (8) .16 26 1.4  0 true 130   3800 1500 2 error (42) .021  1.3  .034 0 unknown .010  .95 .016  0 error (1) .45 40 3.7 0 error (1) .40 38 3.7 0 timeout 900   2500 11000 0 unknown 2.0  56 23   0 error (1) .020 4.7 .15  0 error (1) .021 4.8 .12  0 error (1) .045 4.9 .14  0 error (1) .021 4.9 .099 0 unknown .10  35 .67 0 error (1) .066 7.1 .28 0 unknown .083 7.3 .49 0 true 14   530 110 2 error (1) .026 5.4 .14 0 error (1) .053 5.4 .16 0
termination-libowfat/strstr_true-termination.c.i error (8) .19 26 1.5  0 true 260   5100 2700 2 error (42) .011  1.0  .021 0 unknown .0089 1.0  .027  0 error (1) .45 40 3.8 0 error (1) .39 37 4.0 0 timeout 900   4500 12000 0 unknown 900    600 10000   0 error (1) .019 4.9 .11  0 error (1) .021 4.8 .14  0 error (1) .046 4.8 .14  0 error (1) .034 4.8 .16  0 unknown .061 12 .51 0 error (1) .040 7.3 .45 0 unknown .056 7.2 .55 0 true 54   710 550 2 error (1) .025 5.5 .26 0 error (1) .051 5.3 .16 0
termination-libowfat/strtok_r_true-termination.c.i error (8) .19 26 1.8  0 timeout 910   7500 10000 0 error (42) .013  1.1  .048 0 unknown .0090 1.1  .019  0 error (1) .40 37 3.6 0 error (1) .41 38 3.9 0 timeout 920   5000 11000 0 unknown 7.3  84 96   0 error (1) .044 4.7 .12  0 error (1) .019 4.8 .16  0 error (1) .020 4.9 .14  0 error (1) .042 4.9 .18  0 unknown .11  35 .77 0 error (1) .060 7.0 .41 0 unknown .074 7.2 .58 0 true 46   980 550 2 error (1) .051 5.3 .17 0 error (1) .026 5.3 .17 0
termination-libowfat/strtol_true-termination.c.i error (8) .19 26 1.5  0 timeout 900   190 9200 0 error (42) .015  1.3  .037 0 unknown .011  1.2  .028  0 error (1) .45 40 3.7 0 error (1) .40 38 3.9 0 unknown 770   4300 9400 0 unknown 1.7  57 20   0 error (1) .030 4.8 .12  0 error (1) .039 4.8 .12  0 error (1) .027 5.0 .13  0 error (1) .035 4.8 .14  0 unknown .082 12 .29 0 error (1) .040 7.3 .41 0 unknown .055 7.3 .60 0 true 15   510 120 2 error (1) .051 5.5 .14 0 error (1) .052 5.4 .17 0
termination-libowfat/strtoul_true-termination.c.i error (8) .18 26 1.4  0 timeout 900   190 9800 0 error (42) .018  1.4  .041 0 unknown .0089 .93 .020  0 error (1) .42 41 4.3 0 error (1) .39 37 3.8 0 timeout 900   4500 12000 0 unknown 1.7  57 20   0 error (1) .020 4.8 .17  0 error (1) .019 4.7 .14  0 error (1) .022 4.8 .11  0 error (1) .019 4.9 .16  0 unknown .076 12 .40 0 error (1) .050 7.2 .28 0 unknown .083 7.3 .53 0 true 11   500 91 2 error (1) .052 5.3 .17 0 error (1) .051 5.3 .15 0
termination-libowfat/strtoull_true-termination.c.i error (8) .19 26 1.7  0 timeout 900   180 9400 0 error (42) .022  1.3  .034 0 unknown .0089 1.0  .026  0 error (1) .42 40 4.2 0 error (1) .43 38 3.7 0 timeout 910   4600 12000 0 unknown 1.7  56 18   0 error (1) .021 4.8 .17  0 error (1) .044 4.8 .13  0 error (1) .019 4.8 .18  0 error (1) .045 4.8 .11  0 unknown .051 13 .46 0 error (1) .047 7.3 .38 0 unknown .082 7.2 .59 0 true 11   480 87 2 error (1) .054 5.4 .14 0 error (1) .032 5.5 .18 0
termination-libowfat/wcsrchr_true-termination.c.i error (5) .21 26 1.4  0 timeout 910   12000 3900 0 error (42) .014  1.1  .031 0 unknown .0094 .89 .029  0 error (1) .43 37 3.7 0 error (1) .43 39 3.7 0 unknown 25   1700 220 0 unknown 1.5  56 17   0 error (1) .038 4.8 .099 0 error (1) .038 4.8 .13  0 error (1) .021 4.8 .13  0 error (1) .020 4.8 .15  0 unknown .10  35 .62 0 error (1) .041 7.1 .40 0 unknown .056 7.2 .61 0 true 8.4 470 69 2 error (1) .049 5.4 .19 0 error (1) .051 5.4 .17 0
termination-libowfat/wcsstr_true-termination.c.i error (8) .19 26 1.4  0 timeout 910   8700 5300 0 error (42) .013  1.2  .049 0 unknown .0075 1.0  .019  0 error (1) .43 40 3.9 0 error (1) .44 40 3.9 0 timeout 900   4200 11000 0 unknown 3.1  56 41   0 error (1) .021 4.8 .14  0 error (1) .023 4.8 .12  0 error (1) .020 4.7 .15  0 error (1) .035 4.8 .12  0 unknown .10  35 .70 0 error (1) .063 7.3 .37 0 unknown .082 7.1 .52 0 true 6.2 320 49 2 error (1) .028 5.5 .21 0 error (1) .046 5.4 .20 0
termination-memory-alloca/PodelskiRybalchenko-2004VMCAI-Ex2-alloca_false-termination.c.i error (5) .33 31 3.0  0 false(termination) 3.5 250 27 1 error (42) .013  1.1  .046 0 unknown .0087 .73 .025  0 error (1) .42 38 3.7 0 error (1) .42 38 4.1 0 unknown 9.8 500 74 0 true .82 29 9.5 -32 error (1) .022 4.8 .10  0 error (1) .030 4.7 .13  0 error (1) .020 4.8 .11  0 error (1) .023 4.8 .13  0 false(termination) .20  48 1.6  1 error (1) .062 7.4 .38 0 unknown .084 7.1 .47 0 unknown 19   640 140 0 error (1) .043 5.4 .16 0 error (1) .028 5.3 .18 0
termination-memory-alloca/Urban-2013WST-Fig1-alloca_false-termination.c.i error (5) .20 26 1.8  0 false(termination) 3.4 250 25 1 error (42) .016  1.5  .045 0 unknown .0085 .84 .026  0 error (1) .43 37 3.9 0 error (1) .38 37 3.9 0 false(termination) 3.3 290 28 1 true .84 29 8.9 -32 error (1) .020 4.8 .15  0 error (1) .019 4.7 .17  0 error (1) .018 4.8 .084 0 error (1) .039 4.8 .11  0 unknown .40  48 3.9  0 error (1) .063 7.4 .33 0 unknown .054 7.2 .65 0 false(termination) 6.0 320 46 1 error (1) .029 5.3 .20 0 error (1) .051 5.4 .13 0
termination-memory-alloca/Velroyen-alloca_false-termination.c.i error (5) .27 28 2.1  0 false(termination) 5.1 370 38 1 error (42) .021  .96 .051 0 unknown .0086 .73 .023  0 error (1) .42 40 4.1 0 error (1) .41 37 4.1 0 false(termination) 3.3 280 34 1 true .87 29 10   -32 error (1) .031 4.9 .11  0 error (1) .042 4.8 .12  0 error (1) .021 4.8 .12  0 error (1) .022 4.7 .10  0 unknown .73  50 8.1  0 error (1) .067 7.2 .34 0 unknown .080 7.1 .52 0 false(termination) 9.4 420 73 1 error (1) .026 5.4 .20 0 error (1) .045 5.3 .19 0
termination-memory-alloca/Avery-2006FLOPS-Tabel1_true-alloca_true-termination.c.i true .35 28 4.2  2 true 27   2700 230 2 error (42) .011  1.1  .044 0 unknown .010  .85 .025  0 error (1) .44 40 3.9 0 error (1) .41 38 3.6 0 timeout 900   4100 12000 0 true .88 29 10   2 error (1) .042 4.8 .12  0 error (1) .044 4.8 .11  0 error (1) .020 4.8 .11  0 error (1) .022 4.9 .12  0 true .99  51 11    2 error (1) .042 7.2 .37 0 unknown .084 7.1 .55 0 true 16   550 150 2 error (1) .052 5.4 .16 0 error (1) .042 5.4 .17 0
termination-memory-alloca/Ben-Amram-2010LMCS-Ex2.3-alloca_true-termination.c.i error (5) 2.6  42 35    0 true 15   1300 110 2 error (42) .012  .95 .042 0 unknown .0079 .66 .022  0 error (1) .41 40 3.9 0 error (1) .39 37 4.3 0 timeout 910   4400 11000 0 true .88 29 10   2 error (1) .045 4.8 .12  0 error (1) .044 4.7 .14  0 error (1) .030 4.7 .12  0 error (1) .044 4.8 .13  0 true .64  52 7.1  2 error (1) .059 7.3 .37 0 unknown .055 7.3 .69 0 true 14   620 130 2 error (1) .048 5.3 .17 0 error (1) .052 5.3 .11 0
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Fig1-alloca_true-termination.c.i true .26 27 2.5  2 true 22   2000 130 2 error (42) .012  1.1  .042 0 unknown .0076 .92 .020  0 error (1) .43 40 3.5 0 error (1) .42 41 4.0 0 timeout 900   4100 13000 0 true 1.1  29 15   2 error (1) .021 4.9 .16  0 error (1) .036 4.8 .11  0 error (1) .018 4.7 .19  0 error (1) .022 4.8 .10  0 unknown 4.6   65 47    0 error (1) .070 7.1 .34 0 unknown .054 7.2 .62 0 true 59   920 710 2 error (1) .051 5.3 .14 0 error (1) .049 5.5 .21 0
termination-memory-alloca/BrockschmidtCookFuhs-2013CAV-Introduction-alloca_true-termination.c.i error (5) .86 40 9.3  0 true 7.5 530 52 2 error (42) .0077 1.2  .051 0 unknown .0086 .78 .018  0 error (1) .44 40 3.5 0 error (1) .41 37 3.9 0 timeout 900   4000 10000 0 true .82 29 11   2 error (1) .019 4.7 .15  0 error (1) .021 4.7 .098 0 error (1) .042 4.7 .11  0 error (1) .019 4.8 .15  0 true .29  48 2.6  2 error (1) .062 7.2 .35 0 unknown .058 7.3 .56 0 true 9.0 470 79 2 error (1) .052 5.4 .17 0 error (1) .052 5.5 .17 0
termination-memory-alloca/ChenFlurMukhopadhyay-2012SAS-Fig1-alloca_true-termination.c.i timeout 900    130 13000    0 true 7.1 550 50 2 error (42) .022  1.1  .037 0 unknown .010  .82 .022  0 error (1) .42 38 3.3 0 error (1) .38 38 3.6 0 timeout 900   4100 11000 0 true .87 29 11   2 error (1) .040 4.8 .13  0 error (1) .020 4.8 .11  0 error (1) .041 4.8 .13  0 error (1) .019 4.9 .15  0 true 4.3   160 64    2 error (1) .066 7.2 .28 0 unknown .079 7.1 .63 0 true 16   570 150 2 error (1) .028 5.4 .18 0 error (1) .051 5.5 .16 0
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig3-alloca_true-termination.c.i true .20 29 2.7  2 true 16   1400 95 2 error (42) .021  1.1  .049 0 unknown .0094 .87 .024  0 error (1) .40 37 3.6 0 error (1) .42 38 3.5 0 false(termination) 790   4900 9500 -16 true .84 29 12   2 error (1) .044 5.0 .13  0 error (1) .017 4.8 .17  0 error (1) .020 4.8 .15  0 error (1) .018 4.8 .13  0 true .34  52 3.6  2 error (1) .040 7.4 .41 0 unknown .084 7.1 .47 0 true 19   550 160 2 error (1) .038 5.4 .13 0 error (1) .027 5.4 .10 0
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7a-alloca_true-termination.c.i true .36 30 3.8  2 true 25   2500 150 2 error (42) .012  1.1  .040 0 unknown .011  1.0  .024  0 error (1) .42 40 3.9 0 error (1) .44 40 4.0 0 unknown 650   4100 8300 0 true .87 29 11   2 error (1) .021 4.8 .15  0 error (1) .018 4.8 .16  0 error (1) .022 4.8 .14  0 error (1) .019 4.8 .13  0 true .57  50 8.0  2 error (1) .041 7.0 .46 0 unknown .084 7.1 .54 0 true 32   1700 320 2 error (1) .051 5.4 .15 0 error (1) .024 5.4 .23 0
termination-memory-alloca/CookSeeZuleger-2013TACAS-Fig7b-alloca_true-termination.c.i true .32 29 3.7  2 true 180   9800 1000 2 error (42) .013  1.4  .043 0 unknown .010  .72 .021  0 error (1) .42 37 3.8 0 error (1) .38 37 3.6 0 unknown 830   4500 11000 0 true .91 29 11   2 error (1) .019 4.8 .091 0 error (1) .042 4.8 .12  0 error (1) .033 4.8 .075 0 error (1) .029 4.8 .11  0 true .70  52 6.8  2 error (1) .069 7.2 .34 0 unknown .083 7.2 .51 0 true 320   1600 4800 2 error (1) .052 5.4 .18 0 error (1) .052 5.6 .19 0
termination-memory-alloca/GulwaniJainKoskinen-2009PLDI-Fig1-alloca_true-termination.c.i error (5) .48 32 5.2  0 timeout 900   3700 13000 0 error (42) .014  1.1  .040 0 unknown .0090 .92 .022  0 error (1) .42 38 3.8 0 error (1) .41 40 3.7 0 timeout 910   4200 11000 0 true .86 29 12   2 error (1) .032 4.9 .12  0 error (1) .020 4.8 .14  0 error (1) .046 4.7 .13  0 error (1) .021 4.8 .12  0 unknown 40     310 560    0 error (1) .070 7.1 .34 0 unknown .085 7.3 .52 0 timeout 900   10000 11000 0 error (1) .044 5.4 .19 0 error (1) .029 5.5 .17 0
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig1-alloca_true-termination.c.i error (5) .61 33 6.9  0 true 7.3 580 55 2 error (42) .015  1.4  .034 0 unknown .010  1.0  .037  0 error (1) .44 40 4.1 0 error (1) .40 37 3.9 0 timeout 910   4300 12000 0 true 1.0  29 13   2 error (1) .042 4.8 .12  0 error (1) .030 4.8 .12  0 error (1) .018 4.7 .18  0 error (1) .017 4.7 .17  0 true 8.0   370 90    2 error (1) .045 7.4 .43 0 unknown .083 7.1 .50 0 true 31   980 340 2 error (1) .051 5.3 .17 0 error (1) .045 5.3 .20 0
termination-memory-alloca/HarrisLalNoriRajamani-2010SAS-Fig3-alloca_true-termination.c.i true .20 26 1.5  2 true 14   1500 87 2 error (42) .021  1.5  .046 0 unknown .0046 .82 .018  0 error (1) .44 40 4.2 0 error (1) .44 38 3.8 0 true 7.7 470 57 2 true .85 29 11   2 error (1) .018 4.8 .17  0 error (1) .031 4.8 .14  0 error (1) .021 4.7 .14  0 error (1) .044 4.8 .13  0 unknown .16  42 1.5  0 error (1) .044 7.2 .35 0 unknown .054 7.2 .63 0 true 7.5 420 57 2 error (1) .051 5.4 .20 0 error (1) .053 5.4 .15 0
termination-memory-alloca/KroeningSharyginaTsitovichWintersteiger-2010CAV-Fig1-alloca_true-termination.c.i error (5) .26 26 2.0  0 timeout 900   3500 11000 0 error (42) .019  .97 .048 0 unknown .0090 .88 .023  0 error (1) .41 37 3.8 0 error (1) .45 40 4.3 0 timeout 910   4100 12000 0 true .87 29 11   2 error (1) .017 4.7 .16  0 error (1) .021 4.8 .15  0 error (1) .018 4.8 .16  0 error (1) .044 4.7 .14  0 true 3.4   54 36    2 error (1) .066 7.2 .32 0 unknown .056 7.2 .71 0 true 12   620 100 2 error (1) .051 5.4 .15 0 error (1) .025 5.3 .20 0
termination-memory-alloca/Masse-alloca_true-termination.c.i error (5) .26 26 3.1  0 timeout 910   11000 4300 0 error (42) .016  1.5  .040 0 unknown .0072 .85 .018  0 error (1) .45 40 4.0 0 error (1) .41 40 3.6 0 unknown 7.7 500 64 0 true .86 29 9.8 2 error (1) .019 4.8 .13  0 error (1) .019 4.8 .16  0 error (1) .029 4.9 .15  0 error (1) .019 4.8 .12  0 unknown 11     67 120    0 error (1) .070 7.1 .30 0 unknown .075 7.1 .53 0 unknown 13   630 100 0 error (1) .026 5.3 .24 0 error (1) .025 5.5 .19 0
termination-memory-alloca/NoriSharma-2013FSE-Fig7-alloca_true-termination.c.i error (5) 9.5  53 110    0 true 40   3800 310 2 error (42) .018  1.2  .036 0 unknown .0069 .79 .025  0 error (1) .41 37 4.3 0 error (1) .42 40 3.9 0 timeout 900   4200 12000 0 true .89 29 9.3 2 error (1) .020 4.8 .15  0 error (1) .044 4.8 .12  0 error (1) .019 4.7 .095 0 error (1) .046 4.8 .095 0 true 1.8   57 25    2 error (1) .041 7.2 .42 0 unknown .056 7.2 .62 0 true 19   640 220 2 error (1) .026 5.4 .22 0 error (1) .048 5.4 .19 0
termination-memory-alloca/NoriSharma-2013FSE-Fig8-alloca_true-termination.c.i error (5) 4.9  47 66    0 true 35   3000 290 2 error (42) .021  1.0  .049 0 unknown .0090 .81 .019  0 error (1) .43 37 3.9 0 error (1) .42 40 3.7 0 timeout 900   4100 13000 0 true .88 29 11   2 error (1) .021 4.9 .13  0 error (1) .037 4.7 .11  0 error (1) .022 4.8 .10  0 error (1) .045 4.8 .12  0 true 1.4   56 16    2 error (1) .069 7.1 .33 0 unknown .073 7.3 .60 0 true 46   880 550 2 error (1) .026 5.3 .23 0 error (1) .051 5.4 .17 0
termination-memory-alloca/TelAviv-Amir-Minimum-alloca_true-termination.c.i error (5) .54 34 4.9  0 out of memory 810   15000 4300 0 error (42) .018  1.1  .033 0 unknown .0085 .76 .014  0 error (1) .43 40 4.1 0 error (1) .42 39 4.3 0 timeout 900   5300 11000 0 true .90 29 11   2 error (1) .044 4.8 .12  0 error (1) .030 4.8 .16  0 error (1) .020 4.8 .090 0 error (1) .020 4.8 .16  0 true .54  50 6.0  2 error (1) .069 7.3 .32 0 unknown .084 7.2 .54 0 error (1) 240   8400 2500 0 error (1) .050 5.3 .22 0 error (1) .050 5.4 .18 0
termination-memory-alloca/Toulouse-BranchesToLoop-alloca_true-termination.c.i error (5) .30 29 2.6  0 true 9.5 720 64 2 error (42) .013  1.3  .042 0 unknown .0087 .89 .020  0 error (1) .46 40 3.7 0 error (1) .40 37 4.1 0 timeout 900   4200 12000 0 true .84 29 11   2 error (1) .044 4.8 .13  0 error (1) .044 4.8 .13  0 error (1) .045 4.8 .095 0 error (1) .018 4.8 .17  0 true 1.1   52 12    2 error (1) .070 7.4 .35 0 unknown .082 7.3 .50 0 true 14   530 120 2 error (1) .025 5.5 .21 0 error (1) .052 5.3 .15 0
termination-memory-alloca/Toulouse-MultiBranchesToLoop-alloca_true-termination.c.i error (5) .29 27 2.5  0 true 11   770 78 2 error (42) .019  1.4  .036 0 unknown .0096 .86 .021  0 error (1) .43 37 3.4 0 error (1) .44 40 3.4 0 timeout 910   4300 12000 0 true .92 29 12   2 error (1) .019 4.8 .15  0 error (1) .020 4.8 .16  0 error (1) .018 4.8 .18  0 error (1) .042 4.7 .13  0 true 4.1   56 60    2 error (1) .065 7.4 .32 0 unknown .074 7.3 .63 0 true 77   1300 910 2 error (1) .051 5.4 .17 0 error (1) .025 5.4 .18 0
termination-memory-alloca/Urban-2013WST-Fig2-alloca_true-termination.c.i true .26 26 2.2  2 true 8.7 750 58 2 error (42) .013  .96 .040 0 unknown .0089 .85 .021  0 error (1) .42 38 3.5 0 error (1) .38 37 3.8 0 unknown 710   4200 9000 0 true .88 29 11   2 error (1) .044 4.8 .11  0 error (1) .032 4.8 .11  0 error (1) .034 4.8 .14  0 error (1) .023 4.9 .15  0 true .26  50 3.0  2 error (1) .043 7.3 .39 0 unknown .057 7.3 .61 0 true 220   5700 2700 2 error (1) .050 5.4 .17 0 error (1) .054 5.4 .15 0
termination-memory-alloca/Urban-2013WST-Fig2-modified1000-alloca_true-termination.c.i true .93 31 12    2 true 10   910 68 2 error (42) .015  .96 .048 0 unknown .0087 1.0  .026  0 error (1) .40 37 3.9 0 error (1) .41 38 4.1 0 timeout 900   4300 8500 0 true .83 29 9.8 2 error (1) .022 4.8 .15  0 error (1) .020 4.8 .11  0 error (1) .020 4.8 .15  0 error (1) .018 4.8 .17  0 true .26  50 3.1  2 error (1) .046 7.2 .36 0 unknown .075 7.1 .62 0 timeout 900   1200 13000 0 error (1) .040 5.4 .22 0 error (1) .043 5.3 .16 0
termination-memory-alloca/Urban-alloca_true-termination.c.i error (5) .53 33 5.5  0 true 73   4600 440 2 error (42) .020  1.1  .066 0 unknown .0090 .89 .015  0 error (1) .43 37 3.7 0 error (1) .43 40 3.8 0 timeout 900   5100 12000 0 true .90 29 10   2 error (1) .026 4.7 .16  0 error (1) .019 4.8 .16  0 error (1) .020 4.9 .14  0 error (1) .021 4.8 .16  0 true .58  50 6.7  2 error (1) .042 7.3 .33 0 unknown .083 7.2 .49 0 true 33   1400 290 2 error (1) .025 5.3 .16 0 error (1) .048 5.4 .21 0
termination-memory-alloca/a.01-alloca_true-termination_true-no-overflow.c.i true .24 27 2.3  2 true 25   2000 170 2 error (42) .021  1.2  .044 0 unknown .0085 .93 .018  0 error (1) .42 38 4.0 0 error (1) .41 38 4.1 0 timeout 900   4100 14000 0 true 1.1  29 15   2 error (1) .021 4.8 .17  0 error (1) .019 4.9 .16  0 error (1) .020 4.8 .17  0 error (1) .021 4.8 .11  0 unknown 2.8   57 31    0 error (1) .069 7.3 .34 0 unknown .086 7.2 .50 0 true 23   810 230 2 error (1) .027 5.3 .20 0 error (1) .040 5.3 .21 0
termination-memory-alloca/a.04-alloca_true-termination_true-no-overflow.c.i true .18 26 1.5  2 true 6.2 470 43 2 error (42) .012  1.4  .036 0 unknown .010  .95 .023  0 error (1) .39 37 3.5 0 error (1) .39 38 3.8 0 timeout 910   4300 14000 0 true .85 29 11   2 error (1) .044 4.7 .12  0 error (1) .023 4.8 .12  0 error (1) .020 4.7 .14  0 error (1) .019 4.8 .080 0 true .33  50 3.5  2 error (1) .064 7.4 .30 0 unknown .056 7.2 .57 0 true 10   510 87 2 error (1) .042 5.4 .15 0 error (1) .056 5.4 .15 0
termination-memory-alloca/a.05-alloca_true-termination_true-no-overflow.c.i true .19 26 1.6  2 true 7.3 490 60 2 error (42) .021  .99 .054 0 unknown .0091 .92 .021  0 error (1) .42 40 3.8 0 error (1) .42 40 3.7 0 timeout 900   4100 13000 0 true .86 29 9.0 2 error (1) .030 4.8 .11  0 error (1) .020 4.8 .12  0 error (1) .020 4.8 .15  0 error (1) .044 4.8 .12  0 true .40  50 4.3  2 error (1) .043 7.3 .38 0 unknown .076 7.2 .63 0 true 9.4 470 74 2 error (1) .052 5.4 .12 0 error (1) .026 5.3 .18 0
termination-memory-alloca/a.06-alloca_true-termination_true-no-overflow.c.i true .19 26 1.7  2 timeout 900   2700 11000 0 error (42) .020  1.2  .051 0 unknown .0074 .92 .039  0 error (1) .42 40 3.7 0 error (1) .45 40 3.6 0 timeout 900   4300 12000 0 true .91 29 11   2 error (1) .033 4.7 .12  0 error (1) .037 4.9 .13  0 error (1) .032 4.9 .16  0 error (1) .045 4.8 .11  0 true 1.8   54 21    2 error (1) .041 7.2 .36 0 unknown .083 7.1 .50 0 true 13   580 120 2 error (1) .052 5.3 .15 0 error (1) .051 5.4 .17 0
termination-memory-alloca/a.07-alloca_true-termination_true-no-overflow.c.i true .21 26 2.5  2 true 11   730 89 2 error (42) .012  1.1  .040 0 unknown .0090 .99 .022  0 error (1) .40 38 3.5 0 error (1) .43 40 3.6 0 timeout 900   4100 11000 0 true .87 29 9.4 2 error (1) .024 4.9 .12  0 error (1) .023 4.7 .13  0 error (1) .030 4.8 .13  0 error (1) .018 4.7 .18  0 true .54  51 6.4  2 error (1) .070 7.3 .37 0 unknown .055 7.1 .63 0 true 390   790 4500 2 error (1) .048 5.3 .16 0 error (1) .050 5.5 .15 0
termination-memory-alloca/a.08-alloca_true-termination_true-no-overflow.c.i true .21 26 1.6  2 true 8.8 700 65 2 error (42) .019  1.2  .050 0 unknown .010  .97 .030  0 error (1) .39 37 3.2 0 error (1) .45 40 4.3 0 timeout 920   4600 11000 0 true .84 29 11   2 error (1) .033 4.8 .16  0 error (1) .021 4.8 .12  0 error (1) .020 4.8 .15  0 error (1) .019 4.8 .14  0 true .38  52 3.8  2 error (1) .055 7.5 .30 0 unknown .057 7.2 .58 0 true 9.7 480 74 2 error (1) .051 5.4 .15 0 error (1) .050 5.3 .20 0
termination-memory-alloca/a.09_assume-alloca_true-termination_true-no-overflow.c.i true .22 30 1.9  2 true 14   870 99 2 error (42) .014  1.3  .036 0 unknown .0076 .97 .029  0 error (1) .42 37 4.0 0 error (1) .43 39 3.7 0 timeout 920   4400 12000 0 true .88 29 11   2 error (1) .022 4.9 .14  0 error (1) .021 4.7 .14  0 error (1) .046 4.8 .11  0 error (1) .043 4.8 .13  0 unknown .31  52 3.9  0 error (1) .062 7.4 .39 0 unknown .054 7.2 .71 0 true 11   480 85 2 error (1) .042 5.4 .17 0 error (1) .052 5.4 .12 0
termination-memory-alloca/a.10-alloca_true-termination_true-no-overflow.c.i true .20 26 2.1  2 true 3.3 260 26 2 error (42) .019  1.3  .062 0 unknown .0092 1.0  .022  0 error (1) .39 38 3.6 0 error (1) .45 40 3.4 0 timeout 920   4400 12000 0 true .87 29 12   2 error (1) .022 4.8 .094 0 error (1) .018 4.8 .083 0 error (1) .030 4.8 .19  0 error (1) .045 4.8 .092 0 true .46  52 6.4  2 error (1) .070 7.2 .31 0 unknown .085 7.3 .52 0 true 12   490 100 2 error (1) .046 5.3 .16 0 error (1) .052 5.4 .15 0
termination-memory-alloca/add_last-alloca_true-termination.c.i error (5) .18 27 1.9  0 error (1) 110   7600 720 0 error (42) .018  1.4  .034 0 unknown .010  1.0  .031  0 error (1) .41 37 3.7 0 error (1) .44 38 4.2 0 timeout 900   4600 11000 0 true 1.1  29 12   2 error (1) .022 4.8 .14  0 error (1) .031 4.8 .15  0 error (1) .044 4.8 .10  0 error (1) .021 4.9 .17  0 unknown 1.3   52 20    0 error (1) .069 7.3 .33 0 unknown .081 7.2 .66 0 true 8.4 470 64 2 error (1) .027 5.4 .18 0 error (1) .052 5.2 .16 0
termination-memory-alloca/array01-alloca_true-termination.c.i error (5) .49 34 7.6  0 true 62   5700 420 2 error (42) .020  1.1  .045 0 unknown .0089 .82 .023  0 error (1) .46 40 4.1 0 error (1) .41 38 4.3 0 unknown 18   700 140 0 true 3.0  52 37   2 error (1) .019 4.7 .12  0 error (1) .044 4.8 .12  0 error (1) .020 4.8 .15  0 error (1) .021 4.8 .16  0 unknown 21     390 220    0 error (1) .042 7.4 .39 0 unknown .082 7.2 .57 0 true 12   490 95 2 error (1) .042 5.4 .23 0 error (1) .051 5.6 .17 0
termination-memory-alloca/array02-alloca_true-termination.c.i error (5) .73 36 8.5  0 true 97   3700 930 2 error (42) .015  1.1  .034 0 unknown .010  1.0  .015  0 error (1) .40 40 3.6 0 error (1) .42 38 3.4 0 unknown 32   1400 250 0 true 5.0  97 65   2 error (1) .020 4.7 .14  0 error (1) .022 4.8 .12  0 error (1) .024 4.9 .13  0 error (1) .020 4.8 .15  0 unknown 40     610 500    0 error (1) .071 7.4 .33 0 unknown .056 7.2 .66 0 true 14   520 120 2 error (1) .026 5.4 .18 0 error (1) .041 5.3 .19 0
termination-memory-alloca/array03-alloca_true-termination.c.i error (5) .42 31 4.4  0 true 110   3800 980 2 error (42) .021  1.2  .036 0 unknown .010  .79 .018  0 error (1) .40 37 3.5 0 error (1) .44 39 3.8 0 unknown 12   500 110 0 true 3.4  60 43   2 error (1) .017 4.7 .14  0 error (1) .045 4.7 .10  0 error (1) .041 4.9 .12  0 error (1) .018 4.8 .17  0 unknown 27     12000 310    0 error (1) .065 7.2 .36 0 unknown .082 7.2 .61 0 true 13   500 100 2 error (1) .025 5.4 .29 0 error (1) .025 5.4 .17 0
termination-memory-alloca/aviad_true-alloca_true-termination.c.i true .25 27 2.2  2 true 54   5300 370 2 error (42) .016  .99 .037 0 unknown .010  1.0  .017  0 error (1) .39 37 4.3 0 error (1) .41 37 4.3 0 timeout 910   4300 12000 0 true .89 29 12   2 error (1) .027 4.7 .17  0 error (1) .021 4.8 .087 0 error (1) .021 4.9 .17  0 error (1) .023 4.8 .12  0 true .93  52 13    2 error (1) .069 7.3 .30 0 unknown .082 7.2 .52 0 timeout 900   3200 11000 0 error (1) .023 5.4 .18 0 error (1) .024 5.3 .20 0
termination-memory-alloca/b.01-alloca_true-termination_true-no-overflow.c.i true .18 26 1.5  2 true 6.6 470 49 2 error (42) .021  1.3  .037 0 unknown .0099 .93 .015  0 error (1) .42 37 3.7 0 error (1) .39 37 4.1 0 timeout 920   4400 11000 0 true .84 29 12   2 error (1) .044 4.7 .13  0 error (1) .017 4.8 .15  0 error (1) .045 4.9 .13  0 error (1) .040 4.7 .12  0 true .35  50 3.1  2 error (1) .069 7.6 .31 0 unknown .055 7.2 .65 0 true 8.9 480 71 2 error (1) .040 5.4 .22 0 error (1) .027 5.4 .20 0
termination-memory-alloca/b.02-alloca_true-termination_true-no-overflow.c.i true .21 26 2.1  2 true 8.0 550 64 2 error (42) .019  1.3  .047 0 unknown .0099 .88 .020  0 error (1) .40 38 3.8 0 error (1) .42 38 4.2 0 timeout 910   4300 12000 0 true .84 29 10   2 error (1) .044 4.8 .11  0 error (1) .040 4.8 .095 0 error (1) .030 4.8 .17  0 error (1) .044 4.8 .12  0 true .34  52 4.0  2 error (1) .068 7.3 .35 0 unknown .082 7.2 .57 0 true 10   510 86 2 error (1) .051 5.4 .14 0 error (1) .028 5.4 .18 0
termination-memory-alloca/b.03-no-inv_assume-alloca_true-termination_true-no-overflow.c.i true .19 26 1.5  2 true 11   770 74 2 error (42) .014  1.2  .038 0 unknown .0066 .92 .023  0 error (1) .40 38 3.3 0 error (1) .40 38 3.9 0 unknown 330   4800 3900 0 true .86 29 11   2 error (1) .018 4.7 .11  0 error (1) .020 4.8 .13  0 error (1) .044 4.7 .12  0 error (1) .029 4.8 .086 0 true 5.0   110 59    2 error (1) .069 7.6 .32 0 unknown .083 7.1 .48 0 true 11   480 78 2 error (1) .043 5.4 .20 0 error (1) .053 5.4 .19 0
termination-memory-alloca/b.03_assume-alloca_true-termination_true-no-overflow.c.i true .19 26 1.7  2 true 11   830 71 2 error (42) .022  1.0  .040 0 unknown .0091 .93 .021  0 error (1) .43 37 3.6 0 error (1) .39 37 3.8 0 unknown 320   4900 3200 0 true .89 29 12   2 error (1) .020 4.7 .099 0 error (1) .027 4.9 .13  0 error (1) .033 4.7 .12  0 error (1) .029 4.9 .13  0 unknown .29  49 4.2  0 error (1) .044 7.5 .39 0 unknown .056 7.2 .57 0 true 11   480 80 2 error (1) .051 5.3 .19 0 error (1) .024 5.5 .23 0
termination-memory-alloca/b.04-alloca_true-termination_true-no-overflow.c.i true .22 29 1.9  2 true 3.7 250 30 2 error (42) .012  1.1  .041 0 unknown .011  .85 .026  0 error (1) .42 38 3.4 0 error (1) .43 38 4.3 0 timeout 910   4300 12000 0 true .88 29 12   2 error (1) .020 4.8 .15  0 error (1) .031 4.8 .11  0 error (1) .020 4.8 .12  0 error (1) .021 4.8 .14  0 true .35  52 3.6  2 error (1) .069 7.2 .31 0 unknown .083 7.1 .50 0 true 11   550 100 2 error (1) .051 5.3 .17 0 error (1) .051 5.2 .15 0
termination-memory-alloca/b.05-alloca_true-termination_true-no-overflow.c.i true .22 26 1.9  2 true 9.5 520 72 2 error (42) .021  1.1  .030 0 unknown .011  1.1  .024  0 error (1) .43 40 4.0 0 error (1) .40 37 4.1 0 timeout 900   4200 13000 0 true .84 29 13   2 error (1) .020 4.8 .16  0 error (1) .032 4.8 .13  0 error (1) .022 4.8 .13  0 error (1) .044 4.7 .17  0 true .44  52 6.0  2 error (1) .042 7.6 .36 0 unknown .055 7.2 .60 0 true 9.8 480 75 2 error (1) .044 5.2 .20 0 error (1) .023 5.2 .20 0
termination-memory-alloca/b.06-alloca_true-termination_true-no-overflow.c.i true .30 28 2.7  2 true 21   1300 130 2 error (42) .013  1.1  .051 0 unknown .0090 .95 .020  0 error (1) .40 38 4.2 0 error (1) .42 37 4.1 0 timeout 910   4400 11000 0 true .84 29 12   2 error (1) .042 4.7 .11  0 error (1) .044 4.8 .14  0 error (1) .020 4.8 .15  0 error (1) .042 4.8 .15  0 true .44  52 4.3  2 error (1) .054 7.1 .41 0 unknown .083 7.4 .46 0 true 11   490 88 2 error (1) .053 5.4 .14 0 error (1) .023 5.4 .13 0
termination-memory-alloca/b.07-alloca_true-termination_true-no-overflow.c.i true .19 26 1.7  2 true 11   750 81 2 error (42) .013  1.4  .046 0 unknown .0096 .97 .022  0 error (1) .43 38 3.5 0 error (1) .43 37 3.8 0 timeout 900   4100 13000 0 true .87 29 9.9 2 error (1) .044 4.8 .090 0 error (1) .021 4.8 .098 0 error (1) .020 4.7 .14  0 error (1) .018 4.8 .18  0 true .58  50 5.8  2 error (1) .070 7.4 .32 0 unknown .083 7.3 .49 0 true 12   490 120 2 error (1) .052 5.4 .13 0 error (1) .050 5.4 .16 0
termination-memory-alloca/b.09-no-inv_assume-alloca_true-termination_true-no-overflow.c.i error (5) .89 36 9.1  0 true 3.7 330 29 2 error (42) .021  1.3  .044 0 unknown .0073 .98 .017  0 error (1) .44 40 3.8 0 error (1) .41 40 4.1 0 timeout 900   4100 12000 0 true .87 29 11   2 error (1) .020 4.8 .15  0 error (1) .042 4.7 .11  0 error (1) .035 4.9 .11  0 error (1) .020 4.7 .16  0 true 2.7   110 42    2 error (1) .057 7.2 .40 0 unknown .078 7.1 .55 0 true 32   660 330 2 error (1) .025 5.2 .20 0 error (1) .054 5.4 .17 0
termination-memory-alloca/b.09_assume-alloca_true-termination_true-no-overflow.c.i true .23 27 2.3  2 true 4.1 320 33 2 error (42) .017  1.6  .041 0 unknown .0081 .82 .027  0 error (1) .41 40 3.9 0 error (1) .43 40 3.9 0 timeout 900   4000 11000 0 true .90 29 11   2 error (1) .044 4.8 .12  0 error (1) .021 4.8 .13  0 error (1) .044 4.7 .10  0 error (1) .044 4.8 .11  0 unknown .44  52 6.4  0 error (1) .033 7.3 .47 0 unknown .066 7.2 .46 0 true 15   530 120 2 error (1) .047 5.3 .16 0 error (1) .057 5.4 .15 0
termination-memory-alloca/b.10-alloca_true-termination_true-no-overflow.c.i true .22 26 2.5  2 true 33   3800 240 2 error (42) .019  1.2  .041 0 unknown .0089 .89 .0077 0 error (1) .45 40 3.9 0 error (1) .41 40 3.7 0 timeout 900   4300 13000 0 true .90 29 12   2 error (1) .026 4.8 .13  0 error (1) .043 4.8 .12  0 error (1) .022 4.8 .14  0 error (1) .046 4.8 .098 0 unknown 1.7   52 24    0 error (1) .047 7.3 .35 0 unknown .053 7.2 .60 0 true 14   610 120 2 error (1) .026 5.5 .21 0 error (1) .025 5.3 .20 0
termination-memory-alloca/b.11-alloca_true-termination_true-no-overflow.c.i true .24 26 2.0  2 error (1) 7.8 440 59 0 error (42) .020  1.3  .048 0 unknown .0096 .78 .018  0 error (1) .42 37 4.0 0 error (1) .42 37 3.5 0 timeout 920   4400 14000 0 true .93 29 11   2 error (1) .019 4.8 .15  0 error (1) .040 4.8 .11  0 error (1) .035 4.7 .15  0 error (1) .020 4.8 .17  0 unknown 2.1   52 22    0 error (1) .059 7.4 .34 0 unknown .083 7.3 .50 0 true 310   1600 3800 2 error (1) .027 5.3 .18 0 error (1) .041 5.4 .28 0
termination-memory-alloca/b.12-alloca_true-termination_true-no-overflow.c.i true .21 26 1.8  2 true 13   860 110 2 error (42) .017  1.3  .062 0 unknown .0089 .65 .022  0 error (1) .43 38 4.0 0 error (1) .43 40 3.8 0 timeout 910   4500 13000 0 true .89 29 9.8 2 error (1) .044 4.8 .12  0 error (1) .036 4.9 .11  0 error (1) .043 4.8 .12  0 error (1) .044 4.8 .13  0 true .46  52 5.0  2 error (1) .065 7.2 .36 0 unknown .074 7.2 .59 0 true 11   480 100 2 error (1) .046 5.4 .17 0 error (1) .026 5.3 .21 0
termination-memory-alloca/b.13-alloca_true-termination_true-no-overflow.c.i true .25 26 2.8  2 true 19   1400 130 2 error (42) .021  1.5  .047 0 unknown .0082 1.1  .031  0 error (1) .42 37 3.5 0 error (1) .42 38 4.1 0 timeout 900   4200 14000 0 true .88 29 12   2 error (1) .031 4.8 .13  0 error (1) .021 4.8 .16  0 error (1) .030 4.7 .15  0 error (1) .044 4.7 .16  0 true .67  52 7.8  2 error (1) .063 7.4 .33 0 unknown .083 7.3 .61 0 true 16   540 140 2 error (1) .049 5.4 .14 0 error (1) .026 5.4 .20 0
termination-memory-alloca/b.14-alloca_true-termination_true-no-overflow.c.i true .47 34 5.2  2 true 16   1300 120 2 error (42) .013  1.1  .043 0 unknown .010  .92 .018  0 error (1) .43 40 3.7 0 error (1) .41 37 3.7 0 timeout 910   4400 12000 0 true 1.4  31 19   2 error (1) .045 4.8 .14  0 error (1) .042 4.8 .083 0 error (1) .044 4.8 .14  0 error (1) .043 4.8 .15  0 unknown 3.8   62 48    0 error (1) .064 7.2 .44 0 unknown .062 7.2 .50 0 true 14   580 130 2 error (1) .051 5.4 .14 0 error (1) .052 5.3 .14 0
termination-memory-alloca/b.15-alloca_true-termination_true-no-overflow.c.i true .39 32 4.1  2 true 9.4 730 62 2 error (42) .012  1.2  .046 0 unknown .0086 .98 .017  0 error (1) .43 40 4.0 0 error (1) .40 38 3.7 0 timeout 900   4200 11000 0 true 1.3  29 20   2 error (1) .018 4.8 .17  0 error (1) .022 4.8 .11  0 error (1) .021 4.8 .15  0 error (1) .022 4.8 .17  0 unknown 4.5   67 50    0 error (1) .057 7.3 .34 0 unknown .082 7.3 .48 0 true 15   530 130 2 error (1) .051 5.4 .16 0 error (1) .050 5.3 .14 0
termination-memory-alloca/b.16-alloca_true-termination_true-no-overflow.c.i true .23 26 2.6  2 true 15   1200 97 2 error (42) .022  1.4  .042 0 unknown .010  .88 .017  0 error (1) .42 40 3.8 0 error (1) .40 40 3.7 0 timeout 910   4500 11000 0 true 1.1  29 13   2 error (1) .018 4.8 .15  0 error (1) .032 4.8 .12  0 error (1) .034 4.8 .12  0 error (1) .046 4.8 .13  0 true .39  52 5.0  2 error (1) .041 7.1 .41 0 unknown .079 7.3 .58 0 true 14   640 130 2 error (1) .051 5.3 .17 0 error (1) .051 5.3 .15 0
termination-memory-alloca/b.17-alloca_true-termination_true-no-overflow.c.i true .23 26 1.8  2 true 16   1200 110 2 error (42) .013  1.3  .039 0 unknown .0079 1.1  .024  0 error (1) .43 38 4.0 0 error (1) .39 38 4.0 0 timeout 900   4300 12000 0 true 1.2  29 13   2 error (1) .043 4.7 .12  0 error (1) .023 4.8 .16  0 error (1) .043 4.8 .10  0 error (1) .030 4.7 .13  0 unknown 5.1   72 64    0 error (1) .066 7.2 .31 0 unknown .083 7.2 .54 0 true 17   540 150 2 error (1) .027 5.4 .16 0 error (1) .054 5.2 .16 0
termination-memory-alloca/b.18-alloca_true-termination_true-no-overflow.c.i true .34 28 2.9  2 true 11   740 87 2 error (42) .012  1.2  .072 0 unknown .010  1.1  .015  0 error (1) .45 40 3.6 0 error (1) .41 38 3.3 0 timeout 900   4900 11000 0 true 1.4  29 17   2 error (1) .044 4.8 .12  0 error (1) .031 4.8 .11  0 error (1) .021 4.7 .15  0 error (1) .031 4.8 .099 0 unknown 7.5   82 94    0 error (1) .038 7.3 .44 0 unknown .082 7.2 .58 0 true 35   550 360 2 error (1) .051 5.4 .16 0 error (1) .023 5.4 .19 0
termination-memory-alloca/bubblesort-alloca_true-termination.c.i true .36 30 3.7  2 true 170   3600 1900 2 error (42) .022  1.4  .041 0 unknown .0098 .87 .019  0 error (1) .44 40 3.8 0 error (1) .43 38 3.9 0 true 9.1 480 72 2 true 4.8  93 69   2 error (1) .021 4.8 .14  0 error (1) .031 4.8 .16  0 error (1) .044 4.7 .14  0 error (1) .046 4.8 .14  0 unknown 82     15000 990    0 error (1) .059 7.3 .39 0 unknown .083 7.3 .51 0 true 12   590 99 2 error (1) .027 5.4 .19 0 error (1) .043 5.3 .20 0
termination-memory-alloca/c.01-no-inv-alloca_true-termination_true-no-overflow.c.i error (5) .27 27 2.7  0 true 30   2400 220 2 error (42) .014  1.1  .058 0 unknown .010  .93 .013  0 error (1) .42 38 3.9 0 error (1) .40 37 3.6 0 timeout 900   4100 11000 0 true 1.2  29 14   2 error (1) .019 4.7 .048 0 error (1) .043 4.8 .14  0 error (1) .031 4.8 .12  0 error (1) .041 4.8 .13  0 unknown 4.6   63 55    0 error (1) .065 7.4 .28 0 unknown .053 7.3 .65 0 error (1) 610   13000 7400 0 error (1) .040 5.4 .22 0 error (1) .025 5.4 .17 0
termination-memory-alloca/c.01_assume-alloca_true-termination_true-no-overflow.c.i true .27 27 2.4  2 true 29   2500 180 2 error (42) .021  1.4  .038 0 unknown .0073 .88 .020  0 error (1) .40 37 3.7 0 error (1) .44 40 4.0 0 timeout 900   5000 13000 0 true 1.3  29 15   2 error (1) .044 4.8 .14  0 error (1) .019 4.8 .15  0 error (1) .044 4.9 .12  0 error (1) .033 4.8 .16  0 unknown .29  52 2.9  0 error (1) .069 7.3 .35 0 unknown .084 7.2 .64 0 error (1) 540   1800 5800 0 error (1) .047 5.3 .15 0 error (1) .051 5.4 .16 0
termination-memory-alloca/c.02-alloca_true-termination_true-no-overflow.c.i true .22 26 1.9  2 true 24   3300 180 2 error (42) .019  1.2  .048 0 unknown .010  .88 .015  0 error (1) .43 37 3.9 0 error (1) .41 39 4.1 0 timeout 900   4300 12000 0 true 1.1  29 15   2 error (1) .020 4.8 .15  0 error (1) .030 4.8 .15  0 error (1) .020 4.8 .15  0 error (1) .045 4.8 .14  0 true 1.5   52 18    2 error (1) .069 7.5 .29 0 unknown .055 7.2 .60 0 true 60   1700 680 2 error (1) .027 5.4 .18 0 error (1) .050 5.5 .15 0
termination-memory-alloca/c.03-alloca_true-termination_true-no-overflow.c.i true .19 28 2.2  2 true 25   1500 180 2 error (42) .019  1.2  .051 0 unknown .010  .88 .021  0 error (1) .41 39 3.8 0 error (1) .41 40 4.2 0 timeout 900   4100 12000 0 true .86 29 10   2 error (1) .020 4.8 .13  0 error (1) .042 4.8 .14  0 error (1) .030 4.7 .078 0 error (1) .023 4.8 .12  0 true .81  51 9.2  2 error (1) .062 7.3 .35 0 unknown .084 7.3 .52 0 true 46   790 500 2 error (1) .027 5.6 .23 0 error (1) .049 5.4 .17 0
termination-memory-alloca/c.07-alloca_true-termination_true-no-overflow.c.i true .34 28 3.1  2 true 14   1300 120 2 error (42) .016  1.2  .052 0 unknown .0087 .85 .014  0 error (1) .40 37 3.4 0 error (1) .42 38 3.8 0 timeout 910   4300 12000 0 true .88 29 10   2 error (1) .030 4.8 .12  0 error (1) .021 4.8 .14  0 error (1) .044 4.8 .13  0 error (1) .023 4.7 .11  0 true 1.2   53 13    2 error (1) .066 7.0 .29 0 unknown .077 7.3 .57 0 true 15   690 140 2 error (1) .027 5.3 .19 0 error (1) .051 5.3 .14 0
termination-memory-alloca/c.08-alloca_true-termination_true-no-overflow.c.i true .29 27 2.5  2 true 24   3000 160 2 error (42) .012  1.1  .050 0 unknown .0091 1.0  .020  0 error (1) .43 40 3.8 0 error (1) .41 37 3.7 0 timeout 900   4200 14000 0 true 1.2  29 15   2 error (1) .044 4.8 .13  0 error (1) .040 4.7 .094 0 error (1) .021 4.8 .12  0 error (1) .044 4.8 .13  0 unknown 2.9   58 33    0 error (1) .069 7.2 .34 0 unknown .083 7.3 .51 0 timeout 900   13000 10000 0 error (1) .025 5.3 .18 0 error (1) .043 5.4 .16 0
termination-memory-alloca/count_down-alloca_true-termination.c.i true .37 30 4.0  2 true 110   4600 750 2 error (42) .019  1.2  .043 0 unknown .0089 .85 .024  0 error (1) .40 38 3.6 0 error (1) .42 38 3.8 0 unknown 22   900 190 0 true 3.0  49 34   2 error (1) .044 4.8 .15  0 error (1) .027 4.7 .21  0 error (1) .046 4.8 .15  0 error (1) .021 4.7 .11  0 unknown 1.3   52 15    0 error (1) .065 7.1 .34 0 unknown .054 7.3 .56 0 true 13   540 120 2 error (1) .051 5.3 .16 0 error (1) .052 5.5 .15 0
termination-memory-alloca/cstrcat-alloca_true-termination.c.i error (5) .19 26 1.8  0 timeout 910   14000 4500 0 error (42) .013  1.3  .040 0 unknown .010  .80 .019  0 error (1) .39 37 3.8 0 error (1) .43 40 4.2 0 timeout 900   5100 11000 0 unknown 110    35 1400   0 error (1) .019 4.8 .15  0 error (1) .019 4.8 .15  0 error (1) .021 4.8 .095 0 error (1) .020 4.9 .13  0 unknown 3.7   74 48    0 error (1) .056 7.4 .40 0 unknown .081 7.2 .52 0 true 12   480 97 2 error (1) .051 5.3 .14 0 error (1) .025 5.3 .22 0
termination-memory-alloca/cstrchr-alloca_true-termination.c.i error (5) .18 26 1.4  0 true 12   770 83 2 error (42) .021  1.3  .045 0 unknown .010  .77 .015  0 error (1) .44 40 3.6 0 error (1) .40 39 4.0 0 unknown 64   3900 570 0 true 1.0  29 12   2 error (1) .021 4.8 .15  0 error (1) .018 4.8 .17  0 error (1) .037 4.8 .12  0 error (1) .020 4.8 .11  0 unknown 23     130 350    0 error (1) .071 7.4 .31 0 unknown .083 7.2 .56 0 true 10   480 78 2 error (1) .053 5.3 .15 0 error (1) .026 5.4 .22 0
termination-memory-alloca/cstrcmp-alloca_true-termination.c.i error (5) .18 26 1.7  0 true 23   2100 160 2 error (42) .012  1.3  .039 0 unknown .0090 .79 .019  0 error (1) .39 38 3.6 0 error (1) .43 41 3.9 0 timeout 900   3000 12000 0 true 1.0  29 13   2 error (1) .043 4.8 .10  0 error (1) .017 4.9 .13  0 error (1) .021 4.7 .11  0 error (1) .034 4.8 .12  0 unknown 12     300 150    0 error (1) .071 7.1 .29 0 unknown .079 7.2 .47 0 true 10   480 81 2 error (1) .050 5.5 .20 0 error (1) .025 5.5 .16 0
termination-memory-alloca/cstrcpy-alloca_true-termination.c.i error (5) .17 26 1.7  0 true 92   3500 1300 2 error (42) .012  1.1  .052 0 unknown .0089 .97 .032  0 error (1) .44 40 3.9 0 error (1) .41 37 4.0 0 timeout 900   3900 13000 0 unknown 90    29 1200   0 error (1) .028 4.9 .21  0 error (1) .018 4.8 .11  0 error (1) .018 4.8 .17  0 error (1) .044 4.8 .11  0 unknown .99  50 14    0 error (1) .069 7.4 .32 0 unknown .079 7.3 .53 0 true 9.5 470 83 2 error (1) .051 5.4 .15 0 error (1) .051 5.4 .19 0
termination-memory-alloca/cstrcspn-alloca_true-termination.c.i error (5) .26 29 2.4  0 true 92   4700 640 2 error (42) .019  1.1  .041 0 unknown .0091 .76 .019  0 error (1) .41 37 3.8 0 error (1) .41 37 3.8 0 timeout 900   3700 12000 0 true 1.7  29 20   2 error (1) .021 4.7 .15  0 error (1) .034 4.8 .099 0 error (1) .020 4.8 .16  0 error (1) .043 4.7 .11  0 unknown .16  42 1.4  0 error (1) .069 7.2 .33 0 unknown .075 7.3 .61 0 true 73   600 850 2 error (1) .025 5.4 .17 0 error (1) .055 5.3 .15 0
termination-memory-alloca/cstrlen-alloca_true-termination.c.i error (5) .17 26 1.5  0 true 9.7 490 67 2 error (42) .021  1.5  .048 0 unknown .010  1.1  .021  0 error (1) .40 38 3.5 0 error (1) .40 37 4.1 0 unknown 90   3900 770 0 true 1.0  29 12   2 error (1) .030 4.7 .15  0 error (1) .034 4.8 .13  0 error (1) .019 4.8 .12  0 error (1) .019 4.8 .18  0 unknown .13  42 1.5  0 error (1) .068 7.3 .33 0 unknown .059 7.2 .59 0 true 8.3 440 61 2 error (1) .025 5.3 .24 0 error (1) .024 5.4 .23 0
termination-memory-alloca/cstrncat-alloca_true-termination.c.i error (5) .48 33 5.6  0 error (1) 81   3200 730 0 error (42) .018  1.1  .042 0 unknown .0072 .88 .015  0 error (1) .40 37 3.6 0 error (1) .41 40 3.9 0 timeout 910   5700 13000 0 true 1.1  29 12   2 error (1) .018 4.8 .15  0 error (1) .046 4.7 .10  0 error (1) .034 4.8 .12  0 error (1) .045 4.8 .12  0 unknown 3.1   74 37    0 error (1) .067 7.3 .34 0 unknown .055 7.2 .52 0 true 10   490 81 2 error (1) .046 5.4 .16 0 error (1) .051 5.4 .14 0
termination-memory-alloca/cstrncmp-alloca_true-termination.c.i true .25 27 2.3  2 true 27   2300 240 2 error (42) .015  1.2  .042 0 unknown .0090 .89 .022  0 error (1) .43 40 4.3 0 error (1) .38 38 4.0 0 timeout 900   3000 12000 0 unknown 120    62 1500   0 error (1) .019 4.8 .13  0 error (1) .044 5.0 .13  0 error (1) .045 4.8 .080 0 error (1) .035 4.8 .15  0 unknown .39  52 5.1  0 error (1) .045 7.3 .36 0 unknown .081 7.3 .53 0 true 10   480 82 2 error (1) .027 5.3 .21 0 error (1) .039 5.5 .19 0
termination-memory-alloca/cstrncpy-alloca_true-termination.c.i error (5) .58 34 6.2  0 timeout 910   11000 6700 0 error (42) .017  1.2  .036 0 unknown .0093 .90 .020  0 error (1) .42 40 3.9 0 error (1) .40 37 3.9 0 timeout 900   6100 10000 0 timeout 900    870 11000   0 error (1) .045 4.8 .11  0 error (1) .021 4.8 .15  0 error (1) .021 4.8 .13  0 error (1) .036 4.8 .12  0 unknown .33  52 4.8  0 error (1) .063 7.3 .32 0 unknown .060 7.1 .59 0 true 14   510 100 2 error (1) .054 5.4 .15 0 error (1) .026 5.4 .15 0
termination-memory-alloca/cstrpbrk-alloca_true-termination.c.i error (5) .24 27 2.0  0 true 46   3100 350 2 error (42) .016  1.1  .039 0 unknown .010  .93 .021  0 error (1) .44 40 3.7 0 error (1) .40 38 3.9 0 timeout 900   3700 12000 0 true 1.6  29 20   2 error (1) .017 4.8 .16  0 error (1) .021 4.8 .16  0 error (1) .017 4.8 .17  0 error (1) .019 4.8 .15  0 unknown 24     130 330    0 error (1) .044 7.3 .38 0 unknown .084 7.3 .56 0 true 16   710 140 2 error (1) .029 5.3 .19 0 error (1) .025 5.3 .17 0
termination-memory-alloca/cstrspn-alloca_true-termination.c.i error (5) .22 29 2.0  0 true 52   5300 370 2 error (42) .012  1.2  .060 0 unknown .0094 .85 .019  0 error (1) .44 40 3.9 0 error (1) .42 38 4.8 0 timeout 900   3700 12000 0 true 1.7  29 22   2 error (1) .019 4.8 .14  0 error (1) .021 4.7 .11  0 error (1) .043 4.8 .096 0 error (1) .044 4.8 .12  0 unknown .17  42 1.5  0 error (1) .045 7.2 .37 0 unknown .057 7.2 .54 0 true 17   540 170 2 error (1) .051 5.4 .16 0 error (1) .060 5.3 .15 0
termination-memory-alloca/diff-alloca_true-termination.c.i true .35 31 3.9  2 true 56   3600 480 2 error (42) .014  1.2  .032 0 unknown .0051 .88 .016  0 error (1) .44 40 3.5 0 error (1) .42 40 3.8 0 true 54   2700 450 2 true 2.5  40 30   2 error (1) .019 4.8 .13  0 error (1) .021 4.7 .12  0 error (1) .018 4.8 .12  0 error (1) .040 4.7 .11  0 unknown 22     890 340    0 error (1) .061 7.5 .35 0 unknown .054 7.3 .58 0 true 18   710 180 2 error (1) .025 5.3 .19 0 error (1) .025 5.3 .16 0
termination-memory-alloca/easySum-alloca_true-termination.c.i true .24 26 2.4  2 true 87   1900 900 2 error (42) .022  1.1  .051 0 unknown .0075 .80 .033  0 error (1) .40 38 3.7 0 error (1) .39 38 4.1 0 timeout 910   4600 12000 0 true .85 29 11   2 error (1) .020 4.8 .15  0 error (1) .019 4.7 .12  0 error (1) .020 4.8 .12  0 error (1) .023 4.8 .11  0 true .39  50 4.1  2 error (1) .060 7.1 .37 0 unknown .055 7.3 .54 0 true 9.2 460 86 2 error (1) .047 5.3 .18 0 error (1) .024 5.4 .22 0
termination-memory-alloca/ex1-alloca_true-termination.c.i true .25 27 2.9  2 true 8.2 630 67 2 error (42) .010  .97 .033 0 unknown .010  .83 .017  0 error (1) .39 38 3.7 0 error (1) .39 38 4.1 0 timeout 900   4300 13000 0 true .87 29 11   2 error (1) .040 4.7 .10  0 error (1) .030 4.8 .16  0 error (1) .020 4.8 .082 0 error (1) .043 4.9 .16  0 true .71  52 7.9  2 error (1) .069 7.4 .30 0 unknown .083 7.1 .55 0 true 22   490 220 2 error (1) .041 5.3 .22 0 error (1) .044 5.5 .19 0
termination-memory-alloca/ex2-alloca_true-termination.c.i error (5) .79 38 10    0 timeout 910   6100 5700 0 error (42) .015  1.4  .031 0 unknown .0070 .87 .021  0 error (1) .43 40 3.8 0 error (1) .40 37 3.5 0 timeout 910   4300 12000 0 true .93 29 9.6 2 error (1) .019 4.8 .16  0 error (1) .024 4.8 .18  0 error (1) .019 4.8 .14  0 error (1) .045 4.8 .095 0 true 2.3   69 23    2 error (1) .043 7.2 .46 0 unknown .054 7.2 .62 0 unknown 51   1400 440 0 error (1) .045 5.3 .16 0 error (1) .053 5.3 .16 0
termination-memory-alloca/ex3a-alloca_true-termination_true-no-overflow.c.i true .26 29 2.5  2 true 10   760 67 2 error (42) .023  1.5  .055 0 unknown .011  .89 .025  0 error (1) .40 37 3.7 0 error (1) .41 39 4.3 0 timeout 900   3900 12000 0 true .86 29 9.5 2 error (1) .020 4.9 .14  0 error (1) .036 4.7 .098 0 error (1) .021 4.7 .14  0 error (1) .046 4.8 .15  0 true .29  50 3.2  2 error (1) .057 7.5 .40 0 unknown .060 7.2 .58 0 unknown 22   850 170 0 error (1) .049 5.4 .15 0 error (1) .050 5.3 .16 0
termination-memory-alloca/ex3b-alloca_true-termination.c.i error (5) .74 37 9.1  0 true 20   1300 140 2 error (42) .021  1.3  .036 0 unknown .010  .83 .018  0 error (1) .39 40 4.0 0 error (1) .38 37 4.2 0 timeout 910   4400 11000 0 true .88 29 11   2 error (1) .021 4.8 .095 0 error (1) .019 4.8 .15  0 error (1) .044 4.7 .092 0 error (1) .021 4.8 .13  0 true .46  50 6.3  2 error (1) .069 7.2 .32 0 unknown .084 7.1 .53 0 unknown 26   880 190 0 error (1) .051 5.4 .16 0 error (1) .051 5.4 .14 0
termination-memory-alloca/fermat-alloca_true-termination.c.i true 96    160 1200    2 true 120   4600 910 2 error (42) .018  1.4  .037 0 unknown .0083 .87 .020  0 error (1) .41 38 4.2 0 error (1) .40 37 3.9 0 timeout 900   4100 11000 0 true .87 29 9.6 2 error (1) .021 4.8 .095 0 error (1) .021 4.9 .15  0 error (1) .019 4.8 .12  0 error (1) .022 4.7 .12  0 unknown 24     61 300    0 error (1) .070 7.2 .34 0 unknown .083 7.3 .45 0 timeout 900   1600 11000 0 error (1) .026 5.4 .20 0 error (1) .049 5.3 .18 0
termination-memory-alloca/flag-alloca_true-termination.c.i error (5) 6.8  45 97    0 true 18   1300 140 2 error (42) .013  1.0  .030 0 unknown .0032 1.1  .032  0 error (1) .44 40 3.9 0 error (1) .40 38 3.7 0 timeout 900   4100 12000 0 true .87 29 11   2 error (1) .045 4.8 .090 0 error (1) .022 4.8 .15  0 error (1) .020 4.8 .12  0 error (1) .043 4.8 .13  0 true .73  52 8.4  2 error (1) .068 7.4 .28 0 unknown .056 7.2 .56 0 true 27   1100 240 2 error (1) .052 5.5 .13 0 error (1) .026 5.4 .20 0
termination-memory-alloca/gcd1-alloca_true-termination.c.i true .29 27 2.6  2 true 75   4300 460 2 error (42) .021  1.1  .044 0 unknown .010  1.0  .023  0 error (1) .43 39 3.9 0 error (1) .39 38 4.0 0 timeout 900   4100 12000 0 true 1.2  29 13   2 error (1) .021 4.7 .14  0 error (1) .031 4.8 .14  0 error (1) .020 4.7 .13  0 error (1) .031 4.8 .087 0 unknown 5.9   68 65    0 error (1) .065 7.5 .29 0 unknown .082 7.2 .48 0 true 27   760 260 2 error (1) .025 5.4 .14 0 error (1) .051 5.4 .17 0
termination-memory-alloca/genady-alloca_true-termination.c.i true .27 27 2.7  2 timeout 900   2900 11000 0 error (42) .012  1.3  .039 0 unknown .0089 .93 .021  0 error (1) .42 41 4.2 0 error (1) .41 38 3.5 0 timeout 900   3900 12000 0 true .84 29 11   2 error (1) .021 4.8 .13  0 error (1) .018 4.8 .17  0 error (1) .045 4.8 .080 0 error (1) .019 4.7 .15  0 true .23  48 2.5  2 error (1) .058 7.6 .35 0 unknown .085 7.2 .56 0 true 10   480 88 2 error (1) .049 5.3 .19 0 error (1) .051 5.4 .18 0
termination-memory-alloca/insertionsort-alloca_true-termination.c.i true .40 29 4.1  2 true 120   3200 1000 2 error (42) .019  1.1  .048 0 unknown .0091 .91 .014  0 error (1) .46 40 3.9 0 error (1) .40 37 4.2 0 true 32   1400 260 2 true 2.2  36 30   2 error (1) .020 4.8 .17  0 error (1) .019 4.8 .15  0 error (1) .044 4.8 .13  0 error (1) .045 4.8 .15  0 unknown 21     400 220    0 error (1) .046 7.2 .29 0 unknown .057 7.4 .61 0 true 12   490 93 2 error (1) .052 5.3 .16 0 error (1) .022 5.4 .19 0
termination-memory-alloca/java_AG313-alloca_true-termination.c.i true .24 28 2.1  2 true 27   2400 190 2 error (42) .022  1.3  .035 0 unknown .0068 .65 .023  0 error (1) .42 37 3.7 0 error (1) .38 37 3.9 0 timeout 920   4300 13000 0 true .86 29 9.4 2 error (1) .030 4.8 .12  0 error (1) .022 4.7 .12  0 error (1) .045 4.8 .11  0 error (1) .021 4.8 .10  0 true .55  56 5.9  2 error (1) .066 7.1 .35 0 unknown .056 7.0 .55 0 true 10   480 87 2 error (1) .034 5.6 .12 0 error (1) .052 5.4 .15 0
termination-memory-alloca/java_Break-alloca_true-termination.c.i true .21 28 2.1  2 true 6.5 480 51 2 error (42) .021  1.2  .037 0 unknown .010  1.0  .011  0 error (1) .44 37 3.8 0 error (1) .39 38 3.4 0 timeout 900   4000 12000 0 true .84 29 11   2 error (1) .044 4.7 .10  0 error (1) .019 4.8 .12  0 error (1) .044 4.7 .12  0 error (1) .020 4.8 .15  0 true .25  48 2.6  2 error (1) .046 7.5 .37 0 unknown .084 6.9 .56 0 true 9.9 490 74 2 error (1) .030 5.4 .19 0 error (1) .027 5.4 .16 0
termination-memory-alloca/java_BubbleSort-alloca_true-termination.c.i true .38 31 4.1  2 error (1) 190   2300 2300 0 error (42) .016  1.4  .034 0 unknown .010  .72 .022  0 error (1) .43 38 3.5 0 error (1) .40 40 4.0 0 true 14   630 100 2 true 7.3  120 91   2 error (1) .037 4.8 .12  0 error (1) .022 4.8 .075 0 error (1) .018 4.8 .15  0 error (1) .020 4.8 .12  0 unknown 82     15000 950    0 error (1) .047 7.3 .43 0 unknown .083 7.3 .52 0 true 13   490 110 2 error (1) .053 5.5 .19 0 error (1) .050 5.3 .16 0
termination-memory-alloca/java_Continue1-alloca_true-termination.c.i true .21 26 2.4  2 true 9.8 810 70 2 error (42) .014  1.5  .044 0 unknown .0049 .72 .015  0 error (1) .42 37 3.6 0 error (1) .41 40 3.9 0 timeout 900   3700 12000 0 true .85 29 11   2 error (1) .021 4.7 .094 0 error (1) .018 4.8 .17  0 error (1) .043 4.8 .11  0 error (1) .021 4.8 .095 0 true .28  50 2.9  2 error (1) .069 7.2 .32 0 unknown .058 7.4 .50 0 true 450   7900 5500 2 error (1) .051 5.4 .17 0 error (1) .041 5.4 .26 0
termination-memory-alloca/java_LogBuiltIn-alloca_true-termination.c.i true .27 27 2.2  2 true 8.3 500 65 2 error (42) .013  1.4  .048 0 unknown .010  1.0  .031  0 error (1) .41 40 4.1 0 error (1) .43 40 4.2 0 timeout 900   3900 13000 0 true .86 29 8.9 2 error (1) .033 4.8 .13  0 error (1) .017 4.8 .15  0 error (1) .020 4.9 .13  0 error (1) .022 4.8 .15  0 true .25  50 2.7  2 error (1) .071 7.1 .30 0 unknown .083 7.3 .51 0 true 9.9 510 68 2 error (1) .024 5.3 .17 0 error (1) .032 5.3 .20 0
termination-memory-alloca/java_Nested-alloca_true-termination.c.i true .34 29 4.0  2 true 30   3100 230 2 error (42) .017  1.4  .040 0 unknown .0090 .86 .022  0 error (1) .45 40 3.9 0 error (1) .41 38 3.8 0 timeout 900   4100 13000 0 true .88 29 10   2 error (1) .046 4.9 .13  0 error (1) .020 4.7 .085 0 error (1) .022 4.8 .11  0 error (1) .021 4.8 .16  0 true .40  50 4.0  2 error (1) .066 7.4 .33 0 unknown .054 7.1 .74 0 error (1) 40   7700 360 0 error (1) .051 5.5 .15 0 error (1) .028 5.4 .21 0
termination-memory-alloca/java_Sequence-alloca_true-termination.c.i true .29 31 3.7  2 true 10   780 75 2 error (42) .020  1.4  .047 0 unknown .0081 .80 .020  0 error (1) .43 39 3.9 0 error (1) .43 37 4.3 0 timeout 900   4300 12000 0 true .81 29 10   2 error (1) .044 4.7 .11  0 error (1) .036 4.7 .087 0 error (1) .046 4.7 .12  0 error (1) .039 4.8 .13  0 true .36  50 4.1  2 error (1) .066 7.2 .32 0 unknown .083 7.1 .53 0 timeout 900   1300 12000 0 error (1) .051 5.4 .17 0 error (1) .052 5.4 .16 0
termination-memory-alloca/lis-alloca_true-termination.c.i timeout 900    360 10000    0 timeout 900   2900 12000 0 error (42) .018  1.3  .049 0 unknown .0070 .89 .023  0 error (1) .42 37 3.7 0 error (1) .41 37 3.7 0 timeout 900   4200 10000 0 true 3.6  110 43   2 error (1) .022 4.8 .13  0 error (1) .033 4.7 .15  0 error (1) .044 4.7 .12  0 error (1) .019 4.8 .19  0 unknown 21     450 240    0 error (1) .067 7.2 .28 0 unknown .081 7.3 .55 0 error (1) 770   12000 9600 0 error (1) .023 5.3 .24 0 error (1) .052 5.4 .15 0
termination-memory-alloca/min_rf-alloca_true-termination.c.i error (5) 2.3  44 30    0 true 91   3200 760 2 error (42) .017  1.3  .049 0 unknown .0093 .78 .023  0 error (1) .44 40 3.6 0 error (1) .41 40 4.2 0 timeout 900   4100 10000 0 true .91 29 13   2 error (1) .021 4.7 .13  0 error (1) .021 4.7 .097 0 error (1) .044 4.8 .14  0 error (1) .018 4.8 .12  0 true .96  52 11    2 error (1) .069 7.4 .33 0 unknown .056 7.2 .58 0 error (1) 320   11000 4100 0 error (1) .050 5.3 .20 0 error (1) .041 5.5 .24 0
termination-memory-alloca/mult_array-alloca_true-termination.c.i true .34 29 3.4  2 error (1) 54   2900 550 0 error (42) .021  .99 .042 0 unknown .0089 .89 .018  0 error (1) .40 37 4.3 0 error (1) .38 37 4.0 0 timeout 920   4600 12000 0 true 1.2  29 14   2 error (1) .034 4.8 .13  0 error (1) .020 4.7 .13  0 error (1) .041 4.8 .12  0 error (1) .044 4.8 .12  0 unknown 2.3   73 23    0 error (1) .069 7.3 .28 0 unknown .057 7.1 .59 0 true 15   530 140 2 error (1) .026 5.3 .18 0 error (1) .047 5.4 .19 0
termination-memory-alloca/openbsd_cbzero-alloca_true-termination.c.i true .60 30 7.7  2 true 12   930 82 2 error (42) .021  .96 .049 0 unknown .0083 .72 .029  0 error (1) .40 38 3.4 0 error (1) .43 41 4.0 0 true 8.4 470 73 2 unknown 81    30 950   0 error (1) .022 4.8 .087 0 error (1) .038 4.8 .11  0 error (1) .014 4.8 .091 0 error (1) .031 4.8 .20  0 unknown .31  52 3.7  0 error (1) .055 7.5 .27 0 unknown .055 7.3 .58 0 true 8.9 480 62 2 error (1) .053 5.3 .18 0 error (1) .051 5.4 .17 0
termination-memory-alloca/openbsd_cmemchr-alloca_true-termination.c.i true .40 27 3.9  2 true 22   1400 160 2 error (42) .012  1.3  .043 0 unknown .0066 .73 .0070 0 error (1) .39 37 3.7 0 error (1) .42 40 3.6 0 true 9.8 480 71 2 unknown 89    33 1100   0 error (1) .044 4.8 .11  0 error (1) .021 4.7 .12  0 error (1) .043 4.8 .097 0 error (1) .018 4.7 .16  0 unknown 2.2   110 32    0 error (1) .069 7.3 .35 0 unknown .053 7.3 .71 0 true 9.3 470 67 2 error (1) .046 5.4 .15 0 error (1) .041 5.4 .18 0
termination-memory-alloca/openbsd_cmemrchr-alloca_true-termination.c.i true .34 27 3.8  2 true 25   2400 180 2 error (42) .022  1.4  .036 0 unknown .0093 .92 .019  0 error (1) .39 37 3.6 0 error (1) .44 40 3.9 0 true 7.1 460 55 2 unknown 82    29 1200   0 error (1) .019 4.8 .10  0 error (1) .023 4.8 .14  0 error (1) .043 4.8 .12  0 error (1) .022 4.8 .14  0 unknown .16  42 1.4  0 error (1) .075 7.2 .29 0 unknown .083 7.2 .52 0 true 9.2 470 66 2 error (1) .044 5.4 .16 0 error (1) .054 5.5 .14 0
termination-memory-alloca/openbsd_cmemset-alloca_true-termination.c.i error (8) .17 26 1.4  0 true 23   1400 150 2 error (42) .013  1.2  .040 0 unknown .010  .75 .021  0 error (1) .41 37 4.0 0 error (1) .43 38 3.7 0 true 6.2 380 50 2 unknown 80    29 940   0 error (1) .018 4.9 .12  0 error (1) .021 4.7 .11  0 error (1) .021 4.8 .12  0 error (1) .021 4.8 .10  0 unknown .33  52 4.3  0 error (1) .069 7.3 .33 0 unknown .055 7.2 .63 0 true 8.5 470 71 2 error (1) .055 5.5 .18 0 error (1) .049 5.4 .15 0
termination-memory-alloca/openbsd_cstpcpy-alloca_true-termination.c.i error (5) .19 26 1.6  0 true 79   3600 890 2 error (42) .012  1.3  .041 0 unknown .0090 .73 .024  0 error (1) .42 37 3.8 0 error (1) .41 37 4.0 0 timeout 900   3900 11000 0 unknown 86    30 1200   0 error (1) .020 4.7 .15  0 error (1) .044 4.8 .12  0 error (1) .031 4.8 .12  0 error (1) .045 4.8 .10  0 unknown 10     240 120    0 error (1) .066 7.2 .32 0 unknown .084 7.3 .53 0 true 9.7 470 86 2 error (1) .052 5.3 .17 0 error (1) .046 5.5 .20 0
termination-memory-alloca/openbsd_cstpncpy-alloca_true-termination.c.i true .67 31 7.2  2 true 84   3800 750 2 error (42) .016  1.4  .037 0 unknown .0092 .92 .020  0 error (1) .42 40 4.0 0 error (1) .42 37 3.6 0 timeout 900   6000 10000 0 timeout 900    820 13000   0 error (1) .018 4.7 .13  0 error (1) .022 4.8 .16  0 error (1) .019 4.7 .15  0 error (1) .019 4.8 .13  0 unknown .14  42 1.4  0 error (1) .064 7.4 .37 0 unknown .083 7.2 .51 0 true 27   700 300 2 error (1) .026 5.3 .22 0 error (1) .028 5.3 .21 0
termination-memory-alloca/openbsd_cstrcat-alloca_true-termination.c.i error (5) .18 26 1.7  0 timeout 910   14000 5100 0 error (42) .020  1.3  .038 0 unknown .0098 .67 .017  0 error (1) .40 38 4.1 0 error (1) .41 40 3.9 0 timeout 900   5900 11000 0 unknown 100    35 1400   0 error (1) .022 4.8 .12  0 error (1) .019 4.7 .15  0 error (1) .045 4.8 .12  0 error (1) .020 4.7 .16  0 unknown 3.7   74 48    0 error (1) .072 7.2 .32 0 unknown .073 7.3 .49 0 true 14   500 100 2 error (1) .046 5.4 .19 0 error (1) .050 5.4 .16 0
termination-memory-alloca/openbsd_cstrcmp-alloca_true-termination.c.i error (5) .18 26 1.8  0 true 21   2200 160 2 error (42) .011  1.1  .042 0 unknown .0090 1.0  .024  0 error (1) .42 39 3.8 0 error (1) .40 38 3.5 0 unknown 780   4200 11000 0 unknown 100    41 1300   0 error (1) .022 4.8 .14  0 error (1) .042 4.8 .11  0 error (1) .020 4.8 .10  0 error (1) .035 4.8 .17  0 unknown .36  52 4.5  0 error (1) .044 7.4 .37 0 unknown .077 7.1 .59 0 true 10   470 77 2 error (1) .051 5.4 .15 0 error (1) .027 5.3 .22 0
termination-memory-alloca/openbsd_cstrcpy-alloca_true-termination.c.i error (5) .21 26 1.5  0 true 100   3600 1100 2 error (42) .012  .96 .055 0 unknown .0075 .93 .025  0 error (1) .40 38 3.7 0 error (1) .40 38 4.0 0 timeout 900   3700 12000 0 unknown 86    37 1100   0 error (1) .041 4.8 .14  0 error (1) .018 4.8 .15  0 error (1) .019 4.7 .13  0 error (1) .020 4.8 .13  0 unknown 10     240 130    0 error (1) .069 7.4 .33 0 unknown .057 7.2 .62 0 true 9.8 490 67 2 error (1) .050 5.3 .15 0 error (1) .053 5.4 .20 0
termination-memory-alloca/openbsd_cstrcspn-alloca_true-termination.c.i error (5) .19 26 2.0  0 timeout 910   12000 4700 0 error (42) .018  1.1  .046 0 unknown .010  .88 .021  0 error (1) .44 41 3.9 0 error (1) .43 38 3.5 0 timeout 900   2400 12000 0 timeout 900    1100 12000   0 error (1) .021 4.7 .13  0 error (1) .018 4.8 .17  0 error (1) .044 4.9 .12  0 error (1) .046 4.8 .11  0 unknown .15  42 1.8  0 error (1) .062 7.2 .35 0 unknown .058 7.4 .57 0 true 98   610 1400 2 error (1) .025 5.4 .21 0 error (1) .041 5.4 .19 0
termination-memory-alloca/openbsd_cstrlcpy-alloca_true-termination.c.i true .50 31 5.1  2 true 45   3900 360 2 error (42) .021  1.3  .039 0 unknown .0089 .79 .017  0 error (1) .43 38 3.9 0 error (1) .44 37 4.3 0 timeout 900   3900 13000 0 unknown 120    72 1400   0 error (1) .030 4.8 .14  0 error (1) .020 4.8 .19  0 error (1) .031 4.8 .13  0 error (1) .019 4.8 .11  0 unknown .15  42 1.7  0 error (1) .061 7.5 .39 0 unknown .056 7.2 .49 0 true 15   670 130 2 error (1) .046 5.4 .19 0 error (1) .051 5.4 .18 0
termination-memory-alloca/openbsd_cstrlen-alloca_true-termination.c.i error (5) .19 26 1.6  0 true 8.5 690 66 2 error (42) .011  1.3  .056 0 unknown .0098 .87 .022  0 error (1) .45 40 4.0 0 error (1) .42 40 4.6 0 unknown 18   1100 130 0 true 1.0  29 12   2 error (1) .020 4.8 .15  0 error (1) .021 4.8 .14  0 error (1) .018 4.8 .15  0 error (1) .021 4.8 .13  0 unknown .14  42 1.5  0 error (1) .070 7.2 .33 0 unknown .083 7.3 .52 0 true 9.1 450 65 2 error (1) .025 5.3 .24 0 error (1) .052 5.4 .18 0
termination-memory-alloca/openbsd_cstrncat-alloca_true-termination.c.i true .48 29 5.4  2 error (1) 84   3900 720 0 error (42) .012  1.3  .040 0 unknown .010  .76 .018  0 error (1) .43 37 3.4 0 error (1) .42 37 3.7 0 timeout 900   4300 12000 0 unknown 120    45 1600   0 error (1) .021 4.8 .12  0 error (1) .019 4.8 .13  0 error (1) .019 4.9 .11  0 error (1) .046 4.9 .11  0 unknown 3.1   73 38    0 error (1) .040 7.3 .41 0 unknown .083 7.2 .51 0 true 11   490 85 2 error (1) .053 5.3 .16 0 error (1) .024 5.3 .24 0
termination-memory-alloca/openbsd_cstrncmp-alloca_true-termination.c.i true .31 28 3.1  2 true 30   2300 220 2 error (42) .019  1.1  .045 0 unknown .0073 .86 .021  0 error (1) .42 37 3.8 0 error (1) .41 40 3.6 0 unknown 610   4100 8600 0 unknown 120    58 1600   0 error (1) .020 4.8 .12  0 error (1) .020 4.7 .11  0 error (1) .017 4.7 .14  0 error (1) .044 4.8 .14  0 unknown .55  52 6.2  0 error (1) .063 7.1 .35 0 unknown .057 7.3 .58 0 true 10   480 78 2 error (1) .040 5.3 .21 0 error (1) .027 5.4 .23 0
termination-memory-alloca/openbsd_cstrncpy-alloca_true-termination.c.i true .67 32 8.5  2 true 51   3800 460 2 error (42) .022  1.1  .057 0 unknown .0090 1.1  .020  0 error (1) .42 37 3.8 0 error (1) .43 40 3.5 0 timeout 900   8600 7900 0 timeout 900    820 11000   0 error (1) .021 4.8 .17  0 error (1) .045 4.8 .090 0 error (1) .021 4.8 .12  0 error (1) .048 4.9 .13  0 unknown .32  52 3.5  0 error (1) .066 7.2 .36 0 unknown .057 7.3 .57 0 true 16   550 120 2 error (1) .047 5.4 .17 0 error (1) .024 5.4 .14 0
termination-memory-alloca/openbsd_cstrnlen-alloca_true-termination.c.i true .42 27 3.9  2 true 16   1300 120 2 error (42) .010  1.1  .043 0 unknown .0090 .80 .021  0 error (1) .43 39 3.9 0 error (1) .41 37 3.5 0 true 19   710 140 2 true 1.0  29 14   2 error (1) .020 4.8 .15  0 error (1) .046 4.8 .14  0 error (1) .044 4.7 .10  0 error (1) .045 4.8 .10  0 unknown .15  42 1.8  0 error (1) .068 7.3 .34 0 unknown .086 7.2 .47 0 true 8.0 470 65 2 error (1) .050 5.4 .19 0 error (1) .026 5.4 .17 0
termination-memory-alloca/openbsd_cstrpbrk-alloca_true-termination.c.i error (5) .31 30 2.8  0 true 36   3700 280 2 error (42) .014  .95 .045 0 unknown .0089 .79 .020  0 error (1) .44 40 3.9 0 error (1) .43 37 3.9 0 timeout 900   2100 13000 0 unknown 900    290 11000   0 error (1) .021 4.8 .12  0 error (1) .040 4.8 .14  0 error (1) .021 4.9 .10  0 error (1) .034 4.7 .14  0 unknown .36  52 4.1  0 error (1) .059 7.4 .34 0 unknown .079 7.2 .57 0 true 94   760 1200 2 error (1) .051 5.3 .14 0 error (1) .053 5.5 .16 0
termination-memory-alloca/openbsd_cstrspn-alloca_true-termination.c.i error (5) .23 30 2.2  0 true 110   5900 720 2 error (42) .019  1.3  .043 0 unknown .0084 .91 .024  0 error (1) .44 40 3.9 0 error (1) .43 37 4.0 0 timeout 900   3200 11000 0 unknown 900    510 8000   0 error (1) .019 4.8 .13  0 error (1) .044 4.8 .11  0 error (1) .044 4.8 .11  0 error (1) .044 4.8 .12  0 unknown .051 13 .43 0 error (1) .069 7.4 .29 0 unknown .083 7.2 .51 0 true 16   630 140 2 error (1) .045 5.4 .16 0 error (1) .024 5.3 .21 0
termination-memory-alloca/openbsd_cstrstr-alloca_true-termination.c.i error (5) .76 34 8.3  0 true 150   6300 1100 2 error (42) .013  1.2  .038 0 unknown .0040 .94 .018  0 error (1) .41 37 3.7 0 error (1) .40 38 3.2 0 timeout 900   3900 13000 0 unknown 900    220 12000   0 error (1) .042 4.8 .11  0 error (1) .023 4.7 .090 0 error (1) .021 4.8 .099 0 error (1) .019 4.9 .12  0 unknown .17  42 1.6  0 error (1) .070 7.3 .34 0 unknown .056 7.3 .62 0 true 25   720 230 2 error (1) .047 5.4 .16 0 error (1) .051 5.4 .16 0
termination-memory-alloca/rec_strlen-alloca_true-termination.c.i error (5) .19 26 1.3  0 timeout 900   3500 14000 0 error (42) .010  1.1  .047 0 unknown .0091 1.0  .014  0 error (1) .42 38 3.6 0 error (1) .43 38 3.6 0 error (recursion) 2.9 280 26 0 true 1.0  29 13   2 error (1) .019 4.8 .15  0 error (1) .021 4.8 .14  0 error (1) .042 4.8 .12  0 error (1) .022 4.8 .12  0 unknown 3.1   65 37    0 error (1) .066 7.1 .36 0 unknown .055 7.2 .58 0 true 8.3 430 64 2 error (1) .050 5.5 .15 0 error (1) .047 5.3 .15 0
termination-memory-alloca/selectionsort-alloca_true-termination.c.i true .43 31 4.8  2 timeout 910   13000 6800 0 error (42) .012  .96 .060 0 unknown .0089 .93 .021  0 error (1) .39 37 3.6 0 error (1) .41 37 3.7 0 true 33   1900 270 2 true 2.3  39 28   2 error (1) .039 4.8 .12  0 error (1) .021 4.8 .15  0 error (1) .021 4.8 .13  0 error (1) .042 4.9 .12  0 true 1.9   92 24    2 error (1) .060 7.4 .34 0 unknown .084 7.2 .48 0 true 13   550 110 2 error (1) .050 5.3 .19 0 error (1) .050 5.3 .16 0
termination-memory-alloca/stroeder1-alloca_true-termination.c.i true .25 27 2.5  2 true 22   1900 170 2 error (42) .022  1.0  .042 0 unknown .0085 .90 .030  0 error (1) .42 38 3.6 0 error (1) .40 37 3.8 0 true 5.9 380 44 2 true 1.0  29 12   2 error (1) .031 4.8 .14  0 error (1) .030 4.7 .11  0 error (1) .046 4.8 .14  0 error (1) .022 4.8 .15  0 unknown .23  48 2.5  0 error (1) .069 7.3 .36 0 unknown .056 7.2 .56 0 true 7.9 390 69 2 error (1) .051 5.4 .14 0 error (1) .023 5.3 .18 0
termination-memory-alloca/stroeder2-alloca_true-termination.c.i error (8) .19 26 1.6  0 true 68   2900 570 2 error (42) .013  1.1  .033 0 unknown .011  .85 .020  0 error (1) .43 37 3.4 0 error (1) .40 37 3.7 0 true 8.7 490 65 2 true 1.7  32 19   2 error (1) .018 4.8 .17  0 error (1) .043 4.8 .11  0 error (1) .047 4.9 .096 0 error (1) .019 4.8 .19  0 unknown .50  72 6.4  0 error (1) .069 7.3 .36 0 unknown .083 7.3 .61 0 true 11   490 81 2 error (1) .051 5.4 .14 0 error (1) .041 5.4 .21 0
termination-memory-alloca/strreplace-alloca_true-termination.c.i error (5) .22 26 2.1  0 true 38   3700 290 2 error (42) .016  1.1  .044 0 unknown .0089 .76 .024  0 error (1) .43 37 3.7 0 error (1) .40 40 3.8 0 unknown 140   4000 1300 0 true 1.1  29 12   2 error (1) .017 4.8 .15  0 error (1) .044 4.8 .13  0 error (1) .020 4.9 .11  0 error (1) .046 4.7 .11  0 unknown 39     150 490    0 error (1) .065 7.3 .31 0 unknown .057 7.2 .65 0 true 11   490 81 2 error (1) .053 5.3 .17 0 error (1) .050 5.4 .14 0
termination-memory-alloca/subseq-alloca_true-termination.c.i error (5) .20 26 1.5  0 true 42   3200 310 2 error (42) .021  1.2  .058 0 unknown .0092 1.1  .032  0 error (1) .43 39 3.9 0 error (1) .41 37 3.3 0 timeout 900   3000 12000 0 true 1.1  29 13   2 error (1) .045 4.8 .13  0 error (1) .019 4.8 .11  0 error (1) .030 4.9 .096 0 error (1) .046 4.8 .11  0 unknown 15     270 180    0 error (1) .071 7.4 .31 0 unknown .073 7.3 .59 0 true 13   660 110 2 error (1) .025 5.4 .24 0 error (1) .046 5.4 .18 0
termination-memory-alloca/substring-alloca_true-termination.c.i error (5) .19 26 1.5  0 true 52   3900 450 2 error (42) .012  .97 .052 0 unknown .0089 .82 .030  0 error (1) .42 37 4.0 0 error (1) .42 37 3.3 0 timeout 900   4200 13000 0 true 3.3  43 38   2 error (1) .041 4.7 .097 0 error (1) .018 4.8 .17  0 error (1) .021 4.8 .16  0 error (1) .044 4.8 .11  0 unknown 21     650 250    0 error (1) .062 7.5 .33 0 unknown .056 7.4 .61 0 true 19   570 150 2 error (1) .028 5.3 .18 0 error (1) .053 5.4 .14 0
termination-memory-alloca/twisted-alloca_true-termination.c.i error (5) .57 33 6.0  0 true 5.7 400 49 2 error (42) .013  1.4  .062 0 unknown .0087 .76 .029  0 error (1) .43 40 3.6 0 error (1) .42 38 4.3 0 timeout 900   4200 11000 0 true .88 29 12   2 error (1) .023 4.7 .12  0 error (1) .021 4.7 .14  0 error (1) .043 4.7 .11  0 error (1) .044 4.8 .14  0 unknown .057 12 .36 0 error (1) .070 7.5 .30 0 unknown .055 7.2 .64 0 true 22   780 210 2 error (1) .025 5.3 .18 0 error (1) .023 5.4 .17 0
termination-memory-linkedlists/cll_by_lseg-alloca_false-termination.c.i error (5) .17 26 1.3  0 false(termination) 6.3 460 45 1 error (42) .021  1.4  .042 0 unknown .0089 .85 .025  0 error (1) .42 37 4.0 0 error (1) .39 37 3.8 0 error (recursion) 3.0 280 25 0 true .89 29 9.8 -32 error (1) .017 4.9 .17  0 error (1) .018 4.8 .16  0 error (1) .043 4.8 .15  0 error (1) .019 4.9 .14  0 unknown .081 35 .64 0 error (1) .063 7.2 .32 0 unknown .055 7.3 .71 0 unknown 31   1100 240 0 error (1) .024 5.2 .20 0 error (1) .026 5.3 .19 0
termination-memory-linkedlists/cll_by_lseg_traverse-alloca_false-termination.c.i error (5) .17 26 1.5  0 error (1) 110   3500 1400 0 error (42) .017  1.3  .041 0 unknown .0081 .92 .023  0 error (1) .45 40 3.9 0 error (1) .43 39 3.5 0 error (recursion) 2.9 280 26 0 true 1.0  29 11   -32 error (1) .044 4.8 .11  0 error (1) .019 4.8 .15  0 error (1) .019 4.8 .095 0 error (1) .021 4.8 .12  0 unknown .10  35 .61 0 error (1) .069 7.3 .33 0 unknown .083 7.5 .56 0 false(termination) 12   510 97 1 error (1) .044 5.4 .13 0 error (1) .050 5.4 .15 0
termination-memory-linkedlists/cll_search-alloca_false-termination.c.i true .29 27 2.5  -32 timeout 900   12000 7300 0 error (42) .021  1.3  .034 0 unknown .0085 .79 .034  0 error (1) .44 40 4.1 0 error (1) .44 39 3.6 0 false(termination) 11   610 91 1 true 1.1  29 13   -32 error (1) .031 4.8 .11  0 error (1) .044 4.8 .12  0 error (1) .043 4.8 .094 0 error (1) .047 4.8 .11  0 unknown .076 35 .82 0 error (1) .069 7.3 .32 0 unknown .082 7.4 .57 0 false(termination) 11   480 93 1 error (1) .056 5.4 .15 0 error (1) .024 5.3 .21 0
termination-memory-linkedlists/cll_traverse-alloca_false-termination.c.i true .25 29 2.0  -32 error (1) 33   2000 250 0 error (42) .020  1.3  .045 0 unknown .0093 .76 .025  0 error (1) .41 37 3.5 0 error (1) .42 40 3.9 0 false(termination) 4.9 310 43 1 true 1.0  29 13   -32 error (1) .036 4.7 .12  0 error (1) .019 4.8 .15  0 error (1) .047 4.8 .12  0 error (1) .044 4.8 .15  0 unknown .079 35 .69 0 error (1) .058 7.5 .41 0 unknown .083 7.3 .51 0 false(termination) 11   470 94 1 error (1) .052 5.4 .15 0 error (1) .043 5.3 .16 0
termination-memory-linkedlists/ll_append-alloca_false-termination.c.i error (5) .16 27 1.5  0 error (1) 23   1900 210 0 error (42) .021  1.2  .039 0 unknown .0043 1.0  .020  0 error (1) .44 40 4.2 0 error (1) .39 38 4.3 0 error (recursion) 3.0 280 25 0 true 1.1  29 12   -32 error (1) .020 4.8 .13  0 error (1) .019 4.8 .15  0 error (1) .029 4.9 .17  0 error (1) .031 4.7 .084 0 unknown .078 35 .74 0 error (1) .066 7.2 .31 0 unknown .056 7.2 .56 0 false(termination) 12   500 100 1 error (1) .052 5.5 .21 0 error (1) .054 5.4 .16 0
termination-memory-linkedlists/ll_append_rec-alloca_false-termination.c.i error (5) .19 26 1.3  0 error (1) 19   2800 190 0 error (42) .021  1.4  .044 0 unknown .0062 .95 .017  0 error (1) .39 38 3.7 0 error (1) .41 38 3.7 0 error (recursion) 2.9 270 24 0 true 1.1  29 14   -32 error (1) .031 4.8 .098 0 error (1) .038 4.8 .10  0 error (1) .029 5.0 .13  0 error (1) .020 4.8 .18  0 unknown .075 35 .86 0 error (1) .064 7.2 .27 0 unknown .058 7.3 .61 0 false(termination) 34   1100 280 1 error (1) .025 5.5 .22 0 error (1) .024 5.4 .21 0
termination-memory-linkedlists/ll_create_rec-alloca_false-termination.c.i error (5) .17 26 1.8  0 error (1) 22   2900 170 0 error (42) .017  1.1  .044 0 unknown .0091 .89 .020  0 error (1) .42 40 4.0 0 error (1) .40 38 3.7 0 error (recursion) 2.9 280 23 0 true .92 29 11   -32 error (1) .032 4.8 .16  0 error (1) .019 4.8 .16  0 error (1) .021 4.8 .13  0 error (1) .020 4.8 .11  0 unknown .10  35 .74 0 error (1) .059 7.5 .37 0 unknown .081 7.4 .60 0 unknown 25   650 180 0 error (1) .026 5.4 .21 0 error (1) .025 5.4 .20 0
termination-memory-linkedlists/nondet_ll_search-alloca_false-termination.c.i true .25 28 3.2  -32 timeout 900   12000 6700 0 error (42) .014  1.2  .041 0 unknown .010  .85 .020  0 error (1) .42 40 4.1 0 error (1) .38 37 4.1 0