Tool ULTIMATE Automizer 0.1.23-a74eeac8
Limits timelimit: 120 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-02-02 18:20:20 CET
Run set Camel SmtInterpolCraig SmtInterpolNoArray z3
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -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 -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 -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 -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) 5.70 2.39 258002944 false(valid-deref) 5.85 2.52 260878336 false(valid-deref) 6.04 2.34 256839680 error: exception 4.97 1.99 219369472
array-memsafety/bubblesort_unsafe_false-valid-deref.i false(valid-deref) 5.35 2.32 248475648 false(valid-deref) 5.13 2.08 254308352 false(valid-deref) 5.41 2.29 265695232 error: exception 4.79 1.91 220311552
array-memsafety/count_down_unsafe_false-valid-deref.i false(valid-deref) 6.22 2.46 251748352 false(valid-deref) 5.95 2.35 256102400 false(valid-deref) 6.15 2.39 253415424 error: exception 5.10 1.98 220717056
array-memsafety/cstrcat_unsafe_false-valid-deref.i false(valid-deref) 4.96 1.93 210710528 false(valid-deref) 4.94 1.97 223195136 false(valid-deref) 4.91 2.06 225673216 error: exception 4.70 1.91 220385280
array-memsafety/cstrchr_unsafe_false-valid-deref.i false(valid-deref) 12.3  5.15 378834944 false(valid-deref) 9.71 3.76 336470016 false(valid-deref) 10.9  4.58 362213376 error: exception 4.71 1.89 220811264
array-memsafety/cstrlen_unsafe_false-valid-deref.i false(valid-deref) 8.03 3.15 322093056 false(valid-deref) 8.36 3.13 316768256 false(valid-deref) 8.06 3.13 323088384 error: exception 4.95 2.07 226746368
array-memsafety/cstrncat_unsafe_false-valid-deref.i false(valid-deref) 4.98 1.97 226672640 false(valid-deref) 5.18 2.04 223838208 false(valid-deref) 4.76 1.92 225181696 error: exception 4.72 1.92 218062848
array-memsafety/cstrncpy_unsafe_false-valid-deref.i false(valid-deref) 5.23 2.08 222302208 false(valid-deref) 4.95 1.90 229101568 false(valid-deref) 5.07 1.99 229109760 error: exception 4.69 1.87 220684288
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i false(valid-deref) 11.6  4.76 369221632 false(valid-deref) 10.3  3.86 359399424 error: exception 6.69 2.51 254345216 error: exception 5.00 2.00 221323264
array-memsafety/diff_usafe_false-valid-deref.i false(valid-deref) 5.51 2.20 253988864 false(valid-deref) 5.23 2.10 248438784 false(valid-deref) 5.48 2.16 248217600 error: exception 4.77 2.07 217427968
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i false(valid-deref) 7.20 2.62 274042880 false(valid-deref) 6.91 2.65 267595776 error: exception 5.15 2.04 233660416 error: exception 5.21 2.10 222466048
array-memsafety/lis_unsafe_false-valid-deref.i false(valid-deref) 12.7  4.74 367476736 false(valid-deref) 11.2  4.35 367783936 error: exception 5.35 2.14 230739968 error: exception 5.20 2.07 222085120
array-memsafety/mult_array_unsafe_false-valid-deref.i false(valid-deref) 6.59 2.58 262676480 unknown 5.22 2.16 227549184 unknown 5.10 1.99 226426880 error: exception 4.87 1.96 220889088
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i false(valid-deref) 7.38 2.78 256749568 false(valid-deref) 7.24 2.78 255807488 false(valid-deref) 7.25 2.72 254971904 error: exception 5.29 1.98 225398784
array-memsafety/reverse_array_unsafe_false-valid-deref.i false(valid-deref) 6.95 2.60 256999424 false(valid-deref) 6.58 2.52 252825600 false(valid-deref) 6.54 2.48 254070784 error: exception 4.92 1.92 217944064
array-memsafety/selectionsort_unsafe_false-valid-deref.i false(valid-deref) 5.71 2.21 244215808 false(valid-deref) 5.63 2.21 254746624 false(valid-deref) 5.54 2.22 247881728 error: exception 4.62 1.85 217714688
array-memsafety/stroeder1_unsafe_false-valid-deref.i false(valid-deref) 4.94 2.00 227057664 false(valid-deref) 4.91 1.91 225230848 false(valid-deref) 4.94 1.97 210100224 error: exception 4.60 1.80 208728064
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 121    82.6  1014931456 timeout (error (143)) 121    83.8  1527635968 error: exception 7.17 2.71 263262208 error: exception 4.83 1.89 220684288
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i true 8.88 3.42 341155840 true 8.36 3.16 314003456 error: exception 9.12 3.47 335745024 error: exception 4.80 1.93 222621696
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i true 9.74 3.64 340848640 true 8.70 3.36 334622720 error: exception 10.4  4.30 336195584 error: exception 4.93 1.96 222961664
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i true 9.21 3.53 339689472 true 9.15 3.72 331640832 error: exception 10.4  4.11 346927104 error: exception 4.89 2.00 221409280
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i true 9.24 3.55 337588224 true 8.69 3.26 332627968 error: exception 9.19 3.63 346312704 error: exception 4.93 2.00 220123136
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i true 12.6  5.10 368275456 true 10.5  3.97 349134848 error: exception 11.6  4.59 382119936 error: exception 4.88 1.95 227454976
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 121    92.6  1113223168 timeout (error (143)) 121    78.7  1466404864 error: exception 5.75 2.25 254758912 error: exception 5.03 1.99 218427392
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i true 14.3  5.34 377774080 true 10.4  4.09 355041280 error: exception 9.72 3.76 341905408 error: exception 5.06 2.12 224497664
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i true 27.4  16.0  482631680 true 18.0  7.91 451219456 error: exception 5.33 2.06 220745728 error: exception 5.47 2.34 215629824
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i true 15.5  6.76 424153088 true 13.6  5.51 422944768 error: exception 7.94 2.97 293404672 error: exception 4.87 1.97 225955840
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i true 23.1  11.5  501059584 true 18.3  7.41 497557504 error: exception 5.34 2.11 220450816 error: exception 4.95 1.93 218398720
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i true 11.6  4.62 358883328 true 9.48 3.73 336125952 error: exception 10.6  4.19 365969408 error: exception 5.01 1.97 221548544
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 121    106    550117376 timeout (error (143)) 121    81.4  1270120448 error: exception 6.36 2.44 262021120 error: exception 5.14 2.09 216420352
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i true 25.5  13.0  501600256 true 17.3  7.51 440127488 error: exception 5.24 2.07 220332032 error: exception 5.37 2.06 219684864
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i true 21.3  9.84 483024896 true 16.0  6.82 459595776 error: exception 7.41 2.86 268603392 error: exception 4.95 1.98 221310976
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 42.1  25.2  578007040 true 18.5  7.73 458227712 error: exception 5.27 2.06 230555648 error: exception 5.20 2.02 219824128
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i true 54.9  38.5  586543104 true 18.3  7.95 473997312 error: exception 5.07 2.07 224735232 error: exception 5.13 2.03 218259456
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i true 16.1  6.43 432746496 true 13.1  4.98 391888896 error: exception 5.18 2.05 227557376 error: exception 4.94 1.97 216891392
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i true 13.0  5.22 388276224 true 12.4  4.71 360353792 error: exception 7.81 2.95 274063360 error: exception 4.99 1.90 222846976
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i true 9.96 4.18 333344768 true 8.91 3.35 333606912 error: exception 8.03 3.02 303153152 error: exception 5.04 2.00 216915968
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i true 24.1  12.2  468885504 true 18.7  8.00 470622208 error: exception 5.60 2.17 229998592 error: exception 5.36 2.05 225509376
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i true 15.1  8.79 341217280 unknown 5.18 1.97 220577792 unknown 5.29 2.05 223989760 error: exception 5.13 2.13 221691904
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i true 12.6  5.19 383766528 true 10.5  3.96 363708416 error: exception 10.3  3.86 330436608 error: exception 4.74 1.90 224489472
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i true 13.1  5.13 374009856 true 9.22 3.72 332681216 error: exception 9.41 3.75 343126016 error: exception 4.86 1.92 221200384
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i true 24.7  17.5  407793664 true 14.7  7.06 360103936 error: exception 11.2  4.45 365158400 error: exception 4.93 1.90 223105024
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i true 11.9  5.15 390737920 true 9.11 3.54 340430848 error: exception 7.04 2.73 272121856 error: exception 4.80 1.91 219787264
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i true 14.1  6.00 424955904 true 12.1  4.91 399896576 error: exception 7.32 2.70 267337728 error: exception 4.86 1.94 224280576
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i true 69.3  39.9  775860224 true 51.0  25.7  750985216 error: exception 7.39 2.77 258936832 error: exception 4.91 2.06 220180480
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 121    90.9  700186624 timeout (error (143)) 121    78.3  961249280 error: exception 5.83 2.27 256217088 error: exception 5.03 1.93 221229056
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i true 22.1  10.9  485072896 true 20.6  8.24 483405824 error: exception 4.96 1.99 221085696 error: exception 5.16 2.01 221413376
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i true 14.0  5.85 419328000 true 12.6  4.93 387006464 error: exception 7.59 2.78 282542080 error: exception 4.89 1.91 222855168
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i true 24.9  14.0  479219712 true 18.0  7.31 470929408 error: exception 5.36 2.07 224264192 error: exception 5.02 2.01 219021312
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i true 44.6  21.7  613580800 true 47.4  21.0  744325120 error: exception 5.37 2.13 225136640 error: exception 5.01 1.99 216186880
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i true 11.2  4.82 359583744 true 9.58 3.81 338042880 error: exception 9.80 3.75 337215488 error: exception 4.92 2.11 220852224
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 122    99.3  658837504 timeout (error (143)) 120    79.5  1102852096 error: exception 6.48 2.51 257892352 error: exception 5.08 2.11 220758016
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i true 27.7  14.0  525824000 true 19.7  8.14 471916544 error: exception 5.28 2.10 221016064 error: exception 5.06 2.00 222281728
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i true 26.4  12.9  510431232 true 19.5  8.48 452161536 error: exception 7.67 2.89 291651584 error: exception 5.06 1.98 223260672
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i true 12.6  5.19 407093248 true 11.6  4.49 377724928 error: exception 11.0  4.25 375623680 error: exception 4.60 1.90 221327360
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i true 25.9  14.8  523792384 true 17.9  7.53 491667456 error: exception 5.37 2.09 229171200 error: exception 5.12 1.99 219877376
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i true 28.9  15.8  511115264 true 19.7  8.67 475369472 error: exception 5.15 2.00 225734656 error: exception 4.87 1.90 221569024
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 123    103    596688896 timeout (error (143)) 121    71.6  1915211776 error: exception 5.31 2.10 236826624 error: exception 5.52 2.11 226054144
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i true 14.8  8.24 386576384 true 10.1  3.89 357736448 error: exception 11.1  4.39 368451584 error: exception 4.64 1.93 219205632
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i true 10.9  4.28 365420544 timeout (error (143)) 121    86.9  2238595072 error: exception 8.24 3.17 316207104 error: exception 4.82 1.90 223027200
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i true 9.92 3.76 337874944 true 8.31 3.15 331841536 error: exception 10.4  4.64 345243648 error: exception 4.83 1.92 221298688
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i true 9.98 3.73 342704128 true 8.52 3.17 342097920 error: exception 10.7  4.51 342048768 error: exception 5.06 1.99 228745216
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i true 18.2  9.80 435118080 true 10.3  3.87 372609024 error: exception 10.1  3.93 334385152 error: exception 4.73 1.88 223281152
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i true 27.4  12.9  515477504 true 20.8  8.73 509603840 error: exception 5.14 2.10 228057088 error: exception 5.21 1.95 223543296
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i true 84.9  63.9  700387328 true 25.1  11.3  523436032 error: exception 5.05 1.98 228032512 error: exception 5.15 2.08 224903168
array-examples/relax_false-valid-deref.i false(valid-deref) 5.72 2.21 264065024 false(valid-deref) 5.83 2.24 262815744 false(valid-deref) 6.05 2.43 265842688 error: exception 5.53 2.15 226275328
array-examples/sanfoundry_24_false-valid-deref.i timeout (error (143)) 121    82.7  812892160 timeout (error (143)) 120    81.0  1686691840 timeout (error (143)) 120    76.4  1038503936 error: exception 4.79 1.94 225411072
array-examples/standard_strcpy_false-valid-deref_ground.i timeout (error (143)) 120    83.5  949104640 timeout (error (143)) 121    85.4  1915777024 timeout (error (143)) 121    78.4  1367240704 error: exception 4.66 1.84 224657408
array-examples/standard_strcpy_original_false-valid-deref.i timeout (error (143)) 121    81.5  819343360 timeout (error (143)) 121    84.3  1437495296 timeout (error (143)) 121    80.0  997330944 error: exception 4.58 1.88 226168832
memsafety/960521-1_false-valid-deref.i timeout (error (143)) 126    102    800092160 timeout (error (143)) 120    83.7  1362366464 error: exception 6.51 2.47 261230592 error: exception 5.00 1.99 215789568
memsafety/test-0137_false-valid-deref.i timeout (error (143)) 122    94.1  873975808 false(valid-deref) 46.7  21.2  696115200 error: exception 8.35 3.13 312205312 error: exception 6.07 2.25 252608512
memsafety/test-0235_false-valid-deref.i timeout (error (143)) 121    109    520974336 unknown 8.54 3.15 312877056 unknown 8.27 3.00 313827328 error: exception 6.26 2.38 264892416
memsafety/960521-1_false-valid-free.i timeout (error (143)) 126    102    757309440 timeout (error (143)) 121    85.5  1608650752 error: exception 6.24 2.46 262541312 error: exception 4.90 1.96 215621632
memsafety/test-0158_false-valid-free.i false(valid-free) 7.80 2.99 281079808 false(valid-free) 7.40 2.84 277970944 error: exception 5.18 2.08 229953536 error: exception 4.92 1.95 220463104
memsafety/test-0232_false-valid-free.i error: exception 74.3  40.9  803532800 false(valid-free) 71.1  41.1  947404800 error: exception 7.15 2.65 269381632 error: exception 5.57 2.13 227794944
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 121    94.6  831008768 unknown: overapproxcex 82.6  37.4  1470873600 error: exception 8.31 2.98 300650496 error: exception 6.24 2.28 257036288
memsafety/20051113-1.c_false-valid-memtrack.i timeout (error (143)) 126    92.2  854208512 timeout (error (143)) 120    70.5  2237857792 error: exception 7.58 2.84 291254272 error: exception 5.20 2.06 226566144
memsafety/lockfree-3.1_false-valid-memtrack.i unknown: overapproxcex 32.1  12.6  635445248 unknown: overapproxcex 46.3  16.0  847982592 unknown: overapproxcex 36.0  13.6  731299840 error: exception 5.13 1.97 227033088
memsafety/lockfree-3.2_false-valid-memtrack.i unknown: overapproxcex 12.6  4.52 375648256 unknown: overapproxcex 11.1  3.86 346779648 unknown: overapproxcex 11.6  4.04 362778624 error: exception 5.30 2.10 231391232
memsafety/lockfree-3.3_false-valid-memtrack.i unknown: overapproxcex 53.0  22.9  965677056 unknown: overapproxcex 53.9  21.2  1502588928 unknown: overapproxcex 42.4  18.8  863690752 error: exception 5.18 2.13 226885632
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown: overapproxcex 11.4  4.50 352059392 unknown: overapproxcex 10.6  4.04 353689600 error: exception 5.06 2.01 221659136 error: exception 4.88 2.02 221712384
memsafety/test-0102_false-valid-memtrack.i timeout (error (143)) 121    85.8  927260672 timeout (error (143)) 121    77.8  2248155136 error: exception 8.55 3.31 341123072 error: exception 6.07 2.58 234868736
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown: overapproxcex 5.97 2.26 255770624 unknown: overapproxcex 6.06 2.42 258576384 error: exception 4.98 1.89 226291712 error: exception 4.96 2.01 218750976
memsafety/test-0232_false-valid-memtrack.i unknown: overapproxcex 21.2  8.51 478945280 unknown: overapproxcex 19.2  7.45 489369600 error: exception 6.37 2.41 271810560 error: exception 4.68 1.94 224882688
memsafety/test-0234_false-valid-memtrack.i timeout (error (143)) 121    111    477872128 unknown 7.85 2.95 294334464 unknown 7.58 2.89 295526400 error: exception 5.86 2.24 257630208
memsafety/test-0235_false-valid-memtrack.i timeout (error (143)) 123    110    510238720 unknown 8.96 3.33 311828480 unknown 7.68 2.83 309538816 error: exception 6.20 2.41 260911104
memsafety/960521-1_true-valid-memsafety.i timeout (error (143)) 126    113    705523712 timeout (error (143)) 121    84.5  1785700352 error: exception 6.82 2.53 262991872 error: exception 4.77 1.95 217157632
memsafety/lockfree-3.0_true-valid-memsafety.i timeout (error (143)) 120    68.8  2627391488 timeout (error (143)) 121    53.5  3205611520 error: exception 88.1  45.1  1913303040 error: exception 4.77 1.96 223637504
memsafety/test-0019_true-valid-memsafety_true-termination.i true 12.3  5.06 410898432 true 12.3  5.22 398024704 error: exception 5.27 2.12 226701312 error: exception 4.74 1.86 223703040
memsafety/test-0102_true-valid-memsafety.i timeout (error (143)) 121    80.9  1034436608 timeout (error (143)) 120    71.5  2263949312 error: exception 9.08 3.38 344498176 error: exception 5.49 2.28 233873408
memsafety/test-0134_true-valid-memsafety.i timeout (error (143)) 121    84.3  945872896 timeout (error (143)) 121    71.2  1311506432 error: exception 8.54 3.16 311222272 error: exception 5.99 2.26 248197120
memsafety/test-0158_true-valid-memsafety_true-termination.i true 7.25 2.73 297791488 true 7.85 3.07 298389504 error: exception 4.93 1.98 211849216 error: exception 4.93 1.93 223973376
memsafety/test-0232_true-valid-memsafety.i timeout (error (143)) 122    75.0  943022080 timeout (error (143)) 120    77.9  1168912384 error: exception 6.78 2.59 262561792 error: exception 5.16 2.08 230903808
memsafety/test-0234_true-valid-memsafety.i timeout (error (143)) 122    112    458149888 unknown 7.97 2.98 292532224 unknown 8.15 3.09 301424640 error: exception 6.04 2.33 255184896
memsafety/test-0235_true-valid-memsafety.i timeout (error (143)) 122    112    487481344 unknown 8.29 3.07 314499072 unknown 8.32 3.07 304857088 error: exception 6.26 2.36 262234112
memsafety/test-0236_true-valid-memsafety.i timeout (error (143)) 122    111    652816384 unknown 7.86 2.92 302735360 unknown 8.01 2.94 303341568 error: exception 6.13 2.38 261742592
memsafety/test-0237_true-valid-memsafety.i timeout (error (143)) 124    110    510668800 unknown 8.02 2.98 304041984 unknown 8.23 3.04 306061312 error: exception 6.25 2.38 259846144
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 121    91.9  1008340992 timeout (error (143)) 120    71.5  1235292160 error: exception 7.73 2.85 275828736 error: exception 5.54 2.13 230961152
memsafety/test-0513_true-valid-memsafety.i timeout (error (143)) 121    84.0  792281088 timeout (error (143)) 121    76.8  1196433408 error: exception 10.7  3.87 345202688 error: exception 5.62 2.10 239464448
memsafety/test-0521_true-valid-memsafety.i timeout (error (143)) 121    90.7  931753984 timeout (error (143)) 120    82.1  1145147392 error: exception 13.2  4.81 369086464 error: exception 6.32 2.49 269488128
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i timeout (error (143)) 122    104    793624576 true 20.2  8.70 592814080 error: exception 6.37 2.46 262479872 error: exception 4.68 1.94 217186304
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 121    83.3  866594816 timeout (error (143)) 121    80.8  1296633856 error: exception 9.40 3.74 329875456 error: exception 5.00 1.97 219856896
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 124    108    548069376 timeout (error (143)) 121    72.9  1009479680 error: exception 9.47 3.55 342331392 error: exception 5.43 2.21 235556864
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 121    102    610021376 timeout (error (143)) 121    73.9  1102802944 error: exception 9.93 3.66 331644928 error: exception 5.65 2.13 243183616
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 120    96.6  610467840 timeout (error (143)) 120    76.4  1092575232 error: exception 8.18 3.13 298213376 error: exception 5.98 2.32 253878272
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 122    95.0  777388032 timeout (error (143)) 121    78.4  1282387968 error: exception 10.5  4.01 341278720 error: exception 5.82 2.26 247676928
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 121    94.2  662720512 timeout (error (143)) 120    76.1  1274830848 error: exception 9.89 3.91 339492864 error: exception 5.33 2.15 242364416
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (error: exception) 122    93.7  2411671552 timeout 122    93.6  6000001024 error: exception 10.7  3.93 352006144 error: exception 6.42 2.43 288907264
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 121    65.9  2091622400 timeout (error (143)) 121    59.0  2228076544 error: exception 8.00 2.96 295067648 error: exception 6.20 2.36 254644224
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 121    65.2  1313914880 timeout (error (143)) 121    70.3  1660760064 error: exception 8.01 3.05 291999744 error: exception 5.84 2.31 253612032
memsafety-ext2/length_test03_false-valid-memtrack.i timeout (error (143)) 121    94.2  1849552896 timeout (error (143)) 120    88.2  1237344256 error: exception 8.81 3.40 332988416 error: exception 5.64 2.15 234274816
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 122    74.6  958533632 timeout (error: exception) 120    73.9  1197367296 error: exception 7.38 2.71 277377024 error: exception 5.68 2.12 240754688
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 121    66.0  1904553984 timeout (error (143)) 120    65.9  2024292352 error: exception 7.93 2.96 299716608 error: exception 6.00 2.28 262021120
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 122    71.2  1285464064 timeout (error (143)) 121    71.2  1367920640 error: exception 8.16 3.00 304869376 error: exception 5.68 2.24 252739584
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 122    89.1  1116958720 timeout (error (143)) 121    88.5  1140449280 error: exception 10.1  4.16 345497600 error: exception 5.49 2.13 237371392
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i error: exception 102    63.5  988618752 timeout (error (143)) 122    75.2  1194037248 error: exception 7.54 3.00 268087296 error: exception 5.69 2.26 234295296
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (error (143)) 130    92.3  4137877504 error: exception 115    71.5  5023805440 error: exception 10.4  4.03 341454848 error: exception 6.62 2.54 296423424
list-ext-properties/960521-1_1_false-valid-deref.i false(valid-deref) 10.8  4.00 348319744 false(valid-deref) 9.52 3.62 338255872 error: exception 6.62 2.52 258506752 error: exception 4.85 1.89 218480640
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 120    84.2  1022312448 timeout (error (143)) 121    75.5  1131470848 error: exception 12.3  4.73 389935104 error: exception 5.28 2.15 234782720
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i false(valid-deref) 9.16 3.39 339988480 false(valid-deref) 8.83 3.27 330174464 error: exception 7.58 2.87 266080256 error: exception 5.09 2.04 228274176
list-ext-properties/960521-1_1_false-valid-free.i false(valid-free) 15.1  6.78 403267584 false(valid-free) 11.6  4.35 365334528 error: exception 6.54 2.54 261611520 error: exception 4.93 1.96 220897280
list-ext-properties/test-0158_1_false-valid-free.i false(valid-free) 7.92 2.90 287870976 false(valid-free) 7.81 2.90 282562560 error: exception 5.20 2.08 224722944 error: exception 5.04 2.03 220774400
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 22.8  10.9  499961856 unknown: overapproxcex 21.7  9.69 553725952 error: exception 5.32 2.09 222928896 error: exception 5.34 2.10 223793152
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 6.46 2.57 259637248 unknown: overapproxcex 5.93 2.30 251731968 error: exception 5.08 2.00 225878016 error: exception 5.06 1.97 225730560
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 21.1  8.38 464322560 unknown: overapproxcex 17.2  6.82 461094912 error: exception 6.99 2.68 265736192 error: exception 5.32 2.16 232185856
list-ext-properties/960521-1_1_true-valid-memsafety.i timeout (error (143)) 120    89.2  939991040 timeout (error (143)) 121    78.6  1231900672 error: exception 6.83 2.63 255078400 error: exception 4.98 1.97 218742784
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 121    83.2  773926912 timeout (error (143)) 122    76.7  1169629184 error: exception 10.3  3.74 349138944 error: exception 5.45 2.13 229515264
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 121    84.9  785260544 timeout (error (143)) 121    74.4  1184604160 error: exception 7.73 2.98 271933440 error: exception 5.94 2.54 231837696
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 121    91.5  737804288 timeout (error (143)) 120    78.8  1077829632 error: exception 11.1  4.39 377270272 error: exception 5.39 2.27 218427392
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i true 24.3  12.0  542490624 true 23.6  11.5  571191296 error: exception 5.36 2.23 226623488 error: exception 5.27 2.15 220020736
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i true 8.00 3.03 304398336 true 7.98 3.16 311087104 error: exception 5.12 2.02 219324416 error: exception 5.09 2.01 222801920
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i error: exception 67.6  40.2  815874048 timeout (error (143)) 121    77.4  1297375232 error: exception 6.59 2.54 272838656 error: exception 5.23 2.07 232390656
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout (error (143)) 122    89.8  1097973760 unknown 18.1  6.76 440369152 error: exception 8.15 2.97 288665600 error: exception 5.57 2.19 227827712
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 121    80.3  937103360 timeout (error (143)) 121    72.2  1370185728 error: exception 11.9  4.52 372813824 error: exception 5.73 2.19 241315840
memory-alloca/c.03-alloca_true-valid-memsafety.i true 10.5  4.07 366641152 true 10.8  4.14 374546432 error: exception 5.21 2.06 226349056 error: exception 4.76 2.00 222175232
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c false(valid-deref) 6.59 2.53 254124032 false(valid-deref) 6.83 2.55 256897024 false(valid-deref) 6.70 2.57 255238144 error: exception 4.82 1.93 216932352
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c false(valid-deref) 7.66 2.93 284807168 false(valid-deref) 7.61 2.84 289091584 error: exception 5.81 2.29 251568128 error: exception 4.78 1.94 221749248
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c false(valid-deref) 5.54 2.23 248926208 false(valid-deref) 5.68 2.24 254910464 false(valid-deref) 5.53 2.24 256110592 error: exception 4.75 1.92 219279360
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c false(valid-deref) 5.69 2.23 261255168 false(valid-deref) 5.56 2.24 259252224 false(valid-deref) 5.69 2.25 251002880 error: exception 4.99 1.94 216784896
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c timeout (error (143)) 121    74.7  2240622592 timeout (error (143)) 120    77.2  2271649792 timeout (error (143)) 121    67.8  2259554304 error: exception 4.69 1.94 222736384
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c timeout (error (143)) 121    78.6  2242064384 timeout (error: exception) 121    80.9  2326450176 timeout (error: exception) 121    65.0  2366423040 error: exception 4.68 1.92 215126016
ldv-memsafety/memset2_false-valid-deref-write.c false(valid-deref) 5.53 2.15 253538304 false(valid-deref) 5.33 2.14 243572736 false(valid-deref) 5.08 2.23 251191296 error: exception 4.68 1.86 223559680
ldv-memsafety/memset3_false-valid-deref-write.c false(valid-deref) 4.97 2.08 261636096 false(valid-deref) 5.27 2.09 260071424 false(valid-deref) 5.27 2.15 259067904 error: exception 4.75 1.90 222011392
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c false(valid-deref) 5.17 2.10 257597440 false(valid-deref) 5.46 2.22 253628416 false(valid-deref) 5.25 2.04 257200128 error: exception 4.37 1.81 223604736
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c false(valid-deref) 5.21 2.30 260468736 false(valid-deref) 5.31 2.14 252190720 false(valid-deref) 5.27 2.21 258342912 error: exception 4.88 1.88 221835264
ldv-memsafety/memsetNonZero_false-valid-deref-write.c false(valid-deref) 5.32 2.23 258265088 false(valid-deref) 5.35 2.19 250286080 false(valid-deref) 5.22 2.06 253349888 error: exception 4.58 1.91 225288192
ldv-memsafety/memset_false-valid-deref-write.c false(valid-deref) 5.35 2.12 254353408 false(valid-deref) 5.27 2.04 253022208 false(valid-deref) 5.23 2.20 254304256 error: exception 4.63 1.80 222289920
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c timeout (error (143)) 126    87.8  2282897408 timeout (error: exception) 121    80.8  2328363008 error: exception 7.21 2.75 285437952 error: exception 4.81 1.92 219361280
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c true 9.40 3.47 349818880 timeout (error (143)) 123    87.4  2349330432 true 9.68 3.52 351383552 error: exception 4.69 1.89 218206208
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c true 11.4  4.28 362037248 timeout (error: exception) 121    77.6  2321428480 true 11.6  4.40 351305728 error: exception 4.59 1.85 221724672
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c true 10.5  3.83 340512768 timeout (error: exception) 121    83.7  2372440064 true 9.24 3.61 333594624 error: exception 4.73 1.90 221278208
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c true 12.3  4.75 376020992 timeout (error (143)) 120    77.2  2262097920 true 12.8  5.06 353738752 error: exception 4.56 1.89 219041792
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c true 10.6  4.05 323784704 timeout (error: exception) 120    79.0  2334879744 true 11.3  4.23 346660864 error: exception 4.80 1.95 221347840
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c true 7.52 2.94 267534336 true 28.6  13.8  622809088 true 6.96 2.80 265932800 error: exception 4.55 1.82 226967552
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c true 7.59 2.86 286863360 true 89.0  58.5  1131868160 true 6.84 2.80 282697728 error: exception 4.81 1.85 214077440
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c true 7.52 2.82 267972608 true 27.9  13.1  630059008 true 6.88 2.68 262782976 error: exception 4.74 1.91 226611200
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c true 7.07 2.75 273448960 true 89.2  59.2  1128587264 true 7.12 2.74 268636160 error: exception 4.65 1.86 211378176
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c true 7.03 2.83 262447104 true 89.9  59.2  1254133760 true 7.00 2.68 265240576 error: exception 4.54 1.82 216412160
ldv-memsafety/memset_true-valid-memsafety_true-termination.c true 6.97 2.70 263720960 true 91.4  61.4  997171200 true 6.92 2.62 267747328 error: exception 4.50 1.81 212344832
ldv-memsafety/memleaks_test22_3_false-valid-deref.i timeout (error (143)) 124    102    2010664960 false(valid-deref) 47.6  22.7  1198596096 error: exception 31.2  13.0  618229760 error: exception 5.50 2.13 238731264
ldv-memsafety/memleaks_test22_5_false-valid-deref.i timeout (error (143)) 124    97.9  744034304 false(valid-deref) 50.4  24.1  1061761024 error: exception 31.5  13.4  581009408 error: exception 5.66 2.22 233431040
ldv-memsafety/memleaks_test12_false-valid-free.i timeout (error (143)) 121    105    628948992 timeout (error (143)) 121    71.6  1685000192 error: exception 9.11 3.55 315248640 error: exception 6.87 2.60 303415296
ldv-memsafety/memleaks_test17_2_false-valid-free.i timeout (error: exception) 120    106    516165632 false(valid-free) 76.2  40.0  1031073792 error: exception 25.7  10.8  515153920 error: exception 5.20 2.05 226242560
ldv-memsafety/memleaks_test19_false-valid-free.i timeout (error (143)) 122    93.5  743358464 false(valid-free) 40.3  17.4  693096448 error: exception 7.92 2.97 290308096 error: exception 5.08 2.10 225337344
ldv-memsafety/memleaks_test1_false-valid-free.i false(valid-free) 6.31 2.47 258043904 false(valid-free) 6.46 2.48 258215936 false(valid-free) 6.70 2.53 259620864 error: exception 4.69 1.88 210173952
ldv-memsafety/memleaks_test3_false-valid-free.i false(valid-free) 4.88 2.02 214982656 false(valid-free) 5.05 2.01 214548480 false(valid-free) 4.85 1.97 215023616 error: exception 4.54 1.87 210120704
ldv-memsafety/memleaks_test6_2_false-valid-free.i false(valid-free) 13.6  5.24 417480704 false(valid-free) 14.1  5.31 416509952 error: exception 9.35 3.35 322646016 error: exception 4.95 1.96 219004928
ldv-memsafety/memleaks_test8_2_false-valid-free.i false(valid-free) 7.14 2.86 269336576 false(valid-free) 7.31 2.81 261169152 false(valid-free) 7.20 2.68 267952128 error: exception 4.84 1.91 224759808
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i timeout (error (143)) 121    103    676765696 unknown: overapproxcex 60.7  30.0  794304512 error: exception 10.1  3.82 335794176 error: exception 5.31 2.06 225452032
ldv-memsafety/memleaks_test15_false-valid-memtrack.i timeout (error (143)) 122    95.4  749527040 timeout (error (143)) 121    72.7  1436729344 error: exception 7.46 2.81 279580672 error: exception 5.92 2.41 247443456
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i timeout (error (143)) 121    103    847511552 timeout (error (143)) 120    72.0  1487609856 error: exception 70.1  55.6  526749696 error: exception 5.32 2.31 223248384
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i timeout (error (143)) 120    104    604348416 timeout (error (143)) 121    72.8  2242052096 error: exception 67.6  54.8  486535168 error: exception 5.67 2.47 221945856
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 53.0  45.9  377552896 unknown: overapproxcex 10.4  3.86 336568320 error: exception 7.72 2.88 288239616 error: exception 5.23 2.24 219467776
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i timeout (error (143)) 125    108    690757632 timeout (error: exception) 121    71.9  2315042816 error: exception 7.29 2.95 273735680 error: exception 5.09 2.11 224346112
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown: overapproxcex 66.2  53.1  487862272 unknown: overapproxcex 17.3  6.68 463417344 error: exception 9.50 3.56 347459584 error: exception 5.13 2.08 221024256
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown: overapproxcex 5.40 2.16 259637248 unknown: overapproxcex 5.80 2.25 260005888 unknown: overapproxcex 5.77 2.32 258285568 error: exception 4.95 1.99 212373504
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 54.8  31.6  665092096 unknown: overapproxcex 38.2  14.9  676200448 unknown: overapproxcex 41.8  18.3  706027520 error: exception 5.78 2.19 242192384
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 48.3  33.1  514375680 unknown: overapproxcex 17.7  6.57 444628992 unknown: overapproxcex 21.6  8.14 513658880 error: exception 5.26 2.09 224538624
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown: overapproxcex 82.3  58.3  683474944 unknown: overapproxcex 38.4  15.8  769224704 unknown: overapproxcex 40.6  17.9  788672512 error: exception 5.65 2.23 239099904
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown: overapproxcex 7.31 3.06 279347200 unknown: overapproxcex 7.63 3.32 268066816 unknown: overapproxcex 7.43 2.80 277491712 error: exception 4.80 1.87 219471872
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 5.58 2.16 250966016 unknown: overapproxcex 5.85 2.39 253591552 unknown: overapproxcex 5.62 2.36 263852032 error: exception 5.02 2.02 228904960
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 6.62 2.50 263901184 unknown: overapproxcex 7.23 2.75 260849664 unknown: overapproxcex 7.44 3.15 267628544 error: exception 4.54 1.86 226377728
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 12.4  4.50 362012672 unknown: overapproxcex 12.2  4.56 370196480 error: exception 8.88 3.30 322297856 error: exception 4.91 1.97 224387072
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown: overapproxcex 11.8  4.29 353763328 unknown: overapproxcex 12.0  4.45 365633536 error: exception 8.31 3.21 299757568 error: exception 5.09 2.04 221102080
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown: overapproxcex 10.7  3.83 341495808 unknown: overapproxcex 11.0  3.99 339603456 error: exception 6.85 2.60 265342976 error: exception 5.07 1.97 226992128
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 5.67 2.22 250826752 unknown: overapproxcex 5.84 2.35 250380288 unknown: overapproxcex 6.07 2.50 267108352 error: exception 4.92 1.89 227926016
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown: overapproxcex 6.93 2.59 267272192 unknown: overapproxcex 7.09 2.75 266727424 unknown: overapproxcex 7.51 2.79 272285696 error: exception 5.17 2.05 223592448
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown: overapproxcex 5.64 2.19 257445888 unknown: overapproxcex 5.95 2.30 256540672 unknown: overapproxcex 6.05 2.29 246996992 error: exception 4.96 1.94 207884288
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i timeout (error (143)) 122    101    572887040 true 114    67.7  1554436096 error: exception 10.5  4.12 335179776 error: exception 5.09 2.03 231698432
ldv-memsafety/memleaks_test12_true-valid-memsafety.i timeout (error (143)) 123    107    622395392 timeout (error (143)) 120    72.3  1594511360 error: exception 9.77 3.82 319873024 error: exception 6.95 2.54 310374400
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i timeout (error (143)) 123    95.0  715350016 timeout (error (143)) 121    67.8  1279148032 error: exception 10.4  3.99 344391680 error: exception 5.79 2.25 252989440
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i timeout (error (143)) 121    105    555393024 timeout (error: exception) 120    70.2  1517735936 error: exception 70.5  56.2  548913152 error: exception 5.19 2.06 227676160
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i timeout (error (143)) 122    111    451067904 timeout (error (143)) 121    64.4  1157439488 error: exception 13.3  5.54 365969408 error: exception 5.31 2.12 222195712
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i timeout (error (143)) 122    104    665640960 timeout (error: exception) 121    72.5  2288857088 error: exception 7.88 2.98 323878912 error: exception 4.90 1.98 227094528
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i error: exception 85.0  57.3  719773696 true 51.3  21.8  827584512 error: exception 7.44 2.79 292618240 error: exception 5.39 2.16 229367808
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i true 7.12 2.77 287662080 true 7.64 2.99 293449728 error: exception 6.48 2.49 267366400 error: exception 4.85 1.84 217194496
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i timeout (error (143)) 121    95.6  840466432 true 58.6  28.9  1214222336 error: exception 28.2  11.5  578539520 error: exception 5.37 2.20 237105152
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i timeout (error (143)) 125    94.9  2107359232 true 84.5  45.5  1761144832 error: exception 43.5  19.7  788193280 error: exception 5.67 2.10 240644096
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i timeout (error (143)) 120    87.4  1257947136 true 92.9  50.3  1881722880 error: exception 48.4  23.7  859398144 error: exception 5.57 2.20 240656384
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i true 8.13 2.98 321118208 true 8.20 3.14 331038720 error: exception 7.72 2.97 297316352 error: exception 4.93 1.95 227618816
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i true 12.3  4.54 368017408 true 11.4  4.30 367079424 error: exception 9.11 3.34 329785344 error: exception 5.10 1.99 226484224
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i true 9.37 3.51 334725120 true 9.48 3.46 331911168 error: exception 8.69 3.21 330010624 error: exception 4.91 1.99 224178176
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i true 15.7  6.16 417017856 true 16.4  6.21 417636352 error: exception 8.50 3.08 320958464 error: exception 5.09 2.02 223920128
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i true 14.9  5.36 400752640 true 14.7  5.78 430743552 error: exception 8.44 3.41 286912512 error: exception 5.02 1.98 219095040
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i true 9.04 3.22 336736256 true 8.10 3.03 339378176 error: exception 8.42 3.17 316342272 error: exception 4.64 1.88 214249472
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i true 8.96 3.07 342667264 true 8.43 3.15 339705856 error: exception 8.63 3.15 317775872 error: exception 5.14 1.97 223649792
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    91.6  813441024 timeout (error (143)) 122    80.7  1111367680 error: exception 8.91 3.37 320348160 error: exception 6.25 2.45 268578816
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 122    88.9  990605312 timeout (error (143)) 120    73.4  1190531072 error: exception 13.1  5.09 384159744 error: exception 7.46 3.05 286859264
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 122    104    614383616 unknown: overapproxcex 72.0  37.3  881352704 error: exception 8.02 3.20 319602688 error: exception 5.51 2.13 233930752
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown: overapproxcex 25.2  10.3  533532672 unknown: overapproxcex 21.7  9.35 515751936 error: exception 8.54 3.18 320962560 error: exception 5.81 2.36 249667584
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 45.7  21.8  673124352 unknown: overapproxcex 30.3  14.0  586989568 error: exception 7.94 3.03 279506944 error: exception 5.90 2.29 240459776
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 38.6  19.6  606388224 unknown: overapproxcex 26.8  11.8  570105856 error: exception 7.15 2.71 266235904 error: exception 5.40 2.16 232599552
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 123    85.9  829227008 timeout (error (143)) 121    79.5  1110134784 error: exception 7.10 2.77 258084864 error: exception 5.27 2.03 223707136
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 7.03 2.64 253640704 unknown: overapproxcex 7.41 2.78 260198400 unknown: overapproxcex 7.46 2.73 269971456 error: exception 5.28 2.07 223436800
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 9.95 3.85 347869184 unknown: overapproxcex 10.6  4.10 345280512 unknown: overapproxcex 10.4  4.19 345800704 error: exception 5.38 2.18 226197504
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 7.57 2.89 307093504 unknown: overapproxcex 7.79 2.82 318590976 unknown: overapproxcex 7.95 2.90 307445760 error: exception 4.96 1.99 222027776
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 9.88 3.73 352489472 unknown: overapproxcex 9.37 3.54 337211392 unknown: overapproxcex 10.1  3.85 338571264 error: exception 5.46 2.06 222584832
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown: overapproxcex 7.26 2.59 264056832 unknown: overapproxcex 7.62 2.88 271003648 unknown: overapproxcex 7.60 2.95 264499200 error: exception 5.44 2.18 229097472
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    84.4  894332928 timeout (error (143)) 120    78.2  1082253312 error: exception 9.31 3.55 341532672 error: exception 6.06 2.35 252620800
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    96.1  620044288 timeout (error (143)) 121    75.5  1305563136 error: exception 9.38 3.56 337326080 error: exception 5.36 2.10 233164800
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    84.6  834478080 timeout (error (143)) 120    73.7  1073594368 error: exception 9.35 3.53 348454912 error: exception 5.82 2.28 242081792
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    79.4  936796160 timeout (error (143)) 120    75.5  1283084288 error: exception 7.84 2.86 295956480 error: exception 5.97 2.38 248635392
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    77.9  895451136 timeout (error (143)) 121    78.2  1166430208 error: exception 7.90 2.89 285458432 error: exception 5.85 2.32 239292416
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    81.9  1062338560 timeout (error (143)) 121    78.5  1152827392 error: exception 8.92 3.29 333852672 error: exception 6.17 2.35 254050304
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    82.7  868110336 timeout (error (143)) 121    76.9  1140146176 error: exception 8.21 3.26 287297536 error: exception 5.63 2.23 241655808
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 122    92.5  807456768 timeout (error (143)) 121    78.9  1122762752 error: exception 8.00 3.13 289755136 error: exception 5.95 2.36 250167296
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    84.8  1164382208 timeout (error (143)) 121    78.7  1163493376 error: exception 10.9  4.19 339591168 error: exception 5.55 2.19 234385408
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 120    92.5  764018688 timeout (error (143)) 120    73.9  1097498624 error: exception 9.60 3.66 347504640 error: exception 5.77 2.24 245403648
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 122    90.4  836980736 timeout (error (143)) 121    77.8  997502976 error: exception 11.5  4.24 365600768 error: exception 6.17 2.33 251060224
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    77.7  851128320 timeout (error (143)) 120    75.1  1148424192 error: exception 9.28 3.53 333840384 error: exception 5.34 2.04 230576128
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 122    82.6  858640384 timeout (error (143)) 121    73.6  1209733120 error: exception 9.26 3.49 339988480 error: exception 5.78 2.29 238481408
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    77.7  950489088 timeout (error (143)) 121    77.1  1334624256 error: exception 7.71 2.85 286187520 error: exception 5.64 2.23 243560448
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    83.5  884625408 timeout (error (143)) 122    79.0  1193988096 error: exception 7.38 2.75 276942848 error: exception 5.94 2.27 235294720
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    83.8  867819520 timeout (error (143)) 121    78.2  1193910272 error: exception 8.59 3.15 300007424 error: exception 5.58 2.13 234352640
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 121    83.9  846327808 timeout (error (143)) 121    76.9  1127669760 error: exception 7.53 2.78 283209728 error: exception 5.66 2.21 240005120
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 120    81.8  912859136 timeout (error (143)) 121    81.9  1170718720 error: exception 7.56 2.85 291598336 error: exception 5.95 2.36 241897472
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 122    83.7  799924224 timeout (error (143)) 121    77.9  1145933824 error: exception 10.2  3.85 338415616 error: exception 5.46 2.14 229261312
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 66.9  39.3  787423232 false(valid-deref) 40.9  19.3  687054848 error: exception 7.77 2.92 275963904 error: exception 5.71 2.21 236916736
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 30.1  12.1  533192704 false(valid-deref) 23.3  9.68 535126016 error: exception 9.18 3.42 335679488 error: exception 5.54 2.23 255705088
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 59.1  35.8  794787840 false(valid-deref) 30.3  13.6  596434944 error: exception 7.53 2.83 282263552 error: exception 5.66 2.21 237760512
loop-acceleration/array3_false-valid-deref.i timeout (error (143)) 120    80.8  1817403392 timeout (error (143)) 121    86.9  1838125056 timeout (error (143)) 121    70.0  2224549888 error: exception 4.48 1.77 208756736
../../../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 241 14700 10400 153347928064 241 13500 8060 210390032384 241 3120 1480 84981583872 241 1260 500 55385669632
    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