Tool CPAchecker 1.7-svn 29913
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 cpachecker-cpaseq--memsafety-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -heap 10000M -benchmark -witnessValidation -witness test/results/cpaseq--memsafety.logfiles/cpaseq.${inputfile_name}.files/output/witness.graphml -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true
../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) .693 .423 44949504
array-memsafety/bubblesort_unsafe_false-valid-deref.i timeout (segmentation fault) 901    757    11859415040 error (invalid witness file) .636 .394 41291776
array-memsafety/count_down_unsafe_false-valid-deref.i error 3.83 2.12 249372672 error (1) .703 .430 44183552
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 3.03 1.70 239726592 false(valid-deref) 3.33  1.86  239652864
array-memsafety/cstrchr_unsafe_false-valid-deref.i error 4.43 2.46 246755328 error (1) .671 .402 44998656
array-memsafety/cstrlen_unsafe_false-valid-deref.i error 3.86 2.11 246235136 error (1) .673 .409 43507712
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 3.18 1.77 243638272 false(valid-deref) 3.24  1.81  243994624
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 3.28 1.83 243380224 false(valid-deref) 3.27  1.86  246571008
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i error 3.76 2.10 243814400 error (1) .672 .405 43831296
array-memsafety/diff_usafe_false-valid-deref.i segmentation fault 791    690    9092411392 error (invalid witness file) .572 .353 40456192
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i error 4.67 2.56 249417728 error (1) .666 .406 45170688
array-memsafety/lis_unsafe_false-valid-deref.i error 4.26 2.35 244858880 error (1) .664 .417 44437504
array-memsafety/mult_array_unsafe_false-valid-deref.i error 4.39 2.38 247332864 error (1) .687 .423 44351488
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i error 3.83 2.08 247095296 error (1) .652 .391 45420544
array-memsafety/reverse_array_unsafe_false-valid-deref.i error 3.92 3.94 246689792 error (1) .687 .437 43679744
array-memsafety/selectionsort_unsafe_false-valid-deref.i segmentation fault 641    575    7366815744 error (invalid witness file) .618 .384 41316352
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 3.82 2.16 241790976 false(valid-deref) 3.38  1.86  241770496
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i error 4.58 2.48 253321216 error (1) .664 .392 43573248
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i error 4.10 2.23 250368000 error (1) .659 .411 44728320
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i error 4.59 2.52 249274368 error (1) .669 .422 43667456
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i error 3.75 2.04 246063104 error (1) .708 .412 45662208
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i error 3.78 2.08 247988224 error (1) .657 .398 44740608
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i error 3.76 2.06 249212928 error (1) .679 .408 44527616
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i error 3.87 2.13 247934976 error (1) .666 .415 43741184
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i error 4.36 2.35 268038144 error (1) .657 .398 43593728
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i error 4.23 2.29 255139840 error (1) .659 .393 44646400
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i error 3.75 2.06 245694464 error (1) .661 .413 43732992
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i error 4.20 2.29 250191872 error (1) .647 .402 43548672
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i error 3.85 2.10 246108160 error (1) .662 .409 44224512
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i error 4.49 2.44 248483840 error (1) .692 .442 43716608
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i error 3.78 2.08 250236928 error (1) .652 .408 44965888
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i error 4.09 3.92 247058432 error (1) .665 .396 43859968
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i error 4.48 2.45 243658752 error (1) .700 .444 45072384
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i error 3.87 2.13 249913344 error (1) .694 .443 44916736
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i error 3.83 2.09 245710848 error (1) .687 .410 46129152
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i error 3.81 2.07 246681600 error (1) .678 .410 45498368
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i error 3.99 2.23 245116928 error (1) .696 .434 44888064
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error 3.85 2.11 247144448 error (1) .715 .439 45449216
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i error 4.37 2.35 251752448 error (1) .673 .413 44761088
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i error 3.78 2.05 250138624 error (1) .694 .430 44978176
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i error 3.69 2.05 246517760 error (1) .661 .417 43855872
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i error 3.91 2.13 246091776 error (1) .675 .399 46772224
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i error 4.57 2.48 245506048 error (1) .646 .384 43798528
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i error 3.93 2.15 244871168 error (1) .677 .418 44478464
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error 3.74 2.06 245485568 error (1) .663 .397 44634112
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i error 4.61 2.54 244903936 error (1) .685 .420 43896832
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i error 4.28 2.31 244105216 error (1) .687 .417 44163072
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i error 4.30 2.37 250052608 error (1) .675 .414 44531712
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i error 3.84 2.11 247492608 error (1) .668 .417 44281856
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i error 4.15 2.24 247803904 error (1) .696 .411 44781568
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i error 4.38 2.39 248954880 error (1) .688 .424 44584960
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i error 4.11 2.25 243322880 error (1) .665 .418 43601920
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i error 4.88 2.60 261869568 error (1) .675 .407 43978752
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i error 4.00 2.18 251666432 error (1) .641 .388 43503616
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i error 4.19 2.26 270245888 error (1) .659 .401 44240896
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i error 3.80 2.06 250040320 error (1) .668 .404 43958272
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i error 3.84 2.08 247676928 error (1) .667 .414 43343872
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i error 3.76 2.06 245760000 error (1) .716 .439 44212224
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i error 3.94 2.12 254513152 error (1) .663 .409 44453888
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i error 4.36 2.37 248737792 error (1) .710 .416 44195840
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i error 3.82 2.05 247644160 error (1) .685 .408 44625920
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i error 3.88 2.11 247447552 error (1) .669 .410 44265472
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i error 4.46 4.48 247095296 error (1) .668 .395 43798528
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i error 3.90 2.14 247189504 error (1) .697 .435 43786240
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i error 4.06 2.17 267264000 error (1) .656 .405 45031424
array-examples/relax_false-valid-deref.i error 3.99 2.14 249843712 error (1) .697 .411 44793856
array-examples/sanfoundry_24_false-valid-deref.i timeout 902    872    4751454208 error (1) .670 .401 44785664
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 903    840    5115162624 error (1) .651 .408 43700224
array-examples/standard_strcpy_original_false-valid-deref.i timeout 902    839    5082443776 error (1) .679 .422 44703744
array-memsafety-realloc/array-realloc_false-valid-free.i true 12.4  8.28 417255424 error (1) .673 .400 43651072
array-memsafety-realloc/array-realloc_true-valid-memsafety.i false(valid-free) 4.21 2.29 255971328 error 4.07  2.23  249405440
busybox-1.22.0/basename_false-valid-deref.i error 6.19 3.31 259739648 error (1) .728 .456 45191168
busybox-1.22.0/head_false-valid-deref.i error 6.13 3.23 268496896 error (1) .887 .519 50360320
busybox-1.22.0/sleep_false-valid-deref.i error 5.63 2.99 269557760 error (1) .758 .458 45580288
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i error 5.61 2.99 265326592 error (1) .723 .428 44679168
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 5.20 2.77 262365184 error (1) .733 .434 44363776
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i error 5.68 3.03 260620288 error (1) .767 .457 46145536
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.36 3.35 269520896 error (1) .906 .521 47038464
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 7.12 3.73 281174016 error (1) .891 .513 50995200
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i error 5.01 2.69 261369856 error (1) .698 .422 44834816
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i error 6.62 3.50 267251712 error (1) .858 .518 51335168
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i error 5.65 3.01 267804672 error (1) .741 .447 45961216
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.79 6.76 272769024 error (1) .901 .532 50900992
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i error 5.95 3.17 261234688 error (1) .880 .518 49975296
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i error 6.24 3.33 268902400 error (1) .815 .487 50008064
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i error 5.65 2.96 283799552 error (1) .724 .458 45969408
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i error 6.23 3.30 265949184 error (1) .738 .447 47398912
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 7.49 3.96 296321024 error (1) .943 .547 55443456
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i error 6.34 3.35 266272768 error (1) .847 .501 46776320
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i error 5.53 2.95 265539584 error (1) .749 .450 44425216
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 8.41 4.40 348610560 error (1) .976 .573 55427072
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.27 3.32 264822784 error (1) .861 .505 49561600
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i error 6.08 3.24 279859200 error (1) .809 .489 45850624
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i error 5.45 2.91 263401472 error (1) .751 .463 45846528
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i error 6.51 3.46 263254016 error (1) .866 .502 50429952
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i error 6.05 3.22 268877824 error (1) .866 .524 50831360
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i error 7.03 3.74 266420224 error (1) .747 .447 44929024
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 10.7  5.77 466001920 error (1) .905 .529 52469760
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i error 5.82 3.11 258142208 error (1) .711 .437 45654016
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i error 5.95 3.16 265371648 error (1) .853 .518 50716672
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i error 7.61 4.01 269201408 error (1) .825 .483 45764608
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 7.31 7.05 272076800 error (1) .913 .539 50483200
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.64 3.49 270774272 error (1) .879 .519 49152000
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i error 6.93 3.67 269651968 error (1) .812 .482 47448064
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i error 6.37 3.37 271937536 error (1) .870 .510 51126272
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i error 5.40 2.90 266612736 error (1) .715 .441 44793856
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i error 7.19 3.77 281698304 error (1) .933 .539 51793920
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.16 3.25 264097792 error (1) .842 .505 46813184
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i error 6.17 3.28 268013568 error (1) .932 .559 53121024
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i error 5.45 2.91 266063872 error (1) .752 .449 46489600
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i error 5.67 3.02 267276288 error (1) .712 .421 44077056
memsafety/960521-1_false-valid-deref.i false(valid-deref) 10.1  5.54 650219520 false(valid-deref) 13.9   7.26  807129088
memsafety/test-0137_false-valid-deref.i timeout 905    833    4647579648 error (1) .694 .413 44232704
memsafety/test-0235_false-valid-deref.i timeout 905    843    4831604736 error (1) .731 .438 44609536
memsafety/960521-1_false-valid-free.i false(valid-free) 12.3  6.62 675594240 false(valid-free) 13.1   6.85  675590144
memsafety/test-0158_false-valid-free.i false(valid-free) 4.34 2.41 246775808 false(valid-free) 4.63  2.47  267735040
memsafety/test-0232_false-valid-free.i timeout 904    806    4834471936 error (1) .688 .428 43573248
memsafety/20020406-1_false-valid-memtrack.i error (recursion) 4.35 2.38 249778176 error (1) .739 .454 45125632
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 4.45 2.42 251346944 false(valid-memtrack) 4.80  2.58  263630848
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 904    770    5832343552 error (1) .697 .436 43712512
memsafety/lockfree-3.2_false-valid-memtrack.i timeout 911    877    4203593728 error (invalid witness file) .568 .344 40296448
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 906    745    6159273984 error (1) .676 .406 44990464
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.91 2.19 246087680 false(valid-memtrack) 4.09  2.22  245121024
memsafety/test-0102_false-valid-memtrack.i timeout 905    837    4757954560 error (1) .670 .414 43712512
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.71 2.04 243277824 false(valid-memtrack) 4.16  2.29  255967232
memsafety/test-0220_false-valid-memtrack.i timeout 904    822    4815044608 error (1) .698 .435 43896832
memsafety/test-0232_false-valid-memtrack.i timeout 905    793    4891885568 error (1) .646 .394 44875776
memsafety/test-0234_false-valid-memtrack.i timeout 905    844    4888043520 error (1) .680 .427 44814336
memsafety/test-0235_false-valid-memtrack.i timeout 905    847    4822102016 error (1) .736 .444 47214592
memsafety/960521-1_true-valid-memsafety.i timeout 902    767    8946733056 error (1) .674 .418 43761664
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 924    721    6214942720 error (1) .693 .444 44658688
memsafety/test-0019_true-valid-memsafety_true-termination.i true 3.68 2.05 243937280 error (1) .676 .422 43937792
memsafety/test-0102_true-valid-memsafety.i timeout 905    838    4727738368 error (1) .683 .405 43868160
memsafety/test-0134_true-valid-memsafety.i timeout 904    833    4699938816 error (1) .698 .426 45821952
memsafety/test-0158_true-valid-memsafety_true-termination.i true 3.59 2.00 246337536 error (1) .682 .431 43507712
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 905    818    5488070656 error (1) .714 .430 44531712
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 912    717    11483615232 error (1) .716 .434 45559808
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 962    744    11520712704 error (1) .690 .414 44941312
memsafety/test-0219_true-valid-memsafety.i timeout 904    822    4843311104 error (1) .708 .431 45707264
memsafety/test-0232_true-valid-memsafety.i timeout 904    802    4822212608 error (1) .656 .397 45490176
memsafety/test-0234_true-valid-memsafety.i timeout 905    847    4883050496 error (1) .712 .436 44544000
memsafety/test-0235_true-valid-memsafety.i timeout 906    844    4827213824 error (1) .698 .419 45273088
memsafety/test-0236_true-valid-memsafety.i timeout 905    855    4655259648 error (1) .698 .417 46551040
memsafety/test-0237_true-valid-memsafety.i timeout 905    862    4565778432 error (1) .722 .435 45195264
memsafety/test-0504_true-valid-memsafety.i timeout (segmentation fault) 915    563    11260022784 error (invalid witness file) .573 .362 40251392
memsafety/test-0513_true-valid-memsafety.i timeout 961    577    11114065920 error (invalid witness file) .667 .408 42659840
memsafety/test-0521_true-valid-memsafety.i timeout 961    572    11194445824 error (invalid witness file) .607 .393 40935424
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true 3.78 2.09 246992896 error (1) .697 .441 45191168
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 931    622    11403829248 error (1) .686 .405 43806720
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 904    712    11529482240 error (1) .690 .422 43945984
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 905    695    11684188160 error (1) .662 .401 43544576
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 918    594    11440922624 error (1) .683 .407 45367296
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 912    596    11340161024 error (1) .737 .445 44834816
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (segmentation fault) 901    600    11332411392 error (invalid witness file) .556 .341 39747584
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 905    594    11271405568 error (1) .689 .428 44548096
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 919    606    11315875840 error (1) .663 .404 44167168
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (segmentation fault) 901    784    11480670208 error (invalid witness file) .592 .391 39870464
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i false(valid-memtrack) 4.72 2.57 256430080 false(valid-memtrack) 5.54  2.93  284180480
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 961    563    11121307648 error (invalid witness file) .605 .373 41517056
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 903    883    4060848128 error (1) .671 .412 44167168
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 904    810    5043257344 error (1) .672 .396 44482560
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 906    814    6289227776 error (1) .701 .437 44630016
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 962    564    11155750912 error (invalid witness file) .640 .404 43663360
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 904    795    4858159104 error (1) .683 .415 45969408
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 905    805    5171691520 error (1) .696 .416 44642304
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (segmentation fault) 901    787    11892252672 error (invalid witness file) .615 .387 41197568
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 6.01 3.20 302391296 false(valid-deref) 7.87  4.13  332111872
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 5.94 3.17 282009600 false(valid-deref) 8.26  4.35  364474368
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i timeout 905    701    6802972672 error (1) .696 .425 43859968
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 6.12 3.25 307445760 false(valid-free) 7.46  3.89  324505600
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 3.99 2.19 246538240 false(valid-free) 4.46  2.41  276680704
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.21 4.22 254713856 false(valid-memtrack) 4.25  2.32  250335232
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.12 2.25 246353920 false(valid-memtrack) 4.18  2.28  248635392
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.70 3.05 262246400 false(valid-memtrack) 7.09  3.73  298799104
list-ext-properties/960521-1_1_true-valid-memsafety.i true 11.5  10.5  648060928 error (1) .672 .409 44900352
list-ext-properties/list-ext_1_true-valid-memsafety.i true 43.5  26.7  2122866688 error (1) .705 .419 46202880
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 904    737    7309148160 error (1) .692 .430 45387776
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 19.0  9.90 821522432 error (1) .700 .430 44154880
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 3.80 2.05 248418304 error (1) .656 .405 43278336
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 4.18 2.30 240730112 error (1) .627 .380 43413504
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 905    692    6266105856 error (1) .685 .408 44802048
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 907    716    5966352384 error (1) .675 .414 44257280
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 7.65 4.02 409591808 error (1) .653 .392 44642304
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 909    700    6606536704 error (1) .712 .420 44175360
list-ext-properties/test-0513_1_true-valid-memsafety.i true 4.59 2.48 251912192 error (1) .696 .429 43991040
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout 904    894    1200312320 error (1) .680 .424 44109824
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 3.32 1.82 244822016 false(valid-deref) 3.49  1.94  244568064
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 3.36 1.88 244367360 false(valid-deref) 3.42  1.88  244023296
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 3.27 1.79 243126272 false(valid-deref) 3.45  1.94  244588544
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 3.35 1.85 244375552 false(valid-deref) 3.46  1.91  243396608
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 9.19 4.77 426262528 false(valid-deref) 14.7   7.60  585228288
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 9.12 8.98 447713280 false(valid-deref) 12.8   6.62  580943872
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 2.98 1.70 240988160 false(valid-deref) 3.20  1.78  241147904
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 2.99 1.69 240730112 false(valid-deref) 3.23  1.80  242782208
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 3.14 1.76 241807360 false(valid-deref) 3.37  1.93  243134464
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 3.37 1.87 247123968 false(valid-deref) 3.46  1.95  243699712
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 3.10 1.73 243011584 false(valid-deref) 3.29  1.82  240275456
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 3.59 2.04 237920256 false(valid-deref) 3.09  1.74  240050176
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c true 104    77.3  4630761472 error (1) .700 .412 45596672
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 12.3  6.84 714448896 error (1) .699 .448 43655168
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 7.00 3.70 440614912 error (1) .659 .410 44351488
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 12.1  6.78 689303552 error (1) .680 .408 45682688
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 53.2  36.3  4080988160 error (1) .674 .402 44294144
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 6.89 3.68 421433344 error (1) .702 .411 46100480
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 4.14 2.24 265715712 error (1) .648 .400 43819008
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 3.26 1.82 242167808 error (1) .648 .413 43790336
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 3.27 1.83 239849472 error (1) .695 .435 43597824
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 3.07 1.73 241917952 error (1) .665 .407 44441600
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 2.98 1.70 241143808 error (1) .665 .418 43626496
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 3.22 1.83 243740672 error (1) .645 .416 43679744
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 3.08 1.76 242888704 error (1) .629 .392 43835392
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 3.09 1.73 241696768 error (1) .662 .391 43991040
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 3.15 1.77 238157824 error (1) .655 .400 43782144
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 4.35 2.37 251457536 false(valid-deref) 4.72  2.56  252698624
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 4.80 2.61 252260352 false(valid-deref) 5.07  2.73  269922304
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 5.44 5.35 259244032 false(valid-deref) 5.04  2.71  254812160
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 4.85 2.58 258646016 false(valid-deref) 5.16  2.76  264065024
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 5.95 3.21 259309568 false(valid-deref) 4.94  2.65  258945024
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 4.43 2.40 254152704 false(valid-free) 4.74  2.57  263303168
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-free) 5.94 3.19 257863680 false(valid-free) 5.87  3.15  272334848
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 5.31 2.88 262946816 false(valid-free) 6.34  3.36  288329728
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 4.43 2.38 254328832 false(valid-free) 4.59  2.49  254578688
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 4.26 2.30 249782272 false(valid-free) 4.64  2.48  274370560
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 4.31 2.29 258719744 false(valid-free) 4.31  2.33  249966592
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 4.32 2.34 255909888 false(valid-free) 4.83  2.63  262574080
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 5.21 2.82 250654720 false(valid-free) 4.40  2.42  250060800
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.34 2.33 252624896 false(valid-memtrack) 4.87  2.64  258662400
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.97 2.68 254029824 false(valid-memtrack) 4.97  2.64  265052160
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.38 2.40 257134592 false(valid-memtrack) 4.70  2.51  259387392
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 4.96 2.70 250351616 false(valid-memtrack) 4.74  2.59  253849600
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.39 2.39 250155008 false(valid-memtrack) 4.59  2.51  257982464
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 4.31 2.33 251875328 false(valid-memtrack) 4.87  2.59  260345856
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 4.93 2.65 253026304 false(valid-memtrack) 5.07  2.72  261222400
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.86 2.61 253267968 false(valid-memtrack) 4.43  2.40  260186112
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.77 2.56 255111168 false(valid-memtrack) 4.47  2.41  255078400
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 5.38 2.86 256471040 false(valid-memtrack) 6.40  3.40  280010752
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 5.27 2.82 273752064 false(valid-memtrack) 6.06  3.25  280682496
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.76 2.57 259878912 false(valid-memtrack) 5.98  3.21  280530944
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.83 2.61 254353408 false(valid-memtrack) 5.52  2.96  270168064
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.30 2.82 256765952 false(valid-memtrack) 5.50  2.94  269705216
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.12 2.24 249270272 false(valid-memtrack) 4.52  2.45  257622016
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.15 2.28 248610816 false(valid-memtrack) 4.70  2.53  274612224
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.18 2.27 247808000 false(valid-memtrack) 4.46  2.40  275894272
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.31 2.35 251015168 false(valid-memtrack) 5.02  2.69  261857280
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.20 2.30 252952576 false(valid-memtrack) 4.55  2.47  249634816
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.76 2.53 274206720 false(valid-memtrack) 4.95  2.67  270274560
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.21 2.28 253960192 false(valid-memtrack) 4.62  2.53  246538240
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.56 2.45 256753664 false(valid-memtrack) 4.47  2.42  246128640
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.97 4.94 251437056 false(valid-memtrack) 4.29  2.36  252325888
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.67 2.53 256266240 false(valid-memtrack) 4.60  2.50  255971328
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.38 2.38 253083648 false(valid-memtrack) 4.59  2.47  261046272
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.74 4.72 258859008 false(valid-memtrack) 4.55  2.46  259551232
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.21 2.29 250449920 false(valid-memtrack) 4.31  2.34  247152640
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.32 2.34 249200640 false(valid-memtrack) 4.61  2.50  261173248
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.25 2.32 248823808 false(valid-memtrack) 4.56  2.46  252407808
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i true 4.42 2.39 251928576 error (1) .674 .412 44462080
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i true 4.38 2.37 258736128 error (1) .700 .423 44277760
ldv-memsafety/memleaks_test12_true-valid-memsafety.i true 6.62 3.52 262606848 error (1) .752 .455 45752320
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 5.52 2.95 254488576 error (1) .681 .420 44224512
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 5.56 2.99 256684032 error (1) .739 .462 44449792
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i true 4.53 2.45 253992960 error (1) .748 .466 45035520
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 4.29 2.32 254009344 error (1) .697 .419 47005696
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i true 5.69 3.08 262336512 error (1) .692 .424 45334528
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i error 4.57 2.44 252977152 error (1) .706 .430 45600768
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i true 5.22 2.78 262311936 error (1) .691 .432 44056576
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true 5.13 2.75 255971328 error (1) .726 .421 46694400
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 4.18 2.28 249823232 error (1) .673 .403 43925504
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 4.27 2.32 249827328 error (1) .690 .412 44421120
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 4.17 4.12 250642432 error (1) .678 .417 44335104
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i true 4.16 2.29 250400768 error (1) .691 .419 45371392
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i true 4.38 2.34 249016320 error (1) .694 .411 44183552
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i true 5.45 2.94 255635456 error (1) .729 .451 46424064
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i true 5.76 5.47 258121728 error (1) .784 .471 48099328
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i true 5.28 2.82 256933888 error (1) .801 .492 46718976
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 5.04 5.04 253550592 error (1) .683 .413 45137920
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 4.21 2.29 249569280 error (1) .705 .445 44130304
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 4.39 2.36 249757696 error (1) .690 .427 44572672
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 4.34 2.34 251944960 error (1) .686 .415 45096960
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 4.50 2.44 253440000 error (1) .711 .427 44277760
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 4.14 2.27 249778176 error (1) .707 .436 44097536
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 4.20 2.27 250880000 error (1) .710 .437 44404736
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i true 3.53 3.37 240865280 error (1) .642 .404 42991616
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i true 3.24 1.81 244109312 error (1) .677 .426 43626496
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i true 3.19 1.76 238145536 error (1) .685 .421 43552768
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i true 3.40 1.93 244035584 error (1) .673 .433 43876352
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i true 3.17 1.80 241561600 error (1) .650 .410 43974656
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 3.15 1.77 241254400 false(valid-deref) 3.41  1.88  244834304
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-deref) 3.23 1.78 244736000 false(valid-deref) 3.52  1.97  245760000
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 3.64 2.01 245088256 false(valid-deref) 3.49  1.94  242995200
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) 3.75 2.04 261705728 false(valid-deref) 3.30  1.84  242085888
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) 3.92 2.17 244830208 false(valid-free) 3.57  1.96  248147968
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 905    853    4573356032 error (1) .788 .487 46632960
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error (recursion) 4.03 2.21 247177216 error (1) .755 .462 44310528
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 961    577    11112312832 error (invalid witness file) .599 .377 41709568
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 905    797    5014446080 error (1) .745 .451 44433408
heap-manipulation/tree_false-unreach-call_false-valid-deref.i timeout 929    549    11145613312 error (1) .686 .412 44920832
heap-manipulation/tree_false-valid-deref.i timeout 932    624    11351293952 error (1) .708 .433 46436352
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 937    558    11354574848 error (1) .707 .448 44015616
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i timeout (segmentation fault) 927    568    11170521088 error (invalid witness file) .592 .374 40116224
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 907    578    11297947648 error (1) .693 .421 44003328
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 906    587    11303763968 error (1) .703 .432 44740608
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 905    572    11194990592 error (1) .696 .443 44736512
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i timeout 913    575    11205763072 error (1) .660 .413 44228608
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout 903    598    11257458688 error (1) .671 .421 43814912
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i timeout 909    604    11290722304 error (1) .661 .401 44982272
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout 913    591    11276226560 error (1) .651 .401 44314624
list-properties/splice_true-unreach-call_false-valid-memtrack.i timeout (segmentation fault) 931    564    11200790528 error (invalid witness file) .608 .382 40271872
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i true 6.54 3.47 268730368 error (1) .859 .523 50978816
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i true 6.54 3.43 283922432 error (1) .869 .535 50139136
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i true 6.31 3.33 266133504 error (1) .871 .527 47620096
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.29 3.85 284172288 false(valid-memtrack) 7.41  3.87  312242176
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.66 3.52 268824576 false(valid-memtrack) 7.68  4.00  318668800
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.37 3.35 270299136 false(valid-memtrack) 7.28  3.84  307523584
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.59 3.46 268132352 false(valid-memtrack) 8.16  4.24  327307264
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.39 4.41 273850368 false(valid-memtrack) 7.59  3.97  312545280
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.69 3.54 283344896 false(valid-memtrack) 7.34  3.87  312868864
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.02 4.21 271810560 false(valid-memtrack) 7.12  3.73  306020352
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.69 4.06 273293312 false(valid-memtrack) 7.81  4.07  321400832
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.80 3.59 266506240 false(valid-memtrack) 7.51  3.96  315174912
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.46 3.42 274083840 false(valid-memtrack) 7.33  3.89  309243904
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 915    544    11147063296 error (invalid witness file) .552 .355 40177664
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 903    694    10284982272 error (1) .689 .421 45060096
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 910    616    11363389440 error (invalid witness file) .598 .362 41295872
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 962    545    11021434880 error (invalid witness file) .587 .354 40939520
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 920    552    11131527168 error (invalid witness file) .590 .376 40112128
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 933    561    11168620544 error (invalid witness file) .606 .381 41316352
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 926    587    11270520832 error (invalid witness file) .575 .353 41127936
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 919    597    11428233216 error (1) .694 .418 44802048
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 962    583    11195498496 error (invalid witness file) .662 .423 42541056
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 961    572    11261128704 error (invalid witness file) .596 .367 40878080
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 926    663    11127132160 error (1) .723 .423 45334528
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 903    650    11036643328 error (1) .704 .434 44040192
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 916    606    11322388480 error (1) .703 .448 44457984
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 961    556    10991783936 error (invalid witness file) .608 .368 41578496
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 923    642    11434614784 error (1) .711 .437 44695552
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 904    617    11469266944 error (1) .721 .436 45203456
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 908    588    11309711360 error (1) .679 .409 44179456
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 924    626    11373428736 error (1) .694 .439 44236800
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 920    568    11242274816 error (invalid witness file) .576 .353 41820160
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 931    619    11466027008 error (1) .679 .426 44023808
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout 961    593    11180425216 error (invalid witness file) .614 .383 41648128
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 911    621    11537805312 error (1) .662 .407 43728896
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i true 4.36 2.37 255389696 error (1) .714 .424 44060672
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i true 4.28 2.32 266457088 error (1) .670 .401 44584960
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.31 2.33 247566336 error (1) .686 .411 45981696
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i true 4.04 2.21 253014016 error (1) .714 .423 44191744
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.14 2.27 249700352 error (1) .690 .427 45207552
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.05 2.20 255021056 error (1) .714 .433 44371968
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.00 2.21 253939712 error (1) .683 .405 46907392
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 5.19 2.82 248709120 error (1) .698 .413 45060096
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.24 2.30 255660032 error (1) .744 .452 44675072
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i true 4.21 2.27 256217088 error (1) .701 .430 46137344
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i true 4.54 2.48 255819776 error (1) .692 .448 44093440
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i true 4.22 2.28 249020416 error (1) .730 .444 44814336
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.11 2.26 248627200 error (1) .703 .443 43970560
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i true 4.01 2.19 263827456 error (1) .705 .420 45674496
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.16 2.29 250867712 error (1) .677 .416 43855872
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.23 2.29 249184256 error (1) .685 .412 46047232
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.86 2.62 252338176 error (1) .651 .409 43823104
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 3.99 2.23 246816768 error (1) .688 .438 43937792
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.29 2.31 254107648 error (1) .737 .448 45035520
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i true 4.04 2.21 247730176 error (1) .684 .418 44113920
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i true 4.00 2.18 248995840 error (1) .683 .422 44933120
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i true 4.07 2.22 256090112 error (1) .674 .409 45211648
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.09 2.23 253575168 error (1) .727 .455 43982848
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i true 3.97 2.17 248823808 error (1) .706 .430 45563904
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.03 2.19 250458112 error (1) .716 .453 44867584
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.16 2.27 249282560 error (1) .686 .423 45170688
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 3.84 2.12 243781632 error (1) .695 .424 44933120
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 4.08 2.22 249479168 error (1) .671 .404 44900352
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.27 2.32 247779328 error (1) .711 .444 44191744
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i true 4.13 2.25 255578112 error (1) .717 .444 45338624
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i true 4.11 2.24 255123456 error (1) .708 .427 45867008
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i true 5.23 2.82 257261568 error (1) .675 .407 45068288
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.35 2.35 254033920 error (1) .704 .413 44982272
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i true 4.16 2.26 250781696 error (1) .701 .411 44826624
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.43 2.41 256647168 error (1) .672 .409 43814912
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.15 2.26 248852480 error (1) .702 .434 44322816
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.39 2.39 253071360 error (1) .666 .410 43995136
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 4.46 2.47 250355712 error (1) .660 .407 44339200
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.06 2.21 254271488 error (1) .660 .399 44032000
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i true 4.00 2.19 253419520 error (1) .703 .438 46059520
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i true 5.24 2.83 251744256 error (1) .674 .408 44822528
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i true 4.13 2.28 250183680 error (1) .669 .430 44847104
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i true 4.19 2.31 250568704 error (1) .678 .426 43974656
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i true 5.40 2.87 270221312 error (1) .700 .415 43601920
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i true 14.3  7.51 836227072 error (1) .729 .441 47009792
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i true 231    171    5811159040 error (1) .732 .461 43847680
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 911    702    7936204800 error (1) .694 .423 44171264
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i true 3.84 2.09 249368576 error (1) .648 .402 45953024
list-ext3-properties/dll_circular_traversal_false-valid-deref.i false(valid-deref) 4.52 2.47 260673536 false(valid-deref) 5.85  3.11  261595136
list-ext3-properties/sll_circular_traversal_false-valid-deref.i false(valid-deref) 4.62 2.52 259383296 false(valid-deref) 5.87  3.10  279126016
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i false(valid-memtrack) 4.67 2.54 261816320 false(valid-memtrack) 4.55  2.45  258207744
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i false(valid-memtrack) 4.00 2.19 247771136 false(valid-memtrack) 4.12  2.26  246542336
loops/invert_string_false-valid-deref.c error 3.19 1.77 239083520 error (1) .654 .403 44339200
loop-acceleration/array3_false-valid-deref.i timeout 902    892    2415452160 error (1) .656 .406 45387776
ntdrivers/floppy_false-valid-deref.i.cil.c false(valid-deref) 10.9  11.1  579706880 false(valid-deref) 10.7   6.05  572997632
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 5.61 2.99 269627392 false(valid-deref) 5.88  3.13  292065280
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 34.3  19.8  1879453696 error (1) .899 .527 47329280
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 32.8  20.1  1856757760 error (1) .890 .532 52543488
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 904    824    7278211072 error (1) .837 .513 51347456
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 58.8  63.8  3488108544 error (1) .813 .475 46436352
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 49.9  35.6  3232415744 error (1) .844 .500 49389568
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 75.4  55.1  4351213568 error (1) .842 .490 48578560
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 95.8  68.3  4392398848 error (1) .885 .537 51884032
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.35 4.41 399306752 error (1) .750 .445 44933120
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.8  7.41 665997312 error (1) .821 .481 48193536
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.9  7.97 674619392 error (1) .835 .509 51503104
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    519    10875588608 error (invalid witness file) .624 .390 42532864
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 903    496    11057971200 error (1) .761 .480 46411776
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 947    515    10849599488 error (1) .725 .435 43884544
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 954    517    10902253568 error (1) .692 .412 44314624
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c timeout 921    704    10850729984 error (1) .755 .435 45129728
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 929    505    11012296704 error (1) .729 .440 44969984
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 904    766    4302561280 error (1) .750 .464 44646400
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 960    526    10864504832 error (1) .748 .468 44707840
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    526    11039203328 error (invalid witness file) .635 .385 42754048
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    524    10928062464 error (invalid witness file) .645 .407 44437504
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c timeout 956    524    10891628544 error (1) .682 .410 45420544
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c timeout 913    643    10931027968 error (1) .688 .419 44437504
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    520    10929655808 error (invalid witness file) .625 .375 43081728
memsafety-ext3/derefAfterFree1_false-valid-deref.c false(valid-deref) 3.31 1.79 243576832 false(valid-deref) 3.35  1.84  241192960
memsafety-ext3/derefAfterFree2_false-valid-deref.c false(valid-deref) 3.73 2.10 242171904 false(valid-deref) 3.73  2.00  247336960
memsafety-ext3/derefInLoop1_false-valid-deref.c false(valid-deref) 3.80 3.78 242737152 false(valid-deref) 3.42  1.88  245415936
memsafety-ext3/getNumbers1_false-valid-deref.c false(valid-deref) 3.80 2.05 250429440 false(valid-deref) 3.89  2.16  255533056
memsafety-ext3/getNumbers2_false-valid-deref.c false(valid-deref) 3.80 2.07 251453440 false(valid-deref) 4.83  2.76  279461888
memsafety-ext3/getNumbers4_false-valid-deref.c false(valid-deref) 4.39 4.38 245157888 false(valid-deref) 4.73  2.57  257560576
memsafety-ext3/naturalNumbers1_false-valid-deref.c false(valid-deref) 3.22 1.81 246562816 true 3.37  1.87  245542912
memsafety-ext3/realloc1_false-valid-deref.c false(valid-deref) 3.37 1.86 244264960 false(valid-deref) 3.71  2.04  251813888
memsafety-ext3/scopes1_false-valid-deref.c false(valid-deref) 3.05 1.73 242221056 false(valid-deref) 3.32  1.84  242651136
memsafety-ext3/scopes2_false-valid-deref.c false(valid-deref) 3.12 1.74 243384320 false(valid-deref) 3.30  1.83  242102272
memsafety-ext3/scopes3_false-valid-deref.c false(valid-deref) 3.61 2.00 245686272 false(valid-deref) 3.86  2.12  250740736
memsafety-ext3/scopes4_false-valid-deref.c false(valid-deref) 3.30 1.86 238645248 false(valid-deref) 3.37  1.87  243847168
memsafety-ext3/scopes5_false-valid-deref.c false(valid-deref) 2.97 1.66 236904448 false(valid-deref) 3.17  1.75  237277184
memsafety-ext3/freeAlloca_false-valid-free.c false(valid-free) 3.54 1.93 244998144 false(valid-free) 3.83  2.10  247603200
memsafety-ext3/getNumbers1_true-valid-memsafety.c true 3.95 2.18 242495488 error (1) .669 .395 45035520
memsafety-ext3/getNumbers3_true-valid-memsafety.c true 3.86 2.13 241422336 error (1) .672 .433 43700224
memsafety-ext3/getNumbers4_true-valid-memsafety.c true 3.73 2.03 248537088 error (1) .727 .444 46456832
memsafety-ext3/scopes4_true-valid-memsafety.c true 3.07 1.71 240537600 error (1) .665 .404 43388928
pthread-memsafety/fillarray1_false-valid-deref.i error 4.49 2.40 250650624 error (1) .644 .388 44695552
pthread-memsafety/fillarray_false-valid-deref.i error 4.34 2.37 251867136 error (1) .670 .421 43995136
pthread-memsafety/list1_false-valid-deref.i error 4.35 2.33 264097792 error (1) .663 .400 43864064
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 442 102000    75600    1089150205952 442 794    444    45488955392
    correct results 225 1830    1180    95683596288 106 552    297    29981630464
        correct true 118 1320    881    66965504000 0
        correct false 107 513    299    28718092288 106 552    297    29981630464
    incorrect results 2 16.7  10.6  673226752 1 3.37 1.87 245542912
        incorrect true 1 12.4  8.28 417255424 1 3.37 1.87 245542912
        incorrect false 1 4.21 2.29 255971328 0
score (442 tasks, max score: 719) 295 74
Run set cpaseq--memsafety.cpaseq cpachecker-cpaseq--memsafety-validation.witnessValidation