Tool 2LS 0.7.2-sv-comp19 CBMC CBMC Path 5.10 () CPAchecker 1.7-svn 29852 DepthK 3.1 DIVINE ESBMC version 6.0.0 64-bit x86_64 linux Map2Check v7.2-Flock : Tue Nov 27 22:00:00 -04 2018 PeSCo 1.7-svn b8d6131600+ PredatorHP 3.14 SMACK 1.9.3 symbiotic 6.0.3-77d4af47 ULTIMATE Automizer 0.1.23-635dfa2a ULTIMATE Kojak 0.1.23-635dfa2a ULTIMATE Taipan 0.1.23-635dfa2a
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.15.0-42-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Date of execution 2018-12-04 22:44:17 CET 2018-12-04 22:48:40 CET 2018-12-04 22:45:10 CET 2018-12-05 05:46:16 CET 2018-12-05 09:36:33 CET 2018-12-10 10:00:20 CET 2018-12-06 11:06:04 CET 2018-12-06 11:03:31 CET 2018-12-06 12:20:21 CET 2018-12-06 12:44:04 CET 2018-12-07 04:08:42 CET 2018-12-07 19:13:55 CET 2018-12-07 21:42:05 CET 2018-12-08 07:42:40 CET 2018-12-08 11:04:44 CET 2018-12-08 14:19:36 CET
Run set 2ls.sv-comp19_prop-memsafety.MemSafety-Heap cbmc.sv-comp19_prop-memsafety.MemSafety-Heap cbmc-path.sv-comp19_prop-memsafety.MemSafety-Heap cpa-seq.sv-comp19_prop-memsafety.MemSafety-Heap depthk.sv-comp19_prop-memsafety.MemSafety-Heap divine-explicit.sv-comp19_prop-memsafety.MemSafety-Heap divine-smt.sv-comp19_prop-memsafety.MemSafety-Heap esbmc-kind.sv-comp19_prop-memsafety.MemSafety-Heap map2check.sv-comp19_prop-memsafety.MemSafety-Heap pesco.sv-comp19_prop-memsafety.MemSafety-Heap predatorhp.sv-comp19_prop-memsafety.MemSafety-Heap smack.sv-comp19_prop-memsafety.MemSafety-Heap symbiotic.sv-comp19_prop-memsafety.MemSafety-Heap uautomizer.sv-comp19_prop-memsafety.MemSafety-Heap ukojak.sv-comp19_prop-memsafety.MemSafety-Heap utaipan.sv-comp19_prop-memsafety.MemSafety-Heap
Options --graphml-witness witness.graphml --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp19 -heap 10000M -benchmark -timelimit 900s --no-symbolic -s kinduction -svcomp19-pesco -heap 10000M -stack 2048k -benchmark -timelimit 900s --witness error-witness.graphml -w error-witness.graphml --witness witness.graphml --full-output --full-output --full-output
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
memsafety/960521-1_false-valid-deref.i error (134) .17  26 1.9  0 false(valid-deref) .84  30   11    0 false(valid-deref) 3.2   34   44    0 false(valid-deref) 11   700 85 1 unknown 74    63 970   0 false(valid-deref) 8.6 450 100 1 false(valid-deref) 8.6 450 98 1 false(valid-deref) 5.3   110 82    1 false(valid-deref) .47 83 5.9 1 false(valid-deref) 10   720 85 1 false(valid-deref) 7.0  140 72   1 disqualified 750   330 8600 0 false(valid-deref) .19 15 1.9 1 timeout 900   830 11000 0 timeout 900   1000 6700 0 timeout 900   910 10000 0
memsafety/test-0137_false-valid-deref.i error (134) .18  26 3.9  0 false(valid-deref) .27  22   3.5  0 false(valid-deref) .15  9.6 1.6  0 timeout 910   4700 8100 0 false(valid-deref) .20 34 2.2 1 unknown 8.5 450 110 0 false(valid-memtrack) 8.7 450 110 -16 false(valid-deref) .13  27 1.6  1 false(valid-deref) .51 83 6.5 1 timeout 910   4700 8400 0 false(valid-deref) .40 35 4.3 1 disqualified 4.4 92 50 0 false(valid-deref) .25 18 2.7 1 error (7) 13   330 100 0 error (7) 13   360 110 0 error (7) 13   340 110 0
memsafety/test-0235_false-valid-deref.i error (134) .31  27 2.9  0 error (134) 58     2600   500    0 error (134) .13  11   1.8  0 timeout 900   5000 9000 0 false(valid-deref) .64 42 10   1 timeout 900   560 8900 0 timeout 900   560 9500 0 false(valid-deref) .56  33 7.9  1 false(valid-deref) .50 83 6.4 1 timeout 900   5000 8600 0 timeout 900    8200 11000   0 disqualified 36   150 460 0 false(valid-deref) .33 18 4.4 1 timeout 900   2300 12000 0 timeout 900   890 12000 0 timeout 900   960 12000 0
memsafety/960521-1_false-valid-free.i error (134) .17  26 1.5  0 false(valid-free) .91  30   11    0 false(valid-free) 4.8   45   62    0 false(valid-free) 11   720 95 1 unknown 74    62 1000   0 false(valid-free) 8.5 450 110 1 false(valid-free) 8.6 450 110 1 false(valid-free) 5.3   110 69    1 false(valid-free) .43 82 6.1 1 false(valid-free) 11   730 110 1 false(valid-free) 7.0  170 80   1 disqualified 750   330 8800 0 false(valid-free) .18 16 2.4 1 timeout 900   1000 11000 0 timeout 900   1200 8300 0 timeout 900   1000 10000 0
memsafety/test-0158_false-valid-free.i false(valid-free) .19  27 2.2  1 false(valid-free) .13  9.2 .70 1 false(valid-free) .087 9.0 .70 1 false(valid-free) 4.0 290 33 1 false(valid-deref) .21 34 2.7 -16 false(valid-free) 8.2 450 99 1 false(valid-free) 8.3 450 89 1 false(valid-free) .14  27 1.6  1 false(valid-free) .46 82 6.4 1 false(valid-free) 4.1 280 32 1 false(valid-free) .16 35 1.6 1 disqualified 4.6 81 58 0 false(valid-free) .18 16 1.8 1 false(valid-free) 10   390 75 1 false(valid-free) 13   610 120 1 false(valid-free) 10   400 76 1
memsafety/test-0232_false-valid-free.i error (5) 1.8   71 22    0 false(valid-free) .12  8.1 1.2  1 error (134) .071 7.5 .97 0 timeout 900   4900 8600 0 false(valid-deref) .63 36 7.2 -16 false(valid-free) 8.4 450 100 1 false(valid-free) 8.5 450 95 1 false(valid-free) .30  28 4.2  1 timeout 900    160 9500   0 timeout 910   4800 7400 0 false(valid-free) .36 50 1.3 1 disqualified 760   270 6400 0 false(valid-free) .22 17 2.7 1 false(valid-free) 500   1600 6000 1 timeout 900   950 8400 0 timeout 900   780 11000 0
memsafety/20020406-1_false-valid-memtrack.i error (134) .33  29 4.4  0 false(valid-memtrack) .15  8.9 1.9  0 false(valid-memtrack) .29  12   3.9  0 error (recursion) 4.6 280 44 0 false(valid-memtrack) 5.6  66 84   0 false(valid-memtrack) 8.3 450 100 0 false(valid-memtrack) 8.8 450 100 0 false(valid-memtrack) 4.3   93 55    0 false(valid-memtrack) .54 83 6.1 0 error (recursion) 4.6 290 43 0 false(valid-memtrack) .21 40 1.7 0 disqualified 12   100 150 0 false(valid-memtrack) .24 17 2.6 0 timeout 900   2300 12000 0 timeout 900   1200 9000 0 timeout 900   1200 11000 0
memsafety/20051113-1.c_false-valid-memtrack.i error (134) .18  26 1.5  0 false(valid-memtrack) .22  7.5 3.5  0 false(valid-memtrack) 1.9   20   25    0 false(valid-memtrack) 4.1 280 34 1 false(valid-memtrack) 1.4  36 21   0 false(valid-memtrack) 8.5 450 100 1 false(valid-memtrack) 8.3 450 120 1 false(valid-memtrack) .40  27 5.3  0 false(valid-memtrack) .45 83 5.5 1 false(valid-memtrack) 4.3 280 37 1 false(valid-memtrack) .17 35 1.3 1 disqualified 8.6 86 110 0 false(valid-memtrack) .18 15 2.1 1 timeout 900   910 11000 0 timeout 900   1100 7200 0 timeout 910   13000 5200 0
memsafety/lockfree-3.1_false-valid-memtrack.i error (134) 10     230 140    0 false(valid-memtrack) 2.7   120   32    0 error (134) .076 8.5 .50 0 timeout 910   3500 7600 0 false(valid-memtrack) 4.8  44 61   0 false(valid-memtrack) 8.5 450 110 1 false(valid-memtrack) 8.6 450 120 1 false(valid-memtrack) 1.0   34 13    0 timeout 900    250 12000   0 timeout 910   5500 5300 0 false(valid-memtrack) .22 37 1.9 1 disqualified 840   180 10000 0 false(valid-memtrack) .30 17 3.1 1 unknown 82   1000 670 0 timeout 900   1100 6200 0 unknown 110   1200 960 0
memsafety/lockfree-3.2_false-valid-memtrack.i error (134) 11     220 110    0 false(valid-memtrack) .096 7.5 1.0  1 error (134) .075 7.9 .54 0 timeout 910   5400 5900 0 false(valid-memtrack) .50 35 6.2 0 false(valid-memtrack) 8.3 450 100 1 false(valid-memtrack) 8.6 440 100 1 false(valid-memtrack) .16  27 1.6  0 timeout 900    240 10000   0 timeout 920   5700 4800 0 false(valid-memtrack) .17 36 1.7 1 disqualified 840   180 11000 0 false(valid-memtrack) .23 17 2.8 1 unknown 23   560 200 0 unknown 25   580 200 0 unknown 24   590 210 0
memsafety/lockfree-3.3_false-valid-memtrack.i error (134) 10     220 100    0 false(valid-memtrack) 2.7   120   35    0 error (134) .073 7.6 .49 0 timeout 920   5300 5900 0 false(valid-memtrack) 18    68 220   0 false(valid-memtrack) 8.8 450 100 0 false(valid-memtrack) 8.7 450 110 0 false(valid-memtrack) 4.9   74 59    0 timeout 900    240 11000   0 timeout 910   5400 6900 0 false(valid-memtrack) .20 37 2.1 1 disqualified 750   160 8400 0 false(valid-memtrack) .58 26 8.3 1 unknown 130   2500 1200 0 timeout 900   1200 6000 0 unknown 180   4100 1800 0
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) .18  26 2.0  1 false(valid-memtrack) .079 8.3 .69 0 false(valid-memtrack) .12  6.7 .66 0 false(valid-memtrack) 3.7 270 34 1 false(valid-memtrack) .16 34 1.9 0 false(valid-memtrack) 8.4 440 100 1 false(valid-memtrack) 8.3 450 120 1 false(valid-memtrack) .13  26 1.2  0 false(valid-memtrack) .46 83 4.7 1 false(valid-memtrack) 3.4 260 34 1 false(valid-memtrack) .15 35 1.7 1 disqualified 6.3 110 75 0 false(valid-memtrack) .20 16 1.9 1 unknown 27   580 240 0 unknown 39   670 350 0 unknown 25   570 240 0
memsafety/test-0102_false-valid-memtrack.i error (134) .20  27 1.7  0 false(valid-memtrack) .18  11   2.2  0 error (134) .093 7.8 .85 0 timeout 900   4700 8300 0 false(valid-memtrack) 4.1  63 56   0 false(valid-memtrack) 8.5 450 110 0 false(valid-memtrack) 8.8 440 120 0 false(valid-memtrack) 49     190 560    0 false(valid-memtrack) .48 83 6.3 1 timeout 900   4700 9800 0 false(valid-memtrack) 33    710 350   1 disqualified 750   330 5500 0 false(valid-memtrack) .25 18 3.1 1 error (7) 13   360 100 0 error (7) 12   330 110 0 error (7) 12   330 110 0
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) .18  26 1.9  0 false(valid-memtrack) .060 7.0 .67 1 false(valid-memtrack) .064 7.5 .52 1 false(valid-memtrack) 3.7 280 31 1 false(valid-memtrack) .15 34 1.6 0 false(valid-memtrack) 8.3 450 110 1 false(valid-memtrack) 8.3 450 94 1 false(valid-memtrack) .088 27 1.1  0 false(valid-memtrack) .45 83 5.4 1 false(valid-memtrack) 3.4 260 34 1 false(valid-memtrack) .15 33 1.5 1 disqualified 6.1 76 72 0 false(valid-memtrack) .16 15 1.9 1 unknown 16   340 120 0 unknown 18   380 150 0 unknown 15   340 120 0
memsafety/test-0220_false-valid-memtrack.i error (134) .18  27 1.8  0 false(valid-memtrack) .21  11   2.0  0 error (134) .094 8.7 .92 0 timeout 900   4800 7700 0 false(valid-memtrack) 20    120 240   0 false(valid-memtrack) 8.4 450 110 1 false(valid-memtrack) 8.6 440 110 1 false(valid-memtrack) 68     460 730    0 timeout 900    180 10000   0 timeout 910   4800 8000 0 false(valid-memtrack) .42 38 5.1 1 disqualified 750   380 7900 0 false(valid-memtrack) .27 17 2.8 1 timeout 900   1700 12000 0 timeout 900   610 12000 0 timeout 900   1600 11000 0
memsafety/test-0232_false-valid-memtrack.i false(valid-memtrack) .99  51 12    1 false(valid-memtrack) .093 6.8 1.0  0 error (134) .11  7.0 .55 0 timeout 900   4900 6800 0 false(valid-memtrack) .17 34 1.8 0 false(valid-memtrack) 8.3 450 110 1 false(valid-memtrack) 8.5 450 100 1 false(valid-memtrack) .11  26 1.2  0 false(valid-memtrack) .49 83 4.5 1 timeout 900   4800 6900 0 false(valid-memtrack) .17 35 1.4 1 disqualified 840   320 8400 0 false(valid-memtrack) .21 18 2.5 1 unknown 50   750 510 0 timeout 900   930 10000 0 unknown 58   750 660 0
memsafety/test-0234_false-valid-memtrack.i error (134) .21  27 2.2  0 error (134) 6.4   310   82    0 error (134) .16  11   1.3  0 timeout 900   5000 8500 0 false(valid-memtrack) .49 41 6.1 0 timeout 900   570 8600 0 timeout 900   570 8000 0 false(valid-memtrack) .42  33 5.3  0 false(valid-memtrack) .49 83 7.7 1 timeout 900   5000 11000 0 false(valid-memtrack) 3.7  130 40   1 disqualified 750   390 7400 0 false(valid-memtrack) .29 18 3.0 1 timeout 900   2200 13000 0 timeout 900   640 12000 0 timeout 900   970 12000 0
memsafety/test-0235_false-valid-memtrack.i error (134) .27  27 2.8  0 error (134) 12     580   150    0 error (134) .14  11   1.5  0 timeout 900   5000 11000 0 false(valid-memtrack) .53 41 5.7 0 timeout 900   570 9700 0 timeout 900   570 10000 0 false(valid-memtrack) .43  33 5.6  0 false(valid-memtrack) .53 83 6.1 1 timeout 900   4900 10000 0 false(valid-memtrack) 3.7  130 46   1 disqualified 750   380 9600 0 false(valid-memtrack) .32 18 4.2 1 timeout 900   2300 13000 0 timeout 900   770 11000 0 timeout 900   930 13000 0
memsafety/960521-1_true-valid-memsafety.i error (134) .16  26 1.7  0 out of memory 93     15000   1300    0 error (42) 880     14000   12000    0 timeout 910   8700 10000 0 unknown 72    64 1100   0 true 100   6100 1100 2 true 100   6100 1000 2 timeout 900     13000 10000    0 timeout 900    120 9600   0 timeout 900   8800 10000 0 timeout 900    6900 7900   0 disqualified 770   210 8800 0 true .62 23 9.3 2 timeout 900   1100 12000 0 timeout 900   1600 5900 0 timeout 900   770 11000 0
memsafety/lockfree-3.0_true-valid-memsafety.i error (134) 10     220 120    0 error (42) 880     2000   6200    0 error (134) .090 8.0 .62 0 timeout 900   5400 7300 0 unknown 900    390 11000   0 timeout 900   7000 8000 0 timeout 900   7000 8400 0 timeout 900     710 12000    0 timeout 900    240 12000   0 timeout 920   5800 5900 0 true 37    240 340   2 disqualified 880   180 12000 0 timeout (verification) 900    3700 6100   0 timeout 910   8600 7800 0 timeout 900   1200 6000 0 timeout 900   12000 7700 0
memsafety/test-0019_true-valid-memsafety_true-termination.i true .18  26 2.1  2 true .097 6.9 .78 2 true .13  8.0 1.6  2 true 3.5 270 30 2 true .42 35 5.2 2 true 8.3 390 100 2 true 8.5 390 96 2 true .12  26 1.8  2 true 120    4400 1500   2 true 3.6 280 32 2 true .14 34 1.4 2 disqualified 5.7 74 76 0 true .14 15 1.5 2 true 21   670 170 2 timeout 900   1200 11000 0 true 18   520 160 2
memsafety/test-0102_true-valid-memsafety.i error (134) .19  26 2.2  0 error (42) 880     4400   11000    0 error (134) .13  7.8 .81 0 timeout 900   4700 8700 0 unknown 900    770 9200   0 timeout 900   500 7900 0 timeout 900   500 7200 0 timeout 900     2400 12000    0 timeout 900    170 10000   0 timeout 900   4700 10000 0 true .64 57 6.2 2 disqualified 750   370 5900 0 timeout (verification) 900    2900 8200   0 error (7) 13   330 94 0 error (7) 13   350 100 0 error (7) 12   340 94 0
memsafety/test-0134_true-valid-memsafety.i error (134) .19  26 1.6  0 error (42) 880     2500   8200    0 out of memory 650     15000   7200    0 timeout 900   4700 11000 0 unknown 900    1300 9200   0 unknown 8.4 450 100 0 false(valid-memtrack) 8.6 450 82 -16 timeout 900     2600 9800    0 timeout 900    190 11000   0 timeout 910   4700 9800 0 true .74 62 6.7 2 disqualified 750   360 6600 0 timeout (verification) 900    1500 15000   0 error (7) 12   310 100 0 error (7) 13   350 120 0 error (7) 13   340 110 0
memsafety/test-0158_true-valid-memsafety_true-termination.i true .17  26 1.7  2 true .091 7.1 1.1  2 true .081 7.7 .79 2 true 3.6 270 31 2 true .49 35 6.0 2 true 8.5 390 100 2 true 8.4 390 120 2 true .16  26 2.0  2 true 320    4300 3200   2 true 3.7 280 33 2 true .27 47 1.7 2 disqualified 5.4 75 70 0 true .13 16 1.5 2 true 10   390 87 2 true 13   560 130 2 true 10   390 76 2
memsafety/test-0214_true-valid-memsafety_false-termination.i error (134) .19  27 2.1  0 error (42) 880     2100   8200    0 error (134) .10  9.3 1.2  0 timeout 900   5400 8400 0 unknown 900    6100 7300   0 timeout 900   570 9300 0 timeout 900   570 8400 0 unknown .36  32 4.6  0 timeout 900    200 10000   0 timeout 910   5500 8100 0 true .58 51 3.7 2 disqualified 750   210 6300 0 error(unknown, verification-finished) 230    82 2400   0 timeout 900   2100 12000 0 timeout 900   970 7500 0 timeout 900   13000 7500 0
memsafety/test-0217_true-valid-memsafety_false-termination.i error (134) .17  27 1.8  0 out of memory 50     13000   620    0 error (134) .13  8.3 1.0  0 timeout (exception) 900   11000 8500 0 out of memory 310    15000 3100   0 timeout 900   640 8400 0 timeout 900   670 8200 0 unknown .87  82 10    0 timeout 900    220 11000   0 timeout 910   11000 7900 0 true .46 38 5.3 2 disqualified 750   290 7000 0 timeout (verification) 900    130 8600   0 timeout 900   2400 12000 0 timeout 900   1000 8500 0 timeout 900   3700 12000 0
memsafety/test-0218_true-valid-memsafety_false-termination.i error (134) .18  27 2.0  0 error (42) 880     3900   11000    0 error (134) .11  9.0 1.0  0 timeout 950   11000 9900 0 out of memory 260    15000 3300   0 timeout 900   640 8100 0 timeout 900   680 9000 0 unknown .45  48 6.0  0 timeout 900    220 11000   0 timeout 970   11000 8500 0 true .47 38 5.0 2 disqualified 750   280 7800 0 timeout (verification) 900    260 12000   0 timeout 900   1100 12000 0 timeout 900   960 8900 0 timeout 900   1100 11000 0
memsafety/test-0219_true-valid-memsafety.i error (134) .18  27 2.2  0 error (42) 880     920   6300    0 error (134) .098 8.4 .99 0 timeout 900   4800 8100 0 unknown 900    1600 10000   0 timeout 900   400 8700 0 timeout 900   400 8800 0 timeout 900     2900 9700    0 timeout 900    180 10000   0 timeout 900   4900 9900 0 true .83 58 8.2 2 disqualified 750   430 6500 0 timeout (verification) 900    2900 6700   0 timeout 900   2300 14000 0 timeout 900   610 12000 0 timeout 900   1200 12000 0
memsafety/test-0232_true-valid-memsafety.i error (5) 2.0   86 22    0 error (42) 880     3300   11000    0 error (134) .075 7.5 .81 0 timeout 900   4900 7200 0 unknown 900    300 11000   0 timeout 900   420 9000 0 timeout 900   420 9500 0 timeout 900     660 10000    0 timeout 900    160 10000   0 timeout 900   4900 8900 0 true .39 35 5.1 2 disqualified 880   310 8100 0 timeout (verification) 900    940 11000   0 timeout 900   1300 11000 0 timeout 900   1000 10000 0 timeout 900   910 13000 0
memsafety/test-0234_true-valid-memsafety.i error (134) .23  27 2.1  0 error (42) 880     1100   3900    0 error (134) .13  11   1.6  0 timeout 910   5000 11000 0 unknown 900    10000 7900   0 timeout 900   560 8900 0 timeout 900   560 8500 0 out of memory 200     15000 2000    0 timeout 900    200 11000   0 timeout 910   4900 11000 0 true .82 65 7.8 2 disqualified 750   400 6800 0 timeout (verification) 900    2800 6700   0 timeout 900   2300 12000 0 timeout 900   840 13000 0 timeout 900   950 10000 0
memsafety/test-0235_true-valid-memsafety.i error (134) .29  27 2.8  0 error (42) 880     2400   3500    0 error (134) .14  11   1.6  0 timeout 900   5000 11000 0 unknown 900    11000 5700   0 timeout 900   560 9800 0 timeout 900   560 8400 0 out of memory 210     15000 2400    0 timeout 900    200 11000   0 timeout 900   5000 9700 0 true 3.9  160 38   2 disqualified 750   390 7700 0 timeout (verification) 900    3000 7900   0 timeout 900   2200 12000 0 timeout 900   770 12000 0 timeout 900   12000 10000 0
memsafety/test-0236_true-valid-memsafety.i error (134) .23  27 2.3  0 error (42) 880     1800   4400    0 error (134) .17  12   1.9  0 timeout 900   4800 9300 0 unknown 900    15000 10000   0 timeout 900   550 8400 0 timeout 900   550 8400 0 out of memory 210     15000 2400    0 timeout 900    190 12000   0 timeout 900   4800 10000 0 true .91 63 8.2 2 disqualified 750   440 6800 0 timeout (verification) 900    2800 6400   0 timeout 900   2400 12000 0 timeout 900   630 14000 0 timeout 900   880 11000 0
memsafety/test-0237_true-valid-memsafety.i error (134) .23  27 2.7  0 error (42) 880     1800   6700    0 error (134) .17  12   1.7  0 timeout 900   4700 11000 0 out of memory 800    15000 8800   0 timeout 900   550 9500 0 timeout 900   540 9900 0 out of memory 210     15000 3100    0 timeout 900    180 11000   0 timeout 900   4800 9700 0 true .94 66 8.9 2 disqualified 750   420 9400 0 timeout (verification) 900    2800 4800   0 timeout 900   1200 13000 0 timeout 900   800 12000 0 timeout 900   940 13000 0
memsafety/test-0504_true-valid-memsafety.i error (134) 190     1800 2200    0 error (42) 880     1800   8200    0 error (134) .10  7.8 .60 0 timeout 900   11000 5700 0 unknown 900    570 14000   0 timeout 900   750 7100 0 timeout 900   700 8000 0 timeout 900     620 11000    0 timeout 900    160 11000   0 timeout 910   11000 6100 0 true .72 37 8.9 2 disqualified 750   330 6500 0 timeout (verification) 900    3200 8400   0 timeout 900   2200 12000 0 timeout 900   1000 6500 0 timeout 900   2100 14000 0
memsafety/test-0513_true-valid-memsafety.i error (134) 14     290 150    0 error (42) 880     1900   10000    0 error (134) .088 8.0 .75 0 timeout 970   11000 5900 0 unknown 890    670 11000   0 unknown 8.5 450 100 0 false(valid-memtrack) 8.6 450 100 -16 timeout 900     930 11000    0 timeout 900    170 10000   0 timeout 910   11000 5600 0 true .69 36 6.5 2 disqualified 750   380 8900 0 timeout (verification) 900    1600 12000   0 timeout 900   2400 9400 0 timeout 900   1000 9100 0 timeout 900   900 12000 0
memsafety/test-0521_true-valid-memsafety.i timeout 900     7100 10000    0 error (42) 880     12000   9400    0 error (134) .13  8.2 .92 0 timeout (segmentation fault) 900   11000 5900 0 unknown 890    1000 9600   0 timeout 900   660 7600 0 false(valid-memtrack) 8.7 450 110 -16 timeout 900     1900 12000    0 timeout 900    170 10000   0 timeout (exception) 940   11000 6400 0 true 1.2  58 11   2 disqualified 750   420 7200 0 timeout (verification) 900    3500 7100   0 timeout 900   2800 9700 0 timeout 900   910 11000 0 timeout 900   2200 12000 0
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i error (134) .17  26 1.5  0 true .16  6.8 1.1  2 true .12  8.6 1.4  2 true 3.8 250 35 2 true 1.8  39 24   2 true 8.2 390 120 2 true 8.3 380 97 2 true .65  29 8.0  2 true 180    4300 1900   2 true 3.6 250 32 2 true .14 34 1.6 2 disqualified 5.6 74 75 0 true .16 15 2.1 2 timeout 900   970 9000 0 true 260   810 2500 2 timeout 900   940 11000 0
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i error (134) 1.5   59 18    0 error (42) 880     3800   12000    0 error (134) .080 7.4 .78 0 timeout 920   11000 6400 0 unknown 900    240 13000   0 timeout 900   600 8800 0 timeout 900   640 7600 0 timeout 900     400 11000    0 timeout 900    180 10000   0 timeout 910   11000 6500 0 timeout 900    890 5400   0 disqualified 880   220 10000 0 timeout (verification) 900    3800 6800   0 timeout 900   1000 9600 0 timeout 900   890 7400 0 timeout 900   790 12000 0
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error (5) 18     370 200    0 error (42) 880     2500   6800    0 error (134) .13  8.7 1.3  0 timeout (exception) 970   12000 7400 0 unknown 900    160 13000   0 timeout 900   400 7300 0 timeout 900   400 8100 0 timeout 900     190 13000    0 timeout 900    230 10000   0 timeout 970   12000 7700 0 timeout 900    1800 8700   0 disqualified 750   290 5600 0 timeout (verification) 900    3000 7900   0 timeout 900   1200 12000 0 timeout 900   1000 10000 0 timeout 900   950 13000 0
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error (5) 130     1300 1300    0 error (42) 870     2300   6600    0 error (134) .13  10   1.5  0 timeout 970   12000 7800 0 unknown 900    190 12000   0 timeout 900   420 7800 0 timeout 900   420 8100 0 timeout 900     250 11000    0 timeout 900    230 11000   0 timeout 970   11000 8000 0 timeout 900    1300 6600   0 disqualified 750   350 7800 0 timeout (verification) 900    3000 7700   0 timeout 900   2300 12000 0 timeout 900   970 9800 0 timeout 900   880 13000 0
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i error (5) 26     500 240    0 error (42) 880     1900   7000    0 error (134) .12  8.8 1.1  0 timeout 920   11000 6100 0 unknown 900    660 10000   0 timeout 900   1800 8300 0 timeout 900   1800 7800 0 timeout 900     800 11000    0 timeout 900    230 10000   0 timeout 930   11000 7000 0 timeout 900    440 5800   0 disqualified 750   280 6800 0 timeout (verification) 900    190 12000   0 timeout 900   1200 14000 0 timeout 900   1000 8000 0 timeout 900   2100 12000 0
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 900     5300 9400    0 error (42) 880     2100   9400    0 error (134) .12  9.4 1.3  0 timeout (segmentation fault) 900   11000 7000 0 unknown 900    500 9900   0 timeout 900   2100 7600 0 timeout 900   2100 7300 0 timeout 900     1500 11000    0 timeout 900    230 12000   0 timeout (exception) 900   11000 6500 0 timeout 900    310 6300   0 disqualified 750   290 5800 0 timeout (verification) 900    150 12000   0 timeout 900   1100 12000 0 timeout 900   930 7500 0 timeout 900   1000 12000 0
memsafety-ext/tree_of_cslls_true-valid-memsafety.i true 260     3200 2100    2 error (42) 880     9400   8900    0 error (134) .15  8.3 .96 0 timeout 940   11000 7100 0 unknown 900    650 10000   0 timeout 900   2700 9000 0 timeout 900   2500 8500 0 timeout 900     690 11000    0 timeout 900    170 10000   0 timeout 910   11000 7400 0 timeout 900    510 6900   0 disqualified 750   320 6700 0 timeout (verification) 900    550 14000   0 timeout 900   2200 12000 0 timeout 900   1000 7400 0 timeout 900   860 10000 0
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i error (5) 54     900 550    0 error (42) 880     1800   8500    0 error (134) .095 8.2 1.2  0 timeout 920   11000 6300 0 unknown 900    400 11000   0 timeout 900   1900 7700 0 timeout 900   1900 8400 0 timeout 900     920 12000    0 timeout 900    230 9800   0 timeout 910   11000 7000 0 timeout 900    480 6200   0 disqualified 750   310 7200 0 timeout (verification) 900    230 12000   0 timeout 900   800 12000 0 timeout 900   1100 11000 0 timeout 900   1000 13000 0
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i error (5) 33     670 420    0 error (42) 880     1800   6400    0 error (134) .11  8.9 1.4  0 timeout 920   11000 6000 0 unknown 900    430 11000   0 timeout 900   1800 8700 0 timeout 900   1800 8200 0 timeout 900     580 11000    0 timeout 900    230 11000   0 timeout 910   11000 6200 0 timeout 900    450 5300   0 disqualified 750   310 7100 0 timeout (verification) 900    240 10000   0 timeout 900   2100 13000 0 timeout 900   920 7100 0 timeout 900   1500 10000 0
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 900     7400 11000    0 error (42) 880     12000   9900    0 error (134) .19  9.3 1.3  0 timeout (segmentation fault) 900   11000 9100 0 out of memory (false(valid-deref)) 160    15000 1900   0 unknown 8.6 450 100 0 timeout 900   420 8800 0 out of memory 99     15000 1100    0 false(valid-deref) .49 83 6.4 1 timeout (exception) 900   12000 8900 0 timeout 900    1000 6400   0 disqualified 750   420 9500 0 false(valid-deref) .90 38 12   1 timeout 900   2100 11000 0 timeout 900   1200 9600 0 timeout 910   13000 6600 0
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error (134) .25  26 2.5  0 false(valid-memtrack) 12     410   130    0 error (134) .11  8.8 1.4  0 false(valid-memtrack) 4.6 290 40 1 unknown 900    1500 12000   0 unknown 8.7 450 110 0 false(valid-memtrack) 8.5 450 110 1 timeout 900     1700 11000    0 timeout 900    200 11000   0 false(valid-memtrack) 4.5 270 38 1 false(valid-memtrack) .33 49 1.8 1 disqualified 750   430 6700 0 false(valid-memtrack) .27 18 3.5 1 timeout 900   950 12000 0 timeout 900   950 6300 0 timeout 900   1200 11000 0
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i error (134) .21  26 2.1  0 false(valid-memtrack) 1.3   68   15    0 error (134) .12  10   1.5  0 timeout 970   11000 5900 0 unknown 900    2200 10000   0 unknown 8.2 450 100 0 false(valid-memtrack) 8.6 450 120 1 timeout 900     4300 7500    0 timeout 900    160 12000   0 timeout 900   11000 6500 0 false(valid-memtrack) .19 38 1.5 1 disqualified 750   430 6900 0 false(valid-memtrack) .32 18 4.2 1 timeout 900   1300 14000 0 timeout 900   1000 9800 0 timeout 900   1900 11000 0
memsafety-ext2/length_test03_false-valid-memtrack.i error (134) 130     1600 960    0 false(valid-memtrack) .83  20   11    0 error (134) .11  8.5 1.1  0 timeout 910   4800 7100 0 false(valid-memtrack) 12    56 130   0 false(valid-memtrack) 8.3 450 120 1 false(valid-memtrack) 8.6 440 92 1 false(valid-memtrack) 3.1   45 41    0 false(valid-memtrack) .46 83 6.2 1 timeout 900   4800 6600 0 false(valid-memtrack) .39 37 4.3 1 disqualified 840   320 7200 0 false(valid-memtrack) .26 18 3.0 1 timeout 900   1500 12000 0 timeout 900   1000 8800 0 timeout 900   1800 12000 0
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i error (134) .17  26 1.7  0 false(valid-memtrack) 10     120   120    0 error (134) .086 8.8 .77 0 timeout 900   5100 8300 0 unknown 900    360 10000   0 timeout 900   430 8100 0 false(valid-memtrack) 8.6 450 99 1 timeout 900     480 12000    0 timeout 900    190 11000   0 timeout 900   5100 8400 0 false(valid-memtrack) .48 37 4.7 1 disqualified 750   350 6500 0 false(valid-memtrack) .32 18 3.8 1 timeout 900   2300 13000 0 timeout 900   1000 9000 0 timeout 900   940 12000 0
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error (134) .22  27 2.0  0 error (42) 880     1500   8500    0 error (134) .12  9.2 1.2  0 timeout 900   6300 9900 0 unknown 900    1300 9200   0 unknown 8.4 450 99 0 false(valid-memtrack) 8.6 450 120 -16 timeout 900     1900 8700    0 timeout 900    180 10000   0 timeout 910   6400 9300 0 timeout 900    7200 9900   0 disqualified 750   430 9300 0 timeout (verification) 900    3100 4600   0 timeout 900   960 11000 0 timeout 900   1000 7000 0 timeout 900   1300 11000 0
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i error (134) .21  26 2.3  0 error (42) 880     1800   8700    0 error (134) .13  9.6 1.4  0 timeout 970   11000 6800 0 unknown 900    1800 10000   0 unknown 8.3 450 110 0 false(valid-memtrack) 8.5 450 130 -16 timeout 900     4000 8700    0 timeout 900    160 9700   0 timeout (exception) 920   11000 6400 0 timeout 900    2500 6800   0 disqualified 750   460 8200 0 timeout (verification) 900    3100 8800   0 timeout 900   1300 14000 0 timeout 900   1100 8700 0 timeout 900   2000 11000 0
memsafety-ext2/length_test03_true-valid-memsafety.i error (134) 160     1700 1500    0 error (42) 880     2200   9700    0 error (134) .12  8.6 .98 0 timeout 900   4900 6700 0 unknown 900    370 13000   0 timeout 900   420 8600 0 false(valid-memtrack) 8.6 450 100 -16 timeout 900     580 11000    0 timeout 900    170 9600   0 timeout 910   5000 6600 0 timeout 900    2600 12000   0 disqualified 880   320 9200 0 timeout (verification) 900    1100 8700   0 timeout 900   2300 11000 0 timeout 900   1100 7100 0 timeout 900   2300 12000 0
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error (134) .17  26 1.5  0 error (42) 880     4900   8700    0 error (134) .11  7.3 .75 0 timeout 900   5100 7400 0 unknown 890    450 12000   0 timeout 900   430 8600 0 false(valid-memtrack) 8.8 450 120 -16 timeout 900     450 9900    0 timeout 900    190 12000   0 timeout 910   4200 9300 0 timeout 900    1900 4000   0 disqualified 750   350 6100 0 timeout (verification) 900    3500 5300   0 timeout 900   2300 11000 0 timeout 900   990 6400 0 timeout 900   950 11000 0
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 900     7800 10000    0 error 880     11000   10000    0 error (134) .14  9.0 1.4  0 timeout 950   11000 8600 0 out of memory 150    15000 1700   0 unknown 8.5 450 100 0 timeout 900   420 9500 0 out of memory 97     15000 1300    0 timeout 900    160 10000   0 timeout 920   11000 9200 0 timeout 900    1000 7700   0 disqualified 750   380 7300 0 timeout (verification) 900    3400 6400   0 timeout 900   1600 9000 0 timeout 900   1200 7100 0 timeout 900   990 11000 0
list-ext-properties/960521-1_1_false-valid-deref.i error (134) .18  26 1.8  0 false(valid-deref) .10  8.7 1.1  1 false(valid-deref) .090 7.9 .57 1 false(valid-deref) 6.7 340 58 1 false(valid-deref) .58 36 8.3 1 false(valid-deref) 8.4 450 110 1 false(valid-deref) 8.3 450 110 1 false(valid-deref) .19  27 2.3  1 false(valid-deref) .45 83 5.1 1 false(valid-deref) 6.1 330 57 1 false(valid-deref) .17 36 1.3 1 disqualified 4.0 120 49 0 false(valid-deref) .23 18 2.7 1 false(valid-deref) 13   540 110 1 false(valid-deref) 12   540 120 1 false(valid-deref) 14   590 110 1
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-memtrack) 22     260 230    -16 false(valid-memtrack) .16  12   1.6  -16 error (134) .088 7.9 .61 0 false(valid-deref) 6.4 310 57 1 false(valid-deref) .82 36 10   1 unknown 8.5 450 110 0 unknown 8.4 450 110 0 false(valid-deref) 150     210 1900    1 false(valid-deref) .46 83 6.6 1 false(valid-deref) 6.6 310 54 1 false(valid-deref) 13    63 140   1 disqualified 750   310 8100 0 error(unknown, verification-finished) .81 19 10   0 timeout 900   2000 11000 0 timeout 900   980 6800 0 timeout 900   1000 9200 0
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i error (134) 2.0   54 24    0 false(valid-free) .13  9.5 1.2  -16 error (134) .062 8.5 .81 0 timeout 910   6300 5600 0 false(valid-deref) .58 35 8.9 1 unknown 8.3 450 95 0 unknown 9.6 450 120 0 false(valid-free) .26  27 2.6  -16 false(valid-deref) 2.8  75 41   1 timeout 910   6500 4800 0 false(valid-deref) .26 50 1.6 1 disqualified 3.8 94 50 0 error(unknown, verification-finished) .37 18 4.6 0 false(valid-deref) 11   440 77 1 false(valid-deref) 21   730 180 1 false(valid-deref) 11   470 93 1
list-ext-properties/960521-1_1_false-valid-free.i error (134) .18  26 1.5  0 false(valid-free) .11  9.0 1.3  1 error (134) .067 7.9 .61 0 false(valid-free) 6.5 280 50 1 unknown .59 35 7.5 0 false(valid-free) 8.6 450 120 1 false(valid-free) 8.3 440 100 1 false(valid-free) .19  27 2.5  1 false(valid-free) .48 83 5.5 1 false(valid-free) 6.8 350 54 1 false(valid-free) .16 36 1.5 1 disqualified 220   240 3400 0 false(valid-free) .25 18 2.6 1 false(valid-free) 14   490 100 1 false(valid-free) 23   710 190 1 false(valid-free) 19   600 160 1
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) .19  25 2.0  1 false(valid-free) .12  8.2 .61 1 false(valid-free) .076 9.1 .81 1 false(valid-free) 3.7 280 30 1 false(valid-deref) .19 34 2.8 -16 false(valid-free) 8.4 450 100 1 false(valid-free) 8.6 440 110 1 false(valid-free) .14  26 1.7  1 false(valid-free) .44 83 6.5 1 false(valid-free) 3.5 250 29 1 false(valid-free) .18 35 1.4 1 disqualified 4.7 110 55 0 false(valid-free) .20 18 2.1 1 false(valid-free) 10   410 74 1 false(valid-free) 20   550 190 1 false(valid-free) 9.9 390 80 1
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .20  26 1.9  1 false(valid-memtrack) .096 7.7 .91 0 false(valid-memtrack) .093 7.5 .80 0 false(valid-memtrack) 3.5 250 35 1 false(valid-memtrack) .16 34 1.8 0 false(valid-memtrack) 8.4 450 100 1 false(valid-memtrack) 8.2 450 92 1 false(valid-memtrack) .10  27 1.3  0 false(valid-memtrack) .45 83 5.0 1 false(valid-memtrack) 3.8 280 34 1 false(valid-memtrack) .15 35 1.4 1 disqualified 6.5 110 78 0 false(valid-memtrack) .18 15 1.9 1 unknown 140   930 1800 0 unknown 250   970 2900 0 unknown 120   920 1300 0
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .18  26 1.7  0 false(valid-memtrack) .070 6.5 .43 1 false(valid-memtrack) .061 8.1 .67 1 false(valid-memtrack) 3.8 280 37 1 false(valid-memtrack) .15 34 1.6 0 false(valid-memtrack) 8.4 450 120 1 false(valid-memtrack) 8.4 450 100 1 false(valid-memtrack) .088 26 1.1  0 false(valid-memtrack) .46 82 6.3 1 false(valid-memtrack) 3.7 280 33 1 false(valid-memtrack) .26 49 1.8 0 disqualified 6.2 83 71 0 false(valid-memtrack) .19 18 2.2 1 unknown 18   380 140 0 unknown 22   470 190 0 unknown 16   350 120 0
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 1.2   55 17    0 false(valid-memtrack) .15  7.2 1.2  0 error (134) .086 7.3 .68 0 false(valid-memtrack) 6.3 290 54 1 false(valid-memtrack) .16 34 1.9 0 false(valid-memtrack) 8.4 450 120 1 false(valid-memtrack) 8.6 450 110 1 false(valid-memtrack) .10  26 .92 0 false(valid-memtrack) .49 83 6.1 1 false(valid-memtrack) 6.1 300 53 1 false(valid-memtrack) .16 34 1.4 1 disqualified 840   340 8400 0 false(valid-memtrack) .21 17 2.9 1 unknown 71   800 830 0 timeout 900   830 11000 0 unknown 69   780 710 0
list-ext-properties/960521-1_1_true-valid-memsafety.i error (134) .17  26 2.0  0 true 36     1000   460    2 error (134) .11  7.3 .48 0 true 11   680 95 2 true 30    51 460   2 true 8.9 390 120 2 true 8.9 390 110 2 true 6.2   37 77    2 timeout 900    4300 8500   0 true 11   690 93 2 true 1.1  58 8.5 2 disqualified 260   260 4100 0 true .37 17 5.1 2 timeout 900   1000 12000 0 true 630   1100 5600 2 timeout 900   1100 12000 0
list-ext-properties/list-ext_1_true-valid-memsafety.i error (134) 22     260 200    0 true 76     240   1000    2 error (134) .082 7.9 .80 0 true 36   1900 290 2 true 400    220 5400   2 true 9.0 390 100 2 true 9.3 390 100 2 true 170     200 2500    2 timeout 900    4400 5900   0 true 38   1900 340 2 true 2.5  64 25   2 disqualified 880   340 7300 0 true .42 19 4.8 2 timeout 900   2200 10000 0 timeout 900   1000 8100 0 timeout 900   920 9700 0
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i error (134) 1.4   45 17    0 true 37     110   450    2 error (134) .095 7.1 .45 0 timeout 900   6900 5400 0 true 130    95 1800   2 unknown 8.4 450 110 0 timeout 900   580 6600 0 true 51     120 610    2 timeout 900    4400 7200   0 timeout 930   7400 5800 0 timeout 900    470 5300   0 disqualified 880   290 7700 0 error(unknown, verification-finished) 600    3100 5700   0 timeout 900   2100 11000 0 timeout 900   1000 8700 0 timeout 900   1200 11000 0
list-ext-properties/simple-ext_1_true-valid-memsafety.i error (134) .97  39 13    0 true 32     200   410    2 out of memory 330     15000   4800    0 true 24   880 200 2 true 520    160 6100   2 true 8.6 390 100 2 true 8.8 390 120 2 true 270     180 3400    2 timeout 900    4400 9200   0 true 20   860 160 2 true 230    1700 2300   2 disqualified 880   280 9200 0 true .42 19 5.4 2 timeout 900   2100 9400 0 timeout 900   1100 6000 0 timeout 900   1000 9900 0
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true .20  26 1.7  2 true .10  7.9 1.2  2 true .21  8.7 2.6  2 true 4.1 280 35 2 true .44 35 5.4 2 true 8.3 390 110 2 true 8.4 380 100 2 true .13  26 1.3  2 true 120    4400 1400   2 true 3.8 280 38 2 true .16 35 1.2 2 disqualified 5.9 77 88 0 true .14 15 1.6 2 true 34   660 270 2 true 260   1000 2400 2 true 34   830 270 2
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true .18  26 1.9  2 true .10  6.3 .62 2 true .11  8.2 1.1  2 true 3.5 280 33 2 true .53 35 6.7 2 true 8.4 390 110 2 true 8.6 380 120 2 true .15  26 2.0  2 true 330    4300 4000   2 true 3.5 280 31 2 true .14 33 1.2 2 disqualified 5.5 74 68 0 true .16 16 1.7 2 true 11   390 85 2 true 25   730 260 2 true 10   390 78 2
list-ext-properties/test-0214_1_true-valid-memsafety.i error (134) .18  27 1.8  0 true 570     490   4600    2 error (134) .10  8.7 1.1  0 timeout 910   5700 6200 0 unknown 210    310 2700   0 true 21   550 220 2 true 21   550 240 2 unknown .36  27 4.5  0 unknown 35    4400 250   0 timeout 960   2500 8500 0 true 11    560 120   2 disqualified 750   330 6200 0 error(unknown, verification-finished) 1.6  22 21   0 timeout 900   1600 13000 0 timeout 900   1000 7900 0 timeout 900   1200 12000 0
list-ext-properties/test-0217_1_true-valid-memsafety.i error (134) .19  28 1.6  0 true 450     380   4500    2 error (134) .11  8.0 .95 0 timeout 910   5800 7100 0 unknown 190    240 2700   0 true 14   440 140 2 true 14   440 150 2 unknown .51  32 7.3  0 timeout 900    300 9400   0 timeout 910   5400 6100 0 true 3.2  130 33   2 disqualified 750   370 6400 0 error(unknown, verification-finished) 3.4  24 43   0 timeout 900   2600 12000 0 timeout 900   1000 6500 0 timeout 900   1000 11000 0
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i error (5) 9.5   130 110    0 true 2.8   37   35    2 error (134) .094 7.7 .70 0 true 9.2 480 71 2 true 250    230 3100   2 true 8.5 390 100 2 true 8.5 390 120 2 true 120     240 1800    2 timeout 900    4300 11000   0 true 8.9 480 79 2 true 1.3  38 15   2 disqualified 880   330 8900 0 true .31 18 3.8 2 timeout 900   1400 12000 0 timeout 900   1000 9900 0 timeout 900   860 11000 0
list-ext-properties/test-0504_1_true-valid-memsafety.i error (134) 110     1100 1200    0 true 3.3   59   49    2 error (134) .082 7.6 .80 0 timeout 910   5700 5200 0 unknown 900    2200 8200   0 true 9.6 390 130 2 true 9.8 390 110 2 true 270     190 3500    2 timeout 900    4300 9400   0 timeout 900   5900 4900 0 timeout 900    5200 5200   0 disqualified 750   390 6400 0 true 1.4  39 17   2 timeout 900   1000 12000 0 timeout 900   1000 10000 0 timeout 900   1700 11000 0
list-ext-properties/test-0513_1_true-valid-memsafety.i error (134) 34     400 270    0 true 4.3   140   56    2 error (134) .094 7.8 1.0  0 true 5.1 290 47 2 true 93    1800 1400   2 true 8.4 390 120 2 true 8.6 390 110 2 true 18     210 210    2 timeout 900    4300 7700   0 true 4.8 280 43 2 true .24 38 2.2 2 disqualified 190   260 2000 0 true .22 17 2.8 2 timeout 900   2100 9700 0 timeout 900   1100 7200 0 timeout 900   820 11000 0
memory-alloca/c.03-alloca_true-valid-memsafety.i true .20  26 1.9  2 error (42) 880     1300   8300    0 error (42) 880     9100   11000    0 timeout (exception) 900   1000 13000 0 unknown 280    70 4000   0 unknown 8.3 450 96 0 error - divine failed with signal 11 1.6 200 22 0 timeout 900     510 10000    0 timeout 900    75 9500   0 timeout (exception) 900   940 11000 0 true .49 35 4.3 2 disqualified 7.1 82 83 0 true .15 16 2.0 2 true 12   480 90 2 true 440   810 4700 2 true 12   450 93 2
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c error (134) .089 24 .62 0 false(valid-deref) .095 7.3 1.0  1 false(valid-deref) .067 7.2 .50 1 false(valid-deref) 2.8 250 29 1 false(valid-deref) .18 33 2.0 1 false(valid-deref) 8.2 430 120 1 false(valid-deref) 8.2 430 100 1 false(valid-deref) .12  26 1.4  1 false(valid-deref) .46 82 6.6 1 false(valid-deref) 2.9 250 28 1 false(valid-deref) .16 34 1.3 1 disqualified 5.0 85 57 0 false(valid-deref) .20 16 1.7 1 false(valid-deref) 9.0 350 69 1 false(valid-deref) 9.5 360 76 1 false(valid-deref) 9.3 370 69 1
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c error (134) .094 24 .89 0 false(valid-deref) .069 7.7 .61 1 false(valid-deref) .058 7.8 .63 1 false(valid-deref) 2.7 250 28 1 unknown .15 33 1.6 0 false(valid-deref) 8.4 430 96 1 false(valid-deref) 8.3 430 99 1 false(valid-deref) .10  26 .75 1 false(valid-deref) .48 83 5.7 1 false(valid-deref) 2.8 250 24 1 false(valid-deref) .36 49 1.3 1 disqualified 5.2 88 56 0 false(valid-deref) .18 15 2.0 1 false(valid-deref) 9.4 380 75 1 false(valid-deref) 9.8 410 81 1 false(valid-deref) 9.6 390 89 1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c error (134) .087 24 .78 0 false(valid-deref) .075 7.8 .43 1 false(valid-deref) .073 7.6 .42 1 false(valid-deref) 2.8 250 26 1 unknown .15 33 2.5 0 false(valid-deref) 8.3 430 110 1 false(valid-deref) 8.3 430 110 1 false(valid-deref) .081 26 .79 1 false(valid-deref) .44 82 6.1 1 false(valid-deref) 2.9 250 25 1 false(valid-deref) .18 36 1.3 1 disqualified 4.9 86 57 0 false(valid-deref) .17 15 1.9 1 false(valid-deref) 8.5 370 69 1 false(valid-deref) 8.3 370 59 1 false(valid-deref) 7.5 350 53 1
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c error (134) .090 24 .81 0 false(valid-deref) .084 7.4 .40 1 false(valid-deref) .089 7.9 .48 1 false(valid-deref) 2.9 240 26 1 unknown .14 33 1.6 0 false(valid-deref) 8.2 430 100 1 false(valid-deref) 8.2 430 110 1 false(valid-deref) .080 26 .80 1 false(valid-deref) .44 83 5.1 1 false(valid-deref) 2.8 240 27 1 false(valid-deref) .24 49 1.8 1 disqualified 6.0 120 74 0 false(valid-deref) .17 16 2.5 1 false(valid-deref) 7.1 340 58 1 false(valid-deref) 9.2 370 62 1 false(valid-deref) 8.2 350 59 1
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c error (134) .12  24 .75 0 false(valid-deref) 1.3   20   17    0 false(valid-deref) 1.5   26   21    0 false(valid-deref) 9.3 380 68 1 false(valid-deref) 87    220 1000   1 false(valid-deref) 8.5 430 99 1 false(valid-deref) 8.5 430 120 1 false(valid-deref) 1.7   38 26    1 false(valid-deref) 350    4300 3400   1 false(valid-deref) 9.6 440 80 1 false(valid-deref) 1.4  44 14   1 disqualified 750   530 8400 0 false(valid-deref) .21 15 2.4 1 false(valid-deref) 650   5000 9100 1 timeout 900   1200 7900 0 false(valid-deref) 730   5200 8700 1
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c error (134) .087 24 .96 0 false(valid-deref) 1.3   21   20    1 false(valid-deref) 1.5   26   20    1 false(valid-deref) 10   490 92 1 unknown 92    220 1100   0 false(valid-deref) 8.5 430 110 1 false(valid-deref) 8.8 430 120 1 false(valid-deref) 1.7   37 25    1 false(valid-deref) .50 83 5.3 1 false(valid-deref) 9.7 490 89 1 false(valid-deref) 3.5  60 39   1 disqualified 750   500 6800 0 false(valid-deref) .18 16 1.9 1 false(valid-deref) 600   4900 8300 1 timeout 900   1200 6600 0 false(valid-deref) 660   5100 8200 1
ldv-memsafety/memset2_false-valid-deref-write.c error (134) .17  25 1.3  0 false(valid-deref) .075 7.6 .52 1 false(valid-deref) .13  7.7 .54 1 false(valid-deref) 2.8 240 23 1 false(valid-deref) 11    37 140   1 false(valid-deref) 8.2 430 97 1 false(valid-deref) 8.3 430 100 1 false(valid-deref) 1.3   41 17    1 unknown .75 39 10   0 false(valid-deref) 2.7 250 25 1 false(valid-deref) .24 48 1.5 1 disqualified 2.8 74 36 0 false(valid-deref) .16 15 2.0 1 false(valid-deref) 7.1 350 58 1 false(valid-deref) 8.1 370 56 1 false(valid-deref) 7.2 340 60 1
ldv-memsafety/memset3_false-valid-deref-write.c error (134) .16  25 1.4  0 false(valid-deref) .093 7.6 .53 1 false(valid-deref) .081 8.3 .62 1 false(valid-deref) 2.7 250 23 1 false(valid-deref) 46    40 660   1 false(valid-deref) 8.2 430 100 1 false(valid-deref) 8.3 430 110 1 false(valid-deref) 14     340 220    1 unknown .74 39 10   0 false(valid-deref) 2.7 250 22 1 false(valid-deref) .14 33 1.4 1 disqualified 2.8 73 31 0 false(valid-deref) .16 16 1.7 1 false(valid-deref) 7.3 340 62 1 false(valid-deref) 7.8 370 57 1 false(valid-deref) 8.2 370 68 1
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c error (134) .17  25 1.8  0 false(valid-deref) .12  8.1 .52 1 false(valid-deref) .075 8.8 .65 1 false(valid-deref) 2.8 250 26 1 false(valid-deref) 11    38 160   1 false(valid-deref) 8.3 430 110 1 false(valid-deref) 8.2 430 98 1 false(valid-deref) 1.3   41 21    1 unknown .75 39 10   0 false(valid-deref) 2.9 240 23 1 false(valid-deref) .36 48 1.2 1 disqualified 2.8 73 35 0 false(valid-deref) .16 15 1.9 1 false(valid-deref) 7.9 360 61 1 false(valid-deref) 7.7 360 59 1 false(valid-deref) 7.9 370 70 1
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c error (134) .15  25 1.6  0 false(valid-deref) .10  8.2 .56 1 false(valid-deref) .077 7.8 .58 1 false(valid-deref) 2.9 250 24 1 false(valid-deref) 46    40 670   1 false(valid-deref) 8.3 430 100 1 false(valid-deref) 7.9 430 99 1 false(valid-deref) 14     340 190    1 unknown .75 39 9.9 0 false(valid-deref) 2.9 250 27 1 false(valid-deref) .18 33 1.3 1 disqualified 2.8 74 32 0 false(valid-deref) .17 17 1.9 1 false(valid-deref) 7.9 370 60 1 false(valid-deref) 8.2 360 57 1 false(valid-deref) 8.3 370 65 1
ldv-memsafety/memsetNonZero_false-valid-deref-write.c error (134) .16  25 1.8  0 false(valid-deref) .12  8.0 .53 1 false(valid-deref) .075 7.7 .62 1 false(valid-deref) 2.9 250 24 1 false(valid-deref) 46    40 660   1 false(valid-deref) 8.2 430 100 1 false(valid-deref) 8.3 430 110 1 false(valid-deref) 14     340 210    1 unknown .74 39 9.4 0 false(valid-deref) 2.8 240 26 1 false(valid-deref) .14 33 1.2 1 disqualified 2.8 74 31 0 false(valid-deref) .15 16 2.1 1 false(valid-deref) 8.2 370 66 1 false(valid-deref) 8.9 380 68 1 false(valid-deref) 8.2 370 60 1
ldv-memsafety/memset_false-valid-deref-write.c error (134) .20  25 1.6  0 false(valid-deref) .082 8.6 .53 1 false(valid-deref) .082 7.6 .55 1 false(valid-deref) 2.8 240 25 1 false(valid-deref) 46    40 670   1 false(valid-deref) 8.2 430 110 1 false(valid-deref) 8.2 430 120 1 false(valid-deref) 14     340 190    1 unknown .74 39 9.6 0 false(valid-deref) 2.7 250 27 1 false(valid-deref) .31 48 1.0 1 disqualified 2.8 74 39 0 false(valid-deref) .16 16 2.0 1 false(valid-deref) 8.4 370 67 1 false(valid-deref) 8.0 370 56 1 false(valid-deref) 8.3 350 61 1
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c error (134) .094 24 .71 0 error (42) 880     4100   6200    0 error (42) 870     4300   9400    0 true 84   4500 960 2 unknown 900    970 9600   0 true 12   380 130 2 true 12   380 160 2 timeout 900     2300 11000    0 timeout 900    74 9700   0 true 92   4700 960 2 timeout 900    1600 6800   0 disqualified 760   380 7500 0 probably out of memory (killed (signal 9, verification)) 290    15000 4100   0 timeout 900   2400 12000 0 timeout 900   1000 6800 0 timeout 900   5500 11000 0
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c error (134) .088 23 .71 0 true 1.3   18   17    2 true 1.9   26   23    2 true 9.5 760 97 2 unknown 41    140 490   0 true 8.5 370 120 2 true 8.4 370 100 2 true .75  27 9.5  2 true 510    4300 5300   2 true 9.6 700 100 2 true 2.1  77 24   2 disqualified 760   710 6000 0 true .18 15 1.7 2 true 25   500 250 2 timeout 900   1200 7200 0 true 18   660 140 2
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c error (134) .092 24 .90 0 true 1.2   13   19    2 true 1.5   18   19    2 true 7.8 400 61 2 unknown 79    190 1000   0 true 8.3 370 110 2 true 8.4 370 100 2 true 1.7   37 20    2 true 420    4300 4500   2 true 7.6 470 69 2 true 2.9  53 34   2 disqualified 750   530 9100 0 true .15 15 1.7 2 true 19   650 160 2 timeout 900   1300 7600 0 true 30   680 330 2
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c error (134) .084 23 .75 0 true 1.4   18   16    2 true 1.9   26   26    2 true 10   800 110 2 unknown 41    140 520   0 true 8.6 370 110 2 true 8.4 370 100 2 true .78  27 11    2 true 530    4300 5300   2 true 9.6 790 88 2 true 2.1  79 23   2 disqualified 760   710 8500 0 true .15 15 1.8 2 true 17   640 130 2 timeout 900   1600 6900 0 true 27   530 300 2
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c error (134) .12  24 .75 0 true 6.2   67   95    2 true 22     140   180    2 true 51   4000 440 2 unknown 900    1000 11000   0 true 9.9 370 100 2 true 9.9 380 120 2 true 48     660 670    2 timeout 900    1600 11000   0 true 50   3800 460 2 true 210    700 3400   2 disqualified 760   390 7700 0 true .18 15 1.7 2 true 17   640 150 2 timeout 900   1100 7100 0 true 21   660 200 2
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c error (134) .087 24 .78 0 true 1.3   13   18    2 true 1.6   18   20    2 true 7.6 470 62 2 unknown 89    210 1100   0 true 8.2 370 110 2 true 8.3 370 96 2 true 1.9   39 27    2 true 340    4300 2900   2 true 7.6 470 68 2 true 3.0  58 33   2 disqualified 750   400 9800 0 true .17 15 1.6 2 true 18   530 140 2 timeout 900   1300 7400 0 true 18   650 150 2
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true .11  24 .80 2 true .093 6.4 .28 2 true .11  6.2 .31 2 true 3.2 270 26 2 unknown .88 66 8.7 0 true 8.0 370 110 2 true 8.1 370 100 2 true .11  27 1.2  2 true 330    4300 3400   2 true 3.2 270 26 2 true .32 46 1.1 2 disqualified 5.4 76 61 0 true .14 16 1.6 2 true 11   420 76 2 true 30   640 260 2 true 11   420 91 2
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true .10  24 .75 2 true .097 6.2 .33 2 true .057 6.8 .47 2 true 3.0 240 24 2 unknown .89 65 11   0 true 8.1 370 94 2 true 8.1 370 98 2 true .10  27 1.3  2 true 330    4300 3500   2 true 3.3 270 30 2 true .16 30 1.2 2 disqualified 5.4 76 66 0 true .15 15 1.6 2 true 11   400 80 2 true 31   620 250 2 true 11   400 80 2
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true .10  24 .86 2 true .050 7.5 .48 2 true .077 6.1 .34 2 true 3.1 280 28 2 unknown .83 67 8.3 0 true 8.2 370 100 2 true 8.4 370 91 2 true .085 26 .97 2 true 460    4300 5700   2 true 3.0 270 28 2 true .15 32 1.8 2 disqualified 5.2 71 59 0 true .13 16 1.6 2 true 7.0 340 60 2 true 7.6 350 56 2 true 8.0 360 68 2
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c error (134) .15  25 1.3  0 true .15  6.8 .55 2 true .084 8.5 .80 2 true 2.6 240 26 2 unknown .82 67 8.8 0 false(valid-deref) 8.2 430 110 -16 false(valid-deref) 8.1 430 110 -16 true .084 26 .96 2 unknown .74 39 9.4 0 true 2.7 240 25 2 true .16 33 1.2 2 disqualified 5.2 72 70 0 true .13 16 1.5 2 true 10   380 86 2 true 48   710 390 2 true 10   400 77 2
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c error (134) .17  25 1.5  0 true .15  7.1 .69 2 true .081 8.0 .65 2 true 2.7 250 23 2 unknown .82 66 8.4 0 false(valid-deref) 8.3 430 100 -16 false(valid-deref) 8.1 430 99 -16 true .083 26 1.0  2 unknown .73 39 9.9 0 true 2.7 250 23 2 true .14 32 1.3 2 disqualified 5.3 72 63 0 true .16 14 1.5 2 true 9.3 380 88 2 true 99   960 810 2 true 9.8 390 79 2
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c error (134) .19  25 1.5  0 true .095 7.9 .63 2 true .10  7.8 .61 2 true 2.7 250 26 2 unknown 11    69 180   0 false(valid-deref) 8.2 430 87 -16 false(valid-deref) 8.1 430 110 -16 true 1.4   42 17    2 unknown .74 39 9.8 0 true 2.7 240 25 2 true .14 33 1.2 2 disqualified 5.3 72 65 0 true .13 16 1.4 2 true 10   390 86 2 true 48   900 360 2 true 10   400 94 2
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c error (134) .15  25 1.9  0 true .080 7.1 .83 2 true .12  7.8 .69 2 true 2.8 250 26 2 unknown 46    67 670   0 false(valid-deref) 8.4 430 97 -16 false(valid-deref) 8.2 430 100 -16 true 15     350 190    2 unknown .76 39 9.7 0 true 2.7 250 23 2 true .13 33 1.5 2 disqualified 5.3 72 69 0 true .14 16 1.5 2 true 9.8 390 88 2 true 110   1100 990 2 true 9.2 370 78 2
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c error (134) .16  25 1.6  0 true .084 7.5 .77 2 true .089 8.5 .57 2 true 2.7 240 25 2 unknown 46    69 470   0 false(valid-deref) 8.1 430 99 -16 false(valid-deref) 8.2 430 120 -16 true 15     350 220    2 unknown .74 39 9.3 0 true 2.8 240 27 2 true .15 33 1.7 2 disqualified 5.3 72 60 0 true .15 16 1.7 2 true 9.2 370 81 2 true 81   1200 840 2 true 9.8 400 90 2
ldv-memsafety/memset_true-valid-memsafety_true-termination.c error (134) .16  25 1.4  0 true .091 7.3 .63 2 true .079 8.0 .71 2 true 2.7 240 26 2 unknown .79 66 12   0 false(valid-deref) 8.3 430 98 -16 false(valid-deref) 8.4 430 120 -16 true .087 26 .77 2 unknown .76 39 9.2 0 true 2.7 240 23 2 true .18 46 1.5 2 disqualified 5.3 72 62 0 true .13 15 1.5 2 true 10   380 76 2 true 81   1300 910 2 true 10   400 83 2
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error (134) .18  28 1.6  0 false(valid-deref) .15  11   1.8  0 error (134) .096 10   1.0  0 false(valid-deref) 4.6 290 41 1 false(valid-deref) .21 35 2.3 0 false(valid-deref) 8.5 450 120 1 false(valid-deref) 8.6 450 100 1 false(valid-deref) .14  27 1.6  0 false(valid-deref) .57 83 7.4 1 false(valid-deref) 4.4 290 40 1 false(valid-deref) .22 40 1.8 1 disqualified 4.0 120 51 0 false(valid-deref) .27 18 3.8 1 error (7) 13   350 110 0 error (7) 13   350 110 0 error (7) 13   360 110 0
ldv-memsafety/memleaks_test22_3_false-valid-deref.i error (134) .17  28 2.1  0 false(valid-deref) .15  8.9 1.7  0 error (134) .14  8.0 .97 0 false(valid-deref) 4.8 290 37 1 false(valid-deref) .27 35 3.3 0 false(valid-deref) 8.5 450 110 1 false(valid-deref) 8.7 450 110 1 false(valid-deref) .18  27 2.1  0 false(valid-deref) .57 84 7.0 1 false(valid-deref) 4.8 290 43 1 false(valid-deref) .22 38 1.8 1 disqualified 4.0 86 49 0 false(valid-deref) .27 19 3.2 1 false(valid-deref) 590   2300 7500 0 false(valid-deref) 530   1100 7000 1 timeout 900   2400 11000 0
ldv-memsafety/memleaks_test22_5_false-valid-deref.i error (134) .18  27 1.7  0 false(valid-deref) .15  8.9 1.6  0 error (134) .14  8.4 1.0  0 false(valid-deref) 4.8 290 38 1 false(valid-deref) .26 35 3.1 0 false(valid-deref) 8.5 450 100 1 false(valid-deref) 8.5 450 96 1 false(valid-deref) .18  27 2.7  0 false(valid-deref) .56 83 6.6 1 false(valid-deref) 4.8 290 42 1 false(valid-deref) .23 40 1.7 1 disqualified 4.0 86 48 0 false(valid-deref) .28 18 4.4 1 timeout 900   2300 11000 0 false(valid-deref) 670   840 5800 1 timeout 900   1200 9000 0
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error (134) .21  28 2.1  0 false(valid-deref) 6.6   160   80    0 error (134) .12  9.8 1.4  0 false(valid-deref) 5.1 290 44 1 false(valid-deref) 2.4  55 31   0 unknown 8.7 450 98 0 unknown 9.1 450 130 0 false(valid-deref) 2.4   47 30    0 timeout 900    1100 8200   0 false(valid-deref) 5.3 290 46 1 unknown .29 40 2.1 0 disqualified 5.4 130 81 0 false(valid-deref) .59 18 7.8 1 false(valid-deref) 140   800 1900 1 error (7) 16   360 130 0 false(valid-deref) 130   740 1600 1
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error (134) .20  28 1.9  0 false(valid-deref) 6.6   160   89    0 error (134) .12  9.2 1.3  0 false(valid-deref) 5.4 290 50 1 false(valid-deref) 2.4  54 29   0 unknown 8.8 450 98 0 unknown 9.0 450 110 0 false(valid-deref) 2.3   47 33    0 timeout 900    1100 8800   0 false(valid-deref) 5.1 290 44 1 unknown .28 37 2.3 0 disqualified 5.0 100 59 0 false(valid-deref) .59 18 7.2 1 false(valid-deref) 65   860 540 1 false(valid-deref) 180   1100 1500 1 timeout 900   1300 13000 0
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) .28  28 2.9  1 false(valid-free) .16  11   1.8  1 error (134) .097 9.5 1.1  0 false(valid-free) 4.6 270 43 1 false(valid-deref) .52 38 6.2 -16 false(valid-free) 8.4 450 110 1 false(valid-free) 8.7 450 98 1 false(valid-free) .44  30 6.1  0 false(valid-free) .61 83 7.7 1 false(valid-free) 4.5 290 43 1 false(valid-free) .25 39 1.8 1 disqualified 5.6 84 70 0 false(valid-free) .29 18 3.5 1 false(valid-free) 140   890 1600 1 false(valid-free) 340   940 2800 1 false(valid-free) 430   790 5400 1
ldv-memsafety/memleaks_test12_false-valid-free.i error (134) .26  29 3.2  0 error (134) .24  13   2.7  0 error (134) .14  10   1.6  0 false(valid-free) 5.5 300 48 1 unknown 570    1900 7100   0 unknown 8.7 450 99 0 unknown 8.7 450 100 0 unknown 13     210 180    0 false(valid-free) .65 84 8.9 1 false(valid-free) 5.6 290 45 1 false(valid-free) .29 40 2.9 0 disqualified 11   120 1200 0 error(unknown, verification-finished) .70 21 10   0 timeout 900   1400 11000 0 timeout 900   1100 7700 0 timeout 900   1600 13000 0
ldv-memsafety/memleaks_test17_2_false-valid-free.i error (134) .18  28 1.6  0 false(valid-free) 1.3   54   17    0 error (134) .13  9.0 .95 0 false(valid-free) 5.3 300 42 1 false(valid-deref) 30    130 350   -16 unknown 8.6 450 100 0 unknown 8.8 450 130 0 false(valid-free) 11     120 170    0 false(valid-free) .61 84 7.1 1 false(valid-free) 5.5 300 51 1 false(valid-free) .73 36 2.9 1 disqualified 52   150 670 0 false(valid-free) .33 18 3.3 1 false(valid-free) 310   2100 4000 1 timeout 900   960 7900 0 false(valid-free) 350   850 5000 1
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) .24  28 2.5  1 false(valid-free) .16  8.0 2.1  1 error (42) 95     210   1200    0 false(valid-free) 4.4 290 38 1 false(valid-deref) .20 35 2.0 -16 unknown 8.4 450 99 0 unknown 8.7 450 110 0 false(valid-free) .13  27 1.6  1 false(valid-free) .64 86 8.1 1 false(valid-free) 4.7 290 44 1 false(valid-free) .23 38 1.8 1 disqualified 5.4 84 76 0 false(valid-free) .29 18 4.0 1 false(valid-free) 250   860 2700 1 false(valid-free) 520   760 4300 1 false(valid-free) 590   870 7300 1
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) .21  28 1.7  1 false(valid-free) .12  8.1 1.0  1 false(valid-free) .12  8.7 1.2  1 false(valid-free) 4.0 260 33 1 false(valid-deref) .17 35 2.0 -16 false(valid-free) 8.5 450 110 1 false(valid-free) 8.5 440 99 1 false(valid-free) .12  27 1.0  1 false(valid-free) .57 83 8.1 1 false(valid-free) 4.1 290 39 1 false(valid-free) .21 37 1.8 1 disqualified 4.5 110 55 0 false(valid-free) .28 18 3.3 1 false(valid-free) 12   440 98 1 false(valid-free) 10   380 74 1 false(valid-free) 10   390 76 1
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) .21  27 1.6  1 false(valid-free) .11  9.3 1.2  1 false(valid-free) .15  9.5 1.1  1 false(valid-free) 4.0 280 37 1 false(valid-deref) .18 35 1.7 -16 unknown 8.5 450 120 0 unknown 8.6 450 100 0 false(valid-free) .11  27 .98 1 false(valid-free) .58 83 7.0 1 false(valid-free) 4.3 290 38 1 false(valid-free) .21 38 1.7 1 disqualified 4.4 76 52 0 error(unknown, verification-finished) .26 18 3.4 0 false(valid-free) 9.9 360 80 1 false(valid-free) 8.4 350 61 1 false(valid-free) 8.8 360 63 1
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) .21  28 1.8  1 false(valid-free) .12  8.3 1.5  1 false(valid-free) .14  9.4 1.4  1 false(valid-free) 4.3 290 34 1 false(valid-deref) .17 35 1.9 -16 unknown 8.6 450 99 0 unknown 9.1 450 120 0 false(valid-free) .12  27 1.3  1 false(valid-free) .59 83 7.4 1 false(valid-free) 4.3 280 39 1 false(valid-free) .23 38 1.9 1 disqualified 5.0 79 62 0 false(valid-free) .29 18 4.2 1 false(valid-free) 18   600 140 1 false(valid-free) 39   710 360 1 false(valid-free) 17   560 130 1
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) .21  27 1.8  1 false(valid-free) .11  8.3 1.0  1 false(valid-free) .12  9.3 1.2  1 false(valid-free) 4.4 290 35 1 false(valid-deref) .20 35 1.9 -16 false(valid-free) 8.4 450 130 1 false(valid-free) 8.6 450 130 1 false(valid-free) .11  28 .99 1 false(valid-free) .59 83 8.0 1 false(valid-free) 4.2 260 40 1 false(valid-free) .24 38 1.7 1 disqualified 4.8 110 61 0 false(valid-free) .25 18 3.3 1 false(valid-free) 13   450 99 1 false(valid-free) 11   410 91 1 false(valid-free) 10   380 73 1
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) .27  27 2.5  1 false(valid-memtrack) .21  10   1.8  0 false(valid-memtrack) 3.1   64   44    0 false(valid-memtrack) 4.5 290 44 1 false(valid-memtrack) .39 37 5.6 0 unknown 8.5 450 100 0 unknown 8.5 450 110 0 false(valid-memtrack) .33  29 4.3  0 false(valid-memtrack) .59 83 7.4 1 false(valid-memtrack) 4.4 290 41 1 false(valid-memtrack) .24 38 1.8 1 disqualified 7.1 81 91 0 false(valid-memtrack) .29 18 3.2 1 timeout 900   880 11000 0 error (7) 350   790 2900 0 timeout 900   930 12000 0
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .29  28 2.7  1 false(valid-memtrack) .15  10   1.9  0 error (134) .10  10   1.1  0 false(valid-memtrack) 4.6 290 39 1 false(valid-memtrack) .40 37 5.1 0 unknown 8.6 450 110 0 unknown 8.7 450 140 0 false(valid-memtrack) .34  29 4.2  0 false(valid-memtrack) .61 84 6.8 1 false(valid-memtrack) 4.8 290 40 1 false(valid-memtrack) .23 41 1.8 0 disqualified 7.5 82 91 0 false(valid-memtrack) .29 18 3.4 1 unknown 870   800 10000 0 error (7) 400   760 3200 0 timeout 900   780 12000 0
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .21  28 1.5  1 false(valid-memtrack) .10  7.6 1.1  0 error (134) .14  8.6 .90 0 false(valid-memtrack) 4.4 280 39 1 false(valid-memtrack) .17 35 1.9 0 unknown 8.3 450 120 0 unknown 8.5 440 100 0 false(valid-memtrack) .10  27 1.2  0 false(valid-memtrack) .56 83 7.3 1 false(valid-memtrack) 4.4 280 40 1 false(valid-memtrack) .22 39 2.1 1 disqualified 6.5 82 81 0 false(valid-memtrack) .26 17 3.3 1 unknown 200   710 2600 0 error (7) 48   880 420 0 unknown 200   690 2700 0
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error (134) .18  27 1.7  0 false(valid-memtrack) .15  11   1.5  0 error (134) .091 8.7 1.1  0 false(valid-memtrack) 4.4 290 37 1 false(valid-memtrack) 1.2  41 14   0 unknown 8.4 450 110 0 unknown 8.3 450 110 0 false(valid-memtrack) .93  37 12    0 false(valid-memtrack) .58 83 8.2 1 false(valid-memtrack) 4.7 290 36 1 false(valid-memtrack) .22 40 1.7 1 disqualified 8.6 87 110 0 false(valid-memtrack) .28 18 3.1 1 unknown 620   850 9200 0 error (7) 250   1000 2200 0 timeout 900   6900 11000 0
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .23  27 2.2  1 false(valid-memtrack) .13  6.8 1.0  0 error (134) .13  8.7 .83 0 false(valid-memtrack) 4.4 290 35 1 false(valid-memtrack) .16 35 2.0 0 unknown 8.5 450 110 0 unknown 8.5 450 100 0 false(valid-memtrack) .13  27 1.2  0 false(valid-memtrack) .58 83 7.4 1 false(valid-memtrack) 4.3 290 39 1 false(valid-memtrack) .33 54 2.0 1 disqualified 6.4 80 74 0 false(valid-memtrack) .32 18 2.6 1 error (7) 13   330 100 0 error (7) 14   350 110 0 error (7) 12   320 110 0
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error (134) .18  28 1.6  0 false(valid-memtrack) .15  10   1.9  0 error (134) .12  8.8 .95 0 false(valid-memtrack) 4.6 290 39 1 false(valid-memtrack) 1.1  42 16   0 unknown 8.5 450 110 0 unknown 8.8 450 110 0 false(valid-memtrack) .83  36 12    0 false(valid-memtrack) .58 83 7.7 1 false(valid-memtrack) 4.6 290 43 1 false(valid-memtrack) .20 41 1.8 1 disqualified 8.3 110 100 0 false(valid-memtrack) .28 18 3.8 1 error (7) 13   360 100 0 error (7) 12   330 110 0 error (7) 13   360 120 0
ldv-memsafety/memleaks_test15_false-valid-memtrack.i error (134) .28  28 2.2  0 false(valid-memtrack) .15  8.4 1.5  0 false(valid-memtrack) 2.5   56   36    0 false(valid-memtrack) 4.9 290 37 1 false(valid-memtrack) .54 43 6.8 0 unknown 8.5 450 96 0 unknown 9.8 450 110 0 false(valid-memtrack) .49  34 6.5  0 false(valid-memtrack) .60 84 7.7 1 false(valid-memtrack) 4.8 290 41 1 false(valid-memtrack) .24 39 2.0 0 disqualified 13   93 170 0 error(unknown, verification-finished) .45 17 6.4 0 timeout 900   1500 11000 0 timeout 900   870 7900 0 timeout 910   14000 8500 0
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .22  28 1.6  1 false(valid-memtrack) .10  6.8 1.0  1 false(valid-memtrack) .11  9.7 1.0  1 false(valid-memtrack) 4.1 270 35 1 false(valid-memtrack) .16 34 1.8 0 unknown 8.5 450 120 0 unknown 8.9 450 100 0 false(valid-memtrack) .13  27 1.0  0 false(valid-memtrack) 29    89 370   0 false(valid-memtrack) 4.3 290 38 1 false(valid-memtrack) .19 40 1.9 0 disqualified 6.2 110 76 0 false(valid-memtrack) .28 19 3.5 1 unknown 23   480 200 0 error (7) 15   360 120 0 unknown 20   390 160 0
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .19  27 1.8  1 false(valid-memtrack) .13  6.7 .82 1 false(valid-memtrack) .11  8.3 .84 1 false(valid-memtrack) 4.2 290 37 1 false(valid-memtrack) .16 35 1.9 0 unknown 8.4 450 120 0 unknown 8.7 450 83 0 false(valid-memtrack) .096 27 1.1  0 false(valid-memtrack) .62 83 7.2 1 false(valid-memtrack) 4.2 290 39 1 false(valid-memtrack) .23 38 1.7 1 disqualified 6.1 81 80 0 false(valid-memtrack) .26 18 3.7 1 unknown 20   400 170 0 error (7) 17   370 120 0 unknown 16   370 120 0
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i error (134) .21  28 1.4  0 false(valid-memtrack) 1.9   63   25    0 error (134) .12  9.7 1.2  0 false(valid-memtrack) 5.4 290 44 1 false(valid-memtrack) 24    130 360   0 unknown 8.4 450 97 0 unknown 8.5 450 110 0 false(valid-memtrack) 9.6   120 120    0 false(valid-memtrack) .58 84 8.9 1 false(valid-memtrack) 5.5 290 47 1 false(valid-memtrack) .24 40 2.2 1 disqualified 110   160 1300 0 false(valid-memtrack) .30 18 3.4 1 timeout 900   2200 11000 0 timeout 900   1000 7300 0 timeout 900   830 11000 0
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i error (134) .18  28 1.5  0 false(valid-memtrack) 1.5   49   22    0 error (134) .099 9.1 1.0  0 false(valid-memtrack) 5.2 290 41 1 false(valid-memtrack) 31    90 470   0 unknown 8.6 450 92 0 unknown 8.5 450 140 0 false(valid-memtrack) 8.4   82 120    0 false(valid-memtrack) .58 83 9.5 1 false(valid-memtrack) 5.3 300 46 1 false(valid-memtrack) .23 40 2.2 1 disqualified 43   130 580 0 false(valid-memtrack) .38 17 3.6 1 timeout 900   980 11000 0 timeout 900   1000 8600 0 timeout 900   900 14000 0
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i error (134) .18  27 1.4  0 false(valid-memtrack) .16  12   2.1  0 error (134) .095 9.8 1.3  0 false(valid-memtrack) 5.4 300 48 1 false(valid-memtrack) .18 35 2.0 0 unknown 8.5 450 110 0 unknown 8.6 450 120 0 false(valid-memtrack) .14  27 1.3  0 false(valid-memtrack) .58 83 5.4 1 false(valid-memtrack) 4.9 280 40 1 false(valid-memtrack) .23 38 1.9 1 disqualified 13   120 180 0 false(valid-memtrack) .27 19 3.4 1 unknown 32   580 320 0 error (7) 19   540 160 0 unknown 49   600 550 0
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i error (134) .18  27 1.8  0 false(valid-memtrack) 1.1   38   13    0 error (134) .097 9.1 1.1  0 false(valid-memtrack) 5.1 290 47 1 false(valid-memtrack) 89    88 1200   0 unknown 8.5 450 97 0 unknown 8.6 450 120 0 false(valid-memtrack) 27     83 330    0 false(valid-memtrack) .59 84 6.7 1 false(valid-memtrack) 5.3 290 46 1 false(valid-memtrack) .25 37 1.6 1 disqualified 37   120 530 0 false(valid-memtrack) .33 18 3.7 1 timeout 900   1300 11000 0 timeout 900   1100 7600 0 timeout 900   850 11000 0
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i error (134) .17  27 1.9  0 false(valid-memtrack) .44  13   5.5  0 error (134) .11  8.6 .96 0 false(valid-memtrack) 5.0 290 37 1 false(valid-memtrack) 24    49 350   0 unknown 8.5 450 120 0 unknown 8.9 450 120 0 false(valid-memtrack) 6.3   36 77    0 false(valid-memtrack) .57 83 8.3 1 false(valid-memtrack) 5.2 300 48 1 false(valid-memtrack) 120    670 760   1 disqualified 8.3 87 100 0 false(valid-memtrack) .40 25 4.7 1 unknown 260   1000 3200 0 error (7) 99   1100 900 0 unknown 440   1100 5600 0
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) .20  27 1.6  1 false(valid-memtrack) .099 6.6 .89 1 false(valid-memtrack) .097 9.8 1.0  1 false(valid-memtrack) 4.3 290 38 1 false(valid-memtrack) .16 35 2.0 0 unknown 8.3 450 100 0 unknown 8.8 450 120 0 false(valid-memtrack) .097 27 1.0  0 false(valid-memtrack) .56 83 7.1 1 false(valid-memtrack) 4.3 280 36 1 false(valid-memtrack) .19 39 2.5 1 disqualified 6.0 75 85 0 false(valid-memtrack) .25 17 3.5 1 unknown 20   390 160 0 error (7) 15   340 120 0 unknown 15   370 120 0
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) .18  28 2.3  1 false(valid-memtrack) .096 7.5 .90 1 error (134) .11  8.7 .93 0 false(valid-memtrack) 4.3 280 40 1 false(valid-memtrack) .17 35 1.9 0 unknown 8.3 450 98 0 unknown 8.3 450 99 0 false(valid-memtrack) .094 27 1.5  0 false(valid-memtrack) .61 83 7.6 1 false(valid-memtrack) 4.4 290 35 1 false(valid-memtrack) .30 54 2.1 1 disqualified 6.2 82 95 0 false(valid-memtrack) .27 18 3.7 1 unknown 21   430 180 0 error (7) 16   370 130 0 unknown 17   380 150 0
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) .20  28 2.3  1 false(valid-memtrack) .095 7.5 .97 1 error (134) .090 9.4 .87 0 false(valid-memtrack) 4.2 290 40 1 false(valid-memtrack) .16 35 1.8 0 unknown 8.5 450 92 0 unknown 8.6 450 120 0 false(valid-memtrack) .096 27 1.4  0 false(valid-memtrack) .56 83 7.1 1 false(valid-memtrack) 4.3 280 41 1 false(valid-memtrack) .20 39 1.8 1 disqualified 6.1 81 71 0 false(valid-memtrack) .25 17 3.1 1 unknown 20   400 160 0 error (7) 15   380 130 0 unknown 15   380 140 0
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i error (134) .20  28 1.8  0 false(valid-memtrack) .14  8.5 1.6  0 error (134) .15  8.5 1.1  0 false(valid-memtrack) 4.4 270 39 1 false(valid-memtrack) .22 35 2.5 0 unknown 8.4 450 100 0 unknown 8.7 450 100 0 false(valid-memtrack) .18  27 2.0  0 false(valid-memtrack) .56 83 8.5 1 false(valid-memtrack) 4.6 290 37 1 false(valid-memtrack) .21 39 2.0 1 disqualified 7.4 83 94 0 false(valid-memtrack) .27 18 3.7 1 unknown 290   1300 3800 0 error (7) 160   1100 1700 0 unknown 260   1300 3500 0
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i error (134) .19  27 1.7  0 false(valid-memtrack) .12  7.3 1.3  0 error (134) .10  9.6 1.2  0 false(valid-memtrack) 4.4 290 35 1 false(valid-memtrack) .17 34 1.8 0 unknown 8.7 450 98 0 unknown 8.6 450 110 0 false(valid-memtrack) .11  27 1.3  0 false(valid-memtrack) .55 83 8.5 1 false(valid-memtrack) 4.0 270 37 1 false(valid-memtrack) .22 38 2.0 0 disqualified 6.4 83 68 0 false(valid-memtrack) .28 19 2.9 1 unknown 56   1000 570 0 error (7) 58   980 700 0 unknown 72   1000 710 0
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i error (134) .20  27 1.7  0 false(valid-memtrack) .14  8.0 1.6  0 error (134) .10  9.8 1.2  0 false(valid-memtrack) 4.6 280 37 1 false(valid-memtrack) .22 35 3.1 0 unknown 8.3 450 110 0 unknown 8.7 450 110 0 false(valid-memtrack) .17  27 1.9  0 false(valid-memtrack) .56 84 6.5 1 false(valid-memtrack) 4.6 290 47 1 false(valid-memtrack) .23 39 1.8 1 disqualified 7.5 83 90 0 false(valid-memtrack) .30 18 2.9 1 unknown 280   1300 3400 0 error (7) 190   970 1500 0 unknown 270   1300 3500 0
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) .19  28 2.3  1 false(valid-memtrack) .13  7.0 1.2  0 false(valid-memtrack) .11  9.7 1.4  1 false(valid-memtrack) 4.5 280 42 1 false(valid-memtrack) .17 35 1.9 0 unknown 8.4 450 120 0 unknown 8.6 450 110 0 false(valid-memtrack) .15  27 1.3  0 false(valid-memtrack) .57 83 7.4 1 false(valid-memtrack) 4.3 290 41 1 false(valid-memtrack) .22 39 1.8 0 disqualified 6.2 81 74 0 false(valid-memtrack) .27 18 4.0 1 unknown 23   450 180 0 error (7) 16   380 130 0 unknown 19   390 150 0
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .19  28 2.0  1 false(valid-memtrack) .088 7.3 .84 0 false(valid-memtrack) .093 8.8 .88 0 false(valid-memtrack) 4.2 290 37 1 false(valid-memtrack) .16 34 2.0 0 unknown 8.4 450 110 0 unknown 8.4 450 97 0 false(valid-memtrack) .094 27 1.3  0 false(valid-memtrack) .57 83 7.0 1 false(valid-memtrack) 4.2 290 40 1 false(valid-memtrack) .24 38 3.4 1 disqualified 6.1 80 82 0 false(valid-memtrack) .26 17 2.8 1 unknown 20   380 140 0 error (7) 16   360 140 0 unknown 16   380 140 0
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .20  27 1.7  0 false(valid-memtrack) .10  6.5 1.0  0 false(valid-memtrack) .11  10   1.4  0 false(valid-memtrack) 4.4 280 41 1 false(valid-memtrack) .18 35 1.7 0 unknown 8.4 450 110 0 unknown 8.7 450 120 0 false(valid-memtrack) .10  27 1.1  0 false(valid-memtrack) .56 83 6.8 1 false(valid-memtrack) 4.2 280 39 1 false(valid-memtrack) .26 53 2.2 1 disqualified 6.2 82 76 0 false(valid-memtrack) .28 18 2.8 1 unknown 22   440 160 0 error (7) 16   370 120 0 unknown 18   380 140 0
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .22  27 1.8  0 false(valid-memtrack) .11  7.2 1.3  0 false(valid-memtrack) .13  9.0 1.3  0 false(valid-memtrack) 4.1 270 35 1 false(valid-memtrack) .16 35 2.4 0 unknown 8.6 450 93 0 unknown 9.3 450 110 0 false(valid-memtrack) .099 27 1.2  0 false(valid-memtrack) .60 84 6.7 1 false(valid-memtrack) 4.3 290 37 1 false(valid-memtrack) .22 38 1.7 0 disqualified 6.6 82 74 0 false(valid-memtrack) .28 18 3.2 1 unknown 100   650 1200 0 error (7) 26   720 230 0 unknown 110   620 1200 0
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) .22  27 2.7  1 false(valid-memtrack) .11  7.0 1.2  0 false(valid-memtrack) .11  9.3 1.3  0 false(valid-memtrack) 4.6 290 42 1 false(valid-memtrack) .19 35 1.8 0 unknown 8.4 450 120 0 unknown 9.3 450 120 0 false(valid-memtrack) .099 27 1.2  0 false(valid-memtrack) .57 83 6.7 1 false(valid-memtrack) 4.4 290 43 1 false(valid-memtrack) .25 39 1.7 0 disqualified 6.5 81 95 0 false(valid-memtrack) .27 18 3.2 1 unknown 82   670 1000 0 error (7) 28   580 280 0 unknown 78   630 910 0
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) .19  27 1.7  1 false(valid-memtrack) .11  7.2 1.1  0 false(valid-memtrack) .12  8.9 1.3  0 false(valid-memtrack) 4.4 280 43 1 false(valid-memtrack) .17 35 2.0 0 unknown 8.5 450 97 0 unknown 9.3 450 100 0 false(valid-memtrack) .10  27 .96 0 false(valid-memtrack) .59 84 6.9 1 false(valid-memtrack) 4.5 290 36 1 false(valid-memtrack) .23 39 1.8 0 disqualified 6.5 82 92 0 false(valid-memtrack) .28 18 3.6 1 unknown 110   560 1400 0 error (7) 20   500 160 0 unknown 92   530 1100 0
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .19  27 1.4  1 false(valid-memtrack) .096 7.2 .98 1 false(valid-memtrack) .095 9.2 1.1  1 false(valid-memtrack) 4.3 280 38 1 false(valid-memtrack) .16 35 1.9 0 unknown 8.4 450 100 0 unknown 8.4 450 97 0 false(valid-memtrack) .10  27 1.1  0 false(valid-memtrack) .58 83 7.2 1 false(valid-memtrack) 4.3 290 39 1 false(valid-memtrack) .24 39 1.6 1 disqualified 6.2 80 66 0 false(valid-memtrack) .25 18 3.4 1 unknown 19   380 140 0 error (7) 15   360 130 0 unknown 16   370 120 0
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) .20  28 2.2  1 false(valid-memtrack) .10  7.9 .99 1 false(valid-memtrack) .10  9.6 .97 1 false(valid-memtrack) 4.3 280 38 1 false(valid-memtrack) .16 35 1.8 0 unknown 8.5 450 100 0 unknown 8.7 450 98 0 false(valid-memtrack) .10  27 1.1  0 false(valid-memtrack) .58 83 6.9 1 false(valid-memtrack) 4.2 280 40 1 false(valid-memtrack) .24 37 1.6 1 disqualified 6.3 110 65 0 false(valid-memtrack) .28 18 2.9 1 unknown 22   420 160 0 error (7) 16   360 120 0 unknown 17   380 130 0
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) .19  27 1.9  1 false(valid-memtrack) .11  6.7 .88 1 false(valid-memtrack) .13  8.4 .95 1 false(valid-memtrack) 4.2 280 38 1 false(valid-memtrack) .18 35 2.0 0 unknown 8.4 450 97 0 unknown 8.6 450 120 0 false(valid-memtrack) .095 27 1.1  0 false(valid-memtrack) .58 83 7.7 1 false(valid-memtrack) 4.1 270 41 1 false(valid-memtrack) .21 39 1.7 1 disqualified 6.2 81 65 0 false(valid-memtrack) .26 18 2.8 1 unknown 20   380 160 0 error (7) 15   360 130 0 unknown 15   340 110 0
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i true .27  28 3.5  2 true .32  12   5.1  2 true 24     270   320    2 true 4.6 290 42 2 true 1.8  39 27   2 unknown 8.6 450 91 0 unknown 8.6 450 120 0 true .80  31 9.7  2 timeout 900    4500 7000   0 true 4.5 290 44 2 true .22 39 2.7 2 disqualified 6.8 78 79 0 true .25 23 3.0 2 timeout 900   870 12000 0 timeout 900   860 7700 0 timeout 900   970 14000 0
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i true .29  28 3.0  2 true .23  11   3.4  2 error (134) .10  9.6 1.2  0 true 4.7 290 43 2 true 1.8  40 24   2 unknown 8.4 450 110 0 unknown 8.7 450 110 0 true .82  31 11    2 timeout 900    4400 8400   0 true 4.8 290 44 2 true .23 39 2.4 2 disqualified 6.7 79 92 0 true .26 17 2.5 2 timeout 900   1000 12000 0 true 810   970 6000 2 timeout 900   820 11000 0
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error (134) .26  28 2.7  0 error (134) .23  13   2.6  0 error (134) .14  9.9 1.7  0 true 6.0 300 50 2 unknown 560    1900 8000   0 unknown 8.7 450 130 0 unknown 8.6 450 110 0 unknown 15     190 210    0 timeout 900    4500 8800   0 true 6.1 300 50 2 true .29 41 2.4 2 disqualified 270   240 3200 0 true .47 21 6.0 2 timeout 900   1600 12000 0 timeout 900   1100 8000 0 timeout 900   2100 11000 0
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error (134) .18  27 1.5  0 true .25  11   3.2  2 error (134) .13  8.7 .97 0 true 4.3 290 39 2 true 14    290 160   2 unknown 8.5 450 98 0 unknown 8.4 450 100 0 true 1.4   36 23    2 true 52    4400 710   2 true 4.6 280 44 2 true .19 39 1.9 2 disqualified 8.2 86 110 0 true .22 18 2.8 2 true 78   1100 780 2 true 300   1000 2500 2 true 680   810 8900 2
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error (134) .18  27 1.6  0 true .24  12   2.2  2 error (134) .14  8.6 .98 0 true 4.4 290 38 2 true 20    290 250   2 unknown 8.5 450 98 0 unknown 8.6 450 100 0 true 1.4   36 23    2 true 50    4300 580   2 true 4.4 290 41 2 true .20 37 1.7 2 disqualified 7.7 85 85 0 true .22 18 3.0 2 error (7) 12   340 93 0 error (7) 13   340 100 0 error (7) 13   360 100 0
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i error (134) .19  28 2.3  0 true .31  13   4.1  2 error (134) .13  9.7 1.4  0 true 5.0 290 42 2 true 7.1  49 80   2 unknown 8.4 450 110 0 unknown 10   450 140 0 true 3.4   40 42    2 timeout 900    4600 6300   0 true 4.8 290 42 2 true .25 40 1.9 2 disqualified 10   89 140 0 true .29 18 3.3 2 timeout 900   1300 14000 0 timeout 900   970 13000 0 timeout 900   860 11000 0
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true .19  27 2.0  2 true .14  7.3 1.7  2 true .15  8.7 1.6  2 true 4.2 290 36 2 true .42 36 5.2 2 unknown 8.4 450 110 0 unknown 9.3 450 120 0 true .10  27 1.2  2 true 65    4400 780   2 true 4.4 290 36 2 true .22 38 1.8 2 disqualified 5.5 74 64 0 true .22 18 2.6 2 true 14   550 110 2 true 12   490 94 2 true 12   530 100 2
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i error (134) .18  28 1.8  0 true 2.9   64   48    2 error (134) .13  9.0 1.2  0 true 5.8 300 47 2 true 76    170 1100   2 unknown 8.5 450 100 0 unknown 8.6 450 100 0 true 68     130 950    2 timeout 900    4500 7600   0 true 5.8 300 47 2 true .40 53 2.3 2 disqualified 130   160 1600 0 true .29 17 3.9 2 timeout 900   2100 11000 0 timeout 900   1000 8800 0 timeout 900   820 13000 0
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i error (134) .18  28 1.8  0 out of memory 280     13000   2800    0 error (42) 880     10000   13000    0 error 4.7 270 45 0 unknown 900    280 11000   0 unknown 8.5 450 110 0 unknown 1.6 200 21 0 timeout 900     350 11000    0 timeout 900    150 11000   0 error 4.6 290 44 0 unknown .39 53 2.2 0 disqualified 880   300 9000 0 timeout (verification) 900    460 14000   0 timeout 900   1100 12000 0 timeout 900   1000 7500 0 timeout 900   780 12000 0
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i error (134) .18  27 1.8  0 true 1.6   38   21    2 error (134) .096 9.0 .96 0 true 5.5 290 48 2 true 95    120 1400   2 unknown 8.5 450 110 0 unknown 8.8 450 120 0 true 44     92 590    2 timeout 900    4300 9500   0 true 5.4 300 48 2 true .37 53 3.8 2 disqualified 54   120 840 0 true .28 17 3.6 2 timeout 900   980 12000 0 timeout 900   1100 7400 0 timeout 900   840 12000 0
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true .25  28 2.1  2 true .18  7.4 2.5  2 true .77  27   8.2  2 true 4.4 280 44 2 true .54 36 6.8 2 unknown 8.4 450 98 0 unknown 8.9 450 95 0 true .15  27 1.6  2 true 270    4300 3100   2 true 4.2 270 40 2 true .26 53 1.8 2 disqualified 6.5 78 80 0 true .23 18 2.7 2 timeout 900   880 13000 0 true 680   780 5900 2 true 880   830 12000 2
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true .20  28 1.7  2 true .14  7.2 1.5  2 true .14  8.8 1.7  2 true 4.2 290 41 2 true .42 36 4.8 2 unknown 8.5 450 99 0 unknown 8.7 450 100 0 true .11  27 1.2  2 true 41    4900 500   2 true 4.2 280 37 2 true .21 38 1.7 2 disqualified 5.4 76 73 0 true .23 19 2.4 2 true 12   490 110 2 true 9.6 370 71 2 true 9.7 370 72 2
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error (134) .17  28 1.6  0 true .15  7.0 1.5  2 error (134) .13  8.5 .85 0 true 4.4 290 37 2 true .43 36 5.2 2 unknown 8.5 450 120 0 unknown 8.6 450 91 0 true .12  27 1.0  2 true 44    4300 590   2 true 4.4 290 41 2 true .32 52 1.9 2 disqualified 5.7 74 76 0 true .22 18 2.5 2 true 15   580 120 2 true 12   510 93 2 true 12   520 89 2
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error (134) .17  27 1.5  0 true .14  6.9 1.6  2 error (134) .098 9.3 .98 0 true 4.4 290 34 2 true .43 36 5.3 2 unknown 8.5 450 97 0 unknown 8.6 450 120 0 true .10  27 1.3  2 true 44    4500 470   2 true 4.5 290 43 2 true .23 38 1.6 2 disqualified 5.5 74 76 0 true .22 18 2.5 2 true 13   490 96 2 true 11   540 97 2 true 12   460 92 2
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i error (134) .21  27 1.7  0 true .22  8.1 2.5  2 error (134) .15  8.2 1.0  0 true 4.6 290 46 2 true .60 36 8.3 2 unknown 8.4 450 130 0 unknown 8.5 450 100 0 true .20  27 2.4  2 true 48    4600 560   2 true 4.5 280 40 2 true .33 52 1.8 2 disqualified 6.6 79 92 0 true .26 18 2.8 2 timeout 900   2500 12000 0 true 720   850 6000 2 timeout 900   980 9300 0
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i error (134) .19  27 1.6  0 true .23  9.6 2.7  2 error (134) .14  8.6 .98 0 true 4.5 280 45 2 true .73 36 9.5 2 unknown 8.4 450 110 0 unknown 8.6 450 110 0 true .28  27 2.6  2 true 59    4300 700   2 true 4.8 290 41 2 true .23 38 2.0 2 disqualified 7.3 81 87 0 true .23 19 3.2 2 timeout 900   2700 11000 0 timeout 900   920 7800 0 timeout 900   870 11000 0
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i error (134) .17  27 2.2  0 true .22  9.5 2.7  2 error (134) .13  8.7 1.2  0 true 4.4 290 41 2 true .74 36 9.9 2 unknown 8.6 450 120 0 unknown 8.7 450 110 0 true .28  27 2.9  2 true 52    4600 640   2 true 4.8 290 36 2 true .22 39 1.9 2 disqualified 7.4 83 84 0 true .23 18 2.7 2 timeout 900   3800 11000 0 timeout 900   940 7800 0 timeout 900   940 12000 0
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error (134) .21  28 1.8  0 error (42) 880     2200   12000    0 error (134) .12  9.9 1.7  0 true 5.2 290 44 2 unknown 900    650 10000   0 unknown 8.9 450 100 0 unknown 9.6 450 110 0 timeout 900     1200 9700    0 timeout 900    3000 12000   0 true 5.3 290 45 2 true 120    170 1400   2 disqualified 890   340 9300 0 timeout (verification) 900    92 13000   0 false(valid-deref) 130   790 1800 -16 error (7) 16   370 130 0 false(valid-deref) 130   750 1700 -16
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error (134) .21  28 2.2  0 error (42) 880     2200   12000    0 error (134) .13  9.5 1.2  0 true 5.2 290 45 2 unknown 900    920 11000   0 unknown 8.7 450 99 0 unknown 9.8 450 110 0 timeout 900     640 13000    0 timeout 900    560 11000   0 true 5.2 290 43 2 true 120    170 1400   2 disqualified 890   350 11000 0 timeout (verification) 900    92 11000   0 timeout 900   2400 10000 0 timeout 900   940 7900 0 timeout 900   1300 11000 0
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true .23  28 1.6  2 true .14  7.4 1.5  2 true .15  9.5 1.7  2 true 4.3 290 41 2 true .42 36 6.2 2 unknown 8.6 450 100 0 unknown 8.7 450 120 0 true .11  27 1.2  2 true 41    4900 480   2 true 4.3 290 38 2 true .19 38 1.8 2 disqualified 5.5 76 69 0 true .21 19 2.3 2 true 13   510 110 2 true 11   480 94 2 true 11   410 97 2
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true .23  28 2.1  2 true .16  7.3 1.7  2 true .16  8.7 2.0  2 true 4.4 290 39 2 true .48 36 5.8 2 unknown 8.6 450 120 0 unknown 8.5 450 100 0 true .14  27 1.5  2 true 68    4700 880   2 true 4.4 290 39 2 true .22 39 1.5 2 disqualified 5.6 76 64 0 true .22 18 2.8 2 true 29   540 280 2 true 12   550 99 2 true 130   600 1800 2
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true .19  27 1.6  2 true .16  6.8 1.4  2 true .15  8.9 1.7  2 true 4.3 270 36 2 true .43 36 5.1 2 unknown 8.5 450 110 0 unknown 8.6 450 98 0 true .11  27 1.2  2 true 39    4300 480   2 true 4.4 280 39 2 true .21 38 1.6 2 disqualified 5.5 75 85 0 true .24 17 2.5 2 true 13   500 120 2 true 11   490 87 2 true 12   490 92 2
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true .22  28 1.8  2 true .16  7.4 1.7  2 true .21  8.6 2.9  2 true 4.3 290 38 2 true .44 36 5.2 2 unknown 8.6 450 100 0 unknown 9.0 450 100 0 true .11  27 1.3  2 true 180    4600 2300   2 true 4.4 290 39 2 true .34 53 2.0 2 disqualified 5.9 74 72 0 true .24 18 2.8 2 true 18   680 150 2 true 64   780 530 2 true 17   590 150 2
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true .20  27 1.8  2 true .15  7.1 2.1  2 true .30  12   3.3  2 true 4.4 290 40 2 true .45 36 5.5 2 unknown 8.4 450 110 0 unknown 9.1 450 100 0 true .14  27 1.4  2 true 180    4800 2300   2 true 4.5 290 39 2 true .22 38 2.0 2 disqualified 5.8 75 79 0 true .24 18 2.8 2 true 17   510 140 2 true 45   750 410 2 true 16   590 130 2
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true .19  27 1.7  2 true .17  6.7 1.8  2 true .15  8.7 1.6  2 true 4.2 280 37 2 true .43 36 5.1 2 unknown 8.6 450 92 0 unknown 8.4 450 140 0 true .10  27 1.1  2 true 43    4500 550   2 true 4.3 290 41 2 true .19 39 1.6 2 disqualified 5.7 73 65 0 true .24 17 2.3 2 true 12   480 97 2 true 11   450 87 2 true 11   430 91 2
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true .19  27 1.7  2 true .14  7.1 1.6  2 true .15  9.4 1.8  2 true 4.4 280 42 2 true .43 36 5.2 2 unknown 8.6 450 120 0 unknown 8.6 450 91 0 true .12  27 1.0  2 true 44    4600 570   2 true 4.2 290 36 2 true .31 52 1.9 2 disqualified 5.7 72 66 0 true .22 18 2.5 2 true 13   510 110 2 true 11   510 97 2 true 12   420 91 2
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i true .18  24 1.7  2 true .10  6.5 1.0  2 error (134) .32  18   4.0  0 true 3.1 270 29 2 unknown .84 67 9.0 0 true 8.0 370 110 2 true 8.0 370 110 2 true .10  26 .96 2 true 410    4300 4100   2 true 3.3 270 28 2 unknown .13 31 2.1 0 disqualified 5.8 76 78 0 true .18 16 2.1 2 error (7) 11   320 86 0 error (7) 11   330 86 0 error (7) 11   330 93 0
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i error (134) .16  25 1.6  0 true .12  7.3 1.1  2 error (134) .27  21   3.5  0 true 2.8 250 26 2 unknown 1.3  67 14   0 true 8.0 370 120 2 true 8.2 370 96 2 true .16  26 2.0  2 true 350    4300 3700   2 true 3.0 270 26 2 unknown .16 32 1.3 0 disqualified 6.1 78 81 0 true .16 16 2.1 2 error (7) 11   330 89 0 error (7) 10   300 83 0 error (7) 10   320 87 0
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i error (134) .16  25 1.4  0 true .18  6.9 1.3  2 true 10     140   130    2 true 3.0 270 29 2 unknown 1.6  67 19   0 true 8.2 370 96 2 true 8.2 370 120 2 true .17  26 1.9  2 true 360    4300 3600   2 true 3.2 270 29 2 unknown .15 33 1.2 0 disqualified 6.3 79 73 0 true .17 16 2.7 2 error (7) 11   320 85 0 error (7) 10   310 86 0 error (7) 11   330 88 0
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i error (134) .19  25 1.8  0 true .12  7.6 1.5  2 error (134) .97  75   12    0 true 3.0 270 28 2 unknown 2.3  36 26   0 true 8.2 370 98 2 true 8.1 370 90 2 true .23  26 2.6  2 true 340    4300 3900   2 true 3.1 270 31 2 unknown .26 46 1.4 0 disqualified 6.1 77 71 0 true .18 16 1.8 2 error (7) 11   350 83 0 error (7) 11   330 88 0 error (7) 11   340 93 0
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i error (134) .17  25 1.4  0 true .15  7.5 1.4  2 error (134) 20     1400   240    0 true 2.9 250 29 2 unknown 2.9  67 34   0 true 8.1 370 120 2 true 8.1 370 86 2 true .27  26 3.0  2 true 360    4300 4000   2 true 3.2 280 27 2 unknown .15 33 1.3 0 disqualified 6.9 81 89 0 true .16 16 2.0 2 error (7) 11   330 88 0 error (7) 10   320 79 0 error (7) 11   330 88 0
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) .18  24 1.9  1 false(valid-deref) .12  7.1 .75 1 false(valid-deref) .13  7.3 1.2  1 false(valid-deref) 3.0 270 30 1 false(valid-deref) .15 33 1.6 1 false(valid-deref) 8.0 430 130 1 false(valid-deref) 8.1 430 96 1 false(valid-deref) .11  26 1.1  1 false(valid-deref) .44 83 5.6 1 false(valid-deref) 3.2 260 29 1 unknown .13 34 1.1 0 disqualified 3.1 83 41 0 false(valid-deref) .18 17 2.4 1 error (7) 11   340 89 0 error (7) 11   340 92 0 error (7) 11   330 91 0
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i error (134) .16  25 1.5  0 false(valid-deref) .088 8.1 1.1  1 false(valid-deref) .12  8.0 .86 1 false(valid-deref) 3.0 270 27 1 false(valid-deref) 1.2  35 15   0 false(valid-deref) 8.2 430 110 1 false(valid-deref) 8.2 430 110 1 false(valid-deref) .16  26 1.6  0 false(valid-deref) .47 83 4.8 1 false(valid-deref) 3.2 270 29 1 unknown .17 34 1.3 0 disqualified 3.2 84 47 0 false(valid-deref) .20 16 1.9 1 error (7) 11   340 82 0 error (7) 10   310 81 0 error (7) 11   330 95 0
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i error (134) .19  25 1.4  0 false(valid-deref) .13  8.0 .92 1 false(valid-deref) .088 7.9 .79 1 false(valid-deref) 3.0 270 28 1 false(valid-deref) 3.3  37 38   0 false(valid-deref) 8.1 430 120 1 false(valid-deref) 8.2 430 130 1 false(valid-deref) .32  26 3.6  0 false(valid-deref) .44 83 5.1 1 false(valid-deref) 2.7 250 27 1 unknown .17 34 1.2 0 disqualified 2.9 83 31 0 false(valid-deref) .19 16 2.3 1 error (7) 11   320 80 0 error (7) 10   320 79 0 error (7) 11   330 79 0
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i error (134) .16  26 1.8  0 false(valid-deref) .10  7.9 .95 1 false(valid-deref) .095 8.0 .75 1 false(valid-deref) 3.2 270 29 1 false(valid-deref) 2.5  36 28   1 false(valid-deref) 8.1 430 91 1 false(valid-deref) 8.1 430 93 1 false(valid-deref) .28  26 3.3  1 false(valid-deref) .48 83 4.6 1 false(valid-deref) 3.1 270 28 1 unknown .14 35 1.2 0 disqualified 2.9 82 36 0 false(valid-deref) .19 16 2.3 1 error (7) 11   340 87 0 error (7) 11   330 81 0 error (7) 12   330 93 0
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i error (134) .17  25 1.5  0 false(valid-free) .096 8.4 .77 1 false(valid-free) .30  21   3.4  1 false(valid-free) 3.2 280 25 1 false(valid-deref) 1.2  36 14   -16 unknown 8.1 430 99 0 unknown 8.2 430 110 0 false(valid-free) .15  26 1.6  1 false(valid-free) .47 83 5.9 1 false(valid-free) 3.1 270 29 1 unknown .13 33 1.3 0 disqualified 5.4 85 71 0 false(valid-free) .20 18 2.5 1 error (7) 10   320 83 0 error (7) 11   320 87 0 error (7) 11   330 88 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
total 180 4900   47000 53000 56 180 30000    160000 280000   116 180 4700   71000 60000 94 180 47000 410000 400000 183 180 36000 150000 430000 -95 180 26000 100000 250000 0 180 25000 100000 240000 -125 180 29000    150000 350000   120 180 61000 240000 670000 140 180 46000 410000 400000 183 180 18000   57000 150000 204 180 53000 34000 540000 0 180 28000    79000 290000   194 180 72000 200000 920000 73 180 80000 140000 750000 84 180 75000 240000 930000 73
    correct results 50 280   4500 2200 72 93 1200    3600 12000   148 63 71   1200 800 94 128 760 49000 6900 183 48 1900 5100 25000 81 68 690 34000 8500 96 71 720 35000 8700 99 83 1300    6400 18000   136 106 7500 160000 82000 140 128 770 49000 7000 183 137 960   11000 11000 204 0 139 36    2400 430   194 58 3400 41000 40000 89 54 7400 36000 66000 84 57 5200 38000 64000 89
        correct true 22 270   3800 2200 44 55 1200    3200 12000   110 31 66   860 750 62 55 430 27000 4000 110 33 1600 4300 21000 66 28 350 16000 4200 56 28 350 16000 4100 56 53 1100    3900 15000   106 34 7100 150000 78000 68 55 440 27000 4000 110 67 760   6400 9300 134 0 55 13    960 160   110 31 520 16000 4500 62 30 4900 22000 43000 60 32 2100 16000 26000 64
        correct false 28 6.7 780 67 28 38 5.2  310 53   38 32 4.7 300 48 32 73 330 22000 2900 73 15 300 740 4000 15 40 330 18000 4300 40 43 360 19000 4600 43 30 230    2500 3000   30 72 390 10000 3900 72 73 330 22000 3000 73 70 210   4500 1700 70 0 84 22    1500 270   84 27 2800 25000 36000 27 24 2500 13000 23000 24 25 3100 21000 38000 25
    correct-unconfimed results 5 2.0 160 24 0 45 56    1700 690   0 15 18   330 250 0 0 52 250 2300 3400 0 3 26 1300 310 0 3 26 1300 330 0 54 210    2600 2400   0 2 30 170 370 0 0 11 2.5 440 21 0 0 1 .24 17 2.6 0 1 590 2300 7500 0 0 0
        correct-unconfirmed true 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        correct-unconfirmed false 5 2.0 160 24 0 45 56    1700 690   0 15 18   330 250 0 0 52 250 2300 3400 0 3 26 1300 310 0 3 26 1300 330 0 54 210    2600 2400   0 2 30 170 370 0 0 11 2.5 440 21 0 0 1 .24 17 2.6 0 1 590 2300 7500 0 0 0
    incorrect results 1 22   260 230 -16 2 .29 22 2.9 -32 0 0 11 34 480 390 -176 6 49 2600 590 -96 14 120 6100 1500 -224 1 .26 27 2.6 -16 0 0 0 0 0 1 130 790 1800 -16 0 1 130 750 1700 -16
        incorrect true 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        incorrect false 1 22   260 230 -16 2 .29 22 2.9 -32 0 0 11 34 480 390 -176 6 49 2600 590 -96 14 120 6100 1500 -224 1 .26 27 2.6 -16 0 0 0 0 0 1 130 790 1800 -16 0 1 130 750 1700 -16
score (180 tasks, max score: 270) 56 116 94 183 -95 0 -125 120 140 183 204 0 194 73 84 73
Run set 2ls.sv-comp19_prop-memsafety.MemSafety-Heap cbmc.sv-comp19_prop-memsafety.MemSafety-Heap cbmc-path.sv-comp19_prop-memsafety.MemSafety-Heap cpa-seq.sv-comp19_prop-memsafety.MemSafety-Heap depthk.sv-comp19_prop-memsafety.MemSafety-Heap divine-explicit.sv-comp19_prop-memsafety.MemSafety-Heap divine-smt.sv-comp19_prop-memsafety.MemSafety-Heap esbmc-kind.sv-comp19_prop-memsafety.MemSafety-Heap map2check.sv-comp19_prop-memsafety.MemSafety-Heap pesco.sv-comp19_prop-memsafety.MemSafety-Heap predatorhp.sv-comp19_prop-memsafety.MemSafety-Heap smack.sv-comp19_prop-memsafety.MemSafety-Heap symbiotic.sv-comp19_prop-memsafety.MemSafety-Heap uautomizer.sv-comp19_prop-memsafety.MemSafety-Heap ukojak.sv-comp19_prop-memsafety.MemSafety-Heap utaipan.sv-comp19_prop-memsafety.MemSafety-Heap