Tool Ceagle Ceagle 1.3 @ 53cfa89
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-11 09:49:51 CET [[ 2017-01-14 20:52:01 CET ]] [[ 2017-01-14 21:02:28 CET ]] [[ 2017-01-14 20:57:34 CET ]] [[ 2017-01-14 21:06:31 CET ]]
Run set [sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]
Options --compiler clang-3.7 [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ceagle.2017-01-11_0949.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ceagle.2017-01-11_0949.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/ceagle.2017-01-11_0949.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/ceagle.2017-01-11_0949.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) .028 .028 .17 8.0 0   0      error 5.9  3.2  68   260 false(valid-deref) 8.2 4.4 150 340 - -
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) .022 .022 .15 7.9 0   0      timeout 93    68    1700   4300 false(valid-deref) 7.8 4.2 130 320 - -
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) .029 .029 .18 7.8 0   0      error 4.8  2.6  100   260 true 8.4 4.5 130 330 - -
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) .027 .027 .11 7.5 0   0      false(valid-deref) 3.3  1.9  74   240 false(valid-deref) 7.8 4.2 130 320 - -
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) .064 .14  .48 33   0   25      error 5.8  3.1  65   250 true 8.3 4.5 150 350 - -
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) .027 .027 .16 8.0 0   0      error 6.1  3.3  81   250 true 8.5 4.5 150 350 - -
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) .035 .037 .13 8.0 0   0      false(valid-deref) 4.1  2.3  55   240 false(valid-deref) 8.3 4.4 140 330 - -
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) .026 .026 .12 7.7 0   0      false(valid-deref) 3.6  2.0  75   250 false(valid-deref) 7.7 4.1 150 320 - -
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) .043 .044 .21 8.0 0   0      error 4.3  2.4  97   240 true 9.8 5.3 150 360 - -
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) .035 .036 .13 7.9 0   .18   false(valid-deref) 3.6  2.1  75   240 false(valid-deref) 7.7 4.1 140 320 - -
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) .029 .029 .15 8.0 0   0      error 4.8  2.6  95   260 true 7.7 4.1 140 320 - -
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) .034 .034 .21 7.8 0   0      error 5.4  2.9  82   260 true 8.2 4.4 150 330 - -
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) .039 .040 .19 8.1 0   .22   error 5.6  3.1  77   260 true 7.4 4.0 140 320 - -
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) .052 .17  .74 43   0   35      error 5.0  2.7  56   260 true 8.7 4.7 170 350 - -
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) .027 .027 .20 7.9 0   0      error 4.6  2.5  72   280 false(valid-deref) 9.1 4.9 180 350 - -
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) .021 .021 .10 7.8 0   0      false(valid-deref) 3.6  2.0  73   240 false(valid-deref) 7.4 4.1 140 340 - -
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) .067 .18  .45 43   0   35      false(valid-deref) 3.3  1.8  49   240 false(valid-deref) 7.5 4.0 130 330 - -
array-memsafety/add_last-alloca_true-valid-memsafety.i true .030 .030 .17 8.2 0   0      - - error 4.3  2.3  78   250 timeout 960   880   20000 2400
array-memsafety/array01-alloca_true-valid-memsafety.i true .028 .028 .19 8.1 0   .11   - - error 3.7  2.1  86   250 true 13   7.3 190 370
array-memsafety/array02-alloca_true-valid-memsafety.i true .026 .026 .23 7.9 0   0      - - error 4.2  2.3  59   250 true 14   7.5 200 400
array-memsafety/array03-alloca_true-valid-memsafety.i true .041 .16  .94 44   0   36      - - error 3.9  2.1  60   250 true 13   7.2 170 410
array-memsafety/bubblesort-alloca_true-valid-memsafety.i true .066 .18  .40 44   0   36      - - error 4.1  2.3  71   250 true 16   8.8 280 380
array-memsafety/count_down-alloca_true-valid-memsafety.i true .029 .029 .21 7.9 0   0      - - error 3.9  2.2  63   250 true 19   11   390 490
array-memsafety/cstrcat-alloca_true-valid-memsafety.i true .030 .032 .18 8.1 0   0      - - error 4.1  2.3  48   260 timeout 960   880   18000 4600
array-memsafety/cstrchr-alloca_true-valid-memsafety.i true .028 .028 .18 7.9 0   0      - - error 4.0  2.3  87   250 true 16   9.4 320 570
array-memsafety/cstrcmp-alloca_true-valid-memsafety.i true .028 .028 .20 7.8 0   0      - - error 4.1  2.2  76   240 true 36   25   400 700
array-memsafety/cstrcpy-alloca_true-valid-memsafety.i true .059 .059 .15 8.0 0   0      - - error 4.3  2.3  58   260 timeout 960   840   26000 1900
array-memsafety/cstrcspn-alloca_true-valid-memsafety.i true .028 .028 .20 8.3 0   .22   - - error 4.0  2.2  77   260 true 33   22   590 630
array-memsafety/cstrlen-alloca_true-valid-memsafety.i true .030 .030 .16 7.9 0   0      - - error 3.7  2.0  65   250 true 16   8.9 270 530
array-memsafety/cstrncat-alloca_true-valid-memsafety.i true .039 .039 .17 8.0 0   0      - - error 4.9  2.7  42   270 timeout 960   910   19000 1500
array-memsafety/cstrncmp-alloca_true-valid-memsafety.i true .079 .20  .55 43   0   35      - - error 4.1  2.3  75   250 true 35   24   680 680
array-memsafety/cstrncpy-alloca_true-valid-memsafety.i true .027 .028 .19 7.8 0   0      - - error 4.1  2.3  94   250 timeout 960   860   28000 4600
array-memsafety/cstrpbrk-alloca_true-valid-memsafety.i true .029 .029 .17 7.9 0   0      - - error 4.2  2.4  79   250 true 53   40   1100 730
array-memsafety/cstrspn-alloca_true-valid-memsafety.i true .082 .20  .47 43   0   35      - - error 6.0  3.3  61   250 true 65   50   1100 710
array-memsafety/diff-alloca_true-valid-memsafety.i true .038 .038 .19 8.0 0   0      - - error 3.8  2.1  35   260 true 26   15   460 520
array-memsafety/insertionsort-alloca_true-valid-memsafety.i true .026 .029 .15 8.0 0   0      - - error 4.6  2.5  48   260 true 19   11   280 510
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety.i true .023 .024 .17 8.2 0   .22   - - error 3.7  2.1  31   250 true 15   8.4 280 400
array-memsafety/lis-alloca_true-valid-memsafety.i true .030 .031 .18 8.1 0   0      - - error 3.7  2.0  50   250 true 22   12   330 610
array-memsafety/mult_array-alloca_true-valid-memsafety.i true .040 .042 .16 8.1 0   .22   - - error 5.0  2.8  60   260 true 33   25   680 530
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety.i true .081 .20  .65 44   0   36      - - error 5.1  2.8  50   260 true 17   9.6 250 560
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety.i true .026 .026 .23 8.2 0   0      - - error 4.4  2.4  99   250 true 17   9.4 240 540
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety.i true .030 .031 .15 7.8 0   0      - - error 4.4  2.4  77   250 true 21   13   330 540
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety.i true .030 .030 .16 7.8 0   0      - - error 3.8  2.1  45   250 true 15   8.5 200 530
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety.i true .027 .028 .23 8.2 0   .098  - - error 4.8  2.6  44   250 timeout 960   830   20000 2400
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety.i true .042 .043 .18 8.3 0   .18   - - error 3.9  2.2  85   250 timeout 960   840   19000 1500
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety.i true .029 .029 .18 7.9 0   0      - - error 5.1  2.8  64   250 timeout 960   870   19000 4600
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety.i true .031 .031 .15 7.9 0   0      - - error 4.3  2.4  72   260 true 46   32   550 540
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety.i true .080 .20  .49 44   0   36      - - error 4.3  2.4  50   250 timeout 960   840   23000 2300
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety.i true .065 .18  .49 44   0   36      - - error 4.2  2.3  95   260 true 33   21   430 700
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety.i true .032 .032 .16 8.0 0   0      - - error 4.0  2.2  33   260 timeout 960   830   21000 2100
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety.i true .027 .027 .19 8.0 0   0      - - error 3.7  2.0  56   250 true 16   9.3 260 550
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety.i true .040 .041 .20 8.3 0   0      - - error 4.0  2.2  59   260 timeout 960   920   16000 2400
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety.i true .041 .043 .16 7.9 0   0      - - error 4.2  2.3  68   250 true 43   30   560 740
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety.i true .032 .032 .17 8.0 0   0      - - error 4.2  2.4  88   250 timeout 960   830   26000 1800
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety.i true .030 .031 .21 8.2 0   0      - - error 4.2  2.3  58   260 true 19   11   260 530
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety.i true .039 .039 .18 8.0 0   0      - - error 4.0  2.2  76   270 true 47   34   720 670
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety.i true .078 .19  .44 44   0   36      - - error 4.1  2.3  86   250 true 44   32   520 710
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety.i true .029 .029 .19 8.2 0   0      - - error 4.3  2.4  78   260 timeout 960   870   24000 1600
array-memsafety/rec_strlen-alloca_true-valid-memsafety.i true .033 .033 .14 8.1 0   0      - - error 3.6  2.0  44   240 true 22   15   430 560
array-memsafety/selectionsort-alloca_true-valid-memsafety.i true .023 .024 .16 8.1 0   .22   - - error 4.1  2.2  84   250 true 18   10   240 530
array-memsafety/stroeder1-alloca_true-valid-memsafety.i true .029 .029 .16 7.9 0   0      - - error 4.5  2.5  66   260 true 15   8.4 210 390
array-memsafety/stroeder2-alloca_true-valid-memsafety.i true .040 .042 .18 8.2 0   .22   - - error 3.8  2.1  63   250 true 14   8.0 260 410
array-memsafety/strreplace-alloca_true-valid-memsafety.i true .052 .16  .44 43   0   35      - - error 4.7  2.6  52   240 true 25   16   520 610
array-memsafety/subseq-alloca_true-valid-memsafety.i true .031 .031 .15 8.0 0   0      - - error 4.0  2.2  67   240 true 68   57   1900 700
array-memsafety/substring-alloca_true-valid-memsafety.i true .030 .032 .17 8.2 0   0      - - error 4.2  2.3  71   260 true 82   66   1100 810
array-examples/relax_false-valid-deref.i unknown .028 .028 .16 8.0 0   0      error (invalid witness file) .48 .32 7.2 39 error (invalid witness file) 7.0 3.7 100 300 - -
array-examples/sanfoundry_24_false-valid-deref.i false(valid-deref) .027 .027 .15 7.9 0   0      timeout 94    76    1500   3800 true 8.4 4.5 140 330 - -
array-examples/standard_strcpy_false-valid-deref_ground.i false(valid-deref) .024 .025 .13 7.9 0   0      timeout 94    67    900   3200 true 7.3 4.0 150 330 - -
array-examples/standard_strcpy_original_false-valid-deref.i false(valid-deref) .023 .024 .11 7.8 0   0      timeout 95    69    1400   3300 true 7.7 4.2 130 330 - -
memsafety/960521-1_false-valid-deref.i unknown .029 .031 .19 8.1 0   0      error (invalid witness file) .51 .35 4.9 40 error (invalid witness file) 6.1 3.2 100 290 - -
memsafety/test-0137_false-valid-deref.i unknown .035 .036 .29 8.1 0   .13   error (invalid witness file) .51 .32 12   39 error (invalid witness file) 6.1 3.2 130 300 - -
memsafety/test-0235_false-valid-deref.i unknown .063 .064 .39 8.3 0   .24   error (invalid witness file) .52 .33 12   42 error (invalid witness file) 5.9 3.2 120 300 - -
memsafety/960521-1_false-valid-free.i unknown .029 .030 .15 7.8 0   0      error (invalid witness file) .51 .32 12   39 error (invalid witness file) 5.7 3.0 120 290 - -
memsafety/test-0158_false-valid-free.i unknown .026 .027 .18 8.0 0   0      error (invalid witness file) .49 .32 8.7 39 error (invalid witness file) 5.6 3.0 110 300 - -
memsafety/test-0232_false-valid-free.i unknown .033 .033 .20 7.9 0   0      error (invalid witness file) .58 .38 8.9 41 error (invalid witness file) 8.2 4.3 86 300 - -
memsafety/20020406-1_false-valid-memtrack.i unknown .055 .055 .42 8.3 0   0      error (invalid witness file) .55 .34 12   40 error (invalid witness file) 6.4 3.4 110 280 - -
memsafety/20051113-1.c_false-valid-memtrack.i unknown .031 .032 .17 8.0 0   .070  error (invalid witness file) .50 .33 7.3 40 error (invalid witness file) 6.1 3.2 130 300 - -
memsafety/lockfree-3.1_false-valid-memtrack.i unknown .034 .036 .20 8.3 0   .086  error (invalid witness file) .55 .35 12   45 error (invalid witness file) 6.9 3.7 100 300 - -
memsafety/lockfree-3.2_false-valid-memtrack.i unknown .032 .032 .24 7.9 0   0      error (invalid witness file) .59 .36 10   39 error (invalid witness file) 6.8 3.5 130 310 - -
memsafety/lockfree-3.3_false-valid-memtrack.i unknown .030 .030 .30 8.2 0   .086  error (invalid witness file) .53 .35 5.4 40 error (invalid witness file) 6.5 3.4 130 290 - -
memsafety/test-0019_false-valid-memtrack.i unknown .033 .033 .18 8.1 0   0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 7.2 3.8 140 320 - -
memsafety/test-0102_false-valid-memtrack.i unknown .039 .039 .21 8.2 0   0      error (invalid witness file) .49 .32 9.8 40 error (invalid witness file) 5.8 3.0 100 300 - -
memsafety/test-0158_false-valid-memtrack.i unknown .028 .028 .18 8.0 0   0      error (invalid witness file) .58 .37 6.8 41 error (invalid witness file) 6.0 3.2 83 300 - -
memsafety/test-0220_false-valid-memtrack.i unknown .039 .040 .23 8.0 0   0      error (invalid witness file) .49 .33 11   41 error (invalid witness file) 5.8 3.1 100 290 - -
memsafety/test-0232_false-valid-memtrack.i unknown .031 .031 .22 8.0 0   0      error (invalid witness file) .51 .33 12   42 error (invalid witness file) 7.0 3.7 100 300 - -
memsafety/test-0234_false-valid-memtrack.i unknown .047 .047 .32 7.9 0   0      error (invalid witness file) .56 .37 10   39 error (invalid witness file) 8.0 4.3 83 280 - -
memsafety/test-0235_false-valid-memtrack.i unknown .046 .047 .41 7.9 0   0      error (invalid witness file) .55 .36 9.7 41 error (invalid witness file) 5.8 3.1 92 290 - -
memsafety/960521-1_true-valid-memsafety.i unknown .026 .027 .13 8.2 0   0      - - error (invalid witness file) .54 .35 7.8 39 error (invalid witness file) 5.8 3.1 110 290
memsafety/lockfree-3.0_true-valid-memsafety.i unknown .035 .035 .18 8.0 0   0      - - error (invalid witness file) .50 .31 12   40 error (invalid witness file) 6.3 3.3 110 310
memsafety/test-0019_true-valid-memsafety.i unknown .098 .21  .49 43   0   35      - - error (invalid witness file) .53 .34 13   41 error (invalid witness file) 6.2 3.3 130 300
memsafety/test-0102_true-valid-memsafety.i unknown .033 .033 .26 8.1 0   0      - - error (invalid witness file) .62 .41 8.5 40 error (invalid witness file) 7.0 3.8 86 300
memsafety/test-0134_true-valid-memsafety.i unknown .036 .036 .33 7.9 0   0      - - error (invalid witness file) .52 .34 11   40 error (invalid witness file) 6.7 3.5 130 300
memsafety/test-0158_true-valid-memsafety.i unknown .054 .16  .60 43   0   35      - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 7.0 3.7 94 300
memsafety/test-0214_true-valid-memsafety.i unknown .039 .041 .33 8.6 0   .51   - - error (invalid witness file) .51 .33 11   39 error (invalid witness file) 6.4 3.4 87 290
memsafety/test-0217_true-valid-memsafety.i unknown .040 .042 .31 8.4 0   .086  - - error (invalid witness file) .61 .39 8.2 42 error (invalid witness file) 6.2 3.3 110 310
memsafety/test-0218_true-valid-memsafety.i unknown .099 .18  .44 33   0   25      - - error (invalid witness file) .64 .40 8.1 39 error (invalid witness file) 6.2 3.3 110 300
memsafety/test-0219_true-valid-memsafety.i unknown .036 .037 .26 8.0 0   0      - - error (invalid witness file) .51 .33 7.6 41 error (invalid witness file) 6.2 3.3 130 310
memsafety/test-0232_true-valid-memsafety.i unknown .035 .035 .26 8.0 0   0      - - error (invalid witness file) .51 .33 12   39 error (invalid witness file) 5.5 3.0 100 290
memsafety/test-0234_true-valid-memsafety.i unknown .044 .044 .27 7.8 0   0      - - error (invalid witness file) .50 .32 9.7 39 error (invalid witness file) 7.3 3.9 86 290
memsafety/test-0235_true-valid-memsafety.i unknown .057 .058 .38 8.0 0   0      - - error (invalid witness file) .54 .35 11   42 error (invalid witness file) 6.8 3.6 110 290
memsafety/test-0236_true-valid-memsafety.i unknown .065 .065 .30 8.0 0   0      - - error (invalid witness file) .50 .31 12   39 error (invalid witness file) 6.2 3.3 110 310
memsafety/test-0237_true-valid-memsafety.i unknown .11  .22  .64 44   0   36      - - error (invalid witness file) .48 .32 12   39 error (invalid witness file) 6.0 3.2 110 300
memsafety/test-0504_true-valid-memsafety.i unknown .035 .036 .21 8.1 0   0      - - error (invalid witness file) .68 .44 9.1 41 error (invalid witness file) 5.9 3.1 100 310
memsafety/test-0513_true-valid-memsafety.i unknown .036 .037 .23 8.3 0   0      - - error (invalid witness file) .48 .32 5.7 41 error (invalid witness file) 6.1 3.2 120 300
memsafety/test-0521_true-valid-memsafety.i unknown .037 .037 .25 8.1 0   0      - - error (invalid witness file) .50 .32 7.7 39 error (invalid witness file) 7.0 3.7 78 300
memsafety/test-memleak_nexttime_true-valid-memsafety.i unknown .070 .18  .47 44   0   36      - - error (invalid witness file) .60 .39 8.0 40 error (invalid witness file) 9.3 4.8 100 320
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown .033 .034 .21 7.9 0   0      - - error (invalid witness file) .50 .34 4.2 40 error (invalid witness file) 6.1 3.2 110 300
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown .036 .036 .22 8.1 0   0      - - error (invalid witness file) .54 .34 12   41 error (invalid witness file) 5.7 3.1 110 290
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown .044 .044 .23 7.9 0   0      - - error (invalid witness file) .49 .31 9.9 39 error (invalid witness file) 6.4 3.4 93 300
memsafety-ext/tree_cnstr_true-valid-memsafety.i unknown .034 .034 .21 8.0 0   0      - - error (invalid witness file) .56 .36 6.3 39 error (invalid witness file) 6.0 3.2 110 310
memsafety-ext/tree_dsw_true-valid-memsafety.i unknown .034 .034 .27 8.1 0   0      - - error (invalid witness file) .56 .38 8.1 40 error (invalid witness file) 5.5 3.0 80 300
memsafety-ext/tree_of_cslls_true-valid-memsafety.i unknown .045 .17  .90 44   0   35      - - error (invalid witness file) .49 .31 6.7 39 error (invalid witness file) 6.1 3.2 110 310
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i unknown .033 .034 .26 8.0 0   0      - - error (invalid witness file) .50 .32 9.2 40 error (invalid witness file) 6.4 3.4 130 300
memsafety-ext/tree_stack_true-valid-memsafety.i unknown .043 .043 .24 7.9 0   0      - - error (invalid witness file) .49 .33 4.6 40 error (invalid witness file) 6.3 3.4 110 300
memsafety-ext2/split_list_test05_false-valid-deref.i unknown .12  .24  .61 43   0   35      error (invalid witness file) .50 .32 12   40 error (invalid witness file) 6.0 3.2 96 290 - -
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i unknown .10  .21  .56 44   0   36      error (invalid witness file) .61 .38 7.9 40 error (invalid witness file) 6.2 3.3 120 310 - -
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i unknown .040 .040 .28 8.0 0   0      error (invalid witness file) .54 .34 11   41 error (invalid witness file) 6.4 3.3 120 300 - -
memsafety-ext2/length_test03_false-valid-memtrack.i unknown .11  .23  .54 43   0   35      error (invalid witness file) .49 .32 9.3 40 error (invalid witness file) 6.2 3.3 110 300 - -
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i unknown .032 .032 .28 7.9 0   0      error (invalid witness file) .48 .30 7.1 39 error (invalid witness file) 6.9 3.6 100 300 - -
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i unknown .038 .038 .21 8.1 0   0      - - error (invalid witness file) .63 .41 6.2 41 error (invalid witness file) 5.9 3.2 110 300
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i unknown .038 .039 .27 8.0 0   0      - - error (invalid witness file) .71 .47 10   39 error (invalid witness file) 5.8 3.1 120 290
memsafety-ext2/length_test03_true-valid-memsafety.i unknown .039 .039 .27 7.9 0   0      - - error (invalid witness file) .48 .31 9.4 39 error (invalid witness file) 6.1 3.2 120 300
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i unknown .034 .034 .25 7.8 0   0      - - error (invalid witness file) .52 .35 12   41 error (invalid witness file) 6.3 3.3 130 300
memsafety-ext2/split_list_test05_true-valid-memsafety.i unknown .046 .047 .36 8.0 0   0      - - error (invalid witness file) .49 .32 9.3 40 error (invalid witness file) 6.9 3.7 72 290
list-ext-properties/960521-1_1_false-valid-deref.i unknown .035 .036 .25 8.0 0   0      error (invalid witness file) .56 .37 8.9 42 error (invalid witness file) 6.8 3.6 120 310 - -
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i unknown .036 .036 .20 7.9 0   0      error (invalid witness file) .58 .38 11   40 error (invalid witness file) 6.4 3.4 130 300 - -
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i unknown .040 .043 .26 8.3 0   .26   error (invalid witness file) .64 .40 8.6 40 error (invalid witness file) 6.8 3.6 120 320 - -
list-ext-properties/960521-1_1_false-valid-free.i unknown .034 .034 .20 7.9 0   0      error (invalid witness file) .52 .34 9.7 39 error (invalid witness file) 6.3 3.3 110 300 - -
list-ext-properties/test-0158_1_false-valid-free.i unknown .039 .039 .20 7.9 0   0      error (invalid witness file) .47 .31 7.6 39 error (invalid witness file) 5.9 3.1 120 300 - -
list-ext-properties/test-0019_1_false-valid-memtrack.i unknown .032 .033 .17 7.9 0   0      error (invalid witness file) .53 .33 12   39 error (invalid witness file) 6.4 3.3 130 300 - -
list-ext-properties/test-0158_1_false-valid-memtrack.i unknown .032 .032 .18 8.0 0   0      error (invalid witness file) .49 .31 10   39 error (invalid witness file) 6.2 3.2 130 300 - -
list-ext-properties/test-0232_1_false-valid-memtrack.i unknown .031 .031 .23 7.9 0   0      error (invalid witness file) .47 .31 7.8 39 error (invalid witness file) 8.2 4.3 88 300 - -
list-ext-properties/960521-1_1_true-valid-memsafety.i unknown .042 .043 .23 8.2 0   .31   - - error (invalid witness file) .49 .32 11   39 error (invalid witness file) 5.7 3.1 110 290
list-ext-properties/list-ext_1_true-valid-memsafety.i unknown .037 .037 .20 7.9 0   0      - - error (invalid witness file) .50 .32 11   40 error (invalid witness file) 6.2 3.3 130 300
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown .032 .032 .24 8.0 0   .070  - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.5 3.4 120 310
list-ext-properties/simple-ext_1_true-valid-memsafety.i unknown .035 .035 .19 8.1 0   0      - - error (invalid witness file) .57 .36 13   39 error (invalid witness file) 5.4 2.9 100 300
list-ext-properties/test-0019_1_true-valid-memsafety.i unknown .025 .025 .24 8.0 0   0      - - error (invalid witness file) .49 .32 8.7 39 error (invalid witness file) 7.1 3.8 73 300
list-ext-properties/test-0158_1_true-valid-memsafety.i unknown .061 .062 .17 8.0 0   0      - - error (invalid witness file) .57 .37 7.2 43 error (invalid witness file) 6.4 3.4 120 310
list-ext-properties/test-0214_1_true-valid-memsafety.i unknown .046 .047 .29 8.4 0   .27   - - error (invalid witness file) .50 .33 4.0 41 error (invalid witness file) 6.1 3.2 120 300
list-ext-properties/test-0217_1_true-valid-memsafety.i unknown .042 .043 .30 8.2 0   .086  - - error (invalid witness file) .49 .31 10   40 error (invalid witness file) 6.1 3.2 120 300
list-ext-properties/test-0232_1_true-valid-memsafety.i unknown .087 .20  .64 44   0   36      - - error (invalid witness file) .49 .33 11   39 error (invalid witness file) 6.2 3.3 120 300
list-ext-properties/test-0504_1_true-valid-memsafety.i unknown .030 .030 .26 7.8 0   0      - - error (invalid witness file) .51 .33 11   40 error (invalid witness file) 6.9 3.6 100 300
list-ext-properties/test-0513_1_true-valid-memsafety.i unknown .035 .035 .25 7.9 0   0      - - error (invalid witness file) .53 .33 11   40 error (invalid witness file) 6.0 3.2 120 290
memory-alloca/c.03-alloca_true-valid-memsafety.i unknown .037 .037 .22 8.0 0   0      - - error (invalid witness file) .60 .38 8.1 39 error (invalid witness file) 6.2 3.3 110 300
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown .025 .026 .14 7.9 0   .094  error (invalid witness file) .53 .34 13   40 error (invalid witness file) 5.9 3.1 120 300 - -
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown .027 .029 .16 7.9 0   .094  error (invalid witness file) .54 .34 9.2 40 error (invalid witness file) 5.6 3.0 110 300 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown .026 .027 .14 7.8 0   .094  error (invalid witness file) .51 .34 13   40 error (invalid witness file) 6.6 3.5 110 310 - -
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown .026 .027 .14 7.7 0   .094  error (invalid witness file) .50 .32 8.7 41 error (invalid witness file) 5.8 3.1 120 300 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown .028 .030 .13 8.2 0   .43   error (invalid witness file) .49 .31 7.5 41 error (invalid witness file) 5.8 3.0 75 300 - -
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown .027 .027 .14 7.8 0   0      error (invalid witness file) .55 .36 5.2 46 error (invalid witness file) 5.3 2.9 110 290 - -
ldv-memsafety/memset2_false-valid-deref-write.c unknown .026 .026 .13 7.7 0   0      error (invalid witness file) .50 .33 11   41 error (invalid witness file) 5.8 3.1 120 290 - -
ldv-memsafety/memset3_false-valid-deref-write.c unknown .026 .026 .13 7.6 0   0      error (invalid witness file) .48 .33 8.5 40 error (invalid witness file) 6.7 3.5 100 300 - -
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown .028 .028 .12 7.8 0   0      error (invalid witness file) .54 .33 12   40 error (invalid witness file) 6.0 3.2 100 300 - -
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown .025 .026 .13 7.9 0   0      error (invalid witness file) .47 .31 7.0 39 error (invalid witness file) 7.3 3.9 90 300 - -
ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown .024 .024 .13 7.8 0   0      error (invalid witness file) .56 .37 11   40 error (invalid witness file) 7.1 3.7 120 310 - -
ldv-memsafety/memset_false-valid-deref-write.c unknown .023 .024 .15 7.8 0   0      error (invalid witness file) .46 .30 4.6 39 error (invalid witness file) 7.5 4.0 78 290 - -
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown .024 .024 .19 7.9 0   .094  - - error (invalid witness file) .52 .33 8.7 39 error (invalid witness file) 5.6 3.0 110 290
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c unknown .026 .027 .13 8.2 0   .35   - - error (invalid witness file) .53 .34 13   41 error (invalid witness file) 6.4 3.4 110 300
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown .026 .028 .14 7.9 0   0      - - error (invalid witness file) .50 .33 12   40 error (invalid witness file) 5.9 3.1 100 300
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c unknown .037 .039 .15 7.9 0   0      - - error (invalid witness file) .51 .34 8.2 42 error (invalid witness file) 5.9 3.1 120 290
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown .025 .026 .14 7.8 0   .094  - - error (invalid witness file) .51 .32 12   39 error (invalid witness file) 5.9 3.1 98 300
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c unknown .024 .025 .19 8.2 0   .43   - - error (invalid witness file) .51 .33 8.2 39 error (invalid witness file) 6.7 3.5 120 310
ldv-memsafety/StructInitialization1_true-valid-memsafety.c unknown .047 .16  .51 43   0   35      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 5.7 3.1 110 290
ldv-memsafety/StructInitialization2_true-valid-memsafety.c unknown .027 .028 .16 8.1 0   .13   - - error (invalid witness file) .53 .33 8.0 42 error (invalid witness file) 6.8 3.6 89 290
ldv-memsafety/StructInitialization_true-valid-memsafety.c unknown .026 .026 .15 7.8 0   0      - - error (invalid witness file) .50 .33 9.5 40 error (invalid witness file) 6.3 3.4 120 300
ldv-memsafety/memset2_true-valid-memsafety.c unknown .026 .026 .12 7.7 0   0      - - error (invalid witness file) .52 .34 6.8 39 error (invalid witness file) 6.3 3.3 130 310
ldv-memsafety/memset3_true-valid-memsafety.c unknown .025 .027 .13 7.8 0   0      - - error (invalid witness file) .50 .33 6.5 41 error (invalid witness file) 5.9 3.1 120 310
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c unknown .023 .023 .17 7.8 0   0      - - error (invalid witness file) .53 .35 12   40 error (invalid witness file) 6.9 3.7 87 300
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c unknown .064 .17  .50 43   0   35      - - error (invalid witness file) .51 .31 12   40 error (invalid witness file) 6.6 3.5 94 300
ldv-memsafety/memsetNonZero_true-valid-memsafety.c unknown .025 .025 .16 7.7 0   0      - - error (invalid witness file) .52 .33 11   40 error (invalid witness file) 6.3 3.4 110 300
ldv-memsafety/memset_true-valid-memsafety.c unknown .026 .026 .12 7.6 0   0      - - error (invalid witness file) .53 .35 12   39 error (invalid witness file) 7.5 3.9 140 320
ldv-memsafety/memleaks_test14_3_false-valid-deref.i unknown .035 .036 .18 8.6 0   .39   error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.3 3.3 120 300 - -
ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown .043 .043 .17 8.1 0   .012  error (invalid witness file) .51 .32 11   39 error (invalid witness file) 7.4 3.9 95 300 - -
ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown .034 .035 .20 8.3 0   0      error (invalid witness file) .51 .33 6.8 39 error (invalid witness file) 5.8 3.1 120 300 - -
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown .031 .031 .21 8.3 0   0      error (invalid witness file) .50 .32 8.4 40 error (invalid witness file) 7.8 4.1 85 300 - -
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown .034 .035 .22 8.3 0   0      error (invalid witness file) .54 .34 12   41 error (invalid witness file) 7.7 4.1 82 300 - -
ldv-memsafety/memleaks_test11_1_false-valid-free.i unknown .031 .031 .20 8.2 0   0      error (invalid witness file) .48 .31 9.3 40 error (invalid witness file) 6.1 3.2 110 300 - -
ldv-memsafety/memleaks_test12_false-valid-free.i unknown .046 .046 .21 8.2 0   .086  error (invalid witness file) .49 .32 9.3 40 error (invalid witness file) 7.1 3.7 86 300 - -
ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown .042 .043 .20 8.3 0   0      error (invalid witness file) .50 .33 9.7 39 error (invalid witness file) 6.4 3.4 120 300 - -
ldv-memsafety/memleaks_test19_false-valid-free.i unknown .034 .034 .21 8.7 0   .39   error (invalid witness file) .52 .32 12   39 error (invalid witness file) 7.0 3.6 120 300 - -
ldv-memsafety/memleaks_test2_false-valid-free.i unknown .053 .17  .76 44   0   36      error (invalid witness file) .50 .32 7.3 39 error (invalid witness file) 5.8 3.1 110 300 - -
ldv-memsafety/memleaks_test3_false-valid-free.i unknown .029 .029 .20 8.0 0   0      error (invalid witness file) .48 .32 11   39 error (invalid witness file) 5.8 3.2 110 300 - -
ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown .029 .029 .25 8.2 0   0      error (invalid witness file) .52 .33 6.9 40 error (invalid witness file) 6.7 3.5 110 300 - -
ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown .034 .034 .18 8.4 0   .25   error (invalid witness file) .63 .40 6.1 41 error (invalid witness file) 6.4 3.4 130 300 - -
ldv-memsafety/memleaks_test10_false-valid-memtrack.i unknown .033 .034 .18 8.2 0   0      error (invalid witness file) .50 .33 9.2 40 error (invalid witness file) 7.2 3.8 130 320 - -
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i unknown .083 .20  .54 44   0   36      error (invalid witness file) .55 .35 12   40 error (invalid witness file) 5.6 3.0 110 290 - -
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i unknown .031 .032 .17 8.0 0   0      error (invalid witness file) .51 .33 13   40 error (invalid witness file) 6.5 3.4 120 300 - -
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown .041 .042 .21 8.8 0   .35   error (invalid witness file) .51 .33 11   39 error (invalid witness file) 6.3 3.3 120 300 - -
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i unknown .041 .041 .20 8.2 0   0      error (invalid witness file) .49 .32 11   40 error (invalid witness file) 5.4 2.9 81 290 - -
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i unknown .034 .036 .23 9.1 0   .57   error (invalid witness file) .52 .32 9.5 39 error (invalid witness file) 6.4 3.4 110 290 - -
ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown .043 .044 .23 8.8 0   .57   error (invalid witness file) .46 .31 7.4 40 error (invalid witness file) 7.5 3.9 76 300 - -
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i unknown .045 .045 .18 8.3 0   .14   error (invalid witness file) .51 .32 12   39 error (invalid witness file) 6.1 3.2 130 290 - -
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i unknown .030 .031 .17 8.2 0   .25   error (invalid witness file) .55 .34 11   41 error (invalid witness file) 6.8 3.5 110 300 - -
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown .065 .065 .17 8.0 0   0      error (invalid witness file) .50 .32 9.5 39 error (invalid witness file) 6.5 3.4 140 300 - -
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown .033 .033 .18 8.1 0   .012  error (invalid witness file) .47 .31 9.0 39 error (invalid witness file) 6.5 3.4 140 310 - -
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i unknown .083 .21  .55 44   0   36      error (invalid witness file) .50 .33 3.7 39 error (invalid witness file) 6.5 3.4 140 300 - -
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i unknown .032 .032 .18 8.0 0   0      error (invalid witness file) .50 .32 11   39 error (invalid witness file) 6.6 3.5 100 300 - -
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i unknown .031 .031 .19 8.6 0   .25   error (invalid witness file) .58 .37 8.9 39 error (invalid witness file) 6.3 3.4 86 300 - -
ldv-memsafety/memleaks_test1_false-valid-memtrack.i unknown .030 .030 .20 8.3 0   0      error (invalid witness file) .53 .34 11   40 error (invalid witness file) 5.5 2.9 100 290 - -
ldv-memsafety/memleaks_test20_false-valid-memtrack.i unknown .044 .044 .18 8.4 0   .25   error (invalid witness file) .51 .34 7.0 44 error (invalid witness file) 5.8 3.1 100 290 - -
ldv-memsafety/memleaks_test21_false-valid-memtrack.i unknown .039 .039 .21 8.2 0   0      error (invalid witness file) .54 .34 7.5 44 error (invalid witness file) 6.7 3.5 100 300 - -
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i unknown .051 .17  .67 44   0   36      error (invalid witness file) .51 .35 7.0 42 error (invalid witness file) 6.6 3.5 110 300 - -
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i unknown .032 .033 .20 8.3 0   0      error (invalid witness file) .53 .33 8.6 39 error (invalid witness file) 6.2 3.3 120 300 - -
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i unknown .082 .20  .60 44   0   36      error (invalid witness file) .54 .35 12   41 error (invalid witness file) 6.5 3.4 110 300 - -
ldv-memsafety/memleaks_test4_false-valid-memtrack.i unknown .060 .060 .19 8.1 0   0      error (invalid witness file) .49 .31 7.3 39 error (invalid witness file) 7.0 3.7 100 300 - -
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i unknown .048 .048 .23 8.1 0   0      error (invalid witness file) .54 .33 13   43 error (invalid witness file) 6.4 3.3 110 300 - -
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i unknown .031 .033 .22 8.3 0   0      error (invalid witness file) .51 .34 11   40 error (invalid witness file) 6.5 3.4 120 300 - -
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i unknown .056 .17  .63 44   0   36      error (invalid witness file) .50 .32 12   40 error (invalid witness file) 12   6.1 85 290 - -
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i unknown .033 .033 .17 8.2 0   0      error (invalid witness file) .49 .32 8.7 40 error (invalid witness file) 6.6 3.5 120 300 - -
ldv-memsafety/memleaks_test7_false-valid-memtrack.i unknown .081 .19  .53 44   0   36      error (invalid witness file) .52 .33 13   41 error (invalid witness file) 7.7 4.0 72 300 - -
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i unknown .083 .20  .52 44   0   36      error (invalid witness file) .55 .35 11   40 error (invalid witness file) 5.8 3.1 120 290 - -
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i unknown .055 .057 .19 8.3 0   0      error (invalid witness file) .54 .35 11   41 error (invalid witness file) 5.9 3.1 95 290 - -
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i unknown .076 .19  .48 44   0   36      error (invalid witness file) .48 .31 7.2 39 error (invalid witness file) 6.4 3.4 140 310 - -
ldv-memsafety/memleaks_test10_true-valid-memsafety.i unknown .029 .029 .19 8.3 0   0      - - error (invalid witness file) .54 .34 8.6 40 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/memleaks_test11_true-valid-memsafety.i unknown .035 .035 .19 8.1 0   0      - - error (invalid witness file) .52 .34 8.5 40 error (invalid witness file) 6.5 3.4 110 300
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown .032 .034 .25 8.6 0   .34   - - error (invalid witness file) .65 .40 6.0 40 error (invalid witness file) 6.2 3.3 120 300
ldv-memsafety/memleaks_test13_true-valid-memsafety.i unknown .029 .029 .21 8.4 0   .25   - - error (invalid witness file) .50 .33 9.0 40 error (invalid witness file) 7.4 3.9 81 310
ldv-memsafety/memleaks_test14_true-valid-memsafety.i unknown .036 .036 .15 8.2 0   .012  - - error (invalid witness file) .65 .40 7.6 40 error (invalid witness file) 6.1 3.2 86 300
ldv-memsafety/memleaks_test15_true-valid-memsafety.i unknown .031 .032 .27 8.4 0   .25   - - error (invalid witness file) .47 .30 5.6 40 error (invalid witness file) 6.6 3.5 120 300
ldv-memsafety/memleaks_test16_true-valid-memsafety.i unknown .032 .033 .18 8.4 0   0      - - error (invalid witness file) .54 .34 7.3 39 error (invalid witness file) 5.9 3.1 110 300
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i unknown .048 .051 .20 8.8 0   .60   - - error (invalid witness file) .50 .32 12   41 error (invalid witness file) 5.9 3.2 110 300
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i unknown .029 .029 .26 8.2 0   0      - - error (invalid witness file) .52 .32 8.6 40 error (invalid witness file) 8.6 4.5 110 310
ldv-memsafety/memleaks_test18_true-valid-memsafety.i unknown .031 .033 .21 8.2 0   0      - - error (invalid witness file) .49 .31 7.5 39 error (invalid witness file) 7.1 3.7 84 290
ldv-memsafety/memleaks_test19_true-valid-memsafety.i unknown .031 .031 .19 8.3 0   0      - - error (invalid witness file) .50 .34 4.7 39 error (invalid witness file) 5.8 3.1 110 290
ldv-memsafety/memleaks_test1_true-valid-memsafety.i unknown .030 .031 .26 8.4 0   .35   - - error (invalid witness file) .53 .34 13   41 error (invalid witness file) 5.7 3.1 120 290
ldv-memsafety/memleaks_test20_true-valid-memsafety.i unknown .040 .040 .21 8.0 0   .012  - - error (invalid witness file) .54 .35 10   41 error (invalid witness file) 5.9 3.1 120 290
ldv-memsafety/memleaks_test21_true-valid-memsafety.i unknown .034 .034 .23 8.2 0   .14   - - error (invalid witness file) .49 .32 8.9 40 error (invalid witness file) 6.0 3.2 110 290
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i unknown .081 .19  .51 44   0   36      - - error (invalid witness file) .53 .34 9.1 43 error (invalid witness file) 6.8 3.5 110 290
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i unknown .028 .030 .26 8.7 0   .57   - - error (invalid witness file) .61 .39 8.3 40 error (invalid witness file) 7.6 4.0 150 310
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i unknown .032 .032 .18 8.1 0   0      - - error (invalid witness file) .58 .36 11   40 error (invalid witness file) 6.3 3.3 120 310
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown .061 .17  .55 44   0   36      - - error (invalid witness file) .48 .33 6.4 40 error (invalid witness file) 9.6 5.0 100 310
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown .034 .034 .19 8.3 0   0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.5 3.4 130 300
ldv-memsafety/memleaks_test2_true-valid-memsafety.i unknown .074 .19  .51 44   0   36      - - error (invalid witness file) .51 .35 3.7 39 error (invalid witness file) 5.9 3.1 120 290
ldv-memsafety/memleaks_test3_true-valid-memsafety.i unknown .034 .036 .22 8.0 0   0      - - error (invalid witness file) .48 .32 7.3 40 error (invalid witness file) 5.8 3.1 99 300
ldv-memsafety/memleaks_test4_true-valid-memsafety.i unknown .030 .031 .19 8.2 0   .012  - - error (invalid witness file) .68 .44 9.0 39 error (invalid witness file) 7.0 3.8 85 290
ldv-memsafety/memleaks_test5_true-valid-memsafety.i unknown .034 .034 .19 8.2 0   0      - - error (invalid witness file) .61 .39 5.8 40 error (invalid witness file) 5.9 3.2 120 310
ldv-memsafety/memleaks_test6_true-valid-memsafety.i unknown .019 .020 .25 8.3 0   0      - - error (invalid witness file) .49 .31 7.6 39 error (invalid witness file) 8.0 4.2 92 310
ldv-memsafety/memleaks_test7_true-valid-memsafety.i unknown .055 .17  .56 44   0   36      - - error (invalid witness file) .49 .33 7.7 42 error (invalid witness file) 7.3 3.8 97 300
ldv-memsafety/memleaks_test8_true-valid-memsafety.i unknown .040 .15  1.2  44   0   36      - - error (invalid witness file) .51 .33 12   41 error (invalid witness file) 6.0 3.2 110 300
ldv-memsafety/memleaks_test9_true-valid-memsafety.i unknown .031 .031 .17 8.2 0   0      - - error (invalid witness file) .52 .34 9.5 40 error (invalid witness file) 6.5 3.4 120 300
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i unknown .025 .026 .15 7.9 0   0      - - error (invalid witness file) .58 .37 8.2 41 error (invalid witness file) 6.4 3.4 130 310
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i unknown .025 .025 .13 7.9 0   0      - - error (invalid witness file) .51 .33 10   40 error (invalid witness file) 6.1 3.2 110 310
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i unknown .024 .024 .19 8.0 0   0      - - error (invalid witness file) .52 .34 13   40 error (invalid witness file) 7.3 3.8 82 290
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i unknown .024 .024 .17 7.7 0   0      - - error (invalid witness file) .47 .31 12   39 error (invalid witness file) 5.8 3.1 100 300
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i unknown .026 .026 .15 7.9 0   0      - - error (invalid witness file) .56 .36 14   44 error (invalid witness file) 5.9 3.1 110 290
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown .025 .025 .16 7.9 0   0      error (invalid witness file) .51 .34 11   39 error (invalid witness file) 5.9 3.1 100 290 - -
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown .024 .025 .14 8.0 0   .24   error (invalid witness file) .49 .31 11   39 error (invalid witness file) 6.1 3.2 120 300 - -
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown .029 .030 .13 7.9 0   0      error (invalid witness file) .53 .34 9.4 41 error (invalid witness file) 6.1 3.2 120 310 - -
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown .035 .035 .13 7.6 0   0      error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.1 3.2 110 300 - -
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown .063 .18  .58 44   0   36      error (invalid witness file) .49 .32 12   40 error (invalid witness file) 5.5 2.9 97 290 - -
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown .046 .048 .37 8.2 0   0      - - error (invalid witness file) .54 .34 10   41 error (invalid witness file) 6.8 3.6 120 310
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i unknown .038 .038 .41 8.2 0   0      - - error (invalid witness file) .66 .43 7.6 39 error (invalid witness file) 6.3 3.4 120 290
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown .057 .13  .53 32   0   24      - - error (invalid witness file) .52 .32 12   39 error (invalid witness file) 6.9 3.6 120 300
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown .044 .044 .30 8.1 0   0      - - error (invalid witness file) .52 .33 12   40 error (invalid witness file) 5.8 3.1 100 300
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown .042 .042 .22 7.9 0   0      error (invalid witness file) .49 .32 9.6 40 error (invalid witness file) 6.9 3.7 96 300 - -
heap-manipulation/tree_false-valid-deref.i unknown .042 .042 .24 8.0 0   0      error (invalid witness file) .48 .32 8.8 40 error (invalid witness file) 6.5 3.4 110 300 - -
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i unknown .087 .19  .51 44   0   36      error (invalid witness file) .50 .32 8.6 39 error (invalid witness file) 6.5 3.4 130 310 - -
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown .038 .041 .22 8.2 0   0      error (invalid witness file) .51 .35 8.9 39 error (invalid witness file) 5.7 3.0 110 300 - -
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown .069 .18  .50 44   0   36      error (invalid witness file) .50 .32 9.2 40 error (invalid witness file) 6.1 3.2 110 300 - -
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown .064 .18  .52 43   0   35      error (invalid witness file) .52 .34 9.4 42 error (invalid witness file) 6.1 3.2 120 310 - -
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i unknown .036 .037 .18 8.1 0   .070  - - error (invalid witness file) .49 .32 3.9 40 error (invalid witness file) 5.6 3.0 110 300
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown .090 .20  .50 44   0   36      error (invalid witness file) .49 .32 13   40 error (invalid witness file) 5.9 3.1 86 300 - -
list-properties/list_search_true-unreach-call_false-valid-memtrack.i unknown .028 .030 .33 8.3 0   .098  error (invalid witness file) .54 .34 11   40 error (invalid witness file) 6.9 3.6 90 300 - -
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown .039 .039 .22 8.0 0   0      error (invalid witness file) .59 .38 11   42 error (invalid witness file) 5.6 3.0 100 290 - -
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown .036 .037 .21 8.1 0   0      error (invalid witness file) .63 .40 9.4 40 error (invalid witness file) 6.1 3.2 120 300 - -
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown .042 .043 .21 8.0 0   .070  error (invalid witness file) .51 .34 8.1 42 error (invalid witness file) 6.4 3.4 110 310 - -
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown .037 .038 .22 8.2 0   0      error (invalid witness file) .62 .38 9.3 40 error (invalid witness file) 6.7 3.5 93 290 - -
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown .048 .049 .41 9.9 0   .30   - - error (invalid witness file) .56 .36 11   43 error (invalid witness file) 7.1 3.7 140 300
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown .062 .063 .34 10   0   .22   - - error (invalid witness file) .53 .33 13   39 error (invalid witness file) 6.6 3.5 120 300
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown .091 .21  .88 45   0   36      - - error (invalid witness file) .51 .33 11   39 error (invalid witness file) 5.9 3.1 82 310
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown .048 .051 .46 10   0   .43   error (invalid witness file) .50 .34 12   41 error (invalid witness file) 6.3 3.4 110 290 - -
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown .10  .18  .58 34   0   25      error (invalid witness file) .60 .39 8.0 39 error (invalid witness file) 5.8 3.1 110 290 - -
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown .046 .048 .41 10   0   .75   error (invalid witness file) .53 .33 12   42 error (invalid witness file) 6.9 3.6 120 300 - -
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown .048 .048 .35 9.6 0   0      error (invalid witness file) .54 .34 11   43 error (invalid witness file) 6.5 3.5 130 300 - -
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown .075 .076 .33 10   0   .57   error (invalid witness file) .50 .31 9.4 40 error (invalid witness file) 6.4 3.4 130 310 - -
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown .045 .048 .53 9.9 0   .086  error (invalid witness file) .50 .33 6.9 40 error (invalid witness file) 6.5 3.4 130 300 - -
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown .047 .047 .35 9.9 0   .086  error (invalid witness file) .50 .32 10   39 error (invalid witness file) 7.5 3.9 140 330 - -
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown .082 .20  1.1  46   0   36      error (invalid witness file) .59 .39 8.8 39 error (invalid witness file) 7.5 3.9 95 300 - -
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown .043 .043 .38 9.9 0   0      error (invalid witness file) .65 .42 7.1 41 error (invalid witness file) 6.7 3.5 130 300 - -
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown .057 .060 .40 10   0   .66   error (invalid witness file) .48 .32 9.2 39 error (invalid witness file) 6.5 3.4 110 300 - -
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i unknown .034 .034 .33 8.1 0   0      - - error (invalid witness file) .54 .36 9.2 42 error (invalid witness file) 6.3 3.3 130 310
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i unknown .097 .21  .45 43   0   35      - - error (invalid witness file) .47 .31 7.7 40 error (invalid witness file) 6.0 3.2 120 300
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unknown .048 .049 .23 8.1 0   .19   - - error (invalid witness file) .59 .39 6.7 40 error (invalid witness file) 6.7 3.5 140 310
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i unknown .037 .038 .24 8.1 0   0      - - error (invalid witness file) .68 .43 8.8 44 error (invalid witness file) 6.1 3.3 130 300
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown .036 .036 .26 7.9 0   0      - - error (invalid witness file) .59 .38 8.5 39 error (invalid witness file) 5.9 3.1 130 290
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown .062 .063 .22 8.0 0   0      - - error (invalid witness file) .61 .38 8.1 39 error (invalid witness file) 6.1 3.2 95 300
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i unknown .045 .046 .26 8.1 0   0      - - error (invalid witness file) .71 .44 13   42 error (invalid witness file) 6.6 3.5 91 300
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i unknown .099 .20  .68 44   0   35      - - error (invalid witness file) .54 .36 11   40 error (invalid witness file) 5.7 3.0 100 300
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i unknown .037 .039 .21 8.2 0   0      - - error (invalid witness file) .48 .31 6.7 39 error (invalid witness file) 5.9 3.1 120 300
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i unknown .046 .046 .28 7.9 0   0      - - error (invalid witness file) .48 .32 9.3 39 error (invalid witness file) 5.8 3.1 110 290
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i unknown .035 .035 .24 8.0 0   0      - - error (invalid witness file) .71 .45 7.2 44 error (invalid witness file) 5.6 3.0 100 290
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i unknown .033 .033 .22 7.9 0   0      - - error (invalid witness file) .62 .39 6.7 40 error (invalid witness file) 6.6 3.5 95 300
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i unknown .036 .036 .25 7.9 0   0      - - error (invalid witness file) .49 .33 9.2 41 error (invalid witness file) 6.1 3.2 110 300
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i unknown .099 .21  .47 43   0   35      - - error (invalid witness file) .59 .39 6.4 39 error (invalid witness file) 7.2 3.7 120 320
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i unknown .034 .035 .24 8.0 0   0      - - error (invalid witness file) .50 .32 10   40 error (invalid witness file) 6.5 3.4 130 300
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i unknown .093 .21  .64 44   0   36      - - error (invalid witness file) .52 .33 7.5 42 error (invalid witness file) 5.9 3.2 100 290
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i unknown .034 .036 .26 7.9 0   0      - - error (invalid witness file) .46 .30 7.1 39 error (invalid witness file) 6.0 3.2 100 290
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i unknown .031 .032 .26 8.2 0   0      - - error (invalid witness file) .54 .34 12   40 error (invalid witness file) 6.4 3.4 120 300
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i unknown .045 .045 .24 7.9 0   0      - - error (invalid witness file) .51 .33 12   40 error (invalid witness file) 6.6 3.5 100 300
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown .035 .035 .22 7.9 0   0      error (invalid witness file) .57 .36 12   42 error (invalid witness file) 5.6 3.0 74 300 - -
forester-heap/sll-01_false-unreach-call_false-valid-deref.i unknown .047 .048 .25 8.0 0   0      error (invalid witness file) .51 .32 12   40 error (invalid witness file) 7.4 3.9 86 300 - -
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i unknown .099 .21  .45 44   0   35      error (invalid witness file) .67 .43 7.3 39 error (invalid witness file) 5.4 2.9 100 290 - -
loop-acceleration/array3_false-valid-deref.i unknown .040 .042 .14 7.8 0   0      error (invalid witness file) .51 .35 5.4 40 error (invalid witness file) 6.3 3.3 110 300 - -
ntdrivers/floppy_false-valid-deref.i.cil.c unknown .31  .31  3.9  12   0   0      error (invalid witness file) .50 .32 11   39 error (invalid witness file) 7.4 3.9 110 300 - -
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown .20  .31  1.4  46   0   36      error (invalid witness file) .52 .33 12   42 error (invalid witness file) 6.6 3.5 120 310 - -
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown .13  .13  1.5  9.4 0   .70   - - error (invalid witness file) .55 .35 13   42 error (invalid witness file) 6.9 3.6 130 310
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown .13  .13  1.5  8.7 0   0      - - error (invalid witness file) .55 .35 8.1 41 error (invalid witness file) 6.4 3.3 130 310
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown .080 .080 .74 8.5 0   .22   - - error (invalid witness file) .48 .32 9.0 39 error (invalid witness file) 6.1 3.2 110 300
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown .067 .068 .67 8.3 0   .0041 - - error (invalid witness file) .47 .30 6.7 39 error (invalid witness file) 5.6 3.0 110 290
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown .066 .066 .72 8.2 0   0      - - error (invalid witness file) .51 .33 8.4 39 error (invalid witness file) 6.4 3.4 110 310
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown .084 .085 .82 8.4 0   .22   - - error (invalid witness file) .65 .41 6.3 40 error (invalid witness file) 7.7 4.0 110 320
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown .088 .091 .92 9.4 0   .65   - - error (invalid witness file) .49 .32 11   40 error (invalid witness file) 6.4 3.4 120 310
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown .043 .043 .37 8.1 0   0      - - error (invalid witness file) .59 .38 8.5 39 error (invalid witness file) 5.3 2.8 110 290
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown .062 .063 .50 8.2 0   .11   - - error (invalid witness file) .49 .32 6.3 39 error (invalid witness file) 6.3 3.3 120 310
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown .062 .062 .51 8.2 0   0      - - error (invalid witness file) .46 .31 5.2 39 error (invalid witness file) 6.7 3.5 130 300
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c unknown .027 .028 .19 8.0 0   0      - - error (invalid witness file) .48 .32 5.7 39 error (invalid witness file) 6.1 3.2 120 300
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c unknown .068 .18  .59 43   0   35      - - error (invalid witness file) .50 .32 11   41 error (invalid witness file) 6.1 3.2 110 300
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c unknown .020 .021 .20 8.0 0   0      - - error (invalid witness file) .49 .32 12   40 error (invalid witness file) 5.9 3.1 80 310
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown .071 .18  .37 43   0   35      - - error (invalid witness file) .49 .31 6.2 40 error (invalid witness file) 6.1 3.2 86 300
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c unknown .033 .033 .15 8.0 0   0      - - error (invalid witness file) .52 .34 7.6 39 error (invalid witness file) 5.8 3.1 99 300
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c unknown .039 .039 .17 7.9 0   0      - - error (invalid witness file) .53 .35 6.3 41 error (invalid witness file) 6.9 3.7 99 300
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c unknown .030 .030 .21 7.9 0   0      - - error (invalid witness file) .53 .34 12   42 error (invalid witness file) 6.4 3.4 120 300
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c unknown .033 .033 .18 7.9 0   0      - - error (invalid witness file) .50 .31 9.8 40 error (invalid witness file) 5.9 3.1 110 300
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c unknown .026 .026 .16 7.6 0   0      - - error (invalid witness file) .52 .33 13   40 error (invalid witness file) 5.6 3.0 110 290
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown .025 .025 .21 7.6 0   0      - - error (invalid witness file) .70 .44 9.9 43 error (invalid witness file) 6.2 3.3 110 300
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c unknown .071 .18  .56 43   0   35      - - error (invalid witness file) .56 .35 12   40 error (invalid witness file) 5.9 3.2 120 310
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c unknown .031 .032 .15 7.9 0   0      - - error (invalid witness file) .47 .31 8.6 39 error (invalid witness file) 6.3 3.3 100 300
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown .033 .033 .18 8.0 0   0      - - error (invalid witness file) .54 .35 6.6 39 error (invalid witness file) 5.9 3.2 110 300
../../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 15    21    100   4600 0   2000 328 510 360 7800 23000   328 930 490 16000 42000   328 280 160 4400 18000   328 14000 12000 310000 96000  
    correct results 68 2.5  3.9  16   960 0   420 6 450 320 6700 19000   20 160 87 2900 6600   0 200 110 3100 12000   35 13000 12000 300000 53000  
        correct true 48 1.9  2.9  12   710 0   320 0 0 0 0 0   11 0 0 0 0   0 200 110 3100 12000   35 13000 12000 300000 53000  
        correct false 20 .68 .99 4.3 250 0   95 6 450 320 6700 19000   9 160 87 2900 6600   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) 116
Run set [sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]