Tool ULTIMATE Automizer 0.1.24-91b1670e 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 ultimateautomizer--memsafety.ultimateautomizer cpaw2t-ultimateautomizer--memsafety-validation.witnessValidation
Options --full-output -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/ultimateautomizer--memsafety.logfiles/ultimateautomizer.${inputfile_name}.files/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 false(valid-deref) 9.61 5.72 320679936 unknown 4.39  2.61  250572800
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 8.12 4.66 311635968 unknown 3.60  2.05  247951360
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 8.93 5.38 326750208 unknown 4.30  2.58  258539520
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.36 4.18 313802752 false(valid-deref) 3.62  2.15  242712576
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 14.5  9.18 520572928 unknown 4.62  2.73  253235200
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 11.1  6.29 385990656 unknown 4.42  2.64  261083136
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.12 4.14 317726720 unknown 3.65  2.24  244502528
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 7.46 4.65 311529472 unknown 3.85  2.33  244936704
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 23.9  17.6  523460608 unknown 4.71  2.75  256475136
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.22 4.97 311988224 unknown 4.82  2.64  252571648
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 9.13 5.48 324296704 unknown 4.56  2.71  260005888
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 14.4  8.62 493727744 error 4.05  2.30  250400768
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 9.52 5.78 330952704 unknown 4.51  2.68  254795776
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 10.4  6.21 351834112 unknown 4.32  2.56  254029824
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 9.86 5.59 332906496 unknown 4.28  2.56  257241088
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 7.69 4.88 316162048 unknown 3.84  2.17  252006400
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 6.84 3.97 309780480 unknown 3.68  2.21  247152640
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout 961    881    1371299840 error (invalid witness file) .907 .622 45510656
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 11.5  6.69 415789056 unknown 1.02  .647 52121600
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 12.0  7.42 459628544 unknown 1.04  .691 52416512
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 12.5  7.38 448983040 unknown .967 .643 48955392
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 11.1  6.54 400777216 unknown .994 .645 50167808
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 15.3  8.86 523649024 unknown .988 .665 49881088
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 960    925    2545856512 error (invalid witness file) .894 .573 46669824
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 14.4  9.15 519368704 unknown .961 .630 49467392
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 27.5  17.8  560340992 unknown 1.01  .654 51970048
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 21.4  13.5  589225984 unknown .988 .648 49577984
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 25.9  16.8  644321280 unknown 1.03  .690 50302976
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 13.4  8.36 524386304 unknown .992 .645 50872320
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 960    914    2210668544 error (invalid witness file) .935 .628 46612480
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 26.2  17.5  669716480 unknown 1.02  .661 49733632
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 22.6  14.1  667590656 unknown 1.01  .644 50061312
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 54.8  42.0  826593280 unknown 1.01  .635 49807360
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 71.3  57.6  874979328 unknown 1.03  .663 49893376
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 24.1  15.0  606814208 unknown .969 .634 48869376
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 16.7  10.4  474509312 unknown 1.02  .656 48881664
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 12.4  7.59 457314304 unknown 1.00  .650 48943104
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 26.5  16.6  691503104 unknown 1.04  .698 51429376
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 25.5  19.8  467496960 unknown 1.02  .660 49405952
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 16.5  9.68 469614592 unknown .963 .639 48189440
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 15.3  9.14 458407936 unknown 1.04  .667 50339840
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 22.5  16.2  535240704 unknown 1.03  .663 49991680
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 14.7  9.28 474124288 unknown .956 .619 48877568
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 19.1  12.2  585805824 unknown 1.01  .663 49016832
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 49.7  32.0  629370880 unknown 1.02  .650 49750016
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 960    915    3085176832 error (invalid witness file) .879 .592 46108672
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 31.3  21.8  699432960 unknown 1.05  .678 51433472
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 17.8  10.9  538136576 unknown .983 .624 51642368
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i error (7) 625    596    1139593216 error (invalid witness file) .908 .588 46288896
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 41.0  26.1  787722240 unknown 1.04  .680 50466816
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 14.3  9.02 467185664 unknown 1.01  .654 51679232
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 961    897    2166558720 error (invalid witness file) .928 .589 46735360
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 35.9  24.6  606720000 unknown 1.01  .634 49803264
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 30.9  20.5  695664640 unknown .972 .627 48852992
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 13.3  8.27 470827008 unknown .976 .622 49078272
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 38.0  28.1  705470464 unknown 1.00  .635 48914432
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 29.4  19.3  554483712 unknown 1.04  .667 52555776
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (true) 959    919    1139625984 unknown .988 .633 51351552
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 14.6  9.08 474046464 unknown .999 .661 51310592
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 20.7  12.6  623820800 unknown 1.03  .664 50069504
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 13.6  7.92 455581696 unknown .976 .655 49512448
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 12.3  7.50 468140032 unknown .988 .628 52105216
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 20.3  13.4  547893248 unknown .992 .643 49188864
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 39.5  30.0  587292672 unknown 1.04  .655 50483200
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 255    233    1084104704 unknown .992 .638 49135616
array-examples/relax_false-valid-deref.i false(valid-deref) 9.91 5.99 346435584 error 3.96  2.23  255442944
array-examples/sanfoundry_24_false-valid-deref.i timeout 961    803    1368403968 error (invalid witness file) .915 .601 48193536
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 961    895    1032802304 error (invalid witness file) .928 .599 46919680
array-examples/standard_strcpy_original_false-valid-deref.i timeout 961    887    928034816 error (invalid witness file) .880 .576 46075904
array-memsafety-realloc/array-realloc_false-valid-free.i false(valid-free) 11.5  6.83 389423104 error 4.08  2.30  256774144
array-memsafety-realloc/array-realloc_true-valid-memsafety.i true 31.2  21.3  514801664 unknown .960 .619 48771072
memsafety/960521-1_false-valid-deref.i timeout 960    935    818769920 error (invalid witness file) .932 .612 46804992
memsafety/test-0137_false-valid-deref.i error (7) 10.9  6.78 294113280 error (invalid witness file) .918 .598 46346240
memsafety/test-0235_false-valid-deref.i timeout 960    933    2158149632 error (invalid witness file) .881 .581 46149632
memsafety/960521-1_false-valid-free.i timeout 960    933    945840128 error (invalid witness file) .915 .586 45969408
memsafety/test-0158_false-valid-free.i false(valid-free) 11.0  6.15 359063552 unknown 4.02  2.28  247463936
memsafety/test-0232_false-valid-free.i false(valid-free) 508    478    1857142784 unknown 4.54  2.69  256602112
memsafety/20020406-1_false-valid-memtrack.i timeout 960    946    1134686208 error (invalid witness file) .891 .597 47824896
memsafety/20051113-1.c_false-valid-memtrack.i timeout 960    930    708165632 error (invalid witness file) .881 .570 46440448
memsafety/lockfree-3.1_false-valid-memtrack.i unknown 89.3  56.7  903483392 error (invalid witness file) .943 .609 45805568
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 26.1  14.9  517169152 error (invalid witness file) .933 .608 47243264
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 139    92.6  2657484800 error (invalid witness file) .951 .634 47357952
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 28.1  17.9  523657216 error (invalid witness file) .917 .597 47017984
memsafety/test-0102_false-valid-memtrack.i error (7) 11.3  6.56 297635840 error (invalid witness file) .885 .589 46579712
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 16.4  9.60 321609728 error (invalid witness file) .901 .599 46673920
memsafety/test-0220_false-valid-memtrack.i timeout 960    932    1325596672 error (invalid witness file) .917 .595 47124480
memsafety/test-0232_false-valid-memtrack.i unknown 59.2  41.8  698572800 error (invalid witness file) .893 .584 46641152
memsafety/test-0234_false-valid-memtrack.i timeout 961    931    2304385024 error (invalid witness file) .904 .609 46141440
memsafety/test-0235_false-valid-memtrack.i timeout 960    929    2256683008 error (invalid witness file) .927 .601 46485504
memsafety/960521-1_true-valid-memsafety.i timeout 960    936    806354944 error (invalid witness file) .929 .626 47276032
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 960    818    9841156096 error (invalid witness file) .916 .598 47034368
memsafety/test-0019_true-valid-memsafety_true-termination.i true 19.6  12.4  502366208 unknown 1.00  .650 50778112
memsafety/test-0102_true-valid-memsafety.i error (7) 11.2  6.50 301035520 error (invalid witness file) .896 .575 45985792
memsafety/test-0134_true-valid-memsafety.i error (7) 13.7  7.86 301297664 error (invalid witness file) .944 .613 48431104
memsafety/test-0158_true-valid-memsafety_true-termination.i true 10.8  6.50 357801984 unknown .964 .612 48574464
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 961    914    1586057216 error (invalid witness file) .927 .598 47329280
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 960    924    2060390400 error (invalid witness file) .898 .602 46858240
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 960    907    1149669376 error (invalid witness file) .921 .589 46927872
memsafety/test-0219_true-valid-memsafety.i timeout 960    933    1151913984 error (invalid witness file) .940 .595 47296512
memsafety/test-0232_true-valid-memsafety.i timeout 960    930    1587548160 error (invalid witness file) .904 .595 47099904
memsafety/test-0234_true-valid-memsafety.i timeout 960    929    2587533312 error (invalid witness file) .917 .605 46108672
memsafety/test-0235_true-valid-memsafety.i timeout 960    935    2188513280 error (invalid witness file) .927 .613 46694400
memsafety/test-0236_true-valid-memsafety.i timeout 961    933    2129534976 error (invalid witness file) .904 .594 46305280
memsafety/test-0237_true-valid-memsafety.i timeout 960    936    1017397248 error (invalid witness file) .877 .564 46362624
memsafety/test-0504_true-valid-memsafety.i timeout 960    864    3394387968 error (invalid witness file) .935 .623 46215168
memsafety/test-0513_true-valid-memsafety.i timeout 961    878    2176053248 error (invalid witness file) .923 .607 46657536
memsafety/test-0521_true-valid-memsafety.i timeout 960    895    2856169472 error (invalid witness file) .931 .597 46198784
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout 961    891    1944489984 error (invalid witness file) .916 .591 46231552
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 961    871    980910080 error (invalid witness file) .925 .615 46133248
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 960    897    1149079552 error (invalid witness file) .893 .584 46350336
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 960    913    2037161984 error (invalid witness file) .915 .596 46526464
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 961    932    1044611072 error (invalid witness file) .911 .607 47497216
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 961    930    1017540608 error (invalid witness file) .914 .607 46387200
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 961    905    2340896768 error (invalid witness file) .888 .575 45780992
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 960    926    1066541056 error (invalid witness file) .930 .606 47198208
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 961    909    2008158208 error (invalid witness file) .904 .585 46514176
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 960    926    4369051648 error (invalid witness file) .900 .583 45981696
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 961    894    1102503936 error (invalid witness file) .912 .584 46317568
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 961    913    1023717376 error (invalid witness file) .901 .605 45879296
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 960    930    1394089984 error (invalid witness file) .937 .611 47677440
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 960    924    2310795264 error (invalid witness file) .916 .607 47869952
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 961    888    1155280896 error (invalid witness file) .915 .585 46809088
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 960    917    986476544 error (invalid witness file) .923 .615 47210496
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 961    926    1976442880 error (invalid witness file) .969 .636 48099328
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 961    910    2263162880 error (invalid witness file) .867 .568 46862336
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 960    926    1920524288 error (invalid witness file) .953 .629 47149056
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 13.5  8.16 504012800 unknown 4.77  2.79  280879104
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout 961    841    1881153536 error (invalid witness file) .924 .600 46747648
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 11.3  6.45 423260160 timeout 904     710     7041937408
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 16.1  9.57 536932352 unknown 4.50  2.64  259452928
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 11.1  6.64 348110848 unknown 4.16  2.52  254603264
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 120    96.6  837365760 error (invalid witness file) .942 .616 48361472
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 18.6  10.7  332406784 error (invalid witness file) .922 .596 46407680
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 63.5  45.1  693788672 error (invalid witness file) .909 .583 47685632
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout 960    947    1074462720 error (invalid witness file) .918 .606 46501888
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 961    857    1937309696 error (invalid witness file) .897 .576 46186496
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 960    891    2067124224 error (invalid witness file) .907 .614 47009792
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 960    904    2192461824 error (invalid witness file) .951 .615 47009792
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 34.7  23.4  623935488 unknown .972 .627 48758784
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 10.9  6.58 345358336 unknown .995 .660 50442240
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 961    915    1085280256 error (invalid witness file) .897 .580 46518272
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 960    910    2657054720 error (invalid witness file) .923 .611 46116864
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i timeout 960    927    1243316224 error (invalid witness file) .949 .634 47792128
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 961    912    1069768704 error (invalid witness file) .928 .612 46985216
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout 961    899    2061389824 error (invalid witness file) .909 .597 47030272
memory-alloca/c.03-alloca_true-valid-memsafety.i true 12.5  7.43 421675008 unknown 1.01  .647 51687424
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 9.28 5.72 324214784 false(valid-deref) 3.77  2.21  248406016
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 9.35 5.82 335646720 false(valid-deref) 3.50  2.11  241278976
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.05 5.01 320647168 false(valid-deref) 3.59  2.10  243314688
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.56 4.89 317337600 false(valid-deref) 3.54  2.10  243740672
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 699    614    4637753344 false(valid-deref) 14.4   7.57  652378112
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 657    567    4634820608 false(valid-deref) 14.5   7.63  691449856
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 7.47 4.66 312446976 unknown 3.37  2.02  242561024
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.22 4.67 315662336 unknown 3.49  2.06  242601984
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 6.98 4.52 316375040 unknown 3.52  2.08  244981760
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 7.29 4.59 311386112 unknown 3.60  2.08  244903936
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.05 4.46 313507840 unknown 3.43  2.05  241188864
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.49 4.81 319287296 unknown 3.45  2.03  242483200
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 960    922    2778251264 error (invalid witness file) .942 .616 47435776
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 27.8  20.6  592437248 unknown 1.01  .632 49815552
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 25.0  15.1  508313600 unknown .989 .637 49901568
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 20.6  12.7  573923328 unknown .966 .627 49020928
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 19.3  11.8  494206976 unknown 1.02  .678 51892224
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 22.9  13.9  488325120 unknown .980 .649 49188864
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 11.1  6.65 367656960 unknown 1.05  .663 51712000
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 11.4  6.45 357986304 unknown 1.06  .676 50413568
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 7.48 4.72 316071936 unknown .961 .629 48599040
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 9.75 6.15 352571392 unknown .959 .613 49336320
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 9.84 6.17 347955200 unknown .973 .615 49594368
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 11.5  6.93 341819392 unknown .938 .612 48640000
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 9.64 5.72 337543168 unknown 1.00  .654 49295360
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 10.2  6.00 346517504 unknown .977 .640 49684480
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 10.1  5.91 346419200 unknown .945 .605 48766976
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error (7) 12.2  6.90 305045504 error (invalid witness file) .892 .582 46231552
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 623    573    2222235648 unknown 4.74  2.61  259223552
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout 960    900    2705137664 error (invalid witness file) .927 .612 46321664
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 140    128    716693504 unknown 5.35  3.09  270196736
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 64.2  44.4  895459328 unknown 5.38  3.14  271425536
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 160    136    694800384 unknown 5.24  3.03  270307328
ldv-memsafety/memleaks_test12_false-valid-free.i timeout 961    905    1677537280 error (invalid witness file) .949 .637 48402432
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 322    279    2024673280 unknown 5.59  3.21  278421504
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 262    240    675352576 unknown 4.76  2.64  287313920
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 11.3  6.81 378384384 unknown 4.54  2.65  252035072
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 11.8  6.78 349528064 unknown 4.52  2.61  252985344
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 20.2  11.9  490831872 unknown 4.49  2.50  263319552
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 12.9  7.17 415916032 unknown 4.62  2.75  255565824
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout 960    919    825061376 error (invalid witness file) .887 .595 46858240
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 887    836    809951232 error (invalid witness file) .934 .624 46751744
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 215    198    692105216 error (invalid witness file) .912 .623 46411776
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 619    571    818671616 error (invalid witness file) .889 .579 45834240
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error (7) 11.8  6.48 304484352 error (invalid witness file) .941 .606 48017408
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error (7) 11.9  7.21 302731264 error (invalid witness file) .887 .563 46034944
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 960    927    1451487232 error (invalid witness file) .902 .579 46043136
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 25.3  14.6  433577984 error (invalid witness file) .938 .608 47480832
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 21.8  12.8  368848896 error (invalid witness file) .899 .603 46321664
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout 961    901    2044620800 error (invalid witness file) .889 .584 46342144
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout 960    926    1123766272 error (invalid witness file) .906 .579 46682112
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 38.2  24.3  536408064 error (invalid witness file) .917 .596 46006272
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout 960    927    1017110528 error (invalid witness file) .919 .594 46387200
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 282    250    980054016 error (invalid witness file) .925 .598 47939584
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 20.2  11.6  359161856 error (invalid witness file) .927 .613 47652864
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 23.4  13.6  405942272 error (invalid witness file) .933 .606 47751168
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 22.8  13.1  370774016 error (invalid witness file) .909 .594 47169536
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 303    263    1316929536 error (invalid witness file) .934 .606 46104576
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 62.5  42.7  997036032 error (invalid witness file) .922 .614 46272512
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 315    271    1323012096 error (invalid witness file) .969 .622 48029696
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 25.3  14.7  421404672 error (invalid witness file) .928 .602 46231552
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 20.5  11.8  348737536 error (invalid witness file) .931 .631 46555136
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 23.0  13.5  399286272 error (invalid witness file) .928 .598 46813184
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 112    96.4  591417344 error (invalid witness file) .936 .616 47484928
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 92.3  77.7  618852352 error (invalid witness file) .934 .621 47292416
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 111    97.5  523247616 error (invalid witness file) .908 .591 46510080
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 20.1  11.6  358092800 error (invalid witness file) .918 .621 46637056
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 24.3  14.2  407101440 error (invalid witness file) .920 .604 47517696
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 20.4  11.5  371175424 error (invalid witness file) .909 .596 46649344
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout 960    922    821514240 error (invalid witness file) .925 .624 46006272
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i timeout 961    910    926863360 error (invalid witness file) .921 .616 46620672
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout 961    905    1487949824 error (invalid witness file) .934 .597 45764608
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 87.3  60.1  861425664 unknown 1.08  .698 51384320
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error (7) 12.2  7.42 292347904 error (invalid witness file) .900 .592 47308800
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout 960    928    1501704192 error (invalid witness file) .928 .602 46358528
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 15.4  9.14 535044096 unknown 1.07  .705 51904512
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout 961    904    2063548416 error (invalid witness file) .872 .577 46215168
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout 961    881    1104420864 error (invalid witness file) .890 .575 46329856
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout 960    932    1153404928 error (invalid witness file) .916 .617 46956544
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i timeout 960    917    818757632 error (invalid witness file) .939 .607 47894528
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 13.8  8.00 453787648 unknown 1.09  .719 51388416
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 14.4  8.81 486178816 unknown 1.06  .677 50188288
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 17.0  9.81 531357696 unknown 1.04  .644 49176576
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout 961    898    2644148224 error (invalid witness file) .941 .622 46796800
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout 961    894    2871246848 error (invalid witness file) .909 .591 45953024
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout 961    922    3636895744 error (invalid witness file) .886 .583 46424064
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i false(valid-deref) 131    118    709582848 timeout 902     832     4396589056
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 961    895    2596335616 error (invalid witness file) .918 .611 47661056
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 14.4  8.49 478265344 unknown 1.04  .642 52682752
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 31.4  23.5  548478976 unknown .999 .643 49967104
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 14.3  8.57 482930688 unknown 1.02  .679 49225728
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 21.3  12.6  486731776 unknown 1.07  .695 50626560
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 20.7  12.1  561426432 unknown 1.07  .672 52428800
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 12.7  7.61 461635584 unknown 1.02  .666 49905664
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 13.2  7.42 459984896 unknown 1.05  .654 51744768
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i error (7) 9.70 5.31 268812288 error (invalid witness file) .928 .639 46571520
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i error (7) 9.80 5.42 277684224 error (invalid witness file) .921 .602 48029696
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i error (7) 9.77 5.78 276471808 error (invalid witness file) .928 .600 45633536
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i error (7) 10.2  5.68 288292864 error (invalid witness file) .947 .617 46907392
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i error (7) 10.2  5.54 273477632 error (invalid witness file) .880 .593 46481408
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i error (7) 9.87 5.76 272953344 error (invalid witness file) .918 .602 47149056
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i error (7) 9.91 5.80 272269312 error (invalid witness file) .926 .599 47095808
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i error (7) 9.62 5.81 273186816 error (invalid witness file) .887 .592 45789184
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i error (7) 9.94 6.29 280100864 error (invalid witness file) .938 .610 46198784
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i error (7) 9.60 6.14 277098496 error (invalid witness file) .878 .569 45752320
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 961    905    1096294400 error (invalid witness file) .937 .619 46362624
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 960    916    997634048 error (invalid witness file) .942 .616 47693824
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i error (7) 830    748    2440822784 error (invalid witness file) .940 .640 46632960
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 960    933    2155827200 error (invalid witness file) .901 .604 45887488
heap-manipulation/tree_false-unreach-call_false-valid-deref.i false(valid-deref) 367    338    1524846592 unknown 4.75  2.78  266096640
heap-manipulation/tree_false-valid-deref.i false(valid-deref) 9.64 5.70 326963200 unknown 4.47  2.61  258535424
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 961    898    1561665536 error (invalid witness file) .944 .620 47460352
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 73.0  49.9  740798464 error (invalid witness file) .921 .611 46575616
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 960    917    1320587264 error (invalid witness file) .873 .574 46424064
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 960    927    1533640704 error (invalid witness file) .916 .606 47038464
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 960    860    2042871808 error (invalid witness file) .943 .613 47063040
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 20.8  12.4  348991488 error (invalid witness file) .919 .611 46157824
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 29.0  17.9  473989120 error (invalid witness file) .919 .606 46256128
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 20.4  12.3  379543552 error (invalid witness file) .901 .580 46010368
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 24.2  14.8  474701824 error (invalid witness file) .947 .614 47734784
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 20.8  11.8  353189888 error (invalid witness file) .898 .581 46542848
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i error (7) 30.1  16.9  510443520 error (invalid witness file) .932 .604 46833664
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i error (7) 31.2  17.4  516456448 error (invalid witness file) .911 .616 46936064
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i error (7) 30.6  17.4  510656512 error (invalid witness file) .922 .588 46333952
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i error (7) 30.4  17.3  524111872 error (invalid witness file) .909 .616 47161344
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i error (7) 30.3  17.1  514297856 error (invalid witness file) .912 .602 46653440
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i error (7) 29.7  17.1  505491456 error (invalid witness file) .907 .597 46661632
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i error (7) 29.2  16.5  509603840 error (invalid witness file) .910 .595 46510080
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i error (7) 30.3  17.1  535842816 error (invalid witness file) .912 .610 47296512
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i error (7) 30.7  17.1  524746752 error (invalid witness file) .902 .583 47538176
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i error (7) 30.2  16.9  508100608 error (invalid witness file) .908 .587 46268416
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i error (7) 28.3  16.3  517644288 error (invalid witness file) .891 .589 46063616
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i error (7) 29.4  16.5  524496896 error (invalid witness file) .914 .593 46215168
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i error (7) 29.4  17.1  527421440 error (invalid witness file) .900 .595 46428160
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 961    893    1666547712 error (invalid witness file) .908 .607 47321088
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 961    899    1312182272 error (invalid witness file) .934 .619 47263744
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 961    882    2112450560 error (invalid witness file) .920 .608 46596096
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 961    871    1198419968 error (invalid witness file) .936 .623 46510080
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 961    867    2233495552 error (invalid witness file) .915 .606 47980544
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 961    873    2567647232 error (invalid witness file) .904 .590 46383104
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 961    901    1990148096 error (invalid witness file) .881 .586 45821952
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 961    869    1875664896 error (invalid witness file) .879 .564 45899776
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 960    919    1599393792 error (invalid witness file) .904 .595 46575616
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 961    901    1999331328 error (invalid witness file) .941 .617 46800896
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (7)) 942    858    2125443072 error (invalid witness file) .911 .585 46395392
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 962    849    1128677376 error (invalid witness file) .899 .580 45948928
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 961    874    2296279040 error (invalid witness file) .935 .617 47390720
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 960    863    1023705088 error (invalid witness file) .919 .582 46239744
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 961    817    2378797056 error (invalid witness file) .959 .627 46772224
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 961    885    2357710848 error (invalid witness file) .934 .622 46358528
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 961    865    2144514048 error (invalid witness file) .910 .599 47251456
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 961    850    2260938752 error (invalid witness file) .899 .579 47378432
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 961    895    2268221440 error (invalid witness file) .899 .612 45731840
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 80.7  55.8  1042231296 unknown 4.80  2.76  257007616
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 38.2  23.9  599928832 timeout 934     568     10938363904
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 63.2  42.0  918192128 unknown 4.42  2.62  253599744
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 961    912    1082707968 error (invalid witness file) .911 .597 46444544
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    927    978817024 error (invalid witness file) .935 .607 46874624
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    935    1163890688 error (invalid witness file) .898 .588 45801472
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    935    774406144 error (invalid witness file) .973 .633 48222208
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 960    919    999473152 error (invalid witness file) .885 .584 46755840
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    933    839507968 error (invalid witness file) .892 .568 45907968
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    925    1419710464 error (invalid witness file) .902 .591 47112192
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 961    903    1020907520 error (invalid witness file) .895 .576 45834240
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 303    271    979537920 unknown 1.07  .683 50577408
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i true 328    296    1128108032 unknown 1.01  .647 49565696
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i error (7) 738    707    2183208960 error (invalid witness file) .928 .606 45916160
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 961    932    1367011328 error (invalid witness file) .917 .623 47456256
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    940    1138135040 error (invalid witness file) .893 .590 46018560
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    936    2298953728 error (invalid witness file) .909 .587 47538176
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 960    936    847507456 error (invalid witness file) .956 .610 47194112
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    935    1034842112 error (invalid witness file) .908 .604 47591424
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    923    1571905536 error (invalid witness file) .926 .609 47620096
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 157    133    848973824 unknown 1.04  .659 49078272
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    911    2100473856 error (invalid witness file) .873 .586 46649344
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 961    919    1405390848 error (invalid witness file) .930 .622 47071232
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 961    927    1630117888 error (invalid witness file) .913 .590 48111616
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    930    1339359232 error (invalid witness file) .962 .619 48128000
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    929    1349697536 error (invalid witness file) .876 .582 46272512
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 961    929    1290493952 error (invalid witness file) .870 .584 46526464
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 960    931    1695633408 error (invalid witness file) .951 .633 47808512
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 961    929    1280630784 error (invalid witness file) .933 .603 46673920
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 961    901    679579648 error (invalid witness file) .902 .592 46014464
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 357    323    699006976 unknown 1.07  .687 50905088
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    914    1932763136 error (invalid witness file) .953 .637 47595520
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 960    912    1028304896 error (invalid witness file) .913 .581 46538752
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i error (7) 698    676    2364055552 error (invalid witness file) .910 .586 46432256
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    938    2169249792 error (invalid witness file) .938 .623 47849472
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    940    1038352384 error (invalid witness file) .968 .627 47443968
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    937    994328576 error (invalid witness file) .902 .590 46329856
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 961    939    958996480 error (invalid witness file) .903 .615 47099904
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    936    866902016 error (invalid witness file) .876 .580 46526464
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 961    913    1347407872 error (invalid witness file) .903 .603 47620096
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 322    303    859869184 unknown .993 .636 49442816
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 478    450    1184210944 unknown 1.03  .672 49246208
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i true 608    567    790257664 unknown 1.02  .671 49233920
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 960    934    997367808 error (invalid witness file) .902 .576 46108672
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i timeout 960    937    1736990720 error (invalid witness file) .888 .565 46813184
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i timeout 961    891    2108899328 error (invalid witness file) .911 .578 46239744
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 960    930    1448177664 error (invalid witness file) .914 .579 46948352
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i timeout 961    893    2477432832 error (invalid witness file) .920 .605 46534656
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i timeout 960    923    1302917120 error (invalid witness file) .925 .603 47570944
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 960    939    639328256 error (invalid witness file) .907 .599 46825472
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i true 15.8  10.2  481058816 unknown 1.03  .680 51195904
list-ext3-properties/dll_circular_traversal_false-valid-deref.i timeout 960    907    1706938368 error (invalid witness file) .957 .635 48762880
list-ext3-properties/sll_circular_traversal_false-valid-deref.i timeout 961    912    4248809472 error (invalid witness file) .895 .586 45903872
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i unknown 266    228    947859456 error (invalid witness file) .908 .584 47247360
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i unknown 36.3  26.4  495857664 error (invalid witness file) .926 .627 46198784
loops/invert_string_false-valid-deref.c false(valid-deref) 7.54 4.78 320204800 error 3.47  1.98  244482048
loop-acceleration/array3_false-valid-deref.i timeout 961    905    1137643520 error (invalid witness file) .889 .570 46448640
ntdrivers/floppy_false-valid-deref.i.cil.c false(valid-deref) 67.8  42.8  1354051584 unknown 10.6   6.44  562294784
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 28.9  17.9  773115904 unknown 6.10  3.46  281202688
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.1  7.56 427782144 unknown 1.30  .803 57069568
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.1  6.97 424382464 unknown 1.30  .830 57196544
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.93 5.57 337768448 unknown 1.14  .729 55967744
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.93 5.98 339468288 unknown 1.20  .757 55894016
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.0  5.99 344977408 unknown 1.19  .760 54407168
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.4  6.75 379551744 unknown 1.20  .726 54095872
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.5  6.35 388128768 unknown 1.25  .806 57790464
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.23 4.71 320651264 unknown 1.11  .719 52817920
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.16 5.22 328044544 unknown 1.21  .757 57098240
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.66 5.92 328458240 unknown 1.21  .744 56762368
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 7.08 4.51 310136832 unknown 1.02  .638 49500160
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 7.48 4.71 310394880 unknown 1.06  .677 50200576
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 7.32 4.17 313581568 unknown 1.07  .674 52178944
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 7.47 4.24 307224576 unknown 1.09  .723 49958912
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 7.64 4.81 311799808 unknown 1.05  .662 49758208
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 7.37 4.28 311144448 unknown 1.05  .667 50139136
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 7.81 4.86 312102912 unknown 1.10  .720 50147328
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 6.94 4.05 309518336 unknown 1.05  .674 50876416
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.78 4.34 322273280 unknown .978 .618 48824320
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 6.73 4.33 308404224 unknown .992 .634 49168384
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 6.97 4.48 312037376 unknown 1.04  .676 50708480
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 6.89 4.01 309538816 unknown 1.04  .646 51359744
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.16 4.11 312107008 unknown 1.03  .679 49938432
memsafety-ext3/derefAfterFree1_false-valid-deref.c false(valid-deref) 7.78 4.85 314331136 false(valid-deref) 3.48  2.07  244199424
memsafety-ext3/derefAfterFree2_false-valid-deref.c false(valid-deref) 11.7  7.26 438755328 false(valid-deref) 3.79  2.22  249884672
memsafety-ext3/derefInLoop1_false-valid-deref.c false(valid-deref) 7.66 4.44 314998784 false(valid-deref) 3.60  2.15  246370304
memsafety-ext3/getNumbers1_false-valid-deref.c false(valid-deref) 14.0  8.09 458313728 unknown 3.98  2.34  252182528
memsafety-ext3/getNumbers2_false-valid-deref.c false(valid-deref) 25.3  15.9  634626048 false(valid-deref) 4.23  2.49  256479232
memsafety-ext3/getNumbers4_false-valid-deref.c false(valid-deref) 71.2  51.7  1034936320 false(valid-deref) 4.55  2.62  259416064
memsafety-ext3/naturalNumbers1_false-valid-deref.c true 10.2  6.36 355819520 unknown 1.01  .654 48877568
memsafety-ext3/realloc1_false-valid-deref.c false(valid-deref) 15.6  9.20 472555520 unknown 4.38  2.59  256446464
memsafety-ext3/scopes1_false-valid-deref.c false(valid-deref) 6.90 4.01 310558720 unknown 3.37  1.93  245985280
memsafety-ext3/scopes2_false-valid-deref.c false(valid-deref) 7.19 4.59 317124608 unknown 3.26  1.90  243269632
memsafety-ext3/scopes3_false-valid-deref.c false(valid-deref) 13.6  8.07 493776896 false(valid-deref) 4.06  2.35  252002304
memsafety-ext3/scopes4_false-valid-deref.c false(valid-deref) 7.35 4.72 314220544 false(valid-deref) 3.59  2.10  246607872
memsafety-ext3/scopes5_false-valid-deref.c false(valid-deref) 6.70 4.33 304304128 false(valid-deref) 3.37  2.01  241569792
memsafety-ext3/freeAlloca_false-valid-free.c true 14.5  9.69 397221888 unknown .999 .654 49451008
memsafety-ext3/getNumbers1_true-valid-memsafety.c true 15.0  8.65 487702528 unknown .966 .617 51843072
memsafety-ext3/getNumbers3_true-valid-memsafety.c true 10.6  6.09 370266112 unknown .945 .601 48791552
memsafety-ext3/getNumbers4_true-valid-memsafety.c true 59.6  38.3  990687232 unknown .977 .620 49188864
memsafety-ext3/scopes4_true-valid-memsafety.c true 11.5  6.53 359542784 unknown .969 .614 48603136
pthread-memsafety/fillarray1_false-valid-deref.i error (7) 16.2  9.44 334921728 error (invalid witness file) .920 .599 47190016
pthread-memsafety/fillarray_false-valid-deref.i error (7) 16.5  9.87 335372288 error (invalid witness file) .921 .611 46489600
pthread-memsafety/list1_false-valid-deref.i error (7) 18.1  10.8  338833408 error (invalid witness file) .914 .588 46829568
busybox-1.22.0/basename_false-valid-deref.i timeout 960    901    2738368512 error (invalid witness file) .936 .607 47570944
busybox-1.22.0/head_false-valid-deref.i unknown 7.69 4.39 296996864 error (invalid witness file) .925 .594 46596096
busybox-1.22.0/sleep_false-valid-deref.i unknown 8.06 4.63 292958208 error (invalid witness file) .881 .576 45912064
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i unknown 9.53 5.34 301154304 error (invalid witness file) .903 .598 46206976
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 193    163    2682007552 error (invalid witness file) .910 .594 46678016
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i unknown 8.47 5.04 280752128 error (invalid witness file) .941 .597 47792128
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.18 4.68 301387776 error (invalid witness file) .950 .631 46907392
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.78 5.05 310992896 error (invalid witness file) .894 .594 46276608
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i timeout 961    905    3028484096 error (invalid witness file) .899 .580 46030848
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i unknown 8.58 5.00 303353856 error (invalid witness file) .910 .599 46723072
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i unknown 8.14 4.57 300552192 error (invalid witness file) .955 .618 48386048
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.86 4.78 304807936 error (invalid witness file) .888 .576 46706688
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i unknown 8.19 4.71 306180096 error (invalid witness file) .937 .627 48091136
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i unknown 7.79 4.57 291287040 error (invalid witness file) .916 .614 46063616
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i timeout 961    886    2031513600 error (invalid witness file) .889 .586 46075904
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i unknown 7.61 4.35 300253184 error (invalid witness file) .916 .606 46108672
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 17.4  10.1  310996992 error (invalid witness file) .882 .589 46788608
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i unknown 8.15 4.66 300568576 error (invalid witness file) .930 .618 46120960
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.62 4.33 300888064 error (invalid witness file) .951 .618 46071808
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.92 4.93 299651072 error (invalid witness file) .937 .614 47673344
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.56 4.93 301649920 error (invalid witness file) .893 .595 46587904
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i unknown 7.88 4.52 294408192 error (invalid witness file) .885 .598 45735936
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i unknown 7.82 4.40 298745856 error (invalid witness file) .922 .616 46268416
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i unknown 8.28 4.82 307843072 error (invalid witness file) .939 .634 47255552
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i unknown 7.81 4.47 309665792 error (invalid witness file) .896 .595 46559232
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i unknown 8.32 4.79 306192384 error (invalid witness file) .902 .596 45699072
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.23 5.29 327458816 error (invalid witness file) .910 .601 46555136
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i unknown 7.52 4.34 304144384 error (invalid witness file) .898 .601 46604288
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i unknown 7.90 4.41 304267264 error (invalid witness file) .902 .606 46379008
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i unknown 7.75 4.38 304476160 error (invalid witness file) .944 .601 47112192
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 7.79 4.79 304041984 error (invalid witness file) .896 .591 46198784
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.32 4.67 301039616 error (invalid witness file) .949 .617 46755840
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i unknown 7.87 4.40 302759936 error (invalid witness file) .911 .598 47403008
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i unknown 7.84 4.55 301674496 error (invalid witness file) .932 .596 47902720
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i unknown 7.88 4.42 296620032 error (invalid witness file) .961 .620 47284224
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i unknown 8.19 4.63 297697280 error (invalid witness file) .875 .576 45830144
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 7.99 4.72 304091136 error (invalid witness file) .940 .623 46948352
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i unknown 8.07 4.64 304177152 error (invalid witness file) .897 .584 46268416
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.29 4.23 295604224 error (invalid witness file) .902 .597 46751744
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i unknown 7.33 4.46 300052480 error (invalid witness file) .920 .615 47005696
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 442 162000   151000   420266647552 442 3390   2510   57951645696
    correct results 175 9370   7750   99934883840 15 77.6 43.9 4559810560
        correct true 108 4680   3790   55475707904 0
        correct false 67 4690   3960   44459175936 15 77.6 43.9 4559810560
    incorrect results 3 155   134   1462624256 0
        incorrect true 2 24.6 16.0 753041408 0
        incorrect false 1 131   118   709582848 0
score (442 tasks, max score: 719) 203 15
Run set ultimateautomizer--memsafety.ultimateautomizer cpaw2t-ultimateautomizer--memsafety-validation.witnessValidation