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/add_last_unsafe_false-valid-deref.i false(valid-deref) 7.91 5.60 280915968 false(valid-deref) 7.98 3.13 290402304 false(valid-deref) 7.59 3.11 297123840 false(valid-deref) 8.40 3.30 319004672
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 6.50 5.55 264491008 false(valid-deref) 6.43 2.63 274235392 false(valid-deref) 6.59 2.69 285179904 false(valid-deref) 7.16 2.88 298029056
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 7.97 3.13 269803520 false(valid-deref) 8.28 3.05 296161280 false(valid-deref) 7.98 3.08 298196992 false(valid-deref) 9.22 3.70 336789504
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 6.35 2.70 247693312 false(valid-deref) 6.26 2.63 275587072 false(valid-deref) 6.26 2.64 285364224 false(valid-deref) 6.21 2.63 292515840
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/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 6.32 2.55 255082496 false(valid-deref) 6.28 2.53 286228480 false(valid-deref) 6.40 2.52 283004928 false(valid-deref) 6.33 2.72 295604224
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 6.42 2.59 257445888 false(valid-deref) 6.32 2.66 271712256 false(valid-deref) 6.41 2.64 286547968 false(valid-deref) 6.44 2.83 300244992
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/diff_usafe_false-valid-deref.i false(valid-deref) 6.72 2.80 256847872 false(valid-deref) 6.83 2.74 288165888 false(valid-deref) 6.60 2.74 282238976 false(valid-deref) 7.35 3.06 303710208
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/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 9.43 3.56 316514304 false(valid-deref) 9.62 3.51 337588224 false(valid-deref) 9.43 3.63 333582336 false(valid-deref) 15.4  7.24 437272576
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 8.60 3.37 285794304 false(valid-deref) 8.60 3.22 297922560 false(valid-deref) 8.32 3.30 301072384 false(valid-deref) 8.80 3.40 323670016
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 6.91 2.77 253673472 false(valid-deref) 6.93 2.80 278798336 false(valid-deref) 6.95 2.95 291823616 false(valid-deref) 7.30 3.07 300879872
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 6.35 2.60 247259136 false(valid-deref) 5.94 2.51 271912960 false(valid-deref) 6.28 2.55 280174592 false(valid-deref) 6.39 2.66 295030784
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_cmemset-alloca_true-valid-memsafety_true-termination.i true 13.1  5.99 409731072 true 11.2  4.54 348774400 true 14.3  6.33 342904832 true 90.9  81.8  387305472
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/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 246    240    2126835712 timeout (error (143)) 246    240    2126475264 timeout (error (143)) 246    240    2127814656 timeout (error (143)) 246    240    2124435456
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/relax_false-valid-deref.i false(valid-deref) 8.70 3.28 311160832 false(valid-deref) 8.85 3.28 315146240 false(valid-deref) 9.51 3.57 329768960 false(valid-deref) 9.69 3.71 347729920
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 241    182    1305808896 timeout (error (143)) 241    183    2241622016 timeout (error (143)) 241    176    1716580352 timeout (error (143)) 240    194    1011535872
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-0137_false-valid-deref.i unknown 5.57 2.22 235245568 unknown 5.58 2.26 237555712 unknown 5.39 2.24 250109952 unknown 5.69 2.61 263405568
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/test-0158_false-valid-free.i false(valid-free) 9.57 3.48 343617536 false(valid-free) 9.40 3.53 338407424 false(valid-free) 10.5  3.90 332845056 false(valid-free) 11.0  4.25 358547456
memsafety/test-0232_false-valid-free.i unknown 5.42 2.18 228945920 unknown 5.27 2.10 236879872 unknown 5.69 2.30 247803904 unknown 5.48 2.49 259096576
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 246    239    2127794176 timeout (error (143)) 246    239    2140041216 timeout (error (143)) 246    239    2138693632 timeout (error (143)) 246    240    2136236032
memsafety/20051113-1.c_false-valid-memtrack.i error: exception 19.2  7.55 438865920 error: exception 16.5  6.33 461295616 error: exception 19.6  7.24 490639360 error: exception 10.5  3.89 377286656
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-0102_false-valid-memtrack.i error: exception 5.81 2.23 236564480 error: exception 5.95 2.19 244772864 error: exception 6.00 2.31 257298432 error: exception 6.03 2.31 261423104
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 7.83 3.03 284086272 false(valid-memtrack) 7.74 3.00 292241408 false(valid-memtrack) 7.99 3.09 308674560 false(valid-memtrack) 8.75 3.40 322097152
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-0232_false-valid-memtrack.i unknown 5.15 2.08 238518272 unknown 5.45 2.21 237154304 unknown 5.40 2.08 245792768 unknown 5.37 2.18 257798144
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-0102_true-valid-memsafety.i error: exception 5.64 2.25 237178880 error: exception 5.79 2.29 245563392 error: exception 5.93 2.32 254578688 error: exception 6.04 2.43 266174464
memsafety/test-0134_true-valid-memsafety.i unknown 5.53 2.17 228999168 unknown 5.64 2.13 232321024 unknown 5.46 2.23 258183168 unknown 5.59 2.23 259428352
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-0214_true-valid-memsafety_false-termination.i error: exception 5.62 2.36 237547520 error: exception 5.63 2.25 243896320 error: exception 6.19 2.32 254459904 error: exception 5.87 2.69 259440640
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 5.70 2.20 231936000 error: exception 5.83 2.39 232304640 error: exception 5.83 2.31 251232256 error: exception 5.85 2.27 257171456
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 5.70 2.24 232468480 error: exception 5.66 2.19 243617792 error: exception 5.89 2.31 254873600 error: exception 5.94 2.38 263294976
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-0232_true-valid-memsafety.i unknown 5.31 2.17 233377792 unknown 5.30 2.18 244408320 unknown 5.59 2.32 250277888 unknown 5.54 2.28 265187328
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-0521_true-valid-memsafety.i unknown 5.27 2.20 235204608 unknown 5.54 2.21 234549248 unknown 5.39 2.19 250236928 unknown 5.55 2.31 260374528
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/skiplist_2lvl_true-valid-memsafety.i unknown 5.61 2.18 233148416 unknown 5.47 2.34 247554048 unknown 5.40 2.21 252121088 unknown 5.58 2.15 266801152
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 5.37 2.15 229240832 unknown 5.51 2.32 242450432 unknown 5.61 2.19 248893440 unknown 5.34 2.42 263794688
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-0158_1_false-valid-free.i false(valid-free) 9.41 3.56 330735616 false(valid-free) 9.39 3.59 333275136 false(valid-free) 9.75 3.76 334577664 false(valid-free) 10.9  4.21 350420992
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/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 8.16 3.08 296640512 false(valid-memtrack) 8.17 3.20 298213376 false(valid-memtrack) 8.67 3.43 306266112 false(valid-memtrack) 8.71 3.42 345829376
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 5.19 2.13 236191744 unknown 5.35 2.09 240336896 unknown 5.72 2.19 251936768 unknown 5.14 2.08 260964352
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-0214_1_true-valid-memsafety.i error: exception 5.43 2.12 235909120 error: exception 6.01 2.34 251760640 error: exception 5.62 2.14 247889920 error: exception 5.82 2.34 266645504
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 5.51 2.31 236781568 error: exception 5.93 2.26 240406528 error: exception 5.59 2.20 251908096 error: exception 5.79 2.41 270704640
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 5.12 2.03 229462016 unknown 5.60 2.23 240128000 unknown 5.42 2.10 253042688 unknown 5.54 2.22 258363392
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-read.c false(valid-deref) 8.19 3.20 277401600 false(valid-deref) 8.46 3.39 294850560 false(valid-deref) 7.81 3.17 303878144 false(valid-deref) 9.30 3.65 363429888
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/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 6.60 2.75 281358336 false(valid-deref) 6.58 2.79 280092672 false(valid-deref) 6.59 2.78 296468480 false(valid-deref) 7.16 3.04 306872320
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 6.87 2.86 283119616 false(valid-deref) 6.87 2.90 287031296 false(valid-deref) 6.94 2.76 295604224 false(valid-deref) 7.65 3.17 308391936
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/memset2_false-valid-deref-write.c false(valid-deref) 5.94 2.80 274075648 false(valid-deref) 6.72 2.74 281300992 false(valid-deref) 6.73 2.79 288489472 false(valid-deref) 6.82 2.86 301219840
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 6.54 2.71 269987840 false(valid-deref) 6.60 2.76 286224384 false(valid-deref) 6.81 2.77 290316288 false(valid-deref) 6.99 3.11 308908032
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 6.30 2.59 279834624 false(valid-deref) 6.47 2.68 281665536 false(valid-deref) 6.86 2.77 288342016 false(valid-deref) 6.57 2.71 309833728
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 6.55 2.63 277372928 false(valid-deref) 6.51 2.69 282296320 false(valid-deref) 6.93 2.77 292909056 false(valid-deref) 7.33 2.92 304775168
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 6.37 2.63 276557824 false(valid-deref) 6.18 2.55 286171136 false(valid-deref) 6.63 2.76 292786176 false(valid-deref) 6.75 2.86 302600192
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 6.13 2.63 272506880 false(valid-deref) 6.56 2.74 280207360 false(valid-deref) 6.79 2.72 293453824 false(valid-deref) 6.94 2.78 306896896
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/StructInitialization1_true-valid-memsafety.c true 7.36 2.94 279711744 true 7.55 2.93 293240832 true 7.62 2.97 292507648 true 8.88 3.42 343785472
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 7.15 2.92 290275328 true 7.47 2.91 289468416 true 7.71 2.95 295702528 true 8.96 3.46 331354112
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 7.15 2.96 264749056 true 6.89 2.72 285470720 true 6.72 2.73 299851776 true 7.70 3.07 317243392
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_test14_3_false-valid-deref.i error: exception 6.29 2.25 247996416 error: exception 6.46 2.37 271216640 error: exception 6.35 2.48 260530176 error: exception 6.36 2.51 286003200
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_test23_2_false-valid-deref.i unknown 5.80 2.28 232120320 unknown 5.87 2.28 245325824 unknown 5.67 2.28 259219456 unknown 5.90 2.34 269316096
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.57 2.41 235745280 unknown 5.97 2.28 241422336 unknown 5.54 2.29 253554688 unknown 5.91 2.46 278552576
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 5.77 2.25 237383680 error: exception 5.97 2.29 248487936 error: exception 5.84 2.36 260362240 error: exception 5.65 2.30 268062720
ldv-memsafety/memleaks_test12_false-valid-free.i error: exception 5.66 2.17 237608960 error: exception 6.01 2.26 245645312 error: exception 5.71 2.38 258392064 error: exception 5.81 2.32 272072704
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_test1_false-valid-free.i false(valid-free) 10.6  4.31 370200576 false(valid-free) 10.8  4.06 365981696 false(valid-free) 10.7  3.90 339517440 false(valid-free) 12.4  4.64 349798400
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 8.92 3.50 328499200 false(valid-free) 9.90 3.95 331636736 false(valid-free) 9.31 3.35 344424448 false(valid-free) 9.81 3.69 343486464
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_test8_2_false-valid-free.i false(valid-free) 11.6  4.33 364605440 false(valid-free) 11.5  4.23 336392192 false(valid-free) 10.9  3.99 335441920 false(valid-free) 14.8  5.69 427974656
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_test11_2_false-valid-memtrack_true-termination.i error: exception 6.14 2.35 237199360 error: exception 6.14 2.40 247943168 error: exception 5.72 2.20 258809856 error: exception 5.97 2.40 270983168
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_test14_1_false-valid-memtrack_true-termination.i error: exception 6.08 2.33 244965376 error: exception 6.32 2.49 270110720 error: exception 6.22 2.34 282202112 error: exception 6.33 2.56 299483136
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 6.30 2.72 247042048 error: exception 6.31 2.42 252878848 error: exception 6.20 2.42 257187840 error: exception 6.36 2.54 293638144
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_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.3  4.18 343298048 false(valid-memtrack) 12.2  4.39 364683264 false(valid-memtrack) 11.1  4.19 341655552 false(valid-memtrack) 14.0  5.46 363175936
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.55 3.57 330485760 false(valid-memtrack) 10.3  3.76 331816960 false(valid-memtrack) 9.88 3.58 343212032 false(valid-memtrack) 10.9  4.02 337244160
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_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.37 3.50 335405056 false(valid-memtrack) 10.2  3.71 343986176 false(valid-memtrack) 9.51 3.57 325521408 false(valid-memtrack) 10.7  4.04 339066880
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.91 3.62 334028800 false(valid-memtrack) 10.5  3.89 371642368 false(valid-memtrack) 10.1  3.76 339906560 false(valid-memtrack) 11.7  4.44 332902400
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.87 3.57 363495424 false(valid-memtrack) 10.3  3.75 360747008 false(valid-memtrack) 10.1  3.70 335249408 false(valid-memtrack) 11.3  4.05 367120384
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_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.8  3.98 338104320 false(valid-memtrack) 12.0  4.29 372658176 false(valid-memtrack) 11.4  4.38 337338368 false(valid-memtrack) 14.1  5.36 359481344
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.76 3.51 340836352 false(valid-memtrack) 10.3  3.78 333058048 false(valid-memtrack) 10.2  3.71 329351168 false(valid-memtrack) 10.8  3.94 336003072
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.1  3.93 334839808 false(valid-memtrack) 11.3  3.99 383057920 false(valid-memtrack) 10.8  4.15 336723968 false(valid-memtrack) 13.0  4.64 383700992
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_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.4  3.81 354869248 false(valid-memtrack) 10.5  3.83 331255808 false(valid-memtrack) 9.79 3.61 343650304 false(valid-memtrack) 11.4  4.00 379633664
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.1  4.12 366645248 false(valid-memtrack) 11.5  4.13 334839808 false(valid-memtrack) 10.8  3.99 338325504 false(valid-memtrack) 13.4  5.34 355065856
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.5  3.85 370069504 false(valid-memtrack) 10.5  3.92 335396864 false(valid-memtrack) 10.2  3.79 333127680 false(valid-memtrack) 12.1  4.32 350007296
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_test11_true-valid-memsafety_true-termination.i error: exception 6.04 2.40 235823104 error: exception 5.64 2.28 250363904 error: exception 5.78 2.22 253362176 error: exception 5.98 2.40 266485760
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error: exception 6.01 2.36 239689728 error: exception 5.81 2.34 249077760 error: exception 5.52 2.32 257441792 error: exception 6.11 2.44 269135872
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_test14_true-valid-memsafety.i error: exception 5.90 2.29 248963072 error: exception 6.58 2.63 251486208 error: exception 6.05 2.43 262139904 error: exception 6.32 2.54 271257600
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_test23_1_true-valid-memsafety.i unknown 5.43 2.17 235282432 unknown 5.87 2.24 243994624 unknown 5.77 2.29 262238208 unknown 6.33 2.47 279658496
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.59 2.18 234663936 unknown 5.83 2.41 245960704 unknown 5.88 2.31 260014080 unknown 6.01 2.40 266076160
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-1_true-valid-memsafety_true-termination.i false(valid-deref) 7.31 2.83 282578944 false(valid-deref) 8.09 3.14 293715968 false(valid-deref) 7.38 2.99 295034880 false(valid-deref) 9.92 3.93 339066880
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-1_false-valid-deref.i false(valid-deref) 7.54 2.95 283582464 false(valid-deref) 7.97 3.12 290066432 false(valid-deref) 7.68 3.06 295501824 false(valid-deref) 10.0  3.89 341250048
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
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.54 2.20 238489600 unknown 5.46 2.21 246403072 unknown 5.92 2.38 257146880 unknown 5.89 2.30 269209600
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 246    240    2100879360 timeout (error (143)) 246    240    2130157568 timeout (error (143)) 246    240    2033381376 timeout (error (143)) 246    240    2129969152
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 5.29 2.26 233979904 unknown 5.56 2.23 247255040 unknown 5.66 2.45 252772352 unknown 6.08 2.35 250466304
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.70 2.32 236838912 unknown 5.51 2.25 243654656 unknown 5.77 2.40 256626688 unknown 6.22 2.51 254644224
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 5.51 2.21 237711360 unknown 5.45 2.28 246390784 unknown 5.44 2.33 256458752 unknown 6.15 2.53 250560512
heap-manipulation/tree_false-valid-deref.i unknown 5.52 2.27 235139072 unknown 5.39 2.11 245276672 unknown 5.65 2.36 256020480 unknown 6.13 2.59 250425344
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 246    240    2129686528 timeout (error (143)) 246    240    2129457152 timeout (error (143)) 246    240    2131259392 timeout (error (143)) 246    240    2119479296
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
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.96 2.31 248582144 unknown 6.41 2.41 245886976 unknown 6.35 2.54 257978368 unknown 6.34 2.49 267886592
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.24 2.27 244006912 unknown 6.15 2.29 245514240 unknown 6.03 2.43 258994176 unknown 3.67 1.50 223277056
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 6.05 2.33 246116352 unknown 5.77 2.41 246779904 unknown 6.16 2.39 257462272 unknown 3.64 1.43 222490624
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 6.20 2.37 251310080 unknown 6.32 2.56 246751232 unknown 5.92 2.39 258019328 unknown 6.48 2.51 273170432
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.11 2.39 243511296 unknown 5.89 2.30 248164352 unknown 6.02 2.42 263344128 unknown 6.31 2.42 271962112
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 6.19 2.33 246599680 unknown 6.00 2.47 251719680 unknown 6.02 2.38 255315968 unknown 3.73 1.56 223072256
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.92 2.24 242515968 unknown 6.34 2.41 248197120 unknown 6.07 2.42 253870080 unknown 6.35 2.62 268464128
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.04 2.38 247480320 unknown 5.80 2.45 246599680 unknown 6.51 2.38 260493312 unknown 6.58 2.76 268144640
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.83 2.27 240271360 unknown 6.01 2.40 244621312 unknown 6.08 2.40 258396160 unknown 3.63 1.46 221327360
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.87 2.36 241500160 unknown 6.12 2.40 253800448 unknown 6.13 2.47 258760704 unknown 3.70 1.45 219533312
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 6.15 2.35 250568704 unknown 5.96 2.34 251768832 unknown 6.43 2.39 259796992 unknown 6.25 2.50 267726848
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.21 2.45 243507200 unknown 5.54 2.30 244015104 unknown 6.21 2.38 256454656 unknown 6.44 2.59 274767872
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 6.06 2.36 246575104 unknown 6.19 2.48 246296576 unknown 6.30 2.46 254468096 unknown 5.87 2.41 266919936
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
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 241    191    2311462912 timeout (error (143)) 241    194    2236624896 timeout (error (143)) 241    177    2367815680 timeout (error (143)) 241    194    755179520
ntdrivers/floppy_false-valid-deref.i.cil.c error: exception 6.85 2.56 298315776 error: exception 7.40 2.71 293568512 error: exception 7.06 2.69 297762816 error: exception 7.66 3.05 307023872
ntdrivers/kbfiltr_false-valid-deref.i.cil.c error: exception 6.68 2.38 275128320 error: exception 6.56 2.51 273477632 error: exception 6.80 2.47 276824064 error: exception 6.76 2.61 276287488
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.3  3.79 368128000 true 11.1  4.13 335122432 true 11.3  4.05 348233728 true 10.8  3.98 339427328
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.7  3.95 329097216 true 10.8  3.99 371245056 true 10.6  3.83 383504384 true 10.6  3.82 355409920
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.51 3.12 311435264 true 8.87 3.20 317231104 true 8.96 3.21 319852544 true 8.53 3.16 330739712
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.87 3.22 312193024 true 8.42 3.12 303054848 true 8.51 3.20 324009984 true 9.05 3.35 327901184
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/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.70 3.47 341864448 true 9.72 3.58 333635584 true 10.5  3.75 330162176 true 9.79 3.51 343224320
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.48 3.39 337088512 true 10.4  3.79 343363584 true 10.4  3.73 327135232 true 9.30 3.49 331788288
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
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.09 3.01 292364288 true 8.63 3.25 305963008 true 8.88 3.52 300707840 true 8.42 3.23 335396864
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.28 2.99 292691968 true 8.02 3.01 293027840 true 8.62 3.24 294629376 true 8.00 3.16 332660736
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 6.05 2.52 276545536 true 6.17 2.46 280252416 true 6.76 2.83 275070976 true 6.23 2.58 307621888
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
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 6.00 2.55 268894208 true 5.91 2.57 280166400 true 6.73 2.81 272273408 true 6.24 2.68 304988160
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 6.00 2.59 271466496 true 6.19 2.55 282083328 true 6.75 2.81 275488768 true 6.48 2.56 305500160
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 6.22 2.59 274567168 true 6.17 2.51 280297472 true 6.79 2.91 274677760 true 6.37 2.63 304898048
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 6.25 2.64 275017728 true 6.25 2.53 286760960 true 6.77 2.75 274894848 true 6.37 2.82 306229248
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 6.43 2.49 269336576 true 6.29 2.54 288198656 true 6.84 2.87 281722880 true 6.35 2.60 299974656
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 6.47 2.56 258617344 true 6.34 2.55 283045888 true 6.75 2.91 278179840 true 6.52 2.52 302460928
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 6.18 2.65 263397376 true 5.87 2.39 284368896 true 6.49 2.88 275632128 true 5.93 2.52 297091072
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 6.28 2.44 260308992 true 6.17 2.44 283242496 true 6.49 2.70 272629760 true 6.61 2.79 298831872
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 6.52 2.48 257986560 true 5.97 2.45 280645632 true 6.64 2.82 273891328 true 6.22 2.56 306085888
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 6.52 2.66 269492224 true 6.12 2.45 279715840 true 6.56 2.71 275460096 true 6.25 2.53 301240320
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 6.28 2.59 260984832 true 6.27 2.61 274325504 true 6.43 2.81 275394560 true 6.06 2.43 306126848
../../../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 326 26300 20800 201309937664 326 23000 16100 261761384448 326 27400 21600 210708283392 326 7550 5020 127308247040
local summary 15100 10500 22000 8130 26400 10900 6000 2590
    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