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-memsafety.MemSafety-LinkedLists sv-comp19_prop-memsafety.MemSafety-LinkedLists
Options --full-output --full-output
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
heap-manipulation/bubble_sort_linux_true-unreach-call_true-valid-memsafety.i timeout 901   859    769286144 timeout 901   863    772501504
heap-manipulation/dll_of_dll_true-unreach-call_true-valid-memsafety.i timeout 900   863    1015578624 timeout 900   867    1047633920
heap-manipulation/merge_sort_true-unreach-call_true-valid-memsafety.i timeout 901   808    2353876992 timeout 901   799    2297360384
heap-manipulation/sll_to_dll_rev_true-unreach-call_true-valid-memsafety.i timeout 900   827    1200058368 timeout 901   826    1182724096
heap-manipulation/tree_false-unreach-call_false-valid-deref.i timeout 901   846    2026536960 timeout 901   847    1978650624
heap-manipulation/tree_false-valid-deref.i false(valid-deref) 10.6 6.11 292638720 false(valid-deref) 10.2 5.87 297406464
heap-manipulation/dancing_true-unreach-call_false-valid-memtrack.i timeout 901   816    2097438720 timeout 901   816    2085318656
forester-heap/dll-rb-sentinel_false-unreach-call_false-valid-memtrack.i unknown 109   75.8  738803712 unknown 105   74.3  744419328
forester-heap/dll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 901   843    1374564352 timeout 901   845    1798111232
forester-heap/sll-simple-white-blue_true-unreach-call_false-valid-memtrack.i timeout 901   844    1270345728 timeout 901   844    1076510720
list-properties/alternating_list_true-unreach-call_true-valid-memsafety.i timeout 901   829    2477445120 timeout 901   828    2620350464
list-properties/list_flag_true-unreach-call_false-valid-memtrack.i unknown 25.4 14.8  401829888 unknown 25.9 14.9  398704640
list-properties/list_true-unreach-call_false-valid-memtrack.i unknown 38.7 24.1  502943744 unknown 37.3 23.4  511340544
list-properties/simple_built_from_end_true-unreach-call_false-valid-memtrack.i unknown 27.6 16.0  436375552 unknown 26.4 15.4  430764032
list-properties/simple_true-unreach-call_false-valid-memtrack.i unknown 32.9 20.0  496173056 unknown 32.3 19.5  492523520
list-properties/splice_true-unreach-call_false-valid-memtrack.i unknown 26.7 15.3  360988672 unknown 25.8 14.9  366309376
ddv-machzwd/ddv_machzwd_all_false-unreach-call_true-valid-memsafety.i error (7) 37.2 20.6  531361792 error (7) 36.9 20.3  530214912
ddv-machzwd/ddv_machzwd_inw_false-unreach-call_true-valid-memsafety.i error (7) 38.4 21.1  543813632 error (7) 38.3 20.8  529965056
ddv-machzwd/ddv_machzwd_outb_false-unreach-call_true-valid-memsafety.i error (7) 38.2 20.8  530116608 error (7) 38.5 20.9  529154048
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call_false-valid-memtrack.i error (7) 38.4 21.3  528396288 error (7) 37.8 20.6  533303296
ddv-machzwd/ddv_machzwd_inb_true-unreach-call_false-valid-memtrack.i error (7) 38.5 21.3  524849152 error (7) 37.5 20.4  515280896
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call_false-valid-memtrack.i error (7) 39.8 21.5  526708736 error (7) 37.0 20.3  535318528
ddv-machzwd/ddv_machzwd_inl_true-unreach-call_false-valid-memtrack.i error (7) 37.2 20.2  535801856 error (7) 38.9 20.9  520499200
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call_false-valid-memtrack.i error (7) 39.3 21.2  541380608 error (7) 38.7 21.0  523747328
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call_false-valid-memtrack.i error (7) 38.8 21.0  529031168 error (7) 36.8 20.1  524328960
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call_false-valid-memtrack.i error (7) 38.1 20.8  520642560 error (7) 37.2 20.3  522072064
ddv-machzwd/ddv_machzwd_outl_true-unreach-call_false-valid-memtrack.i error (7) 37.0 20.1  532815872 error (7) 37.4 20.4  537231360
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call_false-valid-memtrack.i error (7) 38.0 20.9  524947456 error (7) 37.7 20.6  515133440
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call_false-valid-memtrack.i error (7) 37.1 20.3  528826368 error (7) 39.1 21.1  535941120
forester-heap/dll-01_true-unreach-call_true-valid-memsafety.i timeout 901   834    944173056 timeout 901   835    1119522816
forester-heap/dll-circular_true-unreach-call_true-valid-memsafety.i timeout 901   819    832782336 timeout 900   815    896929792
forester-heap/dll-optional_true-unreach-call_true-valid-memsafety.i timeout 901   808    2095456256 timeout 901   808    2126872576
forester-heap/dll-queue_true-unreach-call_true-valid-memsafety.i timeout 901   828    872841216 timeout 902   818    965746688
forester-heap/dll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 901   794    980299776 timeout 902   791    1013862400
forester-heap/dll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 900   783    2237485056 timeout 900   782    2398400512
forester-heap/dll-reverse_true-unreach-call_true-valid-memsafety.i timeout 901   772    959463424 timeout 901   790    987955200
forester-heap/dll-sorted_true-unreach-call_true-valid-memsafety.i timeout 901   807    1001115648 timeout 901   805    1035460608
forester-heap/dll-token_true-unreach-call_true-valid-memsafety.i timeout 901   854    2069037056 timeout 901   853    1876746240
forester-heap/sll-01_true-unreach-call_true-valid-memsafety.i timeout 901   851    891592704 timeout 901   854    916750336
forester-heap/sll-buckets_true-unreach-call_true-valid-memsafety.i timeout 900   818    2245554176 timeout 900   807    2127171584
forester-heap/sll-circular_true-unreach-call_true-valid-memsafety.i timeout 901   780    986812416 timeout 901   780    1734955008
forester-heap/sll-optional_true-unreach-call_true-valid-memsafety.i timeout 901   827    2233114624 timeout 901   820    2277924864
forester-heap/sll-queue_true-unreach-call_true-valid-memsafety.i timeout 900   808    1041129472 timeout 901   811    983638016
forester-heap/sll-rb-cnstr_1_true-unreach-call_true-valid-memsafety.i timeout 900   801    967401472 timeout 900   805    937762816
forester-heap/sll-rb-sentinel_true-unreach-call_true-valid-memsafety.i timeout 901   814    1972822016 timeout 901   787    1980248064
forester-heap/sll-reverse_simple_true-unreach-call_true-valid-memsafety.i timeout 901   772    1062608896 timeout 901   771    1004404736
forester-heap/sll-sorted_true-unreach-call_true-valid-memsafety.i timeout 900   784    1022873600 timeout 900   781    1046831104
forester-heap/sll-token_true-unreach-call_true-valid-memsafety.i timeout 901   829    2427600896 timeout 901   830    2350313472
forester-heap/dll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 128   93.5  944029696 false(valid-deref) 129   96.2  955289600
forester-heap/sll-01_false-unreach-call_false-valid-deref.i false(valid-deref) 51.2 33.4  736210944 false(valid-deref) 51.3 33.7  728977408
forester-heap/sll-rb-cnstr_1_false-unreach-call_false-valid-deref.i false(valid-deref) 91.1 65.5  914210816 false(valid-deref) 90.7 65.9  828534784
list-simple/dll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 900   853    851636224 timeout 900   850    829624320
list-simple/dll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 900   851    893915136 timeout 900   855    829140992
list-simple/dll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 901   847    2025828352 timeout 901   848    1968771072
list-simple/dll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 900   848    1951744000 timeout 900   847    2001317888
list-simple/dll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 900   867    805232640 timeout 900   867    741347328
list-simple/dll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 901   855    1145139200 timeout 901   860    963813376
list-simple/dll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 900   864    1214185472 timeout 900   866    1150652416
list-simple/dll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 901   842    949706752 timeout 901   845    1006329856
list-simple/dll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 459   417    1172799488 true 450   411    1119203328
list-simple/dll2c_update_all_true-unreach-call_true-valid-memsafety.i true 461   418    1078452224 true 455   415    1102462976
list-simple/dll2n_append_equal_true-unreach-call_true-valid-memsafety.i timeout 901   859    2287570944 timeout 901   859    2150006784
list-simple/dll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 900   868    2115649536 timeout 901   867    2153963520
list-simple/dll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 900   857    1717755904 timeout 901   863    1931214848
list-simple/dll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 901   854    2093568000 timeout 901   854    2134896640
list-simple/dll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 901   860    2182078464 timeout 901   856    2244653056
list-simple/dll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i error (7) 616   571    1104199680 error (7) 606   567    1019416576
list-simple/dll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 900   851    2275962880 timeout 901   850    2286047232
list-simple/dll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 222   184    1084313600 true 220   184    1122119680
list-simple/dll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 900   871    1124913152 timeout 900   870    1276395520
list-simple/dll2n_update_all_true-unreach-call_true-valid-memsafety.i timeout 900   869    945430528 timeout 901   869    1139744768
list-simple/sll2c_append_equal_true-unreach-call_true-valid-memsafety.i timeout 901   850    860061696 timeout 901   856    873578496
list-simple/sll2c_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 901   857    854372352 timeout 900   860    859889664
list-simple/sll2c_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 901   863    872710144 timeout 901   860    878546944
list-simple/sll2c_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 901   861    911613952 timeout 900   859    885493760
list-simple/sll2c_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 901   852    849281024 timeout 901   848    880287744
list-simple/sll2c_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 901   840    1982042112 timeout 900   853    918335488
list-simple/sll2c_remove_all_reverse_true-unreach-call_true-valid-memsafety.i timeout 901   833    900345856 timeout 901   836    905093120
list-simple/sll2c_remove_all_true-unreach-call_true-valid-memsafety.i timeout 901   854    1863049216 timeout 901   855    1488654336
list-simple/sll2c_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 483   441    905601024 true 466   432    904146944
list-simple/sll2c_update_all_true-unreach-call_true-valid-memsafety.i timeout 901   839    1031491584 timeout 901   840    1050812416
list-simple/sll2n_append_equal_true-unreach-call_true-valid-memsafety.i timeout 900   873    2219032576 timeout 900   871    2155487232
list-simple/sll2n_append_unequal_true-unreach-call_true-valid-memsafety.i timeout 901   872    1454641152 timeout 901   870    1404657664
list-simple/sll2n_insert_equal_true-unreach-call_true-valid-memsafety.i timeout 901   871    1040912384 timeout 901   870    1049182208
list-simple/sll2n_insert_unequal_true-unreach-call_true-valid-memsafety.i timeout 901   875    1065590784 timeout 900   874    1032347648
list-simple/sll2n_prepend_equal_true-unreach-call_true-valid-memsafety.i timeout 901   860    2397491200 timeout 901   860    2416168960
list-simple/sll2n_prepend_unequal_true-unreach-call_true-valid-memsafety.i timeout 901   867    2093412352 timeout 901   867    2237382656
list-simple/sll2n_remove_all_reverse_true-unreach-call_true-valid-memsafety.i true 286   248    1023373312 true 279   241    1104654336
list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i true 100   77.9  836509696 true 104   80.5  872095744
list-simple/sll2n_update_all_reverse_true-unreach-call_true-valid-memsafety.i true 620   585    1116475392 true 620   582    980357120
list-simple/sll2n_update_all_true-unreach-call_true-valid-memsafety.i true 787   748    1170735104 timeout 901   861    1127067648
list-ext3-properties/dll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 901   829    1948811264 timeout 901   829    1932169216
list-ext3-properties/dll_nondet_free_order_true-valid-memsafety.i timeout 900   870    1820463104 timeout 900   872    1806082048
list-ext3-properties/dll_nullified_true-unreach-call_true-valid-memsafety.i timeout 901   831    2250297344 timeout 901   831    2283110400
list-ext3-properties/sll_circular_traversal_true-unreach-call_true-valid-memsafety.i timeout 901   849    1430577152 timeout 901   841    3547893760
list-ext3-properties/sll_length_check_true-unreach-call_true-valid-memsafety.i timeout 901   839    1473888256 timeout 900   818    2128207872
list-ext3-properties/sll_nondet_insert_true-unreach-call_true-valid-memsafety.i timeout 901   853    833949696 timeout 901   851    844894208
list-ext3-properties/sll_of_sll_nondet_append_true-unreach-call_true-valid-memsafety.i timeout 901   859    841437184 timeout 901   857    881074176
list-ext3-properties/sll_shallow_copy_true-valid-memsafety.i true 21.6 13.5  513077248 true 21.9 13.8  517754880
list-ext3-properties/dll_circular_traversal_false-valid-deref.i timeout 901   816    1651535872 timeout 901   790    1734176768
list-ext3-properties/sll_circular_traversal_false-valid-deref.i timeout 901   843    4534747136 timeout 900   858    1240829952
list-ext3-properties/dll_nondet_free_order_false-valid-memtrack.i unknown 460   408    951586816 unknown 465   412    989413376
list-ext3-properties/sll_shallow_copy_false-valid-memtrack.i unknown 45.7 33.0  503058432 unknown 45.0 32.3  519557120
../../../../../svcomp/c/ status cputime (s) walltime (s) memUsage status cputime (s) walltime (s) memUsage
total 103 66800 61900 127374446592 103 66900 61900 126867644416
    correct results 13 3720 3330 11788427264 12 2900 2560 10533003264
        correct true 9 3440 3130 8901337088 8 2620 2360 7722795008
        correct false 4 281 198 2887090176 4 282 202 2810208256
    incorrect results 0 0
        incorrect true 0 0
        incorrect false 0 0
score (103 tasks, max score: 178) 22 20
Run set sv-comp19_prop-memsafety.MemSafety-LinkedLists sv-comp19_prop-memsafety.MemSafety-LinkedLists