BENCHMARK INFORMATION benchmark definition: ../benchexec/svcomp19-memcleanup-automizer.xml name: svcomp19-memcleanup-automizer run sets: sv-comp19-memcleanup.MemSafety-MemCleanup date: Fri, 2018-11-02 10:24:49 CET tool: ULTIMATE Automizer 0.1.23-7df24a18 tool executable: ./Ultimate.py options: --full-output parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 900 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: struebli os: Linux-4.16.18-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.4.1 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz ram: 135158.484992 MB ------------------------------------------------------------ sv-comp19-memcleanup.MemSafety-MemCleanup Run set 1 of 1 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host --------------------------------------------------------------------------------------------------------------------------------------------------------- list-ext-properties/simple-ext_false-unreach-call_false-valid-memcleanup_true-termination.i unknown 6.39 3.44 None heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i unknown 6.32 3.44 None heap-manipulation/dll_of_dll_false-unreach-call_false-valid-memcleanup.i TIMEOUT 901.00 851.28 None heap-manipulation/merge_sort_false-unreach-call_false-valid-memcleanup.i unknown 6.19 3.31 None heap-manipulation/sll_to_dll_rev_false-unreach-call_false-valid-memcleanup.i unknown 6.41 3.40 None heap-manipulation/tree_false-unreach-call_false-valid-memcleanup.i unknown 6.55 3.47 None forester-heap/dll-01_false-unreach-call_false-valid-memcleanup.i TIMEOUT 900.92 829.15 None forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i TIMEOUT 900.31 861.24 None forester-heap/dll-optional_false-unreach-call_false-valid-memcleanup.i TIMEOUT 900.81 807.97 None forester-heap/dll-queue_false-unreach-call_false-valid-memcleanup.i TIMEOUT 900.51 870.37 None forester-heap/dll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i TIMEOUT 900.48 864.81 None forester-heap/dll-sorted_false-unreach-call_false-valid-memcleanup.i TIMEOUT 900.59 867.94 None forester-heap/dll-token_false-unreach-call_false-valid-memcleanup.i TIMEOUT 900.17 814.55 None forester-heap/sll-buckets_false-unreach-call_false-valid-memcleanup.i TIMEOUT 901.11 818.97 None forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i TIMEOUT 900.63 821.19 None forester-heap/sll-optional_false-unreach-call_false-valid-memcleanup.i ERROR (7) 697.88 608.73 None forester-heap/sll-queue_false-unreach-call_false-valid-memcleanup.i TIMEOUT 900.55 831.71 None forester-heap/sll-rb-sentinel_false-unreach-call_false-valid-memcleanup.i TIMEOUT 900.49 843.07 None forester-heap/sll-simple-white-blue_false-unreach-call_false-valid-memcleanup.i TIMEOUT 901.06 786.47 None forester-heap/sll-sorted_false-unreach-call_false-valid-memcleanup.i TIMEOUT 900.52 843.71 None forester-heap/sll-token_false-unreach-call_false-valid-memcleanup.i TIMEOUT 900.88 820.88 None list-properties/alternating_list_false-unreach-call_false-valid-memcleanup.i unknown 6.24 3.30 None list-properties/list_false-unreach-call_false-valid-memcleanup.i unknown 5.92 3.22 None list-properties/list_flag_false-unreach-call_false-valid-memcleanup.i unknown 6.22 3.33 None list-properties/list_search_false-unreach-call_false-valid-memcleanup.i unknown 6.42 3.40 None list-properties/list_search_true-unreach-call_false-valid-memcleanup.i unknown 6.45 3.44 None list-properties/simple_false-unreach-call_false-valid-memcleanup.i unknown 6.02 3.24 None list-properties/splice_false-unreach-call_false-valid-memcleanup.i unknown 5.99 3.26 None list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i unknown 6.20 3.34 None list-ext3-properties/sll_length_check_false-unreach-call_false-valid-memcleanup.i unknown 6.23 3.31 None list-ext3-properties/sll_nondet_insert_false-unreach-call_false-valid-memcleanup.i unknown 6.45 3.42 None list-ext3-properties/sll_of_sll_nondet_append_false-unreach-call_false-valid-memcleanup.i unknown 6.17 3.31 None --------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 1675.10 1612.45 - Statistics: 32 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 32 Score: 0 (max: 32)