Tool ULTIMATE Automizer 0.1.24-91b1670e CProver witness2test 0.1
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic Linux 4.15.0-48-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set ultimateautomizer--memsafety.ultimateautomizer fshellw2t-ultimateautomizer--memsafety-validation.witnessValidation
Options --full-output --graphml-witness test/results/ultimateautomizer--reachsafety.logfiles/ultimateautomizer.${inputfile_name}.files/witness.graphml
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) 9.61 5.72 320679936 error (invalid witness file) .00206 .00259 524288
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 8.12 4.66 311635968 error (invalid witness file) .00520 .00657 524288
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 8.93 5.38 326750208 error (invalid witness file) .00554 .00692 528384
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.36 4.18 313802752 error (invalid witness file) .00226 .00312 524288
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 14.5  9.18 520572928 error (invalid witness file) .00613 .00858 430080
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 11.1  6.29 385990656 error (invalid witness file) .00475 .00590 528384
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.12 4.14 317726720 error (invalid witness file) .00487 .00597 524288
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 7.46 4.65 311529472 error (invalid witness file) .00494 .00607 524288
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 23.9  17.6  523460608 error (invalid witness file) .00567 .00724 524288
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.22 4.97 311988224 error (invalid witness file) .00264 .0104  512000
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 9.13 5.48 324296704 error (invalid witness file) .00239 .00298 524288
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 14.4  8.62 493727744 error (invalid witness file) .00577 .00729 524288
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 9.52 5.78 330952704 error (invalid witness file) .00307 .00416 524288
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 10.4  6.21 351834112 error (invalid witness file) .00208 .00257 524288
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 9.86 5.59 332906496 error (invalid witness file) .00179 .00224 524288
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 7.69 4.88 316162048 error (invalid witness file) .00457 .00597 524288
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 6.84 3.97 309780480 error (invalid witness file) .00474 .00595 524288
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout 961    881    1371299840 error (invalid witness file) .00161 .00206 524288
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 11.5  6.69 415789056 error (invalid witness file) .00506 .00633 524288
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 12.0  7.42 459628544 error (invalid witness file) .00289 .00439 495616
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 12.5  7.38 448983040 error (invalid witness file) .00181 .00227 524288
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 11.1  6.54 400777216 error (invalid witness file) .00583 .00805 524288
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 15.3  8.86 523649024 error (invalid witness file) .00462 .00556 393216
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 960    925    2545856512 error (invalid witness file) .00457 .00575 524288
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 14.4  9.15 519368704 error (invalid witness file) .00468 .00690 524288
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 27.5  17.8  560340992 error (invalid witness file) .00449 .00655 524288
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 21.4  13.5  589225984 error (invalid witness file) .00191 .00211 393216
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 25.9  16.8  644321280 error (invalid witness file) .00423 .00533 548864
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 13.4  8.36 524386304 error (invalid witness file) .00210 .00261 524288
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 960    914    2210668544 error (invalid witness file) .00520 .00653 524288
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 26.2  17.5  669716480 error (invalid witness file) .00477 .00608 524288
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 22.6  14.1  667590656 error (invalid witness file) .00488 .00604 528384
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 54.8  42.0  826593280 error (invalid witness file) .00571 .00714 524288
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 71.3  57.6  874979328 error (invalid witness file) .00215 .00270 524288
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 24.1  15.0  606814208 error (invalid witness file) .00193 .00248 524288
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 16.7  10.4  474509312 error (invalid witness file) .00584 .00718 528384
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 12.4  7.59 457314304 error (invalid witness file) .00601 .00759 524288
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 26.5  16.6  691503104 error (invalid witness file) .00422 .00522 524288
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 25.5  19.8  467496960 error (invalid witness file) .00657 .00868 524288
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 16.5  9.68 469614592 error (invalid witness file) .00199 .00245 524288
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 15.3  9.14 458407936 error (invalid witness file) .00390 .00491 528384
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 22.5  16.2  535240704 error (invalid witness file) .00166 .00217 524288
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 14.7  9.28 474124288 error (invalid witness file) .00366 .00451 524288
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 19.1  12.2  585805824 error (invalid witness file) .00466 .00568 528384
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 49.7  32.0  629370880 error (invalid witness file) .00431 .00631 524288
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 960    915    3085176832 error (invalid witness file) .00458 .00503 393216
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 31.3  21.8  699432960 error (invalid witness file) .00572 .0105  524288
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 17.8  10.9  538136576 error (invalid witness file) .00497 .00615 524288
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i error (7) 625    596    1139593216 error (invalid witness file) .00230 .00289 524288
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 41.0  26.1  787722240 error (invalid witness file) .00467 .00608 524288
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 14.3  9.02 467185664 error (invalid witness file) .00164 .00231 524288
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 961    897    2166558720 error (invalid witness file) .00153 .00170 393216
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 35.9  24.6  606720000 error (invalid witness file) .00482 .00608 524288
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 30.9  20.5  695664640 error (invalid witness file) .00183 .00260 495616
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 13.3  8.27 470827008 error (invalid witness file) .00223 .00278 524288
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 38.0  28.1  705470464 error (invalid witness file) .00376 .00435 397312
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 29.4  19.3  554483712 error (invalid witness file) .00514 .00653 524288
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (true) 959    919    1139625984 error (invalid witness file) .00209 .00262 524288
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 14.6  9.08 474046464 error (invalid witness file) .00500 .00623 524288
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 20.7  12.6  623820800 error (invalid witness file) .00156 .00198 524288
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 13.6  7.92 455581696 error (invalid witness file) .00210 .00331 487424
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 12.3  7.50 468140032 error (invalid witness file) .00489 .0151  499712
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 20.3  13.4  547893248 error (invalid witness file) .00177 .00228 524288
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 39.5  30.0  587292672 error (invalid witness file) .00248 .00317 524288
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 255    233    1084104704 error (invalid witness file) .00151 .00191 524288
array-examples/relax_false-valid-deref.i false(valid-deref) 9.91 5.99 346435584 error (invalid witness file) .00209 .00264 528384
array-examples/sanfoundry_24_false-valid-deref.i timeout 961    803    1368403968 error (invalid witness file) .00154 .00194 393216
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 961    895    1032802304 error (invalid witness file) .00526 .00659 524288
array-examples/standard_strcpy_original_false-valid-deref.i timeout 961    887    928034816 error (invalid witness file) .00202 .00256 524288
array-memsafety-realloc/array-realloc_false-valid-free.i false(valid-free) 11.5  6.83 389423104 error (invalid witness file) .00191 .00353 491520
array-memsafety-realloc/array-realloc_true-valid-memsafety.i true 31.2  21.3  514801664 error (invalid witness file) .00591 .00752 524288
memsafety/960521-1_false-valid-deref.i timeout 960    935    818769920 error (invalid witness file) .00290 .00590 487424
memsafety/test-0137_false-valid-deref.i error (7) 10.9  6.78 294113280 error (invalid witness file) .00446 .00539 524288
memsafety/test-0235_false-valid-deref.i timeout 960    933    2158149632 error (invalid witness file) .00475 .00594 524288
memsafety/960521-1_false-valid-free.i timeout 960    933    945840128 error (invalid witness file) .00299 .00376 524288
memsafety/test-0158_false-valid-free.i false(valid-free) 11.0  6.15 359063552 error (invalid witness file) .00368 .00473 524288
memsafety/test-0232_false-valid-free.i false(valid-free) 508    478    1857142784 error (invalid witness file) .00575 .00712 524288
memsafety/20020406-1_false-valid-memtrack.i timeout 960    946    1134686208 error (invalid witness file) .00436 .00536 524288
memsafety/20051113-1.c_false-valid-memtrack.i timeout 960    930    708165632 error (invalid witness file) .00467 .00592 524288
memsafety/lockfree-3.1_false-valid-memtrack.i unknown 89.3  56.7  903483392 error (invalid witness file) .00165 .00205 524288
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 26.1  14.9  517169152 error (invalid witness file) .00155 .00235 655360
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 139    92.6  2657484800 error (invalid witness file) .00345 .00435 524288
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 28.1  17.9  523657216 error (invalid witness file) .00479 .00591 393216
memsafety/test-0102_false-valid-memtrack.i error (7) 11.3  6.56 297635840 error (invalid witness file) .00454 .0122  524288
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 16.4  9.60 321609728 error (invalid witness file) .00518 .00702 524288
memsafety/test-0220_false-valid-memtrack.i timeout 960    932    1325596672 error (invalid witness file) .00194 .00245 524288
memsafety/test-0232_false-valid-memtrack.i unknown 59.2  41.8  698572800 error (invalid witness file) .00467 .00586 393216
memsafety/test-0234_false-valid-memtrack.i timeout 961    931    2304385024 error (invalid witness file) .00543 .00647 528384
memsafety/test-0235_false-valid-memtrack.i timeout 960    929    2256683008 error (invalid witness file) .00196 .00251 524288
memsafety/960521-1_true-valid-memsafety.i timeout 960    936    806354944 error (invalid witness file) .00498 .00700 524288
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 960    818    9841156096 error (invalid witness file) .00397 .00439 393216
memsafety/test-0019_true-valid-memsafety_true-termination.i true 19.6  12.4  502366208 error (invalid witness file) .00427 .00526 524288
memsafety/test-0102_true-valid-memsafety.i error (7) 11.2  6.50 301035520 error (invalid witness file) .00251 .00342 524288
memsafety/test-0134_true-valid-memsafety.i error (7) 13.7  7.86 301297664 error (invalid witness file) .00236 .00326 524288
memsafety/test-0158_true-valid-memsafety_true-termination.i true 10.8  6.50 357801984 error (invalid witness file) .00477 .00652 524288
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 961    914    1586057216 error (invalid witness file) .00272 .00345 528384
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 960    924    2060390400 error (invalid witness file) .00531 .00642 524288
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 960    907    1149669376 error (invalid witness file) .00370 .00474 524288
memsafety/test-0219_true-valid-memsafety.i timeout 960    933    1151913984 error (invalid witness file) .00117 .00130 393216
memsafety/test-0232_true-valid-memsafety.i timeout 960    930    1587548160 error (invalid witness file) .00162 .00183 393216
memsafety/test-0234_true-valid-memsafety.i timeout 960    929    2587533312 error (invalid witness file) .00582 .00740 524288
memsafety/test-0235_true-valid-memsafety.i timeout 960    935    2188513280 error (invalid witness file) .00453 .00557 524288
memsafety/test-0236_true-valid-memsafety.i timeout 961    933    2129534976 error (invalid witness file) .00218 .00291 524288
memsafety/test-0237_true-valid-memsafety.i timeout 960    936    1017397248 error (invalid witness file) .00218 .00270 524288
memsafety/test-0504_true-valid-memsafety.i timeout 960    864    3394387968 error (invalid witness file) .00175 .00230 524288
memsafety/test-0513_true-valid-memsafety.i timeout 961    878    2176053248 error (invalid witness file) .00594 .00744 524288
memsafety/test-0521_true-valid-memsafety.i timeout 960    895    2856169472 error (invalid witness file) .00639 .00797 524288
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout 961    891    1944489984 error (invalid witness file) .00372 .00737 487424
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 961    871    980910080 error (invalid witness file) .00158 .00203 524288
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 960    897    1149079552 error (invalid witness file) .00489 .00583 524288
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 960    913    2037161984 error (invalid witness file) .00460 .00598 528384
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 961    932    1044611072 error (invalid witness file) .00548 .00696 528384
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 961    930    1017540608 error (invalid witness file) .00168 .00224 524288
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 961    905    2340896768 error (invalid witness file) .00554 .00716 528384
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 960    926    1066541056 error (invalid witness file) .00331 .00425 655360
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 961    909    2008158208 error (invalid witness file) .00163 .00211 524288
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 960    926    4369051648 error (invalid witness file) .00160 .00181 393216
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 961    894    1102503936 error (invalid witness file) .00201 .00257 524288
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 961    913    1023717376 error (invalid witness file) .00499 .00626 524288
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 960    930    1394089984 error (invalid witness file) .00489 .00622 524288
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 960    924    2310795264 error (invalid witness file) .00577 .00731 528384
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 961    888    1155280896 error (invalid witness file) .00431 .00476 393216
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 960    917    986476544 error (invalid witness file) .00194 .00241 524288
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 961    926    1976442880 error (invalid witness file) .00168 .00216 524288
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 961    910    2263162880 error (invalid witness file) .00471 .00598 528384
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 960    926    1920524288 error (invalid witness file) .00207 .00257 528384
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 13.5  8.16 504012800 error (invalid witness file) .00624 .00856 524288
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout 961    841    1881153536 false(valid-deref) .658   .661   20480000
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 11.3  6.45 423260160 error (invalid witness file) .00530 .00657 524288
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 16.1  9.57 536932352 error (invalid witness file) .00191 .00247 524288
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 11.1  6.64 348110848 error (invalid witness file) .00480 .00589 524288
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 120    96.6  837365760 error (invalid witness file) .00152 .00175 393216
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 18.6  10.7  332406784 error (invalid witness file) .00496 .00623 524288
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 63.5  45.1  693788672 error (invalid witness file) .00473 .00576 524288
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout 960    947    1074462720 error (invalid witness file) .00348 .00469 524288
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 961    857    1937309696 error (invalid witness file) .00202 .00249 524288
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 960    891    2067124224 error (invalid witness file) .00535 .00852 499712
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 960    904    2192461824 error (invalid witness file) .00225 .00290 524288
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 34.7  23.4  623935488 error (invalid witness file) .00529 .00714 528384
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 10.9  6.58 345358336 error (invalid witness file) .00196 .00254 524288
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 961    915    1085280256 error (invalid witness file) .00409 .00528 524288
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 960    910    2657054720 error (invalid witness file) .00535 .00661 524288
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i timeout 960    927    1243316224 error (invalid witness file) .00486 .00626 524288
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 961    912    1069768704 error (invalid witness file) .00581 .00777 524288
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout 961    899    2061389824 error (invalid witness file) .00397 .00440 393216
memory-alloca/c.03-alloca_true-valid-memsafety.i true 12.5  7.43 421675008 error (invalid witness file) .00387 .00451 528384
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 9.28 5.72 324214784 error (invalid witness file) .00562 .00698 524288
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 9.35 5.82 335646720 error (invalid witness file) .00645 .00870 524288
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.05 5.01 320647168 error (invalid witness file) .00473 .00581 528384
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.56 4.89 317337600 error (invalid witness file) .00479 .00596 524288
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 699    614    4637753344 error (invalid witness file) .00417 .00529 528384
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 657    567    4634820608 error (invalid witness file) .00563 .00748 524288
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 7.47 4.66 312446976 error (invalid witness file) .00600 .00841 524288
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.22 4.67 315662336 error (invalid witness file) .00165 .00216 524288
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 6.98 4.52 316375040 error (invalid witness file) .00399 .00446 393216
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 7.29 4.59 311386112 error (invalid witness file) .00218 .00253 397312
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.05 4.46 313507840 error (invalid witness file) .00253 .00340 524288
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.49 4.81 319287296 error (invalid witness file) .00559 .00869 524288
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 960    922    2778251264 error (invalid witness file) .00167 .00240 524288
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 27.8  20.6  592437248 error (invalid witness file) .00184 .00234 524288
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 25.0  15.1  508313600 error (invalid witness file) .00239 .00322 524288
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 20.6  12.7  573923328 error (invalid witness file) .00355 .00503 528384
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 19.3  11.8  494206976 error (invalid witness file) .00183 .00230 524288
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 22.9  13.9  488325120 error (invalid witness file) .00400 .00446 393216
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 11.1  6.65 367656960 error (invalid witness file) .00509 .00627 524288
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 11.4  6.45 357986304 error (invalid witness file) .00131 .00145 393216
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 7.48 4.72 316071936 error (invalid witness file) .00198 .00313 499712
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 9.75 6.15 352571392 error (invalid witness file) .00237 .00271 393216
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 9.84 6.17 347955200 error (invalid witness file) .00594 .00726 524288
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 11.5  6.93 341819392 error (invalid witness file) .00217 .00267 524288
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 9.64 5.72 337543168 error (invalid witness file) .00237 .00317 524288
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 10.2  6.00 346517504 error (invalid witness file) .00463 .00671 524288
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 10.1  5.91 346419200 error (invalid witness file) .00184 .00229 524288
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error (7) 12.2  6.90 305045504 error (invalid witness file) .00416 .00517 524288
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 623    573    2222235648 error (invalid witness file) .00195 .00250 524288
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout 960    900    2705137664 error (invalid witness file) .00529 .00654 524288
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 140    128    716693504 error (invalid witness file) .00559 .00698 528384
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 64.2  44.4  895459328 error (invalid witness file) .00365 .00457 524288
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 160    136    694800384 error (invalid witness file) .00480 .00611 524288
ldv-memsafety/memleaks_test12_false-valid-free.i timeout 961    905    1677537280 error (invalid witness file) .00165 .00192 524288
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 322    279    2024673280 error (invalid witness file) .00478 .00609 524288
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 262    240    675352576 error (invalid witness file) .00584 .00969 491520
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 11.3  6.81 378384384 error (invalid witness file) .00515 .00708 524288
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 11.8  6.78 349528064 error (invalid witness file) .00147 .00167 393216
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 20.2  11.9  490831872 error (invalid witness file) .00491 .00609 524288
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 12.9  7.17 415916032 error (invalid witness file) .00555 .00902 569344
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout 960    919    825061376 error (invalid witness file) .00483 .00992 528384
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 887    836    809951232 error (invalid witness file) .00555 .00747 524288
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 215    198    692105216 error (invalid witness file) .00226 .00279 524288
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 619    571    818671616 error (invalid witness file) .00319 .00394 524288
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error (7) 11.8  6.48 304484352 error (invalid witness file) .00451 .00547 524288
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error (7) 11.9  7.21 302731264 error (invalid witness file) .00452 .00578 524288
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 960    927    1451487232 error (invalid witness file) .00629 .00831 524288
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 25.3  14.6  433577984 error (invalid witness file) .00448 .00542 393216
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 21.8  12.8  368848896 error (invalid witness file) .00328 .00394 528384
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout 961    901    2044620800 error (invalid witness file) .00602 .00742 397312
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout 960    926    1123766272 error (invalid witness file) .00546 .0154  528384
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 38.2  24.3  536408064 error (invalid witness file) .00509 .00617 524288
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout 960    927    1017110528 error (invalid witness file) .00471 .00584 524288
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 282    250    980054016 error (invalid witness file) .00465 .00619 524288
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 20.2  11.6  359161856 error (invalid witness file) .00378 .00515 524288
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 23.4  13.6  405942272 error (invalid witness file) .00202 .00253 528384
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 22.8  13.1  370774016 error (invalid witness file) .00629 .00776 524288
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 303    263    1316929536 error (invalid witness file) .00308 .00384 528384
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 62.5  42.7  997036032 error (invalid witness file) .00385 .00515 524288
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 315    271    1323012096 error (invalid witness file) .00460 .00563 524288
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 25.3  14.7  421404672 error (invalid witness file) .00392 .00680 483328
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 20.5  11.8  348737536 error (invalid witness file) .00401 .00435 393216
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 23.0  13.5  399286272 error (invalid witness file) .00366 .00510 524288
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 112    96.4  591417344 error (invalid witness file) .00453 .00543 393216
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 92.3  77.7  618852352 error (invalid witness file) .00423 .00518 524288
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 111    97.5  523247616 error (invalid witness file) .00177 .00223 528384
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 20.1  11.6  358092800 error (invalid witness file) .00475 .00588 524288
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 24.3  14.2  407101440 error (invalid witness file) .00524 .00648 524288
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 20.4  11.5  371175424 error (invalid witness file) .00492 .0163  430080
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout 960    922    821514240 error (invalid witness file) .00125 .00139 393216
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i timeout 961    910    926863360 error (invalid witness file) .00488 .00688 528384
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout 961    905    1487949824 error (invalid witness file) .00433 .00535 524288
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 87.3  60.1  861425664 error (invalid witness file) .00468 .00597 524288
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error (7) 12.2  7.42 292347904 error (invalid witness file) .00498 .00607 524288
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout 960    928    1501704192 error (invalid witness file) .00428 .00643 491520
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 15.4  9.14 535044096 error (invalid witness file) .00209 .00260 524288
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout 961    904    2063548416 error (invalid witness file) .00167 .00218 524288
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout 961    881    1104420864 error (invalid witness file) .00456 .00496 393216
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout 960    932    1153404928 error (invalid witness file) .00229 .00282 524288
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i timeout 960    917    818757632 error (invalid witness file) .00514 .00718 524288
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 13.8  8.00 453787648 error (invalid witness file) .00412 .00439 393216
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 14.4  8.81 486178816 error (invalid witness file) .00488 .00601 528384
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 17.0  9.81 531357696 error (invalid witness file) .00521 .00654 524288
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout 961    898    2644148224 error (invalid witness file) .00578 .00711 524288
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout 961    894    2871246848 error (invalid witness file) .00141 .00154 393216
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout 961    922    3636895744 error (invalid witness file) .00499 .00618 524288
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i false(valid-deref) 131    118    709582848 error (invalid witness file) .00588 .00809 524288
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 961    895    2596335616 error (invalid witness file) .00574 .00723 524288
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 14.4  8.49 478265344 error (invalid witness file) .00601 .00829 524288
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 31.4  23.5  548478976 error (invalid witness file) .00231 .00295 524288
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 14.3  8.57 482930688 error (invalid witness file) .00285 .00352 524288
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 21.3  12.6  486731776 error (invalid witness file) .00525 .00634 524288
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 20.7  12.1  561426432 error (invalid witness file) .00519 .00708 524288
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 12.7  7.61 461635584 error (invalid witness file) .00214 .00260 524288
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 13.2  7.42 459984896 error (invalid witness file) .00456 .00555 524288
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i error (7) 9.70 5.31 268812288 error (invalid witness file) .00507 .00608 524288
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i error (7) 9.80 5.42 277684224 error (invalid witness file) .00457 .00569 655360
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i error (7) 9.77 5.78 276471808 error (invalid witness file) .00508 .00694 524288
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i error (7) 10.2  5.68 288292864 error (invalid witness file) .00194 .00242 524288
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i error (7) 10.2  5.54 273477632 error (invalid witness file) .00545 .00676 524288
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i error (7) 9.87 5.76 272953344 error (invalid witness file) .00156 .00205 524288
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i error (7) 9.91 5.80 272269312 error (invalid witness file) .00121 .00134 393216
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i error (7) 9.62 5.81 273186816 error (invalid witness file) .00563 .00767 524288
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i error (7) 9.94 6.29 280100864 error (invalid witness file) .00461 .00568 528384
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i error (7) 9.60 6.14 277098496 error (invalid witness file) .00589 .00753 524288
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 961    905    1096294400 error (invalid witness file) .00228 .00292 524288
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 960    916    997634048 error (invalid witness file) .00188 .00233 524288
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i error (7) 830    748    2440822784 error (invalid witness file) .00500 .00618 524288
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 960    933    2155827200 error (invalid witness file) .00176 .00221 524288
heap-manipulation/tree_false-unreach-call_false-valid-deref.i false(valid-deref) 367    338    1524846592 true .702   .727   20475904
heap-manipulation/tree_false-valid-deref.i false(valid-deref) 9.64 5.70 326963200 error (invalid witness file) .00457 .00609 495616
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 961    898    1561665536 error (invalid witness file) .00450 .00563 524288
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 73.0  49.9  740798464 true .659   .665   20598784
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 960    917    1320587264 error (invalid witness file) .00478 .00584 524288
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 960    927    1533640704 error (invalid witness file) .00487 .00602 528384
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 960    860    2042871808 error (invalid witness file) .00292 .00443 528384
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 20.8  12.4  348991488 error (invalid witness file) .00416 .00770 495616
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 29.0  17.9  473989120 error (invalid witness file) .00226 .00281 524288
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 20.4  12.3  379543552 error (invalid witness file) .00425 .00495 397312
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 24.2  14.8  474701824 error (invalid witness file) .00206 .00397 524288
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 20.8  11.8  353189888 error (invalid witness file) .00514 .00628 524288
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i error (7) 30.1  16.9  510443520 error (invalid witness file) .00403 .00637 483328
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i error (7) 31.2  17.4  516456448 error (invalid witness file) .00467 .00557 524288
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i error (7) 30.6  17.4  510656512 error (invalid witness file) .00501 .00610 524288
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i error (7) 30.4  17.3  524111872 error (1) .137   .146   14340096
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i error (7) 30.3  17.1  514297856 error (1) .119   .118   14143488
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i error (7) 29.7  17.1  505491456 error (1) .114   .118   14249984
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i error (7) 29.2  16.5  509603840 error (1) .116   .115   14397440
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i error (7) 30.3  17.1  535842816 error (1) .136   .135   14364672
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i error (7) 30.7  17.1  524746752 error (1) .139   .154   14405632
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i error (7) 30.2  16.9  508100608 error (1) .126   .132   14405632
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i error (7) 28.3  16.3  517644288 error (1) .120   .122   14282752
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i error (7) 29.4  16.5  524496896 error (1) .131   .129   14163968
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i error (7) 29.4  17.1  527421440 error (1) .145   .156   14241792
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 961    893    1666547712 error (invalid witness file) .00271 .00342 524288
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 961    899    1312182272 error (invalid witness file) .00191 .00240 528384
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 961    882    2112450560 error (invalid witness file) .00443 .0128  524288
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 961    871    1198419968 error (invalid witness file) .00479 .00583 524288
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 961    867    2233495552 error (invalid witness file) .00546 .00663 524288
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 961    873    2567647232 error (invalid witness file) .00142 .00176 393216
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 961    901    1990148096 error (invalid witness file) .00555 .00683 524288
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 961    869    1875664896 error (invalid witness file) .00165 .00182 393216
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 960    919    1599393792 error (invalid witness file) .00597 .00733 528384
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 961    901    1999331328 error (invalid witness file) .00578 .00992 495616
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (7)) 942    858    2125443072 error (invalid witness file) .00393 .00557 524288
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 962    849    1128677376 error (invalid witness file) .00454 .00577 524288
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 961    874    2296279040 error (invalid witness file) .00452 .00551 524288
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 960    863    1023705088 error (invalid witness file) .00436 .00529 524288
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 961    817    2378797056 error (invalid witness file) .00461 .00588 524288
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 961    885    2357710848 error (invalid witness file) .00592 .00859 466944
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 961    865    2144514048 error (invalid witness file) .00444 .00536 524288
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 961    850    2260938752 error (invalid witness file) .00214 .00407 524288
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 961    895    2268221440 error (invalid witness file) .00154 .00174 393216
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 80.7  55.8  1042231296 true .664   .664   20283392
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 38.2  23.9  599928832 false(valid-deref) .719   .735   20414464
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 63.2  42.0  918192128 true .678   .686   20344832
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 961    912    1082707968 error (invalid witness file) .00535 .00662 544768
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    927    978817024 error (invalid witness file) .00338 .00438 524288
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    935    1163890688 error (invalid witness file) .00225 .00292 524288
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    935    774406144 error (invalid witness file) .00463 .00553 393216
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 960    919    999473152 error (invalid witness file) .00452 .0143  528384
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    933    839507968 error (invalid witness file) .00213 .00261 524288
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    925    1419710464 error (1) .103   .112   10919936
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 961    903    1020907520 error (1) .0819  .0811  10911744
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 303    271    979537920 error (invalid witness file) .00455 .00574 393216
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i true 328    296    1128108032 error (1) .0783  .0788  10883072
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i error (7) 738    707    2183208960 error (invalid witness file) .00401 .00449 393216
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 961    932    1367011328 error (invalid witness file) .00157 .00270 507904
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    940    1138135040 error (invalid witness file) .00486 .00588 524288
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    936    2298953728 error (invalid witness file) .00393 .00478 524288
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 960    936    847507456 error (invalid witness file) .00213 .00270 528384
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    935    1034842112 error (invalid witness file) .00570 .00701 524288
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    923    1571905536 error (1) .0736  .0839  11026432
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 157    133    848973824 error (1) .0822  .0929  10747904
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    911    2100473856 error (1) .101   .101   10907648
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 961    919    1405390848 error (1) .0843  .0834  10903552
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 961    927    1630117888 error (invalid witness file) .00441 .00623 503808
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    930    1339359232 error (invalid witness file) .00191 .00247 528384
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    929    1349697536 error (invalid witness file) .00453 .00574 524288
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 961    929    1290493952 error (invalid witness file) .00632 .00838 524288
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 960    931    1695633408 error (invalid witness file) .00155 .00198 524288
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 961    929    1280630784 error (invalid witness file) .00573 .00720 524288
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 961    901    679579648 error (1) .0986  .101   10838016
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 357    323    699006976 error (invalid witness file) .00551 .00666 528384
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    914    1932763136 error (1) .104   .118   10768384
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 960    912    1028304896 error (1) .0991  .118   10772480
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i error (7) 698    676    2364055552 error (invalid witness file) .00570 .00729 524288
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    938    2169249792 error (invalid witness file) .00145 .00161 393216
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    940    1038352384 error (invalid witness file) .00176 .00227 524288
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    937    994328576 error (invalid witness file) .00431 .00587 524288
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 961    939    958996480 error (invalid witness file) .00181 .00410 655360
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    936    866902016 error (invalid witness file) .00412 .00523 524288
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 961    913    1347407872 error (1) .0721  .0717  10993664
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 322    303    859869184 error (1) .0907  .100   10924032
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 478    450    1184210944 error (1) .0817  .0903  11026432
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i true 608    567    790257664 error (1) .0993  .0963  10809344
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 960    934    997367808 error (invalid witness file) .00634 .00803 524288
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i timeout 960    937    1736990720 error (invalid witness file) .00544 .00643 524288
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i timeout 961    891    2108899328 error (invalid witness file) .00465 .00591 524288
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 960    930    1448177664 error (invalid witness file) .00677 .00849 524288
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i timeout 961    893    2477432832 error (invalid witness file) .00579 .00716 524288
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i timeout 960    923    1302917120 error (invalid witness file) .00210 .00263 524288
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 960    939    639328256 error (invalid witness file) .00402 .00527 524288
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i true 15.8  10.2  481058816 error (invalid witness file) .00449 .00551 524288
list-ext3-properties/dll_circular_traversal_false-valid-deref.i timeout 960    907    1706938368 error (invalid witness file) .00323 .00376 397312
list-ext3-properties/sll_circular_traversal_false-valid-deref.i timeout 961    912    4248809472 error (invalid witness file) .00191 .00246 524288
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i unknown 266    228    947859456 error (invalid witness file) .00228 .00277 528384
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i unknown 36.3  26.4  495857664 error (invalid witness file) .00510 .00650 524288
loops/invert_string_false-valid-deref.c false(valid-deref) 7.54 4.78 320204800 error (invalid witness file) .00211 .00263 524288
loop-acceleration/array3_false-valid-deref.i timeout 961    905    1137643520 error (invalid witness file) .00210 .00271 524288
ntdrivers/floppy_false-valid-deref.i.cil.c false(valid-deref) 67.8  42.8  1354051584 error (invalid witness file) .00467 .00583 524288
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 28.9  17.9  773115904 error (invalid witness file) .00517 .00645 524288
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.1  7.56 427782144 false(valid-deref) .944   .949   21512192
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.1  6.97 424382464 error (1) .164   .178   18767872
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.93 5.57 337768448 error (1) .138   .143   14290944
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.93 5.98 339468288 false(valid-deref) .887   .891   21643264
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.0  5.99 344977408 error (1) .107   .108   14008320
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.4  6.75 379551744 false(valid-deref) .978   .995   21815296
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.5  6.35 388128768 error (1) .145   .153   15949824
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.23 4.71 320651264 error (1) .0879  .0880  11288576
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.16 5.22 328044544 false(valid-deref) .796   .801   21295104
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.66 5.92 328458240 error (1) .121   .126   13086720
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 7.08 4.51 310136832 error (1) .0798  .0796  10719232
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 7.48 4.71 310394880 error (1) .104   .102   10919936
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 7.32 4.17 313581568 error (1) .0837  .0847  10702848
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 7.47 4.24 307224576 error (1) .109   .107   10711040
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 7.64 4.81 311799808 false(valid-deref) .668   .679   20660224
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 7.37 4.28 311144448 error (1) .0812  .0818  10862592
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 7.81 4.86 312102912 false(valid-deref) .691   .714   20738048
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 6.94 4.05 309518336 error (1) .0888  .0973  10813440
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.78 4.34 322273280 error (1) .0814  .0833  10878976
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 6.73 4.33 308404224 error (1) .103   .115   10952704
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 6.97 4.48 312037376 error (1) .100   .0971  10932224
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 6.89 4.01 309538816 error (1) .0931  .0948  10887168
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.16 4.11 312107008 error (1) .0881  .0967  10829824
memsafety-ext3/derefAfterFree1_false-valid-deref.c false(valid-deref) 7.78 4.85 314331136 error (invalid witness file) .00608 .00897 495616
memsafety-ext3/derefAfterFree2_false-valid-deref.c false(valid-deref) 11.7  7.26 438755328 error (invalid witness file) .00505 .00614 393216
memsafety-ext3/derefInLoop1_false-valid-deref.c false(valid-deref) 7.66 4.44 314998784 error (invalid witness file) .00183 .00226 524288
memsafety-ext3/getNumbers1_false-valid-deref.c false(valid-deref) 14.0  8.09 458313728 error (invalid witness file) .00164 .00213 524288
memsafety-ext3/getNumbers2_false-valid-deref.c false(valid-deref) 25.3  15.9  634626048 error (invalid witness file) .00174 .00224 528384
memsafety-ext3/getNumbers4_false-valid-deref.c false(valid-deref) 71.2  51.7  1034936320 error (invalid witness file) .00195 .00359 495616
memsafety-ext3/naturalNumbers1_false-valid-deref.c true 10.2  6.36 355819520 error (invalid witness file) .00168 .00215 655360
memsafety-ext3/realloc1_false-valid-deref.c false(valid-deref) 15.6  9.20 472555520 error (invalid witness file) .00454 .00554 524288
memsafety-ext3/scopes1_false-valid-deref.c false(valid-deref) 6.90 4.01 310558720 error (invalid witness file) .00176 .00226 524288
memsafety-ext3/scopes2_false-valid-deref.c false(valid-deref) 7.19 4.59 317124608 error (invalid witness file) .00400 .00442 393216
memsafety-ext3/scopes3_false-valid-deref.c false(valid-deref) 13.6  8.07 493776896 error (invalid witness file) .00495 .00610 524288
memsafety-ext3/scopes4_false-valid-deref.c false(valid-deref) 7.35 4.72 314220544 error (invalid witness file) .00469 .00576 524288
memsafety-ext3/scopes5_false-valid-deref.c false(valid-deref) 6.70 4.33 304304128 error (invalid witness file) .00161 .00198 524288
memsafety-ext3/freeAlloca_false-valid-free.c true 14.5  9.69 397221888 error (invalid witness file) .00218 .00289 524288
memsafety-ext3/getNumbers1_true-valid-memsafety.c true 15.0  8.65 487702528 error (invalid witness file) .00627 .00761 524288
memsafety-ext3/getNumbers3_true-valid-memsafety.c true 10.6  6.09 370266112 error (invalid witness file) .00469 .00668 495616
memsafety-ext3/getNumbers4_true-valid-memsafety.c true 59.6  38.3  990687232 error (invalid witness file) .00486 .00617 524288
memsafety-ext3/scopes4_true-valid-memsafety.c true 11.5  6.53 359542784 error (invalid witness file) .00395 .00439 393216
pthread-memsafety/fillarray1_false-valid-deref.i error (7) 16.2  9.44 334921728 error (invalid witness file) .00285 .00398 524288
pthread-memsafety/fillarray_false-valid-deref.i error (7) 16.5  9.87 335372288 error (invalid witness file) .00159 .00173 393216
pthread-memsafety/list1_false-valid-deref.i error (7) 18.1  10.8  338833408 error (invalid witness file) .00216 .00273 524288
busybox-1.22.0/basename_false-valid-deref.i timeout 960    901    2738368512 error (invalid witness file) .00468 .00585 524288
busybox-1.22.0/head_false-valid-deref.i unknown 7.69 4.39 296996864 error (invalid witness file) .00508 .00669 524288
busybox-1.22.0/sleep_false-valid-deref.i unknown 8.06 4.63 292958208 error (invalid witness file) .00225 .00287 393216
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i unknown 9.53 5.34 301154304 error (invalid witness file) .00458 .00562 524288
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 193    163    2682007552 error (invalid witness file) .00206 .00279 524288
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i unknown 8.47 5.04 280752128 error (invalid witness file) .00235 .00290 524288
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) .00343 .00447 524288
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) .00545 .00722 524288
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i timeout 961    905    3028484096 error (invalid witness file) .00429 .00631 524288
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i unknown 8.58 5.00 303353856 error (invalid witness file) .00393 .00494 524288
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i unknown 8.14 4.57 300552192 error (invalid witness file) .00567 .00711 524288
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) .00411 .00516 524288
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i unknown 8.19 4.71 306180096 error (invalid witness file) .00383 .00623 491520
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i unknown 7.79 4.57 291287040 error (invalid witness file) .00377 .00468 524288
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i timeout 961    886    2031513600 error (invalid witness file) .00420 .00545 413696
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i unknown 7.61 4.35 300253184 error (invalid witness file) .00257 .00323 524288
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) .00233 .00286 524288
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i unknown 8.15 4.66 300568576 error (invalid witness file) .00510 .00652 524288
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.62 4.33 300888064 error (invalid witness file) .00199 .00247 524288
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) .00447 .00539 524288
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) .00184 .00235 528384
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i unknown 7.88 4.52 294408192 error (invalid witness file) .00516 .00754 524288
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i unknown 7.82 4.40 298745856 error (invalid witness file) .00494 .00622 524288
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i unknown 8.28 4.82 307843072 error (invalid witness file) .00488 .00625 524288
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i unknown 7.81 4.47 309665792 error (invalid witness file) .00514 .00616 528384
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i unknown 8.32 4.79 306192384 error (invalid witness file) .00481 .00591 524288
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) .00397 .00439 393216
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i unknown 7.52 4.34 304144384 error (invalid witness file) .00516 .00665 528384
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i unknown 7.90 4.41 304267264 error (invalid witness file) .00307 .00397 524288
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i unknown 7.75 4.38 304476160 error (invalid witness file) .00516 .00645 524288
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) .00211 .00323 495616
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) .00652 .00871 499712
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i unknown 7.87 4.40 302759936 error (invalid witness file) .00263 .00327 524288
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i unknown 7.84 4.55 301674496 error (invalid witness file) .00160 .00249 499712
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i unknown 7.88 4.42 296620032 error (invalid witness file) .00524 .00922 417792
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i unknown 8.19 4.63 297697280 error (invalid witness file) .00182 .00233 524288
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) .00191 .00347 393216
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i unknown 8.07 4.64 304177152 error (invalid witness file) .00530 .00720 528384
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.29 4.23 295604224 error (invalid witness file) .00262 .00365 524288
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i unknown 7.33 4.46 300052480 error (invalid witness file) .00450 .00557 524288
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 442 162000   151000   420266647552 442 14.8  15.6  949940224
    correct results 175 9370   7750   99934883840 2 1.38 1.40 40894464
        correct true 108 4680   3790   55475707904 0
        correct false 67 4690   3960   44459175936 2 1.38 1.40 40894464
    incorrect results 3 155   134   1462624256 10 7.67 7.77 209367040
        incorrect true 2 24.6 16.0 753041408 4 2.70 2.74 81702912
        incorrect false 1 131   118   709582848 6 4.96 5.03 127664128
score (442 tasks, max score: 719) 203 -222
Run set ultimateautomizer--memsafety.ultimateautomizer fshellw2t-ultimateautomizer--memsafety-validation.witnessValidation