Tool CPAchecker 1.7-svn 29913 CPA-witness2test 1.7-svn 29913
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 cpaw2t-cpaseq--memsafety-validation.witnessValidation
Options -heap 10000M -svcomp18 -benchmark -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -heap 10000M -setprop cfa.simplifyCfa=false -setprop cfa.allowBranchSwapping=false -setprop analysis.summaryEdges=true -setprop cpa.callstack.skipVoidRecursion=true -setprop cpa.callstack.skipFunctionPointerRecursion=true -benchmark -witness2test -witness test/results/cpaseq--memsafety.logfiles/cpaseq.${inputfile_name}.files/output/witness.graphml -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false
../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 unknown .957 .621 49045504
array-memsafety/bubblesort_unsafe_false-valid-deref.i timeout (segmentation fault) 901    757    11859415040 error (invalid witness file) .890 .566 46219264
array-memsafety/count_down_unsafe_false-valid-deref.i error 3.83 2.12 249372672 unknown .998 .645 51339264
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 3.03 1.70 239726592 false(valid-deref) 3.48  2.12  242364416
array-memsafety/cstrchr_unsafe_false-valid-deref.i error 4.43 2.46 246755328 unknown .975 .630 51605504
array-memsafety/cstrlen_unsafe_false-valid-deref.i error 3.86 2.11 246235136 unknown 1.02  .665 50094080
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 3.18 1.77 243638272 unknown 3.77  2.28  245043200
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 3.28 1.83 243380224 unknown 3.82  2.24  248328192
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i error 3.76 2.10 243814400 unknown .999 .632 51679232
array-memsafety/diff_usafe_false-valid-deref.i segmentation fault 791    690    9092411392 error (invalid witness file) .912 .604 46133248
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i error 4.67 2.56 249417728 unknown .998 .637 49688576
array-memsafety/lis_unsafe_false-valid-deref.i error 4.26 2.35 244858880 unknown 1.00  .631 49975296
array-memsafety/mult_array_unsafe_false-valid-deref.i error 4.39 2.38 247332864 unknown .959 .624 48967680
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i error 3.83 2.08 247095296 unknown .952 .620 48910336
array-memsafety/reverse_array_unsafe_false-valid-deref.i error 3.92 3.94 246689792 unknown .974 .613 49360896
array-memsafety/selectionsort_unsafe_false-valid-deref.i segmentation fault 641    575    7366815744 error (invalid witness file) .889 .585 46309376
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 3.82 2.16 241790976 unknown 3.67  2.18  243216384
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i error 4.58 2.48 253321216 unknown .952 .598 48635904
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i error 4.10 2.23 250368000 unknown .955 .608 48709632
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i error 4.59 2.52 249274368 unknown .998 .647 48398336
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i error 3.75 2.04 246063104 unknown .975 .629 49287168
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i error 3.78 2.08 247988224 unknown .945 .610 49274880
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i error 3.76 2.06 249212928 unknown .991 .638 48705536
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i error 3.87 2.13 247934976 unknown .965 .632 49520640
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i error 4.36 2.35 268038144 unknown .979 .640 48529408
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i error 4.23 2.29 255139840 unknown .988 .633 49975296
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i error 3.75 2.06 245694464 unknown .988 .628 49700864
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i error 4.20 2.29 250191872 unknown .961 .605 48672768
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i error 3.85 2.10 246108160 unknown .967 .618 49364992
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i error 4.49 2.44 248483840 unknown .967 .627 48857088
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i error 3.78 2.08 250236928 unknown 1.00  .640 49618944
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i error 4.09 3.92 247058432 unknown .963 .637 48062464
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i error 4.48 2.45 243658752 unknown 1.03  .658 48844800
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i error 3.87 2.13 249913344 unknown .980 .646 49082368
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i error 3.83 2.09 245710848 unknown .980 .627 50507776
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i error 3.81 2.07 246681600 unknown 1.00  .651 50925568
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i error 3.99 2.23 245116928 unknown .971 .629 51126272
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i error 3.85 2.11 247144448 unknown .979 .638 48623616
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i error 4.37 2.35 251752448 unknown .970 .615 49258496
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i error 3.78 2.05 250138624 unknown .982 .628 49446912
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i error 3.69 2.05 246517760 unknown .986 .640 50376704
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i error 3.91 2.13 246091776 unknown .971 .620 49659904
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i error 4.57 2.48 245506048 unknown .994 .657 49774592
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i error 3.93 2.15 244871168 unknown 1.00  .650 50499584
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i error 3.74 2.06 245485568 unknown 1.02  .659 49922048
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i error 4.61 2.54 244903936 unknown .987 .633 49737728
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i error 4.28 2.31 244105216 unknown 1.00  .658 48939008
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i error 4.30 2.37 250052608 unknown .969 .618 51621888
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i error 3.84 2.11 247492608 unknown .970 .619 48599040
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i error 4.15 2.24 247803904 unknown .990 .650 49917952
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i error 4.38 2.39 248954880 unknown 1.01  .642 51986432
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i error 4.11 2.25 243322880 unknown .975 .631 49790976
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i error 4.88 2.60 261869568 unknown 1.00  .622 49655808
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i error 4.00 2.18 251666432 unknown .954 .609 48664576
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i error 4.19 2.26 270245888 unknown .971 .627 48984064
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i error 3.80 2.06 250040320 unknown .958 .609 48439296
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i error 3.84 2.08 247676928 unknown .982 .624 48648192
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i error 3.76 2.06 245760000 unknown .982 .636 49483776
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i error 3.94 2.12 254513152 unknown .959 .617 50053120
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i error 4.36 2.37 248737792 unknown .952 .625 49635328
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i error 3.82 2.05 247644160 unknown .973 .629 48898048
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i error 3.88 2.11 247447552 unknown .955 .617 48922624
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i error 4.46 4.48 247095296 unknown .984 .651 48680960
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i error 3.90 2.14 247189504 unknown .940 .600 48545792
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i error 4.06 2.17 267264000 unknown .977 .660 48803840
array-examples/relax_false-valid-deref.i error 3.99 2.14 249843712 unknown 1.02  .648 50147328
array-examples/sanfoundry_24_false-valid-deref.i timeout 902    872    4751454208 unknown .979 .621 48791552
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 903    840    5115162624 unknown .966 .640 49528832
array-examples/standard_strcpy_original_false-valid-deref.i timeout 902    839    5082443776 unknown .997 .641 50024448
array-memsafety-realloc/array-realloc_false-valid-free.i true 12.4  8.28 417255424 unknown .979 .610 48820224
array-memsafety-realloc/array-realloc_true-valid-memsafety.i false(valid-free) 4.21 2.29 255971328 error 4.38  2.41  277372928
busybox-1.22.0/basename_false-valid-deref.i error 6.19 3.31 259739648 unknown 1.01  .628 49434624
busybox-1.22.0/head_false-valid-deref.i error 6.13 3.23 268496896 unknown 1.12  .704 50724864
busybox-1.22.0/sleep_false-valid-deref.i error 5.63 2.99 269557760 unknown 1.07  .665 49590272
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i error 5.61 2.99 265326592 unknown 1.03  .667 48926720
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 5.20 2.77 262365184 unknown 1.04  .641 49680384
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i error 5.68 3.03 260620288 unknown 1.11  .720 51167232
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.36 3.35 269520896 unknown 1.21  .774 57671680
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 7.12 3.73 281174016 unknown 1.20  .740 54493184
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i error 5.01 2.69 261369856 unknown .993 .635 49811456
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i error 6.62 3.50 267251712 unknown 1.21  .768 58195968
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i error 5.65 3.01 267804672 unknown 1.10  .699 52211712
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.79 6.76 272769024 unknown 1.19  .736 55296000
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i error 5.95 3.17 261234688 unknown 1.18  .746 51720192
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i error 6.24 3.33 268902400 unknown 1.07  .675 50434048
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i error 5.65 2.96 283799552 unknown .974 .626 49475584
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i error 6.23 3.30 265949184 unknown 1.03  .668 49754112
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 7.49 3.96 296321024 unknown 1.26  .780 60440576
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i error 6.34 3.35 266272768 unknown 1.19  .757 55296000
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i error 5.53 2.95 265539584 unknown 1.06  .675 50212864
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 8.41 4.40 348610560 unknown 1.25  .760 58671104
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.27 3.32 264822784 unknown 1.18  .723 53714944
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i error 6.08 3.24 279859200 unknown 1.17  .746 52154368
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i error 5.45 2.91 263401472 unknown 1.07  .664 51052544
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i error 6.51 3.46 263254016 unknown 1.22  .776 57585664
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i error 6.05 3.22 268877824 unknown 1.11  .681 52162560
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i error 7.03 3.74 266420224 unknown 1.10  .700 50597888
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 10.7  5.77 466001920 unknown 1.28  .819 59105280
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i error 5.82 3.11 258142208 unknown 1.07  .679 51277824
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i error 5.95 3.16 265371648 unknown 1.14  .715 53350400
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i error 7.61 4.01 269201408 unknown 1.15  .740 51429376
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 7.31 7.05 272076800 unknown 1.22  .772 56274944
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.64 3.49 270774272 unknown 1.24  .787 55078912
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i error 6.93 3.67 269651968 unknown 1.22  .774 54996992
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i error 6.37 3.37 271937536 unknown 1.13  .701 53428224
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i error 5.40 2.90 266612736 unknown 1.05  .654 52355072
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i error 7.19 3.77 281698304 unknown 1.21  .743 57552896
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i error 6.16 3.25 264097792 unknown 1.20  .758 53346304
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i error 6.17 3.28 268013568 unknown 1.14  .734 51077120
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i error 5.45 2.91 266063872 unknown 1.01  .667 50069504
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i error 5.67 3.02 267276288 unknown 1.05  .679 51310592
memsafety/960521-1_false-valid-deref.i false(valid-deref) 10.1  5.54 650219520 unknown 14.6   7.70  698896384
memsafety/test-0137_false-valid-deref.i timeout 905    833    4647579648 unknown 1.03  .653 51052544
memsafety/test-0235_false-valid-deref.i timeout 905    843    4831604736 unknown 1.02  .647 49876992
memsafety/960521-1_false-valid-free.i false(valid-free) 12.3  6.62 675594240 unknown 14.3   7.57  676446208
memsafety/test-0158_false-valid-free.i false(valid-free) 4.34 2.41 246775808 unknown 4.35  2.55  253874176
memsafety/test-0232_false-valid-free.i timeout 904    806    4834471936 unknown .966 .616 49926144
memsafety/20020406-1_false-valid-memtrack.i error (recursion) 4.35 2.38 249778176 unknown 1.02  .651 50393088
memsafety/20051113-1.c_false-valid-memtrack.i false(valid-memtrack) 4.45 2.42 251346944 unknown 4.97  2.80  277364736
memsafety/lockfree-3.1_false-valid-memtrack.i timeout 904    770    5832343552 unknown .957 .612 49225728
memsafety/lockfree-3.2_false-valid-memtrack.i timeout 911    877    4203593728 error (invalid witness file) .915 .600 47513600
memsafety/lockfree-3.3_false-valid-memtrack.i timeout 906    745    6159273984 unknown 1.00  .655 51064832
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.91 2.19 246087680 unknown 4.49  2.53  271343616
memsafety/test-0102_false-valid-memtrack.i timeout 905    837    4757954560 unknown .974 .642 49008640
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 3.71 2.04 243277824 unknown 4.19  2.43  255008768
memsafety/test-0220_false-valid-memtrack.i timeout 904    822    4815044608 unknown .962 .620 48779264
memsafety/test-0232_false-valid-memtrack.i timeout 905    793    4891885568 unknown .955 .605 48746496
memsafety/test-0234_false-valid-memtrack.i timeout 905    844    4888043520 unknown .975 .623 49164288
memsafety/test-0235_false-valid-memtrack.i timeout 905    847    4822102016 unknown 1.05  .672 49647616
memsafety/960521-1_true-valid-memsafety.i timeout 902    767    8946733056 unknown .972 .641 48934912
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 924    721    6214942720 unknown .994 .644 49655808
memsafety/test-0019_true-valid-memsafety_true-termination.i true 3.68 2.05 243937280 unknown 1.01  .657 49725440
memsafety/test-0102_true-valid-memsafety.i timeout 905    838    4727738368 unknown .987 .634 49582080
memsafety/test-0134_true-valid-memsafety.i timeout 904    833    4699938816 unknown .987 .635 49364992
memsafety/test-0158_true-valid-memsafety_true-termination.i true 3.59 2.00 246337536 unknown .956 .621 48979968
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 905    818    5488070656 unknown 1.04  .663 52174848
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 912    717    11483615232 unknown 1.04  .675 49553408
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 962    744    11520712704 unknown 1.02  .645 50180096
memsafety/test-0219_true-valid-memsafety.i timeout 904    822    4843311104 unknown 1.01  .669 49954816
memsafety/test-0232_true-valid-memsafety.i timeout 904    802    4822212608 unknown 1.02  .653 52563968
memsafety/test-0234_true-valid-memsafety.i timeout 905    847    4883050496 unknown 1.05  .683 51601408
memsafety/test-0235_true-valid-memsafety.i timeout 906    844    4827213824 unknown 1.04  .685 49696768
memsafety/test-0236_true-valid-memsafety.i timeout 905    855    4655259648 unknown 1.01  .656 49926144
memsafety/test-0237_true-valid-memsafety.i timeout 905    862    4565778432 unknown 1.01  .635 51159040
memsafety/test-0504_true-valid-memsafety.i timeout (segmentation fault) 915    563    11260022784 error (invalid witness file) .895 .593 46645248
memsafety/test-0513_true-valid-memsafety.i timeout 961    577    11114065920 error (invalid witness file) .950 .614 49188864
memsafety/test-0521_true-valid-memsafety.i timeout 961    572    11194445824 error (invalid witness file) .901 .584 46247936
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i true 3.78 2.09 246992896 unknown .957 .628 48701440
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 931    622    11403829248 unknown 1.00  .638 48685056
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 904    712    11529482240 unknown .997 .646 49885184
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 905    695    11684188160 unknown 1.01  .663 49446912
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 918    594    11440922624 unknown .999 .639 49188864
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 912    596    11340161024 unknown .978 .622 51814400
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (segmentation fault) 901    600    11332411392 error (invalid witness file) .910 .607 47312896
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 905    594    11271405568 unknown .974 .637 48668672
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 919    606    11315875840 unknown 1.01  .651 50892800
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (segmentation fault) 901    784    11480670208 error (invalid witness file) .879 .582 46768128
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i false(valid-memtrack) 4.72 2.57 256430080 unknown 5.78  3.30  295673856
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 961    563    11121307648 error (invalid witness file) .936 .594 48238592
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 903    883    4060848128 unknown .996 .650 49303552
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 904    810    5043257344 unknown 1.02  .662 49958912
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 906    814    6289227776 unknown .994 .636 48967680
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 962    564    11155750912 error (invalid witness file) .968 .656 48701440
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 904    795    4858159104 unknown .978 .628 48779264
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 905    805    5171691520 unknown .997 .638 49643520
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (segmentation fault) 901    787    11892252672 error (invalid witness file) .896 .587 46149632
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 6.01 3.20 302391296 unknown 8.09  4.48  337444864
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(valid-deref) 5.94 3.17 282009600 unknown 8.30  4.58  349622272
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i timeout 905    701    6802972672 unknown 1.05  .665 49025024
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 6.12 3.25 307445760 unknown 8.06  4.45  351506432
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 3.99 2.19 246538240 unknown 4.24  2.55  249671680
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.21 4.22 254713856 unknown 4.39  2.53  274223104
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.12 2.25 246353920 unknown 4.55  2.66  262975488
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.70 3.05 262246400 unknown 7.13  3.93  295383040
list-ext-properties/960521-1_1_true-valid-memsafety.i true 11.5  10.5  648060928 unknown .967 .627 49250304
list-ext-properties/list-ext_1_true-valid-memsafety.i true 43.5  26.7  2122866688 unknown .998 .640 49065984
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 904    737    7309148160 unknown .969 .625 48869376
list-ext-properties/simple-ext_1_true-valid-memsafety.i true 19.0  9.90 821522432 unknown .962 .605 48300032
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 3.80 2.05 248418304 unknown .953 .612 48857088
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 4.18 2.30 240730112 unknown .972 .654 49442816
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 905    692    6266105856 unknown .987 .619 48906240
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 907    716    5966352384 unknown .997 .651 50020352
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i true 7.65 4.02 409591808 unknown .996 .631 49651712
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 909    700    6606536704 unknown .989 .635 52432896
list-ext-properties/test-0513_1_true-valid-memsafety.i true 4.59 2.48 251912192 unknown .979 .639 49467392
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout 904    894    1200312320 unknown .970 .617 49745920
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 3.32 1.82 244822016 false(valid-deref) 3.65  2.16  241819648
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 3.36 1.88 244367360 false(valid-deref) 3.60  2.18  247148544
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 3.27 1.79 243126272 false(valid-deref) 3.59  2.14  246616064
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 3.35 1.85 244375552 false(valid-deref) 3.57  2.16  244989952
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 9.19 4.77 426262528 false(valid-deref) 12.0   6.42  581951488
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 9.12 8.98 447713280 false(valid-deref) 15.0   7.91  657092608
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 2.98 1.70 240988160 unknown 3.52  2.04  245583872
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 2.99 1.69 240730112 unknown 3.42  2.04  245268480
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 3.14 1.76 241807360 unknown 3.61  2.07  248070144
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 3.37 1.87 247123968 unknown 3.63  2.12  245923840
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 3.10 1.73 243011584 unknown 3.62  2.11  247320576
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 3.59 2.04 237920256 unknown 3.31  1.97  242270208
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c true 104    77.3  4630761472 unknown .951 .607 48807936
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 12.3  6.84 714448896 unknown .969 .633 50409472
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 7.00 3.70 440614912 unknown .990 .649 50839552
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 12.1  6.78 689303552 unknown 1.01  .664 49758208
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 53.2  36.3  4080988160 unknown 1.01  .654 50307072
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 6.89 3.68 421433344 unknown 1.03  .660 50905088
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 4.14 2.24 265715712 unknown .981 .635 50012160
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 3.26 1.82 242167808 unknown .944 .617 48394240
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 3.27 1.83 239849472 unknown .948 .614 49061888
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 3.07 1.73 241917952 unknown .939 .602 48234496
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 2.98 1.70 241143808 unknown .921 .596 48132096
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 3.22 1.83 243740672 unknown .976 .635 49008640
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 3.08 1.76 242888704 unknown .931 .601 48504832
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 3.09 1.73 241696768 unknown .958 .624 48742400
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 3.15 1.77 238157824 unknown .947 .618 48570368
ldv-memsafety/memleaks_test14_3_false-valid-deref.i false(valid-deref) 4.35 2.37 251457536 unknown 5.07  2.99  257372160
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 4.80 2.61 252260352 unknown 5.23  2.98  264962048
ldv-memsafety/memleaks_test22_5_false-valid-deref.i false(valid-deref) 5.44 5.35 259244032 unknown 5.05  2.93  263716864
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 4.85 2.58 258646016 unknown 5.00  2.92  265138176
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 5.95 3.21 259309568 unknown 5.17  3.00  270397440
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 4.43 2.40 254152704 unknown 5.43  3.13  288727040
ldv-memsafety/memleaks_test12_false-valid-free.i false(valid-free) 5.94 3.19 257863680 unknown 5.96  3.44  270163968
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 5.31 2.88 262946816 unknown 6.67  3.72  299589632
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 4.43 2.38 254328832 unknown 4.77  2.84  259534848
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 4.26 2.30 249782272 unknown 4.53  2.70  255041536
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 4.31 2.29 258719744 unknown 4.51  2.61  254709760
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 4.32 2.34 255909888 unknown 4.79  2.85  265572352
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 5.21 2.82 250654720 unknown 4.62  2.69  256405504
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.34 2.33 252624896 unknown 4.88  2.83  263041024
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.97 2.68 254029824 unknown 5.00  2.90  256479232
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.38 2.40 257134592 unknown 4.72  2.77  254738432
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 4.96 2.70 250351616 unknown 4.80  2.80  255733760
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.39 2.39 250155008 unknown 4.68  2.76  251604992
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i false(valid-memtrack) 4.31 2.33 251875328 unknown 5.03  2.91  255643648
ldv-memsafety/memleaks_test15_false-valid-memtrack.i false(valid-memtrack) 4.93 2.65 253026304 unknown 5.16  3.00  265560064
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.86 2.61 253267968 unknown 4.79  2.81  262340608
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.77 2.56 255111168 unknown 4.60  2.76  257073152
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i false(valid-memtrack) 5.38 2.86 256471040 unknown 6.26  3.49  283291648
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i false(valid-memtrack) 5.27 2.82 273752064 unknown 6.19  3.51  300175360
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.76 2.57 259878912 unknown 5.97  3.40  276103168
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.83 2.61 254353408 unknown 5.48  3.15  273485824
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 5.30 2.82 256765952 unknown 5.90  3.39  292888576
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.12 2.24 249270272 unknown 4.62  2.70  261304320
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.15 2.28 248610816 unknown 4.59  2.72  256098304
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.18 2.27 247808000 unknown 4.80  2.84  256770048
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.31 2.35 251015168 unknown 5.29  3.08  272408576
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.20 2.30 252952576 unknown 4.73  2.76  261713920
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.76 2.53 274206720 unknown 5.56  3.16  288186368
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.21 2.28 253960192 unknown 4.81  2.78  279285760
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.56 2.45 256753664 unknown 4.66  2.73  258285568
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.97 4.94 251437056 unknown 4.59  2.68  253091840
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.67 2.53 256266240 unknown 4.87  2.82  260567040
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.38 2.38 253083648 unknown 4.84  2.82  254894080
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.74 4.72 258859008 unknown 4.74  2.77  256663552
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.21 2.29 250449920 unknown 4.66  2.78  263643136
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.32 2.34 249200640 unknown 4.80  2.79  255889408
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 4.25 2.32 248823808 unknown 4.50  2.64  254201856
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i true 4.42 2.39 251928576 unknown 1.03  .664 50061312
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i true 4.38 2.37 258736128 unknown 1.03  .665 52490240
ldv-memsafety/memleaks_test12_true-valid-memsafety.i true 6.62 3.52 262606848 unknown 1.05  .677 49307648
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 5.52 2.95 254488576 unknown 1.02  .631 51974144
ldv-memsafety/memleaks_test14_true-valid-memsafety.i true 5.56 2.99 256684032 unknown 1.01  .645 50802688
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i true 4.53 2.45 253992960 unknown 1.02  .675 49631232
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 4.29 2.32 254009344 unknown .983 .644 52191232
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i true 5.69 3.08 262336512 unknown .994 .636 49287168
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i error 4.57 2.44 252977152 unknown 1.06  .669 49999872
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i true 5.22 2.78 262311936 unknown .968 .628 49430528
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i true 5.13 2.75 255971328 unknown 1.01  .637 49176576
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 4.18 2.28 249823232 unknown .981 .627 51740672
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 4.27 2.32 249827328 unknown 1.00  .640 51671040
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 4.17 4.12 250642432 unknown .979 .640 49160192
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i true 4.16 2.29 250400768 unknown 1.02  .646 50307072
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i true 4.38 2.34 249016320 unknown 1.03  .647 49876992
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i true 5.45 2.94 255635456 unknown 1.08  .684 49373184
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i true 5.76 5.47 258121728 unknown 1.07  .687 51896320
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i true 5.28 2.82 256933888 unknown 1.09  .709 50597888
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 5.04 5.04 253550592 unknown 1.05  .680 49704960
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 4.21 2.29 249569280 unknown .988 .638 49471488
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 4.39 2.36 249757696 unknown 1.01  .649 52117504
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 4.34 2.34 251944960 unknown .978 .628 49213440
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 4.50 2.44 253440000 unknown .966 .625 49238016
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 4.14 2.27 249778176 unknown 1.01  .634 52379648
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 4.20 2.27 250880000 unknown .992 .632 49213440
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i true 3.53 3.37 240865280 unknown .964 .606 48545792
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i true 3.24 1.81 244109312 unknown .981 .642 49229824
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i true 3.19 1.76 238145536 unknown .958 .625 49815552
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i true 3.40 1.93 244035584 unknown .947 .602 48648192
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i true 3.17 1.80 241561600 unknown 1.03  .657 49799168
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 3.15 1.77 241254400 false(valid-deref) 3.57  2.14  242380800
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i false(valid-deref) 3.23 1.78 244736000 unknown 3.57  2.08  244645888
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 3.64 2.01 245088256 unknown 3.53  2.09  244838400
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i false(valid-deref) 3.75 2.04 261705728 unknown 3.43  2.05  244940800
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) 3.92 2.17 244830208 unknown 3.79  2.21  249290752
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 905    853    4573356032 unknown 1.02  .661 50790400
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error (recursion) 4.03 2.21 247177216 unknown 1.06  .688 49623040
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 961    577    11112312832 error (invalid witness file) .916 .610 47816704
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 905    797    5014446080 unknown 1.02  .657 49889280
heap-manipulation/tree_false-unreach-call_false-valid-deref.i timeout 929    549    11145613312 unknown 1.03  .676 49487872
heap-manipulation/tree_false-valid-deref.i timeout 932    624    11351293952 unknown 1.00  .637 49082368
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 937    558    11354574848 unknown 1.00  .655 49643520
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i timeout (segmentation fault) 927    568    11170521088 error (invalid witness file) .911 .591 46469120
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 907    578    11297947648 unknown .991 .645 51994624
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 906    587    11303763968 unknown .996 .650 50020352
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 905    572    11194990592 unknown .959 .606 49135616
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i timeout 913    575    11205763072 unknown .982 .626 50081792
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout 903    598    11257458688 unknown .977 .616 48971776
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i timeout 909    604    11290722304 unknown .980 .635 50020352
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout 913    591    11276226560 unknown .975 .627 48742400
list-properties/splice_true-unreach-call_false-valid-memtrack.i timeout (segmentation fault) 931    564    11200790528 error (invalid witness file) .913 .602 46837760
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i true 6.54 3.47 268730368 unknown 1.21  .756 54304768
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i true 6.54 3.43 283922432 unknown 1.15  .730 55054336
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i true 6.31 3.33 266133504 unknown 1.15  .733 51920896
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.29 3.85 284172288 unknown 7.34  4.13  286187520
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.66 3.52 268824576 unknown 7.25  4.07  283893760
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.37 3.35 270299136 unknown 7.50  4.19  290037760
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.59 3.46 268132352 unknown 7.56  4.27  286142464
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.39 4.41 273850368 unknown 7.63  4.25  288202752
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.69 3.54 283344896 unknown 7.22  4.11  285347840
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.02 4.21 271810560 unknown 7.38  4.14  285089792
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 7.69 4.06 273293312 unknown 7.31  4.18  285773824
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.80 3.59 266506240 unknown 7.03  3.97  299454464
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 6.46 3.42 274083840 unknown 7.29  4.07  282152960
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 915    544    11147063296 error (invalid witness file) .889 .567 46047232
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 903    694    10284982272 unknown .978 .650 49168384
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 910    616    11363389440 error (invalid witness file) .982 .639 47874048
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 962    545    11021434880 error (invalid witness file) .946 .625 47022080
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 920    552    11131527168 error (invalid witness file) .874 .567 46911488
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 933    561    11168620544 error (invalid witness file) .883 .575 46612480
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 926    587    11270520832 error (invalid witness file) .929 .606 47075328
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 919    597    11428233216 unknown .992 .637 49627136
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 962    583    11195498496 error (invalid witness file) 1.01  .654 49860608
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 961    572    11261128704 error (invalid witness file) .919 .599 45797376
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 926    663    11127132160 unknown 1.02  .661 50135040
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 903    650    11036643328 unknown .974 .629 49188864
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 916    606    11322388480 unknown .992 .645 49934336
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 961    556    10991783936 error (invalid witness file) .934 .601 48758784
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 923    642    11434614784 unknown .950 .631 48984064
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 904    617    11469266944 unknown 1.00  .635 50069504
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 908    588    11309711360 unknown .981 .649 48975872
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 924    626    11373428736 unknown 1.02  .652 50241536
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (segmentation fault) 920    568    11242274816 error (invalid witness file) .926 .602 47476736
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 931    619    11466027008 unknown .972 .632 48848896
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout 961    593    11180425216 error (invalid witness file) .927 .595 48029696
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout 911    621    11537805312 unknown 1.03  .671 50565120
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i true 4.36 2.37 255389696 unknown 1.02  .660 49328128
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i true 4.28 2.32 266457088 unknown .981 .622 49770496
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.31 2.33 247566336 unknown 1.01  .650 49614848
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i true 4.04 2.21 253014016 unknown 1.00  .651 49156096
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.14 2.27 249700352 unknown 1.00  .635 50765824
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.05 2.20 255021056 unknown 1.03  .658 50413568
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.00 2.21 253939712 unknown .982 .643 49274880
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 5.19 2.82 248709120 unknown 1.01  .626 49934336
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.24 2.30 255660032 unknown 1.00  .634 49049600
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i true 4.21 2.27 256217088 unknown .986 .632 50094080
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i true 4.54 2.48 255819776 unknown 1.03  .653 49766400
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i true 4.22 2.28 249020416 unknown .983 .639 49094656
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.11 2.26 248627200 unknown 1.02  .640 51834880
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i true 4.01 2.19 263827456 unknown .985 .647 49696768
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.16 2.29 250867712 unknown .986 .644 49078272
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.23 2.29 249184256 unknown .999 .658 49356800
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.86 2.62 252338176 unknown 1.01  .657 49778688
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 3.99 2.23 246816768 unknown .948 .609 48771072
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.29 2.31 254107648 unknown 1.02  .659 50638848
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i true 4.04 2.21 247730176 unknown .980 .640 48902144
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i true 4.00 2.18 248995840 unknown .976 .615 49905664
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i true 4.07 2.22 256090112 unknown .994 .649 48857088
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.09 2.23 253575168 unknown .977 .632 49557504
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i true 3.97 2.17 248823808 unknown 1.02  .654 48975872
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.03 2.19 250458112 unknown 1.01  .649 50241536
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.16 2.27 249282560 unknown .967 .618 48918528
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 3.84 2.12 243781632 unknown .975 .631 51478528
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 4.08 2.22 249479168 unknown .979 .633 50155520
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.27 2.32 247779328 unknown 1.03  .665 51818496
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i true 4.13 2.25 255578112 unknown .983 .626 49180672
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i true 4.11 2.24 255123456 unknown .988 .640 49672192
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i true 5.23 2.82 257261568 unknown .982 .620 49623040
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i true 4.35 2.35 254033920 unknown 1.02  .655 50016256
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i true 4.16 2.26 250781696 unknown 1.03  .665 49709056
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i true 4.43 2.41 256647168 unknown .970 .618 50221056
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 4.15 2.26 248852480 unknown .971 .627 48701440
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.39 2.39 253071360 unknown .966 .624 49868800
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 4.46 2.47 250355712 unknown .969 .605 48254976
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 4.06 2.21 254271488 unknown .995 .645 50167808
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i true 4.00 2.19 253419520 unknown 1.01  .637 51761152
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i true 5.24 2.83 251744256 unknown .993 .654 48918528
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i true 4.13 2.28 250183680 unknown .985 .648 49598464
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i true 4.19 2.31 250568704 unknown .961 .628 48967680
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i true 5.40 2.87 270221312 unknown .976 .639 49967104
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i true 14.3  7.51 836227072 unknown .974 .608 50356224
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i true 231    171    5811159040 unknown 1.02  .639 49668096
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 911    702    7936204800 unknown 1.01  .651 49946624
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i true 3.84 2.09 249368576 unknown .966 .607 49479680
list-ext3-properties/dll_circular_traversal_false-valid-deref.i false(valid-deref) 4.52 2.47 260673536 unknown 5.73  3.19  266752000
list-ext3-properties/sll_circular_traversal_false-valid-deref.i false(valid-deref) 4.62 2.52 259383296 unknown 5.78  3.23  282480640
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i false(valid-memtrack) 4.67 2.54 261816320 unknown 4.79  2.80  264904704
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i false(valid-memtrack) 4.00 2.19 247771136 unknown 4.41  2.53  249593856
loops/invert_string_false-valid-deref.c error 3.19 1.77 239083520 unknown .971 .630 50585600
loop-acceleration/array3_false-valid-deref.i timeout 902    892    2415452160 unknown .946 .605 49078272
ntdrivers/floppy_false-valid-deref.i.cil.c false(valid-deref) 10.9  11.1  579706880 unknown 10.4   6.35  556167168
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 5.61 2.99 269627392 unknown 5.86  3.39  283918336
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 34.3  19.8  1879453696 unknown 1.18  .744 56045568
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 32.8  20.1  1856757760 unknown 1.20  .746 56410112
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c timeout 904    824    7278211072 unknown 1.12  .702 51224576
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 58.8  63.8  3488108544 unknown 1.10  .694 50323456
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 49.9  35.6  3232415744 unknown 1.14  .741 50925568
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 75.4  55.1  4351213568 unknown 1.17  .739 54906880
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 95.8  68.3  4392398848 unknown 1.15  .721 54005760
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.35 4.41 399306752 unknown 1.11  .718 50794496
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.8  7.41 665997312 unknown 1.06  .662 50155520
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 14.9  7.97 674619392 unknown 1.13  .701 52367360
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    519    10875588608 error (invalid witness file) .946 .606 49201152
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c timeout 903    496    11057971200 unknown 1.03  .675 49881088
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c timeout 947    515    10849599488 unknown 1.06  .672 51245056
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c timeout 954    517    10902253568 unknown 1.05  .653 52957184
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c timeout 921    704    10850729984 unknown 1.04  .668 50630656
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c timeout 929    505    11012296704 unknown 1.03  .649 52023296
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c timeout 904    766    4302561280 unknown 1.03  .652 49692672
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c timeout 960    526    10864504832 unknown 1.04  .648 49537024
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    526    11039203328 error (invalid witness file) .915 .583 48488448
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    524    10928062464 error (invalid witness file) .951 .613 48197632
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c timeout 956    524    10891628544 unknown 1.01  .641 49213440
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c timeout 913    643    10931027968 unknown .968 .624 49078272
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c timeout 962    520    10929655808 error (invalid witness file) .923 .603 48574464
memsafety-ext3/derefAfterFree1_false-valid-deref.c false(valid-deref) 3.31 1.79 243576832 false(valid-deref) 3.56  2.14  241991680
memsafety-ext3/derefAfterFree2_false-valid-deref.c false(valid-deref) 3.73 2.10 242171904 false(valid-deref) 4.05  2.37  250314752
memsafety-ext3/derefInLoop1_false-valid-deref.c false(valid-deref) 3.80 3.78 242737152 false(valid-deref) 3.72  2.20  246231040
memsafety-ext3/getNumbers1_false-valid-deref.c false(valid-deref) 3.80 2.05 250429440 unknown 4.00  2.34  252825600
memsafety-ext3/getNumbers2_false-valid-deref.c false(valid-deref) 3.80 2.07 251453440 false(valid-deref) 4.39  2.56  259756032
memsafety-ext3/getNumbers4_false-valid-deref.c false(valid-deref) 4.39 4.38 245157888 false(valid-deref) 4.89  2.77  265011200
memsafety-ext3/naturalNumbers1_false-valid-deref.c false(valid-deref) 3.22 1.81 246562816 unknown 3.35  1.91  242786304
memsafety-ext3/realloc1_false-valid-deref.c false(valid-deref) 3.37 1.86 244264960 unknown 4.12  2.49  251334656
memsafety-ext3/scopes1_false-valid-deref.c false(valid-deref) 3.05 1.73 242221056 false(valid-deref) 3.63  2.13  245968896
memsafety-ext3/scopes2_false-valid-deref.c false(valid-deref) 3.12 1.74 243384320 unknown 3.68  2.23  242147328
memsafety-ext3/scopes3_false-valid-deref.c false(valid-deref) 3.61 2.00 245686272 false(valid-deref) 3.94  2.29  255209472
memsafety-ext3/scopes4_false-valid-deref.c false(valid-deref) 3.30 1.86 238645248 false(valid-deref) 3.53  2.13  245788672
memsafety-ext3/scopes5_false-valid-deref.c false(valid-deref) 2.97 1.66 236904448 false(valid-deref) 3.46  2.08  246042624
memsafety-ext3/freeAlloca_false-valid-free.c false(valid-free) 3.54 1.93 244998144 unknown 3.93  2.34  250724352
memsafety-ext3/getNumbers1_true-valid-memsafety.c true 3.95 2.18 242495488 unknown .962 .618 49561600
memsafety-ext3/getNumbers3_true-valid-memsafety.c true 3.86 2.13 241422336 unknown .991 .644 50102272
memsafety-ext3/getNumbers4_true-valid-memsafety.c true 3.73 2.03 248537088 unknown 1.00  .637 49037312
memsafety-ext3/scopes4_true-valid-memsafety.c true 3.07 1.71 240537600 unknown .956 .627 48885760
pthread-memsafety/fillarray1_false-valid-deref.i error 4.49 2.40 250650624 unknown .961 .632 48312320
pthread-memsafety/fillarray_false-valid-deref.i error 4.34 2.37 251867136 unknown .963 .617 48861184
pthread-memsafety/list1_false-valid-deref.i error 4.35 2.33 264097792 unknown .954 .628 49246208
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 442 102000    75600    1089150205952 442 911   546   47164448768
    correct results 225 1830    1180    95683596288 17 83.7 47.9 4960677888
        correct true 118 1320    881    66965504000 0
        correct false 107 513    299    28718092288 17 83.7 47.9 4960677888
    incorrect results 2 16.7  10.6  673226752 0
        incorrect true 1 12.4  8.28 417255424 0
        incorrect false 1 4.21 2.29 255971328 0
score (442 tasks, max score: 719) 295 17
Run set cpaseq--memsafety.cpaseq cpaw2t-cpaseq--memsafety-validation.witnessValidation