Tool ULTIMATE Kojak f7c3ed31
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-59-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-01-14 06:29:29 CET [[ 2017-01-15 05:44:30 CET ]] [[ 2017-01-15 05:59:35 CET ]] [[ 2017-01-15 05:44:48 CET ]] [[ 2017-01-15 06:00:32 CET ]]
Run set [sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]
Options [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ukojak.2017-01-14_0629.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]]
../../sv-benchmarks/c/ verifier status cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) 6.6 2.1 53 320 2.9 0      error 4.5  2.5  75   260 false(valid-deref) 9.4 5.0 180 350 - -
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 5.9 1.9 49 330 2.7 0      false(valid-deref) 4.0  2.2  37   270 false(valid-deref) 8.1 4.4 160 350 - -
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 6.8 2.2 52 320 2.5 0      error 4.3  2.4  66   260 false(valid-deref) 9.3 5.0 190 350 - -
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 5.7 1.8 47 320 2.5 0      true 3.0  1.7  26   250 false(valid-deref) 7.9 4.3 150 340 - -
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 9.9 2.9 83 490 2.5 0      error 4.4  2.4  41   260 false(valid-deref) 11   5.7 190 360 - -
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 11   3.3 85 480 2.5 0      error 4.3  2.4  42   260 false(valid-deref) 9.9 5.4 160 360 - -
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 5.7 1.8 42 320 2.5 0      true 3.1  1.7  60   250 false(valid-deref) 8.2 4.4 150 350 - -
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 6.6 1.9 50 350 2.5 0      error (invalid witness file) 2.2  1.3  30   160 false(valid-deref) 7.3 3.9 150 320 - -
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 11   3.4 83 480 2.5 0      error 4.3  2.4  39   260 false(valid-deref) 8.8 4.7 170 350 - -
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 6.2 2.0 49 320 2.5 0      true 3.8  2.1  75   250 false(valid-deref) 8.9 4.7 140 340 - -
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 8.1 2.4 58 380 2.5 0      error (invalid witness file) 2.9  1.6  54   190 true 13   7.3 180 420 - -
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 41   25   440 700 2.5 0      error (invalid witness file) 2.9  1.6  39   180 false(valid-deref) 11   5.8 190 360 - -
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 7.1 2.3 59 320 2.5 0      error 4.6  2.5  56   270 false(valid-deref) 12   6.6 130 350 - -
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 11   3.2 89 510 2.5 0      error 4.5  2.4  42   260 true 14   7.8 230 460 - -
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 7.5 2.2 64 350 2.5 0      error 4.3  2.3  39   270 false(valid-deref) 11   6.1 210 390 - -
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 6.7 2.0 47 330 2.5 0      false(valid-deref) 4.5  2.5  34   260 false(valid-deref) 8.4 4.6 160 340 - -
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 5.6 1.8 41 320 2.5 0      false(valid-deref) 3.5  1.9  60   260 false(valid-deref) 7.8 4.3 140 350 - -
array-memsafety/add_last-alloca_true-valid-memsafety.i timeout 900   820   14000 860 2.3 0      - - error (invalid witness file) .54 .35 11   40 error (invalid witness file) 6.4 3.4 120 310
array-memsafety/array01-alloca_true-valid-memsafety.i true 15   5.7 150 540 2.5 0      - - error 3.9  2.2  58   260 true 13   7.3 240 390
array-memsafety/array02-alloca_true-valid-memsafety.i true 19   6.9 180 530 2.5 0      - - error 4.0  2.2  81   250 true 13   7.1 230 410
array-memsafety/array03-alloca_true-valid-memsafety.i timeout 900   800   12000 1000 2.3 0      - - error (invalid witness file) .50 .32 13   40 error (invalid witness file) 6.2 3.3 130 290
array-memsafety/bubblesort-alloca_true-valid-memsafety.i true 38   23   380 880 2.5 0      - - error 3.9  2.2  35   250 true 14   7.6 210 400
array-memsafety/count_down-alloca_true-valid-memsafety.i true 46   30   550 700 2.5 0      - - error 3.7  2.1  47   250 true 16   9.2 290 530
array-memsafety/cstrcat-alloca_true-valid-memsafety.i timeout 900   840   15000 1300 2.3 0      - - error (invalid witness file) .51 .33 12   39 error (invalid witness file) 5.8 3.1 110 300
array-memsafety/cstrchr-alloca_true-valid-memsafety.i true 27   13   300 580 2.5 0      - - error 3.9  2.1  36   250 true 16   9.4 360 540
array-memsafety/cstrcmp-alloca_true-valid-memsafety.i true 230   200   3400 1000 2.5 0      - - error 3.9  2.1  47   260 true 35   25   540 710
array-memsafety/cstrcpy-alloca_true-valid-memsafety.i timeout 900   830   12000 1800 2.3 0      - - error (invalid witness file) .52 .32 9.7 41 error (invalid witness file) 5.6 3.0 120 290
array-memsafety/cstrcspn-alloca_true-valid-memsafety.i timeout 900   820   13000 1500 2.3 0      - - error (invalid witness file) .54 .35 12   40 error (invalid witness file) 6.1 3.2 120 300
array-memsafety/cstrlen-alloca_true-valid-memsafety.i true 17   7.6 160 520 2.5 0      - - error 3.7  2.1  50   240 true 16   8.9 260 520
array-memsafety/cstrncat-alloca_true-valid-memsafety.i timeout 900   840   11000 1400 2.5 0      - - error (invalid witness file) .52 .36 11   41 error (invalid witness file) 6.1 3.2 120 300
array-memsafety/cstrncmp-alloca_true-valid-memsafety.i true 410   360   5000 1300 2.5 0      - - error 3.8  2.1  42   250 true 34   24   530 620
array-memsafety/cstrncpy-alloca_true-valid-memsafety.i timeout 900   820   14000 2600 2.3 0      - - error (invalid witness file) .48 .31 9.0 39 error (invalid witness file) 6.1 3.3 120 300
array-memsafety/cstrpbrk-alloca_true-valid-memsafety.i timeout 900   830   12000 1600 2.3 0      - - error (invalid witness file) .53 .35 10   41 error (invalid witness file) 6.0 3.1 120 300
array-memsafety/cstrspn-alloca_true-valid-memsafety.i timeout 900   830   13000 1600 2.3 0      - - error (invalid witness file) .55 .36 9.9 39 error (invalid witness file) 5.7 3.1 120 290
array-memsafety/diff-alloca_true-valid-memsafety.i timeout 900   840   12000 1000 2.3 0      - - error (invalid witness file) .49 .32 9.3 40 error (invalid witness file) 6.9 3.6 130 320
array-memsafety/insertionsort-alloca_true-valid-memsafety.i true 30   17   270 610 2.5 0      - - error 4.0  2.2  80   260 true 17   9.7 340 510
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety.i true 32   17   380 670 2.5 0      - - error 4.0  2.2  59   250 true 13   7.5 250 440
array-memsafety/lis-alloca_true-valid-memsafety.i timeout 900   830   11000 1400 2.3 0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 5.9 3.1 120 290
array-memsafety/mult_array-alloca_true-valid-memsafety.i timeout 900   880   13000 740 2.3 0      - - error (invalid witness file) .50 .32 10   39 error (invalid witness file) 6.3 3.3 130 300
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety.i true 18   7.7 180 540 2.5 0      - - error 3.6  2.0  33   240 true 17   9.8 350 570
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety.i true 12   4.8 100 480 2.5 0      - - error 3.6  2.0  44   240 true 15   8.5 210 530
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety.i true 12   4.5 120 480 2.5 0      - - error 4.1  2.2  83   250 true 20   13   430 550
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety.i true 12   4.6 110 490 2.5 0      - - error 4.2  2.3  85   260 true 15   8.4 280 560
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety.i timeout 900   830   12000 1600 2.4 0      - - error (invalid witness file) .51 .32 12   39 error (invalid witness file) 5.5 3.0 120 290
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety.i timeout 900   830   14000 1100 2.3 0      - - error (invalid witness file) .54 .35 11   39 error (invalid witness file) 5.9 3.2 120 300
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety.i timeout 900   840   11000 1400 2.3 0      - - error (invalid witness file) .49 .32 12   39 error (invalid witness file) 5.8 3.1 120 300
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety.i true 350   310   4800 1200 2.5 0      - - error 4.1  2.2  47   250 true 41   29   640 740
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety.i timeout 900   830   12000 1800 2.3 0      - - error (invalid witness file) .47 .30 10   40 error (invalid witness file) 5.7 3.0 130 300
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety.i timeout 900   830   12000 1600 2.3 0      - - error (invalid witness file) .49 .32 9.5 40 error (invalid witness file) 5.8 3.1 120 290
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety.i timeout 900   830   11000 1200 2.3 0      - - error (invalid witness file) .51 .34 12   40 error (invalid witness file) 6.2 3.3 120 300
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety.i true 16   7.6 140 590 2.5 0      - - error 4.0  2.2  48   260 true 16   9.1 270 490
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety.i timeout 900   840   11000 1300 2.3 0      - - error (invalid witness file) .49 .32 13   39 error (invalid witness file) 6.0 3.2 110 300
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety.i true 310   270   4400 1300 2.5 0      - - error 3.7  2.1  45   250 true 44   30   800 650
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety.i timeout 900   820   11000 1600 2.3 0      - - error (invalid witness file) .54 .35 12   40 error (invalid witness file) 5.7 3.1 110 290
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety.i true 27   14   280 580 2.5 0      - - error 3.7  2.1  39   250 true 19   11   260 570
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety.i timeout 900   840   13000 1400 2.3 0      - - error (invalid witness file) .52 .33 9.6 41 error (invalid witness file) 5.9 3.1 120 300
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety.i timeout 900   840   12000 1700 2.4 0      - - error (invalid witness file) .49 .33 8.4 39 error (invalid witness file) 6.0 3.2 120 300
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety.i timeout 900   830   12000 1500 2.3 0      - - error (invalid witness file) .48 .32 9.4 40 error (invalid witness file) 6.8 3.5 130 310
array-memsafety/rec_strlen-alloca_true-valid-memsafety.i true 17   7.7 150 510 2.5 0      - - error 3.7  2.1  36   250 true 30   23   530 550
array-memsafety/selectionsort-alloca_true-valid-memsafety.i timeout 900   830   12000 2100 2.7 0      - - error (invalid witness file) .57 .35 9.5 43 error (invalid witness file) 5.6 2.9 110 300
array-memsafety/stroeder1-alloca_true-valid-memsafety.i true 9.9 2.8 88 480 2.5 0      - - error 4.0  2.2  83   250 true 13   7.5 240 420
array-memsafety/stroeder2-alloca_true-valid-memsafety.i true 21   9.1 200 710 2.5 0      - - error 3.6  2.0  49   250 true 14   7.7 230 400
array-memsafety/strreplace-alloca_true-valid-memsafety.i true 26   13   240 590 2.5 0      - - error 3.9  2.1  60   260 true 29   19   450 560
array-memsafety/subseq-alloca_true-valid-memsafety.i true 470   420   5900 1600 2.5 0      - - error 3.8  2.1  48   270 true 52   42   1100 700
array-memsafety/substring-alloca_true-valid-memsafety.i timeout 900   830   11000 1500 2.3 0      - - error (invalid witness file) .51 .34 9.7 42 error (invalid witness file) 5.9 3.1 120 300
array-examples/relax_false-valid-deref.i false(valid-deref) 23   14   200 340 2.6 0      error 5.4  2.9  41   270 false(valid-deref) 9.5 5.1 180 360 - -
array-examples/sanfoundry_24_false-valid-deref.i timeout 900   760   14000 1300 2.3 0      error (invalid witness file) .56 .37 12   42 error (invalid witness file) 5.8 3.1 100 300 - -
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 900   760   13000 1400 2.3 0      error (invalid witness file) .52 .34 10   39 error (invalid witness file) 6.6 3.4 130 310 - -
array-examples/standard_strcpy_original_false-valid-deref.i timeout 900   750   13000 1500 2.3 0      error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.3 3.3 110 300 - -
memsafety/960521-1_false-valid-deref.i timeout 900   820   11000 1700 2.3 0      error (invalid witness file) .57 .37 11   43 error (invalid witness file) 6.0 3.1 120 310 - -
memsafety/test-0137_false-valid-deref.i false(valid-deref) 170   130   2100 1600 2.5 0      false(valid-deref) 5.9  3.2  65   290 true 56   48   1100 650 - -
memsafety/test-0235_false-valid-deref.i timeout 900   890   12000 530 2.3 0      error (invalid witness file) .51 .34 9.1 39 error (invalid witness file) 5.7 3.2 130 290 - -
memsafety/960521-1_false-valid-free.i timeout 900   820   12000 1700 2.3 0      error (invalid witness file) .52 .33 11   41 error (invalid witness file) 6.0 3.2 120 300 - -
memsafety/test-0158_false-valid-free.i false(valid-free) 15   6.0 120 500 2.5 0      true 4.5  2.4  55   270 true 10   5.5 160 360 - -
memsafety/test-0232_false-valid-free.i timeout 900   830   11000 1800 2.3 0      error (invalid witness file) .52 .35 12   41 error (invalid witness file) 6.0 3.2 120 300 - -
memsafety/20020406-1_false-valid-memtrack.i timeout 900   860   12000 1100 2.3 0      error (invalid witness file) .53 .34 12   42 error (invalid witness file) 5.9 3.1 120 300 - -
memsafety/20051113-1.c_false-valid-memtrack.i timeout 900   790   12000 2200 2.5 0      error (invalid witness file) .60 .38 9.5 39 error (invalid witness file) 5.5 3.0 120 290 - -
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 900   780   12000 3100 2.5 0      error (invalid witness file) .55 .34 12   41 error (invalid witness file) 5.9 3.1 110 290 - -
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 23   8.9 220 540 2.6 0      error (invalid witness file) .51 .34 3.5 40 error (invalid witness file) 5.8 3.1 110 300 - -
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 900   790   12000 4000 2.4 0      error (invalid witness file) .54 .35 11   41 error (invalid witness file) 7.2 3.8 140 310 - -
memsafety/test-0019_false-valid-memtrack.i unknown 42   23   450 600 2.6 0      error (invalid witness file) .51 .32 12   39 error (invalid witness file) 5.8 3.1 120 300 - -
memsafety/test-0102_false-valid-memtrack.i timeout 900   820   12000 2000 2.3 0      error (invalid witness file) .52 .34 10   41 error (invalid witness file) 6.0 3.2 110 300 - -
memsafety/test-0158_false-valid-memtrack.i unknown 16   5.6 140 460 2.6 0      error (invalid witness file) .58 .37 9.9 40 error (invalid witness file) 6.5 3.5 84 290 - -
memsafety/test-0220_false-valid-memtrack.i timeout 900   890   11000 760 2.3 0      error (invalid witness file) .49 .30 10   40 error (invalid witness file) 7.1 3.8 98 300 - -
memsafety/test-0232_false-valid-memtrack.i unknown 400   360   5300 1700 2.5 0      error (invalid witness file) .55 .36 12   39 error (invalid witness file) 5.9 3.1 100 300 - -
memsafety/test-0234_false-valid-memtrack.i timeout 900   890   11000 600 2.3 0      error (invalid witness file) .59 .37 8.4 39 error (invalid witness file) 5.9 3.2 120 290 - -
memsafety/test-0235_false-valid-memtrack.i timeout 900   890   13000 570 2.3 0      error (invalid witness file) .51 .32 11   40 error (invalid witness file) 5.9 3.1 94 310 - -
memsafety/960521-1_true-valid-memsafety.i timeout 900   820   12000 1400 2.3 0      - - error (invalid witness file) .49 .32 13   39 error (invalid witness file) 5.8 3.1 110 300
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 900   800   14000 4000 2.4 0      - - error (invalid witness file) .54 .34 9.7 39 error (invalid witness file) 5.5 2.9 110 300
memsafety/test-0019_true-valid-memsafety.i true 35   23   400 760 2.5 0      - - true 4.0  2.2  59   250 true 17   9.9 370 540
memsafety/test-0102_true-valid-memsafety.i timeout 900   820   13000 2300 2.3 0      - - error (invalid witness file) .55 .37 12   43 error (invalid witness file) 6.6 3.5 150 320
memsafety/test-0134_true-valid-memsafety.i timeout 900   820   12000 1600 2.3 0      - - error (invalid witness file) .49 .31 12   39 error (invalid witness file) 5.6 3.0 110 300
memsafety/test-0158_true-valid-memsafety.i true 11   4.1 91 480 2.5 0      - - true 3.9  2.1  49   260 true 11   6.2 210 390
memsafety/test-0214_true-valid-memsafety.i timeout 900   830   12000 1000 2.3 0      - - error (invalid witness file) .52 .33 9.6 43 error (invalid witness file) 6.1 3.2 110 300
memsafety/test-0217_true-valid-memsafety.i timeout 900   830   12000 1100 2.3 0      - - error (invalid witness file) .53 .34 9.8 43 error (invalid witness file) 5.2 2.8 110 280
memsafety/test-0218_true-valid-memsafety.i timeout 900   830   12000 1600 2.7 0      - - error (invalid witness file) .50 .31 11   39 error (invalid witness file) 5.9 3.1 98 300
memsafety/test-0219_true-valid-memsafety.i timeout 900   890   11000 710 2.3 0      - - error (invalid witness file) .50 .33 10   39 error (invalid witness file) 5.9 3.1 130 310
memsafety/test-0232_true-valid-memsafety.i timeout 900   830   13000 2000 2.3 0      - - error (invalid witness file) .52 .35 11   40 error (invalid witness file) 6.7 3.5 130 300
memsafety/test-0234_true-valid-memsafety.i timeout 900   890   12000 520 2.7 0      - - error (invalid witness file) .50 .32 9.7 40 error (invalid witness file) 6.2 3.2 120 300
memsafety/test-0235_true-valid-memsafety.i timeout 900   890   12000 510 2.3 0      - - error (invalid witness file) .61 .39 10   43 error (invalid witness file) 6.2 3.3 120 300
memsafety/test-0236_true-valid-memsafety.i timeout 900   890   12000 540 2.3 0      - - error (invalid witness file) .48 .31 12   39 error (invalid witness file) 6.2 3.3 120 300
memsafety/test-0237_true-valid-memsafety.i timeout 900   890   11000 570 2.3 0      - - error (invalid witness file) .52 .34 6.9 43 error (invalid witness file) 5.9 3.2 110 300
memsafety/test-0504_true-valid-memsafety.i timeout 900   810   14000 2200 2.3 0      - - error (invalid witness file) .54 .35 13   41 error (invalid witness file) 5.9 3.2 120 300
memsafety/test-0513_true-valid-memsafety.i timeout 900   840   11000 1500 2.7 0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.0 3.2 120 290
memsafety/test-0521_true-valid-memsafety.i timeout 900   840   12000 1900 2.3 0      - - error (invalid witness file) .54 .36 12   40 error (invalid witness file) 6.1 3.2 120 300
memsafety/test-memleak_nexttime_true-valid-memsafety.i true 110   85   1400 890 2.5 0      - - true 4.1  2.3  86   240 true 53   41   1100 840
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 900   820   12000 1900 2.3 0      - - error (invalid witness file) .59 .38 9.0 41 error (invalid witness file) 5.9 3.1 130 300
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 900   830   10000 1700 2.3 0      - - error (invalid witness file) .49 .32 12   40 error (invalid witness file) 5.7 3.0 120 290
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 900   850   12000 1800 2.3 0      - - error (invalid witness file) .54 .34 12   40 error (invalid witness file) 6.0 3.1 110 300
memsafety-ext/tree_cnstr_true-valid-memsafety.i timeout 900   810   13000 1200 2.3 0      - - error (invalid witness file) .55 .36 11   40 error (invalid witness file) 6.1 3.2 110 280
memsafety-ext/tree_dsw_true-valid-memsafety.i timeout 900   810   13000 1500 2.3 0      - - error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.2 3.2 120 300
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 900   820   14000 1600 2.3 0      - - error (invalid witness file) .49 .31 5.1 40 error (invalid witness file) 6.0 3.2 120 300
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i timeout 900   810   12000 1700 2.3 0      - - error (invalid witness file) .49 .31 10   40 error (invalid witness file) 6.1 3.2 120 300
memsafety-ext/tree_stack_true-valid-memsafety.i timeout 900   810   13000 1900 2.6 0      - - error (invalid witness file) .52 .33 12   39 error (invalid witness file) 6.2 3.3 120 300
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 900   820   11000 2000 2.3 0      error (invalid witness file) .54 .34 12   45 error (invalid witness file) 6.2 3.3 140 300 - -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 900   810   13000 1500 2.3 0      error (invalid witness file) .52 .32 11   40 error (invalid witness file) 6.0 3.2 120 300 - -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 900   860   12000 1600 2.4 0      error (invalid witness file) .55 .36 11   40 error (invalid witness file) 6.2 3.3 130 300 - -
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 900   840   10000 1500 2.3 0      error (invalid witness file) .53 .33 14   40 error (invalid witness file) 6.2 3.3 110 300 - -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 900   810   12000 2000 2.3 0      error (invalid witness file) .52 .34 13   41 error (invalid witness file) 6.4 3.3 120 310 - -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 900   810   12000 1600 2.3 0      - - error (invalid witness file) .51 .32 8.3 41 error (invalid witness file) 6.1 3.2 110 300
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 900   820   11000 1800 2.3 0      - - error (invalid witness file) .50 .31 9.5 40 error (invalid witness file) 6.5 3.4 130 300
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 900   840   10000 1600 2.3 0      - - error (invalid witness file) .66 .42 7.9 40 error (invalid witness file) 5.7 3.0 130 300
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 900   810   12000 2000 2.3 0      - - error (invalid witness file) .53 .32 12   39 error (invalid witness file) 6.2 3.3 120 300
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 900   810   10000 1600 2.5 0      - - error (invalid witness file) .50 .33 11   40 error (invalid witness file) 6.2 3.3 120 300
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 17   7.1 150 480 2.6 0      true 17    8.6  120   600 true 8.7 4.7 160 360 - -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout 900   810   12000 1500 2.3 0      error (invalid witness file) .50 .32 11   41 error (invalid witness file) 6.0 3.2 120 310 - -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 38   21   410 720 2.5 0      true 4.5  2.5  58   270 false(valid-free) 8.4 4.6 160 330 - -
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 32   19   330 610 2.5 0      true 14    7.3  130   700 false(valid-free) 9.5 5.0 170 360 - -
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 26   14   250 660 2.5 0      false(valid-free) 4.9  2.7  47   270 true 9.0 4.9 130 350 - -
list-ext-properties/test-0019_1_false-valid-memtrack.i unknown 220   190   2600 1000 2.8 0      error (invalid witness file) .54 .36 13   41 error (invalid witness file) 6.4 3.3 120 300 - -
list-ext-properties/test-0158_1_false-valid-memtrack.i unknown 23   9.9 210 510 2.9 0      error (invalid witness file) .52 .33 10   40 error (invalid witness file) 6.0 3.2 130 300 - -
list-ext-properties/test-0232_1_false-valid-memtrack.i unknown 250   220   3200 1200 2.5 0      error (invalid witness file) .53 .34 11   39 error (invalid witness file) 6.1 3.3 110 300 - -
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout 900   820   11000 1500 2.3 0      - - error (invalid witness file) .55 .36 13   40 error (invalid witness file) 5.9 3.1 120 300
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 900   810   13000 1400 2.3 0      - - error (invalid witness file) .48 .31 9.4 39 error (invalid witness file) 6.1 3.3 130 300
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 900   810   14000 1300 2.4 0      - - error (invalid witness file) .49 .32 9.7 40 error (invalid witness file) 5.7 3.0 120 300
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 900   820   11000 1700 2.3 0      - - error (invalid witness file) .53 .34 12   40 error (invalid witness file) 6.3 3.4 140 300
list-ext-properties/test-0019_1_true-valid-memsafety.i true 74   55   940 890 2.5 0      - - true 3.9  2.2  78   260 true 41   27   570 800
list-ext-properties/test-0158_1_true-valid-memsafety.i true 23   11   240 690 2.5 0      - - true 3.8  2.1  31   250 true 11   6.2 210 360
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 900   820   10000 1400 2.9 0      - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.1 3.2 120 300
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 900   820   11000 1400 2.3 0      - - error (invalid witness file) .53 .35 12   40 error (invalid witness file) 6.7 3.5 92 300
list-ext-properties/test-0232_1_true-valid-memsafety.i timeout 900   840   10000 2200 2.3 0      - - error (invalid witness file) .52 .33 8.7 42 error (invalid witness file) 5.6 3.1 110 290
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 900   810   13000 1900 2.3 0      - - error (invalid witness file) .62 .39 9.6 43 error (invalid witness file) 6.1 3.2 120 300
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout 900   810   13000 1700 2.3 0      - - error (invalid witness file) .53 .35 12   39 error (invalid witness file) 7.4 3.8 150 330
memory-alloca/c.03-alloca_true-valid-memsafety.i true 210   170   3000 1300 2.5 0      - - timeout 900    880    20000   3900 true 15   8.2 240 510
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 7.7 2.3 56 360 2.5 0      true 3.1  1.8  44   250 true 10   5.5 170 370 - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 8.6 2.6 68 440 2.5 0      true 3.2  1.8  62   250 false(valid-deref) 8.2 4.4 170 350 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 6.2 1.9 56 340 2.5 0      false(valid-deref) 3.6  2.0  74   250 false(valid-deref) 7.4 4.0 120 320 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 6.3 2.0 45 350 2.5 0      false(valid-deref) 3.4  1.9  25   240 false(valid-deref) 7.7 4.1 140 310 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout 900   810   14000 1200 2.3 0      error (invalid witness file) .52 .32 12   41 error (invalid witness file) 6.3 3.3 110 310 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout 900   810   13000 1000 2.3 0      error (invalid witness file) .58 .36 10   40 error (invalid witness file) 5.5 2.9 110 280 - -
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 5.9 1.9 47 320 2.8 0      false(valid-deref) 3.2  1.8  48   250 true 7.8 4.1 150 320 - -
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 5.7 1.9 49 320 2.5 0      false(valid-deref) 3.2  1.8  31   240 true 7.7 4.2 170 320 - -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 6.2 2.0 43 320 2.5 0      false(valid-deref) 3.1  1.8  56   230 true 7.9 4.2 170 320 - -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 5.7 1.8 46 320 2.5 0      false(valid-deref) 3.7  2.1  37   240 true 7.7 4.2 140 330 - -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 6.0 1.8 50 330 2.5 0      false(valid-deref) 3.1  1.7  56   230 true 7.8 4.2 130 330 - -
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 6.3 2.0 55 340 2.5 0      false(valid-deref) 3.2  1.8  48   250 true 7.4 4.0 120 330 - -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 900   830   13000 1600 2.3 .0041 - - error (invalid witness file) .48 .30 6.5 39 error (invalid witness file) 5.8 3.1 110 300
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c timeout 900   800   13000 1700 2.3 0      - - error (invalid witness file) .52 .34 13   40 error (invalid witness file) 5.6 3.0 88 300
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c timeout 900   810   13000 1000 2.3 0      - - error (invalid witness file) .51 .33 12   41 error (invalid witness file) 5.7 3.1 110 300
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c timeout 900   800   12000 1300 2.4 0      - - error (invalid witness file) .54 .35 11   39 error (invalid witness file) 6.3 3.4 140 310
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c timeout 900   810   12000 920 2.4 0      - - error (invalid witness file) .50 .33 9.5 39 error (invalid witness file) 5.4 2.9 110 290
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c timeout 900   810   15000 940 2.3 0      - - error (invalid witness file) .56 .35 13   41 error (invalid witness file) 6.2 3.2 130 310
ldv-memsafety/StructInitialization1_true-valid-memsafety.c error 5.1 1.6 38 320 2.5 0      - - error (invalid witness file) .51 .34 10   41 error (invalid witness file) 5.9 3.1 120 300
ldv-memsafety/StructInitialization2_true-valid-memsafety.c error 5.4 1.6 41 320 2.5 0      - - error (invalid witness file) .50 .33 9.0 40 error (invalid witness file) 7.1 3.7 140 310
ldv-memsafety/StructInitialization_true-valid-memsafety.c true 5.9 1.7 46 350 2.5 0      - - true 2.9  1.6  24   230 true 6.2 3.3 110 310
ldv-memsafety/memset2_true-valid-memsafety.c true 32   15   320 900 2.5 0      - - true 2.8  1.6  24   240 true 9.0 4.9 140 350
ldv-memsafety/memset3_true-valid-memsafety.c true 92   62   1100 1000 2.5 0      - - true 3.1  1.7  40   250 true 9.0 4.9 150 360
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c true 30   15   340 720 2.5 0      - - true 3.0  1.7  33   240 true 9.0 4.9 170 350
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c true 95   62   1300 1200 2.5 0      - - true 3.2  1.8  53   240 true 8.9 4.9 140 340
ldv-memsafety/memsetNonZero_true-valid-memsafety.c true 93   62   1300 1000 2.5 0      - - true 3.0  1.7  33   240 true 10   5.6 150 360
ldv-memsafety/memset_true-valid-memsafety.c true 93   61   1100 1000 2.5 0      - - true 2.9  1.6  33   240 true 9.6 5.2 200 350
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 730   700   10000 1100 2.5 0      false(valid-deref) 5.8  3.1  71   280 true 11   5.9 190 370 - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout 900   870   12000 1300 2.3 0      error (invalid witness file) .51 .32 8.9 40 error (invalid witness file) 5.6 3.0 100 290 - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout 900   870   10000 1300 2.3 0      error (invalid witness file) .52 .32 10   39 error (invalid witness file) 6.0 3.2 130 300 - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i timeout 900   820   12000 1400 2.9 0      error (invalid witness file) .51 .32 12   39 error (invalid witness file) 6.4 3.3 120 310 - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i timeout 900   830   12000 1500 2.3 0      error (invalid witness file) .52 .35 7.6 40 error (invalid witness file) 6.4 3.4 130 300 - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i timeout 900   890   13000 590 2.3 0      error (invalid witness file) .52 .34 6.0 42 error (invalid witness file) 6.3 3.4 140 290 - -
ldv-memsafety/memleaks_test12_false-valid-free.i timeout 900   890   12000 790 2.3 0      error (invalid witness file) .50 .32 11   40 error (invalid witness file) 5.9 3.2 110 300 - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout 900   860   11000 1400 2.3 0      error (invalid witness file) .54 .35 8.9 40 error (invalid witness file) 6.9 3.6 130 320 - -
ldv-memsafety/memleaks_test19_false-valid-free.i timeout 900   870   11000 940 2.3 0      error (invalid witness file) .53 .33 9.2 40 error (invalid witness file) 6.2 3.3 120 300 - -
ldv-memsafety/memleaks_test2_false-valid-free.i false(valid-free) 6.7 2.1 52 320 2.5 0      false(valid-free) 6.2  3.3  87   320 true 7.9 4.2 170 350 - -
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 5.6 1.9 46 330 2.5 0      false(valid-free) 7.7  4.1  62   310 false(valid-free) 7.3 3.9 130 310 - -
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 130   120   1600 850 2.5 0      true 5.9  3.1  71   280 false(valid-free) 11   5.9 210 360 - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 7.6 2.4 63 380 2.5 0      false(valid-free) 5.6  3.0  78   260 false(valid-free) 8.8 4.6 180 340 - -
ldv-memsafety/memleaks_test10_false-valid-memtrack.i timeout 900   860   13000 1200 2.3 0      error (invalid witness file) .46 .30 9.5 39 error (invalid witness file) 5.6 3.0 110 290 - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i timeout 900   890   9900 630 2.3 0      error (invalid witness file) .52 .34 12   40 error (invalid witness file) 5.7 3.0 110 290 - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i error 140   120   1500 860 2.5 0      error (invalid witness file) .53 .34 8.9 40 error (invalid witness file) 6.3 3.4 110 300 - -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i timeout 900   860   11000 1100 2.6 0      error (invalid witness file) .54 .35 9.2 41 error (invalid witness file) 6.4 3.4 140 330 - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i error 55   39   730 580 2.5 0      error (invalid witness file) .53 .33 10   41 error (invalid witness file) 6.4 3.4 130 310 - -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i timeout 900   860   11000 1100 2.3 0      error (invalid witness file) .50 .31 10   40 error (invalid witness file) 7.3 3.9 98 300 - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 900   830   11000 900 2.3 0      error (invalid witness file) .49 .32 12   39 error (invalid witness file) 9.0 4.8 110 300 - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i error 10   3.4 81 320 2.6 0      error (invalid witness file) .53 .35 11   40 error (invalid witness file) 5.9 3.1 120 300 - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i error 11   3.5 90 340 2.6 0      error (invalid witness file) .50 .33 13   40 error (invalid witness file) 5.8 3.1 120 300 - -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout 900   850   11000 1400 2.3 0      error (invalid witness file) .53 .34 8.4 39 error (invalid witness file) 6.4 3.5 110 300 - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout 900   840   12000 1500 2.3 0      error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.2 3.3 130 300 - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i error 26   16   260 470 2.6 0      error (invalid witness file) .58 .37 11   41 error (invalid witness file) 6.6 3.5 110 300 - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i timeout 900   890   11000 770 2.3 0      error (invalid witness file) .51 .33 11   42 error (invalid witness file) 8.8 4.6 100 290 - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i timeout 900   810   12000 1600 2.3 0      error (invalid witness file) .52 .34 8.9 40 error (invalid witness file) 6.2 3.3 110 300 - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i error 10   3.3 81 330 2.6 0      error (invalid witness file) .53 .35 12   40 error (invalid witness file) 6.3 3.3 120 300 - -
ldv-memsafety/memleaks_test20_false-valid-memtrack.i error 10   3.3 83 320 2.6 0      error (invalid witness file) .54 .34 12   42 error (invalid witness file) 6.0 3.2 130 300 - -
ldv-memsafety/memleaks_test21_false-valid-memtrack.i error 10   3.4 85 320 2.6 0      error (invalid witness file) .55 .34 12   40 error (invalid witness file) 5.6 3.0 110 290 - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i error 73   50   760 880 2.5 0      error (invalid witness file) .61 .39 8.2 39 error (invalid witness file) 5.6 3.0 110 290 - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i error 38   20   420 610 2.6 0      error (invalid witness file) .49 .32 7.4 41 error (invalid witness file) 7.0 3.6 130 310 - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i error 74   50   810 880 2.5 0      error (invalid witness file) .51 .33 12   39 error (invalid witness file) 6.1 3.2 120 310 - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i error 11   3.7 92 320 2.6 0      error (invalid witness file) .54 .36 13   40 error (invalid witness file) 5.9 3.2 120 290 - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i error 10   3.4 89 340 2.6 0      error (invalid witness file) .54 .35 8.4 40 error (invalid witness file) 6.4 3.4 110 290 - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i error 11   3.3 84 330 2.6 0      error (invalid witness file) .50 .33 11   39 error (invalid witness file) 6.1 3.2 110 300 - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i error 93   77   1200 720 2.5 0      error (invalid witness file) .49 .33 9.6 41 error (invalid witness file) 6.3 3.3 130 310 - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i error 290   270   4100 730 2.5 0      error (invalid witness file) .52 .35 12   39 error (invalid witness file) 5.9 3.1 110 290 - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i error 260   250   3300 550 2.5 0      error (invalid witness file) .54 .36 13   41 error (invalid witness file) 6.2 3.2 130 300 - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i error 9.8 3.4 82 320 2.6 0      error (invalid witness file) .50 .33 9.1 39 error (invalid witness file) 6.1 3.2 110 300 - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i error 10   3.5 89 330 2.6 0      error (invalid witness file) .61 .38 8.3 40 error (invalid witness file) 6.3 3.3 130 300 - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i error 10   3.3 77 320 2.6 0      error (invalid witness file) .64 .42 8.1 39 error (invalid witness file) 7.3 3.8 130 310 - -
ldv-memsafety/memleaks_test10_true-valid-memsafety.i timeout 900   840   11000 3200 2.3 0      - - error (invalid witness file) .51 .34 10   42 error (invalid witness file) 6.2 3.3 110 300
ldv-memsafety/memleaks_test11_true-valid-memsafety.i timeout 900   890   11000 550 2.3 0      - - error (invalid witness file) .51 .33 6.7 41 error (invalid witness file) 6.2 3.2 110 310
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout 900   890   13000 670 2.3 0      - - error (invalid witness file) .49 .30 12   39 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/memleaks_test13_true-valid-memsafety.i timeout 900   860   12000 1000 2.3 0      - - error (invalid witness file) .53 .33 10   40 error (invalid witness file) 6.1 3.3 120 300
ldv-memsafety/memleaks_test14_true-valid-memsafety.i timeout 900   860   11000 930 2.3 0      - - error (invalid witness file) .52 .32 11   41 error (invalid witness file) 6.0 3.2 120 300
ldv-memsafety/memleaks_test15_true-valid-memsafety.i timeout 900   880   12000 1200 2.5 0      - - error (invalid witness file) .51 .32 12   39 error (invalid witness file) 5.7 3.0 120 290
ldv-memsafety/memleaks_test16_true-valid-memsafety.i true 7.8 2.4 57 380 2.5 0      - - true 4.8  2.6  62   260 true 11   6.4 170 400
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i timeout 900   850   12000 1600 2.3 0      - - error (invalid witness file) .58 .37 14   45 error (invalid witness file) 6.2 3.3 110 300
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i timeout 900   870   11000 890 2.3 0      - - error (invalid witness file) .50 .33 9.2 39 error (invalid witness file) 6.6 3.4 120 310
ldv-memsafety/memleaks_test18_true-valid-memsafety.i timeout 900   890   11000 640 2.3 0      - - error (invalid witness file) .49 .31 12   39 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/memleaks_test19_true-valid-memsafety.i timeout 900   870   10000 1100 2.3 0      - - error (invalid witness file) .54 .35 12   40 error (invalid witness file) 5.8 3.1 120 290
ldv-memsafety/memleaks_test1_true-valid-memsafety.i true 7.2 2.2 56 340 2.5 0      - - true 5.0  2.7  44   300 true 9.8 5.4 180 350
ldv-memsafety/memleaks_test20_true-valid-memsafety.i true 9.4 2.7 79 420 2.5 0      - - true 4.9  2.7  89   260 true 14   7.7 220 450
ldv-memsafety/memleaks_test21_true-valid-memsafety.i true 7.9 2.5 57 380 2.5 0      - - true 4.5  2.5  57   260 true 12   6.6 230 430
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i timeout 900   870   11000 1400 2.6 0      - - error (invalid witness file) .55 .35 12   40 error (invalid witness file) 8.8 4.6 110 300
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i timeout 900   850   12000 1800 2.3 0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 5.7 3.0 110 290
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i timeout 900   850   11000 1900 2.3 0      - - error (invalid witness file) .52 .33 8.9 41 error (invalid witness file) 6.1 3.3 120 300
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i timeout 900   820   11000 2100 2.3 0      - - error (invalid witness file) .49 .32 10   39 error (invalid witness file) 6.8 3.7 95 290
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 900   830   12000 2400 2.3 0      - - error (invalid witness file) .53 .36 12   41 error (invalid witness file) 6.0 3.2 120 300
ldv-memsafety/memleaks_test2_true-valid-memsafety.i true 7.6 2.2 52 340 2.5 0      - - true 4.6  2.5  43   260 true 10   5.6 180 370
ldv-memsafety/memleaks_test3_true-valid-memsafety.i true 7.2 2.3 56 370 2.5 0      - - true 4.8  2.6  52   270 true 12   6.3 220 360
ldv-memsafety/memleaks_test4_true-valid-memsafety.i true 9.5 3.6 74 470 2.5 0      - - true 5.3  2.9  70   260 true 14   7.6 260 530
ldv-memsafety/memleaks_test5_true-valid-memsafety.i true 7.1 2.3 55 360 2.5 0      - - true 4.9  2.7  46   280 true 12   6.6 230 390
ldv-memsafety/memleaks_test6_true-valid-memsafety.i true 500   480   6200 770 2.5 0      - - true 5.2  2.8  92   260 true 170   160   3600 630
ldv-memsafety/memleaks_test7_true-valid-memsafety.i timeout 900   890   9800 550 2.3 0      - - error (invalid witness file) .60 .40 8.9 40 error (invalid witness file) 6.7 3.5 92 290
ldv-memsafety/memleaks_test8_true-valid-memsafety.i true 8.3 2.4 64 380 2.5 0      - - true 4.6  2.5  91   250 true 11   6.2 170 380
ldv-memsafety/memleaks_test9_true-valid-memsafety.i true 7.6 2.4 59 400 2.5 0      - - true 4.6  2.5  64   250 true 11   6.3 210 370
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i unknown 4.9 1.5 40 300 2.5 0      - - error (invalid witness file) .50 .32 12   39 error (invalid witness file) 5.9 3.1 120 300
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i unknown 5.5 1.5 36 330 2.5 0      - - error (invalid witness file) .47 .32 6.8 39 error (invalid witness file) 5.9 3.1 110 300
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i unknown 5.3 1.6 43 320 2.5 0      - - error (invalid witness file) .51 .32 8.6 40 error (invalid witness file) 5.2 2.8 120 280
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i unknown 6.2 1.6 43 350 2.5 0      - - error (invalid witness file) .53 .33 12   40 error (invalid witness file) 6.3 3.3 120 300
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i unknown 5.5 1.6 39 320 2.9 0      - - error (invalid witness file) .52 .34 9.6 39 error (invalid witness file) 5.9 3.1 130 300
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 5.1 1.6 35 300 2.5 0      error (invalid witness file) .50 .32 12   39 error (invalid witness file) 6.0 3.2 130 290 - -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 4.8 1.5 35 300 2.5 0      error (invalid witness file) .57 .35 12   43 error (invalid witness file) 5.8 3.1 110 290 - -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 5.4 1.6 41 310 2.5 0      error (invalid witness file) .53 .34 12   40 error (invalid witness file) 5.6 3.0 100 290 - -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 4.8 1.6 39 310 2.5 0      error (invalid witness file) .53 .34 9.8 41 error (invalid witness file) 5.5 2.9 120 290 - -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 4.8 1.5 37 300 2.6 0      error (invalid witness file) .54 .36 9.8 41 error (invalid witness file) 6.0 3.2 130 290 - -
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 900   810   13000 1300 2.3 0      - - error (invalid witness file) .51 .34 12   40 error (invalid witness file) 5.9 3.2 120 290
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 900   830   9900 2100 2.3 0      - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 5.9 3.1 120 300
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 900   820   13000 1200 2.3 0      - - error (invalid witness file) .52 .35 12   40 error (invalid witness file) 6.3 3.3 140 310
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 900   830   12000 1900 2.3 0      - - error (invalid witness file) .57 .37 10   40 error (invalid witness file) 6.3 3.4 130 310
heap-manipulation/tree_false-unreach-call_false-valid-deref.i false(valid-deref) 570   510   8000 1800 2.5 0      exception 3.2  1.7  32   180 false(valid-deref) 13   6.7 190 370 - -
heap-manipulation/tree_false-valid-deref.i false(valid-deref) 7.7 2.3 56 340 2.5 0      false(valid-deref) 5.1  2.7  59   270 true 9.4 5.0 160 350 - -
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 900   820   12000 1300 2.3 0      error (invalid witness file) .54 .34 12   40 error (invalid witness file) 6.8 3.6 86 290 - -
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i error 8.5 2.8 66 310 2.6 0      error (invalid witness file) .51 .33 10   41 error (invalid witness file) 5.8 3.1 120 310 - -
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 900   820   11000 1700 2.3 0      error (invalid witness file) .53 .35 7.5 43 error (invalid witness file) 6.2 3.3 130 300 - -
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 900   810   11000 1700 2.3 0      error (invalid witness file) .53 .35 13   39 error (invalid witness file) 6.2 3.3 130 310 - -
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 900   820   14000 2100 2.3 0      - - error (invalid witness file) .61 .39 8.6 39 error (invalid witness file) 5.7 3.0 110 290
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 30   14   290 640 2.6 0      error (invalid witness file) .50 .32 12   40 error (invalid witness file) 6.3 3.3 130 300 - -
list-properties/list_search_true-unreach-call_false-valid-memtrack.i timeout 900   830   11000 1000 2.3 0      error (invalid witness file) .53 .35 12   41 error (invalid witness file) 6.2 3.3 120 300 - -
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 46   24   470 710 2.6 0      error (invalid witness file) .57 .37 11   42 error (invalid witness file) 6.2 3.3 120 310 - -
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 24   11   250 500 2.6 0      error (invalid witness file) .58 .36 13   41 error (invalid witness file) 6.0 3.2 120 300 - -
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 42   24   530 710 2.6 0      error (invalid witness file) .54 .34 12   40 error (invalid witness file) 6.1 3.3 130 300 - -
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 20   6.5 170 500 2.6 0      error (invalid witness file) .65 .40 6.7 40 error (invalid witness file) 5.9 3.1 120 300 - -
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i true 410   340   5400 5000 3.2 0      - - true 8.8  4.6  110   320 true 210   170   1400 1900
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i true 410   340   5300 5400 3.0 0      - - true 9.8  5.0  160   320 true 210   160   3900 1700
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i true 410   350   6200 5300 3.1 0      - - true 9.0  4.7  120   320 true 200   160   2000 1800
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i timeout 900   810   11000 7000 2.3 0      error (invalid witness file) .55 .35 11   40 error (invalid witness file) 6.2 3.3 130 300 - -
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i timeout 900   830   12000 5800 2.3 0      error (invalid witness file) .52 .35 12   39 error (invalid witness file) 7.9 4.1 100 300 - -
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i timeout 900   820   9600 6400 2.5 0      error (invalid witness file) .50 .32 7.8 39 error (invalid witness file) 6.8 3.6 120 310 - -
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i error 530   460   6800 6900 2.5 0      error (invalid witness file) .54 .36 13   40 error (invalid witness file) 6.1 3.3 120 290 - -
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i error 480   410   6400 6700 2.5 0      error (invalid witness file) .50 .31 10   40 error (invalid witness file) 6.4 3.4 130 300 - -
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i timeout 900   830   11000 6000 2.3 0      error (invalid witness file) .55 .34 12   39 error (invalid witness file) 6.3 3.3 120 300 - -
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i error 560   490   7500 7100 2.5 0      error (invalid witness file) .54 .35 12   40 error (invalid witness file) 7.0 3.6 150 320 - -
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i timeout 900   830   10000 6100 2.3 0      error (invalid witness file) .51 .33 11   41 error (invalid witness file) 6.0 3.2 120 310 - -
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i error 550   480   7000 6800 2.5 .016  error (invalid witness file) .54 .36 12   39 error (invalid witness file) 6.4 3.4 130 300 - -
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i timeout 900   830   11000 6100 2.5 .090  error (invalid witness file) .62 .39 8.2 40 error (invalid witness file) 6.2 3.3 120 300 - -
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 900   810   11000 1300 2.3 0      - - error (invalid witness file) .54 .34 12   42 error (invalid witness file) 6.4 3.4 140 310
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 900   810   12000 1700 2.3 0      - - error (invalid witness file) .53 .35 11   40 error (invalid witness file) 6.1 3.2 120 290
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 900   800   12000 1400 2.3 0      - - error (invalid witness file) .53 .34 13   40 error (invalid witness file) 5.8 3.1 99 290
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 900   830   12000 1600 2.3 0      - - error (invalid witness file) .54 .34 12   40 error (invalid witness file) 5.9 3.1 120 290
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900   810   14000 1500 2.3 0      - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.4 3.3 140 300
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error 8.3 2.7 85 300 2.6 0      - - error (invalid witness file) .52 .33 10   40 error (invalid witness file) 6.0 3.1 120 300
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 900   820   12000 1700 2.3 0      - - error (invalid witness file) .53 .35 12   39 error (invalid witness file) 5.8 3.1 130 300
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900   810   12000 1600 2.3 0      - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.2 3.2 140 300
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 900   810   11000 1600 2.3 0      - - error (invalid witness file) .50 .32 9.1 39 error (invalid witness file) 6.7 3.5 130 310
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 900   820   12000 1700 2.3 0      - - error (invalid witness file) .51 .33 11   42 error (invalid witness file) 5.7 3.1 120 300
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 900   820   12000 2400 2.3 0      - - error (invalid witness file) .54 .36 11   40 error (invalid witness file) 6.6 3.4 120 320
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 900   820   11000 1900 2.3 0      - - error (invalid witness file) .57 .37 9.3 40 error (invalid witness file) 5.9 3.2 120 300
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 900   810   14000 1700 2.3 0      - - error (invalid witness file) .48 .32 11   40 error (invalid witness file) 6.2 3.2 120 300
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 900   810   14000 1700 2.3 0      - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.3 3.4 120 300
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900   810   15000 1300 2.3 0      - - error (invalid witness file) .51 .33 11   41 error (invalid witness file) 6.6 3.4 130 310
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i error 9.1 2.7 72 340 2.6 0      - - error (invalid witness file) .52 .35 12   39 error (invalid witness file) 5.7 3.1 120 290
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 900   810   13000 1700 2.7 0      - - error (invalid witness file) .61 .39 8.8 40 error (invalid witness file) 6.3 3.3 130 300
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900   810   11000 1400 2.3 0      - - error (invalid witness file) .57 .36 9.4 41 error (invalid witness file) 6.8 3.6 130 320
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 900   820   14000 1200 2.3 0      - - error (invalid witness file) .53 .34 11   40 error (invalid witness file) 6.3 3.3 130 310
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 900   820   13000 3400 2.3 0      error (invalid witness file) .51 .33 9.1 40 error (invalid witness file) 6.5 3.4 130 300 - -
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 260   220   3500 1500 2.5 0      true 5.2  2.8  82   270 true 18   9.7 260 500 - -
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 260   220   4200 1400 2.5 0      true 4.9  2.7  58   260 false(valid-deref) 11   5.7 190 370 - -
loop-acceleration/array3_false-valid-deref.i timeout 900   730   15000 3200 2.3 0      error (invalid witness file) .49 .31 12   39 error (invalid witness file) 6.1 3.3 130 300 - -
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 7.0 1.8 56 340 2.5 0      error (invalid witness file) .58 .36 10   39 error (invalid witness file) 6.8 3.6 130 310 - -
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.3 1.6 41 300 2.5 0      error (invalid witness file) .50 .32 11   40 error (invalid witness file) 5.8 3.2 120 300 - -
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 16   5.2 130 650 4.4 0      - - true 37    22    620   2400 true 12   6.2 230 440
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 17   5.2 140 620 4.4 0      - - true 39    22    270   2600 true 12   6.3 210 440
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 15   4.6 120 750 3.5 0      - - out of memory 180    110    1500   7000 true 9.9 5.3 190 350
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.8 2.9 77 480 3.1 0      - - true 42    25    330   2600 true 10   5.4 160 340
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.7 2.9 71 460 3.1 0      - - true 40    25    340   2700 true 9.1 4.8 160 330
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 12   3.4 100 570 3.4 0      - - true 81    50    1200   3400 true 13   6.8 140 380
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11   3.5 89 490 3.4 0      - - true 71    44    1300   3600 true 10   5.6 210 370
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.2 2.5 70 460 2.8 0      - - true 9.5  5.0  130   400 true 8.8 4.7 170 320
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.8 3.0 70 470 3.0 0      - - true 20    10    180   1100 true 13   6.7 140 320
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10   3.0 78 470 3.0 0      - - true 19    9.8  150   1100 true 9.2 4.9 170 330
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 6.1 1.9 51 330 2.6 0      - - timeout 910    800    22000   6900 true 7.7 4.1 160 310
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 5.9 1.9 51 320 2.6 0      - - out of memory 780    670    16000   7000 true 7.8 4.1 140 320
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 6.2 1.9 50 320 2.6 0      - - out of memory 720    610    13000   7000 true 7.8 4.1 170 320
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 6.1 1.9 49 320 2.6 0      - - out of memory 600    510    7500   7000 true 7.5 4.0 150 320
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 6.5 1.9 49 320 2.6 0      - - out of memory 840    740    22000   7000 true 7.1 3.8 140 310
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 6.3 1.9 55 320 2.6 0      - - timeout 960    860    25000   7000 true 7.8 4.2 130 330
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 6.6 1.9 54 330 2.6 0      - - timeout 920    830    8600   6700 true 7.9 4.2 140 320
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 6.4 1.9 48 320 2.6 0      - - timeout 910    840    15000   6100 true 8.0 4.3 140 320
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 6.2 1.7 47 340 2.6 0      - - timeout 910    810    19000   7000 true 7.2 3.8 140 310
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 5.5 1.8 46 320 2.6 0      - - timeout 910    810    13000   6800 true 7.7 4.1 160 330
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 6.3 1.9 49 340 2.6 0      - - timeout 910    830    12000   6600 true 7.2 3.9 140 310
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 5.9 1.9 45 320 2.6 0      - - timeout 910    830    12000   6500 true 7.5 4.0 160 320
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 5.9 1.9 46 330 2.6 0      - - timeout 910    810    15000   6700 true 7.0 3.8 130 320
../../sv-benchmarks/c/ verifier status cpu (s) wall (s) energy (J) mem (MB) blkio-w (MB) blkio-r (MB) validator cpachecker violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer violation t<90s status cpu (s) wall (s) energy (J) mem (MB) validator cpachecker correctness t<900s status cpu (s) wall (s) energy (J) mem (MB) validator uautomizer correctness t<900s status cpu (s) wall (s) energy (J) mem (MB)
total 328 160000 140000 2100000 400000 820 .11 328 250 140 3400 16000   328 1100 580 20000 44000   328 13000 11000 230000 140000   328 2500 1700 43000 71000  
    correct results 116 7600 6100 97000 81000 310 0    30 200 110 2400 12000   43 450 260 8200 16000   35 13000 11000 230000 130000   73 1800 1300 29000 36000  
        correct true 73 5100 4000 64000 58000 200 0    12 0 0 0 0   17 0 0 0 0   35 13000 11000 230000 130000   73 1800 1300 29000 36000  
        correct false 43 2500 2100 33000 23000 110 0    18 200 110 2400 12000   26 450 260 8200 16000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (328 tasks, max score: 517) 189
Run set [sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]