Tool ULTIMATE Automizer 0.1.24-91b1670e
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 ultimateautomizer-ultimateautomizer--memsafety-validation.witnessValidation
Options --full-output --full-output --validate test/results/ultimateautomizer--memsafety.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 false(valid-deref) 10.3    5.82   333885440
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 8.12 4.66 311635968 false(valid-deref) 8.91   5.09   317485056
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 8.93 5.38 326750208 false(valid-deref) 9.71   5.79   318611456
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 7.36 4.18 313802752 false(valid-deref) 7.75   4.96   319754240
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 14.5  9.18 520572928 false(valid-deref) 11.2    6.78   385499136
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 11.1  6.29 385990656 false(valid-deref) 10.4    5.89   340295680
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 7.12 4.14 317726720 false(valid-deref) 7.79   4.96   315494400
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 7.46 4.65 311529472 false(valid-deref) 7.04   4.51   312119296
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 23.9  17.6  523460608 false(valid-deref) 8.89   5.45   328105984
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 8.22 4.97 311988224 false(valid-deref) 7.49   4.69   312664064
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 9.13 5.48 324296704 true 12.2    6.95   366968832
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 14.4  8.62 493727744 false(valid-deref) 9.32   5.61   333180928
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 9.52 5.78 330952704 false(valid-deref) 9.13   5.16   325840896
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 10.4  6.21 351834112 true 15.5    9.07   506744832
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 9.86 5.59 332906496 false(valid-deref) 10.9    6.63   371486720
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 7.69 4.88 316162048 false(valid-deref) 7.54   4.39   315916288
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 6.84 3.97 309780480 false(valid-deref) 7.73   4.85   317124608
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout 961    881    1371299840 error (2) .0242 .0247 5619712
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 11.5  6.69 415789056 true 12.0    6.98   428797952
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 12.0  7.42 459628544 true 12.2    7.63   452620288
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 12.5  7.38 448983040 true 12.6    7.44   447070208
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 11.1  6.54 400777216 true 10.8    6.19   390230016
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 15.3  8.86 523649024 true 14.1    8.41   520577024
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 960    925    2545856512 error (2) .0259 .0267 5603328
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 14.4  9.15 519368704 true 15.4    9.71   476176384
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 27.5  17.8  560340992 true 26.8    17.0    574238720
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 21.4  13.5  589225984 true 20.0    12.4    595771392
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 25.9  16.8  644321280 true 26.2    16.9    529260544
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 13.4  8.36 524386304 true 14.5    8.96   467488768
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 960    914    2210668544 error (2) .0306 .0311 5537792
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 26.2  17.5  669716480 true 30.0    20.7    536432640
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 22.6  14.1  667590656 true 22.5    13.7    685924352
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 54.8  42.0  826593280 true 54.3    41.8    666124288
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 71.3  57.6  874979328 true 64.9    51.4    868868096
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 24.1  15.0  606814208 true 22.9    14.7    499331072
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 16.7  10.4  474509312 true 16.1    10.2    475377664
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 12.4  7.59 457314304 true 12.1    7.52   480890880
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 26.5  16.6  691503104 true 26.0    16.4    527994880
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 25.5  19.8  467496960 true 25.0    19.6    491970560
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 16.5  9.68 469614592 true 15.0    9.02   456458240
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 15.3  9.14 458407936 true 15.1    8.99   471478272
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 22.5  16.2  535240704 true 21.5    16.0    522268672
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 14.7  9.28 474124288 true 14.4    9.07   535519232
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 19.1  12.2  585805824 true 19.7    12.5    485797888
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 49.7  32.0  629370880 true 47.9    31.1    772456448
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout 960    915    3085176832 error (2) .0403 .0409 5550080
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 31.3  21.8  699432960 true 29.5    19.9    707072000
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 17.8  10.9  538136576 true 17.6    10.8    529645568
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i error (7) 625    596    1139593216 error (2) .0251 .0259 5603328
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 41.0  26.1  787722240 true 38.7    24.4    727404544
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 14.3  9.02 467185664 true 13.8    8.67   508825600
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout 961    897    2166558720 error (2) .0202 .0206 5611520
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 35.9  24.6  606720000 true 36.1    25.1    778784768
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 30.9  20.5  695664640 true 34.5    22.0    573931520
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 13.3  8.27 470827008 true 13.5    8.38   471035904
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 38.0  28.1  705470464 true 34.3    25.2    567234560
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 29.4  19.3  554483712 true 28.8    19.1    567595008
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (true) 959    919    1139625984 timeout (true) 926      890      905256960
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 14.6  9.08 474046464 true 15.1    9.39   470204416
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 20.7  12.6  623820800 true 20.7    12.2    618954752
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 13.6  7.92 455581696 true 12.2    7.11   448688128
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 12.3  7.50 468140032 true 11.9    7.30   460144640
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 20.3  13.4  547893248 true 20.3    13.3    486469632
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 39.5  30.0  587292672 true 47.4    36.6    611942400
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 255    233    1084104704 true 229      209      1252478976
array-examples/relax_false-valid-deref.i false(valid-deref) 9.91 5.99 346435584 false(valid-deref) 9.84   6.05   329666560
array-examples/sanfoundry_24_false-valid-deref.i timeout 961    803    1368403968 error (2) .0251 .0261 5533696
array-examples/standard_strcpy_false-valid-deref_ground.i timeout 961    895    1032802304 error (2) .0231 .0236 5607424
array-examples/standard_strcpy_original_false-valid-deref.i timeout 961    887    928034816 error (2) .0263 .0267 5529600
array-memsafety-realloc/array-realloc_false-valid-free.i false(valid-free) 11.5  6.83 389423104 false(valid-free) 9.44   5.75   329564160
array-memsafety-realloc/array-realloc_true-valid-memsafety.i true 31.2  21.3  514801664 true 31.3    20.9    530325504
memsafety/960521-1_false-valid-deref.i timeout 960    935    818769920 error (2) .0491 .0505 5554176
memsafety/test-0137_false-valid-deref.i error (7) 10.9  6.78 294113280 error (2) .0536 .0544 5533696
memsafety/test-0235_false-valid-deref.i timeout 960    933    2158149632 error (2) .0383 .0396 5529600
memsafety/960521-1_false-valid-free.i timeout 960    933    945840128 error (2) .0252 .0259 5545984
memsafety/test-0158_false-valid-free.i false(valid-free) 11.0  6.15 359063552 false(valid-free) 9.47   5.32   335695872
memsafety/test-0232_false-valid-free.i false(valid-free) 508    478    1857142784 false(valid-free) 109      99.1    1638227968
memsafety/20020406-1_false-valid-memtrack.i timeout 960    946    1134686208 error (2) .0243 .0250 5603328
memsafety/20051113-1.c_false-valid-memtrack.i timeout 960    930    708165632 error (2) .0202 .0212 5615616
memsafety/lockfree-3.1_false-valid-memtrack.i unknown 89.3  56.7  903483392 error (2) .0211 .0215 5607424
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 26.1  14.9  517169152 error (2) .0502 .0529 5517312
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 139    92.6  2657484800 error (2) .0453 .0481 5533696
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 28.1  17.9  523657216 error (2) .0259 .0266 5545984
memsafety/test-0102_false-valid-memtrack.i error (7) 11.3  6.56 297635840 error (2) .0261 .0272 5615616
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 16.4  9.60 321609728 error (2) .0526 .0536 5545984
memsafety/test-0220_false-valid-memtrack.i timeout 960    932    1325596672 error (2) .0286 .0300 5611520
memsafety/test-0232_false-valid-memtrack.i unknown 59.2  41.8  698572800 error (2) .0275 .0284 5619712
memsafety/test-0234_false-valid-memtrack.i timeout 961    931    2304385024 error (2) .0265 .0272 5607424
memsafety/test-0235_false-valid-memtrack.i timeout 960    929    2256683008 error (2) .0484 .0493 5513216
memsafety/960521-1_true-valid-memsafety.i timeout 960    936    806354944 error (2) .0260 .0267 5603328
memsafety/lockfree-3.0_true-valid-memsafety.i timeout 960    818    9841156096 error (2) .0250 .0258 5603328
memsafety/test-0019_true-valid-memsafety_true-termination.i true 19.6  12.4  502366208 true 18.7    12.2    511127552
memsafety/test-0102_true-valid-memsafety.i error (7) 11.2  6.50 301035520 error (2) .0199 .0203 5615616
memsafety/test-0134_true-valid-memsafety.i error (7) 13.7  7.86 301297664 error (2) .0492 .0501 5537792
memsafety/test-0158_true-valid-memsafety_true-termination.i true 10.8  6.50 357801984 true 10.2    6.20   347611136
memsafety/test-0214_true-valid-memsafety_false-termination.i timeout 961    914    1586057216 error (2) .0313 .0317 5611520
memsafety/test-0217_true-valid-memsafety_false-termination.i timeout 960    924    2060390400 error (2) .0256 .0264 5615616
memsafety/test-0218_true-valid-memsafety_false-termination.i timeout 960    907    1149669376 error (2) .0276 .0291 5599232
memsafety/test-0219_true-valid-memsafety.i timeout 960    933    1151913984 error (2) .0235 .0241 5537792
memsafety/test-0232_true-valid-memsafety.i timeout 960    930    1587548160 error (2) .0306 .0320 5529600
memsafety/test-0234_true-valid-memsafety.i timeout 960    929    2587533312 error (2) .0445 .0452 5541888
memsafety/test-0235_true-valid-memsafety.i timeout 960    935    2188513280 error (2) .0280 .0293 5611520
memsafety/test-0236_true-valid-memsafety.i timeout 961    933    2129534976 error (2) .0424 .0432 5545984
memsafety/test-0237_true-valid-memsafety.i timeout 960    936    1017397248 error (2) .0493 .0501 5414912
memsafety/test-0504_true-valid-memsafety.i timeout 960    864    3394387968 error (2) .0265 .0273 5623808
memsafety/test-0513_true-valid-memsafety.i timeout 961    878    2176053248 error (2) .0288 .0293 5611520
memsafety/test-0521_true-valid-memsafety.i timeout 960    895    2856169472 error (2) .0315 .0323 5419008
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout 961    891    1944489984 error (2) .0194 .0197 5627904
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout 961    871    980910080 error (2) .0411 .0420 5541888
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i timeout 960    897    1149079552 error (2) .0452 .0461 5414912
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i timeout 960    913    2037161984 error (2) .0260 .0265 5509120
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout 961    932    1044611072 error (2) .0196 .0200 5623808
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout 961    930    1017540608 error (2) .0493 .0503 5533696
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout 961    905    2340896768 error (2) .0242 .0249 5533696
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout 960    926    1066541056 error (2) .0496 .0507 5541888
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout 961    909    2008158208 error (2) .0190 .0194 5615616
memsafety-ext2/split_list_test05_false-valid-deref.i timeout 960    926    4369051648 error (2) .0515 .0535 5541888
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout 961    894    1102503936 error (2) .0326 .0331 5623808
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout 961    913    1023717376 error (2) .0301 .0310 5627904
memsafety-ext2/length_test03_false-valid-memtrack.i timeout 960    930    1394089984 error (2) .0257 .0264 5615616
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout 960    924    2310795264 error (2) .0240 .0247 5627904
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout 961    888    1155280896 error (2) .0296 .0305 5619712
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout 960    917    986476544 error (2) .0266 .0275 5603328
memsafety-ext2/length_test03_true-valid-memsafety.i timeout 961    926    1976442880 error (2) .0500 .0514 5521408
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout 961    910    2263162880 error (2) .0454 .0460 5537792
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout 960    926    1920524288 error (2) .0228 .0236 5603328
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 13.5  8.16 504012800 true 9.29   5.57   334655488
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout 961    841    1881153536 error (2) .0198 .0200 5599232
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 11.3  6.45 423260160 false(valid-free) 8.66   5.26   317218816
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 16.1  9.57 536932352 false(valid-free) 9.29   5.24   326791168
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 11.1  6.64 348110848 false(valid-free) 8.66   5.31   326828032
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 120    96.6  837365760 error (2) .0275 .0285 5611520
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 18.6  10.7  332406784 error (2) .0488 .0498 5537792
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 63.5  45.1  693788672 error (2) .0320 .0327 5529600
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout 960    947    1074462720 error (2) .0197 .0201 5599232
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout 961    857    1937309696 error (2) .0374 .0393 5521408
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout 960    891    2067124224 error (2) .0203 .0207 5603328
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout 960    904    2192461824 error (2) .0287 .0294 5611520
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 34.7  23.4  623935488 true 33.3    22.2    616763392
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 10.9  6.58 345358336 true 10.8    6.35   354529280
list-ext-properties/test-0214_1_true-valid-memsafety.i timeout 961    915    1085280256 error (2) .0245 .0253 5599232
list-ext-properties/test-0217_1_true-valid-memsafety.i timeout 960    910    2657054720 error (2) .0297 .0306 5591040
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i timeout 960    927    1243316224 error (2) .0224 .0230 5484544
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout 961    912    1069768704 error (2) .0242 .0248 5607424
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout 961    899    2061389824 error (2) .0438 .0460 5517312
memory-alloca/c.03-alloca_true-valid-memsafety.i true 12.5  7.43 421675008 true 12.1    7.25   428838912
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 9.28 5.72 324214784 true 10.6    6.17   359460864
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 9.35 5.82 335646720 false(valid-deref) 8.48   5.09   318550016
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 8.05 5.01 320647168 false(valid-deref) 7.06   4.11   315719680
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 8.56 4.89 317337600 false(valid-deref) 7.33   4.67   314138624
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 699    614    4637753344 timeout 962      533      13565083648
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 657    567    4634820608 false(valid-deref) 34.7    20.7    4483194880
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 7.47 4.66 312446976 false(valid-deref) 7.12   4.63   315371520
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 8.22 4.67 315662336 false(valid-deref) 7.55   4.85   328089600
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 6.98 4.52 316375040 false(valid-deref) 7.68   4.83   316596224
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 7.29 4.59 311386112 false(valid-deref) 7.25   4.63   319053824
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 7.05 4.46 313507840 false(valid-deref) 7.42   4.26   317526016
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 7.49 4.81 319287296 false(valid-deref) 7.24   4.63   313212928
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout 960    922    2778251264 error (2) .0203 .0207 5615616
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 27.8  20.6  592437248 true 28.4    21.1    479637504
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 25.0  15.1  508313600 true 22.0    13.6    505569280
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 20.6  12.7  573923328 true 17.9    10.9    616128512
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 19.3  11.8  494206976 true 19.7    12.0    489984000
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 22.9  13.9  488325120 true 22.6    13.4    493871104
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 11.1  6.65 367656960 true 11.5    6.35   360923136
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 11.4  6.45 357986304 true 11.4    6.83   358219776
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 7.48 4.72 316071936 true 7.26   4.61   313016320
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 9.75 6.15 352571392 true 9.95   6.29   348405760
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 9.84 6.17 347955200 true 9.73   6.19   331034624
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 11.5  6.93 341819392 true 9.74   6.20   345800704
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 9.64 5.72 337543168 true 10.2    5.94   346087424
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 10.2  6.00 346517504 true 10.1    6.37   347095040
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 10.1  5.91 346419200 true 10.3    6.42   344121344
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error (7) 12.2  6.90 305045504 error (2) .0199 .0203 5599232
ldv-memsafety/memleaks_test22_3_false-valid-deref.i false(valid-deref) 623    573    2222235648 true 11.5    6.83   420327424
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout 960    900    2705137664 error (2) .0199 .0203 5607424
ldv-memsafety/memleaks_test23_2_false-valid-deref.i false(valid-deref) 140    128    716693504 false(valid-deref) 19.0    11.0    496164864
ldv-memsafety/memleaks_test23_4_false-valid-deref.i false(valid-deref) 64.2  44.4  895459328 true 19.1    11.6    506613760
ldv-memsafety/memleaks_test11_1_false-valid-free.i false(valid-free) 160    136    694800384 false(valid-free) 17.9    11.0    495702016
ldv-memsafety/memleaks_test12_false-valid-free.i timeout 961    905    1677537280 error (2) .0198 .0204 5615616
ldv-memsafety/memleaks_test17_2_false-valid-free.i false(valid-free) 322    279    2024673280 false(valid-free) 19.0    11.2    626618368
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 262    240    675352576 false(valid-free) 13.2    7.57   475774976
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 11.3  6.81 378384384 false(valid-free) 11.2    6.78   377655296
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 11.8  6.78 349528064 false(valid-free) 10.2    5.80   358780928
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 20.2  11.9  490831872 false(valid-free) 12.8    7.59   458600448
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 12.9  7.17 415916032 false(valid-free) 12.6    7.37   407482368
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout 960    919    825061376 error (2) .0246 .0253 5611520
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i unknown 887    836    809951232 error (2) .0198 .0202 5627904
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i unknown 215    198    692105216 error (2) .0223 .0228 5615616
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i unknown 619    571    818671616 error (2) .0253 .0261 5607424
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error (7) 11.8  6.48 304484352 error (2) .0217 .0219 5513216
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error (7) 11.9  7.21 302731264 error (2) .0265 .0273 5611520
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout 960    927    1451487232 error (2) .0398 .0405 5537792
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 25.3  14.6  433577984 error (2) .0455 .0463 5533696
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i unknown 21.8  12.8  368848896 error (2) .0200 .0205 5615616
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout 961    901    2044620800 error (2) .0202 .0206 5586944
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout 960    926    1123766272 error (2) .0324 .0333 5537792
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 38.2  24.3  536408064 error (2) .0198 .0201 5615616
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout 960    927    1017110528 error (2) .0197 .0201 5619712
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 282    250    980054016 error (2) .0270 .0278 5615616
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 20.2  11.6  359161856 error (2) .0197 .0201 5611520
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i unknown 23.4  13.6  405942272 error (2) .0240 .0248 5615616
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i unknown 22.8  13.1  370774016 error (2) .0254 .0263 5537792
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 303    263    1316929536 error (2) .0527 .0538 5533696
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 62.5  42.7  997036032 error (2) .0321 .0332 5615616
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 315    271    1323012096 error (2) .0502 .0506 5545984
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 25.3  14.7  421404672 error (2) .0268 .0276 5611520
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 20.5  11.8  348737536 error (2) .0291 .0296 5541888
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 23.0  13.5  399286272 error (2) .0267 .0275 5615616
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 112    96.4  591417344 error (2) .0494 .0502 5537792
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 92.3  77.7  618852352 error (2) .0266 .0275 5541888
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 111    97.5  523247616 error (2) .0309 .0315 5533696
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 20.1  11.6  358092800 error (2) .0254 .0261 5615616
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 24.3  14.2  407101440 error (2) .0493 .0503 5545984
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 20.4  11.5  371175424 error (2) .0234 .0240 5615616
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout 960    922    821514240 error (2) .0242 .0247 5533696
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i timeout 961    910    926863360 error (2) .0306 .0311 5537792
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout 961    905    1487949824 error (2) .0205 .0209 5603328
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 87.3  60.1  861425664 true 85.2    59.5    933208064
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error (7) 12.2  7.42 292347904 error (2) .0319 .0324 5521408
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout 960    928    1501704192 error (2) .0274 .0281 5607424
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 15.4  9.14 535044096 true 15.5    9.31   491188224
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout 961    904    2063548416 error (2) .0211 .0220 5607424
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout 961    881    1104420864 error (2) .0286 .0294 5603328
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout 960    932    1153404928 error (2) .0248 .0252 5537792
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i timeout 960    917    818757632 error (2) .0221 .0226 5484544
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 13.8  8.00 453787648 true 14.4    8.00   447451136
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 14.4  8.81 486178816 true 14.7    8.70   478048256
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 17.0  9.81 531357696 true 14.9    8.76   480624640
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout 961    898    2644148224 error (2) .0399 .0408 5541888
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout 961    894    2871246848 error (2) .0240 .0245 5611520
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout 961    922    3636895744 error (2) .0498 .0505 5541888
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i false(valid-deref) 131    118    709582848 false(valid-deref) 18.9    10.9    501366784
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i timeout 961    895    2596335616 error (2) .0274 .0278 5607424
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 14.4  8.49 478265344 true 13.7    8.25   471535616
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 31.4  23.5  548478976 true 29.6    22.1    498188288
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 14.3  8.57 482930688 true 14.0    8.42   496701440
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 21.3  12.6  486731776 true 21.0    12.7    497889280
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 20.7  12.1  561426432 true 19.6    11.6    543215616
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 12.7  7.61 461635584 true 13.4    7.88   453287936
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 13.2  7.42 459984896 true 13.7    8.07   468451328
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i error (7) 9.70 5.31 268812288 error (2) .0226 .0235 5615616
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i error (7) 9.80 5.42 277684224 error (2) .0289 .0302 5529600
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i error (7) 9.77 5.78 276471808 error (2) .0194 .0198 5623808
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i error (7) 10.2  5.68 288292864 error (2) .0258 .0325 5603328
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i error (7) 10.2  5.54 273477632 error (2) .0427 .0441 5517312
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i error (7) 9.87 5.76 272953344 error (2) .0242 .0249 5599232
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i error (7) 9.91 5.80 272269312 error (2) .0519 .0535 5541888
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i error (7) 9.62 5.81 273186816 error (2) .0194 .0199 5595136
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i error (7) 9.94 6.29 280100864 error (2) .0499 .0506 5525504
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i error (7) 9.60 6.14 277098496 error (2) .0262 .0270 5541888
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 961    905    1096294400 error (2) .0312 .0324 5570560
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 960    916    997634048 error (2) .0227 .0232 5500928
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i error (7) 830    748    2440822784 error (2) .0198 .0205 5746688
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 960    933    2155827200 error (2) .0229 .0237 5619712
heap-manipulation/tree_false-unreach-call_false-valid-deref.i false(valid-deref) 367    338    1524846592 error (7) 17.0    10.2    329945088
heap-manipulation/tree_false-valid-deref.i false(valid-deref) 9.64 5.70 326963200 error (7) 17.3    9.93   327208960
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 961    898    1561665536 error (2) .0196 .0200 5619712
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 73.0  49.9  740798464 error (2) .0457 .0464 5537792
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 960    917    1320587264 error (2) .0194 .0198 5615616
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 960    927    1533640704 error (2) .0255 .0262 5529600
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 960    860    2042871808 error (2) .0296 .0311 5550080
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 20.8  12.4  348991488 error (2) .0307 .0318 5681152
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 29.0  17.9  473989120 error (2) .0232 .0237 5611520
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 20.4  12.3  379543552 error (2) .0265 .0273 5627904
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 24.2  14.8  474701824 error (2) .0517 .0526 5541888
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 20.8  11.8  353189888 error (2) .0219 .0224 5611520
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i error (7) 30.1  16.9  510443520 error (2) .0494 .0504 5545984
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i error (7) 31.2  17.4  516456448 error (2) .0198 .0202 5615616
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i error (7) 30.6  17.4  510656512 error (2) .0198 .0203 5607424
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i error (7) 30.4  17.3  524111872 error (2) .0194 .0198 5623808
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i error (7) 30.3  17.1  514297856 error (2) .0242 .0246 5615616
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i error (7) 29.7  17.1  505491456 error (2) .0197 .0205 5566464
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i error (7) 29.2  16.5  509603840 error (2) .0190 .0194 5619712
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i error (7) 30.3  17.1  535842816 error (2) .0225 .0231 5607424
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i error (7) 30.7  17.1  524746752 error (2) .0493 .0502 5541888
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i error (7) 30.2  16.9  508100608 error (2) .0488 .0497 5533696
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i error (7) 28.3  16.3  517644288 error (2) .0487 .0496 5537792
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i error (7) 29.4  16.5  524496896 error (2) .0479 .0488 5541888
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i error (7) 29.4  17.1  527421440 error (2) .0245 .0252 5591040
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 961    893    1666547712 error (2) .0218 .0222 5525504
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 961    899    1312182272 error (2) .0195 .0199 5603328
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 961    882    2112450560 error (2) .0199 .0203 5611520
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 961    871    1198419968 error (2) .0499 .0509 5525504
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 961    867    2233495552 error (2) .0201 .0207 5615616
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 961    873    2567647232 error (2) .0300 .0308 5525504
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 961    901    1990148096 error (2) .0222 .0232 5574656
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 961    869    1875664896 error (2) .0198 .0202 5603328
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 960    919    1599393792 error (2) .0200 .0204 5599232
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 961    901    1999331328 error (2) .0487 .0502 5545984
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (7)) 942    858    2125443072 error (2) .0255 .0263 5541888
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 962    849    1128677376 error (2) .0516 .0534 5537792
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 961    874    2296279040 error (2) .0350 .0355 5599232
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 960    863    1023705088 error (2) .0197 .0201 5607424
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 961    817    2378797056 error (2) .0223 .0227 5615616
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 961    885    2357710848 error (2) .0494 .0502 5537792
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 961    865    2144514048 error (2) .0225 .0229 5603328
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 961    850    2260938752 error (2) .0263 .0271 5545984
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 961    895    2268221440 error (2) .0441 .0448 5521408
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 80.7  55.8  1042231296 error (7) 16.5    10.1    325029888
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 38.2  23.9  599928832 error (7) 17.0    9.85   316665856
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 63.2  42.0  918192128 error (7) 16.2    10.0    321101824
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 961    912    1082707968 error (2) .0205 .0213 5615616
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    927    978817024 error (2) .0203 .0208 5623808
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    935    1163890688 error (2) .0237 .0244 5623808
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    935    774406144 error (2) .0218 .0222 5619712
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 960    919    999473152 error (2) .0218 .0224 5627904
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    933    839507968 error (2) .0197 .0201 5619712
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    925    1419710464 error (2) .0235 .0243 5623808
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 961    903    1020907520 error (2) .0297 .0303 5545984
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 303    271    979537920 true 301      272      1060941824
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i true 328    296    1128108032 true 330      298      1178587136
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i error (7) 738    707    2183208960 error (2) .0303 .0308 5541888
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 961    932    1367011328 error (2) .0494 .0505 5521408
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    940    1138135040 error (2) .0251 .0264 5701632
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    936    2298953728 error (2) .0266 .0274 5607424
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 960    936    847507456 error (2) .0283 .0291 5554176
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    935    1034842112 error (2) .0270 .0275 5595136
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    923    1571905536 error (2) .0203 .0207 5619712
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 157    133    848973824 true 154      128      1010114560
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    911    2100473856 error (2) .0303 .0311 5529600
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 961    919    1405390848 error (2) .0260 .0268 5541888
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 961    927    1630117888 error (2) .0306 .0311 5550080
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    930    1339359232 error (2) .0201 .0205 5599232
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    929    1349697536 error (2) .0224 .0228 5521408
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 961    929    1290493952 error (2) .0258 .0267 5541888
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 960    931    1695633408 error (2) .0303 .0306 5599232
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 961    929    1280630784 error (2) .0480 .0511 5652480
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 961    901    679579648 error (2) .0215 .0218 5623808
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 357    323    699006976 true 349      314      744357888
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 960    914    1932763136 error (2) .0530 .0537 5545984
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 960    912    1028304896 error (2) .0292 .0300 5607424
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i error (7) 698    676    2364055552 error (2) .0524 .0533 5533696
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    938    2169249792 error (2) .0222 .0229 5603328
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 960    940    1038352384 error (2) .0229 .0238 5615616
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    937    994328576 error (2) .0205 .0209 5611520
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 961    939    958996480 error (2) .0199 .0203 5611520
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 960    936    866902016 error (2) .0403 .0411 5521408
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 961    913    1347407872 error (2) .0281 .0286 5414912
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 322    303    859869184 true 329      309      930295808
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 478    450    1184210944 true 493      460      1218465792
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i true 608    567    790257664 true 582      551      1032077312
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 960    934    997367808 error (2) .0199 .0202 5599232
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i timeout 960    937    1736990720 error (2) .0207 .0212 5459968
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i timeout 961    891    2108899328 error (2) .0489 .0497 5545984
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 960    930    1448177664 error (2) .0438 .0445 5517312
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i timeout 961    893    2477432832 error (2) .0194 .0199 5480448
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i timeout 960    923    1302917120 error (2) .0199 .0205 5599232
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 960    939    639328256 error (2) .0291 .0297 5652480
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i true 15.8  10.2  481058816 true 17.0    10.8    472485888
list-ext3-properties/dll_circular_traversal_false-valid-deref.i timeout 960    907    1706938368 error (2) .0268 .0274 5533696
list-ext3-properties/sll_circular_traversal_false-valid-deref.i timeout 961    912    4248809472 error (2) .0254 .0273 5713920
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i unknown 266    228    947859456 error (2) .0245 .0254 5603328
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i unknown 36.3  26.4  495857664 error (2) .0199 .0203 5611520
loops/invert_string_false-valid-deref.c false(valid-deref) 7.54 4.78 320204800 true 12.5    7.13   436285440
loop-acceleration/array3_false-valid-deref.i timeout 961    905    1137643520 error (2) .0242 .0249 5595136
ntdrivers/floppy_false-valid-deref.i.cil.c false(valid-deref) 67.8  42.8  1354051584 false(valid-deref) 43.0    26.6    1050886144
ntdrivers/kbfiltr_false-valid-deref.i.cil.c false(valid-deref) 28.9  17.9  773115904 false(valid-deref) 23.4    13.7    692719616
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 13.1  7.56 427782144 true 12.1    7.01   392675328
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 12.1  6.97 424382464 true 11.9    7.23   379564032
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.93 5.57 337768448 true 11.3    6.29   342097920
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.93 5.98 339468288 true 11.7    6.47   340631552
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.0  5.99 344977408 true 10.2    6.18   344502272
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.4  6.75 379551744 true 10.9    6.45   349958144
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.5  6.35 388128768 true 11.1    6.16   354676736
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.23 4.71 320651264 true 8.46   4.88   315432960
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.16 5.22 328044544 true 8.61   5.01   315854848
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.66 5.92 328458240 true 10.0    5.56   323153920
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 7.08 4.51 310136832 true 7.13   4.60   313335808
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 7.48 4.71 310394880 true 7.31   4.65   311492608
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 7.32 4.17 313581568 true 7.33   4.18   309559296
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 7.47 4.24 307224576 true 7.39   4.19   311975936
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 7.64 4.81 311799808 true 7.59   4.34   314556416
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 7.37 4.28 311144448 true 7.32   4.21   311468032
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 7.81 4.86 312102912 true 7.31   4.24   308707328
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 6.94 4.05 309518336 true 7.59   4.71   313397248
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.78 4.34 322273280 true 6.99   4.43   308023296
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 6.73 4.33 308404224 true 7.68   4.28   309170176
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 6.97 4.48 312037376 true 7.19   4.54   310611968
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 6.89 4.01 309538816 true 7.39   4.27   311422976
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 7.16 4.11 312107008 true 7.22   4.56   309469184
memsafety-ext3/derefAfterFree1_false-valid-deref.c false(valid-deref) 7.78 4.85 314331136 true 7.31   4.22   313421824
memsafety-ext3/derefAfterFree2_false-valid-deref.c false(valid-deref) 11.7  7.26 438755328 true 8.07   4.62   316506112
memsafety-ext3/derefInLoop1_false-valid-deref.c false(valid-deref) 7.66 4.44 314998784 true 12.8    8.29   353144832
memsafety-ext3/getNumbers1_false-valid-deref.c false(valid-deref) 14.0  8.09 458313728 false(valid-deref) 7.71   4.84   315121664
memsafety-ext3/getNumbers2_false-valid-deref.c false(valid-deref) 25.3  15.9  634626048 true 8.44   5.20   329322496
memsafety-ext3/getNumbers4_false-valid-deref.c false(valid-deref) 71.2  51.7  1034936320 true 9.45   5.70   378949632
memsafety-ext3/naturalNumbers1_false-valid-deref.c true 10.2  6.36 355819520 true 10.3    6.42   358670336
memsafety-ext3/realloc1_false-valid-deref.c false(valid-deref) 15.6  9.20 472555520 true 8.36   4.82   316428288
memsafety-ext3/scopes1_false-valid-deref.c false(valid-deref) 6.90 4.01 310558720 true 7.78   4.50   313257984
memsafety-ext3/scopes2_false-valid-deref.c false(valid-deref) 7.19 4.59 317124608 true 8.49   4.86   329719808
memsafety-ext3/scopes3_false-valid-deref.c false(valid-deref) 13.6  8.07 493776896 true 82.0    51.5    7771254784
memsafety-ext3/scopes4_false-valid-deref.c false(valid-deref) 7.35 4.72 314220544 false(valid-deref) 7.68   4.48   314335232
memsafety-ext3/scopes5_false-valid-deref.c false(valid-deref) 6.70 4.33 304304128 true 6.94   4.49   315559936
memsafety-ext3/freeAlloca_false-valid-free.c true 14.5  9.69 397221888 true 14.3    10.0    402300928
memsafety-ext3/getNumbers1_true-valid-memsafety.c true 15.0  8.65 487702528 true 12.3    7.23   463085568
memsafety-ext3/getNumbers3_true-valid-memsafety.c true 10.6  6.09 370266112 true 11.2    6.45   391913472
memsafety-ext3/getNumbers4_true-valid-memsafety.c true 59.6  38.3  990687232 true 58.2    37.3    986263552
memsafety-ext3/scopes4_true-valid-memsafety.c true 11.5  6.53 359542784 true 13.6    7.57   362024960
pthread-memsafety/fillarray1_false-valid-deref.i error (7) 16.2  9.44 334921728 error (2) .0487 .0496 5537792
pthread-memsafety/fillarray_false-valid-deref.i error (7) 16.5  9.87 335372288 error (2) .0237 .0243 5541888
pthread-memsafety/list1_false-valid-deref.i error (7) 18.1  10.8  338833408 error (2) .0264 .0272 5529600
busybox-1.22.0/basename_false-valid-deref.i timeout 960    901    2738368512 error (2) .0279 .0292 5615616
busybox-1.22.0/head_false-valid-deref.i unknown 7.69 4.39 296996864 error (2) .0533 .0548 5554176
busybox-1.22.0/sleep_false-valid-deref.i unknown 8.06 4.63 292958208 error (2) .0253 .0261 5603328
busybox-1.22.0/chgrp-incomplete_true-no-overflow_false-valid-memtrack.i unknown 9.53 5.34 301154304 error (2) .0311 .0317 5488640
busybox-1.22.0/basename_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 193    163    2682007552 error (2) .0434 .0442 5517312
busybox-1.22.0/chroot-incomplete_true-no-overflow_true-valid-memsafety.i unknown 8.47 5.04 280752128 error (2) .0239 .0245 5607424
busybox-1.22.0/cut_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.18 4.68 301387776 error (2) .0244 .0251 5541888
busybox-1.22.0/date_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.78 5.05 310992896 error (2) .0523 .0534 5545984
busybox-1.22.0/dirname_true-no-overflow_true-valid-memsafety.i timeout 961    905    3028484096 error (2) .0278 .0285 5615616
busybox-1.22.0/du_true-no-overflow_true-valid-memsafety.i unknown 8.58 5.00 303353856 error (2) .0306 .0312 5517312
busybox-1.22.0/echo_true-no-overflow_true-valid-memsafety.i unknown 8.14 4.57 300552192 error (2) .0247 .0262 5599232
busybox-1.22.0/expand_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.86 4.78 304807936 error (2) .0252 .0260 5423104
busybox-1.22.0/fold_true-no-overflow_true-valid-memsafety.i unknown 8.19 4.71 306180096 error (2) .0198 .0202 5742592
busybox-1.22.0/head_true-no-overflow_true-valid-memsafety.i unknown 7.79 4.57 291287040 error (2) .0194 .0198 5533696
busybox-1.22.0/hostid_true-no-overflow_true-valid-memsafety.i timeout 961    886    2031513600 error (2) .0272 .0281 5537792
busybox-1.22.0/logname_true-no-overflow_true-valid-memsafety.i unknown 7.61 4.35 300253184 error (2) .0201 .0205 5599232
busybox-1.22.0/ls-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i error (7) 17.4  10.1  310996992 error (2) .0447 .0455 5533696
busybox-1.22.0/mkdir_true-no-overflow_true-valid-memsafety.i unknown 8.15 4.66 300568576 error (2) .0257 .0264 5611520
busybox-1.22.0/mkfifo-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.62 4.33 300888064 error (2) .0534 .0543 5537792
busybox-1.22.0/od_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.92 4.93 299651072 error (2) .0527 .0543 5529600
busybox-1.22.0/printf_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.56 4.93 301649920 error (2) .0503 .0511 5533696
busybox-1.22.0/readlink_true-no-overflow_true-valid-memsafety.i unknown 7.88 4.52 294408192 error (2) .0277 .0285 5537792
busybox-1.22.0/realpath_true-no-overflow_true-valid-memsafety.i unknown 7.82 4.40 298745856 error (2) .0505 .0521 5537792
busybox-1.22.0/rm_true-no-overflow_true-valid-memsafety.i unknown 8.28 4.82 307843072 error (2) .0376 .0386 5521408
busybox-1.22.0/seq_true-no-overflow_true-valid-memsafety.i unknown 7.81 4.47 309665792 error (2) .0270 .0278 5607424
busybox-1.22.0/sleep_true-no-overflow_true-valid-memsafety.i unknown 8.32 4.79 306192384 error (2) .0198 .0204 5693440
busybox-1.22.0/stty_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 9.23 5.29 327458816 error (2) .0260 .0268 5615616
busybox-1.22.0/sync_true-no-overflow_true-valid-memsafety.i unknown 7.52 4.34 304144384 error (2) .0196 .0199 5599232
busybox-1.22.0/tac_true-no-overflow_true-valid-memsafety.i unknown 7.90 4.41 304267264 error (2) .0250 .0258 5529600
busybox-1.22.0/tee_true-no-overflow_true-valid-memsafety.i unknown 7.75 4.38 304476160 error (2) .0200 .0204 5595136
busybox-1.22.0/test-incomplete_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 7.79 4.79 304041984 error (2) .0245 .0254 5537792
busybox-1.22.0/touch_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 8.32 4.67 301039616 error (2) .0290 .0295 5591040
busybox-1.22.0/uname_true-no-overflow_true-valid-memsafety.i unknown 7.87 4.40 302759936 error (2) .0392 .0402 5517312
busybox-1.22.0/uniq_true-no-overflow_true-valid-memsafety.i unknown 7.84 4.55 301674496 error (2) .0194 .0198 5586944
busybox-1.22.0/usleep_true-no-overflow_true-valid-memsafety.i unknown 7.88 4.42 296620032 error (2) .0265 .0273 5599232
busybox-1.22.0/uudecode_true-no-overflow_true-valid-memsafety.i unknown 8.19 4.63 297697280 error (2) .0258 .0267 5607424
busybox-1.22.0/wc_false-unreach-call_true-no-overflow_true-valid-memsafety.i unknown 7.99 4.72 304091136 error (2) .0508 .0517 5525504
busybox-1.22.0/who_true-no-overflow_true-valid-memsafety.i unknown 8.07 4.64 304177152 error (2) .0199 .0206 5607424
busybox-1.22.0/whoami-incomplete_true-no-overflow_true-valid-memsafety.i unknown 7.29 4.23 295604224 error (2) .0498 .0508 5545984
busybox-1.22.0/yes_true-no-overflow_true-valid-memsafety.i unknown 7.33 4.46 300052480 error (2) .0259 .0267 5586944
../programs/benchmarks/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 442 162000   151000   420266647552 442 7490   5790   109670985728
    correct results 175 9370   7750   99934883840 151 5200   4130   76866301952
        correct true 108 4680   3790   55475707904 108 4610   3740   55220768768
        correct false 67 4690   3960   44459175936 43 590   388   21645533184
    incorrect results 3 155   134   1462624256 21 303   184   15248179200
        incorrect true 2 24.6 16.0 753041408 19 275   168   14429593600
        incorrect false 1 131   118   709582848 2 27.6 16.1 818585600
score (442 tasks, max score: 719) 203 -381
Run set ultimateautomizer--memsafety.ultimateautomizer ultimateautomizer-ultimateautomizer--memsafety-validation.witnessValidation