Tool ULTIMATE Automizer 0.1.23-408c70d5
Limits timelimit: 900 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-12 10:02:10 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.20 3.06 275566592 false(valid-deref) 7.33 2.97 275357696 false(valid-deref) 7.53 2.93 270540800 false(valid-deref) 8.17 3.18 319602688
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 5.64 2.54 256004096 false(valid-deref) 6.08 2.43 254824448 false(valid-deref) 6.18 2.56 262447104 false(valid-deref) 6.87 2.77 266051584
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 7.30 2.78 277102592 false(valid-deref) 7.24 2.77 279179264 false(valid-deref) 7.66 2.97 276471808 false(valid-deref) 8.17 3.17 335462400
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 5.44 2.38 251060224 false(valid-deref) 5.65 2.39 249237504 false(valid-deref) 5.99 2.48 253218816 false(valid-deref) 5.88 2.42 264728576
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 12.3  5.43 388698112 false(valid-deref) 11.0  4.30 377606144 false(valid-deref) 12.9  5.66 380219392 error: exception 7.84 3.08 290459648
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 9.11 3.57 346664960 false(valid-deref) 9.19 3.70 352718848 unknown 4.42 1.83 218009600 error: exception 8.51 3.17 333811712
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 5.63 2.34 253276160 false(valid-deref) 5.76 2.51 251109376 false(valid-deref) 5.91 2.55 255553536 false(valid-deref) 5.91 2.52 260067328
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 5.66 2.29 257687552 false(valid-deref) 5.67 2.43 248098816 false(valid-deref) 6.08 2.53 263487488 false(valid-deref) 5.86 2.37 261246976
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 11.9  5.03 473178112 false(valid-deref) 10.9  4.44 348123136 false(valid-deref) 11.8  4.88 380006400 error: exception 9.99 3.78 367812608
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 5.71 2.48 255676416 false(valid-deref) 6.14 2.53 254562304 false(valid-deref) 6.23 2.58 263790592 false(valid-deref) 7.17 2.66 278528000
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 7.98 3.07 310292480 false(valid-deref) 8.25 3.23 305733632 false(valid-deref) 8.78 3.41 332742656 error: exception 7.19 2.76 275640320
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 12.3  4.87 373059584 false(valid-deref) 11.7  4.55 362639360 false(valid-deref) 11.4  4.48 346001408 error: exception 8.70 3.34 327454720
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 7.18 2.95 287928320 unknown 6.86 2.71 266977280 unknown 6.93 2.85 266518528 false(valid-deref) 8.15 3.19 289370112
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 8.57 3.25 333266944 false(valid-deref) 8.76 3.60 332963840 false(valid-deref) 8.83 3.53 326066176 false(valid-deref) 15.4  7.06 411033600
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 7.73 3.04 287924224 false(valid-deref) 8.04 3.00 294305792 false(valid-deref) 7.93 3.18 292937728 false(valid-deref) 8.71 3.38 332976128
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 6.15 2.54 254124032 false(valid-deref) 6.34 2.59 259973120 false(valid-deref) 6.34 2.55 260579328 false(valid-deref) 7.00 2.78 265179136
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 5.40 2.31 247463936 false(valid-deref) 5.75 2.29 250609664 false(valid-deref) 6.01 2.33 259907584 false(valid-deref) 5.90 2.37 261165056
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 906    826    1071034368 timeout (error (143)) 900    786    2613669888 timeout (error (143)) 901    766    2579738624 error: exception 7.73 3.11 294776832
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 9.24 3.65 351064064 true 9.10 3.63 347828224 true 9.81 3.89 351993856 error: exception 7.97 3.05 308195328
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 10.5  4.03 342986752 true 9.48 3.78 355115008 true 11.2  4.58 341848064 error: exception 8.81 3.30 339447808
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 11.0  4.47 344219648 true 9.77 3.90 339062784 true 11.3  4.50 349061120 error: exception 8.66 3.41 331558912
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 9.39 3.64 342814720 true 9.30 3.63 357044224 true 9.87 3.96 348598272 error: exception 9.05 3.48 336441344
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 13.5  5.60 397160448 true 12.4  4.80 389681152 true 13.1  5.31 393793536 error: exception 8.45 3.33 334893056
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 900    831    1432260608 timeout (error (143)) 901    796    963219456 out of memory 375    233    6000005120 error: exception 8.50 3.38 308498432
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 56.5  47.9  464470016 true 11.2  4.52 395972608 true 13.6  5.77 426287104 error: exception 7.94 3.04 291016704
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 22.9  11.8  519761920 true 19.1  8.38 469282816 true 30.9  16.0  580722688 error: exception 8.32 3.01 303919104
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 15.8  6.89 447209472 true 14.4  6.09 438718464 unknown 581    473    2613952512 error: exception 8.67 3.37 323256320
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 32.8  20.5  534044672 true 17.8  7.42 454520832 true 24.3  11.9  535441408 error: exception 8.22 3.18 319127552
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 12.3  5.47 376848384 true 10.2  4.19 350470144 true 12.3  5.11 339587072 error: exception 9.48 3.83 340881408
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i out of memory 475    337    6000001024 timeout (error (143)) 900    797    994787328 timeout (error (143)) 901    779    1087344640 error: exception 10.4  4.03 360751104
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 23.3  11.8  508669952 true 19.8  8.45 490774528 true 26.2  11.4  567140352 error: exception 8.27 3.22 298287104
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 21.9  11.0  489086976 true 16.5  7.10 437493760 timeout (error (143)) 901    768    2675105792 error: exception 8.69 3.24 319741952
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 53.7  35.6  579895296 true 19.7  8.32 501587968 true 70.4  49.6  620740608 error: exception 8.24 3.22 313282560
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 50.5  34.2  613285888 true 20.2  8.35 514740224 true 43.5  29.9  529698816 error: exception 8.21 3.15 299876352
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 16.9  6.93 434769920 true 14.1  5.47 417562624 true 19.5  7.78 448192512 error: exception 7.37 2.79 275623936
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 14.9  6.09 429637632 true 13.1  5.13 408555520 true 15.3  6.37 422563840 error: exception 8.13 3.07 316211200
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 10.4  4.00 346877952 true 9.82 3.84 345767936 true 11.2  4.36 371683328 error: exception 9.14 3.55 347664384
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 25.1  12.2  503250944 true 19.5  8.67 475344896 true 21.1  9.27 484110336 error: exception 8.37 3.18 332152832
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 37.6  31.1  376578048 unknown 6.68 2.66 266137600 unknown 7.12 2.80 265641984 error: exception 8.41 3.13 317784064
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 12.0  5.35 401408000 true 11.7  4.69 394166272 true 16.3  8.33 482021376 error: exception 8.38 3.25 318029824
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 12.0  5.11 379117568 true 10.8  4.23 372776960 true 14.1  6.01 428707840 error: exception 8.23 3.25 313925632
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 37.8  28.2  467128320 true 19.2  12.1  379498496 true 24.0  15.5  441401344 error: exception 8.53 3.30 329121792
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 12.0  4.88 398901248 true 10.3  4.16 352227328 true 14.0  5.90 434364416 true 40.3  31.4  476930048
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 15.5  6.78 421912576 true 13.3  5.34 426303488 timeout (error (143)) 901    777    2638712832 error: exception 8.86 3.28 329404416
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 61.0  36.6  818987008 true 45.5  22.9  666746880 timeout (error (143)) 901    810    993546240 error: exception 8.44 3.16 337702912
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i out of memory 302    218    6000001024 timeout (error (143)) 901    803    1010311168 out of memory 399    298    6000005120 error: exception 7.87 3.00 307273728
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 26.1  14.3  530423808 true 20.2  8.55 508092416 true 30.6  14.0  503955456 error: exception 8.30 3.08 305913856
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 19.7  8.90 493936640 true 13.9  5.68 433704960 timeout (error (143)) 901    769    2639015936 error: exception 7.97 3.07 328515584
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 31.3  20.4  545964032 true 18.0  7.83 470781952 true 23.5  10.9  558927872 error: exception 7.62 2.95 299524096
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 41.3  20.7  641777664 true 39.9  17.3  627965952 true 73.6  36.8  806309888 error: exception 8.02 3.00 293335040
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 11.4  5.01 385847296 true 10.7  4.40 373624832 true 12.7  5.30 398823424 error: exception 8.69 3.30 340164608
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 901    858    950308864 timeout (error (143)) 901    804    986656768 timeout (error (143)) 906    870    1117974528 error: exception 9.67 3.48 366317568
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 26.5  12.9  568938496 true 21.6  9.19 547311616 true 35.1  16.3  652742656 error: exception 8.33 3.16 301150208
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 26.6  13.4  485212160 true 21.5  8.75 490942464 timeout (error (143)) 901    834    919871488 error: exception 8.55 3.20 329158656
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 12.5  5.30 439078912 true 11.9  4.82 388341760 true 15.5  6.54 462340096 error: exception 9.24 3.49 346456064
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 22.3  11.2  500256768 true 18.4  8.17 524066816 true 25.5  12.4  527998976 error: exception 7.90 2.96 298213376
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 27.5  14.6  572628992 true 20.6  9.82 524505088 true 29.3  14.3  634822656 error: exception 7.86 3.28 289009664
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 906    845    665260032 timeout (error (143)) 901    763    2609709056 timeout (error (143)) 901    764    2872942592 error: exception 9.55 3.56 343736320
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 906    892    2128441344 timeout (error (143)) 906    892    2130190336 timeout (error (143)) 906    892    2077360128 timeout (error (143)) 906    892    2132889600
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 11.6  4.82 400711680 timeout (error (143)) 901    771    2668986368 true 14.8  5.73 436436992 error: exception 9.77 3.81 374362112
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 10.5  4.19 338173952 true 9.13 3.72 362405888 true 11.8  5.02 352641024 error: exception 8.64 3.26 320237568
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 10.3  4.33 344674304 true 9.51 3.72 341536768 true 11.4  4.59 361865216 error: exception 8.49 3.21 326103040
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 16.7  7.87 427372544 true 11.6  4.46 389619712 true 14.2  5.91 443797504 error: exception 9.17 3.41 350666752
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 33.8  21.2  533536768 true 22.9  9.77 550535168 true 60.7  42.4  629358592 error: exception 8.05 3.08 297467904
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 133    112    797376512 true 26.4  11.7  578916352 true 55.0  34.7  655486976 error: exception 7.97 3.03 293957632
array-examples/relax_false-valid-deref.i false(valid-deref) 8.13 3.14 308817920 false(valid-deref) 8.24 3.25 321200128 false(valid-deref) 8.98 3.66 324644864 false(valid-deref) 8.93 3.42 356544512
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 900    745    1598341120 timeout (error (143)) 901    762    2614288384 timeout (error (143)) 901    744    1648963584 timeout (error (143)) 901    756    790380544
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 901    765    1946648576 timeout (error (143)) 901    747    2578403328 timeout (error (143)) 900    745    2659299328 timeout (error (143)) 901    747    2612109312
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 901    748    2295721984 timeout (error (143)) 901    763    2221498368 timeout (error (143)) 900    750    2632261632 timeout (error (143)) 901    749    1341894656
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 906    872    858669056 timeout (error (143)) 900    784    2594660352 false(valid-deref) 856    709    2665390080 error: exception 9.28 3.83 346820608
memsafety/test-0137_false-valid-deref.i unknown 4.75 1.95 212029440 unknown 4.93 2.29 217849856 unknown 5.28 2.12 219054080 unknown 5.13 2.13 223461376
memsafety/test-0235_false-valid-deref.i timeout (error (143)) 903    889    592228352 unknown 9.75 3.73 362651648 unknown 9.74 3.69 362024960 timeout (error (143)) 904    780    2308542464
memsafety/960521-1_false-valid-free.i timeout (error (143)) 906    862    998780928 timeout (error (143)) 901    777    2633093120 false(valid-free) 847    706    2601779200 error: exception 9.78 3.57 369676288
memsafety/test-0158_false-valid-free.i false(valid-free) 8.39 3.19 342142976 false(valid-free) 8.67 3.28 331014144 false(valid-free) 9.78 3.61 356327424 false(valid-free) 10.6  3.80 365740032
memsafety/test-0232_false-valid-free.i unknown 4.45 1.86 207024128 unknown 4.98 2.03 210509824 unknown 5.08 1.95 211562496 unknown 5.01 1.94 223834112
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 906    891    2135056384 timeout (error (143)) 906    892    2083024896 timeout (error (143)) 906    892    2055446528 timeout (error (143)) 906    892    2033684480
memsafety/20051113-1.c_false-valid-memtrack.i error: exception 17.3  6.79 491364352 error: exception 16.0  6.17 447483904 error: exception 18.7  7.08 505925632 error: exception 9.92 3.68 371523584
memsafety/lockfree-3.1_false-valid-memtrack.i false(valid-memtrack) 36.3  14.4  720134144 false(valid-memtrack) 36.8  12.8  822415360 false(valid-memtrack) 36.8  12.8  673234944 error: exception 10.9  4.00 356954112
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 13.6  4.86 435027968 false(valid-memtrack) 12.0  4.44 367067136 false(valid-memtrack) 12.9  4.58 353517568 error: exception 11.2  4.10 359927808
memsafety/lockfree-3.3_false-valid-memtrack.i false(valid-memtrack) 52.6  22.7  1148022784 false(valid-memtrack) 47.0  17.6  1188990976 false(valid-memtrack) 47.1  19.2  922697728 error: exception 11.3  4.15 359493632
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.0  4.31 371798016 false(valid-memtrack) 11.4  4.45 368357376 false(valid-memtrack) 12.5  5.07 384036864 error: exception 9.80 3.85 369467392
memsafety/test-0102_false-valid-memtrack.i error: exception 5.00 2.06 220794880 error: exception 5.50 2.16 222167040 error: exception 5.43 2.15 225329152 error: exception 5.57 2.22 226410496
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 7.12 2.84 273887232 false(valid-memtrack) 7.76 2.98 274866176 false(valid-memtrack) 7.66 2.94 286826496 false(valid-memtrack) 8.02 3.18 285347840
memsafety/test-0220_false-valid-memtrack.i timeout (error (143)) 901    882    525484032 unknown 8.50 3.21 323112960 unknown 8.57 3.32 327876608 error: exception 21.4  9.17 533311488
memsafety/test-0232_false-valid-memtrack.i unknown 4.74 1.99 212193280 unknown 4.99 2.03 218746880 unknown 5.25 1.98 217300992 unknown 5.12 2.06 224595968
memsafety/test-0234_false-valid-memtrack.i timeout (error (143)) 901    880    607072256 unknown 9.26 3.51 338948096 unknown 9.32 3.63 327933952 timeout (error (143)) 906    784    2125426688
memsafety/test-0235_false-valid-memtrack.i timeout (error (143)) 902    885    588476416 unknown 9.78 3.72 360505344 unknown 9.67 3.54 364920832 error: exception 852    734    1572126720
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 906    890    995598336 timeout (error (143)) 900    786    2621571072 timeout (error (143)) 900    749    2791571456 error: exception 9.87 3.53 366989312
memsafety/lockfree-3.0_true-valid-memsafety.i out of memory 331    186    6000001024 out of memory 600    350    5999996928 timeout (error (143)) 901    727    4607520768 error: exception 22.6  8.26 514756608
memsafety/test-0019_true-valid-memsafety_true-termination.i true 12.1  5.21 420491264 true 12.5  5.28 420294656 true 13.2  5.53 433381376 error: exception 9.56 3.41 372965376
memsafety/test-0102_true-valid-memsafety.i error: exception 5.39 2.22 221696000 error: exception 5.38 2.20 231317504 error: exception 5.29 2.11 227676160 error: exception 5.46 2.06 227364864
memsafety/test-0134_true-valid-memsafety.i unknown 4.77 2.04 216088576 unknown 5.31 2.27 216920064 unknown 5.06 1.96 213532672 unknown 5.06 2.17 221986816
memsafety/test-0158_true-valid-memsafety_true-termination.i true 8.40 3.18 326516736 true 8.36 3.34 327368704 true 9.06 3.66 355692544 error: exception 9.12 3.38 352579584
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 5.12 2.06 217214976 error: exception 5.09 2.04 220753920 error: exception 5.09 2.05 219144192 error: exception 5.17 2.04 222863360
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 5.06 2.11 214478848 error: exception 5.41 2.08 221130752 error: exception 5.22 2.03 223178752 error: exception 5.29 2.23 225914880
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 5.10 2.08 213508096 error: exception 5.09 2.05 209772544 error: exception 5.06 2.06 218976256 error: exception 5.08 2.14 223346688
memsafety/test-0219_true-valid-memsafety.i timeout (error (143)) 901    882    626266112 unknown 8.65 3.32 325767168 unknown 8.66 3.28 328830976 error: exception 19.8  9.00 523513856
memsafety/test-0232_true-valid-memsafety.i unknown 4.55 1.91 214319104 unknown 4.95 2.03 213303296 unknown 4.74 1.91 217792512 unknown 5.07 2.11 217227264
memsafety/test-0234_true-valid-memsafety.i timeout (error (143)) 902    883    572784640 unknown 9.37 3.48 350494720 unknown 8.90 3.32 347947008 timeout (error (143)) 906    786    1768468480
memsafety/test-0235_true-valid-memsafety.i timeout (error (143)) 903    884    593965056 unknown 9.59 3.70 352735232 unknown 9.31 3.54 354193408 timeout (error (143)) 901    818    915165184
memsafety/test-0236_true-valid-memsafety.i timeout (error (143)) 902    882    639901696 unknown 9.43 3.71 356319232 unknown 9.03 3.55 358924288 true 48.9  28.2  848080896
memsafety/test-0237_true-valid-memsafety.i timeout (error (143)) 901    880    573145088 unknown 9.36 3.66 354320384 unknown 9.34 3.40 360001536 timeout (error (143)) 901    786    1559707648
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 901    850    1310257152 timeout (error (143)) 901    765    1799024640 timeout (error (143)) 901    868    1118511104 error: exception 12.6  4.81 402898944
memsafety/test-0513_true-valid-memsafety.i timeout (error (143)) 903    827    1167278080 timeout (error (143)) 901    774    1135837184 timeout (error (143)) 901    841    976670720 error: exception 14.5  5.47 429875200
memsafety/test-0521_true-valid-memsafety.i unknown 4.80 1.96 207773696 unknown 5.06 2.02 215085056 unknown 5.12 2.08 215941120 unknown 4.73 1.88 221122560
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i error: exception 258    238    2575912960 true 18.7  7.65 490516480 true 467    447    1033162752 error: exception 16.8  7.80 453283840
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 901    832    851726336 timeout (error (143)) 900    775    2880290816 timeout (error (143)) 901    849    1194876928 error: exception 9.90 3.72 374517760
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i unknown 4.85 2.01 213925888 unknown 5.16 2.06 211992576 unknown 5.17 2.01 219283456 unknown 4.83 1.94 224194560
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i unknown 4.82 2.04 216936448 unknown 5.10 2.15 213520384 unknown 5.10 2.06 218075136 unknown 5.01 2.17 223412224
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 902    871    609267712 timeout (error (143)) 900    732    3698663424 timeout (error (143)) 902    857    649678848 error: exception 11.0  4.12 374358016
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 904    871    719319040 timeout (error (143)) 901    739    3458248704 timeout (error (143)) 901    834    939569152 error: exception 12.1  4.39 367669248
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 901    826    760078336 timeout (error (143)) 901    763    1971277824 timeout (error (143)) 901    845    1480069120 error: exception 12.7  4.81 375885824
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 900    836    776503296 timeout (error (143)) 901    747    3053273088 timeout (error (143)) 901    823    1136345088 error: exception 12.1  4.49 375242752
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 901    863    680968192 timeout (error (143)) 901    725    3873849344 timeout (error (143)) 901    838    858935296 error: exception 11.4  4.22 366739456
memsafety-ext2/split_list_test05_false-valid-deref.i error: exception 565    531    1278357504 timeout (error (143)) 901    813    1925697536 error: exception 524    477    1394208768 error: exception 19.8  7.70 513781760
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error: exception 209    147    1583337472 false(valid-memtrack) 144    83.3  1975091200 timeout (error (143)) 901    809    2594443264 error: exception 21.2  13.5  414441472
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i error: exception 326    262    1537806336 false(valid-memtrack) 358    281    1378074624 error: exception 619    542    2127093760 error: exception 19.4  11.6  408326144
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 111    83.4  1150775296 timeout (error (143)) 906    852    1534074880 timeout (error (143)) 901    862    1587900416 error: exception 14.2  5.66 449564672
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i error: exception 289    251    897527808 timeout (error (143)) 900    777    1310441472 error: exception 624    553    877797376 error: exception 11.6  4.22 384819200
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error: exception 147    86.2  1684148224 timeout (error (143)) 901    799    2013999104 timeout (error (143)) 901    828    2894082048 error: exception 13.0  4.89 361508864
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 901    826    1114099712 timeout (error (143)) 901    802    2668720128 timeout (error (143)) 901    798    1673859072 error: exception 12.2  4.91 428232704
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 901    862    1257615360 timeout (error (143)) 901    830    1095008256 error: exception 659    624    1808912384 error: exception 15.6  5.89 436805632
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error: exception 351    307    1130119168 timeout (error (143)) 900    777    1169227776 error: exception 355    317    863698944 error: exception 12.5  4.56 369971200
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (error (143)) 901    865    1203146752 timeout (error (143)) 901    818    1827573760 timeout (error (143)) 902    860    1362030592 error: exception 19.4  7.65 476549120
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 11.7  4.65 352759808 false(valid-deref) 11.1  4.12 337907712 false(valid-deref) 11.8  4.41 340262912 error: exception 10.8  4.06 356560896
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 901    798    1238646784 timeout (error: exception) 901    769    2260344832 timeout (error (143)) 901    816    1464524800 error: exception 7.96 3.00 305364992
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 10.0  3.91 354738176 false(valid-deref) 11.4  4.43 363843584 false(valid-deref) 11.1  4.44 362397696 error: exception 8.93 3.37 331341824
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 12.7  4.99 389828608 false(valid-free) 12.0  4.38 362352640 false(valid-free) 12.5  4.66 390922240 error: exception 11.8  4.23 344297472
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 8.23 3.03 332668928 false(valid-free) 8.64 3.37 330072064 false(valid-free) 9.21 3.57 333946880 false(valid-free) 10.7  3.88 350523392
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 15.0  6.61 441823232 false(valid-memtrack) 17.2  7.16 436867072 false(valid-memtrack) 19.2  7.97 477421568 error: exception 9.63 3.76 367222784
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 7.02 2.75 286789632 false(valid-memtrack) 8.32 3.36 291143680 false(valid-memtrack) 7.52 2.96 300388352 false(valid-memtrack) 8.93 3.28 345165824
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 4.57 1.92 218517504 unknown 5.20 2.11 214343680 unknown 5.00 2.05 222056448 unknown 5.28 2.02 229789696
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 904    820    3327442944 timeout (error (143)) 900    813    3293728768 timeout (error (143)) 900    868    1238790144 error: exception 11.7  4.26 354516992
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 905    813    1368702976 timeout (error (143)) 901    763    2262028288 timeout (error (143)) 901    824    1382428672 error: exception 8.00 3.09 307052544
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 901    809    1142714368 timeout (error (143)) 901    769    2305671168 timeout (error (143)) 904    812    1510154240 error: exception 9.17 3.50 337113088
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 901    846    803278848 timeout (error (143)) 901    768    1415409664 timeout (error (143)) 901    859    1313689600 error: exception 8.45 3.13 346804224
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 16.4  7.04 464949248 true 17.2  7.29 473432064 true 25.6  14.6  509452288 error: exception 10.0  3.68 362143744
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 8.72 3.47 332705792 true 8.99 3.35 332353536 true 8.82 3.42 350339072 error: exception 10.1  3.70 365998080
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 5.04 2.09 213073920 error: exception 5.15 2.07 215257088 error: exception 4.98 1.93 221106176 error: exception 5.29 2.17 225767424
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 5.08 2.08 214151168 error: exception 5.20 2.02 209932288 error: exception 5.00 2.02 222236672 error: exception 5.46 2.05 225632256
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 4.86 2.03 212721664 unknown 4.72 1.98 212135936 unknown 4.77 2.04 222044160 unknown 5.33 2.12 224940032
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout (error (143)) 901    854    998440960 unknown 16.7  6.43 455143424 unknown 18.9  7.18 463028224 error: exception 14.3  5.45 403791872
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 901    804    967553024 timeout (error (143)) 901    770    1798107136 timeout (error (143)) 901    847    1916211200 error: exception 18.7  7.07 452165632
memory-alloca/c.03-alloca_true-valid-memsafety.i true 11.8  4.64 376926208 true 11.8  4.53 390897664 true 12.1  4.71 390901760 error: exception 6.55 2.60 279121920
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 7.13 2.78 287588352 false(valid-deref) 7.38 2.86 284372992 false(valid-deref) 7.55 2.93 286490624 false(valid-deref) 8.88 3.56 365211648
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 7.80 3.05 298885120 false(valid-deref) 7.89 3.15 304578560 false(valid-deref) 8.44 3.43 324300800 error: exception 7.12 2.85 274960384
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 5.97 2.57 253071360 false(valid-deref) 6.19 2.55 255328256 false(valid-deref) 5.94 2.36 260079616 false(valid-deref) 6.49 2.64 264900608
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 6.27 2.63 260714496 false(valid-deref) 6.27 2.65 259969024 false(valid-deref) 6.31 2.77 265195520 false(valid-deref) 6.89 2.79 270180352
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c false(valid-deref) 626    524    2704142336 false(valid-deref) 287    215    2618884096 false(valid-deref) 776    641    3266535424 error: exception 7.01 2.78 271040512
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 449    360    2670481408 false(valid-deref) 245    175    2607505408 false(valid-deref) 581    465    3372331008 error: exception 7.70 3.05 329166848
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 5.41 2.43 255643648 false(valid-deref) 5.81 2.48 259719168 false(valid-deref) 6.31 2.64 263643136 false(valid-deref) 6.21 2.55 264445952
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 6.13 2.56 256819200 false(valid-deref) 5.90 2.59 261554176 false(valid-deref) 6.16 2.78 260980736 false(valid-deref) 6.51 2.63 269598720
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 5.84 2.42 255418368 false(valid-deref) 5.84 2.49 253931520 false(valid-deref) 5.97 2.50 261087232 false(valid-deref) 6.50 2.77 273461248
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 6.13 2.49 257826816 false(valid-deref) 6.00 2.46 254685184 false(valid-deref) 6.47 2.62 259108864 false(valid-deref) 6.45 2.56 266870784
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 5.86 2.42 256303104 false(valid-deref) 5.92 2.44 257941504 false(valid-deref) 6.10 2.44 259665920 false(valid-deref) 6.46 2.53 267681792
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 5.85 2.50 257060864 false(valid-deref) 6.08 2.41 256847872 false(valid-deref) 6.20 2.50 264822784 false(valid-deref) 6.10 2.38 269090816
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 906    843    2669617152 timeout (error (143)) 904    754    4633980928 timeout (error (143)) 900    796    2521452544 error: exception 9.14 3.64 356503552
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 9.70 3.75 348598272 true 262    204    2844323840 true 9.77 3.79 348250112 error: exception 6.91 2.80 272699392
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 10.8  4.37 372764672 true 529    421    3472551936 true 11.4  4.55 380440576 error: exception 8.19 3.24 333656064
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 9.67 3.81 354086912 true 261    203    2771464192 true 9.57 3.62 334860288 error: exception 7.23 2.79 272408576
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 11.6  4.54 388345856 timeout (error (143)) 905    761    4686942208 true 11.1  4.38 369573888 error: exception 9.15 3.67 334188544
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 9.85 4.02 345411584 true 666    556    3849973760 true 10.1  3.99 367456256 error: exception 7.62 2.96 318832640
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 6.65 2.78 267816960 true 7.25 2.86 263409664 true 6.75 2.69 266047488 true 8.40 3.08 335638528
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 6.96 2.77 271110144 true 7.24 2.74 272117760 true 6.66 2.72 264704000 true 8.19 3.26 340615168
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 5.98 2.53 257548288 true 6.64 2.57 259080192 true 6.24 2.63 264675328 true 7.20 2.81 272199680
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 7.59 3.00 300466176 true 28.4  13.5  591462400 true 7.40 2.87 297275392 error: exception 35.9  22.6  564228096
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 7.75 3.08 316641280 true 87.7  57.6  1204809728 true 7.69 2.96 307978240 error: exception 140    111    783298560
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 7.80 3.11 306024448 true 27.8  13.5  563347456 true 7.45 2.89 293842944 error: exception 35.9  22.7  559964160
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 7.81 3.10 319086592 true 87.6  57.0  1056169984 true 7.69 3.02 315547648 error: exception 139    110    804708352
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 7.54 3.04 308088832 true 92.7  59.0  1091297280 true 7.29 2.87 300351488 error: exception 140    110    770461696
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 7.88 3.06 304631808 true 87.4  57.9  1131986944 true 7.55 2.87 292761600 error: exception 142    113    722219008
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 5.58 2.17 243167232 error: exception 5.80 2.24 260501504 error: exception 5.75 2.22 246632448 error: exception 5.85 2.34 265105408
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 906    867    4019306496 false(valid-deref) 51.9  23.4  927363072 error: exception 599    565    3246080000 error: exception 13.3  4.85 408199168
ldv-memsafety/memleaks_test22_5_false-valid-deref.i error: exception 660    628    2595930112 false(valid-deref) 50.0  23.0  889053184 false(valid-deref) 352    320    832249856 error: exception 13.6  5.04 398356480
ldv-memsafety/memleaks_test23_2_false-valid-deref.i unknown 5.06 2.08 217378816 unknown 5.37 2.06 217620480 unknown 5.29 2.09 220471296 unknown 5.06 2.14 222298112
ldv-memsafety/memleaks_test23_4_false-valid-deref.i unknown 5.01 2.03 219381760 unknown 5.37 2.12 216248320 unknown 5.29 2.10 224813056 unknown 5.52 2.26 226832384
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 5.18 2.12 219123712 error: exception 5.46 2.20 221073408 error: exception 5.52 2.25 229101568 error: exception 5.60 2.14 228286464
ldv-memsafety/memleaks_test12_false-valid-free.i error: exception 5.06 2.05 221257728 error: exception 5.68 2.18 223277056 error: exception 5.40 2.10 222859264 error: exception 5.44 2.21 233127936
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout (error (143)) 903    865    2151317504 false(valid-free) 74.1  36.0  1029918720 timeout (error (143)) 901    863    2379345920 error: exception 14.3  5.36 426827776
ldv-memsafety/memleaks_test19_false-valid-free.i false(valid-free) 122    95.0  835780608 false(valid-free) 45.2  19.5  715427840 false(valid-free) 188    160    714633216 error: exception 11.5  4.28 357068800
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 9.93 3.64 356564992 false(valid-free) 10.4  4.00 370348032 false(valid-free) 10.0  3.63 364756992 false(valid-free) 12.1  4.48 373514240
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 8.87 3.35 343142400 false(valid-free) 9.21 3.54 340520960 false(valid-free) 9.47 3.47 348073984 false(valid-free) 9.84 3.58 362229760
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 17.4  6.62 470220800 false(valid-free) 17.5  6.67 459952128 false(valid-free) 156    142    533729280 error: exception 16.3  6.44 450707456
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 10.4  3.94 357847040 false(valid-free) 11.2  4.28 362422272 false(valid-free) 10.5  4.09 363401216 false(valid-free) 13.9  4.95 419950592
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i error: exception 202    179    782671872 false(valid-memtrack) 63.7  30.4  885227520 timeout (error (143)) 901    849    830017536 error: exception 14.3  5.45 428863488
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 4.93 1.97 221184000 error: exception 5.64 2.20 220848128 error: exception 5.52 2.20 222375936 error: exception 5.45 2.17 230039552
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 17.1  6.99 414711808 false(valid-memtrack) 18.2  7.45 456077312 false(valid-memtrack) 84.2  70.6  523214848 error: exception 263    255    367501312
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 58.3  28.8  898326528 false(valid-memtrack) 51.2  25.7  841879552 false(valid-memtrack) 540    507    790867968 error: exception 13.6  5.28 431906816
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 5.31 2.14 244695040 error: exception 5.88 2.36 246235136 error: exception 5.85 2.30 264282112 error: exception 5.80 2.36 259112960
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 5.40 2.25 242241536 error: exception 5.95 2.31 260808704 error: exception 6.03 2.35 264491008 error: exception 5.97 2.34 257089536
ldv-memsafety/memleaks_test15_false-valid-memtrack.i error: exception 287    230    802811904 false(valid-memtrack) 729    598    2487214080 out of memory 788    689    5999996928 error: exception 72.7  42.1  949506048
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.9  4.07 370728960 false(valid-memtrack) 10.8  4.13 356995072 false(valid-memtrack) 11.1  4.10 353026048 false(valid-memtrack) 13.5  5.28 368832512
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.10 3.36 350793728 false(valid-memtrack) 9.79 3.60 344039424 false(valid-memtrack) 9.44 3.42 349569024 false(valid-memtrack) 9.80 3.72 364900352
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i error: exception 46.2  33.1  516005888 false(valid-memtrack) 400    305    1682219008 timeout (error (143)) 903    866    1966153728 error: exception 13.7  5.21 410435584
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i error: exception 493    460    679387136 false(valid-memtrack) 434    350    1884135424 timeout (error (143)) 901    835    1139691520 error: exception 13.5  5.15 410259456
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 60.0  50.6  465506304 false(valid-memtrack) 12.9  4.80 395857920 false(valid-memtrack) 57.9  49.5  402542592 error: exception 18.7  8.49 502005760
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout (error (143)) 902    868    619855872 false(valid-memtrack) 309    237    2489262080 timeout (error (143)) 901    837    1898577920 error: exception 32.2  23.6  486064128
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 172    151    542695424 false(valid-memtrack) 25.4  10.2  544604160 timeout (error (143)) 901    863    584130560 error: exception 12.6  4.72 357724160
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.24 3.39 339329024 false(valid-memtrack) 9.39 3.53 334475264 false(valid-memtrack) 9.04 3.30 336568320 false(valid-memtrack) 10.6  3.88 379863040
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.26 3.55 365051904 false(valid-memtrack) 10.2  3.72 358809600 false(valid-memtrack) 9.35 3.44 363274240 false(valid-memtrack) 11.5  4.15 360402944
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.60 3.50 358273024 false(valid-memtrack) 10.3  3.61 366718976 false(valid-memtrack) 9.42 3.48 359251968 false(valid-memtrack) 10.7  4.03 342855680
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 98.4  70.7  752484352 false(valid-memtrack) 41.5  16.0  721641472 false(valid-memtrack) 49.2  25.8  782745600 error: exception 13.0  4.85 354750464
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 43.2  26.8  551841792 false(valid-memtrack) 20.3  7.43 505081856 false(valid-memtrack) 23.4  8.49 552529920 error: exception 12.5  4.83 370204672
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 94.9  69.9  748679168 false(valid-memtrack) 42.1  16.8  809562112 false(valid-memtrack) 51.6  26.9  829612032 error: exception 13.4  4.99 409083904
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.7  3.90 359235584 false(valid-memtrack) 10.7  3.88 363540480 false(valid-memtrack) 10.4  3.88 360050688 false(valid-memtrack) 13.4  4.92 416907264
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.41 3.42 347443200 false(valid-memtrack) 9.32 3.45 347832320 false(valid-memtrack) 9.45 3.36 351047680 false(valid-memtrack) 10.2  3.80 335720448
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.73 3.63 364945408 false(valid-memtrack) 10.5  3.67 368128000 false(valid-memtrack) 9.84 3.61 367558656 false(valid-memtrack) 11.9  4.43 348729344
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 15.6  5.59 424869888 false(valid-memtrack) 15.4  5.65 417484800 false(valid-memtrack) 107    96.8  494616576 error: exception 16.6  6.57 479043584
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 14.2  5.27 395022336 false(valid-memtrack) 14.8  5.41 400289792 false(valid-memtrack) 148    137    476618752 error: exception 13.8  5.47 447029248
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 12.8  4.66 396193792 false(valid-memtrack) 14.0  5.10 396349440 false(valid-memtrack) 70.0  60.0  441286656 error: exception 12.5  4.62 410021888
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.15 3.51 355614720 false(valid-memtrack) 9.50 3.47 346181632 false(valid-memtrack) 9.48 3.55 354422784 false(valid-memtrack) 10.5  3.91 336408576
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.3  3.92 357572608 false(valid-memtrack) 11.5  4.24 373469184 false(valid-memtrack) 10.8  3.89 364027904 false(valid-memtrack) 13.3  4.75 354336768
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.49 3.48 361795584 false(valid-memtrack) 9.85 3.72 366882816 false(valid-memtrack) 9.48 3.47 367304704 false(valid-memtrack) 11.0  4.09 342310912
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i error: exception 158    134    761868288 true 106    61.3  1169600512 timeout (error (143)) 901    839    906174464 error: exception 13.8  5.52 350474240
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 5.10 2.15 214970368 error: exception 5.22 2.10 222826496 error: exception 5.45 2.15 225804288 error: exception 5.52 2.06 228716544
ldv-memsafety/memleaks_test12_true-valid-memsafety.i error: exception 5.26 2.23 219320320 error: exception 5.36 2.10 222539776 error: exception 5.38 2.27 226156544 error: exception 5.70 2.22 228945920
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 68.5  35.1  899547136 true 59.0  29.6  897273856 timeout (error (143)) 902    872    745066496 error: exception 13.3  4.80 397193216
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 5.44 2.15 242167808 error: exception 5.96 2.25 242139136 error: exception 5.91 2.26 266059776 error: exception 6.00 2.29 252698624
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i error: exception 755    704    841306112 true 204    137    1711271936 timeout (error (143)) 906    841    2406871040 error: exception 20.9  8.53 462712832
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i true 12.3  5.06 400551936 true 12.6  4.73 395378688 true 12.4  4.64 403222528 error: exception 15.1  5.76 465321984
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout (error (143)) 902    872    1735376896 timeout (error (143)) 900    768    2346840064 timeout (error (143)) 901    806    1889214464 error: exception 14.4  5.38 415707136
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 901    840    749699072 timeout (error (143)) 901    762    1625829376 timeout (error (143)) 901    858    1233068032 error: exception 13.1  4.85 364908544
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i error: exception 885    851    670973952 timeout (error (143)) 901    784    3214217216 timeout (error (143)) 901    843    1960890368 error: exception 15.8  6.18 450007040
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 67.3  35.2  859807744 true 48.8  21.1  795160576 true 228    195    721747968 error: exception 12.7  4.40 369647616
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 10.6  4.01 376451072 true 11.2  4.09 359964672 true 11.4  4.16 371671040 error: exception 12.4  4.40 361988096
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i true 12.6  4.72 397545472 true 12.6  4.68 421986304 true 13.4  5.09 430989312 error: exception 17.5  7.29 479166464
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 11.5  4.30 385638400 true 12.7  4.63 393039872 true 11.7  4.45 344137728 error: exception 16.3  7.10 381153280
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i error: exception 171    142    880656384 true 60.0  28.1  972853248 true 541    508    860475392 error: exception 14.0  5.14 409419776
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout (error (143)) 901    860    2934874112 true 68.8  34.9  1169453056 true 480    438    1964560384 error: exception 13.6  5.15 363683840
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 901    865    2023993344 true 71.1  37.4  1188921344 true 381    337    1620606976 error: exception 14.1  5.25 417144832
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i unknown 4.84 1.93 218066944 unknown 5.39 2.07 214986752 unknown 5.36 2.23 221769728 unknown 5.62 2.28 228474880
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i unknown 5.38 2.30 217849856 unknown 5.20 2.24 215621632 unknown 5.45 2.29 225722368 unknown 5.55 2.08 227061760
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 10.4  3.99 356208640 true 10.9  4.09 368025600 true 11.1  4.30 349761536 error: exception 14.1  5.31 427548672
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 16.4  6.39 454864896 true 14.6  5.60 407822336 true 15.2  6.22 361193472 error: exception 15.7  6.14 458461184
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 12.3  4.64 391512064 true 12.6  4.54 380551168 true 12.9  4.83 395485184 error: exception 15.5  6.16 462958592
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 19.3  7.38 478441472 true 19.1  7.51 450744320 error: exception 34.4  25.1  423755776 error: exception 21.5  11.0  470814720
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 17.8  6.77 467951616 true 17.3  6.44 461848576 true 83.8  69.5  545734656 error: exception 14.1  5.24 411262976
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 11.3  4.19 359677952 true 11.9  4.21 383471616 true 11.6  4.55 364466176 error: exception 14.1  5.47 423026688
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 11.4  4.23 362541056 true 10.8  3.97 362356736 true 11.6  4.14 360202240 error: exception 15.1  5.72 447213568
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i false(valid-deref) 7.27 2.86 275910656 false(valid-deref) 6.95 2.76 277135360 false(valid-deref) 6.87 2.91 281243648 false(valid-deref) 9.13 3.52 364572672
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i false(valid-deref) 47.1  35.6  584425472 false(valid-deref) 10.4  3.93 346144768 timeout (error (143)) 900    792    1458712576 false(valid-deref) 25.9  17.7  411312128
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i false(valid-deref) 36.3  24.8  533192704 false(valid-deref) 12.8  5.04 402104320 false(valid-deref) 62.0  49.0  731373568 true 20.1  10.4  452079616
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i error: exception 178    162    745721856 true 25.3  11.3  577933312 error: exception 307    290    1223782400 true 21.5  9.92 516587520
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i error: exception 519    485    1208393728 false(valid-deref) 29.0  13.8  627675136 error: exception 283    266    1044348928 true 20.2  9.16 502067200
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 6.97 2.83 279425024 false(valid-deref) 6.85 2.79 273764352 false(valid-deref) 7.25 2.87 281149440 false(valid-deref) 9.80 3.87 361586688
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i true 59.6  41.5  719331328 true 20.4  8.46 494112768 true 46.4  31.2  602640384 error: exception 14.3  5.78 444989440
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 7.64 3.03 320389120 false(valid-deref) 8.05 3.10 322068480 false(valid-deref) 8.29 3.28 319295488 false(valid-deref) 11.6  4.41 362913792
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i error: exception 245    233    1194221568 false(valid-deref) 26.6  12.2  566759424 error: exception 334    317    1130831872 true 20.2  9.99 482500608
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) 114    88.4  978747392 false(valid-free) 16.3  6.62 460472320 timeout (error (143)) 901    797    767868928 error: exception 27.1  18.5  370810880
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 5.25 2.12 214061056 unknown 5.40 2.14 218689536 unknown 5.35 2.18 227119104 unknown 5.22 2.15 228343808
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 906    892    2131718144 timeout (error (143)) 906    892    2129969152 timeout (error (143)) 906    892    2132467712 timeout (error (143)) 906    892    2137059328
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i unknown 4.90 1.97 207945728 unknown 5.20 2.12 221040640 unknown 5.02 2.02 223170560 unknown 5.35 2.13 228151296
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i unknown 5.06 2.05 212639744 unknown 5.15 2.19 224940032 unknown 5.24 2.13 221446144 unknown 5.32 2.17 223993856
heap-manipulation/tree_false-unreach-call_false-valid-deref.i unknown 4.94 2.00 213954560 unknown 5.18 2.13 215879680 unknown 5.16 2.10 222302208 unknown 5.36 2.08 227205120
heap-manipulation/tree_false-valid-deref.i unknown 5.04 2.02 211193856 unknown 5.28 2.12 217198592 unknown 5.03 2.05 223105024 unknown 5.47 2.26 222289920
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 906    892    2128769024 timeout (error (143)) 906    892    2128936960 timeout (error (143)) 906    892    2132537344 timeout (error (143)) 906    892    2128531456
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(valid-memtrack) 22.8  9.00 516829184 false(valid-memtrack) 21.1  8.13 508162048 false(valid-memtrack) 28.8  11.4  532267008 error: exception 15.7  5.96 479449088
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 701    677    579944448 false(valid-memtrack) 33.2  15.4  602689536 false(valid-memtrack) 253    225    910708736 error: exception 12.8  4.69 397557760
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 39.9  21.5  712527872 false(valid-memtrack) 28.9  12.9  630722560 false(valid-memtrack) 56.0  30.4  777736192 error: exception 11.6  4.44 371396608
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    816    1173999616 timeout (error (143)) 901    767    1989165056 timeout (error (143)) 902    823    1791897600 error: exception 9.36 3.48 330768384
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.39 3.20 323186688 false(valid-memtrack) 8.48 3.27 321589248 false(valid-memtrack) 8.34 3.32 320905216 error: exception 8.90 3.56 342573056
list-properties/list_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 11.1  4.53 336384000 false(valid-memtrack) 11.3  4.44 376508416 false(valid-memtrack) 11.7  4.40 384831488 error: exception 9.41 3.44 328208384
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.81 3.37 333664256 false(valid-memtrack) 8.60 3.39 328265728 false(valid-memtrack) 8.70 3.46 334675968 error: exception 10.2  3.84 347574272
list-properties/simple_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 10.9  4.23 351883264 false(valid-memtrack) 10.1  3.89 349876224 false(valid-memtrack) 10.6  4.06 351674368 error: exception 8.50 3.28 330932224
list-properties/splice_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 8.51 3.29 332992512 false(valid-memtrack) 8.50 3.21 331878400 false(valid-memtrack) 8.72 3.29 326578176 error: exception 8.68 3.37 336494592
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 5.69 2.19 233832448 unknown 5.59 2.13 238415872 unknown 5.66 2.19 240230400 unknown 5.71 2.26 239554560
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 5.81 2.27 242503680 unknown 5.32 2.05 238260224 unknown 5.69 2.15 243757056 unknown 6.02 2.23 241270784
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.56 2.16 235569152 unknown 5.61 2.21 243449856 unknown 5.57 2.24 243830784 unknown 6.25 2.31 247480320
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.63 2.26 238903296 unknown 5.44 2.16 238624768 unknown 5.52 2.14 239181824 unknown 5.65 2.22 237654016
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 5.73 2.25 237080576 unknown 5.64 2.14 240857088 unknown 5.58 2.28 242167808 unknown 5.92 2.29 239321088
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.95 2.33 235945984 unknown 5.57 2.14 236838912 unknown 5.64 2.42 239255552 unknown 5.94 2.36 238493696
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.48 2.19 241070080 unknown 5.72 2.22 240447488 unknown 5.77 2.28 243318784 unknown 5.88 2.23 249274368
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 5.77 2.31 243015680 unknown 5.51 2.11 234987520 unknown 5.67 2.25 241442816 unknown 5.94 2.35 239263744
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.56 2.19 238362624 unknown 5.59 2.28 242769920 unknown 5.55 2.24 239267840 unknown 5.71 2.39 243830784
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.86 2.30 244662272 unknown 5.81 2.36 238501888 unknown 5.46 2.20 239067136 unknown 5.61 2.13 240787456
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.68 2.23 239251456 unknown 5.38 2.12 238022656 unknown 5.74 2.30 238252032 unknown 5.91 2.37 248348672
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 5.83 2.18 242630656 unknown 5.67 2.31 242941952 unknown 5.14 2.17 241664000 unknown 5.81 2.26 238338048
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.89 2.18 240877568 unknown 5.58 2.28 240181248 unknown 5.56 2.13 245125120 unknown 5.83 2.32 247549952
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 902    833    990121984 timeout (error (143)) 901    764    1172959232 timeout (error (143)) 901    842    1228201984 error: exception 13.2  4.98 402333696
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    859    650887168 timeout (error (143)) 901    767    1340678144 timeout (error (143)) 900    826    897507328 error: exception 11.4  4.65 376999936
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    794    1201860608 timeout (error (143)) 901    758    1457389568 timeout (error (143)) 901    820    857239552 error: exception 12.8  5.00 364154880
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 900    798    732786688 timeout (error (143)) 901    771    1331359744 timeout (error (143)) 901    872    596832256 error: exception 13.8  5.52 388493312
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    834    1168637952 timeout (error (143)) 901    770    1514426368 timeout (error (143)) 902    827    1118244864 error: exception 13.2  4.85 411467776
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    826    1093685248 timeout (error (143)) 901    767    1251897344 timeout (error (143)) 903    833    1223950336 error: exception 16.2  6.27 456998912
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    880    520945664 timeout (error (143)) 901    769    1597231104 timeout (error (143)) 902    860    877928448 error: exception 12.9  4.96 360394752
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 902    875    492883968 timeout (error (143)) 901    772    2026057728 timeout (error (143)) 901    824    1102450688 error: exception 13.3  5.15 412364800
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 906    806    943292416 timeout (error (143)) 901    771    1305817088 timeout (error (143)) 901    832    1245294592 error: exception 12.3  4.53 380297216
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    835    830861312 timeout (error (143)) 901    759    2243051520 timeout (error (143)) 901    812    905400320 error: exception 13.1  4.79 363696128
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    823    975462400 timeout (error (143)) 901    758    2638848000 timeout (error (143)) 901    842    1157513216 error: exception 12.0  4.49 376594432
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 902    820    1649037312 timeout (error (143)) 901    766    2267893760 timeout (error (143)) 901    809    2090098688 error: exception 10.8  4.08 383946752
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 902    843    1258545152 timeout (error (143)) 901    760    1471414272 timeout (error (143)) 903    835    1234268160 error: exception 12.1  4.29 370978816
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    845    993755136 timeout (error (143)) 901    770    2490171392 timeout (error (143)) 901    839    1945616384 error: exception 12.8  4.69 370040832
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 903    801    1083731968 timeout (error: exception) 901    767    1928114176 timeout (error (143)) 900    806    1546108928 error: exception 12.0  4.40 378638336
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 900    806    1033256960 timeout (error (143)) 901    764    1561985024 timeout (error (143)) 905    817    1516466176 error: exception 13.6  5.23 410787840
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    849    1311617024 timeout (error (143)) 901    765    2059948032 timeout (error (143)) 902    799    1759395840 error: exception 12.4  4.54 374784000
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 902    859    1466306560 timeout (error (143)) 900    761    2025082880 timeout (error (143)) 902    801    2330992640 error: exception 13.1  4.87 378507264
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 900    819    1614602240 timeout (error (143)) 900    774    2276184064 timeout (error (143)) 901    838    2009120768 error: exception 10.8  3.95 373604352
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 61.3  35.3  899125248 false(valid-deref) 36.5  18.1  662581248 false(valid-deref) 143    112    768176128 error: exception 12.2  4.65 389828608
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 30.7  12.6  573919232 false(valid-deref) 25.3  11.1  576327680 false(valid-deref) 78.8  58.1  612253696 error: exception 11.9  4.54 357404672
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 44.0  22.1  713138176 false(valid-deref) 27.3  12.3  580063232 false(valid-deref) 53.2  27.5  745443328 error: exception 12.0  4.29 370323456
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 901    817    2020622336 timeout (error (143)) 901    800    2236366848 timeout (error (143)) 901    769    2722422784 timeout (error (143)) 901    754    1107038208
ntdrivers/floppy_false-valid-deref.i.cil.c error: exception 6.37 2.58 296382464 error: exception 6.37 2.44 298897408 error: exception 6.41 2.58 297603072 error: exception 7.03 2.80 292405248
ntdrivers/kbfiltr_false-valid-deref.i.cil.c error: exception 5.86 2.28 264728576 error: exception 6.10 2.27 266346496 error: exception 5.98 2.23 266321920 error: exception 6.20 2.38 268423168
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.3  3.68 369364992 true 10.2  3.83 346333184 true 10.2  3.73 367370240 true 10.6  3.71 370188288
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.96 3.51 375910400 true 10.3  3.53 385093632 true 10.6  3.70 377540608 true 10.6  3.75 366964736
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.47 3.08 316342272 true 8.23 3.08 326733824 true 8.70 3.18 309157888 true 8.67 3.20 315187200
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.11 3.02 317734912 true 7.98 2.93 310284288 true 8.43 3.05 317833216 true 8.15 2.96 309325824
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.94 2.99 304807936 true 8.20 3.03 309813248 true 8.64 3.22 310296576 true 8.35 3.11 316710912
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.19 3.30 336633856 true 9.44 3.40 339496960 true 9.32 3.28 341344256 true 9.58 3.36 338575360
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.38 3.41 341970944 true 9.11 3.34 343367680 true 9.41 3.32 334200832 true 9.21 3.26 344268800
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 6.61 2.59 253652992 true 6.55 2.66 260501504 true 6.75 2.57 265900032 true 6.66 2.59 265117696
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.01 3.10 294850560 true 8.14 2.99 297422848 true 8.31 3.02 286097408 true 8.33 2.98 297689088
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.79 2.97 294154240 true 7.93 2.87 292442112 true 8.07 2.88 297807872 true 7.91 2.95 287526912
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 5.71 2.34 252407808 true 5.70 2.24 256114688 true 5.91 2.34 258830336 true 5.77 2.36 257683456
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 5.53 2.38 250843136 true 5.66 2.32 252678144 true 5.98 2.44 260681728 true 5.85 2.42 262594560
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 5.49 2.29 248819712 true 5.63 2.21 253935616 true 5.75 2.36 253599744 true 5.92 2.47 266190848
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 5.50 2.35 248283136 true 5.85 2.35 254398464 true 5.82 2.52 264499200 true 5.73 2.35 270622720
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 5.77 2.38 256450560 true 5.83 2.45 258863104 true 6.00 2.54 260673536 true 5.99 2.37 259395584
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 5.78 2.38 253382656 true 5.76 2.51 257163264 true 6.16 2.37 259362816 true 6.11 2.45 268042240
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 5.37 2.35 248107008 true 5.67 2.34 253423616 true 5.99 2.44 260952064 true 6.12 2.38 262799360
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 5.59 2.44 248156160 true 5.89 2.31 257904640 true 5.98 2.46 266293248 true 5.91 2.42 262148096
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 5.28 2.29 251174912 true 5.71 2.30 256933888 true 5.52 2.33 249683968 true 5.59 2.29 264237056
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 5.37 2.28 249319424 true 5.24 2.32 248020992 true 5.81 2.30 258670592 true 5.66 2.33 262127616
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 5.31 2.26 255434752 true 5.48 2.30 255102976 true 5.66 2.23 255533056 true 5.85 2.45 271450112
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 5.29 2.29 251420672 true 5.57 2.37 256143360 true 5.78 2.36 253980672 true 5.73 2.38 262750208
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 5.37 2.38 249626624 true 5.54 2.41 252907520 true 5.65 2.36 256802816 true 5.84 2.44 264638464
../../../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 76600 69700 218883932160 326 67800 56600 274117357568 326 82400 73600 256278814720 326 16700 13300 132886487040
local summary 34400 35000 63700 28500 67500 37100 12600 7030
    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