Tool SMACK+Corral 1.7.2
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 05:56:27 CET [[ 2017-01-15 04:08:20 CET ]] [[ 2017-01-15 04:18:47 CET ]] [[ 2017-01-15 04:12:29 CET ]] [[ 2017-01-15 04:25:58 CET ]]
Run set [sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]
Options -w error-witness.graphml [[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/smack.2017-01-14_0556.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/smack.2017-01-14_0556.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ -witnessValidation -setprop witness.checkProgramHash=false -disable-java-assertions -heap 10000m -witness ../../results-verified/smack.2017-01-14_0556.logfiles/sv-comp17.${inputfile_name}.files/witness.graphml ]][[ --validate ../../results-verified/smack.2017-01-14_0556.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 1.8 1.8 22 79 1.2 0      .49 .33 9.5 40 6.4 3.4 110 290
array-memsafety/bubblesort_unsafe_false-valid-deref.i 1.9 1.8 24 73 1.2 0      .55 .35 11   43 6.7 3.5 120 320
array-memsafety/count_down_unsafe_false-valid-deref.i 1.9 1.8 25 79 1.2 0      .49 .32 8.9 40 6.6 3.5 140 300
array-memsafety/cstrcat_unsafe_false-valid-deref.i 1.8 1.8 23 86 1.2 0      .54 .34 10   41 5.8 3.1 110 300
array-memsafety/cstrchr_unsafe_false-valid-deref.i 2.0 1.9 22 84 1.2 0      .52 .34 12   40 6.1 3.3 100 300
array-memsafety/cstrlen_unsafe_false-valid-deref.i 1.9 1.9 26 84 1.2 0      .49 .32 9.6 40 5.5 3.0 120 290
array-memsafety/cstrncat_unsafe_false-valid-deref.i 1.9 1.8 22 81 1.2 0      .56 .36 8.8 39 5.3 2.9 110 290
array-memsafety/cstrncpy_unsafe_false-valid-deref.i 1.9 1.8 26 85 1.2 0      .54 .33 9.9 40 5.9 3.1 100 300
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i 2.2 2.2 25 85 1.2 0      .46 .30 5.8 39 6.0 3.2 110 300
array-memsafety/diff_usafe_false-valid-deref.i 1.8 1.8 25 80 1.2 0      .55 .33 7.5 42 7.0 3.7 150 330
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i 2.0 2.0 24 86 1.3 0      .53 .34 11   41 7.3 3.9 84 300
array-memsafety/lis_unsafe_false-valid-deref.i 2.2 2.2 27 95 1.3 0      .50 .32 9.0 40 5.5 3.0 120 290
array-memsafety/mult_array_unsafe_false-valid-deref.i 1.9 1.8 24 82 1.3 0      .53 .33 11   43 5.9 3.1 120 290
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i 2.0 1.9 22 84 1.2 0      .50 .31 4.2 41 5.6 3.0 85 290
array-memsafety/reverse_array_unsafe_false-valid-deref.i 1.9 1.8 28 81 1.2 0      .56 .37 7.1 44 5.9 3.1 120 300
array-memsafety/selectionsort_unsafe_false-valid-deref.i 1.9 1.8 23 73 1.2 0      .49 .32 7.0 39 5.8 3.1 110 300
array-memsafety/stroeder1_unsafe_false-valid-deref.i 1.8 1.8 21 82 1.2 0      .51 .32 9.1 39 5.8 3.1 120 290
array-memsafety/add_last-alloca_true-valid-memsafety.i 750   750   8200 330 1.8 0      .52 .33 12   40 5.8 3.1 110 300
array-memsafety/array01-alloca_true-valid-memsafety.i 750   750   7800 500 1.8 0      .52 .34 10   42 6.1 3.3 120 300
array-memsafety/array02-alloca_true-valid-memsafety.i 760   750   7200 580 1.9 0      .49 .33 4.0 40 6.0 3.2 130 300
array-memsafety/array03-alloca_true-valid-memsafety.i 750   750   7000 390 1.9 0      .53 .34 7.0 40 7.6 4.0 86 300
array-memsafety/bubblesort-alloca_true-valid-memsafety.i 750   750   6600 510 1.9 0      .50 .33 11   39 5.8 3.1 100 300
array-memsafety/count_down-alloca_true-valid-memsafety.i 750   750   8500 210 1.9 0      .51 .32 9.5 40 6.1 3.2 120 310
array-memsafety/cstrcat-alloca_true-valid-memsafety.i 750   750   8800 280 1.9 0      .48 .31 3.7 40 6.1 3.2 120 300
array-memsafety/cstrchr-alloca_true-valid-memsafety.i 750   750   10000 170 1.8 0      .51 .32 12   41 6.0 3.2 120 300
array-memsafety/cstrcmp-alloca_true-valid-memsafety.i 750   750   8300 210 1.9 0      .50 .32 12   39 6.1 3.2 140 310
array-memsafety/cstrcpy-alloca_true-valid-memsafety.i 750   750   9100 220 1.8 0      .58 .38 9.5 39 5.7 3.1 110 290
array-memsafety/cstrcspn-alloca_true-valid-memsafety.i 750   750   7600 610 1.9 0      .52 .34 4.5 40 6.2 3.3 120 300
array-memsafety/cstrlen-alloca_true-valid-memsafety.i 750   750   9300 150 1.8 0      .52 .35 11   39 6.4 3.4 130 300
array-memsafety/cstrncat-alloca_true-valid-memsafety.i 750   750   8700 260 1.9 0      .48 .31 5.2 39 6.0 3.2 110 290
array-memsafety/cstrncmp-alloca_true-valid-memsafety.i 750   750   8000 240 1.9 .0041 .50 .32 13   40 7.4 3.8 140 330
array-memsafety/cstrncpy-alloca_true-valid-memsafety.i 750   750   7100 240 1.9 0      .51 .34 8.9 39 5.9 3.2 110 300
array-memsafety/cstrpbrk-alloca_true-valid-memsafety.i 750   750   6500 550 1.9 0      .52 .33 11   40 6.0 3.2 120 300
array-memsafety/cstrspn-alloca_true-valid-memsafety.i 750   750   6100 510 1.9 0      .50 .32 7.0 41 6.2 3.3 110 300
array-memsafety/diff-alloca_true-valid-memsafety.i 750   750   11000 150 1.9 0      .52 .33 11   41 5.8 3.1 100 290
array-memsafety/insertionsort-alloca_true-valid-memsafety.i 750   750   6100 440 1.9 0      .49 .33 4.9 39 6.4 3.4 120 310
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety.i 750   750   8100 460 1.9 0      .51 .33 10   40 5.8 3.1 110 300
array-memsafety/lis-alloca_true-valid-memsafety.i 750   750   6500 350 2.0 0      .51 .33 12   39 6.8 3.6 130 320
array-memsafety/mult_array-alloca_true-valid-memsafety.i 750   750   7700 370 1.9 0      .50 .32 8.7 40 6.1 3.3 120 300
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety.i 750   750   11000 320 1.8 0      .54 .36 8.3 41 6.0 3.2 100 310
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety.i 750   750   11000 410 1.8 0      .55 .35 14   41 5.9 3.1 120 300
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety.i 750   750   8900 450 1.8 0      .49 .32 9.4 40 6.9 3.6 140 310
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety.i 750   750   8400 410 1.8 0      .52 .34 12   40 6.0 3.2 110 290
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety.i 750   750   8500 270 1.8 0      .50 .32 4.1 40 6.2 3.3 120 300
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety.i 750   750   7100 230 1.9 0      .49 .32 6.8 40 6.3 3.3 130 300
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety.i 750   750   8100 290 1.9 0      .54 .35 14   42 6.2 3.3 120 300
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety.i 750   750   8500 230 1.9 0      .48 .30 7.9 40 6.3 3.3 110 310
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety.i 750   750   9000 230 1.8 0      .50 .32 9.9 40 5.3 2.9 110 280
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety.i 750   750   8100 230 1.8 0      .52 .33 10   42 6.1 3.3 120 300
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety.i 750   750   10000 250 1.9 0      .47 .31 3.6 40 6.4 3.3 120 300
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety.i 750   750   9100 150 1.8 0      .51 .35 4.0 42 6.1 3.2 120 300
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety.i 750   750   11000 260 1.9 0      .54 .35 11   41 5.6 3.1 110 280
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety.i 750   750   8400 210 1.9 0      .53 .33 11   39 5.9 3.1 110 300
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety.i 750   750   8800 230 1.9 0      .51 .32 11   40 6.1 3.2 120 290
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety.i 750   750   9300 180 1.8 0      .57 .36 8.8 40 6.3 3.3 130 310
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety.i 750   750   6900 600 1.9 0      .49 .31 10   39 6.1 3.2 130 300
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety.i 750   750   7500 320 1.9 0      .52 .33 12   40 6.3 3.4 130 310
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety.i 750   930   7400 290 2.0 0      .50 .33 12   39 6.0 3.2 110 290
array-memsafety/rec_strlen-alloca_true-valid-memsafety.i 750   750   9200 240 1.8 0      .49 .32 4.3 40 5.7 3.1 120 290
array-memsafety/selectionsort-alloca_true-valid-memsafety.i 750   750   6600 470 1.9 0      .53 .34 6.7 39 5.9 3.2 120 290
array-memsafety/stroeder1-alloca_true-valid-memsafety.i 750   750   8200 180 1.8 0      .51 .34 6.2 39 6.6 3.4 130 300
array-memsafety/stroeder2-alloca_true-valid-memsafety.i 760   750   6000 660 1.9 0      .51 .33 11   40 6.8 3.6 110 300
array-memsafety/strreplace-alloca_true-valid-memsafety.i 750   750   9100 130 1.8 0      .50 .32 12   40 6.4 3.5 110 300
array-memsafety/subseq-alloca_true-valid-memsafety.i 750   750   8600 210 1.9 0      .51 .32 12   39 6.2 3.3 110 300
array-memsafety/substring-alloca_true-valid-memsafety.i 750   750   6600 510 1.9 0      .53 .35 6.5 41 6.3 3.4 110 300
array-examples/relax_false-valid-deref.i 750   750   8800 220 2.1 0      .52 .33 12   39 5.8 3.1 87 300
array-examples/sanfoundry_24_false-valid-deref.i 6.2 6.0 79 92 1.2 0      .52 .33 13   40 5.5 3.0 110 290
array-examples/standard_strcpy_false-valid-deref_ground.i 8.4 8.3 100 95 1.2 0      .50 .32 9.4 39 6.2 3.3 100 300
array-examples/standard_strcpy_original_false-valid-deref.i 11   11   160 100 1.2 0      .49 .32 6.5 40 6.5 3.4 100 310
memsafety/960521-1_false-valid-deref.i 880   930   8700 440 3.0 0      .49 .32 7.5 41 6.2 3.3 130 300
memsafety/test-0137_false-valid-deref.i 2.8 2.7 33 85 1.3 0      .64 .42 6.6 40 5.7 3.1 120 290
memsafety/test-0235_false-valid-deref.i 37   36   430 130 1.5 0      .46 .31 6.4 40 6.1 3.2 110 300
memsafety/960521-1_false-valid-free.i 880   930   11000 430 3.0 0      .51 .32 13   39 6.4 3.4 140 300
memsafety/test-0158_false-valid-free.i 2.7 2.6 32 77 1.5 0      .50 .31 12   39 5.9 3.1 84 300
memsafety/test-0232_false-valid-free.i 750   750   6600 280 1.6 0      .51 .34 11   40 5.6 3.1 110 300
memsafety/20020406-1_false-valid-memtrack.i 7.9 7.7 97 95 2.1 0      .49 .34 4.1 40 5.9 3.2 96 290
memsafety/20051113-1.c_false-valid-memtrack.i 5.3 5.3 67 86 1.9 0      .50 .32 4.0 40 6.9 3.7 130 320
memsafety/lockfree-3.1_false-valid-memtrack.i 840   830   8300 210 2.1 0      .51 .32 11   39 6.0 3.2 110 310
memsafety/lockfree-3.2_false-valid-memtrack.i 830   830   11000 200 2.1 0      .48 .32 6.8 39 6.0 3.2 120 290
memsafety/lockfree-3.3_false-valid-memtrack.i 850   840   8800 200 2.1 0      .46 .30 6.1 40 6.7 3.5 100 290
memsafety/test-0019_false-valid-memtrack.i 3.7 3.7 46 78 1.8 0      .53 .34 10   42 6.2 3.3 120 300
memsafety/test-0102_false-valid-memtrack.i 830   830   7000 320 2.0 0      .49 .32 10   39 6.2 3.3 120 300
memsafety/test-0158_false-valid-memtrack.i 3.5 3.6 42 76 1.7 0      .50 .33 4.8 40 5.7 3.1 110 290
memsafety/test-0220_false-valid-memtrack.i 830   830   7200 350 1.9 0      .53 .34 12   40 7.1 3.7 140 320
memsafety/test-0232_false-valid-memtrack.i 830   830   7000 330 1.9 0      .47 .32 7.0 39 7.9 4.2 81 310
memsafety/test-0234_false-valid-memtrack.i 830   830   6800 370 2.1 0      .52 .33 14   39 6.2 3.3 130 300
memsafety/test-0235_false-valid-memtrack.i 830   830   7300 430 2.2 0      .52 .33 11   39 5.8 3.1 120 290
memsafety/960521-1_true-valid-memsafety.i 900   930   10000 220 1.9 0      .48 .32 10   39 5.9 3.2 120 300
memsafety/lockfree-3.0_true-valid-memsafety.i 880   880   10000 200 2.1 0      .51 .31 12   40 6.4 3.4 140 300
memsafety/test-0019_true-valid-memsafety.i 3.4 3.4 45 70 1.8 0      .51 .34 12   40 6.2 3.3 120 300
memsafety/test-0102_true-valid-memsafety.i 880   930   9000 340 2.0 0      .51 .33 12   40 7.2 3.8 130 320
memsafety/test-0134_true-valid-memsafety.i 880   930   6800 360 2.1 0      .54 .35 4.0 39 6.0 3.2 120 300
memsafety/test-0158_true-valid-memsafety.i 3.2 3.2 46 70 1.7 0      .52 .33 13   39 5.6 3.0 120 290
memsafety/test-0214_true-valid-memsafety.i 880   930   10000 230 2.1 0      .49 .31 10   39 6.0 3.2 110 290
memsafety/test-0217_true-valid-memsafety.i 880   930   7800 280 2.2 0      .49 .32 6.8 40 6.9 3.6 130 320
memsafety/test-0218_true-valid-memsafety.i 880   930   7900 280 2.2 0      .48 .33 6.9 39 5.8 3.1 110 300
memsafety/test-0219_true-valid-memsafety.i 880   930   7500 360 1.9 0      .52 .32 9.9 39 6.1 3.2 120 300
memsafety/test-0232_true-valid-memsafety.i 880   880   9200 310 1.9 0      .51 .33 11   40 6.2 3.3 130 300
memsafety/test-0234_true-valid-memsafety.i 880   930   7400 380 2.1 0      .55 .37 8.6 41 6.3 3.3 110 300
memsafety/test-0235_true-valid-memsafety.i 880   930   8900 410 2.2 0      .59 .37 8.1 41 6.2 3.3 120 300
memsafety/test-0236_true-valid-memsafety.i 880   930   8400 440 2.1 0      .51 .33 10   41 5.8 3.1 120 290
memsafety/test-0237_true-valid-memsafety.i 880   930   8000 390 2.2 0      .51 .33 4.7 41 6.5 3.4 120 320
memsafety/test-0504_true-valid-memsafety.i 880   930   7900 380 1.9 0      .51 .33 6.1 39 6.1 3.2 110 290
memsafety/test-0513_true-valid-memsafety.i 880   930   8600 440 2.0 0      .52 .33 10   41 6.0 3.2 130 300
memsafety/test-0521_true-valid-memsafety.i 880   930   7600 370 2.4 0      .53 .36 12   42 5.6 3.0 110 300
memsafety/test-memleak_nexttime_true-valid-memsafety.i 3.3 3.4 47 69 1.8 0      .47 .31 7.8 40 6.7 3.5 94 300
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i 880   880   10000 230 1.9 0      .50 .33 8.1 41 6.1 3.2 110 300
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i 880   930   8400 280 2.0 0      .49 .32 6.5 39 5.8 3.1 120 290
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i 880   930   6900 280 2.1 0      .52 .34 12   40 6.0 3.2 130 300
memsafety-ext/tree_cnstr_true-valid-memsafety.i 880   930   9000 290 2.0 0      .49 .31 9.7 39 6.0 3.1 110 300
memsafety-ext/tree_dsw_true-valid-memsafety.i 880   930   9200 270 2.1 0      .54 .35 4.4 40 6.3 3.3 120 300
memsafety-ext/tree_of_cslls_true-valid-memsafety.i 880   930   7200 360 2.2 0      .47 .30 3.8 43 6.3 3.4 120 300
memsafety-ext/tree_parent_ptr_true-valid-memsafety.i 880   930   7500 300 2.1 0      .50 .32 6.4 40 6.0 3.2 110 310
memsafety-ext/tree_stack_true-valid-memsafety.i 880   930   7300 280 2.0 0      .51 .32 12   40 6.2 3.3 120 300
memsafety-ext2/split_list_test05_false-valid-deref.i 880   930   8400 430 2.6 0      .51 .34 4.6 40 6.0 3.2 99 300
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i 840   830   6800 450 2.4 0      .49 .34 4.2 41 6.2 3.3 110 300
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i 830   830   10000 380 2.2 0      .53 .33 12   39 5.8 3.1 110 300
memsafety-ext2/length_test03_false-valid-memtrack.i 830   830   8200 320 2.0 0      .51 .34 6.4 42 6.0 3.2 120 300
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i 830   830   7100 410 2.2 0      .53 .33 12   39 6.1 3.2 120 300
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i 880   930   7400 440 2.4 0      .48 .31 8.8 40 5.9 3.1 120 300
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i 880   930   10000 440 2.2 0      .51 .33 13   40 6.1 3.2 96 300
memsafety-ext2/length_test03_true-valid-memsafety.i 880   880   8400 320 2.0 0      .50 .32 6.1 40 6.0 3.1 130 300
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i 880   930   8400 420 2.2 0      .52 .34 6.8 41 6.1 3.2 120 300
memsafety-ext2/split_list_test05_true-valid-memsafety.i 880   930   7600 320 2.6 0      .51 .32 13   40 6.2 3.3 130 310
list-ext-properties/960521-1_1_false-valid-deref.i 2.5 2.5 31 83 1.3 0      .50 .31 7.0 40 6.4 3.3 120 300
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i 880   930   7500 290 2.0 0      .54 .35 12   39 6.8 3.6 110 300
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i 2.3 2.3 27 91 1.3 0      .52 .36 3.8 39 5.9 3.1 120 300
list-ext-properties/960521-1_1_false-valid-free.i 640   640   7000 330 1.6 0      .50 .33 7.0 40 6.5 3.5 140 300
list-ext-properties/test-0158_1_false-valid-free.i 2.8 2.8 37 73 1.5 0      .49 .32 7.2 39 7.5 4.0 85 300
list-ext-properties/test-0019_1_false-valid-memtrack.i 3.9 3.9 49 84 1.8 0      .49 .32 6.3 39 6.3 3.4 140 300
list-ext-properties/test-0158_1_false-valid-memtrack.i 3.7 3.8 46 80 1.8 0      .50 .32 7.9 39 5.8 3.0 100 290
list-ext-properties/test-0232_1_false-valid-memtrack.i 830   830   8000 350 1.9 0      .48 .31 10   40 7.5 3.9 140 320
list-ext-properties/960521-1_1_true-valid-memsafety.i 830   820   9500 320 2.0 0      .47 .32 7.8 39 6.2 3.3 120 300
list-ext-properties/list-ext_1_true-valid-memsafety.i 880   880   8100 350 2.0 0      .49 .32 7.1 40 6.2 3.3 110 300
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i 880   880   8400 240 2.0 0      .51 .33 11   40 6.1 3.3 130 300
list-ext-properties/simple-ext_1_true-valid-memsafety.i 880   880   11000 290 1.9 0      .49 .33 6.8 39 6.1 3.2 100 300
list-ext-properties/test-0019_1_true-valid-memsafety.i 3.6 3.5 41 74 1.8 0      .52 .34 3.6 39 6.1 3.2 120 300
list-ext-properties/test-0158_1_true-valid-memsafety.i 3.3 3.4 41 66 1.8 0      .52 .34 4.0 40 6.1 3.3 110 310
list-ext-properties/test-0214_1_true-valid-memsafety.i 880   930   6900 270 2.2 0      .52 .34 3.6 40 5.4 3.0 94 290
list-ext-properties/test-0217_1_true-valid-memsafety.i 880   930   8700 360 2.2 0      .50 .32 10   40 6.1 3.2 120 300
list-ext-properties/test-0232_1_true-valid-memsafety.i 880   880   8100 340 1.9 0      .48 .32 7.2 40 6.3 3.3 130 300
list-ext-properties/test-0504_1_true-valid-memsafety.i 880   930   7300 380 2.0 0      .50 .34 3.5 40 7.1 3.7 98 330
list-ext-properties/test-0513_1_true-valid-memsafety.i 370   370   3100 310 2.1 0      .55 .34 13   43 6.2 3.3 130 290
memory-alloca/c.03-alloca_true-valid-memsafety.i 4.1 4.1 47 81 1.9 0      .51 .32 9.9 40 5.9 3.1 120 300
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c 3.9 3.8 50 83 1.2 0      .56 .36 12   40 5.9 3.2 110 300
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c 3.5 3.3 45 84 1.2 0      .51 .34 7.1 40 5.7 3.1 95 300
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c 3.2 3.1 39 82 1.2 0      .50 .32 8.5 40 6.0 3.2 120 300
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c 4.1 3.9 63 95 2.0 0      .54 .35 13   41 5.9 3.1 110 300
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c 750   930   7500 480 2.2 0      .65 .41 5.7 39 6.1 3.2 100 290
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c 750   930   6900 420 2.2 0      .48 .30 6.4 39 5.5 2.9 110 290
ldv-memsafety/memset2_false-valid-deref-write.c 1.7 1.7 23 73 1.1 0      .64 .41 8.1 40 5.5 2.9 110 290
ldv-memsafety/memset3_false-valid-deref-write.c 1.6 1.7 23 73 1.1 0      .50 .32 10   39 5.8 3.1 130 300
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c 1.6 1.7 21 82 1.1 0      .51 .33 13   41 5.4 3.0 100 290
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c 1.6 1.7 22 82 1.1 0      .49 .32 11   39 5.5 3.0 95 290
ldv-memsafety/memsetNonZero_false-valid-deref-write.c 1.6 1.7 21 73 1.1 0      .53 .35 3.9 40 7.3 3.8 100 310
ldv-memsafety/memset_false-valid-deref-write.c 1.6 1.7 20 76 1.1 0      .50 .32 12   39 6.2 3.3 120 300
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c 760   760   7400 340 1.8 0      .49 .31 8.8 39 6.5 3.4 120 310
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety.c 750   750   6700 560 2.2 0      .52 .34 9.4 41 5.2 2.9 80 300
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c 750   930   10000 400 2.2 0      .52 .34 13   41 5.9 3.2 120 300
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety.c 750   750   6500 540 2.2 0      .53 .33 11   40 6.2 3.3 130 300
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c 760   760   7800 330 3.2 0      .52 .34 11   39 5.5 2.9 110 300
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety.c 750   930   8300 460 2.2 0      .50 .32 9.8 40 6.3 3.3 120 300
ldv-memsafety/StructInitialization1_true-valid-memsafety.c 3.1 3.3 38 71 1.8 0      .54 .34 12   41 6.0 3.1 120 300
ldv-memsafety/StructInitialization2_true-valid-memsafety.c 3.2 3.3 41 67 1.8 0      .52 .33 13   40 5.9 3.1 120 300
ldv-memsafety/StructInitialization_true-valid-memsafety.c 3.0 3.3 33 70 1.7 0      .52 .34 13   39 6.0 3.2 120 300
ldv-memsafety/memset2_true-valid-memsafety.c 3.1 3.3 34 73 1.7 0      .50 .32 9.7 41 6.2 3.3 110 290
ldv-memsafety/memset3_true-valid-memsafety.c 3.1 3.3 36 69 1.7 0      .54 .34 13   41 5.6 3.0 110 290
ldv-memsafety/memsetNonZero2_true-valid-memsafety.c 3.0 3.2 38 67 1.7 0      .51 .34 9.8 39 6.9 3.6 120 310
ldv-memsafety/memsetNonZero3_true-valid-memsafety.c 3.1 3.3 37 68 1.7 0      .50 .33 12   40 5.6 3.0 110 300
ldv-memsafety/memsetNonZero_true-valid-memsafety.c 3.1 3.3 37 71 1.7 0      .51 .32 9.3 40 6.1 3.2 110 290
ldv-memsafety/memset_true-valid-memsafety.c 3.0 3.2 33 71 1.7 0      .52 .34 13   41 6.0 3.2 120 290
ldv-memsafety/memleaks_test14_3_false-valid-deref.i 2.7 2.6 35 93 1.3 0      .50 .33 5.8 39 6.3 3.4 120 300
ldv-memsafety/memleaks_test22_3_false-valid-deref.i 2.7 2.7 34 82 1.3 0      .55 .36 14   41 6.2 3.3 130 300
ldv-memsafety/memleaks_test22_5_false-valid-deref.i 2.8 2.7 31 83 1.3 0      .51 .33 14   40 6.3 3.3 130 300
ldv-memsafety/memleaks_test23_2_false-valid-deref.i 3.8 3.7 47 93 1.5 0      .52 .35 6.6 41 6.2 3.3 130 300
ldv-memsafety/memleaks_test23_4_false-valid-deref.i 3.4 3.4 43 89 1.5 0      .51 .32 11   39 5.8 3.1 110 300
ldv-memsafety/memleaks_test11_1_false-valid-free.i 3.6 3.5 45 82 1.6 .12   .56 .36 8.4 42 6.2 3.3 110 300
ldv-memsafety/memleaks_test12_false-valid-free.i 20   19   270 110 2.1 0      .52 .34 5.6 39 6.5 3.4 130 300
ldv-memsafety/memleaks_test17_2_false-valid-free.i 40   39   560 140 1.7 0      .49 .32 9.1 41 6.1 3.3 110 300
ldv-memsafety/memleaks_test19_false-valid-free.i 3.3 3.3 39 80 1.6 0      .53 .34 14   40 6.2 3.3 130 300
ldv-memsafety/memleaks_test2_false-valid-free.i 2.6 2.7 40 82 1.5 0      .48 .30 6.4 40 6.3 3.3 100 300
ldv-memsafety/memleaks_test3_false-valid-free.i 2.6 2.8 34 83 1.5 0      .51 .33 9.1 40 5.6 3.0 110 280
ldv-memsafety/memleaks_test6_2_false-valid-free.i 2.9 2.9 36 76 1.6 0      .56 .37 4.5 42 5.5 3.0 110 290
ldv-memsafety/memleaks_test8_2_false-valid-free.i 2.9 3.0 38 78 1.5 0      .59 .39 5.1 42 6.3 3.3 130 310
ldv-memsafety/memleaks_test10_false-valid-memtrack.i 4.4 4.5 54 74 1.9 0      .50 .33 11   40 6.0 3.2 110 300
ldv-memsafety/memleaks_test11_2_false-valid-memtrack.i 4.7 4.6 67 85 2.0 0      .51 .33 6.9 40 6.8 3.6 120 300
ldv-memsafety/memleaks_test13_1_false-valid-memtrack.i 3.9 4.0 42 81 1.9 0      .48 .31 8.3 39 6.4 3.4 130 300
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i 5.3 5.2 62 89 2.0 0      .54 .35 14   41 5.9 3.1 120 300
ldv-memsafety/memleaks_test14_1_false-valid-memtrack.i 3.9 4.0 48 82 1.9 0      .53 .35 12   39 5.8 3.1 120 300
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i 5.2 5.1 55 87 2.0 0      .48 .32 6.8 40 6.5 3.4 120 290
ldv-memsafety/memleaks_test15_false-valid-memtrack.i 9.3 9.1 110 87 2.1 0      .48 .31 9.7 39 6.2 3.3 120 300
ldv-memsafety/memleaks_test16_1_false-valid-memtrack.i 3.6 3.7 43 78 1.8 0      .51 .33 7.9 39 5.8 3.1 110 290
ldv-memsafety/memleaks_test16_2_false-valid-memtrack.i 3.6 3.7 47 78 1.8 0      .50 .33 6.6 40 6.1 3.2 120 300
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i 95   95   1100 150 2.0 0      .53 .34 14   41 6.1 3.3 97 300
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i 45   44   520 130 2.0 0      .49 .31 11   40 6.2 3.3 130 300
ldv-memsafety/memleaks_test18_1_false-valid-memtrack.i 32   32   490 120 2.0 0      .49 .32 6.5 41 7.8 4.1 160 320
ldv-memsafety/memleaks_test18_2_false-valid-memtrack.i 27   26   350 110 2.0 0      .51 .33 6.7 41 5.8 3.1 120 300
ldv-memsafety/memleaks_test18_3_false-valid-memtrack.i 5.9 5.8 63 80 1.9 0      .50 .31 8.4 39 5.7 3.1 110 290
ldv-memsafety/memleaks_test1_false-valid-memtrack.i 3.5 3.6 54 80 1.8 0      .63 .41 8.3 40 6.4 3.4 120 300
ldv-memsafety/memleaks_test20_false-valid-memtrack.i 3.7 3.7 46 78 1.8 0      .50 .32 7.3 40 6.9 3.6 110 320
ldv-memsafety/memleaks_test21_false-valid-memtrack.i 3.6 3.8 48 80 1.8 0      .48 .31 8.5 40 5.8 3.1 100 290
ldv-memsafety/memleaks_test22_1_false-valid-memtrack.i 4.7 4.6 60 77 2.0 0      .63 .41 7.9 39 5.7 3.0 94 290
ldv-memsafety/memleaks_test22_2_false-valid-memtrack.i 3.9 3.9 48 86 1.9 0      .49 .32 4.0 41 5.6 3.0 110 290
ldv-memsafety/memleaks_test22_4_false-valid-memtrack.i 4.8 4.8 56 80 2.0 0      .63 .39 12   42 6.1 3.3 130 300
ldv-memsafety/memleaks_test4_false-valid-memtrack.i 3.6 3.7 45 84 1.8 0      .49 .31 5.8 39 6.2 3.3 100 300
ldv-memsafety/memleaks_test5_1_false-valid-memtrack.i 3.5 3.7 47 73 1.8 0      .52 .33 11   39 6.4 3.4 130 300
ldv-memsafety/memleaks_test5_2_false-valid-memtrack.i 3.6 3.8 44 78 1.8 0      .51 .33 10   40 7.2 3.8 92 300
ldv-memsafety/memleaks_test6_1_false-valid-memtrack.i 4.0 4.0 48 86 1.9 0      .53 .34 13   40 7.2 3.7 120 320
ldv-memsafety/memleaks_test6_3_false-valid-memtrack.i 3.9 3.8 45 80 1.9 0      .49 .31 5.4 40 6.2 3.3 100 300
ldv-memsafety/memleaks_test7_false-valid-memtrack.i 3.8 3.7 49 78 1.9 0      .52 .35 9.0 40 6.5 3.4 110 300
ldv-memsafety/memleaks_test8_1_false-valid-memtrack.i 3.7 3.7 48 73 1.8 0      .57 .37 14   42 5.9 3.1 84 300
ldv-memsafety/memleaks_test9_1_false-valid-memtrack.i 3.7 3.8 40 84 1.8 0      .53 .34 12   39 6.2 3.3 130 310
ldv-memsafety/memleaks_test9_2_false-valid-memtrack.i 3.6 3.7 43 81 1.8 0      .50 .32 4.0 40 6.4 3.4 130 300
ldv-memsafety/memleaks_test10_true-valid-memsafety.i 4.3 4.3 49 73 1.9 0      .54 .34 13   42 6.8 3.5 120 300
ldv-memsafety/memleaks_test11_true-valid-memsafety.i 4.2 4.2 54 73 2.0 0      .50 .32 12   39 6.1 3.2 130 300
ldv-memsafety/memleaks_test12_true-valid-memsafety.i 330   330   3300 210 2.5 0      .49 .32 8.8 39 6.5 3.4 140 300
ldv-memsafety/memleaks_test13_true-valid-memsafety.i 5.0 5.1 69 91 2.0 0      .50 .31 4.1 40 7.2 3.8 120 320
ldv-memsafety/memleaks_test14_true-valid-memsafety.i 4.8 4.8 54 80 2.0 0      .49 .32 7.1 40 5.5 3.0 110 280
ldv-memsafety/memleaks_test15_true-valid-memsafety.i 8.6 8.5 100 87 2.2 0      .59 .36 9.7 44 6.0 3.2 120 290
ldv-memsafety/memleaks_test16_true-valid-memsafety.i 3.2 3.3 42 68 1.9 0      .49 .33 8.3 41 5.6 3.0 120 290
ldv-memsafety/memleaks_test17_1_true-valid-memsafety.i 110   110   1400 150 2.0 0      .50 .32 11   40 6.0 3.2 120 300
ldv-memsafety/memleaks_test17_2_true-valid-memsafety.i 880   880   11000 310 2.0 0      .49 .32 4.4 40 6.4 3.4 130 300
ldv-memsafety/memleaks_test18_true-valid-memsafety.i 43   43   580 110 2.0 0      .51 .33 12   42 6.2 3.3 100 300
ldv-memsafety/memleaks_test19_true-valid-memsafety.i 4.0 4.0 55 70 1.9 0      .47 .32 3.8 39 6.1 3.2 120 300
ldv-memsafety/memleaks_test1_true-valid-memsafety.i 3.2 3.2 36 70 1.8 0      .49 .33 5.8 41 6.3 3.3 120 300
ldv-memsafety/memleaks_test20_true-valid-memsafety.i 3.4 3.4 47 72 1.9 0      .49 .31 5.5 39 6.4 3.4 130 300
ldv-memsafety/memleaks_test21_true-valid-memsafety.i 3.2 3.3 37 68 1.9 0      .48 .31 8.4 40 5.9 3.2 130 300
ldv-memsafety/memleaks_test22_1_true-valid-memsafety.i 4.2 4.2 55 73 2.0 0      .52 .34 8.2 42 6.8 3.5 110 310
ldv-memsafety/memleaks_test22_2_true-valid-memsafety.i 5.0 5.0 62 76 2.0 0      .54 .34 11   41 6.2 3.3 120 310
ldv-memsafety/memleaks_test22_3_true-valid-memsafety.i 5.2 5.1 58 78 2.0 0      .49 .33 13   40 6.1 3.2 120 300
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i 880   880   8400 330 2.3 0      .53 .34 8.9 40 5.7 3.1 110 290
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i 880   930   7100 290 2.3 0      .51 .33 13   39 5.9 3.2 110 300
ldv-memsafety/memleaks_test2_true-valid-memsafety.i 3.2 3.3 44 73 1.8 0      .53 .33 9.0 42 6.4 3.4 120 310
ldv-memsafety/memleaks_test3_true-valid-memsafety.i 3.2 3.3 44 69 1.8 0      .49 .30 7.9 39 6.2 3.3 130 300
ldv-memsafety/memleaks_test4_true-valid-memsafety.i 3.2 3.2 49 70 1.8 0      .52 .34 11   41 5.9 3.2 110 300
ldv-memsafety/memleaks_test5_true-valid-memsafety.i 3.2 3.3 42 69 1.8 0      .54 .35 11   43 5.8 3.1 120 300
ldv-memsafety/memleaks_test6_true-valid-memsafety.i 3.5 3.6 41 73 1.9 0      .51 .32 9.0 41 6.5 3.4 120 310
ldv-memsafety/memleaks_test7_true-valid-memsafety.i 3.5 3.6 42 75 1.9 0      .52 .34 12   40 6.2 3.3 110 300
ldv-memsafety/memleaks_test8_true-valid-memsafety.i 3.3 3.4 40 70 1.8 0      .50 .33 10   40 6.0 3.2 120 300
ldv-memsafety/memleaks_test9_true-valid-memsafety.i 3.4 3.4 41 70 1.9 0      .55 .35 14   41 6.3 3.3 120 300
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety.i 3.5 3.5 40 75 1.8 0      .47 .32 5.1 40 5.9 3.1 120 300
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety.i 3.7 3.7 52 75 1.9 0      .48 .31 8.1 39 6.2 3.3 120 300
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety.i 3.9 4.0 54 69 1.9 0      .59 .36 14   43 6.0 3.2 100 290
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety.i 3.8 3.7 50 73 1.9 0      .49 .31 5.5 41 6.1 3.3 120 300
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety.i 4.3 4.4 54 72 1.9 0      .50 .34 3.5 40 6.2 3.3 120 300
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i 1.9 1.9 26 77 1.2 0      .51 .34 6.5 39 5.3 2.9 93 290
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i 1.9 1.8 25 78 1.2 0      .50 .31 9.6 39 6.3 3.3 130 300
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i 1.7 1.7 22 70 1.2 0      .48 .33 4.1 39 6.0 3.2 110 290
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i 1.8 1.7 23 70 1.3 0      .48 .30 3.6 39 6.3 3.3 120 310
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i 3.3 3.3 43 81 1.5 0      .47 .29 6.0 39 5.8 3.1 120 300
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i 880   930   7200 570 2.5 0      .49 .32 11   40 6.5 3.4 120 290
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i 880   930   7800 320 2.6 0      .59 .37 13   43 6.0 3.2 120 300
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i 880   930   7700 510 2.4 0      .50 .34 9.7 40 5.9 3.2 110 300
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i 880   930   11000 250 2.3 0      .51 .33 4.0 40 6.2 3.3 130 300
heap-manipulation/tree_false-unreach-call_false-valid-deref.i 5.1 5.0 58 100 1.4 0      .52 .34 9.1 40 6.3 3.3 130 300
heap-manipulation/tree_false-valid-deref.i 2.2 2.2 23 91 1.4 0      .51 .34 7.9 39 6.3 3.3 120 300
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i 750   750   8900 220 2.0 .0041 .51 .33 4.0 40 5.6 2.9 90 280
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i 830   830   6900 280 2.1 0      .49 .32 7.4 40 6.7 3.5 140 320
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i 830   830   7300 350 2.1 0      .50 .33 11   42 5.9 3.2 120 300
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i 830   830   7200 330 2.0 0      .50 .34 3.6 39 6.2 3.3 94 310
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i 880   880   9900 320 2.0 0      .56 .36 11   40 6.1 3.2 110 300
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i 750   750   5400 320 1.9 0      .54 .33 12   40 5.4 3.0 110 290
list-properties/list_search_true-unreach-call_false-valid-memtrack.i 14   14   210 110 2.0 0      .47 .31 6.8 39 6.0 3.2 110 300
list-properties/list_true-unreach-call_false-valid-memtrack.i 750   750   6500 290 2.0 0      .51 .32 9.4 40 5.8 3.1 120 300
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i 750   750   7800 310 1.9 0      .50 .33 7.3 39 5.4 2.9 78 290
list-properties/simple_true-unreach-call_false-valid-memtrack.i 750   750   6300 270 1.9 0      .53 .34 4.2 42 6.2 3.3 130 300
list-properties/splice_true-unreach-call_false-valid-memtrack.i 750   750   6800 340 2.0 0      .49 .31 9.3 39 6.4 3.4 130 310
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i 88   88   1100 250 6.3 0      .48 .32 9.3 40 6.6 3.5 130 300
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i 87   87   1100 250 6.2 0      .50 .33 13   40 6.5 3.4 130 310
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i 89   88   1100 250 6.2 0      .50 .33 7.4 40 6.4 3.4 110 300
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i 680   680   7200 360 3.7 0      .55 .35 12   39 6.5 3.4 140 300
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i 670   670   7900 360 3.7 0      .51 .33 13   40 6.3 3.4 110 300
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i 680   680   8100 360 3.7 0      .50 .32 10   39 7.0 3.7 140 310
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i 680   670   7600 360 3.7 0      .51 .34 3.8 40 6.0 3.3 90 300
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i 690   680   7700 360 3.7 0      .54 .35 11   41 6.7 3.5 120 300
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i 650   650   9000 360 3.8 0      .47 .30 5.7 39 6.5 3.4 130 300
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i 670   660   6900 360 3.8 0      .51 .33 4.1 40 6.6 3.5 140 300
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i 640   640   9400 360 3.7 0      .50 .32 12   39 6.7 3.5 120 300
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i 680   680   7900 350 3.8 0      .54 .33 13   40 6.4 3.4 130 300
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i 660   660   7300 350 3.8 0      .48 .31 8.7 40 6.3 3.4 87 310
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i 880   930   6500 300 2.3 0      .54 .35 8.2 43 6.0 3.2 98 290
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i 880   880   6700 270 2.0 0      .52 .35 4.3 40 6.2 3.3 130 290
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i 880   930   6700 290 2.1 0      .49 .32 10   40 6.2 3.3 110 310
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i 880   880   9300 330 2.2 0      .46 .31 3.9 39 6.0 3.2 97 300
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i 880   930   10000 340 2.1 0      .55 .36 8.6 41 5.9 3.2 110 300
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i 880   930   6900 320 2.1 0      .51 .31 7.2 39 6.5 3.4 120 300
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i 880   880   7900 350 2.1 0      .52 .34 10   42 5.9 3.1 120 300
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i 880   930   8200 330 2.2 0      .63 .39 5.9 39 6.4 3.4 120 300
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i 880   880   7200 340 2.0 0      .50 .32 6.5 43 6.0 3.2 110 300
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i 880   930   11000 280 2.2 0      .49 .32 8.4 39 6.2 3.3 120 290
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i 880   930   7700 310 2.2 0      .47 .32 3.7 40 6.2 3.3 110 300
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i 880   880   10000 250 2.0 0      .49 .32 7.5 39 6.2 3.3 120 300
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i 880   930   7700 260 2.1 0      .48 .31 5.0 39 5.9 3.2 120 310
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i 880   880   12000 320 2.2 0      .49 .32 6.0 40 6.1 3.2 110 300
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i 880   930   11000 310 2.0 0      .50 .33 8.5 40 7.0 3.7 130 320
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i 880   930   7200 310 2.0 0      .51 .33 12   39 6.1 3.2 110 300
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i 880   880   8000 330 2.1 0      .47 .31 5.2 40 6.1 3.3 130 300
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i 880   930   7800 340 2.2 0      .52 .34 6.9 40 5.9 3.1 120 300
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i 880   880   7300 300 2.0 0      .49 .32 7.1 39 6.5 3.4 130 320
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 3.6 3.5 41 100 1.3 0      .51 .34 6.1 39 6.1 3.3 120 300
forester-heap/sll-01_false-unreach-call_false-valid-deref.i 4.1 4.0 48 110 1.5 0      .49 .33 7.5 39 6.4 3.4 120 300
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i 3.3 3.3 38 92 1.3 0      .50 .32 9.2 39 5.9 3.2 120 300
loop-acceleration/array3_false-valid-deref.i 790   930   6600 1200 13   0      .49 .32 8.1 42 6.0 3.2 110 300
ntdrivers/floppy_false-valid-deref.i.cil.c 48   48   570 250 12   0      .58 .40 4.9 44 7.1 3.7 130 300
ntdrivers/kbfiltr_false-valid-deref.i.cil.c 4.5 4.3 49 120 3.2 0      .57 .36 13   44 6.4 3.4 120 300
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c 330   330   4300 260 5.5 0      .50 .31 12   40 6.4 3.4 120 300
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 320   320   4200 260 5.5 0      .51 .34 12   40 6.4 3.4 120 300
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 160   160   2300 180 4.0 0      .48 .31 4.7 39 6.1 3.2 110 300
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c 130   120   1600 180 4.1 0      .56 .36 9.1 40 7.0 3.7 81 290
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c 130   130   2000 180 4.1 0      .51 .32 8.4 40 6.0 3.2 110 300
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c 200   200   2700 220 4.9 0      .52 .33 14   40 6.3 3.4 120 300
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c 200   190   2300 210 4.9 0      .51 .34 3.7 40 6.2 3.3 120 300
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c 26   26   320 120 3.0 0      .53 .34 13   40 6.1 3.2 110 300
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c 59   57   770 150 3.8 0      .66 .44 6.7 40 6.1 3.3 130 300
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c 58   57   850 150 3.8 0      .59 .37 9.4 40 5.6 3.0 98 290
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c 3.8 3.9 42 83 2.0 0      .50 .33 10   39 7.1 3.7 110 310
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c 3.9 3.9 43 86 2.1 0      .52 .34 7.8 40 5.6 3.0 100 300
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c 3.8 3.9 57 87 2.1 0      .50 .32 5.5 39 5.9 3.2 110 300
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c 3.9 3.9 45 83 2.1 0      .52 .32 12   40 5.8 3.1 86 300
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c 3.9 3.9 59 88 2.1 0      .49 .32 6.8 39 5.9 3.2 130 300
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c 3.9 3.9 60 84 2.1 0      .50 .33 4.8 44 5.9 3.1 120 300
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c 3.9 3.9 52 86 2.2 0      .50 .33 9.4 39 6.0 3.2 110 300
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c 4.0 3.9 60 86 2.2 0      .51 .34 4.3 39 6.4 3.3 120 300
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c 3.6 3.7 46 77 1.9 0      .48 .30 10   40 6.1 3.2 110 300
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c 3.6 3.7 46 75 1.9 0      .49 .32 8.7 39 5.4 3.0 110 290
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c 3.7 3.7 54 81 2.0 0      .50 .34 4.3 40 6.0 3.2 120 300
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c 3.7 3.7 57 90 2.0 0      .55 .35 12   39 5.3 2.9 110 290
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c 3.7 3.7 52 83 2.0 0      .46 .31 4.1 39 6.1 3.2 120 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 130000 140000 1400000 70000 690   .13   328 72    46    1200 5600   328 860   460   16000 42000   328 97 63 1700 7600   328 1200 620 22000 57000  
    correct results 263 79000 79000 820000 47000 520   .13   0 62    40    1000 4900   0 750   400   14000 36000   0 73 47 1300 5700   0 870 460 17000 43000  
        correct true 142 59000 59000 630000 31000 310   .0041 0 0    0    0 0   0 0   0   0 0   0 73 47 1300 5700   0 870 460 17000 43000  
        correct false 121 20000 20000 190000 16000 210   .13   0 62    40    1000 4900   0 750   400   14000 36000   0 0 0 0 0   0 0 0 0 0  
    correct-unconfimed results 0
        correct-unconfirmed true 0
        correct-unconfirmed false 0
    incorrect results 11 7500 7400 88000 3800 40   0      0 5.6  3.6  110 440   0 71   38   1300 3300   0 0 0 0 0   0 0 0 0 0  
        incorrect true 1 750 750 8800 220 2.1 0      0 .52 .33 12 39   0 5.8 3.1 87 300   0 0 0 0 0   0 0 0 0 0  
        incorrect false 10 6700 6700 79000 3600 38   0      0 5.1  3.3  94 400   0 65   34   1200 3000   0 0 0 0 0   0 0 0 0 0  
score (328 tasks, max score: 517) 213
Run set [sv-comp17.MemSafety-Arrays; sv-comp17.MemSafety-Heap; sv-comp17.MemSafety-LinkedLists; sv-comp17.MemSafety-Other]