Tool ULTIMATE Automizer 0.1.24-91b1670e CPAchecker 1.7-svn 29913
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host apollon*
OS Linux 4.15.0-43-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33546 MB
Run set ultimateautomizer--memsafety.ultimateautomizer cpachecker-ultimateautomizer--memsafety-validation.witnessValidation
Options --full-output -heap 10000M -benchmark -witnessValidation -witness test/results/ultimateautomizer--memsafety.logfiles/ultimateautomizer.${inputfile_name}.files/witness.graphml -setprop cpa.arg.compressWitness=false -setprop counterexample.export.compressWitness=false -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i false(valid-deref) 9.61 5.72 320679936 false(valid-deref) 4.13  2.25  255426560
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 8.12 4.66 311635968 true 3.61  1.99  250687488
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 8.93 5.38 326750208 false(valid-deref) 4.25  2.29  251891712
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.36 4.18 313802752 false(valid-deref) 3.21  1.79  243703808
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 14.5  9.18 520572928 false(valid-deref) 4.53  2.45  259395584
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 11.1  6.29 385990656 false(valid-deref) 4.36  2.37  256016384
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.12 4.14 317726720 false(valid-deref) 3.27  1.85  244768768
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 7.46 4.65 311529472 false(valid-deref) 3.50  1.92  244649984
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 23.9  17.6  523460608 false(valid-deref) 4.31  2.37  258400256
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.22 4.97 311988224 true 5.27  2.84  254509056
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 9.13 5.48 324296704 false(valid-deref) 4.52  2.41  272388096
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 14.4  8.62 493727744 error 4.32  2.34  269938688
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 9.52 5.78 330952704 false(valid-deref) 4.31  2.36  252968960
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 10.4  6.21 351834112 false(valid-deref) 4.39  2.38  273870848
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 9.86 5.59 332906496 false(valid-deref) 4.17  2.26  251129856
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 7.69 4.88 316162048 true 3.59  1.99  245182464
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 6.84 3.97 309780480 false(valid-deref) 3.28  1.88  244154368
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout 961    881    1371299840 error (invalid witness file) .590 .371 40337408
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 11.5  6.69 415789056 error (1) .693 .434 45461504
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 12.0  7.42 459628544 error (1) .711 .452 44867584
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 12.5  7.38 448983040 error (1) .712 .451 44490752
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 11.1  6.54 400777216 error (1) .728 .451 46120960
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 15.3  8.86 523649024 error (1) .715 .454 47161344
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 960    925    2545856512 error (invalid witness file) .601 .388 40013824
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 14.4  9.15 519368704 error (1) .661 .402 43982848
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 27.5  17.8  560340992 error (1) .693 .415 45285376
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 21.4  13.5  589225984 error (1) .692 .423 43712512
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 25.9  16.8  644321280 error (1) .684 .414 44859392
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 13.4  8.36 524386304 error (1) .673 .398 43937792
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 960    914    2210668544 error (invalid witness file) .570 .347 40144896
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 26.2  17.5  669716480 error (1) .734 .463 44961792
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 22.6  14.1  667590656 error (1) .724 .449 44924928
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 54.8  42.0  826593280 error (1) .696 .423 44814336
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 71.3  57.6  874979328 error (1) .696 .435 45219840
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 24.1  15.0  606814208 error (1) .710 .428 44847104
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 16.7  10.4  474509312 error (1) .718 .443 45486080
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 12.4  7.59 457314304 error (1) .690 .411 44621824
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 26.5  16.6  691503104 error (1) .706 .418 47398912
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 25.5  19.8  467496960 error (1) .697 .442 43962368
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 16.5  9.68 469614592 error (1) .693 .414 45711360
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 15.3  9.14 458407936 error (1) .713 .452 44924928
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 22.5  16.2  535240704 error (1) .670 .399 43966464
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 14.7  9.28 474124288 error (1) .664 .411 44371968
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 19.1  12.2  585805824 error (1) .689 .413 45346816
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 49.7  32.0  629370880 error (1) .716 .442 44965888
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 960    915    3085176832 error (invalid witness file) .564 .346 40579072
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 31.3  21.8  699432960 error (1) .700 .427 45473792
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 17.8  10.9  538136576 error (1) .706 .422 45600768
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i error (7) 625    596    1139593216 error (invalid witness file) .587 .377 39849984
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 41.0  26.1  787722240 error (1) .692 .423 45371392
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 14.3  9.02 467185664 error (1) .667 .403 44769280
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 961    897    2166558720 error (invalid witness file) .585 .382 39739392
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 35.9  24.6  606720000 error (1) .707 .433 44216320
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 30.9  20.5  695664640 error (1) .693 .427 43892736
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 13.3  8.27 470827008 error (1) .713 .437 46276608
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 38.0  28.1  705470464 error (1) .709 .434 44670976
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 29.4  19.3  554483712 error (1) .669 .401 44351488
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (true) 959    919    1139625984 error (1) .684 .411 45223936
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 14.6  9.08 474046464 error (1) .676 .400 44560384
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 20.7  12.6  623820800 error (1) .728 .448 47284224
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 13.6  7.92 455581696 error (1) .713 .437 47063040
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 12.3  7.50 468140032 error (1) .680 .415 44744704
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 20.3  13.4  547893248 error (1) .691 .415 45649920
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 39.5  30.0  587292672 error (1) .678 .410 44462080
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 255    233    1084104704 error (1) .715 .446 45064192
array-examples/relax_false-valid-deref.i false(valid-deref) 9.91 5.99 346435584 error 4.10  2.26  249204736
array-examples/sanfoundry_24_false-valid-deref.i timeout 961    803    1368403968 error (invalid witness file) .607 .374 41574400
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 961    895    1032802304 error (invalid witness file) .591 .369 40534016
array-examples/standard_strcpy_original_false-valid-deref.i timeout 961    887    928034816 error (invalid witness file) .594 .369 41771008
array-memsafety-realloc/array-realloc_false-valid-free.i false(valid-free) 11.5  6.83 389423104 error 4.30  2.35  256356352
array-memsafety-realloc/array-realloc_true-valid-memsafety.i true 31.2  21.3  514801664 error (1) .701 .421 45547520
memsafety/960521-1_false-valid-deref.i timeout 960    935    818769920 error (invalid witness file) .600 .380 41648128
memsafety/test-0137_false-valid-deref.i error (7) 10.9  6.78 294113280 error (invalid witness file) .583 .377 40697856
memsafety/test-0235_false-valid-deref.i timeout 960    933    2158149632 error (invalid witness file) .567 .354 40460288
memsafety/960521-1_false-valid-free.i timeout 960    933    945840128 error (invalid witness file) .584 .358 40767488
memsafety/test-0158_false-valid-free.i false(valid-free) 11.0  6.15 359063552 true 3.99  2.21  245882880
memsafety/test-0232_false-valid-free.i false(valid-free) 508    478    1857142784 false(valid-free) 4.29  2.35  251621376
memsafety/20020406-1_false-valid-memtrack.i timeout 960    946    1134686208 error (invalid witness file) .564 .345 40181760
memsafety/20051113-1.c_false-valid-memtrack.i timeout 960    930    708165632 error (invalid witness file) .553 .355 39755776
memsafety/lockfree-3.1_false-valid-memtrack.i unknown 89.3  56.7  903483392 error (invalid witness file) .570 .346 41082880
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 26.1  14.9  517169152 error (invalid witness file) .591 .368 41529344
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 139    92.6  2657484800 error (invalid witness file) .588 .386 41009152
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 28.1  17.9  523657216 error (invalid witness file) .599 .378 40554496
memsafety/test-0102_false-valid-memtrack.i error (7) 11.3  6.56 297635840 error (invalid witness file) .578 .369 40128512
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 16.4  9.60 321609728 error (invalid witness file) .608 .382 40054784
memsafety/test-0220_false-valid-memtrack.i timeout 960    932    1325596672 error (invalid witness file) .600 .386 40390656
memsafety/test-0232_false-valid-memtrack.i unknown 59.2  41.8  698572800 error (invalid witness file) .578 .351 39981056
memsafety/test-0234_false-valid-memtrack.i timeout 961    931    2304385024 error (invalid witness file) .565 .353 39993344
memsafety/test-0235_false-valid-memtrack.i timeout 960    929    2256683008 error (invalid witness file) .577 .347 40132608
memsafety/960521-1_true-valid-memsafety.i timeout 960    936    806354944 error (invalid witness file) .588 .364 41095168
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 960    818    9841156096 error (invalid witness file) .575 .357 41472000
memsafety/test-0019_true-valid-memsafety_true-termination.i true 19.6  12.4  502366208 error (1) .694 .420 44691456
memsafety/test-0102_true-valid-memsafety.i error (7) 11.2  6.50 301035520 error (invalid witness file) .556 .348 40480768
memsafety/test-0134_true-valid-memsafety.i error (7) 13.7  7.86 301297664 error (invalid witness file) .597 .402 41226240
memsafety/test-0158_true-valid-memsafety_true-termination.i true 10.8  6.50 357801984 error (1) .651 .393 43532288
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 961    914    1586057216 error (invalid witness file) .610 .377 41238528
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 960    924    2060390400 error (invalid witness file) .603 .375 41402368
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 960    907    1149669376 error (invalid witness file) .568 .366 40456192
memsafety/test-0219_true-valid-memsafety.i timeout 960    933    1151913984 error (invalid witness file) .590 .363 41746432
memsafety/test-0232_true-valid-memsafety.i timeout 960    930    1587548160 error (invalid witness file) .581 .386 40280064
memsafety/test-0234_true-valid-memsafety.i timeout 960    929    2587533312 error (invalid witness file) .572 .357 39890944
memsafety/test-0235_true-valid-memsafety.i timeout 960    935    2188513280 error (invalid witness file) .573 .364 41472000
memsafety/test-0236_true-valid-memsafety.i timeout 961    933    2129534976 error (invalid witness file) .592 .366 42561536
memsafety/test-0237_true-valid-memsafety.i timeout 960    936    1017397248 error (invalid witness file) .580 .348 40419328
memsafety/test-0504_true-valid-memsafety.i timeout 960    864    3394387968 error (invalid witness file) .583 .355 40423424
memsafety/test-0513_true-valid-memsafety.i timeout 961    878    2176053248 error (invalid witness file) .587 .362 41820160
memsafety/test-0521_true-valid-memsafety.i timeout 960    895    2856169472 error (invalid witness file) .558 .347 40316928
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout 961    891    1944489984 error (invalid witness file) .597 .383 41070592
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 961    871    980910080 error (invalid witness file) .564 .350 40280064
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 960    897    1149079552 error (invalid witness file) .587 .354 41488384
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 960    913    2037161984 error (invalid witness file) .607 .374 41017344
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 961    932    1044611072 error (invalid witness file) .564 .354 40587264
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 961    930    1017540608 error (invalid witness file) .587 .361 40161280
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 961    905    2340896768 error (invalid witness file) .596 .375 40099840
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 960    926    1066541056 error (invalid witness file) .566 .366 40751104
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 961    909    2008158208 error (invalid witness file) .590 .348 41271296
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 960    926    4369051648 error (invalid witness file) .584 .368 40058880
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 961    894    1102503936 error (invalid witness file) .599 .365 40304640
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 961    913    1023717376 error (invalid witness file) .612 .396 42663936
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 960    930    1394089984 error (invalid witness file) .587 .385 39284736
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 960    924    2310795264 error (invalid witness file) .597 .395 40583168
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 961    888    1155280896 error (invalid witness file) .585 .353 40763392
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 960    917    986476544 error (invalid witness file) .599 .377 40161280
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 961    926    1976442880 error (invalid witness file) .573 .360 39776256
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 961    910    2263162880 error (invalid witness file) .595 .376 39772160
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 960    926    1920524288 error (invalid witness file) .583 .359 41099264
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 13.5  8.16 504012800 false(valid-deref) 4.47  2.42  252796928
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout 961    841    1881153536 error (invalid witness file) .572 .351 40075264
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 11.3  6.45 423260160 false(valid-deref) 4.15  2.25  257236992
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 16.1  9.57 536932352 false(valid-free) 4.44  2.38  267550720
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 11.1  6.64 348110848 false(valid-free) 3.98  2.20  251482112
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 120    96.6  837365760 error (invalid witness file) .594 .372 42274816
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 18.6  10.7  332406784 error (invalid witness file) .570 .363 40620032
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 63.5  45.1  693788672 error (invalid witness file) .590 .368 41533440
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout 960    947    1074462720 error (invalid witness file) .568 .351 40312832
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 961    857    1937309696 error (invalid witness file) .574 .354 41000960
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 960    891    2067124224 error (invalid witness file) .593 .378 40206336
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 960    904    2192461824 error (invalid witness file) .591 .367 40886272
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 34.7  23.4  623935488 error (1) .662 .410 44097536
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 10.9  6.58 345358336 error (1) .676 .410 44032000
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 961    915    1085280256 error (invalid witness file) .618 .383 41512960
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 960    910    2657054720 error (invalid witness file) .568 .346 40480768
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i timeout 960    927    1243316224 error (invalid witness file) .578 .364 41811968
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 961    912    1069768704 error (invalid witness file) .555 .349 40189952
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout 961    899    2061389824 error (invalid witness file) .579 .365 40259584
memory-alloca/c.03-alloca_true-valid-memsafety.i true 12.5  7.43 421675008 error (1) .713 .440 44417024
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 9.28 5.72 324214784 false(valid-deref) 3.46  1.92  248958976
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 9.35 5.82 335646720 false(valid-deref) 3.40  1.88  246681600
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.05 5.01 320647168 false(valid-deref) 3.47  1.94  245608448
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.56 4.89 317337600 false(valid-deref) 3.35  1.86  242925568
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 699    614    4637753344 false(valid-deref) 14.0   7.23  600293376
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 657    567    4634820608 false(valid-deref) 14.6   7.65  612020224
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 7.47 4.66 312446976 false(valid-deref) 3.25  1.80  257003520
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.22 4.67 315662336 false(valid-deref) 3.32  1.84  242618368
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 6.98 4.52 316375040 false(valid-deref) 3.31  1.83  244273152
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 7.29 4.59 311386112 false(valid-deref) 3.49  1.91  244465664
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.05 4.46 313507840 false(valid-deref) 3.29  1.84  244682752
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.49 4.81 319287296 false(valid-deref) 3.17  1.74  241057792
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 960    922    2778251264 error (invalid witness file) .624 .399 40026112
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 27.8  20.6  592437248 error (1) .697 .411 43794432
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 25.0  15.1  508313600 error (1) .700 .444 44449792
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 20.6  12.7  573923328 error (1) .660 .400 44466176
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 19.3  11.8  494206976 error (1) .687 .425 43831296
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 22.9  13.9  488325120 error (1) .683 .401 43909120
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 11.1  6.65 367656960 error (1) .733 .440 45187072
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 11.4  6.45 357986304 error (1) .724 .443 44843008
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 7.48 4.72 316071936 error (1) .676 .411 43532288
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 9.75 6.15 352571392 error (1) .665 .401 44273664
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 9.84 6.17 347955200 error (1) .650 .389 43274240
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 11.5  6.93 341819392 error (1) .676 .421 44085248
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 9.64 5.72 337543168 error (1) .648 .397 43675648
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 10.2  6.00 346517504 error (1) .676 .404 43892736
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 10.1  5.91 346419200 error (1) .666 .419 43827200
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error (7) 12.2  6.90 305045504 error (invalid witness file) .574 .381 39317504
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 623    573    2222235648 true 4.92  2.64  260853760
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout 960    900    2705137664 error (invalid witness file) .601 .379 40321024
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 140    128    716693504 false(valid-deref) 5.25  2.80  287756288
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 64.2  44.4  895459328 false(valid-deref) 5.14  2.77  264257536
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 160    136    694800384 false(valid-free) 4.97  2.70  264454144
ldv-memsafety/memleaks_test12_false-valid-free.i timeout 961    905    1677537280 error (invalid witness file) .579 .355 41181184
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 322    279    2024673280 false(valid-free) 5.33  2.86  270782464
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 262    240    675352576 true 4.78  2.58  261824512
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 11.3  6.81 378384384 false(valid-free) 4.60  2.49  254500864
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 11.8  6.78 349528064 false(valid-free) 4.29  2.34  249856000
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 20.2  11.9  490831872 true 4.67  2.52  261750784
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 12.9  7.17 415916032 false(valid-free) 4.58  2.46  257748992
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout 960    919    825061376 error (invalid witness file) .578 .371 40345600
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 887    836    809951232 error (invalid witness file) .593 .375 39821312
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 215    198    692105216 error (invalid witness file) .582 .370 40116224
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 619    571    818671616 error (invalid witness file) .572 .373 42496000
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error (7) 11.8  6.48 304484352 error (invalid witness file) .575 .350 40419328
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error (7) 11.9  7.21 302731264 error (invalid witness file) .603 .378 40812544
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 960    927    1451487232 error (invalid witness file) .578 .368 42266624
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 25.3  14.6  433577984 error (invalid witness file) .571 .357 40648704
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 21.8  12.8  368848896 error (invalid witness file) .561 .343 39927808
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout 961    901    2044620800 error (invalid witness file) .570 .344 42078208
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout 960    926    1123766272 error (invalid witness file) .574 .357 40550400
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 38.2  24.3  536408064 error (invalid witness file) .590 .376 40382464
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout 960    927    1017110528 error (invalid witness file) .587 .381 40452096
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 282    250    980054016 error (invalid witness file) .605 .380 40546304
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 20.2  11.6  359161856 error (invalid witness file) .592 .377 40509440
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 23.4  13.6  405942272 error (invalid witness file) .597 .382 39956480
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 22.8  13.1  370774016 error (invalid witness file) .577 .345 40796160
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 303    263    1316929536 error (invalid witness file) .579 .352 40366080
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 62.5  42.7  997036032 error (invalid witness file) .583 .360 40091648
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 315    271    1323012096 error (invalid witness file) .580 .362 40091648
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 25.3  14.7  421404672 error (invalid witness file) .569 .353 40108032
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 20.5  11.8  348737536 error (invalid witness file) .592 .359 41431040
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 23.0  13.5  399286272 error (invalid witness file) .590 .360 40857600
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 112    96.4  591417344 error (invalid witness file) .602 .385 40185856
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 92.3  77.7  618852352 error (invalid witness file) .599 .376 39821312
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 111    97.5  523247616 error (invalid witness file) .570 .341 41033728
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 20.1  11.6  358092800 error (invalid witness file) .552 .347 40558592
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 24.3  14.2  407101440 error (invalid witness file) .583 .352 39948288
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 20.4  11.5  371175424 error (invalid witness file) .573 .351 41644032
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout 960    922    821514240 error (invalid witness file) .598 .389 40124416
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i timeout 961    910    926863360 error (invalid witness file) .587 .379 40153088
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout 961    905    1487949824 error (invalid witness file) .582 .347 41029632
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 87.3  60.1  861425664 error (1) .802 .481 45830144
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error (7) 12.2  7.42 292347904 error (invalid witness file) .609 .391 40681472
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout 960    928    1501704192 error (invalid witness file) .584 .376 40026112
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 15.4  9.14 535044096 error (1) .706 .440 43802624
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout 961    904    2063548416 error (invalid witness file) .574 .347 40660992
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout 961    881    1104420864 error (invalid witness file) .621 .392 41426944
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout 960    932    1153404928 error (invalid witness file) .612 .386 41590784
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i timeout 960    917    818757632 error (invalid witness file) .566 .347 40452096
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 13.8  8.00 453787648 error (1) .730 .445 44625920
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 14.4  8.81 486178816 error (1) .720 .440 44732416
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 17.0  9.81 531357696 error (1) .732 .443 44785664
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout 961    898    2644148224 error (invalid witness file) .562 .360 40050688
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout 961    894    2871246848 error (invalid witness file) .602 .371 39858176
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout 961    922    3636895744 error (invalid witness file) .576 .367 40808448
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i false(valid-deref) 131    118    709582848 timeout 909     833     4725739520
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 961    895    2596335616 error (invalid witness file) .583 .367 40939520
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 14.4  8.49 478265344 error (1) .741 .466 43913216
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 31.4  23.5  548478976 error (1) .686 .425 44417024
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 14.3  8.57 482930688 error (1) .697 .418 44314624
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 21.3  12.6  486731776 error (1) .747 .457 46256128
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 20.7  12.1  561426432 error (1) .737 .437 45953024
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 12.7  7.61 461635584 error (1) .761 .472 45068288
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 13.2  7.42 459984896 error (1) .737 .458 45604864
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i error (7) 9.70 5.31 268812288 error (invalid witness file) .588 .379 40574976
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i error (7) 9.80 5.42 277684224 error (invalid witness file) .550 .341 39686144
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i error (7) 9.77 5.78 276471808 error (invalid witness file) .589 .381 40534016
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i error (7) 10.2  5.68 288292864 error (invalid witness file) .620 .390 40562688
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i error (7) 10.2  5.54 273477632 error (invalid witness file) .620 .389 41336832
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i error (7) 9.87 5.76 272953344 error (invalid witness file) .587 .367 41033728
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i error (7) 9.91 5.80 272269312 error (invalid witness file) .564 .346 40198144
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i error (7) 9.62 5.81 273186816 error (invalid witness file) .561 .350 39477248
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i error (7) 9.94 6.29 280100864 error (invalid witness file) .576 .372 39698432
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i error (7) 9.60 6.14 277098496 error (invalid witness file) .582 .357 40411136
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 961    905    1096294400 error (invalid witness file) .577 .363 41467904
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 960    916    997634048 error (invalid witness file) .582 .368 39960576
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i error (7) 830    748    2440822784 error (invalid witness file) .562 .341 39841792
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 960    933    2155827200 error (invalid witness file) .578 .363 40366080
heap-manipulation/tree_false-unreach-call_false-valid-deref.i false(valid-deref) 367    338    1524846592 false(valid-deref) 4.68  2.52  258818048
heap-manipulation/tree_false-valid-deref.i false(valid-deref) 9.64 5.70 326963200 false(valid-deref) 4.09  2.24  250765312
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 961    898    1561665536 error (invalid witness file) .570 .352 40144896
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 73.0  49.9  740798464 error (invalid witness file) .573 .352 40046592
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 960    917    1320587264 error (invalid witness file) .575 .350 40263680
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 960    927    1533640704 error (invalid witness file) .573 .361 40685568
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 960    860    2042871808 error (invalid witness file) .576 .350 40308736
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 20.8  12.4  348991488 error (invalid witness file) .701 .435 40353792
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 29.0  17.9  473989120 error (invalid witness file) .577 .359 42033152
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 20.4  12.3  379543552 error (invalid witness file) .596 .368 40816640
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 24.2  14.8  474701824 error (invalid witness file) .593 .386 40960000
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 20.8  11.8  353189888 error (invalid witness file) .629 .374 41152512
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i error (7) 30.1  16.9  510443520 error (invalid witness file) .608 .377 41046016
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i error (7) 31.2  17.4  516456448 error (invalid witness file) .569 .346 40984576
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i error (7) 30.6  17.4  510656512 error (invalid witness file) .571 .345 39919616
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i error (7) 30.4  17.3  524111872 error (invalid witness file) .599 .373 42029056
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i error (7) 30.3  17.1  514297856 error (invalid witness file) .592 .358 42917888
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i error (7) 29.7  17.1  505491456 error (invalid witness file) .599 .374 41562112
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i error (7) 29.2  16.5  509603840 error (invalid witness file) .578 .361 40890368
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i error (7) 30.3  17.1  535842816 error (invalid witness file) .574 .347 39849984
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i error (7) 30.7  17.1  524746752 error (invalid witness file) .604 .373 41627648
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i error (7) 30.2  16.9  508100608 error (invalid witness file) .581 .363 40947712
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i error (7) 28.3  16.3  517644288 error (invalid witness file) .591 .356 41828352
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i error (7) 29.4  16.5  524496896 error (invalid witness file) .578 .357 40235008
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) .591 .369 40611840
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 961    893    1666547712 error (invalid witness file) .574 .347 41488384
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 961    899    1312182272 error (invalid witness file) .579 .370 39858176
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 961    882    2112450560 error (invalid witness file) .590 .360 40517632
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 961    871    1198419968 error (invalid witness file) .591 .363 41439232
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 961    867    2233495552 error (invalid witness file) .563 .349 40435712
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 961    873    2567647232 error (invalid witness file) .563 .351 40214528
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 961    901    1990148096 error (invalid witness file) .550 .346 39686144
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 961    869    1875664896 error (invalid witness file) .598 .373 40009728
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 960    919    1599393792 error (invalid witness file) .575 .352 41684992
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 961    901    1999331328 error (invalid witness file) .572 .355 41267200
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (7)) 942    858    2125443072 error (invalid witness file) .566 .354 40525824
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 962    849    1128677376 error (invalid witness file) .574 .364 40013824
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 961    874    2296279040 error (invalid witness file) .598 .365 39628800
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 960    863    1023705088 error (invalid witness file) .575 .361 40505344
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 961    817    2378797056 error (invalid witness file) .608 .383 39964672
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 961    885    2357710848 error (invalid witness file) .575 .370 39874560
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 961    865    2144514048 error (invalid witness file) .584 .355 41021440
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 961    850    2260938752 error (invalid witness file) .567 .362 39739392
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 961    895    2268221440 error (invalid witness file) .565 .351 39661568
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 80.7  55.8  1042231296 false(valid-deref) 4.58  2.51  258904064
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 38.2  23.9  599928832 false(valid-deref) 5.06  2.71  267304960
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 63.2  42.0  918192128 false(valid-deref) 4.37  2.40  255463424
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 961    912    1082707968 error (invalid witness file) .608 .383 41410560
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    927    978817024 error (invalid witness file) .581 .354 41148416
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    935    1163890688 error (invalid witness file) .595 .384 40566784
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    935    774406144 error (invalid witness file) .578 .366 39735296
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 960    919    999473152 error (invalid witness file) .575 .381 40169472
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    933    839507968 error (invalid witness file) .584 .348 41017344
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    925    1419710464 error (invalid witness file) .591 .364 40267776
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 961    903    1020907520 error (invalid witness file) .680 .417 39989248
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 303    271    979537920 error (1) .732 .442 46272512
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i true 328    296    1128108032 error (1) .759 .472 45027328
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i error (7) 738    707    2183208960 error (invalid witness file) .582 .346 40247296
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 961    932    1367011328 error (invalid witness file) .620 .392 42602496
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    940    1138135040 error (invalid witness file) .571 .357 40665088
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    936    2298953728 error (invalid witness file) .618 .390 40243200
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 960    936    847507456 error (invalid witness file) .589 .368 39686144
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    935    1034842112 error (invalid witness file) .605 .390 40427520
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    923    1571905536 error (invalid witness file) .561 .345 39972864
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 157    133    848973824 error (1) .697 .414 44388352
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    911    2100473856 error (invalid witness file) .588 .368 40468480
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 961    919    1405390848 error (invalid witness file) .597 .373 40054784
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 961    927    1630117888 error (invalid witness file) .600 .378 41250816
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    930    1339359232 error (invalid witness file) .586 .392 40255488
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    929    1349697536 error (invalid witness file) .569 .357 41070592
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 961    929    1290493952 error (invalid witness file) .592 .380 39870464
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 960    931    1695633408 error (invalid witness file) .595 .378 40620032
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 961    929    1280630784 error (invalid witness file) .569 .365 40984576
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 961    901    679579648 error (invalid witness file) .603 .372 40951808
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 357    323    699006976 error (1) .774 .470 47042560
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    914    1932763136 error (invalid witness file) .586 .354 39620608
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 960    912    1028304896 error (invalid witness file) .583 .360 40935424
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i error (7) 698    676    2364055552 error (invalid witness file) .582 .357 39862272
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    938    2169249792 error (invalid witness file) .583 .367 40251392
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    940    1038352384 error (invalid witness file) .564 .362 40538112
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    937    994328576 error (invalid witness file) .590 .381 40873984
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 961    939    958996480 error (invalid witness file) .564 .345 40542208
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    936    866902016 error (invalid witness file) .588 .372 39362560
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 961    913    1347407872 error (invalid witness file) .605 .389 40640512
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 322    303    859869184 error (1) .708 .430 45142016
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 478    450    1184210944 error (1) .716 .449 44498944
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i true 608    567    790257664 error (1) .776 .469 44351488
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 960    934    997367808 error (invalid witness file) .571 .362 40026112
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i timeout 960    937    1736990720 error (invalid witness file) .583 .380 39682048
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i timeout 961    891    2108899328 error (invalid witness file) .573 .351 41213952
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 960    930    1448177664 error (invalid witness file) .562 .346 40099840
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i timeout 961    893    2477432832 error (invalid witness file) .583 .354 40534016
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i timeout 960    923    1302917120 error (invalid witness file) .610 .383 41160704
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 960    939    639328256 error (invalid witness file) .562 .341 40284160
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i true 15.8  10.2  481058816 error (1) .683 .413 43679744
list-ext3-properties/dll_circular_traversal_false-valid-deref.i timeout 960    907    1706938368 error (invalid witness file) .583 .366 41930752
list-ext3-properties/sll_circular_traversal_false-valid-deref.i timeout 961    912    4248809472 error (invalid witness file) .592 .377 39636992
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i unknown 266    228    947859456 error (invalid witness file) .581 .352 39936000
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i unknown 36.3  26.4  495857664 error (invalid witness file) .604 .376 40587264
loops/invert_string_false-valid-deref.c false(valid-deref) 7.54 4.78 320204800 error 3.22  1.83  242982912
loop-acceleration/array3_false-valid-deref.i timeout 961    905    1137643520 error (invalid witness file) .561 .361 40087552
ntdrivers/floppy_false-valid-deref.i.cil.c false(valid-deref) 67.8  42.8  1354051584 false(valid-deref) 10.8   6.09  565460992
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 28.9  17.9  773115904 false(valid-deref) 5.58  2.97  280305664
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.1  7.56 427782144 error (1) 1.00  .580 55562240
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.1  6.97 424382464 error (1) .942 .546 56135680
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.93 5.57 337768448 error (1) .875 .516 53583872
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.93 5.98 339468288 error (1) .888 .529 51187712
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.0  5.99 344977408 error (1) .981 .591 53157888
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.4  6.75 379551744 error (1) .932 .547 54657024
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.5  6.35 388128768 error (1) .876 .520 50241536
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.23 4.71 320651264 error (1) .845 .515 50585600
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.16 5.22 328044544 error (1) .886 .531 49750016
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.66 5.92 328458240 error (1) .933 .555 50499584
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 7.08 4.51 310136832 error (1) .745 .465 44888064
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 7.48 4.71 310394880 error (1) .757 .447 45842432
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 7.32 4.17 313581568 error (1) .754 .469 44892160
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 7.47 4.24 307224576 error (1) .796 .488 45903872
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 7.64 4.81 311799808 error (1) .789 .472 46178304
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 7.37 4.28 311144448 error (1) .799 .477 47697920
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 7.81 4.86 312102912 error (1) .770 .464 46436352
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 6.94 4.05 309518336 error (1) .819 .497 45740032
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.78 4.34 322273280 error (1) .693 .430 44539904
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 6.73 4.33 308404224 error (1) .680 .415 43737088
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 6.97 4.48 312037376 error (1) .786 .487 45195264
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 6.89 4.01 309538816 error (1) .733 .439 45850624
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.16 4.11 312107008 error (1) .741 .446 47456256
memsafety-ext3/derefAfterFree1_false-valid-deref.c false(valid-deref) 7.78 4.85 314331136 false(valid-deref) 3.22  1.80  239423488
memsafety-ext3/derefAfterFree2_false-valid-deref.c false(valid-deref) 11.7  7.26 438755328 false(valid-deref) 3.58  1.99  249843712
memsafety-ext3/derefInLoop1_false-valid-deref.c false(valid-deref) 7.66 4.44 314998784 false(valid-deref) 3.32  1.89  242819072
memsafety-ext3/getNumbers1_false-valid-deref.c false(valid-deref) 14.0  8.09 458313728 false(valid-deref) 3.84  2.13  251879424
memsafety-ext3/getNumbers2_false-valid-deref.c false(valid-deref) 25.3  15.9  634626048 false(valid-deref) 4.14  2.30  255750144
memsafety-ext3/getNumbers4_false-valid-deref.c false(valid-deref) 71.2  51.7  1034936320 false(valid-deref) 4.79  2.62  269225984
memsafety-ext3/naturalNumbers1_false-valid-deref.c true 10.2  6.36 355819520 error (1) .696 .420 43634688
memsafety-ext3/realloc1_false-valid-deref.c false(valid-deref) 15.6  9.20 472555520 false(valid-deref) 4.15  2.28  263483392
memsafety-ext3/scopes1_false-valid-deref.c false(valid-deref) 6.90 4.01 310558720 true 3.37  1.85  243240960
memsafety-ext3/scopes2_false-valid-deref.c false(valid-deref) 7.19 4.59 317124608 true 3.43  1.93  246067200
memsafety-ext3/scopes3_false-valid-deref.c false(valid-deref) 13.6  8.07 493776896 false(valid-deref) 3.89  2.17  250171392
memsafety-ext3/scopes4_false-valid-deref.c false(valid-deref) 7.35 4.72 314220544 false(valid-deref) 3.28  1.85  244596736
memsafety-ext3/scopes5_false-valid-deref.c false(valid-deref) 6.70 4.33 304304128 false(valid-deref) 3.21  1.78  241930240
memsafety-ext3/freeAlloca_false-valid-free.c true 14.5  9.69 397221888 error (1) .664 .410 43515904
memsafety-ext3/getNumbers1_true-valid-memsafety.c true 15.0  8.65 487702528 error (1) .683 .422 44007424
memsafety-ext3/getNumbers3_true-valid-memsafety.c true 10.6  6.09 370266112 error (1) .672 .420 43827200
memsafety-ext3/getNumbers4_true-valid-memsafety.c true 59.6  38.3  990687232 error (1) .710 .441 44662784
memsafety-ext3/scopes4_true-valid-memsafety.c true 11.5  6.53 359542784 error (1) .673 .426 44154880
pthread-memsafety/fillarray1_false-valid-deref.i error (7) 16.2  9.44 334921728 error (invalid witness file) .574 .355 40435712
pthread-memsafety/fillarray_false-valid-deref.i error (7) 16.5  9.87 335372288 error (invalid witness file) .577 .350 40378368
pthread-memsafety/list1_false-valid-deref.i error (7) 18.1  10.8  338833408 error (invalid witness file) .578 .369 39739392
busybox-1.22.0/basename_false-valid-deref.i timeout 960    901    2738368512 error (invalid witness file) .586 .363 40554496
busybox-1.22.0/head_false-valid-deref.i unknown 7.69 4.39 296996864 error (invalid witness file) .567 .340 39976960
busybox-1.22.0/sleep_false-valid-deref.i unknown 8.06 4.63 292958208 error (invalid witness file) .563 .355 40419328
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i unknown 9.53 5.34 301154304 error (invalid witness file) .584 .372 39915520
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 193    163    2682007552 error (invalid witness file) .612 .388 41791488
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i unknown 8.47 5.04 280752128 error (invalid witness file) .566 .348 40079360
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) .566 .356 40439808
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) .561 .351 40153088
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i timeout 961    905    3028484096 error (invalid witness file) .548 .340 39890944
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i unknown 8.58 5.00 303353856 error (invalid witness file) .560 .346 40173568
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i unknown 8.14 4.57 300552192 error (invalid witness file) .569 .357 41545728
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) .601 .364 41607168
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i unknown 8.19 4.71 306180096 error (invalid witness file) .571 .355 40411136
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i unknown 7.79 4.57 291287040 error (invalid witness file) .559 .343 41246720
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i timeout 961    886    2031513600 error (invalid witness file) .607 .380 40976384
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i unknown 7.61 4.35 300253184 error (invalid witness file) .572 .353 40398848
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) .602 .375 40837120
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i unknown 8.15 4.66 300568576 error (invalid witness file) .601 .390 41095168
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.62 4.33 300888064 error (invalid witness file) .572 .372 41148416
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) .586 .356 39817216
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) .605 .385 40980480
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i unknown 7.88 4.52 294408192 error (invalid witness file) .580 .352 41172992
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i unknown 7.82 4.40 298745856 error (invalid witness file) .607 .377 39931904
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i unknown 8.28 4.82 307843072 error (invalid witness file) .588 .368 41062400
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i unknown 7.81 4.47 309665792 error (invalid witness file) .580 .377 39944192
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i unknown 8.32 4.79 306192384 error (invalid witness file) .591 .366 41615360
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) .606 .374 40591360
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i unknown 7.52 4.34 304144384 error (invalid witness file) .609 .387 41357312
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i unknown 7.90 4.41 304267264 error (invalid witness file) .578 .356 40411136
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i unknown 7.75 4.38 304476160 error (invalid witness file) .585 .371 41996288
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) .590 .372 40591360
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) .543 .338 39895040
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i unknown 7.87 4.40 302759936 error (invalid witness file) .609 .374 40910848
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i unknown 7.84 4.55 301674496 error (invalid witness file) .602 .380 40927232
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i unknown 7.88 4.42 296620032 error (invalid witness file) .561 .354 40038400
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i unknown 8.19 4.63 297697280 error (invalid witness file) .570 .346 41177088
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) .580 .380 40222720
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i unknown 8.07 4.64 304177152 error (invalid witness file) .603 .378 40804352
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.29 4.23 295604224 error (invalid witness file) .565 .346 40550400
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i unknown 7.33 4.46 300052480 error (invalid witness file) .587 .372 40005632
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 442 162000   151000   420266647552 442 1440   1140   38511525888
    correct results 175 9370   7750   99934883840 54 246   134   14755545088
        correct true 108 4680   3790   55475707904 0
        correct false 67 4690   3960   44459175936 54 246   134   14755545088
    incorrect results 3 155   134   1462624256 9 37.6 20.5 2269999104
        incorrect true 2 24.6 16.0 753041408 9 37.6 20.5 2269999104
        incorrect false 1 131   118   709582848 0
score (442 tasks, max score: 719) 203 -234
Run set ultimateautomizer--memsafety.ultimateautomizer cpachecker-ultimateautomizer--memsafety-validation.witnessValidation