Tool ULTIMATE Automizer 0.1.23-666feb3e
Limits timelimit: 240 s, memlimit: 6000 MB, CPU core limit: 4
Host hetzner
OS Linux-4.4.0-112-generic-x86_64-with-Ubuntu-16.04-xenial
System CPU: Intel Core i7-4770 CPU @ 3.40GHz, cores: 8, frequency: 3900 MHz, Turbo Boost: enabled; RAM: 33593 MB
Date of execution 2018-04-11 09:52:13 CEST
Run set Camel SmtInterpolCraig SmtInterpolNoArray z3
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_Camel.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_Array.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_SmtInterpol_NoArray.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv --cacsl2boogietranslator.bitprecise.bitfields false -tc ../../../trunk/examples/toolchains/AutomizerC.xml -s ../../../trunk/examples/settings/cade18-smtinterpol/svcomp-DerefFreeMemtrack-32bit-Automizer_z3.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 13.8  6.18 417042432 false(valid-deref) 12.0  4.99 336805888 false(valid-deref) 13.6  5.62 343498752 error: exception 8.41 3.44 314368000
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 10.2  3.99 356159488 false(valid-deref) 10.1  4.06 363606016 false(valid-deref) 10.0  3.82 332992512 error: exception 9.10 3.53 334356480
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 13.8  5.72 398606336 false(valid-deref) 12.5  4.72 349704192 false(valid-deref) 12.9  5.03 396222464 error: exception 10.0  3.94 346464256
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 9.12 3.39 305975296 false(valid-deref) 9.00 3.40 318033920 false(valid-deref) 9.42 3.92 325025792 error: exception 7.45 3.05 309379072
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 13.4  5.30 390156288 false(valid-deref) 12.1  4.45 376193024 false(valid-deref) 12.1  4.80 356208640 error: exception 8.78 3.25 315809792
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 8.20 3.23 275722240 unknown 7.22 2.84 284708864 unknown 7.53 2.90 296996864 false(valid-deref) 8.51 3.35 314884096
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 246    189    1825570816 timeout (error (143)) 241    184    2250903552 timeout (error (143)) 240    176    2239205376 error: exception 8.25 3.16 315334656
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 10.2  3.93 354283520 true 9.49 3.87 351539200 true 10.4  4.37 362516480 error: exception 8.58 3.52 327430144
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 11.6  4.72 350556160 true 10.4  4.06 332738560 true 12.1  4.84 343257088 error: exception 9.40 3.49 339554304
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 12.1  4.95 361287680 true 10.7  4.13 361373696 true 11.9  4.64 340299776 error: exception 9.16 3.40 327454720
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 9.69 3.95 328826880 true 9.98 3.89 331988992 true 10.7  4.08 330305536 error: exception 9.62 3.74 339533824
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 14.0  5.65 345452544 true 12.9  4.95 351068160 true 14.1  5.37 383524864 error: exception 8.79 3.45 313262080
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 246    212    1613824000 timeout (error (143)) 240    180    2251251712 timeout (error (143)) 243    187    3824013312 error: exception 8.83 3.51 316678144
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 41.1  31.5  459358208 true 13.0  5.01 343166976 true 13.3  5.49 363876352 error: exception 7.76 3.19 318418944
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 25.5  13.4  460001280 true 20.5  8.76 424075264 true 30.8  16.0  535797760 error: exception 8.76 3.38 333357056
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 17.7  7.87 373530624 true 15.2  6.52 387436544 timeout (error: exception) 241    176    2290274304 error: exception 9.18 3.51 337305600
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 34.5  20.7  542552064 true 18.9  7.90 420806656 true 27.8  12.7  497274880 error: exception 8.82 3.35 315875328
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 13.1  5.74 388931584 true 11.5  4.60 338444288 true 13.2  5.21 409149440 error: exception 9.64 3.58 353394688
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 246    180    3087851520 timeout (error: exception) 242    191    2228805632 timeout (error (143)) 241    215    584458240 error: exception 10.5  3.93 347070464
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 26.2  12.8  524562432 true 20.2  8.38 497287168 true 27.1  11.7  568864768 error: exception 9.03 3.45 317886464
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 23.1  11.5  436969472 true 18.4  7.51 404606976 timeout (error (143)) 241    170    1306877952 error: exception 9.04 3.43 329027584
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 58.1  39.2  653905920 true 21.5  8.76 484810752 true 68.1  48.0  648687616 error: exception 8.97 3.56 326135808
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 52.1  34.8  623669248 true 19.5  8.40 489340928 true 49.7  34.3  539021312 error: exception 8.82 3.47 320090112
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 18.5  7.26 389541888 true 15.3  5.73 353415168 true 21.0  8.48 401453056 error: exception 7.34 3.09 307474432
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 14.9  6.11 441794560 true 14.2  5.61 353546240 true 16.0  6.66 395857920 error: exception 8.33 3.26 318857216
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 11.0  4.54 357736448 true 10.8  4.15 352743424 true 11.9  4.45 338067456 error: exception 9.84 3.69 336171008
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 30.2  15.1  584986624 true 21.7  9.32 509632512 true 20.3  8.47 422780928 error: exception 9.34 3.61 314064896
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 16.6  9.12 343883776 unknown 7.43 2.84 287805440 unknown 7.47 2.95 300191744 error: exception 8.67 3.50 325767168
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 13.7  5.87 400523264 true 11.7  4.72 342007808 true 17.6  8.83 412258304 error: exception 8.43 3.44 311001088
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 13.4  5.59 340828160 true 11.7  4.67 385069056 true 14.4  6.11 363827200 error: exception 9.02 3.40 330887168
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 20.2  11.9  401973248 true 15.6  8.00 414625792 true 39.4  28.8  488452096 error: exception 8.88 3.48 324657152
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 16.7  7.82 435113984 true 14.8  6.03 444039168 timeout (error (143)) 241    181    2290298880 error: exception 9.14 3.50 329424896
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 69.4  40.3  1000161280 true 48.9  24.1  874409984 timeout (error (143)) 241    179    1252958208 error: exception 9.25 3.56 337375232
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 246    204    2377928704 timeout (error (143)) 240    184    2226290688 timeout (error (143)) 246    201    2288996352 error: exception 8.25 3.19 316870656
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 28.1  14.9  498024448 true 21.1  8.89 528433152 true 31.0  14.0  564285440 error: exception 8.06 3.26 321982464
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 20.4  9.35 506781696 true 14.1  5.81 438624256 timeout (error (143)) 241    178    2276564992 error: exception 8.74 3.28 338579456
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 30.8  18.7  490831872 true 19.0  8.04 435138560 true 24.9  11.3  487038976 error: exception 8.35 3.20 315723776
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 43.4  21.3  769392640 true 41.5  17.6  746041344 true 72.8  35.3  840126464 error: exception 8.03 3.18 322981888
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 12.2  5.03 392679424 true 11.7  4.64 337784832 true 14.3  5.85 353792000 error: exception 8.94 3.36 354852864
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 241    217    675983360 timeout (error (143)) 240    183    1739739136 timeout (error (143)) 241    205    1182261248 error: exception 10.5  3.89 372232192
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 29.9  14.1  587284480 true 23.2  9.65 580812800 true 35.7  16.6  617570304 error: exception 8.64 3.25 335065088
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 27.8  14.2  517148672 true 22.6  9.12 492027904 timeout (error (143)) 240    188    831205376 error: exception 8.89 3.42 328765440
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 14.3  5.98 429457408 true 13.0  5.12 400805888 true 15.5  6.50 373870592 error: exception 9.32 3.45 348643328
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 24.4  11.8  466137088 true 19.1  8.26 468840448 true 27.0  12.8  496508928 error: exception 8.09 3.22 317464576
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 28.6  14.9  615088128 true 22.4  9.72 556711936 true 31.6  15.0  534175744 error: exception 7.90 3.11 315363328
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error: exception) 241    199    971276288 timeout (error (143)) 241    179    2282139648 timeout (error (143)) 240    168    2261643264 error: exception 9.27 3.50 346992640
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 12.5  5.11 369414144 timeout (error: exception) 241    193    2293690368 true 14.7  5.91 354623488 error: exception 9.68 3.72 361660416
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 11.3  4.73 346329088 true 9.58 3.85 330989568 true 12.0  4.96 338104320 error: exception 8.73 3.43 321294336
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 11.9  4.63 358162432 true 10.3  3.91 355508224 true 11.8  4.82 341356544 error: exception 9.11 3.43 315342848
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 16.8  8.04 437936128 true 12.1  4.65 342638592 true 14.9  6.01 369127424 error: exception 9.12 3.60 339587072
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 37.3  23.2  592687104 true 21.5  9.39 533700608 true 63.4  44.2  667262976 error: exception 8.46 3.29 308015104
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 142    122    854802432 true 27.0  11.7  516935680 true 54.1  33.3  734117888 error: exception 8.68 3.25 316846080
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 243    188    1828188160 timeout (error (143)) 240    187    2263822336 timeout (error: exception) 241    180    2228367360 timeout (error (143)) 241    186    942956544
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 241    182    1368743936 timeout (error (143)) 241    182    2219491328 timeout (error: exception) 241    180    2221281280 timeout (error (143)) 240    193    690581504
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 241    212    988823552 timeout (error (143)) 241    188    2230161408 timeout (error (143)) 242    175    2304438272 error: exception 9.85 4.30 348704768
memsafety/test-0235_false-valid-deref.i timeout (error (143)) 242    229    513167360 unknown 10.2  3.76 369131520 unknown 10.4  3.99 337362944 timeout (error (143)) 240    194    1927852032
memsafety/960521-1_false-valid-free.i timeout (error (143)) 246    216    1035071488 timeout (error (143)) 241    189    2238869504 timeout (error (143)) 241    177    2338111488 error: exception 10.2  4.30 341069824
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 41.7  16.0  858923008 false(valid-memtrack) 38.1  13.4  857116672 false(valid-memtrack) 35.9  12.8  758484992 error: exception 11.7  4.39 350273536
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 15.2  5.39 437178368 false(valid-memtrack) 12.2  4.46 352878592 false(valid-memtrack) 13.3  4.72 353808384 error: exception 11.4  4.23 356151296
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 57.6  24.0  1242157056 false(valid-memtrack) 47.4  18.2  1151213568 false(valid-memtrack) 46.2  18.7  877752320 error: exception 11.4  4.28 353456128
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.9  4.54 329519104 false(valid-memtrack) 11.6  4.46 335486976 false(valid-memtrack) 12.6  5.03 345759744 error: exception 10.0  3.79 348741632
memsafety/test-0220_false-valid-memtrack.i timeout (error (143)) 242    225    507883520 unknown 8.94 3.57 319504384 unknown 9.14 3.37 328622080 error: exception 22.2  9.38 521039872
memsafety/test-0234_false-valid-memtrack.i timeout (error (143)) 241    226    620900352 unknown 9.59 3.64 343347200 unknown 10.0  3.70 344973312 timeout (error (143)) 240    190    1899270144
memsafety/test-0235_false-valid-memtrack.i timeout (error (143)) 244    231    569597952 unknown 10.1  3.77 362242048 unknown 9.94 3.82 330219520 timeout (error (143)) 240    188    2075918336
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 246    234    839680000 timeout (error (143)) 241    191    2242060288 timeout (error (143)) 241    178    2313113600 error: exception 10.7  3.95 358559744
memsafety/lockfree-3.0_true-valid-memsafety.i timeout (error (143)) 241    151    3645018112 timeout (error (143)) 240    131    4167495680 timeout (error (143)) 241    173    2457620480 error: exception 23.2  8.43 438157312
memsafety/test-0019_true-valid-memsafety_true-termination.i true 13.8  5.75 428371968 true 13.5  5.51 354668544 true 14.2  5.80 352645120 error: exception 10.1  3.84 339595264
memsafety/test-0158_true-valid-memsafety_true-termination.i true 9.12 3.61 332165120 true 8.75 3.37 337223680 true 9.64 3.82 333336576 error: exception 9.49 3.84 344592384
memsafety/test-0219_true-valid-memsafety.i timeout (error (143)) 241    225    483840000 unknown 8.89 3.33 314961920 unknown 8.94 3.39 323047424 error: exception 22.7  10.2  538103808
memsafety/test-0234_true-valid-memsafety.i timeout (error (143)) 241    224    575586304 unknown 10.0  3.75 343838720 unknown 10.1  3.68 327831552 timeout (error (143)) 240    195    902836224
memsafety/test-0235_true-valid-memsafety.i timeout (error (143)) 243    230    585588736 unknown 10.1  3.88 336314368 unknown 10.5  3.85 333508608 timeout (error (143)) 241    210    978505728
memsafety/test-0236_true-valid-memsafety.i timeout (error (143)) 241    222    626552832 unknown 9.90 3.66 327094272 unknown 10.4  3.82 329469952 true 49.7  28.3  763953152
memsafety/test-0237_true-valid-memsafety.i timeout (error (143)) 245    234    443179008 unknown 9.74 3.64 329166848 unknown 10.2  3.84 366161920 timeout (error (143)) 242    201    787034112
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 241    203    1449705472 timeout (error (143)) 241    174    1412075520 timeout (error (143)) 241    211    926781440 error: exception 13.1  4.98 402771968
memsafety/test-0513_true-valid-memsafety.i timeout (error (143)) 241    187    1233739776 timeout (error (143)) 241    178    1422839808 timeout (error (143)) 241    206    842711040 error: exception 15.9  5.78 449011712
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 245    226    1520435200 true 21.4  8.41 517730304 timeout (error (143)) 241    225    904294400 error: exception 16.9  8.01 367632384
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 240    196    818417664 timeout (error (143)) 241    180    1617149952 timeout (error (143)) 246    214    1076813824 error: exception 11.1  4.18 355233792
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 241    220    558067712 timeout (error: exception) 241    176    1551056896 timeout (error (143)) 242    216    623423488 error: exception 12.0  4.41 345214976
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 241    184    984506368 timeout (error (143)) 241    176    1778860032 timeout (error (143)) 243    217    660393984 error: exception 12.3  4.63 362717184
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 241    196    740859904 timeout (error (143)) 241    180    1347997696 timeout (error (143)) 242    205    1110573056 error: exception 12.7  4.65 359768064
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 242    208    818683904 timeout (error (143)) 241    172    1766182912 timeout (error (143)) 243    212    747675648 error: exception 13.5  4.81 360804352
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 243    215    750968832 timeout (error (143)) 241    171    1525194752 timeout (error (143)) 243    213    824983552 error: exception 11.3  4.31 361996288
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (error (143)) 241    208    2314514432 timeout (error: exception) 243    201    3144785920 timeout (error (143)) 241    210    835960832 error: exception 19.8  7.55 418836480
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 241    179    2350850048 false(valid-memtrack) 149    91.4  2253320192 timeout (error (143)) 244    173    2366795776 error: exception 18.0  9.76 360361984
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 241    184    1225187328 timeout (error (143)) 241    169    2270687232 timeout (error (143)) 242    186    1627385856 error: exception 22.2  13.3  400261120
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 106    77.5  1000411136 timeout (error (143)) 248    167    5880320000 timeout (error (143)) 241    219    1591967744 error: exception 15.3  5.81 369328128
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 242    205    993701888 timeout (error (143)) 240    176    1973006336 timeout (error (143)) 240    206    785625088 error: exception 12.4  4.66 354689024
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error: exception 162    94.6  2081968128 timeout (error (143)) 241    173    2290892800 timeout (error (143)) 241    183    2272428032 error: exception 12.7  4.95 359022592
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 241    179    1256890368 timeout (error (143)) 240    177    2067365888 timeout (error (143)) 241    181    1441665024 error: exception 13.2  5.01 360431616
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 241    206    1525399552 timeout (error (143)) 240    194    1573212160 timeout (error (143)) 241    217    1213431808 error: exception 16.0  6.33 373407744
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error: exception 218    182    916905984 timeout (error (143)) 240    179    1543622656 timeout (error (143)) 243    209    972763136 error: exception 12.9  4.83 364630016
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (error (143)) 243    206    2335817728 timeout (error: exception) 241    197    2777341952 timeout (error (143)) 242    201    1150992384 error: exception 20.2  7.81 425791488
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 12.7  4.72 373395456 false(valid-deref) 11.3  4.28 340316160 false(valid-deref) 13.4  5.27 340549632 error: exception 11.2  4.43 349954048
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 240    180    1195663360 timeout (error (143)) 241    180    1918763008 timeout (error (143)) 241    189    1000521728 error: exception 8.61 3.22 320577536
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 11.7  4.38 373190656 false(valid-deref) 11.4  4.42 340836352 false(valid-deref) 11.5  4.51 374030336 error: exception 9.40 3.46 338776064
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 13.8  5.32 395616256 false(valid-free) 11.8  4.43 387772416 false(valid-free) 13.9  5.13 396120064 error: exception 11.0  4.44 346046464
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 17.0  7.12 394436608 false(valid-memtrack) 17.2  7.15 479084544 false(valid-memtrack) 20.3  8.58 508407808 error: exception 9.59 3.73 342265856
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error: exception) 241    191    2147446784 timeout (error: exception) 241    190    2358878208 timeout (error (143)) 245    215    823689216 error: exception 11.1  4.38 350064640
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 242    185    900472832 timeout (error (143)) 241    173    1988878336 timeout (error (143)) 240    180    1040564224 error: exception 8.57 3.20 319897600
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 240    191    823328768 timeout (error (143)) 241    181    1362583552 timeout (error (143)) 241    186    843665408 error: exception 9.52 3.53 334503936
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 242    192    915755008 timeout (error (143)) 241    179    1156784128 timeout (error (143)) 242    202    929914880 error: exception 9.16 3.45 343851008
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 16.9  7.48 457691136 true 17.5  7.36 477421568 true 26.1  14.8  492670976 error: exception 9.52 3.60 346157056
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 8.79 3.31 349913088 true 9.47 3.52 331091968 true 9.24 3.60 328863744 error: exception 10.6  3.96 359010304
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout (error (143)) 241    198    871239680 unknown 18.5  6.88 454254592 unknown 19.9  7.66 484929536 error: exception 15.2  5.60 378122240
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 240    181    1295011840 timeout (error (143)) 241    176    2236559360 timeout (error (143)) 241    203    1361469440 error: exception 18.8  7.12 484560896
memory-alloca/c.03-alloca_true-valid-memsafety.i true 12.5  4.81 385323008 true 12.5  5.01 389873664 error: exception 4.62 1.92 245649408 error: exception 7.74 3.01 313053184
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 8.40 3.28 302903296 false(valid-deref) 8.78 3.36 302510080 false(valid-deref) 8.69 3.41 325001216 error: exception 8.00 3.20 314421248
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 244    186    2343903232 timeout (error (143)) 241    187    2614407168 timeout (error (143)) 241    173    2409811968 error: exception 7.49 3.02 304365568
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error: exception) 240    181    2438246400 timeout (error: exception) 242    184    2674413568 timeout (error (143)) 241    175    2624245760 error: exception 8.31 3.30 334655488
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 245    189    2415558656 timeout (error: exception) 241    185    2762092544 timeout (error (143)) 240    169    2014867456 error: exception 10.0  4.03 337199104
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 11.2  4.42 352456704 timeout (error: exception) 241    192    2628554752 true 10.5  4.07 331595776 error: exception 7.88 3.05 307421184
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 12.4  4.81 342601728 timeout (error: exception) 241    174    2482855936 true 12.3  4.79 379670528 error: exception 8.80 3.55 335753216
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 11.2  4.41 361086976 timeout (error: exception) 241    194    2629545984 true 10.7  3.97 329027584 error: exception 7.89 3.07 305356800
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 13.3  5.89 338796544 timeout (error (143)) 240    183    2335633408 true 12.7  4.83 389013504 error: exception 9.96 3.90 334733312
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 11.6  4.51 365875200 timeout (error: exception) 241    187    2537185280 true 12.3  4.74 380088320 error: exception 8.85 3.41 327843840
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 8.50 3.45 284151808 true 30.2  13.9  631283712 true 8.41 3.30 301334528 error: exception 36.2  22.9  604528640
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 8.70 3.59 306712576 true 89.6  58.8  1247748096 true 8.66 3.39 304521216 error: exception 141    112    738734080
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 8.13 3.30 309051392 true 30.2  13.8  634089472 true 8.32 3.32 301268992 error: exception 36.1  22.9  638734336
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 8.29 3.24 315461632 true 91.7  59.3  1260199936 true 8.48 3.29 305516544 error: exception 141    111    857194496
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 8.05 3.28 300785664 true 102    61.4  1139863552 true 8.37 3.35 305569792 error: exception 143    113    853671936
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 7.93 3.10 314478592 true 92.6  58.8  1015717888 true 8.28 3.21 298024960 error: exception 143    113    851853312
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 244    218    2523787264 false(valid-deref) 56.7  25.6  1055145984 timeout (error (143)) 244    216    2398171136 error: exception 13.3  5.06 365744128
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout (error (143)) 241    211    950980608 false(valid-deref) 52.2  24.4  1045065728 false(valid-deref) 123    89.7  1111625728 error: exception 13.2  5.04 348848128
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout (error (143)) 243    221    701829120 false(valid-free) 82.2  38.6  1320185856 timeout (error (143)) 241    213    1919578112 error: exception 14.4  5.54 371441664
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 126    98.0  824561664 false(valid-free) 47.3  19.8  780124160 timeout (error (143)) 242    223    610865152 error: exception 12.7  4.55 356147200
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 18.0  6.65 401858560 false(valid-free) 18.1  6.66 476454912 false(valid-free) 157    144    544436224 error: exception 18.2  7.30 483246080
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i error: exception 202    178    703737856 false(valid-memtrack) 71.7  32.4  984211456 timeout (error (143)) 242    202    891273216 error: exception 14.8  5.80 363614208
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 19.8  7.86 410189824 false(valid-memtrack) 20.3  7.72 415817728 false(valid-memtrack) 98.3  85.1  522104832 timeout (error (143)) 244    236    356052992
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 61.2  29.5  938549248 false(valid-memtrack) 52.3  25.4  935104512 timeout (error (143)) 241    218    682971136 unknown 3.79 1.54 225394688
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout (error (143)) 240    207    703655936 timeout (error (143)) 241    169    2323099648 timeout (error (143)) 240    179    1567342592 error: exception 73.0  43.3  852357120
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout (error (143)) 241    220    621899776 timeout (error (143)) 240    166    2303700992 timeout (error (143)) 242    219    664289280 error: exception 14.4  5.55 364945408
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout (error (143)) 242    223    630243328 timeout (error: exception) 242    175    2301329408 timeout (error (143)) 242    217    760340480 error: exception 13.8  5.33 369061888
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 62.1  51.6  465362944 false(valid-memtrack) 14.6  5.38 354586624 false(valid-memtrack) 58.6  49.7  409989120 error: exception 18.7  8.67 398397440
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout (error (143)) 243    219    593383424 timeout (error (143)) 241    177    2395418624 error: exception 22.6  13.6  415973376 error: exception 26.9  17.9  471056384
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i error: exception 25.6  16.2  464683008 false(valid-memtrack) 27.2  10.8  600825856 timeout (error (143)) 241    176    945135616 error: exception 13.4  5.03 413569024
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 101    69.7  717221888 false(valid-memtrack) 42.4  17.0  835244032 false(valid-memtrack) 52.2  27.0  748482560 error: exception 14.2  5.29 368173056
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 47.7  30.3  514912256 false(valid-memtrack) 23.2  8.54 522575872 false(valid-memtrack) 25.7  9.54 538091520 error: exception 13.0  4.79 356356096
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 73.1  47.1  740659200 false(valid-memtrack) 44.4  17.9  900415488 false(valid-memtrack) 54.4  28.1  808742912 error: exception 14.1  5.25 371761152
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 14.8  5.60 368959488 false(valid-memtrack) 17.3  6.31 375910400 false(valid-memtrack) 106    93.7  503054336 error: exception 17.5  7.06 387092480
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 14.7  5.42 402984960 false(valid-memtrack) 15.9  5.68 355201024 false(valid-memtrack) 151    139    412815360 error: exception 14.8  5.80 356622336
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 13.5  5.13 348491776 false(valid-memtrack) 14.5  5.28 351813632 false(valid-memtrack) 67.7  57.5  385654784 error: exception 13.7  5.07 357048320
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i error: exception 207    180    699383808 true 114    68.8  1888620544 timeout (error (143)) 241    207    832618496 error: exception 14.6  5.53 356524032
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 69.0  35.9  1025859584 true 62.0  30.5  1004687360 timeout (error (143)) 241    217    703688704 error: exception 14.2  5.30 362967040
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout (error (143)) 241    190    924516352 true 224    152    2279149568 timeout (error (143)) 240    187    1039847424 error: exception 21.2  8.65 440750080
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 13.1  4.81 356704256 true 13.6  4.99 398639104 true 13.0  4.94 347213824 error: exception 15.6  5.95 355561472
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout (error (143)) 241    218    614760448 timeout (error (143)) 240    166    2307489792 timeout (error (143)) 241    215    678543360 error: exception 14.9  5.69 362987520
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 242    218    690606080 timeout (error (143)) 242    166    2274488320 timeout (error (143)) 243    209    972107776 error: exception 15.1  5.38 427163648
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout (error (143)) 242    216    571707392 timeout (error (143)) 241    183    2315825152 timeout (error (143)) 242    215    779517952 error: exception 16.8  6.66 413757440
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 72.7  39.7  958918656 true 57.2  24.0  1032294400 true 236    207    732434432 error: exception 13.2  4.68 363761664
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 11.1  4.02 372912128 true 12.3  4.70 336297984 true 11.5  4.11 339693568 unknown 3.83 1.49 222425088
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 13.1  4.84 351330304 true 14.6  5.34 418807808 true 13.4  5.01 344559616 error: exception 18.8  8.18 410234880
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 12.1  4.44 345755648 true 14.8  5.26 351731712 true 12.4  4.67 343986176 error: exception 16.8  6.77 379285504
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i error: exception 71.3  43.7  859303936 true 63.8  30.9  1340637184 timeout (error (143)) 242    214    942256128 error: exception 14.0  5.19 359243776
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout (error (143)) 244    210    2739773440 true 79.6  38.6  1584791552 timeout (error (143)) 242    206    1185431552 error: exception 14.7  5.52 362856448
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 241    206    2117390336 true 83.8  42.4  1459007488 timeout (error (143)) 241    196    1564405760 error: exception 14.2  5.47 360001536
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 11.0  4.19 366891008 true 11.9  4.38 349888512 true 11.8  4.44 343822336 error: exception 14.0  5.57 349593600
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 16.5  6.62 403607552 true 16.1  6.08 469143552 true 15.7  5.97 365735936 unknown 3.61 1.47 219533312
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 12.3  4.67 345399296 true 13.4  4.96 396935168 true 12.9  4.76 412901376 error: exception 16.2  6.41 382922752
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 18.5  7.33 419082240 true 19.7  7.55 477073408 timeout (error (143)) 240    223    466923520 unknown 3.61 1.47 222543872
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 17.0  6.35 474968064 true 19.6  7.09 411598848 true 82.2  68.6  475435008 error: exception 14.5  5.74 361254912
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 11.5  4.20 357056512 true 12.8  4.61 357072896 true 12.2  4.53 343121920 error: exception 14.9  5.80 415051776
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 11.7  4.12 366821376 true 12.1  4.45 339136512 true 12.1  4.46 366956544 error: exception 15.5  6.09 362516480
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-deref) 46.2  34.1  536051712 false(valid-deref) 11.5  4.44 331034624 timeout (error (143)) 241    212    951586816 false(valid-deref) 26.1  17.9  366989312
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i false(valid-deref) 36.8  24.7  543182848 false(valid-deref) 14.6  5.60 433483776 false(valid-deref) 67.3  54.2  706711552 true 20.7  10.6  384315392
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i error: exception 180    164    712052736 true 28.1  12.9  602791936 error: exception 240    220    1234558976 true 21.9  10.5  456302592
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i error: exception 71.2  59.9  2534637568 false(valid-deref) 33.1  15.3  698429440 timeout (error (143)) 241    229    1062563840 true 19.6  8.96 444375040
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i true 59.4  40.0  714752000 true 21.6  8.93 497971200 true 46.0  30.4  632807424 error: exception 13.9  5.83 359243776
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 8.48 3.23 324034560 false(valid-deref) 8.69 3.39 315985920 false(valid-deref) 8.68 3.39 319455232 unknown 3.69 1.54 224747520
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i timeout (error (143)) 240    228    1151275008 false(valid-deref) 29.5  13.1  634712064 timeout (error (143)) 242    230    1057783808 true 22.3  10.5  442056704
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) 112    90.3  744845312 false(valid-free) 17.6  7.11 416251904 timeout (error (143)) 241    213    746942464 error: exception 27.1  18.6  371171328
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(valid-memtrack) 23.3  9.22 486973440 false(valid-memtrack) 21.6  8.31 455479296 false(valid-memtrack) 28.0  10.7  543657984 error: exception 16.0  6.06 461930496
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 243    225    593129472 false(valid-memtrack) 36.4  16.6  577765376 false(valid-memtrack) 73.2  43.9  814546944 error: exception 13.7  5.03 355205120
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 42.8  22.1  664784896 false(valid-memtrack) 30.1  13.4  533245952 false(valid-memtrack) 53.4  28.5  758464512 error: exception 12.2  4.47 380956672
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    186    843337728 timeout (error (143)) 241    180    1153482752 timeout (error (143)) 241    184    946761728 error: exception 9.01 3.51 330240000
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 9.06 3.39 333701120 false(valid-memtrack) 9.32 3.47 323567616 false(valid-memtrack) 9.44 3.52 320516096 error: exception 9.06 3.45 344174592
list-properties/list_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 12.0  4.68 371679232 false(valid-memtrack) 12.3  4.89 337596416 false(valid-memtrack) 12.2  4.86 335491072 error: exception 9.29 3.63 345817088
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 9.37 3.49 343248896 false(valid-memtrack) 9.70 3.64 346693632 false(valid-memtrack) 9.66 3.58 336424960 error: exception 10.2  3.81 353124352
list-properties/simple_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 11.2  4.34 341786624 false(valid-memtrack) 10.8  4.33 368521216 false(valid-memtrack) 11.6  4.48 338997248 error: exception 9.31 3.74 343990272
list-properties/splice_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 9.40 3.77 326656000 false(valid-memtrack) 9.23 3.45 328708096 false(valid-memtrack) 9.30 3.56 328232960 error: exception 9.36 3.63 329064448
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    199    834506752 timeout (error (143)) 240    177    1421451264 timeout (error (143)) 241    208    687099904 error: exception 12.8  4.97 352227328
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 244    212    690077696 timeout (error (143)) 241    178    1229950976 timeout (error (143)) 242    206    713072640 unknown 3.79 1.50 222056448
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    179    941846528 timeout (error (143)) 241    176    1279434752 timeout (error (143)) 245    205    884875264 unknown 3.68 1.47 222621696
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    191    686239744 timeout (error: exception) 240    180    1653932032 timeout (error (143)) 241    197    688250880 error: exception 13.9  5.21 396189696
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    181    847908864 timeout (error (143)) 241    180    1279762432 timeout (error (143)) 241    190    973430784 error: exception 13.9  5.20 409546752
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    186    1142816768 timeout (error (143)) 241    180    1311666176 timeout (error (143)) 241    190    1042087936 unknown 3.70 1.46 223543296
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    206    488751104 timeout (error (143)) 241    181    1186533376 timeout (error (143)) 242    209    867504128 error: exception 13.1  5.26 406110208
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    203    503312384 timeout (error (143)) 240    185    1203335168 timeout (error (143)) 242    209    1025490944 unknown 3.75 1.52 225886208
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    185    957153280 timeout (error (143)) 241    180    1224069120 timeout (error (143)) 243    210    1007788032 error: exception 13.2  4.97 362917888
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 242    204    830111744 timeout (error (143)) 240    179    1280679936 timeout (error (143)) 243    212    644435968 error: exception 12.4  4.75 353935360
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    200    875012096 timeout (error (143)) 241    177    1393893376 timeout (error (143)) 241    206    832360448 error: exception 12.9  4.67 373673984
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    191    894746624 timeout (error (143)) 241    174    1428447232 timeout (error (143)) 241    177    1014640640 error: exception 11.6  4.31 349302784
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    185    916905984 timeout (error (143)) 241    177    1954676736 timeout (error (143)) 241    200    1089327104 error: exception 12.9  4.64 358170624
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    188    858800128 timeout (error (143)) 241    177    1509220352 timeout (error (143)) 241    187    1246973952 error: exception 12.5  4.78 361201664
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    185    892309504 timeout (error (143)) 241    179    1595731968 timeout (error (143)) 241    185    952487936 unknown 3.83 1.53 223707136
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 241    187    812584960 timeout (error (143)) 240    176    1095172096 timeout (error (143)) 241    192    1061703680 error: exception 13.0  5.12 354983936
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 243    195    915812352 timeout (error (143)) 241    180    1157099520 timeout (error (143)) 241    184    1062846464 error: exception 12.5  4.69 383070208
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 243    198    1200074752 timeout (error (143)) 241    180    1147846656 timeout (error (143)) 241    185    1026084864 error: exception 13.4  5.09 363786240
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 240    187    1038008320 timeout (error (143)) 241    179    2250256384 timeout (error (143)) 242    192    1194717184 error: exception 12.0  4.91 342450176
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 62.8  35.8  859844608 false(valid-deref) 39.0  18.5  669818880 false(valid-deref) 136    106    703295488 error: exception 14.0  5.33 425078784
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 30.6  12.4  573849600 false(valid-deref) 28.2  11.8  521609216 false(valid-deref) 77.4  57.5  507129856 error: exception 13.2  4.96 376561664
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 44.7  22.9  742883328 false(valid-deref) 29.4  13.0  632619008 false(valid-deref) 51.7  27.1  684478464 error: exception 12.8  4.61 353681408
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.03 3.39 303108096 true 9.02 3.33 315731968 true 9.16 3.42 302116864 unknown 3.57 1.44 222433280
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.04 2.90 284712960 true 7.04 2.75 293560320 true 7.65 3.17 279711744 unknown 3.60 1.46 224833536
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 6.07 2.54 273170432 true 6.21 2.45 280973312 true 6.71 2.76 271978496 unknown 3.64 1.43 224272384
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 204 24000 19200 157257785344 204 20700 14400 215930519552 204 25100 20000 164871847936 204 5120 3250 82013401088
    correct results 0 0 0 0
        correct true 0 0 0 0
        correct false 0 0 0 0
    incorrect results 0 0 0 0
        incorrect true 0 0 0 0
        incorrect false 0 0 0 0
Run set Camel SmtInterpolCraig SmtInterpolNoArray z3