Tool ULTIMATE Automizer 0.1.23-666feb3e
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-11 20:16:21 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) 8.30 3.87 319991808 false(valid-deref) 8.07 3.22 327938048 unknown 3.80 1.57 225189888 unknown 3.81 1.54 220180480
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 6.91 3.49 300949504 false(valid-deref) 7.22 2.97 323715072 unknown 3.80 1.69 226201600 unknown 3.84 1.55 219086848
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 8.65 3.38 320225280 unknown 3.71 1.49 221069312 unknown 3.62 1.52 220643328 unknown 3.77 1.49 221200384
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 6.75 2.86 299565056 false(valid-deref) 6.76 2.81 298835968 unknown 3.45 1.45 216887296 unknown 3.78 1.49 217669632
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 13.6  5.96 419966976 unknown 3.70 1.49 223297536 unknown 3.74 1.54 221364224 unknown 3.75 1.55 222277632
array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 3.66 1.48 223522816 false(valid-deref) 10.3  4.11 422764544 unknown 3.99 1.58 221294592 unknown 3.43 1.50 214990848
array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 3.68 1.57 217395200 unknown 3.82 1.54 223432704 false(valid-deref) 6.39 2.69 313950208 unknown 3.86 1.56 220934144
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 3.73 1.46 218697728 false(valid-deref) 11.4  4.49 357314560 unknown 3.70 1.48 222806016 unknown 3.82 1.54 221052928
array-memsafety/diff_usafe_false-valid-deref.i unknown 3.58 1.44 220868608 false(valid-deref) 7.16 3.00 311029760 unknown 3.69 1.48 220561408 false(valid-deref) 7.32 3.08 322138112
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 8.80 3.47 322150400 unknown 3.76 1.46 222670848 unknown 3.68 1.47 220258304 unknown 3.75 1.52 224763904
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 13.1  5.13 344014848 unknown 3.68 1.48 220831744 false(valid-deref) 12.1  4.48 467365888 unknown 3.62 1.48 219041792
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 9.51 3.62 328282112 unknown 3.65 1.50 218017792 unknown 3.79 1.59 223612928 unknown 3.77 1.55 224120832
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 8.80 3.47 318074880 unknown 3.58 1.45 218841088 unknown 3.79 1.52 223383552 unknown 3.73 1.48 220958720
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 6.91 3.02 301682688 unknown 3.63 1.39 221003776 unknown 3.61 1.42 226123776 unknown 3.72 1.51 221130752
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 6.51 2.71 305410048 false(valid-deref) 6.54 2.72 295604224 unknown 3.74 1.50 222244864 unknown 3.67 1.51 224395264
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 906    825    2371264512 timeout (error (143)) 901    785    2465202176 unknown 3.70 1.46 221618176 unknown 3.88 1.55 221044736
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 10.6  4.16 420511744 unknown 3.84 1.50 221892608 unknown 3.79 1.52 222097408 unknown 3.68 1.48 222273536
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 11.8  4.54 338759680 unknown 4.12 1.62 228765696 unknown 3.66 1.49 218824704 unknown 3.71 1.54 219140096
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 12.3  5.23 455458816 unknown 3.76 1.53 219967488 unknown 3.64 1.50 223170560 error: exception 9.44 3.63 341524480
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 10.8  4.33 423202816 true 10.5  4.03 446930944 unknown 3.56 1.44 221351936 unknown 3.68 1.49 222670848
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 14.9  5.78 340660224 true 13.3  5.05 468582400 unknown 3.83 1.53 230866944 error: exception 9.09 3.48 354906112
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 900    845    2426982400 timeout (error (143)) 900    803    2548482048 unknown 3.65 1.51 218038272 unknown 3.80 1.56 218611712
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 39.7  30.1  523550720 unknown 3.65 1.49 222928896 unknown 3.65 1.49 220200960 unknown 3.73 1.55 221245440
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 3.59 1.47 222150656 true 21.0  8.97 630558720 unknown 3.71 1.50 222576640 unknown 3.55 1.46 221405184
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.55 1.48 221278208 true 16.0  6.83 418689024 unknown 3.68 1.49 219250688 unknown 4.06 1.60 228892672
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 3.85 1.50 221347840 true 18.4  7.74 606191616 unknown 3.69 1.58 222076928 error: exception 8.62 3.40 334585856
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 13.0  5.46 344641536 true 11.6  4.48 358436864 unknown 3.69 1.54 222035968 error: exception 10.0  3.80 359800832
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i unknown 3.57 1.42 221667328 timeout (error: exception) 904    819    3561791488 unknown 3.74 1.49 218951680 unknown 3.58 1.48 219017216
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 3.73 1.44 224555008 true 20.7  8.60 650096640 unknown 3.60 1.43 220569600 unknown 3.67 1.48 220545024
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 23.8  12.2  608935936 true 19.0  7.55 453021696 unknown 3.71 1.43 221487104 unknown 3.69 1.49 222617600
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 59.4  41.1  773607424 true 21.3  8.78 483614720 unknown 3.68 1.49 220499968 unknown 3.78 1.52 223502336
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 57.0  39.1  567603200 true 21.8  8.83 683737088 unknown 3.68 1.52 216662016 unknown 3.59 1.50 221945856
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 18.2  7.30 511733760 true 15.2  5.86 536399872 true 22.5  9.20 615129088 unknown 3.65 1.51 220557312
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 14.8  6.47 439844864 true 14.5  5.68 536080384 unknown 3.81 1.54 221274112 unknown 3.68 1.52 222957568
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 29.9  15.4  508596224 true 21.5  9.08 537792512 true 22.6  9.17 544350208 unknown 3.64 1.46 221589504
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 13.6  6.24 352595968 unknown 3.66 1.58 221224960 true 17.3  8.75 419540992 unknown 3.66 1.50 224624640
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 3.54 1.40 224129024 true 24.5  16.2  489164800 unknown 4.03 1.61 229990400 unknown 3.64 1.48 219082752
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 3.42 1.40 224149504 true 11.5  4.57 464060416 unknown 3.94 1.56 221667328 unknown 3.68 1.48 220729344
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.70 1.43 226848768 unknown 3.81 1.51 220942336 timeout (error (143)) 901    776    2575151104 unknown 3.63 1.45 222261248
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 63.5  37.0  1034027008 true 48.8  23.8  972447744 unknown 3.71 1.47 221229056 unknown 3.72 1.49 220557312
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i out of memory 325    230    6000005120 error: exception 885    791    5211324416 unknown 3.82 1.55 220024832 unknown 3.73 1.52 222236672
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 28.4  14.5  579874816 unknown 3.92 1.56 228642816 unknown 3.72 1.53 221835264 unknown 3.64 1.45 222191616
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 20.6  9.30 494280704 unknown 4.01 1.62 227278848 unknown 3.79 1.55 222892032 unknown 3.68 1.52 220565504
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 3.55 1.37 223350784 true 20.8  8.70 644460544 true 25.8  12.0  579989504 unknown 3.79 1.52 220016640
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i unknown 3.58 1.44 222199808 true 40.9  17.7  861089792 unknown 3.63 1.47 221007872 unknown 3.71 1.48 223895552
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 3.54 1.41 225054720 true 12.0  4.65 464932864 unknown 3.62 1.45 219049984 unknown 3.71 1.49 221769728
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 3.62 1.44 217669632 true 23.6  9.93 671731712 unknown 3.55 1.47 220389376 unknown 3.73 1.54 218574848
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 27.9  13.6  610250752 true 24.2  9.62 738553856 unknown 3.71 1.55 222158848 unknown 4.06 1.60 227368960
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 13.6  5.67 433704960 true 13.8  5.33 504692736 unknown 3.61 1.46 220729344 unknown 3.69 1.50 219602944
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 23.3  11.8  555954176 true 21.0  8.89 584581120 unknown 3.57 1.48 218861568 unknown 3.62 1.48 220565504
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 906    843    1136525312 unknown 3.73 1.48 230281216 unknown 3.70 1.47 219029504 unknown 3.70 1.44 221274112
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 906    892    2126868480 unknown 3.79 1.80 207622144 unknown 3.42 1.46 214417408 unknown 3.60 1.47 219922432
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 3.58 1.45 222883840 timeout (error: exception) 901    778    2827071488 unknown 3.81 1.51 219951104 unknown 3.64 1.42 221134848
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 11.3  4.67 338235392 true 10.9  4.12 333770752 unknown 3.74 1.49 221024256 unknown 3.79 1.51 221392896
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 12.4  4.73 342654976 unknown 3.87 1.56 221216768 unknown 3.66 1.49 224104448 error: exception 9.12 3.52 319160320
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 38.4  24.4  589926400 unknown 3.62 1.49 222642176 true 59.0  40.0  846733312 unknown 3.62 1.46 219193344
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 122    102    668745728 unknown 3.65 1.49 224370688 true 56.9  35.5  816394240 error: exception 9.18 3.60 334073856
array-examples/relax_false-valid-deref.i false(valid-deref) 9.18 3.44 332869632 false(valid-deref) 9.25 3.49 339263488 unknown 3.98 1.77 223764480 false(valid-deref) 10.5  4.04 341340160
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 900    752    2257764352 timeout (error (143)) 901    773    2414088192 unknown 3.59 1.49 216633344 unknown 3.78 1.48 222744576
array-examples/standard_strcpy_false-valid-deref_ground.i unknown 3.48 1.50 222883840 timeout (error: exception) 901    766    2389143552 unknown 3.66 1.48 226070528 unknown 3.73 1.51 225234944
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 900    751    2186227712 timeout (error (143)) 901    774    2438828032 unknown 3.65 1.47 221745152 unknown 3.65 1.51 219754496
memsafety/960521-1_false-valid-deref.i unknown 3.92 1.49 226844672 timeout (error (143)) 901    784    2474889216 unknown 3.81 1.54 221659136 unknown 3.57 1.41 223940608
memsafety/test-0235_false-valid-deref.i timeout (error (143)) 901    880    982671360 unknown 3.50 1.44 217083904 unknown 3.89 1.52 221106176 unknown 3.71 1.50 225714176
memsafety/960521-1_false-valid-free.i unknown 3.45 1.39 221790208 timeout (error (143)) 900    788    2404982784 unknown 3.57 1.43 218591232 unknown 3.78 1.50 218939392
memsafety/test-0158_false-valid-free.i false(valid-free) 9.16 3.45 334667776 false(valid-free) 10.4  3.93 351629312 unknown 3.62 1.43 218464256 unknown 3.70 1.50 219033600
memsafety/20051113-1.c_false-valid-memtrack.i unknown 3.43 1.38 219844608 error: exception 17.8  6.77 548847616 unknown 3.74 1.49 221499392 unknown 3.83 1.49 221306880
memsafety/lockfree-3.2_false-valid-memtrack.i false(valid-memtrack) 14.6  5.24 366006272 false(valid-memtrack) 12.7  4.59 364617728 unknown 3.59 1.47 221933568 unknown 3.69 1.47 217583616
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 3.81 1.61 223072256 false(valid-memtrack) 45.1  17.6  1454489600 false(valid-memtrack) 47.0  19.5  1181274112 unknown 3.77 1.53 221777920
memsafety/test-0019_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.2  4.33 340561920 unknown 3.79 1.52 218374144 unknown 3.57 1.42 219930624 unknown 3.77 1.49 227389440
memsafety/test-0102_false-valid-memtrack.i error: exception 5.76 2.29 275075072 unknown 3.94 1.54 230543360 error: exception 6.35 2.53 279814144 unknown 3.82 1.53 218812416
memsafety/test-0158_false-valid-memtrack_true-termination.i false(valid-memtrack) 7.94 3.05 317034496 unknown 3.48 1.47 217923584 unknown 3.66 1.49 222142464 unknown 3.73 1.58 219410432
memsafety/test-0019_true-valid-memsafety_true-termination.i true 13.5  5.58 644513792 unknown 3.73 1.46 222343168 unknown 3.69 1.50 220643328 error: exception 10.7  4.17 342589440
memsafety/test-0102_true-valid-memsafety.i error: exception 5.79 2.33 273428480 unknown 3.59 1.43 219934720 unknown 3.89 1.52 227790848 error: exception 6.26 2.54 282189824
memsafety/test-0158_true-valid-memsafety_true-termination.i true 8.96 3.61 327778304 unknown 3.90 1.49 221437952 unknown 3.71 1.48 221511680 unknown 3.80 1.53 218230784
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 5.65 2.17 268763136 unknown 3.80 1.52 218599424 unknown 3.63 1.45 219344896 unknown 3.79 1.55 218767360
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 5.70 2.41 273649664 unknown 4.03 1.56 230305792 unknown 3.99 1.55 226074624 unknown 3.69 1.51 221671424
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 5.65 2.21 274972672 unknown 3.55 1.49 218759168 error: exception 6.00 2.44 275140608 unknown 3.69 1.52 221872128
memsafety/test-0219_true-valid-memsafety.i timeout (error (143)) 904    882    710479872 unknown 9.46 3.78 338542592 unknown 3.65 1.49 224829440 unknown 3.64 1.48 220827648
memsafety/test-0235_true-valid-memsafety.i timeout (error (143)) 902    884    694362112 unknown 3.61 1.50 223801344 unknown 3.86 1.57 230776832 unknown 3.72 1.49 223649792
memsafety/test-0237_true-valid-memsafety.i unknown 3.51 1.56 222502912 unknown 3.70 1.50 218062848 unknown 3.98 1.59 225878016 timeout (error (143)) 901    791    2299494400
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 901    847    1198043136 unknown 3.76 1.51 222781440 unknown 3.47 1.42 222756864 unknown 3.63 1.48 219570176
memsafety/test-0513_true-valid-memsafety.i timeout (error (143)) 901    827    1445969920 unknown 3.74 1.50 219545600 timeout (error (143)) 901    843    975060992 error: exception 16.1  6.12 399237120
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i unknown 3.59 1.44 222879744 timeout (error: exception) 902    795    2896257024 unknown 3.65 1.44 219000832 error: exception 11.1  4.06 356753408
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 902    869    582410240 unknown 3.84 1.56 217534464 timeout (error (143)) 902    855    715382784 unknown 3.62 1.41 218046464
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i unknown 3.40 1.40 221126656 timeout (error (143)) 900    733    3164164096 unknown 3.64 1.46 220946432 unknown 3.69 1.45 221020160
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 900    829    872886272 unknown 3.82 1.66 220971008 unknown 3.63 1.45 223563776 unknown 3.55 1.42 218755072
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i unknown 3.46 1.47 220893184 timeout (error (143)) 901    748    2755674112 unknown 3.55 1.50 223899648 unknown 3.64 1.43 218284032
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 901    862    649408512 unknown 3.59 1.47 221474816 unknown 3.64 1.47 224296960 unknown 3.57 1.50 221421568
memsafety-ext2/split_list_test05_false-valid-deref.i error: exception 558    525    2308431872 timeout (error: exception) 902    835    3905404928 unknown 3.56 1.45 219123712 unknown 3.69 1.44 221085696
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i error: exception 254    193    2349355008 unknown 4.17 2.55 225284096 unknown 3.54 1.45 223444992 unknown 3.82 1.54 226693120
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i error: exception 316    250    1658486784 false(valid-memtrack) 387    307    2177003520 unknown 3.50 1.46 222711808 unknown 3.56 1.42 218939392
memsafety-ext2/length_test03_false-valid-memtrack.i error: exception 113    85.1  1070575616 unknown 3.55 1.43 219332608 timeout (error (143)) 901    862    1993056256 unknown 3.46 1.42 221294592
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i error: exception 161    97.7  2059890688 timeout (error: exception) 901    798    2444742656 unknown 3.60 1.48 222769152 unknown 3.48 1.39 218406912
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 901    829    1330200576 timeout (error (143)) 900    798    2795376640 unknown 3.54 1.44 222208000 unknown 3.66 1.47 222674944
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 901    855    1779933184 out of memory 535    457    5999996928 error: exception 574    542    1690222592 unknown 3.69 1.49 219418624
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i unknown 3.69 1.58 226291712 timeout (error (143)) 901    780    1914208256 unknown 3.37 1.37 222633984 unknown 3.60 1.48 218062848
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (error (143)) 901    863    2346758144 unknown 3.96 1.60 220110848 unknown 3.64 1.44 220467200 unknown 3.43 1.43 218902528
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 901    797    1249656832 timeout (error (143)) 900    770    2523963392 unknown 3.73 1.50 219537408 unknown 3.82 1.46 221310976
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 11.2  4.29 472219648 false(valid-deref) 12.0  4.65 467451904 unknown 3.48 1.40 218488832 unknown 3.49 1.35 218054656
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 13.3  5.18 385601536 false(valid-free) 12.5  4.59 464900096 unknown 3.75 1.50 220487680 unknown 3.60 1.45 220303360
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 9.22 3.42 331894784 false(valid-free) 9.37 3.57 332718080 unknown 3.63 1.47 221470720 unknown 3.58 1.45 219947008
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 16.3  7.07 576176128 false(valid-memtrack) 17.9  7.23 580153344 unknown 3.64 1.50 220540928 unknown 3.71 1.46 221372416
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 8.62 3.27 330244096 unknown 3.70 1.47 217759744 unknown 3.65 1.46 220569600 unknown 3.46 1.43 222654464
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 901    813    2977849344 timeout (error (143)) 900    799    3222032384 unknown 3.60 1.45 223965184 unknown 3.42 1.38 219926528
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 901    808    1426976768 unknown 3.69 1.57 220606464 unknown 3.54 1.43 220667904 unknown 3.46 1.43 219615232
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i unknown 3.45 1.34 219893760 timeout (error (143)) 900    775    2564173824 timeout (error (143)) 902    810    1403920384 unknown 3.47 1.45 218185728
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i error: exception 4.96 2.03 261062656 unknown 3.65 1.49 219930624 unknown 3.73 1.52 223326208 unknown 3.83 1.50 225484800
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 9.67 3.67 356954112 unknown 3.85 1.53 221474816 unknown 3.79 1.52 221593600 unknown 3.59 1.42 221216768
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 6.02 2.43 270118912 unknown 3.47 1.38 220966912 error: exception 6.25 2.40 282013696 unknown 3.55 1.49 219222016
list-ext-properties/test-0217_1_true-valid-memsafety.i unknown 3.80 1.54 224378880 error: exception 5.82 2.34 272969728 unknown 3.64 1.44 219779072 unknown 3.60 1.45 217575424
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 901    798    951091200 unknown 3.77 1.47 219234304 unknown 3.66 1.46 220123136 unknown 3.46 1.44 219885568
memory-alloca/c.03-alloca_true-valid-memsafety.i true 13.5  5.35 392212480 unknown 3.72 1.49 221069312 unknown 3.69 1.47 219983872 unknown 3.60 1.43 222818304
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 4.07 1.72 222572544 false(valid-deref) 7.89 3.27 308740096 unknown 3.80 1.49 219111424 unknown 3.50 1.41 221499392
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 8.67 3.44 307130368 false(valid-deref) 8.54 3.32 328699904 unknown 3.76 1.55 220893184 unknown 3.47 1.38 220053504
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 7.15 2.89 304738304 false(valid-deref) 7.11 2.79 321732608 unknown 3.82 1.53 222429184 unknown 3.69 1.50 221704192
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 7.25 2.92 306606080 false(valid-deref) 7.03 2.88 302395392 unknown 3.68 1.43 218869760 unknown 3.62 1.48 223555584
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 903    802    2818023424 false(valid-deref) 779    687    3091255296 unknown 3.74 1.55 219852800 error: exception 7.50 3.09 322060288
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c false(valid-deref) 872    764    2758959104 unknown 3.92 1.56 218247168 unknown 3.68 1.51 223154176 error: exception 8.40 3.45 333033472
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 6.90 2.94 317825024 false(valid-deref) 6.85 2.89 316637184 unknown 3.68 1.44 219131904 unknown 3.46 1.41 217694208
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 6.87 2.78 316370944 unknown 3.64 1.46 217776128 unknown 3.82 1.50 226545664 unknown 3.45 1.40 220610560
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 6.85 2.78 301756416 false(valid-deref) 6.90 2.87 316215296 unknown 3.65 1.46 221650944 unknown 3.43 1.39 219938816
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 6.99 2.86 313729024 unknown 3.63 1.45 227237888 unknown 3.70 1.52 220086272 unknown 3.47 1.38 220262400
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 6.73 2.70 320782336 unknown 3.86 1.55 226058240 unknown 3.61 1.49 220790784 unknown 3.73 1.45 225386496
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 3.85 1.55 230719488 timeout (error: exception) 901    802    3296735232 unknown 3.69 1.47 220143616 unknown 3.46 1.41 219500544
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 3.62 1.44 222699520 true 851    768    3362889728 unknown 3.75 1.47 222134272 unknown 3.45 1.37 222736384
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 3.79 1.49 223465472 true 842    764    3174993920 unknown 3.55 1.44 219623424 unknown 3.44 1.38 217305088
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 3.61 1.44 223506432 timeout (error: exception) 901    785    3544432640 unknown 3.59 1.46 221429760 unknown 3.55 1.43 220336128
ldv-memsafety/StructInitialization1_true-valid-memsafety.c true 8.31 3.38 312418304 true 7.87 3.04 318058496 unknown 3.51 1.42 220577792 unknown 3.50 1.41 220020736
ldv-memsafety/StructInitialization2_true-valid-memsafety.c true 8.02 3.04 305364992 true 8.10 3.08 324673536 unknown 3.58 1.45 220856320 unknown 3.58 1.43 223404032
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c unknown 3.64 1.46 222969856 unknown 3.92 1.51 219922432 true 6.90 2.90 320512000 unknown 3.44 1.39 223244288
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 3.77 1.48 220995584 unknown 4.02 1.56 220819456 unknown 3.74 1.48 218714112 error: exception 34.7  21.7  975712256
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 9.06 3.46 332529664 true 90.9  58.7  1369952256 unknown 3.74 1.52 223051776 unknown 3.49 1.39 219607040
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 8.51 3.56 329916416 true 29.6  13.7  793096192 unknown 3.62 1.51 218619904 unknown 3.46 1.40 220610560
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 8.89 3.47 315990016 true 92.0  58.8  1346084864 unknown 3.75 1.52 220770304 error: exception 136    108    1085919232
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 3.56 1.44 222539776 true 92.8  59.4  1281507328 unknown 3.87 1.51 222535680 unknown 3.56 1.42 221995008
ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 3.72 1.48 222674944 true 93.4  58.9  1355943936 unknown 4.24 1.72 225345536 error: exception 142    110    804327424
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 6.46 2.62 276840448 unknown 3.73 1.49 215678976 unknown 3.73 1.49 222232576 unknown 3.54 1.45 222228480
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 901    862    3172274176 false(valid-deref) 56.1  25.2  1236529152 error: exception 639    606    3082014720 unknown 3.58 1.45 221069312
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout (error (143)) 901    860    3061207040 unknown 3.66 1.50 216481792 unknown 3.44 1.40 218681344 unknown 3.66 1.46 221675520
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 5.87 2.35 276901888 unknown 3.80 1.50 220438528 unknown 3.41 1.37 220106752 unknown 3.64 1.49 221507584
ldv-memsafety/memleaks_test12_false-valid-free.i error: exception 5.84 2.34 271163392 error: exception 6.32 2.52 272719872 unknown 3.59 1.50 221122560 unknown 3.75 1.52 223469568
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout (error (143)) 902    870    1192239104 unknown 3.70 1.51 216260608 unknown 3.58 1.42 222531584 unknown 3.58 1.46 220336128
ldv-memsafety/memleaks_test1_false-valid-free.i unknown 3.67 1.42 229171200 false(valid-free) 11.6  4.27 404402176 unknown 3.42 1.39 219975680 unknown 3.55 1.41 221093888
ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 3.60 1.44 223465472 false(valid-free) 18.7  7.01 563609600 unknown 3.39 1.39 223010816 unknown 3.62 1.49 221077504
ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 3.66 1.45 223309824 false(valid-free) 12.3  4.42 472334336 unknown 3.70 1.45 227696640 unknown 3.66 1.50 221511680
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 3.48 1.41 225411072 false(valid-memtrack) 68.2  31.4  1133592576 unknown 3.45 1.36 218247168 unknown 3.83 1.51 223944704
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 5.81 2.32 277725184 unknown 4.05 1.57 221020160 unknown 3.63 1.52 221810688 unknown 3.49 1.44 218890240
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i false(valid-memtrack) 62.1  30.0  1071144960 false(valid-memtrack) 54.2  25.9  1083846656 unknown 3.33 1.40 217350144 unknown 3.69 1.49 223363072
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 6.24 2.44 279478272 error: exception 7.03 2.67 305733632 unknown 3.50 1.42 221044736 unknown 3.70 1.48 218603520
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i unknown 3.80 1.47 225124352 false(valid-memtrack) 12.2  4.64 473399296 unknown 3.40 1.38 221069312 unknown 3.78 1.46 224518144
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.2  3.75 362405888 unknown 3.87 1.53 220717056 unknown 3.64 1.45 223166464 unknown 3.70 1.49 219475968
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i error: exception 496    459    1060319232 out of memory 674    574    6000005120 unknown 3.47 1.41 217456640 unknown 3.39 1.44 219463680
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 60.7  51.0  604065792 false(valid-memtrack) 15.1  5.49 474771456 false(valid-memtrack) 58.9  50.1  497606656 unknown 3.82 1.49 222195712
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 3.54 1.48 222875648 unknown 3.86 1.56 216858624 timeout (error (143)) 902    857    928710656 unknown 3.54 1.43 221601792
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 170    148    676380672 unknown 4.03 1.60 218677248 unknown 3.54 1.45 222605312 unknown 3.63 1.45 220098560
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 3.57 1.44 223719424 false(valid-memtrack) 10.4  4.00 340889600 false(valid-memtrack) 9.86 3.63 364789760 unknown 3.65 1.46 219148288
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.4  3.79 380084224 unknown 4.03 1.60 224456704 unknown 3.65 1.44 219246592 unknown 3.57 1.47 222908416
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i false(valid-memtrack) 9.95 3.70 375578624 unknown 3.88 1.54 219156480 unknown 3.48 1.38 219660288 unknown 3.70 1.52 219717632
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 40.5  23.0  595197952 false(valid-memtrack) 22.7  8.10 527040512 unknown 3.73 1.60 219738112 unknown 3.57 1.39 221741056
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i false(valid-memtrack) 78.5  51.5  1079201792 false(valid-memtrack) 45.3  17.6  822472704 unknown 3.60 1.45 220606464 unknown 3.68 1.50 222146560
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i false(valid-memtrack) 11.2  4.23 338866176 unknown 3.87 1.54 227418112 unknown 3.59 1.41 220770304 unknown 3.78 1.50 222949376
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 3.75 1.44 222466048 false(valid-memtrack) 10.5  3.86 367378432 unknown 3.62 1.45 223203328 unknown 3.60 1.45 220790784
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.7  3.87 342953984 false(valid-memtrack) 11.1  4.10 347549696 unknown 3.53 1.39 221220864 unknown 3.63 1.52 219095040
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 15.1  5.68 430247936 unknown 3.65 1.51 221143040 unknown 3.56 1.42 222904320 unknown 3.67 1.44 219910144
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i false(valid-memtrack) 14.7  5.37 424677376 unknown 3.62 1.50 217796608 unknown 3.49 1.41 220217344 unknown 3.70 1.48 218804224
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i false(valid-memtrack) 14.3  5.20 385069056 unknown 3.73 1.51 216625152 unknown 3.66 1.49 218566656 error: exception 13.2  4.96 383778816
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i false(valid-memtrack) 10.6  3.96 433082368 unknown 4.06 1.57 220860416 unknown 3.61 1.53 223289344 unknown 3.62 1.41 220139520
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 3.60 1.44 219828224 false(valid-memtrack) 11.5  4.15 343425024 unknown 3.45 1.41 218206208 false(valid-memtrack) 11.6  4.20 344981504
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 6.59 2.57 277037056 error: exception 6.42 2.71 277057536 unknown 3.54 1.40 223092736 error: exception 6.20 2.46 275959808
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 3.48 1.41 217300992 error: exception 6.75 2.64 281026560 unknown 3.73 1.46 221405184 unknown 3.77 1.46 219226112
ldv-memsafety/memleaks_test13_true-valid-memsafety.i true 73.3  36.9  1018671104 true 63.2  30.4  1160400896 unknown 3.89 1.51 222527488 unknown 3.65 1.47 221216768
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i error: exception 252    202    1088712704 true 236    161    2279215104 unknown 3.52 1.39 221052928 unknown 3.79 1.48 219635712
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout (error (143)) 901    864    2487713792 unknown 3.79 1.49 219619328 unknown 3.61 1.42 220119040 unknown 3.57 1.39 217227264
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 901    833    875589632 unknown 3.48 1.50 214708224 unknown 3.76 1.46 230719488 unknown 3.72 1.47 221040640
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout (error (143)) 902    865    956600320 out of memory 606    519    5999996928 unknown 3.64 1.47 221286400 unknown 3.75 1.54 222175232
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i unknown 3.73 1.48 227041280 true 15.3  5.75 472150016 unknown 4.08 1.60 220831744 unknown 3.70 1.45 218066944
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i true 12.6  4.75 407654400 true 14.2  5.24 471265280 unknown 3.64 1.47 222027776 unknown 3.68 1.45 218333184
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 3.49 1.44 218689536 true 80.9  39.3  1433661440 unknown 3.50 1.40 221331456 unknown 3.58 1.49 219901952
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 902    862    2478694400 unknown 3.65 1.55 215605248 unknown 3.61 1.41 220217344 unknown 3.80 1.47 226271232
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 3.58 1.39 224649216 true 12.8  4.80 469307392 unknown 3.57 1.45 221200384 unknown 3.75 1.45 221765632
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 17.1  6.73 574562304 true 17.4  6.42 555925504 unknown 3.66 1.43 219586560 unknown 3.64 1.44 219734016
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 3.66 1.40 220127232 true 14.4  5.22 472764416 unknown 3.62 1.41 222695424 unknown 3.77 1.51 223150080
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 3.63 1.50 220692480 true 20.3  7.38 584916992 unknown 3.51 1.42 221835264 unknown 3.81 1.50 221114368
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 12.3  4.43 473378816 true 14.1  5.34 468029440 unknown 3.62 1.49 222044160 unknown 3.54 1.42 223461376
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 3.59 1.43 221134848 true 13.5  4.89 476700672 unknown 3.48 1.37 221605888 unknown 3.68 1.45 220925952
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 3.41 1.37 219656192 false(valid-deref) 15.9  6.09 539258880 unknown 3.62 1.44 219017216 unknown 3.69 1.45 220139520
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 3.48 1.39 220786688 true 30.5  13.3  748883968 unknown 3.78 1.49 220450816 unknown 3.63 1.43 221843456
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i false(valid-deref) 7.58 2.98 313774080 unknown 3.90 1.58 217268224 unknown 3.86 1.55 218546176 unknown 3.66 1.46 222130176
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i true 57.6  38.0  800804864 unknown 3.98 1.68 223182848 unknown 3.76 1.53 219398144 error: exception 14.1  5.86 394223616
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i false(valid-deref) 8.54 3.33 339599360 unknown 3.98 1.57 222625792 unknown 3.70 1.49 222556160 unknown 3.64 1.49 222744576
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i timeout (error (143)) 901    876    1611534336 unknown 4.07 1.61 220401664 unknown 3.62 1.43 220475392 unknown 3.72 1.47 221118464
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i false(valid-free) 123    98.7  837976064 unknown 3.97 1.56 217972736 unknown 3.76 1.48 221200384 unknown 3.64 1.49 218292224
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 906    892    2119294976 timeout (error (143)) 906    891    2126118912 unknown 3.50 1.43 219508736 unknown 3.75 1.51 229150720
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 906    891    2124582912 timeout (error (143)) 906    892    2118946816 unknown 3.65 1.44 220495872 unknown 3.82 1.52 222789632
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 4.02 1.97 222543872 false(valid-memtrack) 22.4  8.74 619999232 false(valid-memtrack) 26.1  10.1  594157568 unknown 3.76 1.44 219144192
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown 3.68 1.48 223604736 false(valid-memtrack) 28.7  13.0  808792064 unknown 3.56 1.39 221753344 unknown 3.66 1.54 223879168
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 902    808    1746010112 unknown 4.05 1.68 221245440 unknown 3.54 1.38 222617600 unknown 3.94 1.50 221278208
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 4.03 1.59 227913728 false(valid-memtrack) 9.44 3.66 335523840 unknown 3.55 1.38 218480640 unknown 3.71 1.50 220110848
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i false(valid-memtrack) 9.42 3.69 331165696 unknown 3.61 1.44 219963392 unknown 3.72 1.50 222425088 unknown 3.71 1.68 220327936
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 902    830    815693824 unknown 3.38 1.41 215166976 unknown 3.52 1.38 218583040 unknown 3.68 1.48 220381184
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    855    1396887552 unknown 3.69 1.45 225157120 timeout (error (143)) 903    844    1175609344 unknown 3.74 1.51 221876224
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i unknown 3.55 1.44 218173440 timeout (error (143)) 901    768    2559574016 unknown 3.73 1.53 222810112 unknown 3.67 1.49 223346688
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    833    953106432 timeout (error (143)) 900    776    2516733952 unknown 3.66 1.47 218214400 unknown 3.65 1.48 225275904
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    827    1319641088 unknown 3.89 1.52 229830656 unknown 3.73 1.45 219611136 unknown 3.48 1.47 220430336
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 900    831    749268992 unknown 3.74 1.52 222486528 unknown 3.62 1.47 223096832 unknown 3.61 1.44 222621696
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 904    874    786796544 timeout (error (143)) 901    775    2507431936 timeout (error (143)) 901    848    833667072 unknown 3.67 1.49 222060544
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 900    829    1654444032 unknown 3.60 1.47 221302784 unknown 3.60 1.43 221163520 unknown 3.56 1.38 224153600
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 900    819    1425608704 unknown 3.72 1.52 221593600 unknown 3.59 1.42 222883840 unknown 3.82 1.54 221786112
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    842    1337700352 unknown 3.73 1.56 221446144 unknown 3.53 1.43 219811840 unknown 3.65 1.51 217518080
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    838    1820471296 unknown 3.93 1.56 229806080 unknown 3.60 1.51 221532160 unknown 3.45 1.38 224710656
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 903    817    1347014656 unknown 3.56 1.47 222990336 unknown 3.76 1.49 223043584 unknown 3.59 1.46 220884992
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    850    1925009408 unknown 3.69 1.54 222609408 unknown 3.84 1.54 220921856 error: exception 12.5  4.82 378912768
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 901    810    2495586304 unknown 3.64 1.55 223330304 unknown 3.59 1.43 221339648 unknown 3.95 1.58 229355520
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 64.1  36.8  1428840448 unknown 3.78 1.55 220905472 unknown 3.64 1.46 221024256 unknown 3.63 1.48 220069888
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 30.8  12.8  668389376 unknown 3.63 1.43 222695424 unknown 3.65 1.43 222826496 unknown 3.55 1.44 221163520
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 46.1  23.6  1148456960 unknown 3.67 1.52 222281728 unknown 3.86 1.56 231751680 unknown 3.54 1.42 222633984
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 906    819    2552266752 unknown 3.65 1.47 223850496 unknown 3.64 1.47 219475968 unknown 3.59 1.47 218443776
ntdrivers/kbfiltr_false-valid-deref.i.cil.c error: exception 6.79 2.59 280756224 unknown 3.66 1.47 220082176 unknown 3.62 1.43 218861568 unknown 3.63 1.50 221495296
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.1  4.04 407404544 unknown 3.72 1.48 223657984 unknown 3.68 1.47 223936512 unknown 3.73 1.53 218025984
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 11.3  4.08 401633280 unknown 3.61 1.46 220495872 unknown 3.66 1.46 219148288 true 10.8  3.94 396005376
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 9.01 3.26 334544896 unknown 3.54 1.50 221683712 true 8.57 3.27 319938560 unknown 3.86 1.52 228380672
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.81 3.22 336408576 unknown 3.57 1.42 224018432 unknown 3.61 1.44 222593024 unknown 3.44 1.40 217292800
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.64 1.50 219082752 unknown 3.61 1.49 220692480 true 9.05 3.36 335085568 unknown 3.52 1.45 217878528
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 10.5  3.77 343543808 unknown 3.65 1.43 221388800 unknown 3.57 1.44 222429184 unknown 3.62 1.46 220962816
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 7.53 2.99 317992960 unknown 3.58 1.46 223367168 unknown 3.67 1.44 223297536 unknown 3.58 1.48 221442048
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c unknown 3.65 1.47 222466048 unknown 3.60 1.43 225112064 true 8.62 3.30 334581760 true 8.62 3.21 341782528
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 8.66 3.19 337829888 unknown 3.74 1.50 220905472 unknown 3.54 1.41 218554368 unknown 3.72 1.51 219009024
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 6.47 2.63 304357376 true 6.41 2.65 319098880 unknown 3.55 1.42 220811264 unknown 3.72 1.50 219402240
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 6.61 2.67 300249088 unknown 3.64 1.47 223449088 unknown 3.58 1.46 218361856 unknown 3.39 1.39 216039424
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 6.52 2.70 314724352 unknown 3.59 1.45 220712960 unknown 3.73 1.48 222171136 unknown 3.65 1.51 219815936
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.57 1.44 222859264 unknown 3.64 1.46 222957568 true 6.57 2.66 314224640 unknown 3.68 1.47 220774400
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 6.92 2.84 315568128 unknown 3.52 1.42 222515200 unknown 3.62 1.47 222408704 unknown 3.66 1.50 223186944
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 6.50 2.64 320569344 unknown 3.73 1.53 219897856 unknown 3.61 1.44 222523392 unknown 3.50 1.51 220823552
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 6.75 2.68 320159744 unknown 3.63 1.44 223219712 unknown 3.70 1.49 219525120 true 6.63 2.66 318799872
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 6.67 2.69 313909248 unknown 3.77 1.59 223977472 unknown 3.66 1.48 217559040 unknown 3.69 1.50 221212672
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.53 1.43 221220864 true 6.19 2.64 299851776 unknown 3.70 1.51 221184000 unknown 3.57 1.48 222015488
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c unknown 3.62 1.42 230494208 unknown 3.67 1.50 222228480 true 6.43 2.61 300183552 unknown 3.66 1.45 222085120
../../../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 237 48200 43700 161538113536 237 31600 26700 182511828992 237 9610 8380 70988824576 237 2200 1430 59402575872
    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