Tool ULTIMATE Automizer 0.1.24-0ed9222f
Limits timelimit: 900 s, memlimit: 8000 MB, CPU core limit: 2
Host struebli
OS Linux-4.20.1-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.6
System CPU: AMD EPYC 7351P 16-Core Processor, cores: 32, frequency: 2400 MHz, Turbo Boost: enabled; RAM: 135156 MB
Date of execution 2019-01-11 17:27:34 CET 2019-01-14 11:19:50 CET
Run set sv-comp19_prop-reachsafety.ReachSafety-Heap sv-comp19_prop-reachsafety.ReachSafety-Heap
Options --full-output --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i timeout 900    880    893571072 timeout 900    878    847642624
heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i timeout 901    815    3260973056 timeout 900    883    887877632
heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 16.4  9.64 460898304 false(unreach-call) 16.7  9.67 462901248
heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 20.6  12.8  520794112 false(unreach-call) 20.9  12.7  527814656
heap-manipulation/tree_false-unreach-call_false-valid-deref.i timeout 900    890    908374016 false(unreach-call) 38.5  29.1  703057920
heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 42.1  30.7  640552960 false(unreach-call) 38.8  28.9  620253184
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 900    882    852774912 timeout 900    881    865296384
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 900    852    2400526336 true 873    834    2381082624
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 900    851    3046072320 timeout 901    860    3179220992
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 901    826    1969623040 timeout 901    828    1989959680
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 900    873    985886720 timeout 900    875    973103104
heap-manipulation/tree_true-unreach-call.i true 60.1  46.1  730406912 true 71.5  53.4  793460736
list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 9.76 5.66 271757312 false(unreach-call) 10.1  5.80 265723904
list-properties/list_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 33.3  21.8  690139136 false(unreach-call) 33.9  22.1  673591296
list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 10.8  6.35 316432384 false(unreach-call) 11.0  6.37 313262080
list-properties/list_search_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 41.8  28.0  751923200 false(unreach-call) 42.7  28.9  723402752
list-properties/simple_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 10.9  6.46 306847744 false(unreach-call) 11.4  6.73 313634816
list-properties/splice_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 10.9  6.41 306864128 false(unreach-call) 11.1  6.47 303497216
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 901    849    1087991808 timeout 901    845    1070116864
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i timeout 900    858    1004494848 timeout 901    828    1710878720
list-properties/list_search_true-unreach-call_false-valid-memcleanup.i true 439    396    1568247808 true 597    543    1593221120
list-properties/list_true-unreach-call_false-valid-memtrack.i timeout 901    819    1960517632 timeout 901    812    1863319552
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i timeout 901    849    1112715264 timeout 901    847    1126678528
list-properties/simple_true-unreach-call_false-valid-memtrack.i timeout 900    872    1156255744 timeout 900    871    1105879040
list-properties/splice_true-unreach-call_false-valid-memtrack.i timeout 901    831    2147119104 timeout 901    830    2134831104
ldv-regression/1_3_true-termination.c_false-unreach-call.i false(unreach-call) 8.50 5.06 257789952 false(unreach-call) 8.00 4.85 243818496
ldv-regression/alt_test_true-termination.c_false-unreach-call.i false(unreach-call) 10.1  5.88 273477632 false(unreach-call) 10.6  6.11 286875648
ldv-regression/callfpointer_true-termination.c_false-unreach-call.i false(unreach-call) 6.85 4.28 229359616 false(unreach-call) 6.65 4.20 231460864
ldv-regression/fo_test_true-termination.c_false-unreach-call.i unknown 18.0  10.3  262934528 unknown 17.9  10.3  268869632
ldv-regression/mutex_lock_int_true-termination.c_false-unreach-call.i false(unreach-call) 7.79 4.73 255401984 false(unreach-call) 7.98 4.78 254685184
ldv-regression/mutex_lock_struct_true-termination.c_false-unreach-call.i false(unreach-call) 7.84 4.74 249094144 false(unreach-call) 8.01 4.64 252284928
ldv-regression/recursive_list_true-termination.c_false-unreach-call.i false(unreach-call) 7.89 4.75 249507840 false(unreach-call) 7.59 4.65 246304768
ldv-regression/rule57_ebda_blast_true-termination.c_false-unreach-call.i false(unreach-call) 10.0  5.89 271286272 false(unreach-call) 10.8  6.39 301318144
ldv-regression/rule60_list2_true-termination.c_false-unreach-call_1.i false(unreach-call) 18.4  11.5  523251712 false(unreach-call) 19.5  12.0  519786496
ldv-regression/stateful_check_false-unreach-call_false-termination.i false(unreach-call) 10.9  6.53 307048448 false(unreach-call) 11.9  6.92 307240960
ldv-regression/test_while_int_true-termination.c_false-unreach-call.i false(unreach-call) 8.62 5.18 253476864 false(unreach-call) 8.56 5.16 248528896
ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i false(unreach-call) 8.54 5.08 253362176 false(unreach-call) 8.41 5.04 247644160
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i true 8.18 5.03 246960128 true 8.45 4.98 245923840
ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call_1.i true 7.82 4.70 247758848 true 7.82 4.67 249298944
ldv-regression/alias_of_return_true-termination.c_true-unreach-call.i true 7.92 4.78 246169600 true 8.15 4.93 249335808
ldv-regression/alias_of_return_true-termination.c_true-unreach-call_1.i true 7.73 4.67 248512512 true 7.78 4.73 243777536
ldv-regression/ex3_forlist_true-termination.c_true-unreach-call.i true 93.8  68.0  867561472 true 91.7  67.0  853958656
ldv-regression/just_assert_true-termination.c_true-unreach-call.i true 7.22 4.42 234434560 true 7.11 4.40 234733568
ldv-regression/mutex_lock_int_true-termination.c_true-unreach-call_1.i true 8.46 5.09 246530048 true 8.29 5.00 245456896
ldv-regression/mutex_lock_struct_true-termination.c_true-unreach-call_1.i true 7.88 4.80 244981760 true 8.64 4.99 246775808
ldv-regression/nested_structure_noptr_true-termination.c_true-unreach-call.i true 7.42 4.49 242913280 true 8.04 4.78 246906880
ldv-regression/nested_structure_noptr_true-unreach-call_true-termination.i true 7.62 4.59 251809792 true 7.59 4.54 248111104
ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i true 8.10 4.77 245227520 true 7.41 4.57 246030336
ldv-regression/nested_structure_ptr_true-unreach-call_true-termination.i true 8.11 4.86 248930304 true 7.90 4.77 246915072
ldv-regression/nested_structure_true-termination.c_true-unreach-call.i true 7.43 4.56 246001664 true 8.09 4.88 250368000
ldv-regression/nested_structure_true-unreach-call_true-termination.i true 8.11 4.89 247975936 true 7.86 4.77 246476800
ldv-regression/oomInt_true-termination.c_true-unreach-call.i true 7.78 4.73 249536512 true 7.88 4.75 249442304
ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i true 7.41 4.60 244727808 true 8.28 4.63 254832640
ldv-regression/rule57_ebda_blast_true-termination.c_true-unreach-call_1.i true 10.8  6.46 297816064 true 11.0  6.39 304738304
ldv-regression/rule60_list2_true-termination.c_true-unreach-call.i true 18.9  11.6  507228160 true 18.4  11.3  515256320
ldv-regression/rule60_list_true-termination.c_true-unreach-call.i true 11.7  6.79 330792960 true 12.0  6.93 322838528
ldv-regression/sizeofparameters_test_true-termination.c_true-unreach-call.i true 8.24 4.81 255148032 true 8.34 4.87 260169728
ldv-regression/structure_assignment_true-termination.c_true-unreach-call.i true 7.90 4.70 250667008 true 7.79 4.69 247324672
ldv-regression/test_address_true-termination.c_true-unreach-call.i true 8.24 4.85 253669376 true 8.23 4.87 255062016
ldv-regression/test_cut_trace_true-termination.c_true-unreach-call.i true 7.93 4.83 248233984 true 7.98 4.86 246341632
ldv-regression/test_malloc-1_true-unreach-call_true-termination.i true 8.51 5.11 255852544 true 8.71 5.13 258101248
ldv-regression/test_malloc-2_true-unreach-call_true-termination.i true 8.53 5.02 260730880 true 8.68 5.03 259371008
ldv-regression/test_overflow_true-termination.c_true-unreach-call.i true 8.91 5.09 266633216 true 8.58 4.99 261206016
ldv-regression/test_union_cast-1_true-unreach-call_true-termination.i true 8.33 4.94 248025088 true 8.16 4.87 245075968
ldv-regression/test_union_cast-2_true-unreach-call_true-termination.i true 7.85 4.81 247021568 true 8.02 4.76 248000512
ldv-regression/test_union_cast_true-termination.c_true-unreach-call.i true 7.55 4.54 245997568 true 7.63 4.67 245043200
ldv-regression/test_union_cast_true-termination.c_true-unreach-call_1.i true 7.84 4.71 245846016 true 8.20 4.85 248516608
ldv-regression/test_union_true-termination.c_true-unreach-call.i true 7.42 4.47 236900352 true 7.49 4.51 240766976
ldv-regression/test_union_true-termination.c_true-unreach-call_1.i true 7.41 4.51 238403584 true 6.94 4.23 236666880
ldv-regression/volatile_alias_true-termination.c_true-unreach-call.i true 7.92 4.76 243834880 true 7.92 4.76 242962432
ldv-regression/volatile_alias_true-termination.c_true-unreach-call_1.i true 7.66 4.58 238338048 true 7.74 4.66 244191232
ldv-regression/test02_false-unreach-call_true-termination.c false(unreach-call) 7.41 4.44 231309312 false(unreach-call) 7.58 4.54 232783872
ldv-regression/test06_false-unreach-call_true-termination.c false(unreach-call) 8.67 5.11 254054400 false(unreach-call) 8.54 5.08 253177856
ldv-regression/test08_false-unreach-call_true-termination.c false(unreach-call) 7.53 4.60 243056640 false(unreach-call) 7.46 4.52 239394816
ldv-regression/test12_false-unreach-call_true-termination.c false(unreach-call) 7.33 4.42 244916224 false(unreach-call) 7.24 4.49 241704960
ldv-regression/test21_false-unreach-call_true-termination.c false(unreach-call) 7.63 4.61 247832576 false(unreach-call) 7.67 4.65 247074816
ldv-regression/test22_false-unreach-call.c false(unreach-call) 11.4  6.71 325824512 false(unreach-call) 11.5  6.77 319541248
ldv-regression/test23_false-unreach-call.c false(unreach-call) 90.2  76.6  722448384 false(unreach-call) 86.3  63.3  867618816
ldv-regression/test24_false-unreach-call.c false(unreach-call) 41.0  29.6  607502336 false(unreach-call) 40.1  29.0  612339712
ldv-regression/test25_false-unreach-call_true-termination.c false(unreach-call) 34.9  22.3  602554368 false(unreach-call) 35.8  22.7  593170432
ldv-regression/test26_false-unreach-call_true-termination.c false(unreach-call) 7.10 4.37 240340992 false(unreach-call) 7.66 4.61 239050752
ldv-regression/test27_false-unreach-call_true-termination.c false(unreach-call) 43.6  35.9  507039744 false(unreach-call) 44.5  35.9  528035840
ldv-regression/test28_false-unreach-call_true-termination.c false(unreach-call) 9.95 5.86 253554688 false(unreach-call) 9.18 5.51 256786432
ldv-regression/test29_false-unreach-call_true-termination.c false(unreach-call) 8.68 5.22 251781120 false(unreach-call) 8.67 5.18 249823232
ldv-regression/test30_false-unreach-call_true-termination.c false(unreach-call) 7.74 4.72 247177216 false(unreach-call) 7.76 4.71 242139136
ldv-regression/test01_true-unreach-call_true-termination.c true 7.72 4.71 249147392 true 7.51 4.57 247209984
ldv-regression/test03_true-unreach-call_true-termination.c true 8.25 4.94 250003456 true 8.09 4.90 247406592
ldv-regression/test04_true-unreach-call_true-termination.c true 8.31 5.07 244301824 true 7.82 4.79 247586816
ldv-regression/test05_true-unreach-call_true-termination.c true 11.1  6.56 294850560 true 11.3  6.60 302387200
ldv-regression/test07_true-unreach-call_true-termination.c true 10.5  6.16 263479296 true 9.18 5.58 257687552
ldv-regression/test09_true-unreach-call_true-termination.c true 9.03 5.45 252473344 true 9.70 5.76 249307136
ldv-regression/test10_true-unreach-call_true-termination.c true 12.3  7.14 337186816 true 11.4  6.76 328323072
ldv-regression/test11_true-unreach-call_true-termination.c true 9.84 5.83 253517824 true 9.61 5.70 257171456
ldv-regression/test13_true-unreach-call_true-termination.c true 8.43 5.09 248578048 true 8.14 4.89 248246272
ldv-regression/test14_true-unreach-call_true-termination.c true 9.46 5.68 251441152 true 8.96 5.37 250269696
ldv-regression/test15_true-unreach-call_true-termination.c true 8.16 4.78 248147968 true 8.19 4.96 247144448
ldv-regression/test16_true-unreach-call_true-termination.c true 7.92 4.82 250298368 true 7.73 4.68 248156160
ldv-regression/test17_true-unreach-call_true-termination.c true 7.74 4.81 252526592 true 8.01 4.90 245002240
ldv-regression/test18_true-unreach-call_true-termination.c true 8.28 5.07 252051456 true 8.15 4.92 247283712
ldv-regression/test19_true-unreach-call_true-termination.c true 8.49 5.06 254500864 true 8.50 5.07 249102336
ldv-regression/test20_true-unreach-call_true-termination.c true 7.55 4.65 245854208 true 8.08 4.84 246120448
ldv-regression/test21_true-unreach-call_true-termination.c true 11.0  6.65 325124096 true 11.4  6.77 311365632
ldv-regression/test22_true-unreach-call.c true 50.7  34.8  734547968 true 52.9  36.2  761991168
ldv-regression/test23_true-unreach-call.c error (7) 676    636    897187840 true 78.1  55.5  893390848
ldv-regression/test24_true-unreach-call_true-termination.c true 15.4  9.42 457965568 true 15.7  9.59 473067520
ldv-regression/test25_true-unreach-call.c true 16.0  9.43 432381952 true 15.3  9.04 440127488
ldv-regression/test26_true-unreach-call_true-termination.c true 8.30 5.01 247906304 true 8.39 5.00 250073088
ldv-regression/test27_true-unreach-call_true-termination.c true 117    95.9  910438400 true 116    96.0  951009280
ldv-regression/test28_true-unreach-call_true-termination.c true 10.3  6.07 271044608 true 9.83 5.83 263888896
ldv-regression/test29_true-unreach-call_true-termination.c true 9.59 5.68 257941504 true 9.39 5.39 261861376
ldv-regression/test30_true-unreach-call_true-termination.c true 8.80 5.20 248414208 true 8.64 5.22 251158528
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i timeout 900    850    1925120000 timeout 901    839    3653173248
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i timeout 900    855    1669996544 timeout 901    843    3561787392
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i timeout 900    855    1631240192 timeout 901    837    3594711040
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i true 26.3  14.7  822087680 true 28.4  15.6  804696064
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i true 27.8  15.9  845324288 true 29.7  16.2  811872256
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i true 26.0  14.6  842653696 true 28.1  15.5  805564416
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i true 26.1  14.7  862326784 true 27.2  15.3  805908480
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i true 30.0  16.4  850579456 true 32.4  17.4  803192832
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i true 26.2  14.6  859262976 true 30.7  17.2  807874560
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i true 27.2  15.3  850206720 true 28.3  15.6  811208704
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i true 27.6  15.5  866652160 true 28.5  15.7  804323328
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i true 25.7  14.5  876265472 true 27.1  15.0  802627584
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i true 26.6  14.8  805126144 true 27.9  15.8  808693760
forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 20.0  11.9  536055808 false(unreach-call) 19.9  11.7  527032320
forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 10.1  5.82 282034176 false(unreach-call) 10.2  5.95 279597056
forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 9.24 5.37 258842624 false(unreach-call) 9.62 5.56 249905152
forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 168    139    823902208 false(unreach-call) 178    145    834347008
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(unreach-call) 16.3  9.78 518041600 false(unreach-call) 16.1  9.83 516644864
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i false(unreach-call) 69.2  49.3  737636352 false(unreach-call) 67.8  47.9  758661120
forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 9.38 5.41 260038656 false(unreach-call) 9.42 5.40 259608576
forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 11.7  6.66 309968896 false(unreach-call) 11.1  6.39 300515328
forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 12.1  7.06 339169280 false(unreach-call) 13.1  7.49 343990272
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(unreach-call) 38.3  22.7  616837120 false(unreach-call) 35.5  21.5  610332672
forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i error (7) 412    385    842838016 error (7) 400    372    811548672
forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 9.80 5.93 274747392 false(unreach-call) 10.7  6.14 273768448
forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 8.99 5.22 264916992 false(unreach-call) 9.06 5.33 255664128
forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 96.8  75.7  815923200 false(unreach-call) 99.5  76.4  811499520
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(unreach-call) 15.2  9.02 454070272 false(unreach-call) 14.9  8.87 465063936
forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 27.1  17.6  595668992 false(unreach-call) 29.2  18.7  598724608
forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 9.50 5.46 254980096 false(unreach-call) 9.42 5.48 263352320
forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i timeout 900    847    999346176 timeout 900    850    930549760
forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 10.3  5.88 275140608 false(unreach-call) 10.5  6.01 277299200
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 901    842    2258477056 timeout 900    843    2262339584
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 901    782    1439612928 timeout 901    788    1504190464
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 900    876    940195840 timeout 900    875    971902976
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 900    866    1292226560 timeout 900    866    1362796544
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 901    868    876756992 timeout 901    868    871231488
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 901    866    890417152 timeout 901    866    899473408
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 900    880    858144768 timeout 900    879    884576256
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 900    875    920092672 timeout 900    873    942071808
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 901    859    987549696 timeout 901    857    1316261888
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 901    840    1731133440 timeout 901    838    1839919104
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 900    857    1412276224 timeout 900    857    1444438016
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i error (7) 436    408    809185280 error (7) 402    375    823279616
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 901    823    3307237376 timeout 901    823    3271938048
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 900    880    945274880 timeout 900    880    932204544
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 901    840    877801472 timeout 901    839    895418368
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 901    849    1141649408 timeout 900    858    947830784
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900    885    774717440 timeout 900    886    766214144
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 901    833    1029439488 timeout 901    831    964583424
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 901    828    1012842496 timeout 900    852    925540352
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900    859    1031434240 timeout 900    849    1008582656
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 901    840    1043771392 timeout 901    848    947785728
list-ext-properties/list-ext_false-unreach-call_false-valid-deref.i false(unreach-call) 9.08 5.28 262926336 false(unreach-call) 9.04 5.19 258752512
list-ext-properties/list-ext_flag_false-unreach-call_false-valid-deref.i timeout 901    816    1274916864 timeout 901    810    1245822976
list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i false(unreach-call) 8.91 5.15 261091328 false(unreach-call) 9.33 5.28 251084800
list-ext2-properties/list_and_tree_cnstr_false-unreach-call_false-termination.i false(unreach-call) 35.9  23.2  682921984 false(unreach-call) 37.9  24.2  681168896
list-ext2-properties/list_and_tree_cnstr_true-unreach-call_false-termination.i timeout 901    809    1524842496 timeout 901    850    1032482816
list-ext2-properties/simple_and_skiplist_2lvl_false-unreach-call.i false(unreach-call) 12.3  7.25 347303936 false(unreach-call) 12.7  7.23 334962688
list-ext2-properties/simple_and_skiplist_2lvl_true-unreach-call.i timeout 900    874    989483008 timeout 900    873    969424896
list-ext2-properties/simple_search_value_false-unreach-call.i timeout 901    872    4864028672 timeout 901    872    4768423936
list-ext2-properties/simple_search_value_true-unreach-call.i timeout 900    870    4358733824 timeout 900    871    4770852864
ldv-sets/test_add_false-unreach-call_true-termination.i false(unreach-call) 11.8  6.70 307412992 false(unreach-call) 12.3  6.94 306987008
ldv-sets/test_mutex_double_lock_false-unreach-call_true-termination.i false(unreach-call) 13.3  7.49 369135616 false(unreach-call) 13.7  7.83 366284800
ldv-sets/test_mutex_double_unlock_false-unreach-call.i timeout 901    843    2014887936 timeout 901    847    1988743168
ldv-sets/test_mutex_unbounded_false-unreach-call.i timeout 900    874    1592799232 timeout 900    874    1854590976
ldv-sets/test_mutex_unlock_at_exit_false-unreach-call.i timeout 900    852    946880512 timeout 901    854    2037092352
ldv-sets/test_add_true-unreach-call_true-termination.i true 15.1  8.85 454545408 true 15.2  8.80 461844480
ldv-sets/test_mutex_true-unreach-call.i timeout 901    848    1993564160 timeout 901    847    2011648000
ldv-sets/test_mutex_unbounded_true-unreach-call.i timeout 900    877    961073152 timeout 900    871    901099520
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i true 115    98.6  806866944 error (7) 266    248    653611008
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i error (7) 469    443    746446848 timeout 900    882    653377536
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 900    876    1040318464 timeout 901    868    931532800
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 900    876    910106624 timeout 900    876    918892544
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 900    880    864772096 timeout 900    880    898633728
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 900    870    816963584 timeout 900    866    841879552
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 247    231    704032768 true 309    293    718057472
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i true 60.4  42.6  771706880 true 60.9  42.9  797392896
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 110    89.6  830246912 true 111    90.6  827101184
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i true 72.1  53.1  810209280 true 74.1  53.7  827584512
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i timeout 900    870    1053990912 timeout 900    872    1229365248
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 900    876    1661444096 timeout 900    876    1779818496
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 900    865    1959649280 timeout 900    866    1739243520
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 901    840    2288676864 timeout 901    848    2319716352
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i true 200    166    1276579840 true 200    166    1244528640
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 336    296    1441857536 true 316    278    1421021184
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 49.3  33.1  737251328 true 47.9  32.3  734658560
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 45.5  31.6  724643840 true 46.8  33.4  742006784
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 10.8  6.35 313290752 true 11.2  6.42 299458560
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i true 56.1  37.1  811671552 true 53.6  36.2  796360704
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i true 712    657    973733888 true 650    601    997900288
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 901    830    953139200 timeout 900    834    1194168320
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 900    885    850345984 timeout 900    881    871337984
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 900    878    901922816 timeout 900    880    883662848
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 900    836    911798272 timeout 900    859    987713536
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 900    855    1690066944 timeout 901    839    1562767360
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 41.2  26.6  729280512 true 34.4  21.5  681553920
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 900    877    739094528 true 172    152    688726016
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 42.4  27.8  756887552 true 44.3  28.8  749662208
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i true 55.0  36.6  751022080 true 55.5  36.8  771133440
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i true 450    400    1953644544 timeout 901    853    844509184
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 900    879    893911040 timeout 900    875    907894784
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 901    859    2275540992 error (7) 733    697    2354429952
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 900    873    986062848 timeout 900    872    1161986048
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i true 97.4  72.7  932552704 true 95.5  70.3  914952192
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i true 93.8  71.3  937648128 true 96.1  73.6  962543616
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 60.2  45.9  761888768 true 62.1  46.9  766054400
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 32.5  22.0  776118272 true 29.2  19.4  710787072
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 36.2  23.0  688168960 true 34.8  21.9  675446784
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i true 50.2  33.1  761339904 true 48.5  32.3  761475072
heap-data/calendar_true-unreach-call.i timeout 900    863    891310080 timeout 900    861    947339264
heap-data/cart_true-unreach-call.i timeout 900    845    854855680 timeout 901    851    894246912
heap-data/hash_fun_true-unreach-call.i timeout 901    855    1646886912 timeout 901    851    1480069120
heap-data/min_max_true-unreach-call.i timeout 901    812    1192157184 timeout 901    807    1118351360
heap-data/packet_filter_true-unreach-call.i timeout 900    887    758124544 timeout 900    887    812347392
heap-data/process_queue_true-unreach-call.i true 52.3  40.6  646299648 true 33.3  21.7  634408960
heap-data/quick_sort_split_true-unreach-call.i true 9.71 5.69 263643136 true 9.35 5.50 268812288
heap-data/running_example_true-unreach-call.i timeout 901    863    1235156992 timeout 900    869    1189277696
heap-data/shared_mem1_true-unreach-call.i timeout 900    893    525074432 timeout 900    893    544817152
heap-data/shared_mem2_true-unreach-call.i true 39.7  28.8  721584128 true 39.0  28.3  747958272
list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 22.5  13.3  621068288 false(unreach-call) 22.4  13.3  587124736
list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 17.5  10.5  506662912 false(unreach-call) 17.7  10.7  501018624
list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i false(unreach-call) 31.4  19.1  620376064 false(unreach-call) 30.1  18.5  595075072
list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i timeout 900    862    2411565056 timeout 900    861    2469359616
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 900    868    1051779072 timeout 900    871    1137106944
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i timeout 901    843    1001852928 timeout 901    845    958898176
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 900    878    908242944 timeout 900    877    882671616
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i timeout 901    836    2593144832 timeout 901    828    2621894656
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i timeout 901    815    2379083776 timeout 900    806    2162610176
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 901    853    1965662208 timeout 901    850    2335404032
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 241 79100 74100 191622836224 241 77800 72900 195356807168
    correct results 157 5920 4570 73546682368 159 6670 5260 75129667584
        correct true 97 4620 3680 49581150208 98 5320 4340 50451472384
        correct false 60 1300 891 23965532160 61 1350 915 24678195200
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (241 tasks, max score: 407) 254 257
Run set sv-comp19_prop-reachsafety.ReachSafety-Heap sv-comp19_prop-reachsafety.ReachSafety-Heap