| list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i |
true |
28.0 |
17.5 |
596299776 |
| heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i |
timeout |
900 |
854 |
1113206784 |
| heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
862 |
1112936448 |
| heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i |
true |
40.9 |
25.5 |
673554432 |
| heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
845 |
1342111744 |
| heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
855 |
1160183808 |
| forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
838 |
966864896 |
| forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
820 |
759525376 |
| forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
807 |
1996443648 |
| forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i |
timeout |
900 |
829 |
929636352 |
| forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i |
timeout |
900 |
780 |
971304960 |
| forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i |
timeout |
900 |
797 |
1003048960 |
| forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
807 |
2338983936 |
| forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
803 |
2087874560 |
| forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
786 |
2026856448 |
| forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
828 |
2222993408 |
| forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
814 |
1065930752 |
| forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
797 |
1973977088 |
| forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
796 |
1834815488 |
| forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i |
timeout |
900 |
800 |
977862656 |
| forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
831 |
2226577408 |
| list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i |
true |
35.9 |
23.8 |
684720128 |
| list-properties/list_false-unreach-call_false-valid-memcleanup.i |
false(valid-memtrack) |
16.8 |
10.2 |
512323584 |
| list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i |
false(valid-memtrack) |
11.8 |
6.74 |
333914112 |
| list-properties/list_search_false-unreach-call_false-valid-memcleanup.i |
true |
481 |
445 |
837087232 |
| list-properties/list_search_true-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
856 |
1713655808 |
| list-properties/simple_false-unreach-call_false-valid-memcleanup.i |
false(valid-memtrack) |
15.7 |
9.37 |
497397760 |
| list-properties/splice_false-unreach-call_false-valid-memcleanup.i |
false(valid-memtrack) |
12.0 |
6.99 |
329506816 |
| list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
834 |
1227907072 |
| list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
846 |
1201602560 |
| list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i |
timeout |
901 |
850 |
838610944 |
| list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i |
timeout |
900 |
883 |
892100608 |