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 false(termination) 14   1200 150 1 true 1.1  29 14   -32 error (1) .022 4.7 .12  0 error (1) .019 4.8 .14  0 error (1) .020 4.8 .13  0 error (1) .035 4.7 .15  0 unknown .073 35 .67 0 error (1) .068 7.3 .33 0 unknown .054 7.2 .72 0 false(termination) 13   490 99 1 error (1) .029 5.4 .18 0 error (1) .027 5.3 .22 0
termination-memory-linkedlists/nondet_ll_traverse-alloca_false-termination.c.i true .23 26 2.2  -32 error (1) 55   3800 420 0 error (42) .012  1.3  .042 0 unknown .0089 1.0  .029  0 error (1) .41 37 3.7 0 error (1) .43 40 4.4 0 false(termination) 5.8 430 48 1 true 1.1  29 14   -32 error (1) .023 4.8 .12  0 error (1) .023 4.8 .14  0 error (1) .030 4.8 .095 0 error (1) .020 4.8 .14  0 unknown .092 35 .88 0 error (1) .066 7.1 .36 0 unknown .079 7.3 .56 0 false(termination) 11   480 91 1 error (1) .052 5.4 .15 0 error (1) .050 5.5 .16 0
termination-memory-linkedlists/cll_by_lseg-alloca_true-termination.c.i error (5) .17 26 1.3  0 true 95   3500 1200 2 error (42) .015  1.0  .032 0 unknown .0090 .89 .018  0 error (1) .42 38 4.2 0 error (1) .44 40 4.3 0 error (recursion) 2.9 280 25 0 true .98 29 12   2 error (1) .021 4.8 .13  0 error (1) .018 4.8 .16  0 error (1) .043 4.8 .12  0 error (1) .021 4.8 .16  0 unknown .078 35 .78 0 error (1) .066 7.3 .33 0 unknown .059 7.3 .53 0 true 9.1 470 68 2 error (1) .051 5.6 .19 0 error (1) .045 5.4 .19 0
termination-memory-linkedlists/cll_search-alloca_true-termination.c.i true .30 28 2.6  2 out of memory 520   15000 3300 0 error (42) .019  1.2  .051 0 unknown .0089 .70 .022  0 error (1) .41 38 3.7 0 error (1) .42 37 3.8 0 timeout 900   4000 13000 0 true 1.2  29 17   2 error (1) .021 4.8 .13  0 error (1) .019 4.7 .10  0 error (1) .045 4.8 .097 0 error (1) .039 4.8 .15  0 unknown .074 35 .89 0 error (1) .069 7.2 .31 0 unknown .084 7.3 .49 0 timeout 900   1600 10000 0 error (1) .051 5.5 .16 0 error (1) .041 5.5 .18 0
termination-memory-linkedlists/ll_append-alloca_true-termination.c.i error (5) .20 26 1.4  0 error (1) 15   2300 120 0 error (42) .022  1.2  .047 0 unknown .0076 .94 .030  0 error (1) .45 40 3.6 0 error (1) .38 38 3.6 0 error (recursion) 2.9 280 27 0 true 1.2  29 15   2 error (1) .046 4.9 .12  0 error (1) .030 4.8 .14  0 error (1) .021 4.8 .14  0 error (1) .020 4.8 .13  0 unknown .081 35 .70 0 error (1) .063 7.5 .37 0 unknown .075 7.1 .63 0 unknown 160   2500 1700 0 error (1) .051 5.3 .15 0 error (1) .023 5.3 .23 0
termination-memory-linkedlists/ll_append_rec-alloca_true-termination.c.i error (5) .19 26 1.4  0 error (1) 11   1200 94 0 error (42) .014  .99 .038 0 unknown .0098 .89 .016  0 error (1) .45 40 3.4 0 error (1) .42 40 3.9 0 error (recursion) 2.9 280 26 0 true 1.3  29 15   2 error (1) .020 4.8 .16  0 error (1) .019 4.7 .13  0 error (1) .020 4.8 .13  0 error (1) .021 4.8 .15  0 unknown .079 35 .72 0 error (1) .069 7.3 .36 0 unknown .083 7.2 .55 0 unknown 200   3100 2600 0 error (1) .053 5.4 .19 0 error (1) .050 5.3 .18 0
termination-memory-linkedlists/ll_create_rec-alloca_true-termination.c.i error (5) .17 26 1.6  0 true 15   2300 120 2 error (42) .014  1.0  .046 0 unknown .0089 .77 .019  0 error (1) .43 40 3.7 0 error (1) .44 40 4.2 0 error (recursion) 2.8 280 25 0 true .94 29 11   2 error (1) .020 4.7 .17  0 error (1) .022 4.8 .14  0 error (1) .033 4.7 .10  0 error (1) .045 4.7 .12  0 unknown .079 35 .68 0 error (1) .070 7.3 .35 0 unknown .074 7.3 .59 0 true 7.8 430 66 2 error (1) .050 5.4 .15 0 error (1) .048 5.5 .19 0
termination-memory-linkedlists/ll_search-alloca_true-termination.c.i true .25 30 3.6  2 error (1) 33   2400 240 0 error (42) .013  1.3  .044 0 unknown .0085 .93 .033  0 error (1) .40 37 4.0 0 error (1) .40 40 4.4 0 timeout 900   3900 12000 0 true 1.0  29 13   2 error (1) .020 4.7 .12  0 error (1) .023 4.8 .16  0 error (1) .030 4.8 .16  0 error (1) .029 4.9 .13  0 unknown .082 35 .70 0 error (1) .055 7.4 .41 0 unknown .081 7.2 .49 0 unknown 170   5100 1900 0 error (1) .049 5.5 .16 0 error (1) .025 5.4 .14 0
termination-memory-linkedlists/ll_search_not_found-alloca_true-termination.c.i true .24 27 2.4  2 out of memory 500   15000 2700 0 error (42) .015  .96 .036 0 unknown .0076 1.0  .020  0 error (1) .46 40 3.8 0 error (1) .42 40 3.8 0 false(termination) 15   750 110 -16 true 1.0  29 12   2 error (1) .043 4.8 .099 0 error (1) .031 4.7 .14  0 error (1) .018 4.8 .18  0 error (1) .047 4.8 .11  0 unknown .10  35 .70 0 error (1) .039 7.2 .45 0 unknown .084 7.2 .53 0 unknown 42   1900 350 0 error (1) .044 5.3 .13 0 error (1) .044 5.5 .20 0
termination-memory-linkedlists/ll_traverse-alloca_true-termination.c.i true .25 28 2.5  2 error (1) 390   14000 2300 0 error (42) .012  .99 .049 0 unknown .0090 .94 .017  0 error (1) .41 37 3.4 0 error (1) .43 40 4.0 0 false(termination) 5.0 330 45 -16 true .98 29 13   2 error (1) .020 4.7 .18  0 error (1) .031 4.8 .16  0 error (1) .031 4.8 .14  0 error (1) .023 4.8 .11  0 unknown .10  35 .74 0 error (1) .046 7.2 .37 0 unknown .055 7.2 .51 0 unknown 45   2100 420 0 error (1) .025 5.4 .15 0 error (1) .025 5.3 .17 0
termination-memory-linkedlists/nondet_ll_search-alloca_true-termination.c.i true .27 28 2.3  2 out of memory 520   15000 3200 0 error (42) .014  1.1  .060 0 unknown .010  .86 .023  0 error (1) .46 40 4.0 0 error (1) .41 38 3.3 0 timeout 900   3900 10000 0 true 1.3  29 17   2 error (1) .039 4.8 .14  0 error (1) .030 4.9 .11  0 error (1) .046 4.7 .12  0 error (1) .045 4.8 .12  0 unknown .079 35 .76 0 error (1) .066 7.5 .32 0 unknown .081 7.3 .54 0 unknown 630   6000 7100 0 error (1) .026 5.3 .19 0 error (1) .051 5.3 .15 0
termination-15/add_first_alloca_true-termination.c.i error (5) .17 26 1.6  0 error (1) 120   7600 690 0 error (42) .022  1.2  .034 0 unknown .0088 .92 .021  0 error (1) .42 40 3.8 0 error (1) .42 38 3.6 0 true 29   1100 230 2 unknown 1.5  57 17   0 error (1) .021 4.8 .11  0 error (1) .019 4.8 .16  0 error (1) .044 4.8 .12  0 error (1) .045 4.8 .11  0 false(termination) .50  50 6.0  -16 error (1) .060 7.3 .36 0 unknown .074 7.3 .56 0 true 8.1 440 63 2 error (1) .050 5.4 .17 0 error (1) .050 5.3 .13 0
termination-15/array05_alloca_true-termination.c.i error (5) .54 35 5.9  0 error (1) 31   1400 210 0 error (42) .013  1.3  .040 0 unknown .0093 1.0  .025  0 error (1) .43 38 3.6 0 error (1) .38 37 4.1 0 true 8.2 460 63 2 unknown 1.6  57 18   0 error (1) .017 4.8 .15  0 error (1) .044 4.8 .12  0 error (1) .032 4.8 .12  0 error (1) .047 4.8 .12  0 unknown 3.0   57 34    0 error (1) .051 7.1 .47 0 unknown .080 7.1 .58 0 unknown 16   560 140 0 error (1) .039 5.5 .23 0 error (1) .051 5.3 .20 0
termination-15/array06_alloca_true-termination.c.i error (5) .47 32 4.8  0 true 28   1500 200 2 error (42) .012  1.1  .046 0 unknown .0041 1.1  .012  0 error (1) .45 40 3.8 0 error (1) .43 39 4.3 0 true 7.3 460 61 2 unknown 1.5  56 18   0 error (1) .023 4.8 .14  0 error (1) .020 4.8 .17  0 error (1) .043 4.9 .078 0 error (1) .045 4.8 .12  0 unknown 3.1   59 34    0 error (1) .063 7.3 .38 0 unknown .056 7.1 .53 0 true 12   500 95 2 error (1) .019 5.3 .26 0 error (1) .052 5.4 .14 0
termination-15/array07_alloca_true-termination.c.i error (5) .53 35 5.6  0 true 25   1400 180 2 error (42) .019  1.1  .048 0 unknown .0061 .88 .012  0 error (1) .43 40 4.4 0 error (1) .42 37 3.4 0 true 7.7 450 63 2 unknown 1.5  56 17   0 error (1) .019 4.8 .089 0 error (1) .044 4.8 .15  0 error (1) .045 4.8 .11  0 error (1) .021 4.8 .081 0 unknown 3.1   61 38    0 error (1) .069 7.2 .33 0 unknown .075 7.2 .62 0 true 12   520 100 2 error (1) .050 5.4 .17 0 error (1) .044 5.4 .21 0
termination-15/array08_alloca_true-termination.c.i error (5) .32 28 2.7  0 timeout 900   14000 4900 0 error (42) .013  1.4  .047 0 unknown .0079 .93 .030  0 error (1) .40 40 4.0 0 error (1) .41 37 3.3 0 timeout 900   4400 11000 0 unknown 1.5  56 18   0 error (1) .050 4.8 .11  0 error (1) .030 4.8 .16  0 error (1) .033 4.7 .15  0 error (1) .043 4.8 .13  0 unknown 2.6   57 32    0 error (1) .042 7.3 .33 0 unknown .056 7.2 .60 0 unknown 22   690 180 0 error (1) .048 5.4 .17 0 error (1) .051 5.3 .16 0
termination-15/array09_alloca_true-termination.c.i error (5) .46 33 6.4  0 timeout 900   15000 4500 0 error (42) .012  .96 .059 0 unknown .0092 .88 .021  0 error (1) .44 40 3.5 0 error (1) .40 37 3.6 0 timeout 900   4300 10000 0 unknown 1.5  55 19   0 error (1) .023 4.8 .15  0 error (1) .045 4.8 .11  0 error (1) .040 4.8 .11  0 error (1) .043 4.8 .12  0 unknown 2.6   57 32    0 error (1) .067 7.5 .40 0 unknown .081 7.2 .59 0 unknown 24   670 170 0 error (1) .027 5.4 .18 0 error (1) .050 5.4 .19 0
termination-15/array10_alloca_true-termination.c.i error (5) .49 34 5.6  0 error (1) 29   1400 230 0 error (42) .012  1.4  .038 0 unknown .0071 .88 .016  0 error (1) .41 37 3.9 0 error (1) .39 38 3.7 0 true 8.4 460 60 2 unknown 1.6  56 20   0 error (1) .044 4.8 .13  0 error (1) .020 4.8 .17  0 error (1) .043 4.8 .12  0 error (1) .044 4.8 .14  0 unknown 3.1   56 35    0 error (1) .068 7.4 .28 0 unknown .083 7.4 .57 0 unknown 16   560 120 0 error (1) .026 5.3 .18 0 error (1) .051 5.4 .14 0
termination-15/array11_alloca_true-termination.c.i error (5) .48 33 5.9  0 timeout 910   13000 4500 0 error (42) .019  1.2  .042 0 unknown .0086 1.1  .020  0 error (1) .41 37 3.7 0 error (1) .38 37 4.3 0 unknown 37   1800 310 0 unknown 1.6  55 17   0 error (1) .030 4.8 .095 0 error (1) .020 4.8 .087 0 error (1) .043 4.7 .12  0 error (1) .018 4.7 .17  0 true .55  50 8.0  2 error (1) .066 7.4 .36 0 unknown .059 7.1 .60 0 unknown 23   770 170 0 error (1) .042 5.3 .20 0 error (1) .051 5.5 .20 0
termination-15/array12_alloca_true-termination.c.i error (5) .35 28 3.2  0 error (1) 52   3600 500 0 error (42) .0062 1.3  .061 0 unknown .010  .88 .020  0 error (1) .43 40 3.8 0 error (1) .38 37 4.2 0 timeout 900   4300 13000 0 unknown 1.6  57 20   0 error (1) .019 4.8 .12  0 error (1) .019 4.8 .15  0 error (1) .021 4.8 .11  0 error (1) .046 4.8 .15  0 unknown 34     230 390    0 error (1) .055 7.3 .37 0 unknown .083 7.3 .49 0 timeout 900   860 12000 0 error (1) .029 5.4 .18 0 error (1) .028 5.4 .19 0
termination-15/array13_alloca_true-termination.c.i error (5) .34 29 3.1  0 error (1) 51   3500 480 0 error (42) .018  1.2  .044 0 unknown .0087 1.0  .018  0 error (1) .44 40 3.8 0 error (1) .40 37 3.7 0 timeout 900   4200 12000 0 unknown 1.6  57 16   0 error (1) .044 4.8 .10  0 error (1) .020 4.8 .12  0 error (1) .044 4.8 .12  0 error (1) .044 4.9 .13  0 unknown 34     230 380    0 error (1) .042 7.2 .41 0 unknown .055 7.2 .51 0 timeout 900   930 10000 0 error (1) .024 5.4 .19 0 error (1) .050 5.3 .15 0
termination-15/array16_alloca_fixed_true-termination.c.i error (5) .33 29 3.0  0 error (1) 45   2300 420 0 error (42) .016  1.4  .049 0 unknown .0089 .99 .024  0 error (1) .43 40 3.8 0 error (1) .39 37 3.7 0 timeout 900   5200 10000 0 unknown 1.5  56 19   0 error (1) .020 4.7 .15  0 error (1) .019 4.7 .12  0 error (1) .045 4.9 .10  0 error (1) .021 4.9 .082 0 unknown 69     330 910    0 error (1) .069 7.3 .32 0 unknown .059 7.3 .59 0 timeout 900   890 13000 0 error (1) .054 5.3 .15 0 error (1) .048 5.4 .16 0
termination-15/array17_alloca_true-termination.c.i error (5) .28 29 3.2  0 error (1) 61   4200 450 0 error (42) .014  1.2  .040 0 unknown .010  .73 .022  0 error (1) .42 40 4.2 0 error (1) .41 38 3.7 0 unknown 13   630 120 0 unknown 1.6  55 20   0 error (1) .020 4.8 .15  0 error (1) .021 4.8 .15  0 error (1) .044 4.8 .12  0 error (1) .019 4.8 .19  0 unknown 36     350 370    0 error (1) .041 7.4 .44 0 unknown .063 7.2 .51 0 timeout 900   920 13000 0 error (1) .052 5.4 .16 0 error (1) .052 5.3 .14 0
termination-15/array18_alloca_true-termination.c.i error (5) .48 34 5.5  0 timeout 910   15000 5100 0 error (42) .012  1.1  .042 0 unknown .0091 .78 .019  0 error (1) .46 40 3.9 0 error (1) .46 40 4.3 0 timeout 900   4300 13000 0 unknown 1.6  55 20   0 error (1) .020 4.8 .094 0 error (1) .019 4.7 .13  0 error (1) .021 4.8 .15  0 error (1) .042 4.8 .11  0 unknown 2.7   59 32    0 error (1) .066 7.2 .29 0 unknown .054 7.2 .53 0 unknown 23   660 160 0 error (1) .025 5.4 .22 0 error (1) .050 5.4 .17 0
termination-15/count_up_alloca_true-termination.c.i true .36 29 4.1  2 true 120   4500 840 2 error (42) .014  1.3  .030 0 unknown .010  1.0  .020  0 error (1) .44 38 4.3 0 error (1) .46 40 3.9 0 unknown 23   1000 210 0 unknown 3.4  56 46   0 error (1) .019 4.7 .10  0 error (1) .023 4.8 .15  0 error (1) .021 4.7 .084 0 error (1) .031 4.7 .079 0 unknown 1.4   51 20    0 error (1) .058 7.2 .35 0 unknown .081 7.3 .51 0 true 13   540 120 2 error (1) .026 5.3 .15 0 error (1) .050 5.4 .12 0
termination-15/count_up_and_down_alloca_true-termination.c.i true .35 32 3.8  2 true 51   2500 400 2 error (42) .019  1.2  .035 0 unknown .0093 .98 .032  0 error (1) .43 40 4.2 0 error (1) .42 38 3.3 0 unknown 340   4000 3800 0 unknown 3.4  56 50   0 error (1) .021 4.7 .15  0 error (1) .019 4.8 .14  0 error (1) .023 4.8 .13  0 error (1) .022 4.8 .12  0 unknown 1.5   50 14    0 error (1) .060 7.2 .38 0 unknown .055 7.2 .55 0 true 13   540 97 2 error (1) .051 5.5 .20 0 error (1) .054 5.3 .15 0
termination-15/cstrcat_diffterm_alloca_true-termination.c.i error (5) .19 28 1.6  0 timeout 910   14000 4500 0 error (42) .013  1.1  .044 0 unknown .0088 .88 .025  0 error (1) .42 40 4.1 0 error (1) .41 40 4.5 0 timeout 900   4700 10000 0 unknown 110    35 1400   0 error (1) .030 4.8 .11  0 error (1) .041 4.8 .13  0 error (1) .020 4.8 .13  0 error (1) .018 4.8 .15  0 unknown 3.6   72 52    0 error (1) .066 7.3 .33 0 unknown .079 7.2 .57 0 true 11   600 94 2 error (1) .050 5.4 .17 0 error (1) .023 5.3 .19 0
termination-15/cstrcat_malloc_true-termination.c.i error (5) .19 26 1.6  0 error (1) 18   1900 150 0 error (42) .019  1.0  .044 0 unknown .0088 .75 .030  0 error (1) .41 38 3.7 0 error (1) .45 38 3.9 0 timeout 900   4700 11000 0 unknown 110    35 1400   0 error (1) .020 4.7 .15  0 error (1) .031 4.8 .18  0 error (1) .031 4.8 .15  0 error (1) .019 4.8 .17  0 unknown .077 35 .71 0 error (1) .062 7.3 .32 0 unknown .074 7.1 .64 0 true 16   550 120 2 error (1) .027 5.4 .15 0 error (1) .036 5.4 .10 0
termination-15/cstrcat_mixed_alloca_true-termination.c.i error (5) .21 26 1.5  0 timeout 910   15000 4400 0 error (42) .012  1.4  .056 0 unknown .0099 1.0  .022  0 error (1) .43 40 3.9 0 error (1) .43 40 3.7 0 timeout 900   4200 11000 0 unknown 110    48 1300   0 error (1) .018 4.8 .11  0 error (1) .020 4.8 .17  0 error (1) .017 4.8 .19  0 error (1) .043 4.9 .16  0 unknown 3.6   72 42    0 error (1) .043 7.3 .43 0 unknown .054 7.1 .66 0 true 13   500 110 2 error (1) .027 5.4 .20 0 error (1) .039 5.3 .20 0
termination-15/cstrcat_reverse_alloca_true-termination.c.i error (5) .17 26 2.0  0 error (1) 67   4000 550 0 error (42) .020  1.1  .046 0 unknown .0088 .79 .021  0 error (1) .42 40 3.8 0 error (1) .41 37 3.8 0 timeout 900   6200 12000 0 unknown 120    58 1800   0 error (1) .018 4.7 .17  0 error (1) .043 4.8 .12  0 error (1) .018 4.8 .18  0 error (1) .021 4.7 .12  0 unknown 3.8   72 47    0 error (1) .047 7.3 .36 0 unknown .084 7.2 .54 0 true 13   480 120 2 error (1) .024 5.4 .21 0 error (1) .026 5.4 .15 0
termination-15/cstrchr_diffterm_alloca_true-termination.c.i error (5) .17 26 1.7  0 true 12   770 81 2 error (42) .012  1.1  .043 0 unknown .0091 1.0  .020  0 error (1) .42 40 4.1 0 error (1) .42 40 3.6 0 unknown 23   960 180 0 unknown 1.5  56 19   0 error (1) .021 4.8 .15  0 error (1) .043 4.8 .11  0 error (1) .021 4.8 .16  0 error (1) .046 4.8 .12  0 unknown 23     130 280    0 error (1) .042 7.1 .39 0 unknown .083 7.3 .54 0 true 9.9 490 76 2 error (1) .041 5.5 .23 0 error (1) .051 5.4 .17 0
termination-15/cstrchr_malloc_true-termination.c.i false(termination) .20 26 1.4  -16 true 12   760 91 2 error (42) .021  1.2  .051 0 unknown .0086 .80 .027  0 error (1) .46 40 4.0 0 error (1) .41 41 4.6 0 unknown 59   3900 480 0 unknown 1.4  55 17   0 error (1) .044 4.7 .088 0 error (1) .020 4.8 .17  0 error (1) .021 4.8 .091 0 error (1) .040 4.8 .12  0 unknown .090 35 .84 0 error (1) .063 7.4 .35 0 unknown .083 7.3 .58 0 true 10   480 83 2 error (1) .050 5.5 .13 0 error (1) .027 5.5 .15 0
termination-15/cstrchr_reverse_alloca_true-termination.c.i error (5) .20 26 1.4  0 true 9.9 760 75 2 error (42) .017  1.1  .036 0 unknown .0091 .84 .024  0 error (1) .41 38 3.3 0 error (1) .43 38 3.6 0 unknown 42   1700 330 0 unknown 1.4  56 18   0 error (1) .031 4.7 .12  0 error (1) .040 4.8 .12  0 error (1) .043 4.8 .12  0 error (1) .021 4.9 .086 0 unknown 22     130 290    0 error (1) .070 7.4 .31 0 unknown .084 7.1 .49 0 true 9.2 480 66 2 error (1) .049 5.4 .15 0 error (1) .023 5.5 .15 0
termination-15/cstrcmp_diffterm_alloca_true-termination.c.i error (5) .20 26 1.4  0 true 23   2200 160 2 error (42) .012  .96 .048 0 unknown .0094 1.1  .022  0 error (1) .42 37 3.6 0 error (1) .41 37 3.5 0 timeout 900   3000 14000 0 unknown 1.5  55 17   0 error (1) .021 4.9 .084 0 error (1) .043 4.9 .14  0 error (1) .043 4.9 .099 0 error (1) .023 4.8 .13  0 unknown 13     300 150    0 error (1) .069 7.2 .33 0 unknown .083 7.3 .48 0 true 9.6 470 70 2 error (1) .049 5.3 .15 0 error (1) .024 5.4 .22 0
termination-15/cstrcmp_malloc_true-termination.c.i false(termination) .19 26 1.9  -16 true 23   2300 190 2 error (42) .018  1.5  .044 0 unknown .010  .91 .022  0 error (1) .42 40 3.9 0 error (1) .44 40 3.4 0 timeout 900   2900 12000 0 unknown 1.5  56 19   0 error (1) .031 4.7 .16  0 error (1) .020 4.8 .12  0 error (1) .030 4.8 .13  0 error (1) .044 4.8 .14  0 unknown .10  35 .69 0 error (1) .041 7.3 .46 0 unknown .055 7.3 .58 0 true 9.7 480 71 2 error (1) .051 5.3 .14 0 error (1) .050 5.5 .16 0
termination-15/cstrcmp_mixed_alloca_true-termination.c.i error (5) .21 26 1.4  0 true 23   1800 160 2 error (42) .017  1.3  .043 0 unknown .0031 .89 .036  0 error (1) .42 40 4.2 0 error (1) .42 40 3.8 0 timeout 900   3200 11000 0 unknown 1.5  56 17   0 error (1) .022 4.7 .12  0 error (1) .035 4.8 .15  0 error (1) .016 4.8 .16  0 error (1) .046 4.8 .10  0 unknown 12     300 150    0 error (1) .066 7.0 .33 0 unknown .080 7.1 .47 0 true 10   510 89 2 error (1) .050 5.4 .21 0 error (1) .023 5.3 .25 0
termination-15/cstrcmp_reverse_alloca_true-termination.c.i error (5) .17 26 1.4  0 true 23   2200 180 2 error (42) .013  1.2  .036 0 unknown .0065 1.1  .015  0 error (1) .46 40 4.2 0 error (1) .44 38 3.7 0 timeout 900   4100 14000 0 unknown 1.5  57 17   0 error (1) .028 4.8 .12  0 error (1) .023 5.0 .14  0 error (1) .043 4.7 .10  0 error (1) .022 4.8 .12  0 unknown 12     300 160    0 error (1) .070 7.2 .33 0 unknown .083 7.2 .52 0 true 10   480 72 2 error (1) .049 5.5 .20 0 error (1) .025 5.4 .19 0
termination-15/cstrcpy_diffterm_alloca_true-termination.c.i error (5) .20 26 1.5  0 out of memory 700   15000 3700 0 error (42) .014  1.1  .054 0 unknown .0093 .91 .030  0 error (1) .41 40 3.9 0 error (1) .39 37 3.8 0 timeout 900   2500 12000 0 unknown 90    31 1100   0 error (1) .021 4.7 .10  0 error (1) .044 4.8 .12  0 error (1) .019 4.8 .14  0 error (1) .038 4.9 .12  0 unknown .99  50 12    0 error (1) .067 7.4 .38 0 unknown .055 7.2 .62 0 true 10   500 83 2 error (1) .051 5.3 .15 0 error (1) .042 5.3 .20 0
termination-15/cstrcpy_malloc_true-termination.c.i error (5) .17 26 1.7  0 true 99   3500 1200 2 error (42) .014  1.3  .045 0 unknown .0091 .93 .025  0 error (1) .43 40 3.6 0 error (1) .45 40 4.3 0 timeout 900   2400 13000 0 unknown 90    29 1100   0 error (1) .045 4.8 .092 0 error (1) .021 4.8 .10  0 error (1) .043 4.8 .14  0 error (1) .035 4.8 .15  0 unknown .10  35 .67 0 error (1) .042 7.3 .38 0 unknown .079 7.0 .56 0 true 11   480 92 2 error (1) .024 5.3 .18 0 error (1) .023 5.4 .20 0
termination-15/cstrcpy_mixed_alloca_true-termination.c.i error (5) .16 26 1.9  0 out of memory 330   15000 1600 0 error (42) .021  1.0  .050 0 unknown .0090 .85 .026  0 error (1) .43 37 3.5 0 error (1) .37 37 3.9 0 timeout 900   4200 13000 0 unknown 95    31 1100   0 error (1) .035 4.8 .12  0 error (1) .045 4.8 .12  0 error (1) .032 4.8 .17  0 error (1) .019 4.8 .17  0 unknown .97  50 15    0 error (1) .068 7.5 .37 0 unknown .083 7.2 .51 0 true 10   490 80 2 error (1) .051 5.3 .15 0 error (1) .051 5.3 .14 0
termination-15/cstrcpy_reverse_alloca_true-termination.c.i error (5) .18 26 1.4  0 out of memory 340   15000 1900 0 error (42) .013  1.2  .058 0 unknown .011  1.1  .026  0 error (1) .43 40 4.0 0 error (1) .39 37 4.1 0 timeout 900   2500 14000 0 unknown 98    42 1200   0 error (1) .022 4.8 .14  0 error (1) .030 4.7 .16  0 error (1) .017 4.8 .21  0 error (1) .019 4.8 .14  0 unknown .95  50 10    0 error (1) .044 7.3 .38 0 unknown .073 7.1 .45 0 true 10   470 84 2 error (1) .048 5.4 .15 0 error (1) .025 5.4 .22 0
termination-15/cstrcspn_diffterm_alloca_true-termination.c.i error (5) .18 26 2.1  0 true 91   6100 630 2 error (42) .016  1.1  .037 0 unknown .0087 1.1  .036  0 error (1) .40 37 3.8 0 error (1) .40 37 3.7 0 timeout 900   3700 13000 0 unknown 2.1  56 24   0 error (1) .020 4.8 .084 0 error (1) .043 4.8 .14  0 error (1) .023 4.8 .14  0 error (1) .044 4.8 .13  0 unknown .15  42 1.8  0 error (1) .069 7.3 .33 0 unknown .056 7.1 .55 0 true 130   730 1700 2 error (1) .051 5.5 .19 0 error (1) .051 5.3 .16 0
termination-15/cstrcspn_malloc_true-termination.c.i false(termination) .19 26 1.7  -16 true 77   4300 600 2 error (42) .022  1.1  .047 0 unknown .0089 .86 .017  0 error (1) .43 40 4.2 0 error (1) .41 38 3.4 0 timeout 900   3700 12000 0 unknown 2.2  56 27   0 error (1) .035 4.8 .14  0 error (1) .043 4.8 .10  0 error (1) .017 4.7 .22  0 error (1) .043 4.8 .12  0 unknown .10  35 .62 0 error (1) .064 7.3 .33 0 unknown .054 7.1 .62 0 true 83   750 980 2 error (1) .025 5.4 .18 0 error (1) .023 5.4 .18 0
termination-15/cstrcspn_mixed_alloca_true-termination.c.i error (5) .25 28 2.3  0 true 82   6300 610 2 error (42) .019  1.3  .039 0 unknown .0081 .92 .023  0 error (1) .44 41 4.2 0 error (1) .44 40 4.2 0 timeout 900   3700 13000 0 unknown 2.2  55 27   0 error (1) .019 4.7 .14  0 error (1) .018 4.8 .15  0 error (1) .022 5.0 .15  0 error (1) .019 4.7 .18  0 unknown .15  42 1.7  0 error (1) .040 7.3 .45 0 unknown .055 7.1 .62 0 true 18   580 160 2 error (1) .048 5.3 .19 0 error (1) .025 5.4 .22 0
termination-15/cstrcspn_reverse_alloca_true-termination.c.i error (5) .35 31 3.9  0 true 96   6400 660 2 error (42) .012  .97 .041 0 unknown .0089 1.0  .019  0 error (1) .40 37 4.1 0 error (1) .39 37 3.7 0 timeout 900   3700 13000 0 unknown 2.2  56 24   0 error (1) .020 4.9 .12  0 error (1) .044 4.9 .11  0 error (1) .021 4.9 .11  0 error (1) .044 4.8 .12  0 unknown .16  42 1.3  0 error (1) .059 7.5 .41 0 unknown .082 7.2 .56 0 true 18   640 180 2 error (1) .025 5.4 .26 0 error (1) .032 5.6 .21 0
termination-15/cstrlen_diffterm_alloca_true-termination.c.i error (5) .18 26 1.4  0 true 8.6 710 60 2 error (42) .017  1.1  .039 0 unknown .0090 .82 .021  0 error (1) .46 40 3.9 0 error (1) .41 40 3.6 0 unknown 130   3900 1300 0 unknown 1.5  57 17   0 error (1) .033 4.7 .12  0 error (1) .044 4.8 .13  0 error (1) .022 4.9 .17  0 error (1) .021 4.8 .12  0 unknown .16  42 1.5  0 error (1) .069 7.4 .31 0 unknown .058 7.2 .53 0 true 8.0 440 58 2 error (1) .051 5.2 .15 0 error (1) .051 5.4 .15 0
termination-15/cstrlen_malloc_true-termination.c.i false(termination) .21 26 1.6  -16 true 11   750 76 2 error (42) .014  1.3  .036 0 unknown .0092 .92 .019  0 error (1) .41 37 3.7 0 error (1) .44 40 3.6 0 unknown 85   3900 820 0 unknown 1.5  57 16   0 error (1) .020 4.8 .14  0 error (1) .022 4.8 .15  0 error (1) .021 4.9 .16  0 error (1) .017 4.7 .18  0 unknown .089 35 .68 0 error (1) .044 7.1 .33 0 unknown .057 7.2 .51 0 true 9.5 490 71 2 error (1) .054 5.3 .14 0 error (1) .051 5.3 .19 0
termination-15/cstrlen_reverse_alloca_true-termination.c.i error (5) .17 26 1.5  0 true 8.9 520 62 2 error (42) .020  1.2  .044 0 unknown .0087 .95 .014  0 error (1) .44 38 3.5 0 error (1) .41 40 3.6 0 unknown 4.7 290 39 0 unknown 1.4  55 15   0 error (1) .018 4.8 .19  0 error (1) .021 4.7 .13  0 error (1) .039 4.7 .14  0 error (1) .021 4.9 .081 0 unknown .16  41 1.3  0 error (1) .063 7.3 .35 0 unknown .054 7.2 .61 0 true 8.3 460 59 2 error (1) .043 5.4 .20 0 error (1) .047 5.4 .16 0
termination-15/cstrncat_diffterm_alloca_true-termination.c.i error (5) .44 33 6.1  0 error (1) 85   3000 700 0 error (42) .012  1.2  .044 0 unknown .0089 .90 .020  0 error (1) .46 40 3.5 0 error (1) .42 37 3.6 0 timeout 910   5700 12000 0 unknown 1.5  56 21   0 error (1) .019 4.7 .20  0 error (1) .022 4.8 .12  0 error (1) .020 4.7 .087 0 error (1) .022 4.8 .13  0 unknown 3.1   72 35    0 error (1) .040 7.3 .45 0 unknown .061 7.2 .55 0 true 9.2 480 78 2 error (1) .042 5.3 .16 0 error (1) .052 5.4 .17 0
termination-15/cstrncat_malloc_true-termination.c.i error (5) .48 34 6.0  0 error (1) 25   3100 210 0 error (42) .016  1.2  .042 0 unknown .0099 .93 .013  0 error (1) .43 40 4.2 0 error (1) .42 38 3.6 0 timeout 900   5600 12000 0 unknown 1.6  56 18   0 error (1) .029 4.8 .16  0 error (1) .019 4.7 .11  0 error (1) .043 4.8 .12  0 error (1) .044 4.7 .11  0 unknown .10  35 .67 0 error (1) .050 7.1 .47 0 unknown .081 7.3 .54 0 true 9.5 470 80 2 error (1) .051 5.3 .18 0 error (1) .051 5.3 .18 0
termination-15/cstrncat_mixed_alloca_true-termination.c.i error (5) .48 33 6.4  0 error (1) 86   3900 740 0 error (42) .012  1.2  .036 0 unknown .0073 .89 .016  0 error (1) .45 40 4.2 0 error (1) .42 37 3.7 0 timeout 900   4200 11000 0 unknown 1.6  56 17   0 error (1) .018 4.8 .19  0 error (1) .044 4.8 .12  0 error (1) .043 4.8 .12  0 error (1) .019 4.8 .15  0 unknown 3.2   72 39    0 error (1) .044 7.4 .42 0 unknown .070 7.1 .57 0 true 9.6 480 77 2 error (1) .041 5.4 .18 0 error (1) .024 5.3 .26 0
termination-15/cstrncat_reverse_alloca_true-termination.c.i error (5) .47 33 5.4  0 out of memory 600   15000 3800 0 error (42) .019  1.3  .033 0 unknown .0089 .77 .020  0 error (1) .46 40 3.8 0 error (1) .42 37 4.0 0 timeout 900   5400 11000 0 unknown 1.6  57 18   0 error (1) .044 4.8 .12  0 error (1) .021 4.8 .11  0 error (1) .045 4.8 .12  0 error (1) .018 4.8 .12  0 unknown 3.1   72 45    0 error (1) .069 7.3 .32 0 unknown .083 7.2 .56 0 true 10   480 86 2 error (1) .050 5.5 .17 0 error (1) .051 5.4 .16 0
termination-15/cstrncmp_diffterm_alloca_true-termination.c.i true .22 26 2.0  2 true 28   2500 230 2 error (42) .013  1.2  .042 0 unknown .0090 .92 .021  0 error (1) .40 37 3.8 0 error (1) .42 38 3.9 0 timeout 900   2900 12000 0 unknown 120    62 1800   0 error (1) .019 4.8 .14  0 error (1) .019 4.7 .088 0 error (1) .022 4.8 .13  0 error (1) .044 4.9 .14  0 unknown .35  52 3.9  0 error (1) .069 7.3 .35 0 unknown .085 7.0 .45 0 true 9.2 490 67 2 error (1) .052 5.4 .15 0 error (1) .033 5.2 .19 0
termination-15/cstrncmp_malloc_true-termination.c.i false(termination) .26 27 2.4  -16 true 34   3600 270 2 error (42) .021  1.2  .039 0 unknown .0084 .82 .030  0 error (1) .42 40 3.9 0 error (1) .40 37 3.5 0 timeout 900   3200 13000 0 unknown 130    63 1600   0 error (1) .019 4.7 .15  0 error (1) .040 4.8 .14  0 error (1) .045 4.8 .12  0 error (1) .021 4.9 .20  0 unknown .10  35 .69 0 error (1) .066 7.4 .30 0 unknown .073 7.2 .56 0 true 10   480 84 2 error (1) .058 5.4 .12 0 error (1) .051 5.4 .16 0
termination-15/cstrncmp_mixed_alloca_true-termination.c.i true .20 26 2.1  2 true 30   2500 250 2 error (42) .019  1.5  .042 0 unknown .010  .88 .013  0 error (1) .39 38 4.1 0 error (1) .42 37 3.9 0 timeout 900   3200 11000 0 unknown 120    70 1600   0 error (1) .041 4.8 .10  0 error (1) .030 4.7 .11  0 error (1) .043 4.8 .12  0 error (1) .046 4.8 .15  0 unknown .35  52 3.8  0 error (1) .069 7.4 .30 0 unknown .078 7.3 .58 0 true 9.9 480 84 2 error (1) .050 5.4 .14 0 error (1) .028 5.2 .19 0
termination-15/cstrncmp_reverse_alloca_true-termination.c.i true .23 26 2.0  2 true 31   2500 200 2 error (42) .018  1.2  .040 0 unknown .0089 1.0  .019  0 error (1) .41 37 3.4 0 error (1) .43 37 4.2 0 timeout 900   3900 12000 0 unknown 130    84 1700   0 error (1) .020 4.7 .12  0 error (1) .018 4.8 .18  0 error (1) .016 4.8 .19  0 error (1) .043 4.9 .13  0 unknown .38  52 3.5  0 error (1) .070 7.2 .36 0 unknown .055 7.2 .58 0 true 11   480 91 2 error (1) .052 5.3 .17 0 error (1) .049 5.4 .17 0
termination-15/cstrncpy_diffterm_alloca_true-termination.c.i error (5) .54 35 7.2  0 timeout 900   10000 6800 0 error (42) .0089 1.4  .041 0 unknown .0091 1.0  .017  0 error (1) .45 38 3.9 0 error (1) .41 40 3.7 0 timeout 900   6200 10000 0 timeout 900    880 11000   0 error (1) .037 4.7 .12  0 error (1) .041 4.8 .10  0 error (1) .019 4.8 .12  0 error (1) .033 4.8 .19  0 unknown .33  52 4.2  0 error (1) .058 7.5 .40 0 unknown .055 7.1 .57 0 true 14   500 110 2 error (1) .050 5.3 .18 0 error (1) .051 5.4 .18 0
termination-15/cstrncpy_malloc_true-termination.c.i false(termination) .40 28 3.9  -16 error (1) 36   3500 300 0 error (42) .013  1.4  .040 0 unknown .0075 .85 .028  0 error (1) .40 39 4.2 0 error (1) .38 37 4.0 0 timeout 900   8900 9200 0 timeout 900    870 12000   0 error (1) .022 4.9 .090 0 error (1) .019 4.7 .16  0 error (1) .019 4.7 .12  0 error (1) .021 4.7 .16  0 unknown .080 35 .73 0 error (1) .066 7.1 .36 0 unknown .073 7.1 .62 0 true 16   670 130 2 error (1) .023 5.4 .21 0 error (1) .051 5.3 .14 0
termination-15/cstrncpy_mixed_alloca_true-termination.c.i error (5) .58 35 7.1  0 timeout 900   13000 6500 0 error (42) .012  1.3  .045 0 unknown .0090 .94 .022  0 error (1) .43 37 4.1 0 error (1) .37 37 3.9 0 timeout 900   9400 8500 0 unknown 900    450 14000   0 error (1) .018 4.8 .17  0 error (1) .020 4.8 .12  0 error (1) .021 4.8 .15  0 error (1) .019 4.8 .15  0 unknown .35  52 3.3  0 error (1) .045 7.4 .33 0 unknown .076 7.3 .56 0 true 15   510 100 2 error (1) .049 5.2 .20 0 error (1) .041 5.5 .23 0
termination-15/cstrncpy_reverse_alloca_true-termination.c.i error (5) .62 34 7.3  0 timeout 910   14000 7300 0 error (42) .022  1.5  .060 0 unknown .0076 .84 .040  0 error (1) .38 37 3.6 0 error (1) .40 37 3.8 0 timeout 900   9600 8100 0 unknown 900    450 13000   0 error (1) .030 4.8 .13  0 error (1) .019 4.8 .15  0 error (1) .043 5.0 .12  0 error (1) .047 4.7 .12  0 unknown .32  52 4.4  0 error (1) .069 7.2 .30 0 unknown .083 7.1 .55 0 true 14   670 110 2 error (1) .050 5.4 .18 0 error (1) .029 5.4 .21 0
termination-15/cstrpbrk_diffterm_alloca_true-termination.c.i error (5) .33 32 3.1  0 true 53   3900 370 2 error (42) .022  1.5  .049 0 unknown .0090 .80 .023  0 error (1) .43 40 4.2 0 error (1) .42 40 4.2 0 timeout 900   3700 12000 0 unknown 2.1  56 24   0 error (1) .021 4.8 .15  0 error (1) .033 4.8 .12  0 error (1) .040 4.9 .10  0 error (1) .018 4.7 .070 0 unknown 24     130 260    0 error (1) .071 7.3 .28 0 unknown .055 7.2 .59 0 true 19   530 170 2 error (1) .043 5.4 .20 0 error (1) .051 5.3 .18 0
termination-15/cstrpbrk_malloc_true-termination.c.i false(termination) .23 26 1.7  -16 true 52   4900 400 2 error (42) .021  1.1  .043 0 unknown .0086 .89 .017  0 error (1) .45 40 3.5 0 error (1) .43 40 3.8 0 timeout 900   3600 12000 0 unknown 2.2  56 27   0 error (1) .022 4.8 .12  0 error (1) .017 4.9 .16  0 error (1) .021 4.9 .11  0 error (1) .019 4.8 .19  0 unknown .10  35 .73 0 error (1) .068 7.4 .31 0 unknown .058 7.3 .59 0 true 18   710 160 2 error (1) .038 5.4 .19 0 error (1) .026 5.5 .16 0
termination-15/cstrpbrk_mixed_alloca_true-termination.c.i error (5) .31 30 3.4  0 true 48   4700 360 2 error (42) .013  1.5  .039 0 unknown .0083 .86 .027  0 error (1) .45 40 3.7 0 error (1) .41 38 4.1 0 timeout 900   3300 14000 0 unknown 2.1  56 28   0 error (1) .020 4.8 .11  0 error (1) .036 4.8 .10  0 error (1) .032 4.8 .16  0 error (1) .036 4.7 .16  0 unknown 23     130 310    0 error (1) .069 7.2 .29 0 unknown .074 7.3 .60 0 true 17   710 150 2 error (1) .052 5.4 .16 0 error (1) .051 5.5 .18 0
termination-15/cstrpbrk_reverse_alloca_true-termination.c.i error (5) .21 26 1.8  0 true 56   4000 390 2 error (42) .013  .97 .045 0 unknown .0090 .77 .018  0 error (1) .42 37 3.4 0 error (1) .43 40 4.0 0 timeout 900   3700 12000 0 unknown 2.1  56 23   0 error (1) .044 4.8 .15  0 error (1) .019 4.8 .13  0 error (1) .021 4.8 .15  0 error (1) .020 4.8 .15  0 unknown 23     130 290    0 error (1) .041 7.3 .47 0 unknown .082 7.2 .43 0 true 17   550 160 2 error (1) .027 5.4 .16 0 error (1) .053 5.3 .19 0
termination-15/cstrspn_diffterm_alloca_true-termination.c.i error (5) .23 26 1.9  0 true 57   3900 380 2 error (42) .011  1.4  .047 0 unknown .010  1.1  .017  0 error (1) .44 38 3.8 0 error (1) .44 38 3.8 0 timeout 900   3700 14000 0 unknown 2.1  56 23   0 error (1) .044 4.8 .13  0 error (1) .044 4.8 .12  0 error (1) .046 4.8 .12  0 error (1) .044 4.8 .10  0 unknown .15  42 1.8  0 error (1) .064 7.5 .34 0 unknown .056 7.2 .58 0 true 20   560 180 2 error (1) .043 5.4 .23 0 error (1) .046 5.3 .17 0
termination-15/cstrspn_malloc_true-termination.c.i false(termination) .20 26 2.2  -16 true 61   4800 440 2 error (42) .015  1.2  .044 0 unknown .0086 .85 .028  0 error (1) .44 37 3.7 0 error (1) .40 37 3.6 0 timeout 900   3700 11000 0 unknown 2.3  57 25   0 error (1) .021 4.7 .14  0 error (1) .021 4.8 .14  0 error (1) .019 4.7 .18  0 error (1) .020 4.8 .12  0 unknown .078 35 .74 0 error (1) .069 7.2 .31 0 unknown .076 7.0 .60 0 true 17   550 160 2 error (1) .052 5.3 .15 0 error (1) .053 5.3 .14 0
termination-15/cstrspn_mixed_alloca_true-termination.c.i error (5) .31 30 2.9  0 true 58   5000 430 2 error (42) .021  1.1  .052 0 unknown .0081 .92 .022  0 error (1) .41 38 3.5 0 error (1) .40 37 3.9 0 timeout 900   3700 12000 0 unknown 2.2  57 22   0 error (1) .044 4.9 .16  0 error (1) .039 4.8 .13  0 error (1) .044 4.8 .13  0 error (1) .045 4.8 .10  0 unknown .14  42 1.8  0 error (1) .069 7.4 .39 0 unknown .082 7.2 .56 0 true 18   550 170 2 error (1) .046 5.4 .16 0 error (1) .043 5.2 .21 0
termination-15/cstrspn_reverse_alloca_true-termination.c.i error (5) .37 30 3.9  0 true 59   4100 480 2 error (42) .015  1.3  .047 0 unknown .010  .92 .028  0 error (1) .40 37 3.5 0 error (1) .42 37 3.5 0 timeout 900   3700 12000 0 unknown 2.2  56 25   0 error (1) .021 4.7 .093 0 error (1) .033 4.9 .16  0 error (1) .031 4.8 .11  0 error (1) .043 4.8 .12  0 unknown .15  42 1.6  0 error (1) .069 7.2 .30 0 unknown .078 7.3 .55 0 true 19   700 150 2 error (1) .025 5.4 .22 0 error (1) .047 5.3 .16 0
termination-15/array04_alloca_false-termination.c.i error (5) .38 28 3.8  0 false(termination) 29   1600 200 1 error (42) .021  1.1  .047 0 unknown .0093 .68 .019  0 error (1) .42 40 4.0 0 error (1) .39 37 3.5 0 false(termination) 8.3 450 64 1 unknown 1.5  56 18   0 error (1) .020 4.8 .14  0 error (1) .019 4.8 .16  0 error (1) .035 4.8 .14  0 error (1) .019 4.8 .16  0 unknown 2.3   58 32    0 error (1) .057 7.3 .41 0 unknown .054 7.3 .53 0 false(termination) 7.6 410 67 1 error (1) .027 5.3 .19 0 error (1) .049 5.3 .15 0
termination-15/array14_alloca_false-termination.c.i error (5) .35 28 3.9  0 error (1) 52   3600 590 0 error (42) .021  1.4  .047 0 unknown .0089 .95 .025  0 error (1) .43 39 4.3 0 error (1) .42 37 3.8 0 timeout 900   4500 11000 0 unknown 1.6  57 17   0 error (1) .021 4.7 .15  0 error (1) .019 4.8 .15  0 error (1) .034 4.9 .11  0 error (1) .020 4.8 .16  0 unknown 34     230 370    0 error (1) .067 7.2 .32 0 unknown .081 7.3 .51 0 false(termination) 13   490 100 1 error (1) .026 5.4 .17 0 error (1) .051 5.5 .18 0
termination-15/array15_alloca_false-termination.c.i error (5) .32 28 2.9  0 error (1) 54   2300 530 0 error (42) .023  1.2  .041 0 unknown .010  1.0  .024  0 error (1) .43 40 3.6 0 error (1) .44 40 4.0 0 timeout 900   4800 13000 0 unknown 1.6  56 20   0 error (1) .019 4.8 .17  0 error (1) .021 4.8 .14  0 error (1) .020 4.8 .12  0 error (1) .022 4.8 .17  0 unknown 34     230 490    0 error (1) .057 7.3 .38 0 unknown .053 7.3 .55 0 false(termination) 13   490 110 1 error (1) .040 5.4 .20 0 error (1) .041 5.4 .21 0
termination-15/array16_alloca_original_false-termination.c.i error (5) .34 30 3.3  0 error (1) 53   3600 500 0 error (42) .021  1.5  .052 0 unknown .011  1.0  .024  0 error (1) .41 40 3.8 0 error (1) .39 37 3.7 0 timeout 900   5800 10000 0 unknown 1.6  56 19   0 error (1) .044 4.8 .13  0 error (1) .030 4.8 .13  0 error (1) .020 4.8 .14  0 error (1) .041 4.8 .12  0 unknown 69     330 780    0 error (1) .045 7.1 .38 0 unknown .053 7.1 .65 0 false(termination) 17   550 140 1 error (1) .024 5.3 .23 0 error (1) .053 5.3 .17 0
termination-15/array19_alloca_false-termination.c.i error (5) .40 31 4.7  0 false(termination) 27   1500 170 1 error (42) .018  1.2  .039 0 unknown .0090 .77 .019  0 error (1) .43 40 4.0 0 error (1) .46 40 3.9 0 false(termination) 7.1 430 56 1 unknown 1.5  56 15   0 error (1) .019 4.8 .15  0 error (1) .044 4.9 .10  0 error (1) .020 4.7 .12  0 error (1) .044 4.8 .12  0 unknown 2.5   59 33    0 error (1) .057 7.2 .33 0 unknown .055 7.1 .55 0 false(termination) 8.4 410 72 1 error (1) .028 5.3 .12 0 error (1) .052 5.4 .15 0
termination-15/array20_alloca_false-termination.c.i error (5) .52 33 5.7  0 timeout 900   14000 5000 0 error (42) .019  1.1  .049 0 unknown .0090 .89 .019  0 error (1) .45 40 3.7 0 error (1) .39 37 3.5 0 unknown 50   3000 410 0 unknown 1.6  57 17   0 error (1) .022 4.8 .15  0 error (1) .038 4.8 .12  0 error (1) .042 4.8 .10  0 error (1) .043 4.9 .12  0 true .58  50 5.8  -32 error (1) .043 7.3 .40 0 unknown .083 7.2 .54 0 false(termination) 9.0 410 64 1 error (1) .024 5.4 .26 0 error (1) .045 5.4 .15 0
termination-recursive-malloc/chunk1_true-termination.c.i error (5) .16 24 1.2  0 error (1) 19   2400 170 0 error (42) .016  1.3  .044 0 unknown .010  1.0  .020  0 error (1) .43 38 3.8 0 error (1) .38 37 4.0 0 error (recursion) 2.5 270 20 0 unknown 1.2  56 16   0 error (1) .031 4.9 .11  0 error (1) .020 4.8 .16  0 error (1) .030 4.7 .17  0 error (1) .034 4.8 .15  0 unknown .084 35 .50 0 error (1) .058 7.2 .38 0 unknown .055 7.2 .56 0 true 9.3 490 76 2 error (1) .050 5.4 .17 0 error (1) .049 5.4 .17 0
termination-recursive-malloc/chunk2_true-termination.c.i error (5) .16 24 1.3  0 error (1) 40   3500 410 0 error (42) .019  1.5  .053 0 unknown .010  .77 .022  0 error (1) .41 37 4.1 0 error (1) .41 38 3.9 0 error (recursion) 2.6 280 25 0 unknown 1.4  56 20   0 error (1) .023 4.8 .17  0 error (1) .042 4.8 .11  0 error (1) .018 4.7 .14  0 error (1) .044 4.8 .11  0 unknown .096 34 .54 0 error (1) .060 7.3 .34 0 unknown .075 7.3 .57 0 timeout 900   2600 12000 0 error (1) .025 5.4 .24 0 error (1) .054 5.6 .17 0
termination-recursive-malloc/chunk3_true-termination.c.i error (5) .17 24 1.5  0 error (1) 45   3600 460 0 error (42) .021  1.3  .038 0 unknown .0088 .61 .022  0 error (1) .43 37 3.6 0 error (1) .43 40 4.0 0 error (recursion) 2.7 270 21 0 unknown 1.7  56 20   0 error (1) .037 4.7 .15  0 error (1) .019 4.8 .13  0 error (1) .021 4.9 .077 0 error (1) .023 4.7 .12  0 unknown .079 35 .52 0 error (1) .042 7.5 .34 0 unknown .052 7.3 .62 0 unknown 310   2100 4000 0 error (1) .026 5.4 .17 0 error (1) .053 5.4 .18 0
termination-recursive-malloc/insertionSort_recursive_true-termination.c.i error (5) .14 24 1.2  0 error (1) 35   2300 260 0 error (42) .022  1.4  .041 0 unknown .0086 .73 .020  0 error (1) .41 38 3.4 0 error (1) .44 40 3.6 0 error (recursion) 2.8 290 21 0 unknown 2.6  57 30   0 error (1) .044 4.8 .15  0 error (1) .043 4.7 .11  0 error (1) .019 4.8 .15  0 error (1) .020 4.7 .16  0 unknown .090 35 .61 0 error (1) .061 7.3 .35 0 unknown .081 7.2 .48 0 true 19   560 180 2 error (1) .047 5.3 .14 0 error (1) .052 5.3 .14 0
termination-recursive-malloc/mergeSort_true-termination.c.i error (5) .19 24 1.3  0 error (1) 27   1800 250 0 error (42) .012  1.4  .056 0 unknown .0090 1.1  .023  0 error (1) .40 38 3.9 0 error (1) .44 40 3.7 0 error (recursion) 3.0 290 23 0 unknown 900    7800 12000   0 error (1) .031 4.8 .13  0 error (1) .033 4.9 .12  0 error (1) .020 4.7 .12  0 error (1) .021 4.8 .15  0 unknown .097 35 .73 0 error (1) .060 7.3 .37 0 unknown .054 7.1 .65 0 error (1) 490   2700 6200 0 error (1) .024 5.4 .17 0 error (1) .045 5.5 .19 0
termination-recursive-malloc/mutual_simple2_true-termination.c.i error (5) .15 24 1.6  0 true 17   2300 130 2 error (42) .020  1.2  .048 0 unknown .0091 .92 .021  0 error (1) .43 40 3.9 0 error (1) .43 40 4.1 0 error (recursion) 2.7 280 25 0 unknown 1.3  56 17   0 error (1) .019 4.8 .13  0 error (1) .040 4.8 .15  0 error (1) .031 4.7 .17  0 error (1) .020 4.8 .13  0 unknown .096 35 .62 0 error (1) .066 7.4 .33 0 unknown .055 7.3 .57 0 true 16   650 140 2 error (1) .049 5.5 .16 0 error (1) .024 5.4 .18 0
termination-recursive-malloc/mutual_simple_true-termination.c.i error (5) .18 24 1.4  0 true 9.1 730 66 2 error (42) .014  1.3  .039 0 unknown .0087 .82 .021  0 error (1) .42 38 4.0 0 error (1) .42 40 3.6 0 error (recursion) 2.6 280 22 0 unknown 1.2  56 15   0 error (1) .022 4.8 .12  0 error (1) .036 4.7 .093 0 error (1) .032 4.9 .15  0 error (1) .044 4.8 .13  0 unknown .096 34 .59 0 error (1) .043 7.4 .33 0 unknown .083 7.2 .54 0 true 8.3 470 72 2 error (1) .042 5.4 .20 0 error (1) .051 5.3 .19 0
termination-recursive-malloc/rec_malloc_ex10_true-termination.c.i error (5) .15 23 1.3  0 error (1) 15   2300 140 0 error (42) .012  1.1  .047 0 unknown .0095 .77 .020  0 error (1) .40 38 4.0 0 error (1) .39 37 3.6 0 error (recursion) 2.8 290 22 0 unknown 1.3  55 16   0 error (1) .022 4.8 .17  0 error (1) .022 4.9 .15  0 error (1) .046 4.8 .12  0 error (1) .044 4.8 .12  0 unknown .088 35 .57 0 error (1) .069 7.6 .32 0 unknown .078 7.2 .50 0 true 12   530 110 2 error (1) .051 5.5 .17 0 error (1) .025 5.5 .26 0
termination-recursive-malloc/rec_malloc_ex11B_true-termination.c.i error (5) .15 23 1.6  0 true 42   2600 360 2 error (42) .018  1.2  .048 0 unknown .0097 .89 .015  0 error (1) .42 40 3.9 0 error (1) .42 40 4.5 0 error (recursion) 2.8 270 20 0 unknown 6.3  110 74   0 error (1) .044 4.7 .092 0 error (1) .021 4.8 .082 0 error (1) .033 4.8 .11  0 error (1) .019 4.7 .13  0 unknown .074 35 .58 0 error (1) .065 7.2 .33 0 unknown .073 7.3 .61 0 true 24   830 220 2 error (1) .028 5.4 .21 0 error (1) .042 5.4 .18 0
termination-recursive-malloc/rec_malloc_ex11C_true-termination.c.i error (5) .16 24 1.5  0 true 60   3500 720 2 error (42) .014  1.4  .040 0 unknown .0089 .93 .023  0 error (1) .42 37 4.0 0 error (1) .41 37 3.7 0 error (recursion) 2.7 280 24 0 unknown 8.5  220 110   0 error (1) .034 4.8 .11  0 error (1) .021 4.7 .14  0 error (1) .021 4.7 .13  0 error (1) .020 4.7 .11  0 unknown .096 34 .60 0 error (1) .061 7.3 .39 0 unknown .080 7.2 .46 0 true 18   600 180 2 error (1) .053 5.3 .13 0 error (1) .024 5.3 .21 0
termination-recursive-malloc/rec_malloc_ex11D_true-termination.c.i error (5) .17 24 1.3  0 true 71   3600 870 2 error (42) .021  1.1  .041 0 unknown .0090 .76 .022  0 error (1) .43 41 4.0 0 error (1) .41 37 3.6 0 error (recursion) 2.6 280 25 0 unknown 8.1  200 96   0 error (1) .021 4.8 .13  0 error (1) .022 4.8 .11  0 error (1) .048 4.8 .11  0 error (1) .021 4.7 .10  0 unknown .097 35 .59 0 error (1) .059 7.3 .32 0 unknown .072 7.3 .56 0 true 21   600 240 2 error (1) .026 5.3 .17 0 error (1) .028 5.5 .21 0
termination-recursive-malloc/rec_malloc_ex11_true-termination.c.i error (5) .17 24 1.6  0 true 46   3800 480 2 error (42) .015  1.2  .043 0 unknown .0090 .70 .018  0 error (1) .40 37 4.0 0 error (1) .43 40 4.1 0 error (recursion) 2.7 280 24 0 unknown 8.3  210 110   0 error (1) .019 4.8 .17  0 error (1) .019 4.8 .074 0 error (1) .019 4.8 .15  0 error (1) .044 4.8 .13  0 unknown .096 35 .51 0 error (1) .043 7.3 .38 0 unknown .079 7.3 .55 0 true 42   1400 340 2 error (1) .051 5.4 .17 0 error (1) .050 5.3 .20 0
termination-recursive-malloc/rec_malloc_ex1_true-termination.c.i error (5) .16 23 1.6  0 true 42   3000 420 2 error (42) .017  1.1  .037 0 unknown .0091 .87 .025  0 error (1) .41 38 3.8 0 error (1) .43 40 4.3 0 error (recursion) 2.7 280 24 0 unknown 5.0  97 73   0 error (1) .019 4.7 .14  0 error (1) .034 4.8 .14  0 error (1) .017 4.8 .19  0 error (1) .022 4.8 .12  0 unknown .070 35 .69 0 error (1) .071 7.4 .28 0 unknown .052 7.1 .55 0 timeout 900   3000 8500 0 error (1) .044 5.4 .21 0 error (1) .051 5.3 .14 0
termination-recursive-malloc/rec_malloc_ex2_true-termination.c.i error (5) .18 24 1.5  0 true 56   2500 530 2 error (42) .013  1.2  .040 0 unknown .0086 .98 .031  0 error (1) .42 37 3.6 0 error (1) .43 40 3.8 0 error (recursion) 2.6 280 23 0 unknown 3.7  84 42   0 error (1) .040 4.8 .13  0 error (1) .044 4.8 .16  0 error (1) .030 4.7 .11  0 error (1) .020 4.8 .16  0 unknown .069 35 .54 0 error (1) .043 7.3 .37 0 unknown .052 7.3 .61 0 true 43   800 470 2 error (1) .055 5.4 .16 0 error (1) .026 5.4 .20 0
termination-recursive-malloc/rec_malloc_ex3_true-termination.c.i error (5) .15 24 1.4  0 true 39   2500 260 2 error (42) .015  1.0  .052 0 unknown .0069 .80 .030  0 error (1) .40 40 4.0 0 error (1) .42 40 3.9 0 error (recursion) 2.5 270 24 0 unknown 2.6  55 28   0 error (1) .018 4.8 .15  0 error (1) .044 4.8 .10  0 error (1) .018 4.8 .17  0 error (1) .019 4.8 .11  0 unknown .068 34 .68 0 error (1) .066 7.4 .33 0 unknown .082 7.3 .51 0 true 22   830 210 2 error (1) .025 5.4 .16 0 error (1) .027 5.3 .19 0
termination-recursive-malloc/rec_malloc_ex4_true-termination.c.i error (5) .17 23 1.3  0 true 27   2300 240 2 error (42) .015  1.1  .051 0 unknown .0054 .65 .013  0 error (1) .41 38 3.3 0 error (1) .42 40 3.6 0 error (recursion) 2.5 270 24 0 unknown 1.3  56 15   0 error (1) .022 4.8 .10  0 error (1) .044 4.8 .11  0 error (1) .030 4.8 .19  0 error (1) .024 5.0 .15  0 unknown .092 34 .58 0 error (1) .062 7.2 .34 0 unknown .056 7.1 .56 0 true 14   500 120 2 error (1) .045 5.3 .17 0 error (1) .051 5.4 .19 0
termination-recursive-malloc/rec_malloc_ex5B_true-termination.c.i error (5) .19 24 1.2  0 true 570   3800 8000 2 error (42) .021  1.2  .054 0 unknown .010  .93 .028  0 error (1) .39 38 3.3 0 error (1) .43 40 4.1 0 error (recursion) 2.6 280 21 0 unknown 13    200 170   0 error (1) .021 4.8 .15  0 error (1) .019 4.8 .12  0 error (1) .044 4.8 .11  0 error (1) .020 4.8 .12  0 unknown .065 34 .89 0 error (1) .066 7.1 .33 0 unknown .081 7.1 .49 0 timeout 900   8900 11000 0 error (1) .025 5.5 .14 0 error (1) .041 5.5 .21 0
termination-recursive-malloc/rec_malloc_ex5_true-termination.c.i error (5) .17 24 1.5  0 true 80   3500 880 2 error (42) .013  1.2  .036 0 unknown .0088 .81 .015  0 error (1) .40 38 3.6 0 error (1) .45 40 4.2 0 error (recursion) 2.6 280 25 0 unknown 4.5  100 60   0 error (1) .042 4.7 .13  0 error (1) .042 4.7 .14  0 error (1) .017 4.8 .16  0 error (1) .046 4.8 .10  0 unknown .076 35 .54 0 error (1) .040 7.2 .43 0 unknown .085 7.2 .49 0 true 28   810 280 2 error (1) .025 5.3 .22 0 error (1) .052 5.3 .16 0
termination-recursive-malloc/rec_malloc_ex6_true-termination.c.i error (5) .18 24 1.3  0 error (1) 100   7500 630 0 error (42) .020  1.1  .037 0 unknown .0091 .92 .024  0 error (1) .44 40 4.1 0 error (1) .41 40 3.5 0 error (recursion) 2.7 290 26 0 unknown 1.3  56 13   0 error (1) .020 4.8 .17  0 error (1) .046 4.9 .11  0 error (1) .031 4.7 .15  0 error (1) .044 4.8 .13  0 unknown .063 35 .73 0 error (1) .069 7.1 .33 0 unknown .054 7.1 .57 0 unknown 35   1100 280 0 error (1) .041 5.3 .22 0 error (1) .025 5.4 .19 0
termination-recursive-malloc/rec_malloc_ex7B_true-termination.c.i error (5) .16 24 1.5  0 error (1) 8.8 670 69 0 error (42) .015  1.0  .038 0 unknown .0093 .88 .021  0 error (1) .46 40 3.9 0 error (1) .43 37 3.6 0 error (recursion) 2.8 290 22 0 unknown 1.3  56 15   0 error (1) .032 4.8 .14  0 error (1) .043 4.7 .11  0 error (1) .027 4.9 .15  0 error (1) .022 4.8 .15  0 unknown .081 35 .74 0 error (1) .068 7.3 .34 0 unknown .083 7.3 .53 0 true 14   530 140 2 error (1) .051 5.3 .15 0 error (1) .054 5.4 .15 0
termination-recursive-malloc/rec_malloc_ex7_true-termination.c.i error (5) .15 24 1.5  0 true 25   3500 230 2 error (42) .021  1.1  .053 0 unknown .0099 .91 .020  0 error (1) .41 39 3.9 0 error (1) .42 37 3.5 0 error (recursion) 2.7 290 22 0 unknown 1.3  56 14   0 error (1) .020 4.8 .14  0 error (1) .032 4.7 .12  0 error (1) .021 4.8 .088 0 error (1) .044 4.8 .13  0 unknown .064 35 .67 0 error (1) .064 7.2 .29 0 unknown .055 7.3 .50 0 unknown 45   2200 380 0 error (1) .053 5.3 .16 0 error (1) .041 5.5 .21 0
termination-recursive-malloc/rec_malloc_ex8_true-termination.c.i error (5) .18 24 1.3  0 true 27   3500 260 2 error (42) .019  1.1  .049 0 unknown .0073 1.1  .032  0 error (1) .39 38 3.5 0 error (1) .43 38 4.3 0 error (recursion) 2.7 290 24 0 unknown 1.3  57 16   0 error (1) .022 4.7 .14  0 error (1) .044 4.8 .14  0 error (1) .018 4.7 .16  0 error (1) .019 4.8 .14  0 unknown .094 36 .59 0 error (1) .057 7.2 .40 0 unknown .054 7.1 .66 0 unknown 58   2700 430 0 error (1) .051 5.4 .18 0 error (1) .027 5.3 .22 0
termination-recursive-malloc/rec_malloc_ex9_true-termination.c.i error (5) .15 24 1.7  0 true 39   2500 390 2 error (42) .011  1.3  .036 0 unknown .0098 .91 .016  0 error (1) .41 38 3.8 0 error (1) .40 38 3.8 0 error (recursion) 2.7 280 23 0 unknown 4.8  92 64   0 error (1) .021 4.8 .14  0 error (1) .034 4.8 .18  0 error (1) .019 4.8 .13  0 error (1) .021 4.8 .13  0 unknown .070 35 .57 0 error (1) .042 7.3 .40 0 unknown .051 7.2 .59 0 true 200   1000 2500 2 error (1) .023 5.5 .19 0 error (1) .025 5.4 .16 0
termination-recursive-malloc/rec_strcopy_malloc2_true-termination.c.i error (5) .19 24 1.2  0 timeout 900   3600 11000 0 error (42) .022  1.1  .044 0 unknown .0090 .84 .022  0 error (1) .42 37 3.7 0 error (1) .42 40 3.7 0 error (recursion) 2.6 270 22 0 unknown 1.4  56 20   0 error (1) .044 4.8 .14  0 error (1) .044 4.8 .11  0 error (1) .020 4.7 .11  0 error (1) .043 4.7 .091 0 unknown .069 34 .67 0 error (1) .061 7.1 .37 0 unknown .081 7.2 .49 0 true 120   530 1300 2 error (1) .052 5.5 .15 0 error (1) .028 5.4 .16 0
termination-recursive-malloc/rec_strcopy_malloc_true-termination.c.i error (5) .17 24 1.4  0 error (1) 11   690 81 0 error (42) .022  1.3  .037 0 unknown .0055 .76 .027  0 error (1) .40 37 4.0 0 error (1) .41 37 3.4 0 error (recursion) 2.6 280 23 0 unknown 1.4  56 15   0 error (1) .034 4.7 .11  0 error (1) .023 4.9 .17  0 error (1) .020 4.8 .15  0 error (1) .038 4.8 .14  0 unknown .075 34 .58 0 error (1) .069 7.2 .30 0 unknown .055 7.2 .59 0 true 10   500 79 2 error (1) .050 5.5 .17 0 error (1) .050 5.3 .17 0
termination-recursive-malloc/rec_strlen_malloc_true-termination.c.i error (5) .11 22 .63 0 true 9.8 750 72 2 error (42) .018  1.4  .032 0 unknown .0091 .96 .022  0 error (1) .41 37 3.5 0 error (1) .42 38 3.9 0 error (recursion) 2.4 260 23 0 unknown 1.2  55 13   0 error (1) .020 4.8 .14  0 error (1) .022 4.8 .15  0 error (1) .044 4.8 .081 0 error (1) .044 4.8 .14  0 unknown .089 35 .59 0 error (1) .069 7.5 .36 0 unknown .082 7.2 .56 0 true 8.0 420 70 2 error (1) .046 5.3 .14 0 error (1) .023 5.3 .18 0
termination-recursive-malloc/selectionSort_recursive_true-termination.c.i error (5) .18 24 1.3  0 error (1) 42   3600 330 0 error (42) .021  1.4  .039 0 unknown .010  .79 .013  0 error (1) .42 38 4.6 0 error (1) .44 40 4.3 0 error (recursion) 2.6 280 24 0 unknown 3.0  56 38   0 error (1) .044 4.8 .095 0 error (1) .031 4.7 .13  0 error (1) .021 4.8 .14  0 error (1) .027 4.7 .13  0 unknown .063 34 .88 0 error (1) .062 7.4 .35 0 unknown .054 7.0 .61 0 true 17   710 150 2 error (1) .051 5.3 .17 0 error (1) .038 5.3 .22 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 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 262 2000   7900 25000   -96 262 47000 1000000 380000 328 262 4.3 320 11 0 262 2.3 230 5.7 0 262 110 10000 1000 0 262 110 10000 1000 0 262 150000 800000 1900000 -20 262 17000 28000 220000 -168 262 7.3 1300 35 0 262 7.4 1300 35 0 262 7.7 1300 34 0 262 8.1 1300 35 0 262 1200    61000 15000   61 262 16 1900 92 0 262 18 1900 150 0 262 25000 300000 290000 413 262 11 1400 46 0 262 11 1400 47 0
    correct results 80 120   2400 1500   160 167 7300 410000 64000 328 0 0 0 0 26 330 18000 2700 44 108 140 3500 1700 216 0 0 0 0 55 60    3400 730   109 0 0 214 5500 140000 59000 413 0 0
        correct true 80 120   2400 1500   160 161 7200 410000 63000 322 0 0 0 0 18 280 14000 2200 36 108 140 3500 1700 216 0 0 0 0 54 60    3400 720   108 0 0 199 5300 130000 57000 398 0 0
        correct false 0 6 74 4400 500 6 0 0 0 0 8 58 3900 510 8 0 0 0 0 0 1 .20 48 1.6 1 0 0 15 190 7600 1500 15 0 0
    correct-unconfimed results 0 0 0 0 0 0 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 0 0 0 0 0
        correct-unconfirmed false 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
    incorrect results 12 2.9 320 27   -256 0 0 0 0 0 4 880 8300 11000 -64 12 12 350 140 -384 0 0 0 0 2 1.1  100 12   -48 0 0 0 0 0
        incorrect true 4 1.0 110 9.9 -128 0 0 0 0 0 0 12 12 350 140 -384 0 0 0 0 1 .58 50 5.8 -32 0 0 0 0 0
        incorrect false 8 1.9 210 17   -128 0 0 0 0 0 4 880 8300 11000 -64 0 0 0 0 0 1 .50 50 6.0 -16 0 0 0 0 0
score (262 tasks, max score: 506) -96 328 0 0 0 0 -20 -168 0 0 0 0 61 0 0 413 0 0
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