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/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/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/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/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_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/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
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-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/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-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-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-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-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-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-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/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-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/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-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-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/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/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/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_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_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_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_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_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_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_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_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_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_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_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_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_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-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-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_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
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
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
../../../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 198 68600 62700 170323189760 198 59700 49600 223722323968 198 74300 66700 205450534912 198 8580 6390 84751282176
    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