Tool CPAchecker 1.7-svn 29913 ULTIMATE Automizer 0.1.24-91b1670e
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set cpaseq--memsafety.cpaseq ultimateautomizer-cpaseq--memsafety-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false --full-output --validate test/results/cpaseq--memsafety.logfiles/cpaseq.${inputfile_name}.files/output/witness.graphml
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i error 3.61 1.97 242446336 false(valid-deref) 8.48   5.27   316239872
array-memsafety/bubblesort_unsafe_false-valid-deref.i timeout (segmentation fault) 901    757    11859415040 error (2) .0524 .0537 5517312
array-memsafety/count_down_unsafe_false-valid-deref.i error 3.83 2.12 249372672 false(valid-deref) 8.55   5.25   321949696
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 3.03 1.70 239726592 false(valid-deref) 7.71   4.83   309673984
array-memsafety/cstrchr_unsafe_false-valid-deref.i error 4.43 2.46 246755328 false(valid-deref) 15.7    9.87   478138368
array-memsafety/cstrlen_unsafe_false-valid-deref.i error 3.86 2.11 246235136 false(valid-deref) 10.8    6.18   381321216
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 3.18 1.77 243638272 false(valid-deref) 8.06   4.98   315359232
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 3.28 1.83 243380224 true 6.88   4.46   312029184
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i error 3.76 2.10 243814400 false(valid-deref) 23.9    17.6    480272384
array-memsafety/diff_usafe_false-valid-deref.i segmentation fault 791    690    9092411392 error (2) .0293 .0304 5611520
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i error 4.67 2.56 249417728 false(valid-deref) 9.51   5.45   334684160
array-memsafety/lis_unsafe_false-valid-deref.i error 4.26 2.35 244858880 false(valid-deref) 14.0    8.17   521256960
array-memsafety/mult_array_unsafe_false-valid-deref.i error 4.39 2.38 247332864 false(valid-deref) 9.41   5.70   334749696
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i error 3.83 2.08 247095296 false(valid-deref) 10.3    6.17   356753408
array-memsafety/reverse_array_unsafe_false-valid-deref.i error 3.92 3.94 246689792 false(valid-deref) 9.57   5.80   328114176
array-memsafety/selectionsort_unsafe_false-valid-deref.i segmentation fault 641    575    7366815744 error (2) .0271 .0283 5595136
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 3.82 2.16 241790976 false(valid-deref) 7.30   4.23   311590912
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i error 4.58 2.48 253321216 timeout 961      883      1236971520
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i error 4.10 2.23 250368000 true 12.0    7.31   430792704
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i error 4.59 2.52 249274368 true 12.4    7.60   455053312
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i error 3.75 2.04 246063104 true 12.8    7.53   459026432
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i error 3.78 2.08 247988224 true 11.3    7.04   406806528
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i error 3.76 2.06 249212928 true 14.5    8.83   494817280
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i error 3.87 2.13 247934976 timeout 960      923      2533195776
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i error 4.36 2.35 268038144 true 15.9    9.56   513728512
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i error 4.23 2.29 255139840 true 30.1    19.9    566759424
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i error 3.75 2.06 245694464 true 22.3    13.9    622649344
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i error 4.20 2.29 250191872 true 28.2    17.6    647880704
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i error 3.85 2.10 246108160 true 13.5    8.36   505327616
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i error 4.49 2.44 248483840 timeout 960      916      2776227840
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i error 3.78 2.08 250236928 true 28.2    18.5    630747136
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i error 4.09 3.92 247058432 true 23.4    14.6    690053120
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i error 4.48 2.45 243658752 true 48.4    36.5    793989120
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i error 3.87 2.13 249913344 true 64.1    50.6    807837696
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i error 3.83 2.09 245710848 true 24.0    15.4    591933440
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i error 3.81 2.07 246681600 true 16.2    9.84   466362368
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i error 3.99 2.23 245116928 true 13.9    8.38   463745024
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error 3.85 2.11 247144448 true 25.6    16.1    530878464
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i error 4.37 2.35 251752448 true 25.8    20.0    489582592
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i error 3.78 2.05 250138624 true 14.6    8.79   456355840
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i error 3.69 2.05 246517760 true 14.8    8.89   519507968
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i error 3.91 2.13 246091776 true 22.7    16.7    524996608
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i error 4.57 2.48 245506048 true 16.2    9.86   502329344
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i error 3.93 2.15 244871168 true 21.0    13.2    486502400
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error 3.74 2.06 245485568 true 50.5    32.7    680562688
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i error 4.61 2.54 244903936 timeout 960      914      2944155648
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i error 4.28 2.31 244105216 true 31.7    21.2    545505280
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i error 4.30 2.37 250052608 true 17.5    10.5    487497728
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i error 3.84 2.11 247492608 true 33.3    23.7    588722176
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i error 4.15 2.24 247803904 true 38.4    24.6    615206912
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i error 4.38 2.39 248954880 true 14.2    8.54   533749760
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i error 4.11 2.25 243322880 timeout 961      898      2112413696
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i error 4.88 2.60 261869568 true 38.6    26.2    1096126464
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i error 4.00 2.18 251666432 true 31.9    20.6    684126208
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i error 4.19 2.26 270245888 true 14.4    8.48   541540352
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i error 3.80 2.06 250040320 true 37.8    28.8    660766720
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i error 3.84 2.08 247676928 true 29.1    18.8    662093824
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i error 3.76 2.06 245760000 true 877      838      1242460160
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i error 3.94 2.12 254513152 true 14.8    9.28   515497984
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i error 4.36 2.37 248737792 true 19.1    11.9    489263104
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i error 3.82 2.05 247644160 true 11.9    7.38   451428352
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i error 3.88 2.11 247447552 true 12.4    7.70   456212480
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i error 4.46 4.48 247095296 true 19.2    13.2    489414656
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i error 3.90 2.14 247189504 true 40.2    30.8    572620800
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i error 4.06 2.17 267264000 true 191      171      937054208
array-examples/relax_false-valid-deref.i error 3.99 2.14 249843712 false(valid-deref) 10.4    5.84   342249472
array-examples/sanfoundry_24_false-valid-deref.i timeout 902    872    4751454208 timeout 960      802      1265442816
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 903    840    5115162624 timeout 961      896      1117749248
array-examples/standard_strcpy_original_false-valid-deref.i timeout 902    839    5082443776 timeout 961      885      3646988288
array-memsafety-realloc/array-realloc_false-valid-free.i true 12.4  8.28 417255424 false(valid-free) 11.7    6.56   398278656
array-memsafety-realloc/array-realloc_true-valid-memsafety.i false(valid-free) 4.21 2.29 255971328 true 11.2    6.75   381530112
busybox-1.22.0/basename_false-valid-deref.i error 6.19 3.31 259739648 unknown 886      828      2613723136
busybox-1.22.0/head_false-valid-deref.i error 6.13 3.23 268496896 unknown 8.09   4.78   300433408
busybox-1.22.0/sleep_false-valid-deref.i error 5.63 2.99 269557760 unknown 8.13   4.74   306454528
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i error 5.61 2.99 265326592 unknown 8.00   4.55   306995200
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 5.20 2.77 262365184 error (7) 169      142      2784456704
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i error 5.68 3.03 260620288 unknown 8.48   4.70   309706752
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.36 3.35 269520896 unknown 8.29   4.57   297447424
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 7.12 3.73 281174016 unknown 8.92   5.02   305631232
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i error 5.01 2.69 261369856 timeout 960      899      3192442880
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i error 6.62 3.50 267251712 unknown 8.92   4.91   294752256
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i error 5.65 3.01 267804672 unknown 7.92   4.55   304500736
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.79 6.76 272769024 unknown 8.83   4.95   313425920
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i error 5.95 3.17 261234688 unknown 7.85   4.55   310263808
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i error 6.24 3.33 268902400 unknown 8.25   4.67   304185344
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i error 5.65 2.96 283799552 timeout 961      884      2246115328
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i error 6.23 3.30 265949184 unknown 7.79   4.44   302727168
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 7.49 3.96 296321024 error (7) 17.4    10.4    313958400
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i error 6.34 3.35 266272768 unknown 8.82   5.14   296968192
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i error 5.53 2.95 265539584 unknown 7.52   4.31   298762240
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 8.41 4.40 348610560 unknown 9.86   5.34   313483264
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.27 3.32 264822784 unknown 8.57   4.90   307908608
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i error 6.08 3.24 279859200 unknown 8.52   4.81   309063680
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i error 5.45 2.91 263401472 unknown 7.39   4.54   303878144
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i error 6.51 3.46 263254016 unknown 8.77   4.82   300056576
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i error 6.05 3.22 268877824 unknown 8.28   4.62   304738304
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i error 7.03 3.74 266420224 unknown 8.36   4.75   304345088
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 10.7  5.77 466001920 unknown 9.13   5.17   326434816
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i error 5.82 3.11 258142208 unknown 7.40   4.34   302075904
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i error 5.95 3.16 265371648 unknown 8.66   4.87   311685120
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i error 7.61 4.01 269201408 unknown 8.34   4.69   301764608
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 7.31 7.05 272076800 unknown 8.96   5.02   303788032
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.64 3.49 270774272 unknown 9.42   5.35   299761664
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i error 6.93 3.67 269651968 unknown 8.07   4.54   303951872
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i error 6.37 3.37 271937536 unknown 8.76   5.01   298897408
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i error 5.40 2.90 266612736 unknown 8.16   4.63   297787392
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i error 7.19 3.77 281698304 unknown 8.46   4.96   303792128
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.16 3.25 264097792 unknown 8.37   4.72   301150208
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i error 6.17 3.28 268013568 unknown 8.57   4.84   307462144
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i error 5.45 2.91 266063872 unknown 7.95   4.53   301355008
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i error 5.67 3.02 267276288 unknown 7.86   4.50   308166656
memsafety/960521-1_false-valid-deref.i false(valid-deref) 10.1  5.54 650219520 timeout 962      515      13370404864
memsafety/test-0137_false-valid-deref.i timeout 905    833    4647579648 error (7) 11.7    6.76   300359680
memsafety/test-0235_false-valid-deref.i timeout 905    843    4831604736 timeout 960      936      2047328256
memsafety/960521-1_false-valid-free.i false(valid-free) 12.3  6.62 675594240 timeout 962      514      13548167168
memsafety/test-0158_false-valid-free.i false(valid-free) 4.34 2.41 246775808 false(valid-free) 11.6    6.47   373452800
memsafety/test-0232_false-valid-free.i timeout 904    806    4834471936 error (7) 763      722      1186009088
memsafety/20020406-1_false-valid-memtrack.i error (recursion) 4.35 2.38 249778176 timeout 960      947      2008428544
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 4.45 2.42 251346944 true 10.5    6.19   372944896
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 904    770    5832343552 unknown 91.4    57.1    919584768
memsafety/lockfree-3.2_false-valid-memtrack.i timeout 911    877    4203593728 error (2) .0305 .0311 5533696
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 906    745    6159273984 unknown 145      96.5    2501332992
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.91 2.19 246087680 unknown 16.1    9.80   325599232
memsafety/test-0102_false-valid-memtrack.i timeout 905    837    4757954560 error (7) 12.3    7.04   305426432
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.71 2.04 243277824 unknown 14.6    8.63   325206016
memsafety/test-0220_false-valid-memtrack.i timeout 904    822    4815044608 timeout 960      933      2226454528
memsafety/test-0232_false-valid-memtrack.i timeout 905    793    4891885568 unknown 56.6    38.5    677425152
memsafety/test-0234_false-valid-memtrack.i timeout 905    844    4888043520 timeout 961      928      2289274880
memsafety/test-0235_false-valid-memtrack.i timeout 905    847    4822102016 timeout 960      929      2292817920
memsafety/960521-1_true-valid-memsafety.i timeout 902    767    8946733056 timeout 960      935      969564160
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 924    721    6214942720 timeout 960      808      9903501312
memsafety/test-0019_true-valid-memsafety_true-termination.i true 3.68 2.05 243937280 true 19.5    12.7    638836736
memsafety/test-0102_true-valid-memsafety.i timeout 905    838    4727738368 error (7) 11.7    6.40   297922560
memsafety/test-0134_true-valid-memsafety.i timeout 904    833    4699938816 error (7) 11.9    7.18   294744064
memsafety/test-0158_true-valid-memsafety_true-termination.i true 3.59 2.00 246337536 true 9.94   5.73   336093184
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 905    818    5488070656 timeout 961      914      2098171904
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 912    717    11483615232 timeout 960      904      2382127104
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 962    744    11520712704 timeout 960      905      1043734528
memsafety/test-0219_true-valid-memsafety.i timeout 904    822    4843311104 timeout 960      920      2235650048
memsafety/test-0232_true-valid-memsafety.i timeout 904    802    4822212608 timeout 960      929      1444724736
memsafety/test-0234_true-valid-memsafety.i timeout 905    847    4883050496 timeout 961      929      2210619392
memsafety/test-0235_true-valid-memsafety.i timeout 906    844    4827213824 timeout 960      934      2092916736
memsafety/test-0236_true-valid-memsafety.i timeout 905    855    4655259648 timeout 960      934      1229324288
memsafety/test-0237_true-valid-memsafety.i timeout 905    862    4565778432 timeout 960      926      2250383360
memsafety/test-0504_true-valid-memsafety.i timeout (segmentation fault) 915    563    11260022784 error (2) .0211 .0215 5619712
memsafety/test-0513_true-valid-memsafety.i timeout 961    577    11114065920 error (invalid witness file) 5.95   3.15   281280512
memsafety/test-0521_true-valid-memsafety.i timeout 961    572    11194445824 error (2) .0512 .0520 5541888
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true 3.78 2.09 246992896 timeout 960      881      979570688
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 931    622    11403829248 timeout 961      891      1071841280
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 904    712    11529482240 timeout 961      905      1247993856
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 905    695    11684188160 timeout 961      921      2276237312
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 918    594    11440922624 timeout 961      933      1018396672
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 912    596    11340161024 timeout 961      933      1082662912
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (segmentation fault) 901    600    11332411392 error (2) .0200 .0204 5611520
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 905    594    11271405568 timeout 960      930      981319680
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 919    606    11315875840 timeout 961      909      2071076864
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (segmentation fault) 901    784    11480670208 error (2) .0204 .0208 5611520
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i false(valid-memtrack) 4.72 2.57 256430080 timeout 962      579      13466611712
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 961    563    11121307648 error (invalid witness file) 5.68   3.14   269934592
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 903    883    4060848128 timeout 961      930      2032222208
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 904    810    5043257344 timeout 960      923      1828921344
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 906    814    6289227776 timeout 961      886      1287487488
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 962    564    11155750912 error (invalid witness file) 6.06   3.76   277196800
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 904    795    4858159104 timeout 961      925      1587564544
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 905    805    5171691520 timeout 961      908      3659386880
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (segmentation fault) 901    787    11892252672 error (2) .0245 .0255 5672960
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 6.01 3.20 302391296 timeout 962      516      13226217472
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 5.94 3.17 282009600 false(valid-free) 32.7    17.2    1009106944
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i timeout 905    701    6802972672 false(valid-deref) 12.1    6.89   431140864
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 6.12 3.25 307445760 timeout 962      515      13540560896
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 3.99 2.19 246538240 false(valid-free) 10.7    6.42   350334976
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.21 4.22 254713856 unknown 16.5    9.72   334123008
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.12 2.25 246353920 unknown 15.0    9.25   315023360
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.70 3.05 262246400 unknown 736      709      4539576320
list-ext-properties/960521-1_1_true-valid-memsafety.i true 11.5  10.5  648060928 timeout 960      947      1118748672
list-ext-properties/list-ext_1_true-valid-memsafety.i true 43.5  26.7  2122866688 timeout 961      854      2201096192
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 904    737    7309148160 timeout 961      866      2389344256
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 19.0  9.90 821522432 timeout 961      898      2146652160
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 3.80 2.05 248418304 true 33.9    23.0    624185344
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 4.18 2.30 240730112 true 10.6    6.29   351420416
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 905    692    6266105856 timeout 961      920      1181331456
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 907    716    5966352384 timeout 960      908      2192924672
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 7.65 4.02 409591808 error (7) 789      748      1222430720
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 909    700    6606536704 timeout 961      909      1045094400
list-ext-properties/test-0513_1_true-valid-memsafety.i true 4.59 2.48 251912192 timeout 961      876      2198196224
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout 904    894    1200312320 true 11.8    7.06   421502976
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 3.32 1.82 244822016 false(valid-deref) 8.39   5.26   318095360
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 3.36 1.88 244367360 false(valid-deref) 9.00   5.61   323293184
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 3.27 1.79 243126272 false(valid-deref) 7.86   4.56   320696320
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 3.35 1.85 244375552 false(valid-deref) 7.49   4.73   313495552
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 9.19 4.77 426262528 timeout 961      528      13590568960
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 9.12 8.98 447713280 timeout 962      531      13554941952
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 2.98 1.70 240988160 true 6.86   3.99   310464512
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 2.99 1.69 240730112 true 6.77   4.30   306417664
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 3.14 1.76 241807360 true 6.64   4.21   310870016
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 3.37 1.87 247123968 true 6.76   4.30   308314112
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 3.10 1.73 243011584 true 6.68   3.95   307331072
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 3.59 2.04 237920256 true 6.91   3.99   305491968
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c true 104    77.3  4630761472 timeout 960      922      2540871680
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 12.3  6.84 714448896 true 30.0    21.6    592478208
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 7.00 3.70 440614912 true 23.9    14.6    505524224
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 12.1  6.78 689303552 true 18.5    11.3    469852160
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 53.2  36.3  4080988160 true 20.2    12.0    568971264
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 6.89 3.68 421433344 true 22.3    13.7    564854784
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 4.14 2.24 265715712 true 11.2    6.32   361213952
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 3.26 1.82 242167808 true 10.8    6.15   363917312
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 3.27 1.83 239849472 true 7.35   4.26   316432384
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 3.07 1.73 241917952 true 9.90   6.27   344907776
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 2.98 1.70 241143808 true 10.8    6.65   347267072
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 3.22 1.83 243740672 true 10.2    5.94   345219072
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 3.08 1.76 242888704 true 10.3    6.12   357703680
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 3.09 1.73 241696768 true 10.6    6.21   346066944
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 3.15 1.77 238157824 true 10.6    6.17   346750976
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 4.35 2.37 251457536 error (7) 12.3    7.08   295763968
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 4.80 2.61 252260352 true 12.7    7.05   451305472
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 5.44 5.35 259244032 true 12.1    6.81   449654784
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 4.85 2.58 258646016 true 18.1    10.6    437383168
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 5.95 3.21 259309568 true 18.3    11.5    626393088
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 4.43 2.40 254152704 true 11.5    6.74   381276160
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-free) 5.94 3.19 257863680 true 12.4    7.22   411172864
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 5.31 2.88 262946816 timeout 961      527      13242376192
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 4.43 2.38 254328832 false(valid-free) 105      97.0    520187904
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 4.26 2.30 249782272 false(valid-free) 11.9    6.91   387018752
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 4.31 2.29 258719744 false(valid-free) 10.2    6.15   347275264
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 4.32 2.34 255909888 false(valid-free) 14.1    8.14   544681984
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 5.21 2.82 250654720 false(valid-free) 12.4    7.37   408182784
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.34 2.33 252624896 unknown 23.8    14.2    471744512
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.97 2.68 254029824 true 10.9    6.47   365416448
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.38 2.40 257134592 unknown 38.8    25.1    578981888
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 4.96 2.70 250351616 unknown 41.3    27.4    625262592
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.39 2.39 250155008 error (7) 12.3    6.98   293855232
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 4.31 2.33 251875328 error (7) 12.4    7.43   296607744
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 4.93 2.65 253026304 true 12.9    7.52   457846784
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.86 2.61 253267968 unknown 20.7    12.2    377548800
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.77 2.56 255111168 unknown 20.2    11.5    373710848
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 5.38 2.86 256471040 timeout 961      527      13553758208
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 5.27 2.82 273752064 true 18.6    10.8    540876800
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.76 2.57 259878912 true 11.3    6.59   379551744
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.83 2.61 254353408 true 10.9    6.13   376717312
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.30 2.82 256765952 true 10.7    6.47   366899200
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.12 2.24 249270272 unknown 20.8    11.9    368111616
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.15 2.28 248610816 unknown 21.3    11.9    382144512
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.18 2.27 247808000 unknown 20.7    11.8    372051968
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.31 2.35 251015168 true 12.3    6.87   433258496
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.20 2.30 252952576 true 13.8    8.08   467714048
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.76 2.53 274206720 true 12.2    7.16   451993600
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.21 2.28 253960192 unknown 22.2    12.4    382631936
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.56 2.45 256753664 unknown 20.8    12.0    370413568
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.97 4.94 251437056 true 12.1    7.22   392011776
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.67 2.53 256266240 unknown 63.4    51.0    530300928
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.38 2.38 253083648 unknown 23.1    13.2    425091072
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.74 4.72 258859008 unknown 23.6    13.3    425033728
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.21 2.29 250449920 unknown 22.1    12.6    375492608
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.32 2.34 249200640 unknown 20.7    11.6    386408448
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.25 2.32 248823808 unknown 22.1    12.8    375508992
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i true 4.42 2.39 251928576 timeout 960      922      916844544
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i true 4.38 2.37 258736128 timeout 961      914      926724096
ldv-memsafety/memleaks_test12_true-valid-memsafety.i true 6.62 3.52 262606848 timeout 961      904      1602334720
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 5.52 2.95 254488576 true 89.0    61.4    1072144384
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 5.56 2.99 256684032 error (7) 12.3    7.16   292986880
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i true 4.53 2.45 253992960 timeout 961      926      1290735616
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 4.29 2.32 254009344 true 14.5    8.68   477274112
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i true 5.69 3.08 262336512 timeout 961      903      1990037504
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i error 4.57 2.44 252977152 timeout 961      901      1234567168
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i true 5.22 2.78 262311936 timeout 960      930      1095520256
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true 5.13 2.75 255971328 timeout 960      919      804139008
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 4.18 2.28 249823232 true 12.5    7.48   456495104
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 4.27 2.32 249827328 true 15.9    9.44   479240192
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 4.17 4.12 250642432 true 15.7    9.16   536403968
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i true 4.16 2.29 250400768 timeout 961      898      2659975168
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i true 4.38 2.34 249016320 timeout 961      896      2582818816
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i true 5.45 2.94 255635456 timeout 961      923      3817873408
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i true 5.76 5.47 258121728 false(valid-deref) 131      119      721444864
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i true 5.28 2.82 256933888 timeout 960      899      2591727616
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 5.04 5.04 253550592 true 13.6    8.15   475611136
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 4.21 2.29 249569280 true 29.9    22.0    499568640
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 4.39 2.36 249757696 true 14.6    8.79   482197504
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 4.34 2.34 251944960 true 21.7    12.8    623099904
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 4.50 2.44 253440000 true 19.8    11.7    494837760
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 4.14 2.27 249778176 true 13.7    8.04   462897152
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 4.20 2.27 250880000 true 13.1    7.83   476688384
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i true 3.53 3.37 240865280 error (7) 10.2    6.44   292188160
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i true 3.24 1.81 244109312 error (7) 10.1    5.93   292040704
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i true 3.19 1.76 238145536 error (7) 10.0    6.02   287444992
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i true 3.40 1.93 244035584 error (7) 10.3    6.09   292737024
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i true 3.17 1.80 241561600 error (7) 9.96   5.97   289656832
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 3.15 1.77 241254400 error (7) 10.5    5.70   290111488
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-deref) 3.23 1.78 244736000 error (7) 10.3    6.06   287105024
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 3.64 2.01 245088256 error (7) 10.1    6.44   284024832
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) 3.75 2.04 261705728 error (7) 9.95   5.90   283959296
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) 3.92 2.17 244830208 error (7) 10.5    6.48   292896768
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 905    853    4573356032 timeout 961      917      1124515840
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error (recursion) 4.03 2.21 247177216 timeout 961      918      1124012032
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 961    577    11112312832 error (invalid witness file) 5.42   3.57   267243520
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 905    797    5014446080 timeout 960      932      1833136128
heap-manipulation/tree_false-unreach-call_false-valid-deref.i timeout 929    549    11145613312 false(valid-deref) 358      326      1231802368
heap-manipulation/tree_false-valid-deref.i timeout 932    624    11351293952 false(valid-deref) 9.17   5.62   328585216
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 937    558    11354574848 timeout 960      896      1814695936
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i timeout (segmentation fault) 927    568    11170521088 error (2) .0191 .0195 5591040
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 907    578    11297947648 timeout 961      920      1604313088
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 906    587    11303763968 timeout 960      916      1202487296
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 905    572    11194990592 timeout 960      874      1358176256
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i timeout 913    575    11205763072 unknown 21.0    12.1    353173504
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout 903    598    11257458688 unknown 28.2    17.6    479027200
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i timeout 909    604    11290722304 unknown 21.0    11.9    377585664
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout 913    591    11276226560 unknown 25.8    15.2    472301568
list-properties/splice_true-unreach-call_false-valid-memtrack.i timeout (segmentation fault) 931    564    11200790528 error (2) .0266 .0273 5545984
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i true 6.54 3.47 268730368 error (7) 29.7    16.8    549044224
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i true 6.54 3.43 283922432 error (7) 30.4    17.4    517931008
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i true 6.31 3.33 266133504 error (7) 29.7    16.9    532045824
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.29 3.85 284172288 error (7) 31.6    17.9    528818176
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.66 3.52 268824576 error (7) 30.0    17.2    518557696
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.37 3.35 270299136 error (7) 31.2    17.7    535789568
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.59 3.46 268132352 error (7) 31.3    17.6    516018176
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.39 4.41 273850368 error (7) 29.6    17.0    515862528
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.69 3.54 283344896 error (7) 29.3    16.8    513236992
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.02 4.21 271810560 error (7) 31.8    17.9    519876608
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.69 4.06 273293312 error (7) 30.3    17.1    542392320
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.80 3.59 266506240 error (7) 30.0    16.8    534155264
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.46 3.42 274083840 error (7) 30.3    17.4    531845120
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 915    544    11147063296 error (2) .0406 .0413 5505024
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 903    694    10284982272 timeout 961      898      1196716032
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 910    616    11363389440 error (2) .0454 .0462 5533696
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 962    545    11021434880 error (2) .0202 .0208 5591040
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 920    552    11131527168 error (2) .0198 .0201 5619712
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 933    561    11168620544 error (2) .0197 .0204 5738496
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 926    587    11270520832 error (2) .0279 .0283 5611520
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 919    597    11428233216 timeout 961      877      2356531200
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 962    583    11195498496 error (invalid witness file) 5.66   3.46   273895424
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 961    572    11261128704 error (2) .0289 .0294 5550080
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 926    663    11127132160 timeout 960      894      2117148672
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 903    650    11036643328 timeout 961      855      1063518208
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 916    606    11322388480 timeout 961      877      2441019392
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 961    556    10991783936 error (invalid witness file) 5.41   3.00   269029376
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 923    642    11434614784 timeout 961      870      1223876608
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 904    617    11469266944 timeout 961      884      2180829184
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 908    588    11309711360 timeout 960      843      1552924672
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 924    626    11373428736 timeout 961      845      2190917632
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 920    568    11242274816 error (2) .0309 .0317 5599232
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 931    619    11466027008 false(valid-deref) 78.5    54.3    828628992
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout 961    593    11180425216 error (invalid witness file) 5.68   3.18   268783616
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 911    621    11537805312 false(valid-deref) 59.8    40.1    741384192
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i true 4.36 2.37 255389696 timeout 961      923      1579819008
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i true 4.28 2.32 266457088 timeout 961      920      1029636096
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.31 2.33 247566336 timeout 960      936      1182732288
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i true 4.04 2.21 253014016 timeout 960      934      948064256
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.14 2.27 249700352 timeout 960      919      901681152
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.05 2.20 255021056 timeout 960      931      1032237056
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.00 2.21 253939712 timeout 960      925      1899479040
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 5.19 2.82 248709120 timeout 961      906      1050611712
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.24 2.30 255660032 true 301      272      1060753408
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i true 4.21 2.27 256217088 true 335      305      1166807040
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i true 4.54 2.48 255819776 error (7) 714      685      2174087168
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i true 4.22 2.28 249020416 timeout 961      934      1029935104
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.11 2.26 248627200 timeout 961      937      1136107520
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i true 4.01 2.19 263827456 timeout 961      931      2247946240
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.16 2.29 250867712 timeout 960      934      957927424
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.23 2.29 249184256 timeout 961      935      2080710656
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.86 2.62 252338176 timeout 961      920      1137934336
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 3.99 2.23 246816768 true 151      126      1021755392
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.29 2.31 254107648 timeout 960      911      1965711360
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i true 4.04 2.21 247730176 timeout 961      917      1357070336
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i true 4.00 2.18 248995840 timeout 961      929      1631485952
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i true 4.07 2.22 256090112 timeout 960      931      1930768384
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.09 2.23 253575168 timeout 960      931      1337270272
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i true 3.97 2.17 248823808 timeout 961      925      1442664448
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.03 2.19 250458112 timeout 961      931      1708675072
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.16 2.27 249282560 timeout 961      930      1665990656
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 3.84 2.12 243781632 timeout 961      899      715403264
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 4.08 2.22 249479168 true 361      327      799485952
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.27 2.32 247779328 timeout 961      913      906780672
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i true 4.13 2.25 255578112 timeout 960      909      946995200
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i true 4.11 2.24 255123456 error (7) 600      579      2179100672
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i true 5.23 2.82 257261568 error (7) 855      835      2169819136
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.35 2.35 254033920 timeout 960      939      967753728
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i true 4.16 2.26 250781696 timeout 960      938      1103253504
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.43 2.41 256647168 timeout 960      936      844251136
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.15 2.26 248852480 timeout 960      937      909651968
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.39 2.39 253071360 timeout 961      910      1175289856
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 4.46 2.47 250355712 true 333      311      734498816
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.06 2.21 254271488 true 476      451      1185259520
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i true 4.00 2.19 253419520 true 575      544      937500672
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i true 5.24 2.83 251744256 timeout 960      931      968740864
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i true 4.13 2.28 250183680 timeout 960      937      1774874624
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i true 4.19 2.31 250568704 timeout 961      893      2077216768
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i true 5.40 2.87 270221312 timeout 960      930      1140473856
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i true 14.3  7.51 836227072 timeout 961      895      2458710016
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i true 231    171    5811159040 timeout 960      922      1254998016
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 911    702    7936204800 timeout 960      939      617934848
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i true 3.84 2.09 249368576 true 16.5    10.3    539533312
list-ext3-properties/dll_circular_traversal_false-valid-deref.i false(valid-deref) 4.52 2.47 260673536 timeout 960      918      4019204096
list-ext3-properties/sll_circular_traversal_false-valid-deref.i false(valid-deref) 4.62 2.52 259383296 timeout 961      821      13271101440
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i false(valid-memtrack) 4.67 2.54 261816320 unknown 18.3    10.7    349331456
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i false(valid-memtrack) 4.00 2.19 247771136 true 13.3    8.02   456732672
loops/invert_string_false-valid-deref.c error 3.19 1.77 239083520 false(valid-deref) 8.65   4.81   323203072
loop-acceleration/array3_false-valid-deref.i timeout 902    892    2415452160 timeout 961      908      1343234048
ntdrivers/floppy_false-valid-deref.i.cil.c false(valid-deref) 10.9  11.1  579706880 false(valid-deref) 48.7    29.2    1046908928
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 5.61 2.99 269627392 false(valid-deref) 24.4    14.2    552157184
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 34.3  19.8  1879453696 true 11.5    6.83   394182656
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 32.8  20.1  1856757760 true 12.3    7.37   403193856
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 904    824    7278211072 true 9.78   5.89   329388032
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 58.8  63.8  3488108544 true 9.80   5.89   331653120
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 49.9  35.6  3232415744 true 10.0    6.01   331427840
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 75.4  55.1  4351213568 true 10.7    6.43   356405248
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 95.8  68.3  4392398848 true 10.9    6.21   369389568
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.35 4.41 399306752 true 8.06   5.02   313106432
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.8  7.41 665997312 true 9.93   5.75   335278080
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.9  7.97 674619392 true 8.77   4.99   319381504
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    519    10875588608 error (invalid witness file) 5.58   3.08   280285184
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 903    496    11057971200 true 7.61   4.74   315219968
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 947    515    10849599488 true 7.21   4.56   310362112
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 954    517    10902253568 true 7.62   4.33   319070208
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c timeout 921    704    10850729984 true 7.43   4.76   314998784
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 929    505    11012296704 true 7.51   4.79   313761792
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 904    766    4302561280 true 7.70   4.85   313282560
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 960    526    10864504832 true 7.49   4.33   313040896
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    526    11039203328 error (invalid witness file) 5.49   3.45   262000640
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    524    10928062464 error (invalid witness file) 5.53   3.53   277708800
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c timeout 956    524    10891628544 true 7.08   4.08   305324032
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c timeout 913    643    10931027968 true 6.87   4.49   310337536
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    520    10929655808 error (invalid witness file) 5.62   3.11   273838080
memsafety-ext3/derefAfterFree1_false-valid-deref.c false(valid-deref) 3.31 1.79 243576832 false(valid-deref) 8.03   4.66   321474560
memsafety-ext3/derefAfterFree2_false-valid-deref.c false(valid-deref) 3.73 2.10 242171904 false(valid-deref) 11.4    6.47   414928896
memsafety-ext3/derefInLoop1_false-valid-deref.c false(valid-deref) 3.80 3.78 242737152 false(valid-deref) 7.38   4.70   318226432
memsafety-ext3/getNumbers1_false-valid-deref.c false(valid-deref) 3.80 2.05 250429440 false(valid-deref) 426      257      13398421504
memsafety-ext3/getNumbers2_false-valid-deref.c false(valid-deref) 3.80 2.07 251453440 false(valid-deref) 9.23   5.61   427585536
memsafety-ext3/getNumbers4_false-valid-deref.c false(valid-deref) 4.39 4.38 245157888 false(valid-deref) 11.1    6.56   508358656
memsafety-ext3/naturalNumbers1_false-valid-deref.c false(valid-deref) 3.22 1.81 246562816 true 9.98   5.75   334782464
memsafety-ext3/realloc1_false-valid-deref.c false(valid-deref) 3.37 1.86 244264960 true 8.52   5.33   330485760
memsafety-ext3/scopes1_false-valid-deref.c false(valid-deref) 3.05 1.73 242221056 false(valid-deref) 6.91   4.04   309981184
memsafety-ext3/scopes2_false-valid-deref.c false(valid-deref) 3.12 1.74 243384320 false(valid-deref) 7.34   4.25   324005888
memsafety-ext3/scopes3_false-valid-deref.c false(valid-deref) 3.61 2.00 245686272 false(valid-deref) 416      251      13314637824
memsafety-ext3/scopes4_false-valid-deref.c false(valid-deref) 3.30 1.86 238645248 false(valid-deref) 7.19   4.60   311373824
memsafety-ext3/scopes5_false-valid-deref.c false(valid-deref) 2.97 1.66 236904448 true 6.72   4.32   306298880
memsafety-ext3/freeAlloca_false-valid-free.c false(valid-free) 3.54 1.93 244998144 true 16.3    11.1    465543168
memsafety-ext3/getNumbers1_true-valid-memsafety.c true 3.95 2.18 242495488 true 12.9    7.98   470233088
memsafety-ext3/getNumbers3_true-valid-memsafety.c true 3.86 2.13 241422336 true 11.2    6.49   399593472
memsafety-ext3/getNumbers4_true-valid-memsafety.c true 3.73 2.03 248537088 true 56.2    36.5    868405248
memsafety-ext3/scopes4_true-valid-memsafety.c true 3.07 1.71 240537600 true 11.3    6.43   363782144
pthread-memsafety/fillarray1_false-valid-deref.i error 4.49 2.40 250650624 error (7) 17.3    9.92   335794176
pthread-memsafety/fillarray_false-valid-deref.i error 4.34 2.37 251867136 error (7) 17.1    9.55   335167488
pthread-memsafety/list1_false-valid-deref.i error 4.35 2.33 264097792 error (7) 17.4    10.1    342986752
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 442 102000    75600    1089150205952 442 135000 123000 511314575360
    correct results 225 1830    1180    95683596288 150 7320 5830 101145264128
        correct true 118 1320    881    66965504000 106 5440 4540 56275111936
        correct false 107 513    299    28718092288 44 1880 1290 44870152192
    incorrect results 2 16.7  10.6  673226752 31 488 329 13147729920
        incorrect true 1 12.4  8.28 417255424 29 324 193 11417178112
        incorrect false 1 4.21 2.29 255971328 2 164 136 1730551808
score (442 tasks, max score: 719) 295 -704
Run set cpaseq--memsafety.cpaseq ultimateautomizer-cpaseq--memsafety-validation.witnessValidation