Tool CPAchecker 1.7-svn 29913 CProver witness2test 0.1
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic Linux 4.15.0-48-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 fshellw2t-cpaseq--memsafety-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false --graphml-witness 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 error (1) .0773  .0777  10821632
array-memsafety/bubblesort_unsafe_false-valid-deref.i timeout (segmentation fault) 901    757    11859415040 error (invalid witness file) .00501 .00806 520192
array-memsafety/count_down_unsafe_false-valid-deref.i error 3.83 2.12 249372672 error (1) .0669  .0672  11329536
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 3.03 1.70 239726592 false(valid-deref) .594   .595   20328448
array-memsafety/cstrchr_unsafe_false-valid-deref.i error 4.43 2.46 246755328 error (1) .101   .0992  10883072
array-memsafety/cstrlen_unsafe_false-valid-deref.i error 3.86 2.11 246235136 error (1) .0864  .0847  11366400
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 3.18 1.77 243638272 true .623   .638   20209664
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 3.28 1.83 243380224 true .623   .622   20246528
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i error 3.76 2.10 243814400 error (1) .0769  .0756  10956800
array-memsafety/diff_usafe_false-valid-deref.i segmentation fault 791    690    9092411392 error (invalid witness file) .00247 .00309 524288
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i error 4.67 2.56 249417728 error (1) .102   .0988  10874880
array-memsafety/lis_unsafe_false-valid-deref.i error 4.26 2.35 244858880 error (1) .102   .100   10817536
array-memsafety/mult_array_unsafe_false-valid-deref.i error 4.39 2.38 247332864 error (1) .0828  .0819  10842112
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i error 3.83 2.08 247095296 error (1) .0773  .0780  10665984
array-memsafety/reverse_array_unsafe_false-valid-deref.i error 3.92 3.94 246689792 error (1) .102   .0980  10870784
array-memsafety/selectionsort_unsafe_false-valid-deref.i segmentation fault 641    575    7366815744 error (invalid witness file) .00543 .00682 524288
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 3.82 2.16 241790976 true .606   .608   20295680
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i error 4.58 2.48 253321216 error (1) .0698  .0702  11612160
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i error 4.10 2.23 250368000 error (1) .100   .100   10944512
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i error 4.59 2.52 249274368 error (1) .101   .0993  10874880
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i error 3.75 2.04 246063104 error (1) .0811  .0810  10776576
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i error 3.78 2.08 247988224 error (1) .0711  .0705  11558912
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i error 3.76 2.06 249212928 error (1) .0843  .0850  10600448
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i error 3.87 2.13 247934976 error (1) .0778  .0776  11726848
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i error 4.36 2.35 268038144 error (1) .0688  .0696  11251712
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i error 4.23 2.29 255139840 error (1) .105   .102   10760192
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i error 3.75 2.06 245694464 error (1) .0714  .0716  11878400
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i error 4.20 2.29 250191872 error (1) .0728  .0732  11276288
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i error 3.85 2.10 246108160 error (1) .0746  .0740  11997184
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i error 4.49 2.44 248483840 error (1) .0834  .0827  10833920
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i error 3.78 2.08 250236928 error (1) .105   .103   10600448
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i error 4.09 3.92 247058432 error (1) .0768  .0779  10878976
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i error 4.48 2.45 243658752 error (1) .0989  .100   10952704
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i error 3.87 2.13 249913344 error (1) .0996  .0999  10866688
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i error 3.83 2.09 245710848 error (1) .103   .102   11010048
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i error 3.81 2.07 246681600 error (1) .0880  .0881  10715136
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i error 3.99 2.23 245116928 error (1) .0783  .0778  10891264
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error 3.85 2.11 247144448 error (1) .0799  .0967  10891264
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i error 4.37 2.35 251752448 error (1) .103   .103   10743808
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i error 3.78 2.05 250138624 error (1) .0915  .0923  11100160
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i error 3.69 2.05 246517760 error (1) .0685  .0678  11980800
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i error 3.91 2.13 246091776 error (1) .104   .101   10760192
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i error 4.57 2.48 245506048 error (1) .0683  .0677  11526144
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i error 3.93 2.15 244871168 error (1) .0821  .0812  10862592
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error 3.74 2.06 245485568 error (1) .0668  .0677  11718656
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i error 4.61 2.54 244903936 error (1) .0808  .0797  10870784
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i error 4.28 2.31 244105216 error (1) .0819  .0834  11051008
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i error 4.30 2.37 250052608 error (1) .0671  .0671  11886592
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i error 3.84 2.11 247492608 error (1) .0990  .105   10715136
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i error 4.15 2.24 247803904 error (1) .0940  .109   10891264
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i error 4.38 2.39 248954880 error (1) .0893  .0881  11280384
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i error 4.11 2.25 243322880 error (1) .0876  .0852  10907648
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i error 4.88 2.60 261869568 error (1) .105   .102   10936320
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i error 4.00 2.18 251666432 error (1) .0908  .0882  11649024
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i error 4.19 2.26 270245888 error (1) .0924  .0918  10858496
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i error 3.80 2.06 250040320 error (1) .0722  .0723  11710464
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i error 3.84 2.08 247676928 error (1) .0666  .0659  10768384
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i error 3.76 2.06 245760000 error (1) .0744  .0748  10907648
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i error 3.94 2.12 254513152 error (1) .0771  .0788  10973184
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i error 4.36 2.37 248737792 error (1) .0663  .0662  10604544
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i error 3.82 2.05 247644160 error (1) .0757  .0770  10997760
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i error 3.88 2.11 247447552 error (1) .0806  .0801  10747904
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i error 4.46 4.48 247095296 error (1) .0685  .0683  12054528
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i error 3.90 2.14 247189504 error (1) .0749  .0750  11427840
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i error 4.06 2.17 267264000 error (1) .105   .102   10924032
array-examples/relax_false-valid-deref.i error 3.99 2.14 249843712 error (1) .0699  .0703  10850304
array-examples/sanfoundry_24_false-valid-deref.i timeout 902    872    4751454208 error (1) .0915  .0913  10788864
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 903    840    5115162624 error (1) .0748  .0739  10792960
array-examples/standard_strcpy_original_false-valid-deref.i timeout 902    839    5082443776 error (1) .0667  .0667  10846208
array-memsafety-realloc/array-realloc_false-valid-free.i true 12.4  8.28 417255424 error (1) .102   .0996  10903552
array-memsafety-realloc/array-realloc_true-valid-memsafety.i false(valid-free) 4.21 2.29 255971328 true .680   .678   20385792
busybox-1.22.0/basename_false-valid-deref.i error 6.19 3.31 259739648 error (1) .101   .109   10997760
busybox-1.22.0/head_false-valid-deref.i error 6.13 3.23 268496896 error (1) .119   .118   11571200
busybox-1.22.0/sleep_false-valid-deref.i error 5.63 2.99 269557760 error (1) .110   .107   10981376
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i error 5.61 2.99 265326592 error (1) .111   .107   10932224
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 5.20 2.77 262365184 error (1) .0828  .0822  10952704
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i error 5.68 3.03 260620288 error (1) .0954  .0948  10981376
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.36 3.35 269520896 error (1) .100   .100   13086720
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 7.12 3.73 281174016 error (1) .108   .108   13778944
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i error 5.01 2.69 261369856 error (1) .0858  .0857  10653696
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i error 6.62 3.50 267251712 error (1) .119   .116   13377536
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i error 5.65 3.01 267804672 error (1) .112   .111   10981376
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.79 6.76 272769024 error (1) .129   .131   13758464
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i error 5.95 3.17 261234688 error (1) .0920  .0917  12861440
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i error 6.24 3.33 268902400 error (1) .113   .115   11796480
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i error 5.65 2.96 283799552 error (1) .0924  .0898  11517952
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i error 6.23 3.30 265949184 error (1) .0725  .0727  11722752
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 7.49 3.96 296321024 error (1) .133   .133   17485824
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i error 6.34 3.35 266272768 error (1) .122   .121   13033472
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i error 5.53 2.95 265539584 error (1) .110   .108   10997760
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 8.41 4.40 348610560 error (1) .126   .134   17342464
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.27 3.32 264822784 error (1) .103   .102   12947456
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i error 6.08 3.24 279859200 error (1) .123   .120   12328960
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i error 5.45 2.91 263401472 error (1) .109   .108   11030528
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i error 6.51 3.46 263254016 error (1) .104   .104   13541376
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i error 6.05 3.22 268877824 error (1) .0962  .0950  12099584
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i error 7.03 3.74 266420224 error (1) .0800  .0806  10964992
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 10.7  5.77 466001920 error (1) .138   .137   15478784
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i error 5.82 3.11 258142208 error (1) .0999  .0989  10858496
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i error 5.95 3.16 265371648 error (1) .121   .120   12345344
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i error 7.61 4.01 269201408 error (1) .106   .121   12173312
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 7.31 7.05 272076800 error (1) .130   .128   12812288
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.64 3.49 270774272 error (1) .133   .131   13393920
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i error 6.93 3.67 269651968 error (1) .0889  .0887  12091392
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i error 6.37 3.37 271937536 error (1) .0999  .0998  12787712
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i error 5.40 2.90 266612736 error (1) .0982  .0992  10878976
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i error 7.19 3.77 281698304 error (1) .108   .108   13844480
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.16 3.25 264097792 error (1) .122   .120   12476416
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i error 6.17 3.28 268013568 error (1) .101   .101   12013568
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i error 5.45 2.91 266063872 error (1) .0782  .0783  11440128
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i error 5.67 3.02 267276288 error (1) .108   .108   10727424
memsafety/960521-1_false-valid-deref.i false(valid-deref) 10.1  5.54 650219520 error (2) .902   .902   27840512
memsafety/test-0137_false-valid-deref.i timeout 905    833    4647579648 error (1) .0689  .0681  10907648
memsafety/test-0235_false-valid-deref.i timeout 905    843    4831604736 error (1) .0909  .0910  10768384
memsafety/960521-1_false-valid-free.i false(valid-free) 12.3  6.62 675594240 error (2) .904   .912   27828224
memsafety/test-0158_false-valid-free.i false(valid-free) 4.34 2.41 246775808 false(valid-free) .663   .686   20271104
memsafety/test-0232_false-valid-free.i timeout 904    806    4834471936 error (1) .0675  .0673  12189696
memsafety/20020406-1_false-valid-memtrack.i error (recursion) 4.35 2.38 249778176 error (1) .102   .101   10854400
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 4.45 2.42 251346944 error (2) .669   .675   20606976
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 904    770    5832343552 error (1) .105   .104   10952704
memsafety/lockfree-3.2_false-valid-memtrack.i timeout 911    877    4203593728 error (invalid witness file) .00434 .00483 393216
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 906    745    6159273984 error (1) .0681  .0684  11554816
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.91 2.19 246087680 true .705   .704   20156416
memsafety/test-0102_false-valid-memtrack.i timeout 905    837    4757954560 error (1) .106   .102   10858496
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.71 2.04 243277824 true .675   .675   20197376
memsafety/test-0220_false-valid-memtrack.i timeout 904    822    4815044608 error (1) .0944  .0937  10805248
memsafety/test-0232_false-valid-memtrack.i timeout 905    793    4891885568 error (1) .0808  .0816  10645504
memsafety/test-0234_false-valid-memtrack.i timeout 905    844    4888043520 error (1) .0804  .0807  10821632
memsafety/test-0235_false-valid-memtrack.i timeout 905    847    4822102016 error (1) .101   .0996  10960896
memsafety/960521-1_true-valid-memsafety.i timeout 902    767    8946733056 error (1) .0710  .0706  11558912
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 924    721    6214942720 error (1) .0931  .0916  10842112
memsafety/test-0019_true-valid-memsafety_true-termination.i true 3.68 2.05 243937280 error (1) .0690  .0680  10866688
memsafety/test-0102_true-valid-memsafety.i timeout 905    838    4727738368 error (1) .104   .102   10874880
memsafety/test-0134_true-valid-memsafety.i timeout 904    833    4699938816 error (1) .107   .105   10833920
memsafety/test-0158_true-valid-memsafety_true-termination.i true 3.59 2.00 246337536 error (1) .0868  .0860  11481088
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 905    818    5488070656 error (1) .0873  .0876  10719232
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 912    717    11483615232 error (1) .104   .101   10846208
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 962    744    11520712704 error (1) .0777  .0781  10850304
memsafety/test-0219_true-valid-memsafety.i timeout 904    822    4843311104 error (1) .0837  .0827  10772480
memsafety/test-0232_true-valid-memsafety.i timeout 904    802    4822212608 error (1) .102   .0995  11206656
memsafety/test-0234_true-valid-memsafety.i timeout 905    847    4883050496 error (1) .108   .105   10911744
memsafety/test-0235_true-valid-memsafety.i timeout 906    844    4827213824 error (1) .0712  .0710  11919360
memsafety/test-0236_true-valid-memsafety.i timeout 905    855    4655259648 error (1) .0713  .0713  11030528
memsafety/test-0237_true-valid-memsafety.i timeout 905    862    4565778432 error (1) .0921  .0918  10928128
memsafety/test-0504_true-valid-memsafety.i timeout (segmentation fault) 915    563    11260022784 error (invalid witness file) .00446 .00567 524288
memsafety/test-0513_true-valid-memsafety.i timeout 961    577    11114065920 error (invalid witness file) .00402 .00454 393216
memsafety/test-0521_true-valid-memsafety.i timeout 961    572    11194445824 error (invalid witness file) .00204 .00263 524288
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true 3.78 2.09 246992896 error (1) .0725  .0723  10797056
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 931    622    11403829248 error (1) .0807  .0802  10874880
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 904    712    11529482240 error (1) .100   .0988  10878976
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 905    695    11684188160 error (1) .0943  .0942  10674176
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 918    594    11440922624 error (1) .101   .0985  10866688
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 912    596    11340161024 error (1) .0858  .0890  10706944
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (segmentation fault) 901    600    11332411392 error (invalid witness file) .00142 .00157 393216
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 905    594    11271405568 error (1) .0900  .0894  10944512
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 919    606    11315875840 error (1) .0838  .0844  10895360
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (segmentation fault) 901    784    11480670208 error (invalid witness file) .00458 .00579 524288
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i false(valid-memtrack) 4.72 2.57 256430080 error (1) .597   .596   21045248
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 961    563    11121307648 error (invalid witness file) .00163 .00214 655360
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 903    883    4060848128 error (1) .0801  .0793  10813440
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 904    810    5043257344 error (1) .0732  .0728  10903552
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 906    814    6289227776 error (1) .0924  .0911  10911744
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 962    564    11155750912 error (invalid witness file) .00143 .00153 393216
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 904    795    4858159104 error (1) .0758  .0763  11214848
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 905    805    5171691520 error (1) .0698  .0697  10952704
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (segmentation fault) 901    787    11892252672 error (invalid witness file) .00480 .00654 524288
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 6.01 3.20 302391296 error (2) .708   .708   22712320
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 5.94 3.17 282009600 false(valid-deref) .931   .946   22638592
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i timeout 905    701    6802972672 error (1) .0958  .0934  10862592
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 6.12 3.25 307445760 error (2) .705   .726   22654976
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 3.99 2.19 246538240 false(valid-free) .640   .645   20381696
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.21 4.22 254713856 true .666   .681   20332544
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.12 2.25 246353920 true .653   .654   20353024
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.70 3.05 262246400 true .715   .728   21803008
list-ext-properties/960521-1_1_true-valid-memsafety.i true 11.5  10.5  648060928 error (1) .0680  .0670  10588160
list-ext-properties/list-ext_1_true-valid-memsafety.i true 43.5  26.7  2122866688 error (1) .104   .103   10895360
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 904    737    7309148160 error (1) .0830  .0836  10678272
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 19.0  9.90 821522432 error (1) .0688  .0692  12169216
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 3.80 2.05 248418304 error (1) .0712  .0714  10899456
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 4.18 2.30 240730112 error (1) .0658  .0649  10870784
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 905    692    6266105856 error (1) .100   .0971  10825728
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 907    716    5966352384 error (1) .102   .101   10895360
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 7.65 4.02 409591808 error (1) .0850  .0840  10817536
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 909    700    6606536704 error (1) .0718  .0709  10911744
list-ext-properties/test-0513_1_true-valid-memsafety.i true 4.59 2.48 251912192 error (1) .104   .103   10858496
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout 904    894    1200312320 error (1) .103   .102   10895360
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 3.32 1.82 244822016 false(valid-deref) .652   .653   20209664
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 3.36 1.88 244367360 false(valid-deref) .640   .644   20205568
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 3.27 1.79 243126272 false(valid-deref) .650   .649   20414464
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 3.35 1.85 244375552 false(valid-deref) .621   .626   20176896
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 9.19 4.77 426262528 false(valid-deref) 1.04    1.04    34729984
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 9.12 8.98 447713280 false(valid-deref) 1.10    1.10    34652160
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 2.98 1.70 240988160 false(valid-deref) .617   .625   20205568
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 2.99 1.69 240730112 false(valid-deref) .616   .617   20189184
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 3.14 1.76 241807360 false(valid-deref) .614   .624   20185088
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 3.37 1.87 247123968 false(valid-deref) .594   .600   20148224
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 3.10 1.73 243011584 false(valid-deref) .589   .594   20283392
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 3.59 2.04 237920256 false(valid-deref) .606   .610   20062208
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c true 104    77.3  4630761472 error (1) .0922  .101   10813440
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 12.3  6.84 714448896 error (1) .101   .101   10862592
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 7.00 3.70 440614912 error (1) .0723  .0721  10752000
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 12.1  6.78 689303552 error (1) .0810  .0813  11411456
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 53.2  36.3  4080988160 error (1) .0910  .0906  10780672
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 6.89 3.68 421433344 error (1) .0690  .0687  12029952
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 4.14 2.24 265715712 error (1) .0820  .0971  10801152
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 3.26 1.82 242167808 error (1) .0666  .0659  11587584
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 3.27 1.83 239849472 error (1) .0740  .0737  11333632
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 3.07 1.73 241917952 error (1) .0718  .0713  11948032
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 2.98 1.70 241143808 error (1) .0667  .0665  11182080
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 3.22 1.83 243740672 error (1) .0765  .0754  11522048
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 3.08 1.76 242888704 error (1) .0974  .0959  10854400
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 3.09 1.73 241696768 error (1) .0907  .0883  10719232
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 3.15 1.77 238157824 error (1) .0729  .0724  11812864
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 4.35 2.37 251457536 error (1) .576   .576   20488192
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 4.80 2.61 252260352 error (1) .587   .586   20672512
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 5.44 5.35 259244032 error (1) .589   .589   20656128
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 4.85 2.58 258646016 error (1) .571   .580   20566016
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 5.95 3.21 259309568 error (1) .585   .586   20496384
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 4.43 2.40 254152704 error (1) .580   .580   20619264
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-free) 5.94 3.19 257863680 error (1) .578   .577   21278720
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 5.31 2.88 262946816 error (1) .585   .585   21606400
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 4.43 2.38 254328832 error (1) .573   .584   20561920
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 4.26 2.30 249782272 error (1) .585   .586   20422656
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 4.31 2.29 258719744 error (1) .579   .580   20049920
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 4.32 2.34 255909888 error (1) .583   .584   20353024
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 5.21 2.82 250654720 error (1) .580   .580   20353024
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.34 2.33 252624896 error (1) .578   .578   20553728
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.97 2.68 254029824 error (1) .574   .574   20701184
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.38 2.40 257134592 error (1) .575   .586   20357120
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 4.96 2.70 250351616 error (1) .580   .581   20475904
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.39 2.39 250155008 error (1) .595   .592   20340736
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 4.31 2.33 251875328 error (1) .574   .573   20656128
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 4.93 2.65 253026304 error (1) .605   .603   20574208
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.86 2.61 253267968 error (1) .571   .572   20295680
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.77 2.56 255111168 error (1) .574   .574   20389888
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 5.38 2.86 256471040 error (1) .610   .608   21499904
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 5.27 2.82 273752064 error (1) .582   .582   21327872
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.76 2.57 259878912 error (1) .615   .613   21311488
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.83 2.61 254353408 error (1) .590   .589   21045248
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.30 2.82 256765952 error (1) .615   .616   20885504
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.12 2.24 249270272 error (1) .564   .572   20262912
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.15 2.28 248610816 error (1) .577   .577   20385792
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.18 2.27 247808000 error (1) .579   .579   20512768
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.31 2.35 251015168 error (1) .575   .575   20525056
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.20 2.30 252952576 error (1) .610   .610   20475904
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.76 2.53 274206720 error (1) .577   .584   20627456
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.21 2.28 253960192 error (1) .588   .594   20320256
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.56 2.45 256753664 error (1) .588   .588   20271104
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.97 4.94 251437056 error (1) .604   .603   20369408
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.67 2.53 256266240 error (1) .574   .584   20287488
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.38 2.38 253083648 error (1) .606   .605   20459520
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.74 4.72 258859008 error (1) .596   .595   20406272
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.21 2.29 250449920 error (1) .613   .615   20332544
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.32 2.34 249200640 error (1) .587   .584   20312064
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.25 2.32 248823808 error (1) .582   .581   20279296
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i true 4.42 2.39 251928576 error (1) .0998  .100   10862592
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i true 4.38 2.37 258736128 error (1) .0698  .0765  11018240
ldv-memsafety/memleaks_test12_true-valid-memsafety.i true 6.62 3.52 262606848 error (1) .0999  .0963  10932224
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 5.52 2.95 254488576 error (1) .0732  .0732  11960320
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 5.56 2.99 256684032 error (1) .0722  .0722  11051008
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i true 4.53 2.45 253992960 error (1) .0719  .0714  11808768
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 4.29 2.32 254009344 error (1) .106   .101   10911744
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i true 5.69 3.08 262336512 error (1) .109   .105   10821632
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i error 4.57 2.44 252977152 error (1) .0865  .0855  10846208
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i true 5.22 2.78 262311936 error (1) .0726  .0741  11325440
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true 5.13 2.75 255971328 error (1) .0788  .0795  11268096
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 4.18 2.28 249823232 error (1) .0719  .0727  11599872
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 4.27 2.32 249827328 error (1) .0875  .0870  10788864
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 4.17 4.12 250642432 error (1) .106   .104   10887168
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i true 4.16 2.29 250400768 error (1) .102   .101   10919936
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i true 4.38 2.34 249016320 error (1) .0874  .0876  10809344
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i true 5.45 2.94 255635456 error (1) .0739  .0742  11440128
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i true 5.76 5.47 258121728 error (1) .0717  .0715  10891264
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i true 5.28 2.82 256933888 error (1) .0768  .0765  10977280
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 5.04 5.04 253550592 error (1) .0695  .0693  11403264
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 4.21 2.29 249569280 error (1) .0886  .0896  10821632
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 4.39 2.36 249757696 error (1) .0852  .0854  11272192
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 4.34 2.34 251944960 error (1) .0699  .0692  11771904
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 4.50 2.44 253440000 error (1) .0706  .0696  10928128
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 4.14 2.27 249778176 error (1) .0813  .0800  11030528
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 4.20 2.27 250880000 error (1) .0923  .0899  11046912
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i true 3.53 3.37 240865280 error (1) .106   .102   10788864
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i true 3.24 1.81 244109312 error (1) .0978  .0953  10936320
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i true 3.19 1.76 238145536 error (1) .0957  .0943  10817536
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i true 3.40 1.93 244035584 error (1) .0739  .0737  10821632
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i true 3.17 1.80 241561600 error (1) .0698  .0703  11862016
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 3.15 1.77 241254400 false(valid-deref) .593   .605   20369408
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-deref) 3.23 1.78 244736000 true .586   .587   20267008
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 3.64 2.01 245088256 true .600   .608   20357120
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) 3.75 2.04 261705728 false(valid-deref) .594   .615   20217856
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) 3.92 2.17 244830208 false(valid-free) .614   .618   20267008
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 905    853    4573356032 error (1) .0736  .0732  11177984
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error (recursion) 4.03 2.21 247177216 error (1) .0740  .0742  10993664
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 961    577    11112312832 error (invalid witness file) .00491 .00588 524288
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 905    797    5014446080 error (1) .0992  .103   11005952
heap-manipulation/tree_false-unreach-call_false-valid-deref.i timeout 929    549    11145613312 error (1) .0894  .0883  10686464
heap-manipulation/tree_false-valid-deref.i timeout 932    624    11351293952 error (1) .0726  .0719  11886592
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 937    558    11354574848 error (1) .0837  .0829  10571776
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i timeout (segmentation fault) 927    568    11170521088 error (invalid witness file) .00538 .00667 528384
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 907    578    11297947648 error (1) .0874  .0865  11554816
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 906    587    11303763968 error (1) .0758  .0749  10981376
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 905    572    11194990592 error (1) .101   .0992  10866688
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i timeout 913    575    11205763072 error (1) .0755  .0763  11448320
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout 903    598    11257458688 error (1) .0833  .0825  11034624
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i timeout 909    604    11290722304 error (1) .0698  .0690  11784192
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout 913    591    11276226560 error (1) .105   .103   10895360
list-properties/splice_true-unreach-call_false-valid-memtrack.i timeout (segmentation fault) 931    564    11200790528 error (invalid witness file) .00505 .00613 524288
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i true 6.54 3.47 268730368 error (1) .0950  .0939  12800000
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i true 6.54 3.43 283922432 error (1) .101   .0995  12423168
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i true 6.31 3.33 266133504 error (1) .0960  .0963  12587008
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.29 3.85 284172288 error (2) 1.01    1.02    21192704
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.66 3.52 268824576 error (2) 1.04    1.03    21327872
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.37 3.35 270299136 error (2) 1.02    1.03    21151744
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.59 3.46 268132352 error (2) 1.03    1.03    21147648
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.39 4.41 273850368 error (2) 1.02    1.02    21233664
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.69 3.54 283344896 error (2) 1.05    1.05    21245952
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.02 4.21 271810560 error (2) 1.02    1.01    21303296
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.69 4.06 273293312 error (2) 1.04    1.04    21221376
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.80 3.59 266506240 error (2) 1.05    1.05    21311488
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.46 3.42 274083840 error (2) 1.05    1.05    21241856
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 915    544    11147063296 error (invalid witness file) .00188 .00242 524288
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 903    694    10284982272 error (1) .0796  .0788  10842112
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 910    616    11363389440 error (invalid witness file) .00509 .00631 524288
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 962    545    11021434880 error (invalid witness file) .00191 .00240 524288
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 920    552    11131527168 error (invalid witness file) .00215 .00238 393216
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 933    561    11168620544 error (invalid witness file) .00616 .00937 524288
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 926    587    11270520832 error (invalid witness file) .00493 .00609 524288
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 919    597    11428233216 error (1) .107   .105   10952704
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 962    583    11195498496 error (invalid witness file) .00411 .00517 524288
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 961    572    11261128704 error (invalid witness file) .00186 .00302 495616
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 926    663    11127132160 error (1) .0813  .0815  10686464
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 903    650    11036643328 error (1) .0924  .0929  10649600
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 916    606    11322388480 error (1) .106   .103   10788864
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 961    556    10991783936 error (invalid witness file) .00574 .00786 524288
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 923    642    11434614784 error (1) .0742  .0745  10911744
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 904    617    11469266944 error (1) .0934  .105   10887168
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 908    588    11309711360 error (1) .101   .101   10964992
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 924    626    11373428736 error (1) .0688  .0689  12046336
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 920    568    11242274816 error (invalid witness file) .00439 .00603 524288
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 931    619    11466027008 error (1) .0993  .113   10903552
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout 961    593    11180425216 error (invalid witness file) .00617 .00762 524288
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 911    621    11537805312 error (1) .0842  .0831  10997760
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i true 4.36 2.37 255389696 error (1) .0676  .0679  10952704
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i true 4.28 2.32 266457088 error (1) .0989  .0993  10842112
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.31 2.33 247566336 error (1) .105   .104   10788864
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i true 4.04 2.21 253014016 error (1) .0991  .100   11059200
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.14 2.27 249700352 error (1) .0728  .0722  11677696
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.05 2.20 255021056 error (1) .0776  .0775  11857920
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.00 2.21 253939712 error (1) .101   .0992  10952704
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 5.19 2.82 248709120 error (1) .0729  .0740  11079680
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.24 2.30 255660032 error (1) .0761  .0757  10915840
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i true 4.21 2.27 256217088 error (1) .0696  .0691  11755520
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i true 4.54 2.48 255819776 error (1) .0690  .0684  11472896
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i true 4.22 2.28 249020416 error (1) .0690  .0683  11472896
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.11 2.26 248627200 error (1) .101   .0992  11014144
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i true 4.01 2.19 263827456 error (1) .106   .104   10874880
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.16 2.29 250867712 error (1) .0981  .0993  10932224
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.23 2.29 249184256 error (1) .0710  .0707  10874880
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.86 2.62 252338176 error (1) .0744  .0744  11591680
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 3.99 2.23 246816768 error (1) .100   .0992  10858496
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.29 2.31 254107648 error (1) .105   .104   11059200
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i true 4.04 2.21 247730176 error (1) .0705  .0700  10895360
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i true 4.00 2.18 248995840 error (1) .0702  .0700  10772480
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i true 4.07 2.22 256090112 error (1) .0684  .0677  11661312
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.09 2.23 253575168 error (1) .102   .101   10657792
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i true 3.97 2.17 248823808 error (1) .0989  .0968  10858496
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.03 2.19 250458112 error (1) .104   .103   10960896
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.16 2.27 249282560 error (1) .0989  .0998  10895360
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 3.84 2.12 243781632 error (1) .0782  .0814  11333632
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 4.08 2.22 249479168 error (1) .101   .100   10743808
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.27 2.32 247779328 error (1) .0906  .0898  10891264
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i true 4.13 2.25 255578112 error (1) .0735  .0738  12087296
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i true 4.11 2.24 255123456 error (1) .0769  .0771  11083776
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i true 5.23 2.82 257261568 error (1) .0898  .0887  11091968
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.35 2.35 254033920 error (1) .0752  .0755  12136448
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i true 4.16 2.26 250781696 error (1) .0788  .0793  11567104
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.43 2.41 256647168 error (1) .0963  .103   10817536
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.15 2.26 248852480 error (1) .0748  .0739  11763712
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.39 2.39 253071360 error (1) .101   .0995  10899456
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 4.46 2.47 250355712 error (1) .0816  .0848  10956800
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.06 2.21 254271488 error (1) .0679  .0675  11874304
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i true 4.00 2.19 253419520 error (1) .103   .104   10833920
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i true 5.24 2.83 251744256 error (1) .0842  .0843  10915840
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i true 4.13 2.28 250183680 error (1) .0747  .0734  10760192
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i true 4.19 2.31 250568704 error (1) .0775  .0787  10764288
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i true 5.40 2.87 270221312 error (1) .0838  .0837  10858496
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i true 14.3  7.51 836227072 error (1) .0672  .0667  10858496
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i true 231    171    5811159040 error (1) .0862  .0864  10735616
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 911    702    7936204800 error (1) .0878  .0873  11370496
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i true 3.84 2.09 249368576 error (1) .0793  .0791  10960896
list-ext3-properties/dll_circular_traversal_false-valid-deref.i false(valid-deref) 4.52 2.47 260673536 false(valid-deref) .701   .709   21164032
list-ext3-properties/sll_circular_traversal_false-valid-deref.i false(valid-deref) 4.62 2.52 259383296 false(valid-deref) .703   .711   21094400
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i false(valid-memtrack) 4.67 2.54 261816320 false(valid-deref) .685   .696   20422656
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i false(valid-memtrack) 4.00 2.19 247771136 true .646   .649   20385792
loops/invert_string_false-valid-deref.c error 3.19 1.77 239083520 error (1) .0695  .0703  10936320
loop-acceleration/array3_false-valid-deref.i timeout 902    892    2415452160 error (1) .100   .0989  10805248
ntdrivers/floppy_false-valid-deref.i.cil.c false(valid-deref) 10.9  11.1  579706880 timeout 960       960       20844544
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 5.61 2.99 269627392 error (2) .981   .979   20516864
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 34.3  19.8  1879453696 error (1) .118   .116   13443072
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 32.8  20.1  1856757760 error (1) .0994  .0994  13393920
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 904    824    7278211072 error (1) .0936  .0927  11522048
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 58.8  63.8  3488108544 error (1) .118   .114   11464704
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 49.9  35.6  3232415744 error (1) .105   .103   11259904
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 75.4  55.1  4351213568 error (1) .123   .124   12124160
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 95.8  68.3  4392398848 error (1) .107   .106   12115968
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.35 4.41 399306752 error (1) .0870  .0860  10936320
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.8  7.41 665997312 error (1) .0854  .0853  12271616
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.9  7.97 674619392 error (1) .111   .111   11071488
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    519    10875588608 error (invalid witness file) .00529 .0134  516096
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 903    496    11057971200 error (1) .0770  .0770  11636736
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 947    515    10849599488 error (1) .0812  .0793  11042816
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 954    517    10902253568 error (1) .107   .106   10805248
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c timeout 921    704    10850729984 error (1) .0855  .0852  11472896
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 929    505    11012296704 error (1) .0771  .0777  11239424
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 904    766    4302561280 error (1) .0861  .0856  10866688
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 960    526    10864504832 error (1) .0779  .0773  10924032
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    526    11039203328 error (invalid witness file) .00237 .00292 397312
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    524    10928062464 error (invalid witness file) .00537 .00667 524288
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c timeout 956    524    10891628544 error (1) .0826  .0828  10833920
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c timeout 913    643    10931027968 error (1) .0908  .0912  11870208
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    520    10929655808 error (invalid witness file) .00192 .00247 393216
memsafety-ext3/derefAfterFree1_false-valid-deref.c false(valid-deref) 3.31 1.79 243576832 false(valid-deref) .608   .625   20246528
memsafety-ext3/derefAfterFree2_false-valid-deref.c false(valid-deref) 3.73 2.10 242171904 false(valid-deref) .611   .617   20508672
memsafety-ext3/derefInLoop1_false-valid-deref.c false(valid-deref) 3.80 3.78 242737152 true .593   .600   20250624
memsafety-ext3/getNumbers1_false-valid-deref.c false(valid-deref) 3.80 2.05 250429440 error (2) .622   .624   20541440
memsafety-ext3/getNumbers2_false-valid-deref.c false(valid-deref) 3.80 2.07 251453440 false(valid-deref) .609   .616   20766720
memsafety-ext3/getNumbers4_false-valid-deref.c false(valid-deref) 4.39 4.38 245157888 false(valid-deref) .660   .661   21164032
memsafety-ext3/naturalNumbers1_false-valid-deref.c false(valid-deref) 3.22 1.81 246562816 false(valid-deref) .632   .641   20348928
memsafety-ext3/realloc1_false-valid-deref.c false(valid-deref) 3.37 1.86 244264960 false(valid-deref) .637   .640   20574208
memsafety-ext3/scopes1_false-valid-deref.c false(valid-deref) 3.05 1.73 242221056 error (2) .595   .600   20209664
memsafety-ext3/scopes2_false-valid-deref.c false(valid-deref) 3.12 1.74 243384320 false(valid-deref) .632   .634   20316160
memsafety-ext3/scopes3_false-valid-deref.c false(valid-deref) 3.61 2.00 245686272 error (2) .632   .644   20537344
memsafety-ext3/scopes4_false-valid-deref.c false(valid-deref) 3.30 1.86 238645248 false(valid-deref) .613   .619   20254720
memsafety-ext3/scopes5_false-valid-deref.c false(valid-deref) 2.97 1.66 236904448 error (2) .621   .634   20205568
memsafety-ext3/freeAlloca_false-valid-free.c false(valid-free) 3.54 1.93 244998144 error (2) .633   .633   20357120
memsafety-ext3/getNumbers1_true-valid-memsafety.c true 3.95 2.18 242495488 error (1) .0824  .0812  10825728
memsafety-ext3/getNumbers3_true-valid-memsafety.c true 3.86 2.13 241422336 error (1) .102   .101   10862592
memsafety-ext3/getNumbers4_true-valid-memsafety.c true 3.73 2.03 248537088 error (1) .0768  .0768  10989568
memsafety-ext3/scopes4_true-valid-memsafety.c true 3.07 1.71 240537600 error (1) .104   .103   10915840
pthread-memsafety/fillarray1_false-valid-deref.i error 4.49 2.40 250650624 error (1) .0671  .0667  11964416
pthread-memsafety/fillarray_false-valid-deref.i error 4.34 2.37 251867136 error (1) .0667  .0658  11894784
pthread-memsafety/list1_false-valid-deref.i error 4.35 2.33 264097792 error (1) .0696  .0695  11632640
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 442 102000    75600    1089150205952 442 1060     1060     5720092672
    correct results 225 1830    1180    95683596288 30 20.1   20.2   642760704
        correct true 118 1320    881    66965504000 1 .680 .678 20385792
        correct false 107 513    299    28718092288 29 19.4   19.6   622374912
    incorrect results 2 16.7  10.6  673226752 13 8.38  8.45  265277440
        incorrect true 1 12.4  8.28 417255424 12 7.69  7.75  244854784
        incorrect false 1 4.21 2.29 255971328 1 .685 .696 20422656
score (442 tasks, max score: 719) 295 -369
Run set cpaseq--memsafety.cpaseq fshellw2t-cpaseq--memsafety-validation.witnessValidation