Tool ULTIMATE Automizer 0.1.23-a5595af3
Limits timelimit: 300 s, memlimit: 6000 MB, CPU core limit: 4
Host monteverdi
OS Linux-4.12.12-gentoo-x86_64-Intel-R-_Core-TM-_i7-2600_CPU_@_3.40GHz-with-gentoo-2.4.1
System CPU: Intel Core i7-2600 CPU @ 3.40GHz, cores: 8, frequency: 3800 MHz, Turbo Boost: enabled; RAM: 25257 MB
Date of execution 2018-01-31 19:08:05 CET
Run set AbsInt AbsInt_imprecise
Options --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ.epf --generate-csv --csv-dir ../../../releaseScripts/default/UAutomizer-linux/csv -tc ../../../trunk/examples/toolchains/AbstractInterpretationC.xml -s ../../../trunk/examples/settings/ai/eq-bench/mempurity-32bit-Automizer_Camel+AI_EQ_imprecise.epf
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
array-memsafety/add_last_unsafe_false-valid-deref.i unknown 33.3  15.8  1126162432 unknown 8.55 3.10 256200704
array-memsafety/bubblesort_unsafe_false-valid-deref.i unknown 12.7  4.64 366112768 unknown 8.23 3.10 249667584
array-memsafety/count_down_unsafe_false-valid-deref.i unknown 49.0  27.2  2047229952 unknown 8.84 3.19 270094336
array-memsafety/cstrcat_unsafe_false-valid-deref.i unknown 20.9  8.07 684691456 unknown 7.74 3.15 246616064
array-memsafety/cstrchr_unsafe_false-valid-deref.i unknown 11.5  4.08 332300288 unknown 7.22 2.81 212393984
array-memsafety/cstrlen_unsafe_false-valid-deref.i unknown 10.9  3.94 332193792 unknown 6.97 2.78 209821696
array-memsafety/cstrncat_unsafe_false-valid-deref.i unknown 222    201    2203615232 unknown 8.14 3.03 249217024
array-memsafety/cstrncpy_unsafe_false-valid-deref.i unknown 20.2  7.53 609796096 unknown 7.94 3.03 250904576
array-memsafety/cstrpbrk_unsafe_false-valid-deref.i unknown 11.5  4.11 337330176 unknown 7.28 2.82 216064000
array-memsafety/diff_usafe_false-valid-deref.i unknown 10.5  3.65 317353984 unknown 7.68 3.06 249081856
array-memsafety/knapsack_alloca_unsafe_false-valid-deref.i unknown 68.6  39.9  2169544704 unknown 14.1  4.88 435396608
array-memsafety/lis_unsafe_false-valid-deref.i unknown 110    86.7  2217811968 unknown 10.6  3.80 308105216
array-memsafety/mult_array_unsafe_false-valid-deref.i error: exception 63.7  42.4  2171990016 unknown 9.93 3.58 268812288
array-memsafety/reverse_array_alloca_unsafe_false-valid-deref.i timeout (error (143)) 302    276    2345512960 unknown 9.53 3.51 273747968
array-memsafety/reverse_array_unsafe_false-valid-deref.i timeout (error (143)) 302    277    2338885632 unknown 9.50 3.40 278773760
array-memsafety/selectionsort_unsafe_false-valid-deref.i unknown 13.7  5.18 361299968 unknown 8.13 2.94 251064320
array-memsafety/stroeder1_unsafe_false-valid-deref.i unknown 6.75 2.55 208289792 unknown 6.66 2.54 209244160
array-memsafety/add_last-alloca_true-valid-memsafety_true-termination.i unknown 25.4  11.2  976252928 unknown 8.07 3.03 255401984
array-memsafety/array01-alloca_true-valid-memsafety_true-termination.i unknown 14.6  5.08 361836544 unknown 8.29 3.05 252776448
array-memsafety/array02-alloca_true-valid-memsafety_true-termination.i unknown 25.4  8.66 670363648 unknown 10.0  3.64 267550720
array-memsafety/array03-alloca_true-valid-memsafety_true-termination.i unknown 35.7  15.1  1289420800 unknown 9.37 3.33 275333120
array-memsafety/bubblesort-alloca_true-valid-memsafety_true-termination.i unknown 19.7  6.67 667283456 unknown 9.83 3.50 267489280
array-memsafety/count_down-alloca_true-valid-memsafety_true-termination.i unknown 42.1  21.1  1934098432 unknown 9.12 3.29 276176896
array-memsafety/cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 140    96.3  2198200320 unknown 14.3  4.97 350867456
array-memsafety/cstrchr-alloca_true-valid-memsafety_true-termination.i unknown 26.4  9.43 640024576 unknown 10.2  3.64 268107776
array-memsafety/cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 53.9  27.0  1804333056 unknown 12.1  4.22 351784960
array-memsafety/cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 57.7  24.8  1725284352 unknown 10.2  3.68 280629248
array-memsafety/cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 57.2  28.1  1657716736 unknown 14.1  4.92 407678976
array-memsafety/cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 16.7  5.83 398233600 unknown 8.29 3.09 253800448
array-memsafety/cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    258    2245775360 unknown 14.5  5.03 371863552
array-memsafety/cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 56.8  26.3  1622163456 unknown 12.5  4.44 352677888
array-memsafety/cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 105    75.1  2191876096 unknown 12.0  4.19 348626944
array-memsafety/cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 55.8  27.6  1710821376 unknown 14.5  5.03 388632576
array-memsafety/cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 64.6  29.6  1680666624 unknown 14.2  4.92 357294080
array-memsafety/diff-alloca_true-valid-memsafety_true-termination.i unknown 34.3  14.2  1138929664 unknown 11.5  4.18 319356928
array-memsafety/insertionsort-alloca_true-valid-memsafety_true-termination.i unknown 20.8  7.16 579821568 unknown 9.77 3.52 266317824
array-memsafety/java_BubbleSort-alloca_true-valid-memsafety_true-termination.i unknown 23.9  8.08 668356608 unknown 9.35 3.33 269217792
array-memsafety/lis-alloca_true-valid-memsafety_true-termination.i unknown 225    196    2313175040 unknown 12.8  4.52 359059456
array-memsafety/mult_array-alloca_true-valid-memsafety_true-termination.i unknown 149    124    2229067776 unknown 9.84 3.47 268521472
array-memsafety/openbsd_cbzero-alloca_true-valid-memsafety_true-termination.i unknown 33.0  13.1  995717120 unknown 9.08 3.29 252760064
array-memsafety/openbsd_cmemchr-alloca_true-valid-memsafety_true-termination.i unknown 18.1  6.27 418951168 unknown 9.36 3.27 263188480
array-memsafety/openbsd_cmemrchr-alloca_true-valid-memsafety_true-termination.i unknown 18.0  6.23 434470912 unknown 9.12 3.31 260677632
array-memsafety/openbsd_cmemset-alloca_true-valid-memsafety_true-termination.i unknown 27.3  9.37 678780928 unknown 9.17 3.24 268042240
array-memsafety/openbsd_cstpcpy-alloca_true-valid-memsafety_true-termination.i unknown 59.4  32.2  1918386176 unknown 10.1  3.76 280940544
array-memsafety/openbsd_cstpncpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 304    265    2335772672 unknown 11.6  4.04 362418176
array-memsafety/openbsd_cstrcat-alloca_true-valid-memsafety_true-termination.i unknown 158    121    2208894976 unknown 12.9  4.45 367190016
array-memsafety/openbsd_cstrcmp-alloca_true-valid-memsafety_true-termination.i unknown 48.8  21.5  1461981184 unknown 10.6  3.82 297410560
array-memsafety/openbsd_cstrcpy-alloca_true-valid-memsafety_true-termination.i unknown 54.6  29.4  1596395520 unknown 10.1  3.64 281276416
array-memsafety/openbsd_cstrcspn-alloca_true-valid-memsafety_true-termination.i unknown 54.6  21.5  1436094464 unknown 12.5  4.40 352366592
array-memsafety/openbsd_cstrlcpy-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 302    265    2226266112 unknown 13.9  4.83 350343168
array-memsafety/openbsd_cstrlen-alloca_true-valid-memsafety_true-termination.i unknown 16.5  5.77 418201600 unknown 8.65 3.10 254132224
array-memsafety/openbsd_cstrncat-alloca_true-valid-memsafety_true-termination.i timeout (error (143)) 301    263    2209746944 unknown 14.6  4.99 452251648
array-memsafety/openbsd_cstrncmp-alloca_true-valid-memsafety_true-termination.i unknown 49.9  25.4  1442336768 unknown 12.2  4.28 323870720
array-memsafety/openbsd_cstrncpy-alloca_true-valid-memsafety_true-termination.i unknown 69.9  45.1  2011078656 unknown 11.3  3.97 325120000
array-memsafety/openbsd_cstrnlen-alloca_true-valid-memsafety_true-termination.i unknown 27.1  9.30 716894208 unknown 9.93 3.49 267612160
array-memsafety/openbsd_cstrpbrk-alloca_true-valid-memsafety_true-termination.i unknown 51.1  24.9  1490325504 unknown 11.4  3.99 350109696
array-memsafety/openbsd_cstrspn-alloca_true-valid-memsafety_true-termination.i unknown 53.2  22.4  1615007744 unknown 11.6  4.06 316620800
array-memsafety/openbsd_cstrstr-alloca_true-valid-memsafety_true-termination.i unknown 90.1  49.7  2145271808 unknown 22.7  7.71 676220928
array-memsafety/rec_strlen-alloca_true-valid-memsafety_true-termination.i unknown 19.1  6.56 569102336 unknown 9.16 3.30 265089024
array-memsafety/selectionsort-alloca_true-valid-memsafety_true-termination.i unknown 23.2  8.10 650739712 unknown 10.1  3.70 264921088
array-memsafety/stroeder1-alloca_true-valid-memsafety_true-termination.i unknown 9.22 3.33 268681216 unknown 7.86 3.00 252624896
array-memsafety/stroeder2-alloca_true-valid-memsafety_true-termination.i unknown 15.4  5.33 425476096 unknown 9.06 3.13 260448256
array-memsafety/strreplace-alloca_true-valid-memsafety_true-termination.i unknown 56.8  27.1  1678032896 unknown 9.89 3.53 283312128
array-memsafety/subseq-alloca_true-valid-memsafety_true-termination.i unknown 65.3  34.8  1507577856 unknown 12.1  4.23 348680192
array-memsafety/substring-alloca_true-valid-memsafety_true-termination.i unknown 53.0  27.0  1448402944 unknown 13.5  4.59 353845248
array-examples/relax_false-valid-deref.i unknown 11.5  4.05 300408832 unknown 11.1  3.78 268296192
array-examples/sanfoundry_24_false-valid-deref.i true 7.09 2.72 211759104 true 6.77 2.62 197173248
array-examples/standard_strcpy_false-valid-deref_ground.i true 7.98 2.89 240766976 true 7.07 2.64 225288192
array-examples/standard_strcpy_original_false-valid-deref.i true 7.61 2.84 249589760 true 6.75 2.57 212021248
memsafety/960521-1_false-valid-deref.i unknown 31.0  11.5  778158080 unknown 8.37 3.08 256946176
memsafety/test-0137_false-valid-deref.i unknown 15.0  5.36 430071808 unknown 17.5  6.03 476364800
memsafety/test-0235_false-valid-deref.i unknown 11.3  4.01 318283776 unknown 215    150    3309023232
memsafety/960521-1_false-valid-free.i unknown 27.8  10.1  783745024 unknown 8.90 3.26 249950208
memsafety/test-0158_false-valid-free.i unknown 54.5  36.4  1764012032 unknown 7.84 2.96 244969472
memsafety/test-0232_false-valid-free.i unknown 52.1  31.2  1997123584 unknown 9.54 3.43 278724608
memsafety/20020406-1_false-valid-memtrack.i timeout (error (143)) 301    264    2261004288 unknown 47.4  19.9  2166702080
memsafety/20051113-1.c_false-valid-memtrack.i unknown 10.6  3.85 269533184 unknown 7.89 2.97 255062016
memsafety/lockfree-3.1_false-valid-memtrack.i unknown 87.7  64.1  2199568384 unknown 15.4  5.38 432312320
memsafety/lockfree-3.2_false-valid-memtrack.i unknown 88.6  65.6  2194706432 unknown 16.5  5.67 440930304
memsafety/lockfree-3.3_false-valid-memtrack.i unknown 80.7  55.5  2191462400 unknown 15.1  5.24 422682624
memsafety/test-0019_false-valid-memtrack_true-termination.i unknown 12.3  4.35 344592384 unknown 7.92 2.91 251461632
memsafety/test-0102_false-valid-memtrack.i timeout (error (143)) 306    274    2276691968 unknown 12.4  4.35 317317120
memsafety/test-0158_false-valid-memtrack_true-termination.i unknown 22.6  8.01 680247296 unknown 6.57 2.52 209432576
memsafety/test-0220_false-valid-memtrack.i error: exception 5.29 2.04 180092928 error: exception 5.54 2.18 179732480
memsafety/test-0232_false-valid-memtrack.i unknown 48.3  29.9  1783377920 unknown 8.37 3.06 256376832
memsafety/test-0234_false-valid-memtrack.i unknown 10.8  3.86 309534720 unknown 40.2  16.5  1598947328
memsafety/test-0235_false-valid-memtrack.i unknown 11.5  4.14 322908160 unknown 143    98.4  2877308928
memsafety/960521-1_true-valid-memsafety.i unknown 27.4  9.35 817303552 unknown 8.11 3.19 254750720
memsafety/lockfree-3.0_true-valid-memsafety.i unknown 94.3  70.5  2214207488 unknown 15.9  5.40 428904448
memsafety/test-0019_true-valid-memsafety_true-termination.i unknown 12.3  4.36 338915328 unknown 7.35 2.79 239788032
memsafety/test-0102_true-valid-memsafety.i timeout (error (143)) 307    278    2300010496 unknown 14.3  4.94 370503680
memsafety/test-0134_true-valid-memsafety.i unknown 13.8  4.83 416006144 unknown 16.5  5.66 484655104
memsafety/test-0158_true-valid-memsafety_true-termination.i unknown 24.6  9.58 827949056 unknown 6.89 2.59 214564864
memsafety/test-0214_true-valid-memsafety_false-termination.i error: exception 5.55 2.09 181981184 error: exception 5.57 2.12 180285440
memsafety/test-0217_true-valid-memsafety_false-termination.i error: exception 5.56 2.13 186806272 error: exception 5.44 2.11 181665792
memsafety/test-0218_true-valid-memsafety_false-termination.i error: exception 5.45 2.11 180072448 error: exception 5.66 2.12 181567488
memsafety/test-0219_true-valid-memsafety.i error: exception 5.32 2.06 182013952 error: exception 5.36 2.10 181878784
memsafety/test-0232_true-valid-memsafety.i unknown 56.4  33.7  1743507456 unknown 9.20 3.33 292077568
memsafety/test-0234_true-valid-memsafety.i unknown 11.1  3.93 322326528 unknown 42.2  18.7  1723863040
memsafety/test-0235_true-valid-memsafety.i unknown 11.4  4.16 315805696 unknown 151    104    2924077056
memsafety/test-0236_true-valid-memsafety.i unknown 10.4  3.74 320733184 unknown 39.7  17.5  1770795008
memsafety/test-0237_true-valid-memsafety.i unknown 11.2  3.97 314351616 unknown 37.8  16.8  1849221120
memsafety/test-0504_true-valid-memsafety.i timeout (error (143)) 306    280    2314305536 unknown 11.8  4.17 355893248
memsafety/test-0513_true-valid-memsafety.i timeout (error (143)) 305    275    2292375552 unknown 15.6  5.41 446529536
memsafety/test-0521_true-valid-memsafety.i timeout (error (143)) 306    279    2325147648 unknown 23.5  9.17 1025998848
memsafety/test-memleak_nexttime_true-valid-memsafety_true-termination.i unknown 18.0  6.49 669806592 unknown 8.55 3.09 255680512
memsafety-ext/dll_extends_pointer_true-valid-memsafety.i timeout (error (143)) 307    282    2275602432 unknown 10.5  3.77 309293056
memsafety-ext/skiplist_2lvl_true-valid-memsafety.i error: exception 5.22 2.07 183402496 error: exception 5.09 2.05 180920320
memsafety-ext/skiplist_3lvl_true-valid-memsafety.i error: exception 5.16 2.01 180789248 error: exception 5.41 2.13 179974144
memsafety-ext/tree_cnstr_true-valid-memsafety_false-termination.i timeout (error (143)) 306    277    2272739328 unknown 12.4  4.42 365068288
memsafety-ext/tree_dsw_true-valid-memsafety_false-termination.i timeout (error (143)) 306    278    2315894784 unknown 16.6  5.74 473391104
memsafety-ext/tree_of_cslls_true-valid-memsafety.i timeout (error (143)) 307    277    2238652416 unknown 17.2  5.94 590278656
memsafety-ext/tree_parent_ptr_true-valid-memsafety_false-termination.i timeout (error (143)) 307    279    2287284224 unknown 12.6  4.37 367013888
memsafety-ext/tree_stack_true-valid-memsafety_false-termination.i timeout (error (143)) 306    276    2320465920 unknown 13.9  4.91 361566208
memsafety-ext2/split_list_test05_false-valid-deref.i timeout (error (143)) 306    276    2263785472 unknown 9.67 3.52 258924544
memsafety-ext2/complex_data_creation_test01_false-valid-memtrack.i timeout (error (143)) 302    265    2347446272 unknown 28.1  10.2  893435904
memsafety-ext2/complex_data_creation_test02_false-valid-memtrack.i timeout (error (143)) 306    275    2336993280 unknown 33.1  12.0  1200136192
memsafety-ext2/length_test03_false-valid-memtrack.i timeout (error (143)) 306    273    2320039936 unknown 8.62 3.14 256192512
memsafety-ext2/optional_data_creation_test04_false-valid-memtrack.i timeout (error (143)) 306    275    2194509824 unknown 11.9  4.19 347299840
memsafety-ext2/complex_data_creation_test01_true-valid-memsafety.i timeout (error (143)) 302    269    2333540352 unknown 27.5  10.2  1049260032
memsafety-ext2/complex_data_creation_test02_true-valid-memsafety.i timeout (error (143)) 302    270    2342531072 unknown 30.9  12.1  1097576448
memsafety-ext2/length_test03_true-valid-memsafety.i timeout (error (143)) 307    272    2339913728 unknown 8.83 3.29 254492672
memsafety-ext2/optional_data_creation_test04_true-valid-memsafety.i timeout (error (143)) 306    269    2246082560 unknown 12.9  4.49 356880384
memsafety-ext2/split_list_test05_true-valid-memsafety.i timeout (error (143)) 306    277    2276536320 unknown 9.84 3.65 255209472
list-ext-properties/960521-1_1_false-valid-deref.i unknown 37.6  16.7  1090826240 unknown 9.37 3.29 269017088
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i timeout (error (143)) 301    266    2357497856 unknown 12.7  4.47 349683712
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i timeout (error (143)) 308    277    2281263104 unknown 11.8  4.21 335032320
list-ext-properties/960521-1_1_false-valid-free.i unknown 37.4  16.4  1115439104 unknown 9.54 3.38 271106048
list-ext-properties/test-0158_1_false-valid-free.i unknown 118    95.0  2202341376 unknown 7.98 2.96 256786432
list-ext-properties/test-0019_1_false-valid-memtrack_true-termination.i unknown 21.8  7.59 680710144 unknown 8.27 2.99 252178432
list-ext-properties/test-0158_1_false-valid-memtrack_true-termination.i unknown 36.3  18.7  1406115840 unknown 7.39 2.76 244969472
list-ext-properties/test-0232_1_false-valid-memtrack_true-termination.i unknown 50.5  29.7  1722007552 unknown 9.61 3.39 278003712
list-ext-properties/960521-1_1_true-valid-memsafety.i unknown 24.5  9.06 735547392 unknown 9.20 3.33 273928192
list-ext-properties/list-ext_1_true-valid-memsafety.i timeout (error (143)) 302    270    2322079744 unknown 12.6  4.40 347074560
list-ext-properties/list-ext_flag_1_true-valid-memsafety.i timeout (error (143)) 301    271    2309193728 unknown 12.5  4.44 352124928
list-ext-properties/simple-ext_1_true-valid-memsafety.i timeout (error (143)) 305    275    2267054080 unknown 10.0  3.66 266801152
list-ext-properties/test-0019_1_true-valid-memsafety_true-termination.i unknown 25.8  8.90 823148544 unknown 8.12 3.03 250773504
list-ext-properties/test-0158_1_true-valid-memsafety_true-termination.i unknown 94.2  75.1  2176491520 unknown 8.09 3.13 252653568
list-ext-properties/test-0214_1_true-valid-memsafety.i error: exception 5.73 2.22 185552896 error: exception 5.82 2.38 182738944
list-ext-properties/test-0217_1_true-valid-memsafety.i error: exception 5.59 2.12 184500224 error: exception 5.67 2.16 182620160
list-ext-properties/test-0232_1_true-valid-memsafety_true-termination.i unknown 52.6  29.2  1983549440 unknown 9.73 3.47 287387648
list-ext-properties/test-0504_1_true-valid-memsafety.i timeout (error (143)) 301    270    2331598848 unknown 12.1  4.30 358912000
list-ext-properties/test-0513_1_true-valid-memsafety.i timeout (error (143)) 305    274    2345136128 unknown 16.6  5.83 445976576
memory-alloca/c.03-alloca_true-valid-memsafety.i timeout (error (143)) 304    276    2326544384 unknown 8.43 3.14 251912192
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-read.c unknown 18.1  6.26 523280384 unknown 8.64 3.26 251744256
ldv-memsafety/ArraysOfVariableLength2_false-valid-deref-write.c unknown 17.9  6.21 543940608 unknown 9.41 3.40 281620480
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-read.c unknown 9.87 3.61 265691136 unknown 7.86 2.90 250736640
ldv-memsafety/ArraysOfVariableLength_false-valid-deref-write.c unknown 11.4  4.01 316809216 unknown 8.46 3.07 259846144
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-read.c unknown 16.5  5.65 550772736 unknown 8.88 3.31 258633728
ldv-memsafety/ArraysWithLenghtAtDeclaration_false-valid-deref-write.c unknown 17.5  6.02 547479552 unknown 8.74 3.24 256282624
ldv-memsafety/memset2_false-valid-deref-write.c unknown 6.78 2.63 218963968 unknown 6.90 2.52 212533248
ldv-memsafety/memset3_false-valid-deref-write.c unknown 6.97 2.61 224899072 unknown 6.48 2.53 194449408
ldv-memsafety/memsetNonZero2_false-valid-deref-write.c unknown 6.69 2.56 222502912 unknown 6.41 2.54 204349440
ldv-memsafety/memsetNonZero3_false-valid-deref-write.c unknown 6.81 2.65 220790784 unknown 6.71 2.61 201474048
ldv-memsafety/memsetNonZero_false-valid-deref-write.c unknown 6.85 2.55 217468928 unknown 6.67 2.51 209973248
ldv-memsafety/memset_false-valid-deref-write.c unknown 6.94 2.60 224378880 unknown 6.73 2.57 203530240
ldv-memsafety/ArraysOfVariableLength2_true-valid-memsafety.c unknown 16.2  5.60 528273408 unknown 8.89 3.25 254119936
ldv-memsafety/ArraysOfVariableLength4_true-valid-memsafety_true-termination.c unknown 14.2  5.03 424865792 unknown 8.70 3.28 254332928
ldv-memsafety/ArraysOfVariableLength5_true-valid-memsafety.c unknown 15.9  5.39 420532224 unknown 8.96 3.23 255311872
ldv-memsafety/ArraysOfVariableLength6_true-valid-memsafety_true-termination.c unknown 14.9  5.15 416669696 unknown 8.76 3.15 251580416
ldv-memsafety/ArraysOfVariableLength_true-valid-memsafety.c unknown 11.5  4.02 349011968 unknown 8.20 3.27 248475648
ldv-memsafety/ArraysWithLenghtAtDeclaration_true-valid-memsafety_true-termination.c unknown 15.2  5.27 419627008 unknown 8.98 3.15 261627904
ldv-memsafety/StructInitialization1_true-valid-memsafety.c error: type error 5.33 2.06 183484416 error: type error 5.33 2.16 180523008
ldv-memsafety/StructInitialization2_true-valid-memsafety.c error: type error 5.26 2.02 181018624 error: type error 5.42 2.12 184709120
ldv-memsafety/StructInitialization_true-valid-memsafety_true-termination.c true 5.88 2.35 186339328 true 5.69 2.30 187805696
ldv-memsafety/memset2_true-valid-memsafety_true-termination.c unknown 6.79 2.62 219262976 unknown 6.72 2.52 201060352
ldv-memsafety/memset3_true-valid-memsafety_true-termination.c unknown 6.72 2.60 216190976 unknown 6.71 2.56 201736192
ldv-memsafety/memsetNonZero2_true-valid-memsafety_true-termination.c unknown 6.93 2.59 218054656 unknown 6.52 2.52 194768896
ldv-memsafety/memsetNonZero3_true-valid-memsafety_true-termination.c unknown 7.16 2.67 232345600 unknown 6.63 2.53 204976128
ldv-memsafety/memsetNonZero_true-valid-memsafety_true-termination.c unknown 7.12 2.60 222191616 unknown 6.87 2.43 205230080
ldv-memsafety/memset_true-valid-memsafety_true-termination.c unknown 6.76 2.59 225284096 unknown 6.19 2.50 203063296
ldv-memsafety/memleaks_test14_3_false-valid-deref.i error: exception 5.12 2.09 184545280 error: exception 5.56 2.13 185499648
ldv-memsafety/memleaks_test22_3_false-valid-deref.i unknown 8.47 3.12 254627840 unknown 8.37 3.09 256667648
ldv-memsafety/memleaks_test22_5_false-valid-deref.i unknown 8.53 3.08 267513856 unknown 8.63 3.04 256679936
ldv-memsafety/memleaks_test23_2_false-valid-deref.i error: exception 5.62 2.21 184676352 error: exception 5.62 2.17 181665792
ldv-memsafety/memleaks_test23_4_false-valid-deref.i error: exception 5.67 2.14 186138624 error: exception 5.58 2.07 184086528
ldv-memsafety/memleaks_test11_1_false-valid-free.i error: exception 5.51 2.11 180523008 error: exception 5.67 2.18 183148544
ldv-memsafety/memleaks_test12_false-valid-free.i unknown 15.8  5.57 457109504 unknown 12.8  4.58 316837888
ldv-memsafety/memleaks_test17_2_false-valid-free.i unknown 7.52 2.81 237166592 unknown 7.66 2.88 222253056
ldv-memsafety/memleaks_test19_false-valid-free.i unknown 9.60 3.47 270467072 unknown 7.58 2.91 230625280
ldv-memsafety/memleaks_test1_false-valid-free.i unknown 7.63 2.85 230338560 unknown 7.06 2.67 212836352
ldv-memsafety/memleaks_test3_false-valid-free.i unknown 7.49 2.68 207007744 unknown 6.72 2.61 200269824
ldv-memsafety/memleaks_test6_2_false-valid-free.i unknown 10.1  3.76 336056320 unknown 7.61 2.91 244084736
ldv-memsafety/memleaks_test8_2_false-valid-free.i unknown 7.41 2.85 235429888 unknown 7.43 2.75 219312128
ldv-memsafety/memleaks_test10_false-valid-memtrack_true-termination.i unknown 7.65 2.87 233246720 unknown 7.45 2.95 215650304
ldv-memsafety/memleaks_test11_2_false-valid-memtrack_true-termination.i error: exception 5.60 2.20 183406592 error: exception 5.34 2.16 181579776
ldv-memsafety/memleaks_test13_1_false-valid-memtrack_true-termination.i error: exception 5.43 2.08 179761152 error: exception 5.56 2.12 185389056
ldv-memsafety/memleaks_test13_2_false-valid-memtrack.i error: exception 5.58 2.18 184381440 error: exception 5.53 2.12 179879936
ldv-memsafety/memleaks_test14_1_false-valid-memtrack_true-termination.i error: exception 5.45 2.11 178991104 error: exception 5.52 2.17 185466880
ldv-memsafety/memleaks_test14_2_false-valid-memtrack.i error: exception 5.51 2.11 180125696 error: exception 5.46 2.18 180797440
ldv-memsafety/memleaks_test15_false-valid-memtrack.i unknown 44.0  23.4  1577627648 unknown 10.9  3.76 274542592
ldv-memsafety/memleaks_test16_1_false-valid-memtrack_true-termination.i error: exception 5.48 2.19 183963648 error: exception 5.59 2.20 181841920
ldv-memsafety/memleaks_test16_2_false-valid-memtrack_true-termination.i error: exception 5.36 2.19 179097600 error: exception 5.57 2.25 184193024
ldv-memsafety/memleaks_test17_1_false-valid-memtrack.i unknown 7.74 2.91 233164800 unknown 7.35 2.77 221495296
ldv-memsafety/memleaks_test17_3_false-valid-memtrack.i unknown 7.72 2.86 228265984 unknown 7.47 2.79 219168768
ldv-memsafety/memleaks_test18_1_false-valid-memtrack_true-termination.i unknown 7.43 2.82 233095168 unknown 6.98 2.68 218705920
ldv-memsafety/memleaks_test18_2_false-valid-memtrack_true-termination.i unknown 8.32 2.99 230244352 unknown 7.45 2.82 220098560
ldv-memsafety/memleaks_test18_3_false-valid-memtrack_true-termination.i unknown 7.56 2.78 232755200 unknown 7.56 2.82 216535040
ldv-memsafety/memleaks_test1_false-valid-memtrack_true-termination.i unknown 7.22 2.63 227131392 unknown 6.76 2.71 196685824
ldv-memsafety/memleaks_test20_false-valid-memtrack_true-termination.i error: exception 5.58 2.09 178106368 error: exception 5.43 2.13 184328192
ldv-memsafety/memleaks_test21_false-valid-memtrack_true-termination.i error: exception 5.39 2.09 179941376 error: exception 5.50 2.19 180051968
ldv-memsafety/memleaks_test22_1_false-valid-memtrack_true-termination.i unknown 8.60 3.20 257163264 unknown 8.55 3.13 257204224
ldv-memsafety/memleaks_test22_2_false-valid-memtrack_true-termination.i unknown 8.05 3.06 239058944 unknown 7.51 2.84 224235520
ldv-memsafety/memleaks_test22_4_false-valid-memtrack_true-termination.i unknown 8.81 3.15 256245760 unknown 8.72 3.15 258981888
ldv-memsafety/memleaks_test4_false-valid-memtrack_true-termination.i unknown 7.48 2.81 227004416 unknown 7.46 2.81 213008384
ldv-memsafety/memleaks_test5_1_false-valid-memtrack_true-termination.i unknown 7.22 2.76 227045376 unknown 7.39 2.70 211906560
ldv-memsafety/memleaks_test5_2_false-valid-memtrack_true-termination.i unknown 7.49 2.76 230952960 unknown 7.22 2.68 215638016
ldv-memsafety/memleaks_test6_1_false-valid-memtrack_true-termination.i unknown 10.1  3.61 336334848 unknown 7.62 2.89 244920320
ldv-memsafety/memleaks_test6_3_false-valid-memtrack_true-termination.i unknown 10.3  3.79 309268480 unknown 7.88 3.03 239898624
ldv-memsafety/memleaks_test7_false-valid-memtrack_true-termination.i unknown 8.32 3.09 253403136 unknown 7.49 2.83 223465472
ldv-memsafety/memleaks_test8_1_false-valid-memtrack_true-termination.i unknown 7.34 2.74 230666240 unknown 6.98 2.64 207265792
ldv-memsafety/memleaks_test9_1_false-valid-memtrack_true-termination.i unknown 7.63 2.87 232812544 unknown 7.09 2.69 219992064
ldv-memsafety/memleaks_test9_2_false-valid-memtrack_true-termination.i unknown 7.64 2.83 232382464 unknown 7.32 2.78 217886720
ldv-memsafety/memleaks_test10_true-valid-memsafety_true-termination.i unknown 7.91 3.12 230838272 unknown 7.55 2.85 221581312
ldv-memsafety/memleaks_test11_true-valid-memsafety_true-termination.i error: exception 5.62 2.19 179916800 error: exception 5.59 2.11 183902208
ldv-memsafety/memleaks_test12_true-valid-memsafety.i unknown 15.7  5.39 426721280 unknown 12.5  4.39 329994240
ldv-memsafety/memleaks_test13_true-valid-memsafety.i error: exception 5.54 2.11 181817344 error: exception 5.47 2.17 184156160
ldv-memsafety/memleaks_test14_true-valid-memsafety.i error: exception 5.45 2.27 179625984 error: exception 5.96 2.26 183783424
ldv-memsafety/memleaks_test15_true-valid-memsafety_true-termination.i unknown 9.11 3.30 262881280 unknown 8.37 3.08 253472768
ldv-memsafety/memleaks_test16_true-valid-memsafety_true-termination.i error: exception 5.40 2.33 179859456 error: exception 5.68 2.13 182398976
ldv-memsafety/memleaks_test17_1_true-valid-memsafety_true-termination.i unknown 7.76 2.90 237694976 unknown 7.59 2.99 220155904
ldv-memsafety/memleaks_test17_2_true-valid-memsafety_true-termination.i unknown 7.90 2.95 244740096 unknown 7.62 2.95 224292864
ldv-memsafety/memleaks_test18_true-valid-memsafety_true-termination.i unknown 7.69 2.90 231477248 unknown 7.43 2.81 218886144
ldv-memsafety/memleaks_test19_true-valid-memsafety_true-termination.i unknown 9.54 3.35 267317248 unknown 7.73 2.91 227299328
ldv-memsafety/memleaks_test1_true-valid-memsafety_true-termination.i unknown 7.31 2.73 226607104 unknown 7.07 2.64 213729280
ldv-memsafety/memleaks_test20_true-valid-memsafety_true-termination.i error: exception 5.46 2.13 182865920 error: exception 5.40 2.14 181129216
ldv-memsafety/memleaks_test21_true-valid-memsafety_true-termination.i error: exception 5.62 2.11 179367936 error: exception 5.48 2.13 182312960
ldv-memsafety/memleaks_test22_1_true-valid-memsafety_true-termination.i unknown 8.36 3.17 253861888 unknown 8.02 2.96 250490880
ldv-memsafety/memleaks_test22_2_true-valid-memsafety_true-termination.i unknown 8.69 3.17 255823872 unknown 8.39 3.07 254328832
ldv-memsafety/memleaks_test22_3_true-valid-memsafety_true-termination.i unknown 8.99 3.29 257028096 unknown 8.60 3.27 261746688
ldv-memsafety/memleaks_test23_1_true-valid-memsafety.i error: exception 5.63 2.14 182726656 error: exception 5.51 2.17 183193600
ldv-memsafety/memleaks_test23_3_true-valid-memsafety.i error: exception 5.73 2.17 183263232 error: exception 5.65 2.24 182255616
ldv-memsafety/memleaks_test3_true-valid-memsafety_true-termination.i unknown 7.44 2.80 228311040 unknown 7.02 2.67 216354816
ldv-memsafety/memleaks_test4_true-valid-memsafety_true-termination.i unknown 7.51 2.79 227295232 unknown 7.02 2.75 208973824
ldv-memsafety/memleaks_test5_true-valid-memsafety_true-termination.i unknown 7.48 2.81 226279424 unknown 7.63 2.76 216797184
ldv-memsafety/memleaks_test6_true-valid-memsafety_true-termination.i unknown 9.95 3.65 319483904 unknown 8.01 3.05 242655232
ldv-memsafety/memleaks_test7_true-valid-memsafety_true-termination.i unknown 8.06 3.02 252657664 unknown 7.50 2.89 222883840
ldv-memsafety/memleaks_test8_true-valid-memsafety_true-termination.i unknown 7.47 2.85 232185856 unknown 7.24 2.74 222695424
ldv-memsafety/memleaks_test9_true-valid-memsafety_true-termination.i unknown 7.48 2.71 231981056 unknown 7.41 2.77 220508160
ldv-memsafety-bitfields/test-bitfields-1_true-valid-memsafety_true-termination.i unknown 21.6  8.01 758267904 unknown 7.29 2.85 249651200
ldv-memsafety-bitfields/test-bitfields-2.1_true-valid-memsafety_true-termination.i unknown 10.6  3.87 326946816 unknown 8.28 3.07 249196544
ldv-memsafety-bitfields/test-bitfields-2_true-valid-memsafety_true-termination.i unknown 11.4  4.19 322707456 unknown 8.64 3.15 252817408
ldv-memsafety-bitfields/test-bitfields-3.1_true-valid-memsafety_true-termination.i unknown 18.5  7.24 638750720 unknown 9.02 3.31 274714624
ldv-memsafety-bitfields/test-bitfields-3_true-valid-memsafety_true-termination.i unknown 14.7  5.20 410116096 unknown 9.98 3.67 295772160
ldv-memsafety-bitfields/test-bitfields-1_false-valid-deref.i unknown 19.4  7.47 719433728 unknown 7.49 2.92 247894016
ldv-memsafety-bitfields/test-bitfields-2_false-valid-deref.i unknown 10.9  3.95 322723840 unknown 8.68 3.16 258146304
ldv-memsafety-bitfields/test-bitfields-3.1_false-valid-deref.i unknown 22.9  10.5  1170079744 unknown 9.14 3.34 272465920
ldv-memsafety-bitfields/test-bitfields-3_false-valid-deref.i unknown 14.8  5.24 444289024 unknown 10.3  3.81 301240320
ldv-memsafety-bitfields/test-bitfields-2.1_false-valid-free.i unknown 19.0  7.21 684052480 unknown 8.73 3.15 267341824
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i unknown 15.7  5.40 443052032 unknown 76.9  42.9  2410770432
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i error: exception 5.48 2.15 179843072 error: exception 5.67 2.17 179519488
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 302    273    2310549504 unknown 43.2  19.7  2015404032
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i error: exception 5.65 2.22 183877632 error: exception 5.44 2.11 178593792
heap-manipulation/tree_false-unreach-call_false-valid-deref.i error: exception 5.60 2.19 181645312 error: exception 5.31 2.06 178827264
heap-manipulation/tree_false-valid-deref.i error: exception 5.74 2.17 184975360 error: exception 5.56 2.11 185442304
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 306    280    2304135168 timeout (error (143)) 301    232    3969236992
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i timeout (error (143)) 305    275    2345111552 unknown 12.5  4.37 352018432
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 302    272    2337349632 unknown 12.4  4.36 346910720
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 304    275    2328281088 unknown 12.2  4.32 349450240
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    272    2342330368 unknown 10.5  3.79 316440576
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 301    270    2330615808 unknown 9.71 3.48 273014784
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 305    276    2296180736 unknown 10.4  3.73 329396224
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 306    282    2326765568 unknown 8.34 3.00 254930944
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 302    275    2337026048 unknown 8.60 3.11 257449984
list-properties/splice_true-unreach-call_false-valid-memtrack.i timeout (error (143)) 306    277    2336079872 unknown 11.9  4.21 355897344
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i unknown 6.16 2.31 182685696 unknown 5.89 2.16 181993472
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i unknown 6.33 2.29 185884672 unknown 5.64 2.20 178954240
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i unknown 5.91 2.24 181358592 unknown 5.83 2.21 178745344
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i unknown 5.93 2.22 178876416 unknown 5.96 2.24 183545856
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i unknown 6.02 2.24 181002240 unknown 6.05 2.25 179384320
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i unknown 5.79 2.25 180531200 unknown 5.77 2.21 180879360
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i unknown 5.94 2.26 182165504 unknown 5.90 2.24 183529472
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i unknown 6.20 2.26 181907456 unknown 5.84 2.22 182374400
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i unknown 5.93 2.21 181948416 unknown 5.93 2.20 183382016
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i unknown 5.70 2.21 179412992 unknown 5.87 2.18 179482624
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i unknown 5.68 2.14 184102912 unknown 5.93 2.22 180387840
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i unknown 6.31 2.23 185004032 unknown 5.88 2.17 180490240
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i unknown 5.78 2.15 180092928 unknown 5.97 2.19 179957760
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 302    277    2320044032 unknown 15.1  5.25 393199616
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    286    2225405952 unknown 12.2  4.29 363511808
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 303    274    2274893824 unknown 12.8  4.48 361627648
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 303    276    2336677888 unknown 14.4  5.09 446906368
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    278    2273763328 unknown 12.2  4.33 358297600
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    278    2323947520 unknown 14.0  4.72 372604928
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 305    276    2333954048 unknown 13.1  4.55 362856448
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    280    2299084800 unknown 13.1  4.57 366534656
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    281    2282553344 unknown 11.3  4.05 360562688
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    271    2334978048 unknown 14.1  4.90 455278592
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    279    2306064384 unknown 16.5  5.76 458862592
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    279    2326904832 unknown 14.0  4.85 365379584
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    279    2251132928 unknown 14.3  4.96 357756928
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 301    268    2337529856 unknown 13.9  4.82 454746112
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    278    2282700800 unknown 11.5  4.02 324669440
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    279    2236010496 unknown 12.8  4.46 357076992
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    276    2315530240 unknown 13.1  4.58 364167168
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 305    271    2340278272 unknown 12.4  4.37 355717120
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout (error (143)) 306    278    2276876288 unknown 11.3  3.90 349351936
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout (error (143)) 306    280    2314711040 unknown 11.9  4.04 343388160
forester-heap/sll-01_false-unreach-call_false-valid-deref.i timeout (error (143)) 304    273    2345799680 unknown 15.6  5.36 454684672
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i timeout (error (143)) 306    274    2303574016 unknown 13.0  4.50 362373120
loop-acceleration/array3_false-valid-deref.i true 6.18 2.42 196665344 true 6.32 2.50 189972480
ntdrivers/floppy_false-valid-deref.i.cil.c unknown 6.72 2.41 187748352 unknown 6.77 2.36 193650688
ntdrivers/kbfiltr_false-valid-deref.i.cil.c unknown 5.93 2.26 181309440 unknown 6.01 2.27 182632448
ntdrivers-simplified/cdaudio_simpl1_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 71.2  42.6  2352373760 true 73.9  42.9  2400399360
ntdrivers-simplified/cdaudio_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 75.0  43.1  2359521280 true 73.9  43.7  2403176448
ntdrivers-simplified/diskperf_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 201    152    3093696512 true 201    153    3072864256
ntdrivers-simplified/floppy_simpl3_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 101    71.8  2575228928 true 103    70.9  2573910016
ntdrivers-simplified/floppy_simpl3_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 105    72.0  2547916800 true 102    71.6  2549714944
ntdrivers-simplified/floppy_simpl4_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 117    80.9  2581323776 true 115    81.4  2606710784
ntdrivers-simplified/floppy_simpl4_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 118    79.9  2601013248 true 111    78.4  2571649024
ntdrivers-simplified/kbfiltr_simpl1_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 25.7  8.84 817225728 true 23.6  9.11 845545472
ntdrivers-simplified/kbfiltr_simpl2_false-unreach-call_true-valid-memsafety_true-termination.cil.c true 30.9  12.5  1223606272 true 31.2  12.0  1237131264
ntdrivers-simplified/kbfiltr_simpl2_true-unreach-call_true-valid-memsafety_true-termination.cil.c true 31.5  12.9  1240354816 true 29.4  12.4  1290010624
locks/test_locks_10_true-unreach-call_true-valid-memsafety_false-termination.c true 10.3  3.78 308133888 true 10.7  3.86 307294208
locks/test_locks_11_true-unreach-call_true-valid-memsafety_false-termination.c true 11.1  3.99 305594368 true 10.4  3.79 310771712
locks/test_locks_12_true-unreach-call_true-valid-memsafety_false-termination.c true 11.4  4.04 328192000 true 11.3  4.04 324816896
locks/test_locks_13_true-unreach-call_true-valid-memsafety_false-termination.c true 12.1  4.32 326598656 true 12.0  4.29 327176192
locks/test_locks_14_false-unreach-call_true-valid-memsafety_false-termination.c true 13.6  4.81 357171200 true 13.5  4.81 357343232
locks/test_locks_14_true-unreach-call_true-valid-memsafety_false-termination.c true 13.5  4.78 340062208 true 13.9  4.90 351096832
locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c true 13.9  5.03 404881408 true 15.0  5.23 408535040
locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c true 14.1  5.03 423759872 true 14.2  5.03 370978816
locks/test_locks_5_true-unreach-call_true-valid-memsafety_false-termination.c true 7.77 2.97 251486208 true 7.71 2.90 250105856
locks/test_locks_6_true-unreach-call_true-valid-memsafety_false-termination.c true 8.09 3.03 251441152 true 8.14 3.06 252321792
locks/test_locks_7_true-unreach-call_true-valid-memsafety_false-termination.c true 8.58 3.19 254750720 true 9.13 3.25 256815104
locks/test_locks_8_true-unreach-call_true-valid-memsafety_false-termination.c true 9.31 3.40 265478144 true 9.46 3.38 266862592
locks/test_locks_9_true-unreach-call_true-valid-memsafety_false-termination.c true 8.89 3.31 267300864 true 9.04 3.29 268992512
../../../trunk/examples/svcomp/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 326 27600 22600 332741898240 326 4920 2370 134927101952
local summary 27600 11300 4920 1210
    correct results 0 0
        correct true 0 0
        correct false 0 0
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
Run set AbsInt AbsInt_imprecise