Tool 2LS 0.3.4 Cascade 2.0 CBMC CPAchecker 1.4-svcomp16c CPAchecker 1.4-svn 18373 CPAchecker 1.4-svcomp16c ESBMC ESBMC version 2.0.0 64-bit x86_64 linux DepthK ESBMC+DepthK version 2.1 Forest svc_16_20151108 Forester Map2Check 6 Predator-HP SeaHorn-F16 0.1.0 SMACK+Corral 1.5.2 symbiotic 3.0.1 ULTIMATE Automizer cfb9fd9e ULTIMATE Kojak fd30d3d8
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24] [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23] [zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus13; zeus15; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24] [zeus02; zeus04; zeus05; zeus09; zeus11; zeus17; zeus18; zeus19; zeus20; zeus22; zeus23; zeus24] [zeus01; zeus05; zeus06; zeus08; zeus09; zeus10; zeus11; zeus13; zeus14; zeus16; zeus17; zeus18; zeus19; zeus21; zeus22; zeus23] [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-22-generic Linux 4.2.0-23-generic Linux 4.2.0-22-generic Linux 4.2.0-23-generic Linux 4.2.0-22-generic Linux 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-02 22:42:27 CET [[ 2016-01-15 08:01:51 CET ]] [[ 2016-01-15 21:37:22 CET ]] 2016-01-16 07:57:57 CET [[ 2016-01-16 11:29:40 CET ]] [[ 2016-01-16 11:29:59 CET ]] 2016-01-03 00:42:25 CET [[ 2016-01-15 08:22:02 CET ]] [[ 2016-01-15 21:54:19 CET ]] 2016-01-04 06:25:51 CET [[ 2016-01-15 08:31:02 CET ]] [[ 2016-01-15 21:59:57 CET ]] 2016-01-04 01:42:53 CET [[ 2016-01-15 08:36:34 CET ]] [[ 2016-01-15 22:02:40 CET ]] 2016-01-04 20:04:07 CET [[ 2016-01-15 08:41:31 CET ]] [[ 2016-01-15 22:05:37 CET ]] 2016-01-04 13:17:38 CET [[ 2016-01-15 08:48:20 CET ]] [[ 2016-01-15 22:10:37 CET ]] 2016-01-16 17:45:19 CET [[ 2016-01-17 00:36:28 CET ]] [[ 2016-01-17 00:39:38 CET ]] 2016-01-05 14:06:34 CET [[ 2016-01-15 09:00:06 CET ]] [[ 2016-01-15 22:17:52 CET ]] 2016-01-09 23:49:59 CET [[ 2016-01-15 09:05:13 CET ]] [[ 2016-01-15 22:20:31 CET ]] 2016-01-06 15:22:35 CET [[ 2016-01-15 09:07:03 CET ]] [[ 2016-01-15 22:21:21 CET ]] 2016-01-10 00:26:08 CET [[ 2016-01-15 09:20:20 CET ]] [[ 2016-01-15 22:28:13 CET ]] 2016-01-07 06:55:25 CET [[ 2016-01-15 09:23:45 CET ]] [[ 2016-01-15 22:28:52 CET ]] 2016-01-11 21:35:00 [[ 2016-01-15 18:20:27 CET ]] [[ 2016-01-15 22:30:28 CET ]] 2016-01-07 09:05:16 CET [[ 2016-01-15 09:34:34 CET ]] [[ 2016-01-15 22:36:10 CET ]] 2016-01-07 09:04:54 CET [[ 2016-01-15 09:39:10 CET ]] [[ 2016-01-15 22:39:28 CET ]] 2016-01-14 23:51:13 CET [[ 2016-01-15 09:43:48 CET ]] [[ 2016-01-15 22:41:15 CET ]] 2016-01-08 15:10:30 CET [[ 2016-01-15 09:49:48 CET ]] [[ 2016-01-15 22:43:29 CET ]]
Run set 2ls.sv-comp16.HeapMemSafety cascade.sv-comp16.HeapMemSafety cbmc.sv-comp16.HeapMemSafety cpa-bam.sv-comp16.HeapMemSafety cpa-kind.sv-comp16.HeapMemSafety cpa-refsel.sv-comp16.HeapMemSafety cpa-seq.sv-comp16.HeapMemSafety esbmc.sv-comp16.HeapMemSafety esbmcdepthk.sv-comp16.HeapMemSafety forest.sv-comp16.HeapMemSafety forester.sv-comp16.HeapMemSafety map2check.sv-comp16.HeapMemSafety predatorhp.sv-comp16.HeapMemSafety seahorn.sv-comp16.HeapMemSafety smack.sv-comp16.HeapMemSafety symbiotic3.sv-comp16.HeapMemSafety uautomizer.sv-comp16.HeapMemSafety ukojak.sv-comp16.HeapMemSafety
Options --k-induction --competition-mode --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/2ls.2016-01-02_2242.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/2ls.2016-01-02_2242.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cascade.2016-01-16_0757.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cascade.2016-01-16_0757.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cbmc.2016-01-03_0042.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cbmc.2016-01-03_0042.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -sv-comp16-bam -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-bam.2016-01-04_0625.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-bam.2016-01-04_0625.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -sv-comp16--k-induction -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-kind.2016-01-04_0142.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-kind.2016-01-04_0142.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -sv-comp16--refsel -disable-java-assertions -heap 12500m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-refsel.2016-01-04_2004.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-refsel.2016-01-04_2004.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -sv-comp16 -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-seq.2016-01-04_1317.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-seq.2016-01-04_1317.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/esbmc.2016-01-16_1745.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/esbmc.2016-01-16_1745.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/esbmcdepthk.2016-01-05_1406.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/esbmcdepthk.2016-01-05_1406.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -svcomp [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/forest.2016-01-09_2349.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/forest.2016-01-09_2349.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] --trace error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/forester.2016-01-06_1522.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/forester.2016-01-06_1522.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/map2check.2016-01-10_0026.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/map2check.2016-01-10_0026.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] --witness error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/predatorhp.2016-01-07_0655.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/predatorhp.2016-01-07_0655.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] --cex=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/seahorn.2016-01-11_2135.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/seahorn.2016-01-11_2135.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -w error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/smack.2016-01-07_0905.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/smack.2016-01-07_0905.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/symbiotic3.2016-01-07_0904.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/symbiotic3.2016-01-07_0904.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/uautomizer.2016-01-14_2351.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/uautomizer.2016-01-14_2351.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/ukojak.2016-01-08_1510.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/ukojak.2016-01-08_1510.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/ status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB)
memsafety/960521-1_false-valid-deref.i .26  31 24   540 2.8   49 .46 49 .56 49 .61 48 12   660 4.7   57   .066 8.6 2.0   38   .039 8.5 2.9  48 10     160 .024 5.4 1.5   19   .035 3.9 900   890 140   1400
memsafety/test-0137_false-valid-deref.i 26     550 3.8 140 .82  64 .58 49 .61 49 .55 49 5.4 220 50     15000   .068 8.6 .62  38   .21  11   3.1  49 1.2   38 .026 5.5 1.6   20   .034 3.9 37   630 80   1600
memsafety/test-0235_false-valid-deref.i .60  48 16   510 850     1300 .62 49 .51 49 .53 49 7.9 270 890     23   .097 8.4 .66  39   .12  10   8.0  53 6.4   120 .025 5.6 1.6   21   .032 3.9 93   740 150   1600
memsafety/960521-1_false-valid-free.i 900     9900 18   530 2.7   49 .51 48 .60 49 .66 48 12   660 4.8   57   .064 8.7 .60  38   .048 8.5 2.9  48 10     170 .024 5.5 1.4   19   .022 3.9 900   810 140   1200
memsafety/test-0158_false-valid-free.i .22  27 3.2 130 .23  28 .57 48 .52 49 .53 48 5.2 210 .097 20   .065 8.6 .57  39   .036 8.4 3.0  50 .14  20 .042 5.6 1.5   18   .020 4.1 11   360 130   1300
memsafety/test-0232_false-valid-free.i .26  27 130   280 .28  28 .50 48 .65 49 .69 49 5.4 220 17     3200   .11  8.7 .54  39   .10  9.2 43    48 .14  21 .027 5.6 1.5   19   .023 3.9 24   460 61   990
memsafety/20020406-1_false-valid-memtrack.i .24  29 4.3 160 .51  41 .57 48 .57 49 .62 48 4.8 200 110     15000   .051 8.4 .78  39   .088 9.2 .42 32 .21  23 .018 5.5 1.6   20   .022 3.9 81   600 12   330
memsafety/20051113-1.c_false-valid-memtrack.i .23  27 4.8 180 3.5   75 .58 48 .57 49 .61 48 4.6 220 3.7   57   .11  8.8 .27  11   .071 8.5 3.1  49 .15  21 .046 5.5 1.4   19   .022 3.9 560   1100 140   1400
memsafety/lockfree-3.1_false-valid-memtrack.i 64     260 5.8 220 4.6   120 .66 49 .58 48 .57 50 910   11000 900     12000   .068 8.5 4.0   39   .095 9.2 3.3  49 .24  22 .042 5.6 1.4   19   .029 3.9 54   890 120   1500
memsafety/lockfree-3.2_false-valid-memtrack.i 18     180 4.2 160 .27  28 .60 49 .61 49 .52 49 900   11000 900     11000   .070 8.3 .67  38   .049 9.1 890    78 .16  22 .040 5.4 1.5   19   .018 3.9 19   420 14   460
memsafety/lockfree-3.3_false-valid-memtrack.i 86     270 860   490 4.3   120 .49 49 .55 50 .61 48 910   11000 900     12000   .070 8.6 2.7   39   .051 9.6 870    15000 .20  22 .032 5.6 1.5   19   .020 3.9 71   1400 130   1400
memsafety/test-0019_false-valid-memtrack.i .27  27 3.1 130 .27  27 .60 49 .64 50 .57 49 4.7 210 1.2   19   .059 8.7 .47  38   .041 8.5 2.8  48 .12  21 .048 5.4 1.3   18   .020 3.8 16   490 130   1500
memsafety/test-0102_false-valid-memtrack.i .32  32 850   310 .51  39 .58 49 .58 49 .62 48 6.1 230 480     15000   .049 8.7 1.4   39   3.2   13   5.2  49 49     750 .027 5.5 1.5   20   .018 3.9 77   730 180   1100
memsafety/test-0158_false-valid-memtrack.i .21  27 2.8 110 .24  27 .53 48 .51 50 .59 48 3.8 200 1.2   19   .10  8.6 .63  38   .044 8.3 2.6  46 .13  21 .041 5.5 1.2   18   .022 4.1 9.5 320 130   1400
memsafety/test-0220_false-valid-memtrack.i .27  28 850   300 850     6300 .49 49 .63 50 .52 49 910   11000 550     15000   .082 8.7 .65  38   .089 9.3 3.4  50 1.1   43 .024 5.5 1.5   19   .032 3.9 95   630 140   1500
memsafety/test-0232_false-valid-memtrack.i .34  30 3.1 130 .29  27 .54 49 .55 49 .61 48 4.9 210 900     4600   .050 8.5 .86  38   .076 9.1 2.7  48 .13  21 .026 5.6 1.5   19   .021 3.9 19   420 46   550
memsafety/test-0234_false-valid-memtrack.i .35  28 5.3 180 850     1200 .58 49 .51 49 .61 48 5.6 240 890     23   .066 8.5 .67  39   .15  10   3.8  52 4.5   100 .046 5.5 1.2   20   .032 3.9 160   930 140   1200
memsafety/test-0235_false-valid-memtrack.i .53  39 10   480 850     1200 .52 50 .59 49 .55 48 6.7 240 890     23   .065 8.5 .71  39   .087 10   5.8  53 4.6   100 .040 5.5 1.6   21   .022 3.9 110   850 140   1400
memsafety/960521-1_true-valid-memsafety.i 900     9900 22   550 28     14000 .48 49 .50 49 .66 48 900   800 .43  21   .063 8.9 .24  4.8 .039 8.5 29    48 900     5900 .043 5.5 19     290   .019 3.9 900   1000 140   1300
memsafety/lockfree-3.0_true-valid-memsafety.i 64     270 860   940 850     2300 .60 49 .64 50 .54 49 910   11000 900     11000   .079 8.6 .66  38   .059 9.2 510    15000 51     240 .026 5.5 1.5   19   .036 4.0 900   4200 120   1300
memsafety/test-0019_true-valid-memsafety.i .22  27 2.8 130 1.7   28 .67 48 .63 49 .61 48 3.2 180 .12  18   .066 8.5 .57  38   .061 11   1.6  46 .13  20 .025 5.5 1.4   19   .032 3.8 23   380 130   1500
memsafety/test-0102_true-valid-memsafety.i .38  32 860   640 14     640 .58 50 .60 49 .65 48 910   11000 480     15000   .069 8.6 1.5   39   400     47   8.4  49 2.2   100 .039 5.4 1.5   20   .026 3.9 86   810 120   1000
memsafety/test-0134_true-valid-memsafety.i 35     550 860   500 1.0   63 .53 48 .50 49 .63 48 900   7100 50     15000   .065 8.6 .65  39   .26  12   890    61 2.7   89 .025 5.6 1.5   20   .037 4.0 40   1000 94   1100
memsafety/test-0158_true-valid-memsafety.i .23  26 3.0 120 1.7   27 .60 50 .52 50 .56 49 3.8 180 .12  18   .088 8.6 .57  38   .039 8.3 1.5  46 .12  20 .027 5.6 1.4   18   .024 3.9 24   350 140   1300
memsafety/test-0214_true-valid-memsafety.i 14     220 860   640 90     13000 .52 49 .62 49 .61 48 910   11000 95     15000   .066 8.7 .70  39   .037 9.2 .55 35 1.3   28 .027 5.6 1.6   19   .018 3.9 110   840 63   900
memsafety/test-0217_true-valid-memsafety.i .33  40 900   1400 100     13000 .59 49 .57 49 .54 49 900   11000 490     15000   .096 8.5 3.5   39   .066 8.9 .66 33 1.3   29 .022 5.5 1.6   20   .032 3.9 80   850 65   1300
memsafety/test-0218_true-valid-memsafety.i .31  33 900   1500 83     13000 .50 49 .58 49 .60 49 910   11000 700     15000   .067 8.9 .25  5.0 .043 8.9 .56 33 1.3   29 .023 5.6 1.6   20   .022 3.8 110   840 58   1100
memsafety/test-0219_true-valid-memsafety.i .26  28 860   310 850     7400 .59 49 .61 50 .64 49 900   11000 540     15000   .061 8.7 .65  38   .094 9.4 3.3  50 2.7   80 .044 5.5 1.5   19   .017 3.9 81   660 140   1300
memsafety/test-0232_true-valid-memsafety.i .37  30 850   690 150     5400 .57 47 .60 47 .63 49 900   5800 4.9   600   .066 8.6 440     38   .077 9.1 2.7  48 1.2   21 .048 5.6 1.4   18   .015 3.8 26   450 58   1000
memsafety/test-0234_true-valid-memsafety.i .36  28 870   1100 850     1300 .55 50 .54 49 .67 50 910   10000 890     23   .078 8.7 .65  39   .095 9.6 9.2  52 2.6   89 .026 5.6 1.5   21   .015 3.8 170   1000 140   1500
memsafety/test-0235_true-valid-memsafety.i .52  44 900   1400 850     1200 .49 49 .59 49 .63 49 910   11000 900     23   .068 8.6 1.3   39   .12  9.7 4.0  53 6.2   140 .040 5.5 1.6   21   .030 3.9 170   950 140   1600
memsafety/test-0236_true-valid-memsafety.i .37  28 870   1200 850     1300 .53 49 .56 49 .57 49 910   11000 890     22   .068 8.7 .67  36   .10  10   7.4  53 2.7   81 .041 5.4 1.6   21   .028 4.1 200   1100 140   1400
memsafety/test-0237_true-valid-memsafety.i .36  28 870   1300 850     1300 .59 51 .60 46 .65 50 900   11000 890     23   .063 8.4 .69  39   .11  10   7.1  53 2.7   81 .042 5.5 1.1   21   .012 3.9 270   1400 140   1400
memsafety/test-0504_true-valid-memsafety.i .84  41 860   620 610     13000 .50 49 .58 49 .52 49 900   7500 540     15000   .074 8.5 .58  38   2.4   19   33    48 2.3   35 .035 5.6 1.4   18   .029 3.9 58   1200 120   1300
memsafety/test-0513_true-valid-memsafety.i 42     280 850   620 850     5400 .48 49 .55 49 .66 49 900   3700 80     15000   .065 8.6 .89  39   .25  11   36    49 2.3   25 .036 5.6 1.5   18   .025 3.9 18   420 84   800
memsafety/test-0521_true-valid-memsafety.i 6.4   280 860   2000 150     3600 .52 49 .59 49 .58 47 900   3700 900     10000   .096 8.4 3.4   39   1.2   27   57    150 2.4   32 .028 5.4 1.5   19   .014 3.9 75   860 79   1200
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i .50  37 850   1000 850     5600 .53 49 .59 49 .56 51 910   8400 23     6100   .065 8.8 3.0   39   .20  11   3.3  48 900     810 .026 5.6 1.5   18   .034 3.9 32   470 95   540
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i 1.1   45 860   980 850     2300 .50 49 .60 49 .60 49 900   9700 48     15000   .11  8.7 .89  39   .54  13   890    76 900     1500 .048 5.4 1.6   19   .031 3.9 46   710 130   1500
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i 1.0   45 860   1500 850     2200 .51 49 .52 51 .56 48 900   10000 47     15000   .062 8.4 .73  39   34     77   890    63 900     1100 .050 5.4 1.4   19   .014 3.8 32   600 130   1500
memsafety-ext/tree_cnstr_true-valid-memsafety.i .67  43 860   770 850     2300 .60 49 .51 48 .60 46 910   11000 65     15000   .063 8.6 3.2   39   .20  11   890    74 900     420 .038 5.5 1.5   19   .035 3.9 37   730 370   1400
memsafety-ext/tree_dsw_true-valid-memsafety.i .91  48 860   630 850     2000 .60 49 .59 49 .63 48 910   10000 63     15000   .093 8.6 2.9   39   1.0   14   890    70 900     270 .042 5.6 1.4   19   .017 3.9 96   840 47   960
memsafety-ext/tree_of_cslls_true-valid-memsafety.i .34  36 850   1100 850     200 .52 50 .58 49 .64 48 910   10000 350     15000   .095 8.5 .65  39   .42  11   21    49 900     490 .046 5.5 1.1   19   .024 3.8 60   680 48   780
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i .86  48 850   700 850     2400 .59 49 .60 49 .62 49 910   11000 66     15000   .068 8.6 .62  38   .52  11   770    48 900     440 .035 5.6 1.6   18   .019 3.9 21   490 240   990
memsafety-ext/tree_stack_true-valid-memsafety.i .89  45 850   700 850     1800 .57 48 .51 49 .58 47 910   11000 64     15000   .063 8.5 .60  38   .14  11   890    57 900     430 .032 5.4 1.4   19   .034 3.8 22   430 100   1000
list-ext-properties/960521-1_1_false-valid-deref.i .23  29 3.3 120 .22  28 .53 49 .55 49 .64 49 5.4 220 2.5   50   .096 8.7 .25  7.3 .059 8.4 3.0  48 .15  21 .032 5.5 1.4   19   .021 3.8 380   870 39   490
list-ext-properties/960521-1_1_false-valid-free.i .48  36 3.2 120 .34  28 .54 48 .61 49 .63 49 5.2 230 2.4   49   .076 8.6 72     39   .043 8.5 2.8  48 .14  21 .035 5.6 1.5   19   .022 4.0 21   360 20   390
list-ext-properties/test-0158_1_false-valid-free.i .17  26 3.1 120 .29  27 .61 49 .59 47 .65 50 4.5 190 .11  18   .062 8.4 .55  38   .070 8.3 2.9  48 .14  20 .046 5.6 1.4   18   .018 4.1 11   350 140   1500
list-ext-properties/test-0019_1_false-valid-memtrack.i .23  27 3.1 130 .23  27 .57 49 .46 49 .62 49 3.9 190 1.2   19   .061 8.7 .48  38   .033 8.6 2.8  48 .14  20 .049 5.6 1.1   18   .019 4.0 64   610 130   1600
list-ext-properties/test-0158_1_false-valid-memtrack.i .27  26 2.9 120 .26  27 .60 49 .62 49 .68 48 4.0 200 1.0   18   .066 8.6 .58  38   .036 8.3 2.3  46 .13  20 .027 5.6 1.5   18   .015 3.9 11   330 140   1200
list-ext-properties/test-0232_1_false-valid-memtrack.i .49  32 3.2 130 .32  27 .49 49 .59 49 .63 49 4.6 230 .40  52   .067 8.6 .65  38   .045 8.5 2.9  48 .15  21 .027 5.6 1.5   19   .028 4.0 18   390 140   1300
list-ext-properties/960521-1_1_true-valid-memsafety.i .29  31 320   700 160     14000 .49 49 .50 49 .56 48 9.5 670 1.6   49   .066 8.5 .53  38   .044 8.4 1.6  48 1.6   34 .024 5.6 1.5   19   .028 4.0 42   450 51   560
list-ext-properties/list-ext_1_true-valid-memsafety.i .99  41 850   360 250     2100 .58 49 .56 49 .67 49 21   1400 890     270   .064 8.4 900     680   .086 8.9 1.6  48 5.8   57 .025 5.6 1.5   19   .021 4.0 83   1100 38   620
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i .80  37 860   420 530     1900 .59 47 .58 49 .61 48 900   3800 890     220   .065 8.4 900     680   .044 9.0 1.9  48 900     460 .037 5.4 1.5   19   .033 4.0 38   670 140   1200
list-ext-properties/simple-ext_1_true-valid-memsafety.i .45  35 860   370 140     1900 .56 49 .54 49 .61 48 12   690 890     190   .067 8.4 900     860   .046 8.7 2.0  48 340     1600 .026 5.5 1.5   19   .020 3.9 44   710 360   1100
list-ext-properties/test-0019_1_true-valid-memsafety.i .23  27 3.3 130 2.1   28 .58 48 .52 50 .64 48 3.9 180 .15  18   .10  8.4 .57  38   .052 11   1.9  51 .13  21 .030 5.4 1.3   19   .017 3.9 84   750 140   1300
list-ext-properties/test-0158_1_true-valid-memsafety.i .23  27 3.5 120 2.0   28 .59 48 .70 50 .61 49 3.3 180 .12  18   .053 8.5 .56  38   .038 8.3 1.5  46 .13  20 .026 5.5 1.4   18   .034 3.9 29   330 130   1200
list-ext-properties/test-0214_1_true-valid-memsafety.i 30     260 860   460 850     12000 .62 49 .63 49 .63 48 900   5300 4.7   520   .063 8.5 .65  39   .084 9.4 .56 33 17     530 .034 5.6 1.7   20   .013 3.9 90   960 68   1000
list-ext-properties/test-0217_1_true-valid-memsafety.i .38  40 860   520 370     13000 .63 49 .61 48 .63 48 910   3900 890     2900   .090 8.6 .74  39   .071 9.0 .62 33 5.9   140 .048 5.4 1.5   19   .023 4.1 110   880 78   1200
list-ext-properties/test-0232_1_true-valid-memsafety.i .32  28 850   300 270     410 .50 48 .62 49 .62 48 7.3 440 .42  52   .069 8.7 .14  4.9 .039 8.4 1.7  48 2.1   23 .048 5.4 1.5   18   .013 3.8 29   630 140   1500
list-ext-properties/test-0504_1_true-valid-memsafety.i .95  50 860   990 240     12000 .57 46 .61 49 .53 49 740   4000 900     13000   .064 8.7 .62  39   .044 8.6 2.1  48 900     4700 .043 5.5 1.4   18   .033 3.9 62   1200 200   630
list-ext-properties/test-0513_1_true-valid-memsafety.i 3.3   77 850   630 300     13000 .58 49 .51 49 .62 48 5.4 230 50     15000   .090 8.3 27     39   .090 9.5 2.3  49 .31  23 .039 5.6 1.4   19   .034 3.8 28   390 50   960
memory-alloca/c.03-alloca_true-valid-memsafety.i .22  27 610   730 8.6   140 .59 49 .62 49 .61 48 900   8800 2.5   80   .085 8.6 .59  38   .085 9.2 1.6  46 1.2   31 .022 5.5 1.4   18   .022 3.9 32   500 48   780
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c .10  23 2.0 110 .14  25 .59 48 .62 50 .62 48 3.4 170 130     1100   .085 8.4 17     38   .072 8.5 .65 40 .14  20 .030 5.6 .050 7.3 .035 4.0 10   320 11   350
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c .14  23 1.8 110 .097 25 .56 48 .55 49 .52 48 3.2 170 130     1100   .088 8.7 16     38   .040 8.5 .54 38 .15  20 .028 5.4 .072 7.0 .017 3.8 13   350 13   410
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c .10  23 2.0 100 .17  24 .48 49 .60 49 .52 48 3.1 170 9.8   370   .085 8.6 .62  38   .039 8.2 .54 38 .15  20 .033 5.6 .057 7.4 .038 3.9 9.8 360 11   350
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c .10  23 2.0 100 .14  24 .51 49 .52 49 .70 53 3.0 160 10     370   .068 8.5 2.7   39   .043 8.2 .54 38 .12  20 .048 5.5 .051 7.1 .023 3.9 10   330 10   330
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c .11  23 900   1400 1.6   39 .53 49 .54 48 .64 48 15   720 .90  40   .073 8.5 .60  38   .042 8.3 1.1  43 2.1   38 .046 5.4 .079 7.4 .030 4.1 330   2600 63   1000
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c .10  23 870   1600 1.4   39 .58 49 .60 49 .60 48 14   730 .58  40   .070 8.6 25     38   .043 8.2 1.1  43 5.6   56 .051 5.4 .050 7.1 .021 4.1 320   2800 70   1200
ldv-memsafety/memset2_false-valid-deref-write.c .22  24 1.6 98 1.6   25 .46 50 .62 49 .54 48 3.0 160 .37  13   .072 8.7 .15  7.3 .037 8.1 .89 39 .10  19 .037 5.5 .080 7.2 .033 3.9 8.2 330 8.9 320
ldv-memsafety/memset3_false-valid-deref-write.c .22  25 1.7 98 1.7   25 .56 49 .60 49 .56 53 2.6 170 1.6   14   .055 8.4 .17  7.2 .040 8.1 .91 39 .11  20 .049 5.4 .044 7.2 .026 3.8 10   350 9.3 340
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c .22  25 1.6 97 1.3   25 .49 49 .50 48 .65 49 3.2 170 .30  13   .11  8.7 .20  7.1 .043 8.0 .92 39 .14  18 .027 5.5 .075 7.3 .035 4.0 8.1 320 10   340
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c .23  25 1.7 97 1.6   25 .59 48 .61 49 .62 48 3.2 170 1.6   14   .090 8.7 .21  7.4 .044 8.0 .91 38 .12  19 .027 5.4 .052 7.1 .022 3.9 9.3 320 8.5 320
ldv-memsafety/memsetNonZero_false-valid-deref-write.c .25  25 1.7 97 1.6   25 .60 50 .61 49 .62 46 3.0 170 1.6   14   .081 8.6 .22  7.3 .044 8.1 .76 39 .10  20 .027 5.5 .047 7.2 .016 3.8 7.9 330 8.9 320
ldv-memsafety/memset_false-valid-deref-write.c .16  24 1.6 98 1.6   25 .53 49 .66 50 .60 49 3.3 170 1.5   14   .088 8.7 .22  7.2 .044 8.1 .62 38 .11  19 .026 5.6 .043 7.1 .036 3.9 9.9 340 9.0 320
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c .11  23 900   1700 10     310 .58 49 .51 49 .62 49 540   9500 4.1   45   .064 8.5 16     38   .052 8.5 .56 38 900     1600 .026 5.6 .078 7.4 .013 3.9 15   330 170   750
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c .14  23 900   1700 2.3   29 .53 50 .59 49 .59 52 13   1300 .53  13   .066 8.6 .49  38   .065 8.2 .90 45 3.4   72 .051 5.5 .053 7.4 .020 3.9 630   3100 59   860
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c .13  23 900   1700 1.6   27 .58 49 .54 50 .61 49 8.3 640 .29  13   .11  8.7 .53  38   .036 8.2 .61 38 4.6   48 .023 5.4 .048 7.4 .021 4.0 650   3200 70   910
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c .12  23 900   1600 2.4   29 .58 48 .60 49 .62 49 13   830 .51  13   .11  8.6 3.0   39   .039 8.2 1.1  43 3.4   69 .028 5.4 .074 7.1 .014 3.9 660   2800 56   980
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c .11  23 900   1600 5.4   240 .67 49 .61 50 .62 49 81   4700 2.3   26   .074 8.6 .52  38   .070 8.2 .50 38 310     690 .038 5.5 .072 7.2 .033 3.9 900   4200 69   800
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c .11  23 900   1600 1.8   27 .57 50 .64 49 .62 48 8.9 640 .32  13   .11  8.7 5.9   39   .029 8.8 1.2  42 5.0   52 .048 5.5 .051 7.2 .032 4.1 330   2800 61   860
ldv-memsafety/StructInitialization1_true-valid-memsafety.c .16  23 3.6 130 .97  24 .56 52 .58 49 .66 52 3.2 160 .042 4.9 .068 8.6 .45  38   .054 8.1 .43 38 .12  20 .026 5.4 1.3   18   .028 3.9 12   320 130   1700
ldv-memsafety/StructInitialization2_true-valid-memsafety.c .14  23 3.6 140 .88  24 .48 49 .58 49 .62 49 2.7 160 .060 5.0 .066 8.6 .50  39   .035 8.2 .61 39 .15  19 .038 5.5 1.5   18   .022 3.9 9.8 320 140   1700
ldv-memsafety/StructInitialization_true-valid-memsafety.c .081 23 1.9 110 .78  24 .58 49 .52 50 .62 48 2.9 160 .063 13   .088 8.3 .64  38   .048 11   1.0  40 .11  19 .034 5.6 1.4   18   .032 3.9 9.0 330 130   1300
ldv-memsafety/memset2_true-valid-memsafety.c .21  24 1.6 99 1.8   25 .61 49 .60 48 .61 49 3.0 160 .29  13   .063 8.6 .56  38   .053 11   .93 38 .11  19 .050 5.6 .073 7.4 .030 3.8 45   690 130   1400
ldv-memsafety/memset3_true-valid-memsafety.c .21  25 1.4 97 1.9   25 .51 49 .68 49 .62 48 3.0 160 1.5   13   .097 8.4 .20  7.1 .038 8.1 .76 39 .12  19 .026 5.6 .075 7.1 .020 3.8 180   1200 130   1300
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c .16  24 1.6 97 1.4   25 .59 49 .55 49 .49 49 2.5 160 .35  13   .087 8.8 .21  7.4 .040 8.0 .89 39 .16  18 .037 5.6 .051 7.0 .027 3.9 46   900 130   1200
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c .21  25 1.7 99 1.9   25 .62 48 .52 49 .52 48 2.4 160 1.4   13   .051 8.6 .20  7.5 .036 8.0 .93 38 .094 18 .023 5.6 .066 7.1 .014 3.9 180   2000 130   1200
ldv-memsafety/memsetNonZero_true-valid-memsafety.c .22  25 1.7 97 1.9   25 .56 50 .50 49 .59 49 2.6 160 1.4   14   .065 8.6 .20  7.2 .039 8.1 .93 41 .11  18 .050 5.5 .038 7.3 .020 4.0 180   970 130   1100
ldv-memsafety/memset_true-valid-memsafety.c .22  24 1.4 99 1.9   25 .54 49 .60 49 .68 49 2.9 160 1.5   13   .10  8.7 .18  7.2 .051 11   .82 39 .10  19 .029 5.5 .078 7.4 .021 3.9 180   1400 130   1200
ldv-memsafety/memleaks_test14_3_false-valid-deref.i .27  28 860   420 .44  38 .53 50 .51 50 .69 49 5.0 220 .025 8.0 .11  8.6 .84  39   .062 9.5 .66 32 .21  27 .026 5.5 1.7   20   .028 4.0 29   390 15   460
ldv-memsafety/memleaks_test22_3_false-valid-deref.i .85  38 6.5 200 1.8   36 .51 50 .56 49 .68 52 6.5 240 .023 8.2 .063 8.7 1.4   39   .055 9.5 .53 32 .21  25 .034 5.4 1.6   21   .024 3.9 210   880 140   1500
ldv-memsafety/memleaks_test22_5_false-valid-deref.i .87  37 5.7 190 1.7   37 .51 49 .61 49 .52 49 6.4 230 .020 8.0 .051 8.5 1.7   39   .10  9.5 .48 32 .18  25 .036 5.5 1.6   21   .021 3.9 180   800 150   1600
ldv-memsafety/memleaks_test23_2_false-valid-deref.i .31  29 860   370 55     720 .55 49 .60 49 .56 48 6.9 250 .017 8.2 .090 8.6 2.5   45   .12  9.9 .59 32 .26  27 .037 5.5 1.6   23   .012 3.8 83   600 18   430
ldv-memsafety/memleaks_test23_4_false-valid-deref.i .32  29 8.9 200 56     720 .57 49 .58 49 .51 48 5.8 250 .028 8.2 .060 8.6 .99  39   .064 9.9 .44 32 .27  27 .045 5.4 1.7   23   .018 4.0 70   900 19   450
ldv-memsafety/memleaks_test11_1_false-valid-free.i .35  31 5.8 180 .42  36 .59 49 .58 49 .55 49 5.6 240 .022 8.3 .053 8.4 .42  7.4 .076 10   .57 32 .25  25 .043 5.5 1.2   20   .019 4.1 34   440 43   640
ldv-memsafety/memleaks_test12_false-valid-free.i .48  64 860   620 2.3   210 .63 49 .51 49 .68 49 5.9 240 .026 8.1 .061 8.6 .75  8.2 .071 10   .65 32 .38  31 .050 5.4 1.8   23   .034 3.9 15   470 17   470
ldv-memsafety/memleaks_test17_2_false-valid-free.i .26  28 860   580 1.9   50 .57 49 .59 49 .64 48 5.7 250 .042 8.2 .066 8.7 .85  39   .060 9.6 .61 33 .60  29 .028 5.5 1.6   19   .022 3.9 60   620 46   790
ldv-memsafety/memleaks_test19_false-valid-free.i .21  28 5.1 180 .33  29 .47 48 .59 50 .52 48 6.3 220 .040 8.1 .099 8.3 .92  39   .069 9.6 .63 32 .25  25 .020 5.4 1.6   20   .017 3.9 59   670 280   580
ldv-memsafety/memleaks_test2_false-valid-free.i .19  28 4.5 150 .31  29 .59 49 .51 49 .60 48 4.4 210 .031 8.1 .078 8.7 1.0   39   .065 9.9 .64 32 .23  24 .025 5.6 1.6   19   .019 3.9 12   360 9.9 340
ldv-memsafety/memleaks_test3_false-valid-free.i .27  28 4.2 150 .31  29 .59 50 .61 51 .60 49 4.8 210 .022 8.1 .10  8.6 .77  39   .061 9.9 .63 32 .25  24 .021 5.5 1.6   19   .018 3.9 8.5 330 9.5 330
ldv-memsafety/memleaks_test6_2_false-valid-free.i .30  28 4.7 170 .32  29 .53 52 .53 49 .58 49 4.9 220 .033 8.0 .072 8.4 1.5   40   .058 9.6 .63 32 .24  25 .029 5.4 1.2   20   .015 3.9 24   370 140   1300
ldv-memsafety/memleaks_test8_2_false-valid-free.i .26  28 4.4 150 .27  29 .59 49 .58 50 .61 49 5.4 210 .045 8.3 .090 8.5 .88  39   .055 9.5 .58 33 .23  25 .050 5.4 1.6   19   .019 4.0 11   330 10   330
ldv-memsafety/memleaks_test10_false-valid-memtrack.i .28  30 5.5 170 .35  29 .61 50 .64 49 .55 49 6.0 220 .040 8.1 .067 8.6 .96  37   .091 10   .66 32 .23  26 .027 5.5 1.6   19   .027 3.9 48   540 130   900
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i .30  31 5.3 170 .43  36 .54 49 .62 48 .60 48 6.3 230 .039 8.4 .061 8.5 2.1   39   .063 9.7 .57 32 .26  26 .027 5.6 1.6   20   .033 4.1 58   520 51   800
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i .24  28 4.4 160 .33  29 .49 48 .51 49 .63 49 6.1 220 .042 8.2 .062 8.5 1.1   39   .058 9.5 .64 33 .22  25 .051 5.5 1.5   20   .015 4.1 19   480 22   600
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i .29  28 4.5 170 .48  36 .52 46 .50 46 .63 50 6.0 220 .022 8.1 .062 8.4 .92  40   .063 9.7 .44 32 .24  25 .031 5.5 1.7   20   .017 3.8 16   500 17   460
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i .25  28 4.2 160 .33  29 .49 48 .50 49 .62 49 4.8 220 .022 8.0 .11  8.4 1.0   39   .062 9.5 .51 32 .24  24 .020 5.5 1.6   19   .024 3.9 38   440 16   470
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i .26  28 5.2 170 .48  36 .54 49 .64 50 .53 49 6.1 220 .045 8.0 .058 8.7 1.1   39   .074 9.7 .45 32 .23  25 .027 5.4 1.6   20   .024 4.1 30   490 14   350
ldv-memsafety/memleaks_test15_false-valid-memtrack.i .39  29 6.9 200 .44  30 .54 49 .60 49 .66 49 6.1 230 .035 8.1 .073 8.8 1.0   40   .076 9.9 .60 32 .28  26 .040 5.4 1.6   21   .028 4.1 900   1500 12   340
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i .24  28 4.3 150 .30  29 .60 49 .52 49 .54 48 4.8 220 .027 8.2 .063 8.5 1.1   39   .056 9.5 .57 32 .24  24 .026 5.5 1.6   19   .013 3.9 13   350 140   1400
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i .28  28 4.6 160 .30  29 .48 49 .58 49 .52 48 5.7 210 .044 8.0 .079 8.7 .83  39   .055 9.5 .65 32 .23  24 .048 5.5 1.5   19   .020 4.0 9.5 320 11   340
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i .28  28 860   470 2.6   56 .62 49 .59 49 .61 51 5.8 250 .023 8.1 .064 8.6 .78  39   .059 9.9 .59 32 .32  28 .033 5.5 1.6   19   .021 3.9 33   620 47   840
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i .26  28 860   540 1.6   52 .50 48 .50 49 .62 48 7.6 290 .027 8.1 .067 8.7 .89  40   .057 9.7 .66 32 .31  28 .042 5.5 1.6   19   .018 3.9 120   700 47   860
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i .30  28 4.5 160 .32  32 .63 48 .50 49 .53 49 5.6 220 .034 8.0 .11  8.7 1.4   39   .066 9.5 .45 32 .26  25 .035 5.6 1.6   19   .036 3.9 14   350 37   720
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i .25  28 860   420 1.6   44 .52 49 .51 49 .52 48 7.3 260 .045 8.1 .068 8.6 3.4   39   .089 9.5 .67 32 .30  25 .048 5.4 1.6   19   .029 3.9 14   350 49   640
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i .25  28 6.6 200 1.1   34 .53 49 .60 50 .60 49 5.7 240 .034 8.1 .052 8.6 3.3   39   .061 9.4 .64 32 170     700 .025 5.6 1.1   19   .018 3.8 660   1200 120   810
ldv-memsafety/memleaks_test1_false-valid-memtrack.i .24  28 4.1 150 .20  29 .63 48 .59 49 .66 49 4.6 210 .038 8.1 .064 8.4 .90  39   .055 9.4 .66 32 .19  24 .044 5.4 1.5   18   .031 3.9 11   340 8.7 330
ldv-memsafety/memleaks_test20_false-valid-memtrack.i .23  28 4.6 160 .32  29 .57 49 .59 49 .70 52 5.5 220 .036 8.1 .051 8.4 1.1   39   .060 9.5 .49 33 .23  24 .023 5.6 1.7   19   .018 3.9 12   340 10   340
ldv-memsafety/memleaks_test21_false-valid-memtrack.i .18  28 4.7 160 .30  29 .49 49 .56 49 .66 52 4.8 210 .018 7.8 .098 8.6 1.2   39   .063 9.5 .45 32 .23  25 .027 5.5 1.5   18   .036 4.1 10   340 9.7 330
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i .77  38 7.1 190 1.7   37 .50 50 .58 50 .59 48 5.2 230 .031 8.1 .052 8.7 .88  39   .056 9.5 .64 32 .27  25 .025 5.6 1.5   21   .018 3.9 270   1000 140   1400
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i .25  28 4.5 160 1.5   34 .50 49 .57 49 .63 48 5.6 220 .030 8.2 .10  8.7 .56  8.5 .091 9.5 .65 32 .25  25 .020 5.4 1.6   19   .017 4.0 160   690 140   1400
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i .81  38 8.4 220 1.7   36 .50 49 .62 49 .54 49 5.0 230 .017 7.8 .063 8.7 .88  39   .059 9.5 .44 32 .26  25 .047 5.5 1.7   21   .033 4.0 500   960 140   1300
ldv-memsafety/memleaks_test4_false-valid-memtrack.i .25  28 4.4 160 .21  29 .51 50 .61 49 .57 52 5.7 220 .023 8.0 .066 8.6 1.3   39   .047 9.5 .65 33 .18  24 .033 5.5 1.5   19   .014 3.9 11   330 39   760
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i .25  28 4.2 150 .28  30 .49 48 .57 49 .54 48 5.4 210 .015 8.0 .10  8.6 .86  39   .056 9.5 .44 32 .21  25 .045 5.6 1.6   19   .021 3.9 9.5 320 9.3 320
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i .24  28 4.7 190 .20  29 .60 48 .68 50 .57 49 5.5 210 .019 8.2 .063 8.6 1.2   39   .066 9.5 .66 32 .20  27 .028 5.5 1.6   19   .017 3.9 11   330 140   1500
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i .21  28 4.6 160 .28  29 .49 47 .54 50 .64 49 5.7 230 .021 7.9 .061 8.6 .86  39   .059 9.7 .61 32 .21  26 .042 5.5 1.6   19   .025 4.1 22   370 140   1300
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i .24  28 4.6 160 .32  29 .59 49 .57 50 .61 50 5.7 220 .021 8.1 .062 8.5 1.5   40   .064 9.6 .63 32 .24  25 .024 5.6 1.6   20   .021 4.0 22   480 140   1400
ldv-memsafety/memleaks_test7_false-valid-memtrack.i .25  28 4.8 170 .31  29 .58 48 .52 50 .59 48 5.9 220 .038 8.1 .071 8.3 .45  5.4 .063 9.7 .57 32 .24  25 .051 5.5 1.5   19   .026 4.1 65   520 140   1600
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i .25  28 4.3 160 .27  29 .49 49 .59 49 .53 49 5.4 210 .030 8.1 .063 8.5 1.0   39   .057 9.5 .70 35 .22  25 .027 5.5 1.4   19   .018 3.9 9.8 330 9.6 330
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i .24  28 4.3 160 .30  29 .60 48 .57 49 .60 48 5.6 220 .024 8.1 .067 8.6 1.1   39   .061 9.5 .54 32 .22  25 .024 5.5 1.5   19   .034 3.9 11   370 140   1300
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i .24  28 4.4 150 .29  29 .58 49 .58 49 .55 49 4.5 220 .034 7.9 .10  8.7 .89  39   .060 9.5 .62 32 .24  24 .026 5.5 1.6   19   .027 3.9 10   340 8.7 330
ldv-memsafety/memleaks_test10_true-valid-memsafety.i .32  30 8.5 170 2.6   32 .49 49 .59 48 .73 50 5.0 200 .022 8.1 .068 8.3 .55  8.4 .057 9.7 .66 32 .24  25 .018 5.6 1.6   19   .034 3.9 420   1900 150   710
ldv-memsafety/memleaks_test11_true-valid-memsafety.i .34  31 5.9 170 3.3   36 .50 49 .62 49 .65 49 5.2 210 .024 8.3 .070 8.6 1.1   39   .067 9.8 .66 32 .26  26 .047 5.4 1.5   20   .035 3.9 74   690 61   950
ldv-memsafety/memleaks_test12_true-valid-memsafety.i .38  64 78   270 2.6   210 .52 49 .54 49 .64 49 5.0 230 .027 8.1 .062 8.5 2.9   40   .062 10   .59 32 .41  27 .049 5.5 1.9   22   .031 4.0 18   390 18   340
ldv-memsafety/memleaks_test13_true-valid-memsafety.i .30  29 860   690 .45  38 .58 49 .62 49 .54 48 5.1 210 .023 8.0 .10  8.5 .92  39   .059 9.6 .64 32 .18  25 .028 5.6 1.6   20   .021 3.9 26   370 17   430
ldv-memsafety/memleaks_test14_true-valid-memsafety.i .26  31 860   440 .47  38 .57 48 .61 48 .57 50 4.3 210 .018 8.1 .094 8.6 .80  39   .058 9.5 .59 32 .21  25 .024 5.4 1.5   20   .021 3.9 30   510 13   330
ldv-memsafety/memleaks_test15_true-valid-memsafety.i .34  29 860   1000 3.6   39 .50 49 .58 48 .56 49 6.8 250 .039 8.0 .097 8.5 .68  7.7 .11  9.9 .63 32 .29  27 .035 5.6 1.5   21   .029 3.8 27   380 170   1000
ldv-memsafety/memleaks_test16_true-valid-memsafety.i .27  28 4.6 160 2.4   29 .57 49 .63 50 .65 50 4.6 200 .023 8.0 .064 8.4 1.0   39   .073 9.5 .60 32 .23  25 .041 5.5 1.5   19   .017 4.0 30   360 140   1600
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i .21  28 860   560 200     2200 .50 49 .56 49 .55 46 6.2 260 .035 8.1 .067 8.7 .88  39   .11  9.7 .60 35 .36  25 .046 5.5 1.3   19   .029 3.9 44   710 49   1100
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i .26  28 860   390 .55  40 .49 49 .60 49 .61 49 5.0 210 .030 8.1 .063 8.7 .89  39   .071 9.5 .67 32 .23  26 .042 5.5 1.2   20   .020 3.9 65   710 46   580
ldv-memsafety/memleaks_test18_true-valid-memsafety.i .29  28 850   640 18     530 .49 49 .53 50 .54 48 6.1 240 .031 8.3 .093 8.7 .33  5.3 .057 9.5 .64 32 .52  28 .025 5.5 1.5   19   .018 3.9 38   520 40   600
ldv-memsafety/memleaks_test19_true-valid-memsafety.i .27  28 5.5 170 2.3   29 .60 49 .63 49 .61 49 4.7 210 .025 8.1 .11  8.7 .40  7.4 .071 9.7 .64 32 .25  25 .046 5.4 1.4   19   .018 3.9 83   590 330   930
ldv-memsafety/memleaks_test1_true-valid-memsafety.i .24  28 4.2 150 2.3   29 .58 48 .66 50 .54 49 3.8 200 .021 8.2 .066 8.8 .95  39   .045 9.5 .66 32 .22  24 .039 5.4 1.5   19   .034 3.8 14   360 140   1600
ldv-memsafety/memleaks_test20_true-valid-memsafety.i .26  28 36   270 2.4   29 .51 49 .51 49 .62 49 4.1 210 .027 8.2 .099 8.5 .37  5.1 .063 9.6 .65 32 .20  26 .046 5.4 1.2   19   .024 3.9 12   350 11   340
ldv-memsafety/memleaks_test21_true-valid-memsafety.i .25  28 38   270 2.3   29 .56 46 .63 49 .61 48 4.6 210 .027 8.1 .11  8.7 .41  5.5 .061 9.5 .56 32 .19  25 .034 5.5 1.6   19   .031 3.9 12   340 140   1300
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i .77  37 5.6 170 3.5   36 .59 49 .64 49 .60 48 4.2 210 .021 8.0 .092 8.6 1.1   39   .062 9.5 .57 32 .21  25 .039 5.6 1.4   20   .034 3.9 210   660 140   1500
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i .87  38 400   690 3.5   39 .59 49 .58 49 .65 48 5.0 210 .030 8.1 .10  8.7 1.9   39   .056 9.5 .55 32 .22  25 .027 5.6 1.7   21   .035 4.1 780   1200 140   1500
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i .66  38 150   650 3.9   39 .48 49 .50 49 .52 48 4.5 210 .031 8.1 .061 8.5 .73  39   .060 9.5 .51 32 .24  25 .033 5.6 1.7   21   .019 3.9 530   1200 150   1500
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i .25  29 860   330 92     740 .57 48 .63 48 .68 49 6.9 250 .020 8.1 .099 8.5 .89  39   .065 9.9 .55 32 .22  28 .037 5.5 1.7   23   .020 3.9 83   900 18   410
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i .31  29 860   410 92     740 .58 49 .64 50 .61 48 6.9 250 .022 8.1 .064 8.7 2.8   40   .063 10   .60 32 .24  28 .037 5.6 1.6   23   .020 3.9 130   820 19   420
ldv-memsafety/memleaks_test2_true-valid-memsafety.i .29  28 4.2 150 2.3   29 .58 49 .54 50 .57 48 4.7 200 .032 8.0 .062 8.5 .040 4.4 .085 9.4 .64 33 .22  24 .024 5.6 1.6   19   .017 3.9 24   370 140   1500
ldv-memsafety/memleaks_test3_true-valid-memsafety.i .29  28 4.3 150 2.3   29 .59 49 .59 49 .65 48 4.5 200 .019 8.1 .062 8.5 1.0   39   .064 9.5 .49 32 .22  24 .040 5.6 1.7   19   .020 3.9 24   350 140   1200
ldv-memsafety/memleaks_test4_true-valid-memsafety.i .28  28 4.3 160 2.3   29 .53 49 .58 49 .54 49 4.7 200 .029 8.1 .061 8.5 .86  39   .10  9.5 .57 32 .20  25 .024 5.4 1.6   19   .020 3.9 50   510 32   620
ldv-memsafety/memleaks_test5_true-valid-memsafety.i .26  30 4.4 160 2.3   29 .60 49 .60 49 .67 49 4.0 200 .039 8.2 .063 8.8 .45  7.5 .072 10   .58 33 .19  25 .033 5.4 1.5   19   .016 4.0 15   350 140   1300
ldv-memsafety/memleaks_test6_true-valid-memsafety.i .25  28 4.4 160 2.4   29 .64 49 .65 50 .61 49 4.9 210 .040 8.3 .091 8.4 1.6   40   .065 9.6 .63 32 .21  26 .035 5.5 1.6   19   .029 3.9 23   370 140   1300
ldv-memsafety/memleaks_test7_true-valid-memsafety.i .29  28 4.0 170 2.4   29 .52 49 .53 48 .62 48 4.1 200 .021 8.2 .062 8.5 .57  7.7 .069 9.5 .66 32 .21  25 .025 5.5 1.7   19   .033 3.8 61   500 17   410
ldv-memsafety/memleaks_test8_true-valid-memsafety.i .19  28 4.8 170 2.1   29 .49 47 .63 49 .62 48 4.0 200 .038 8.2 .065 8.5 .87  39   .058 9.5 .65 33 .19  25 .039 5.4 1.4   19   .015 4.0 24   350 140   1300
ldv-memsafety/memleaks_test9_true-valid-memsafety.i .28  28 5.0 170 2.3   29 .57 49 .51 47 .62 49 4.5 200 .035 8.2 .063 8.4 .78  39   .064 9.5 .44 32 .17  25 .021 5.6 1.5   19   .036 3.9 30   370 140   1300
../../sv-benchmarks/c/ status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB)
total tasks 158 2200 27000 158 51000 68000 158 21000 200000 158 87 7700 158 91 7700 158 95 7700 158 31000 330000 158 21000 390000 158 12 1400 158 3500 7300 158 450    1600 158 8800 36000 158 12000    27000 158 5.4 870 158 220 3000 158 3.8 620 158 20000 120000 158 15000 150000
    correct results 34 92 2000 99 3000 20000 134 17000 190000 0 0 0 119 2000 49000 39 340 3900 0 43 600 1500 22 42    320 16 93 770 143 1100    9100 0 0 0 62 6200 46000 25 290 9000
        correct true 34 92 2000 34 1700 7600 71 17000 180000 0 0 0 47 1600 32000 18 19 400 0 38 530 1300 16 41    270 0 65 790    5300 0 0 0 20 3300 23000 1 17 410
        correct false 0 65 1300 13000 63 59 2300 0 0 0 72 400 17000 21 320 3500 0 5 76 200 6 .24 49 16 93 770 78 280    3900 0 0 0 42 2900 24000 24 270 8600
    incorrect results 85 330 4300 2 85 470 24 3900 18000 0 0 0 3 21 750 0 0 53 120 2000 0 11 71 550 2 .47 56 0 0 0 2 460 1800 2 24 670
        incorrect true 39 35 1600 0 4 3400 10000 0 0 0 0 0 0 29 68 1000 0 0 0 0 0 0 1 380 870 0
        incorrect false 46 300 2800 2 85 470 20 470 8000 0 0 0 3 21 750 0 0 24 47 950 0 11 71 550 2 .47 56 0 0 0 1 83 900 2 24 670
score (158 tasks, max score: 238) -1916 101 -243 0 0 0 118 57 0 -1231 38 -160 176 0 0 0 34 -6
Run set 2ls.sv-comp16.HeapMemSafety cascade.sv-comp16.HeapMemSafety cbmc.sv-comp16.HeapMemSafety cpa-bam.sv-comp16.HeapMemSafety cpa-kind.sv-comp16.HeapMemSafety cpa-refsel.sv-comp16.HeapMemSafety cpa-seq.sv-comp16.HeapMemSafety esbmc.sv-comp16.HeapMemSafety esbmcdepthk.sv-comp16.HeapMemSafety forest.sv-comp16.HeapMemSafety forester.sv-comp16.HeapMemSafety map2check.sv-comp16.HeapMemSafety predatorhp.sv-comp16.HeapMemSafety seahorn.sv-comp16.HeapMemSafety smack.sv-comp16.HeapMemSafety symbiotic3.sv-comp16.HeapMemSafety uautomizer.sv-comp16.HeapMemSafety ukojak.sv-comp16.HeapMemSafety