BENCHMARK INFORMATION benchmark definition: ../benchexec/uautomizer-unsound-memset-real.xml name: uautomizer-unsound-memset-real run sets: memset-real.All date: Fri, 2020-12-04 18:00:02 CET tool: ULTIMATE Automizer 0.2.1-87fd6ee1 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-5.8.12-gentoo-x86_64-AMD_EPYC_7351P_16-Core_Processor-with-gentoo-2.7 cpu: AMD EPYC 7351P 16-Core Processor - cores: 32 - max frequency: 2400.0 MHz - turbo boost enabled: True ram: 135154.106368 MB ------------------------------------------------------------ memset-real.All Run set 1 of 1 with options '--full-output' and propertyfile 'None' inputfile status cpu time wall time host -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- aws-c-common/aws_add_size_checked_harness.yml ERROR (7) 78.61 43.34 None aws-c-common/aws_add_size_saturating_harness.yml ERROR (7) 59.42 32.75 None aws-c-common/aws_array_eq_c_str_harness-1.yml ERROR (7) 113.51 67.02 None aws-c-common/aws_array_eq_c_str_harness.yml ERROR (7) 118.26 66.53 None aws-c-common/aws_array_eq_c_str_ignore_case_harness.yml ERROR (7) 103.40 58.95 None aws-c-common/aws_array_eq_harness-1.yml ERROR (7) 108.52 62.85 None aws-c-common/aws_array_eq_harness.yml ERROR (7) 645.58 552.46 None aws-c-common/aws_array_eq_ignore_case_harness.yml TIMEOUT 900.81 813.81 None aws-c-common/aws_array_list_back_harness.yml TIMEOUT 901.50 866.45 None aws-c-common/aws_array_list_capacity_harness.yml TIMEOUT 900.59 861.62 None aws-c-common/aws_array_list_clean_up_harness.yml TIMEOUT 900.44 878.82 None aws-c-common/aws_array_list_clear_harness.yml TIMEOUT 900.46 878.68 None aws-c-common/aws_array_list_comparator_string_harness.yml TIMEOUT 900.67 822.16 None aws-c-common/aws_array_list_copy_harness.yml TIMEOUT 900.73 823.04 None aws-c-common/aws_array_list_ensure_capacity_harness.yml TIMEOUT 900.82 854.94 None aws-c-common/aws_array_list_front_harness.yml true 50.40 28.43 None aws-c-common/aws_array_list_get_at_harness.yml TIMEOUT 900.80 840.59 None aws-c-common/aws_array_list_get_at_ptr_harness.yml TIMEOUT 900.85 857.64 None aws-c-common/aws_array_list_init_dynamic_harness.yml TIMEOUT 900.46 877.51 None aws-c-common/aws_array_list_init_static_harness.yml ERROR (7) 49.98 28.25 None aws-c-common/aws_array_list_length_harness.yml TIMEOUT 900.44 881.68 None aws-c-common/aws_array_list_pop_front_harness.yml TIMEOUT 900.67 847.09 None aws-c-common/aws_array_list_pop_front_n_harness.yml TIMEOUT 901.01 853.05 None aws-c-common/aws_array_list_push_back_harness.yml ERROR (7) 286.15 218.32 None aws-c-common/aws_array_list_set_at_harness.yml TIMEOUT 901.05 818.99 None aws-c-common/aws_array_list_swap_contents_harness.yml TIMEOUT 900.50 872.59 None aws-c-common/aws_array_list_swap_harness.yml TIMEOUT 900.58 857.03 None aws-c-common/aws_byte_buf_append_dynamic_harness.yml TIMEOUT 900.31 786.51 None aws-c-common/aws_byte_buf_append_harness.yml TIMEOUT 900.67 774.01 None aws-c-common/aws_byte_buf_append_with_lookup_harness.yml TIMEOUT 901.08 783.68 None aws-c-common/aws_byte_buf_eq_c_str_harness.yml ERROR (7) 491.49 395.16 None aws-c-common/aws_byte_buf_eq_c_str_ignore_case_harness.yml ERROR (7) 496.68 403.25 None aws-c-common/aws_byte_buf_eq_harness.yml TIMEOUT 900.34 782.26 None aws-c-common/aws_byte_buf_eq_ignore_case_harness.yml TIMEOUT 901.13 790.45 None aws-c-common/aws_byte_buf_from_array_harness.yml true 267.53 198.67 None aws-c-common/aws_byte_buf_from_c_str_harness-1.yml ERROR (7) 126.56 76.11 None aws-c-common/aws_byte_buf_from_c_str_harness.yml ERROR (7) 296.57 204.99 None aws-c-common/aws_byte_buf_from_empty_array_harness.yml true 183.90 122.22 None aws-c-common/aws_byte_buf_init_copy_from_cursor_harness.yml TIMEOUT 900.67 826.30 None aws-c-common/aws_byte_buf_init_copy_harness.yml TIMEOUT 901.01 780.28 None aws-c-common/aws_byte_buf_init_harness.yml true 245.28 159.01 None aws-c-common/aws_byte_buf_write_be16_harness.yml TIMEOUT 900.81 791.35 None aws-c-common/aws_byte_buf_write_be32_harness.yml TIMEOUT 901.41 766.64 None aws-c-common/aws_byte_buf_write_be64_harness.yml TIMEOUT 901.10 768.28 None aws-c-common/aws_byte_buf_write_from_whole_buffer_harness-1.yml TIMEOUT 900.97 763.36 None aws-c-common/aws_byte_buf_write_from_whole_buffer_harness.yml TIMEOUT 900.98 794.01 None aws-c-common/aws_byte_buf_write_from_whole_cursor_harness.yml TIMEOUT 900.91 796.98 None aws-c-common/aws_byte_buf_write_from_whole_string_harness.yml TIMEOUT 900.92 801.68 None aws-c-common/aws_byte_buf_write_harness.yml TIMEOUT 900.14 803.09 None aws-c-common/aws_byte_buf_write_u8_harness.yml TIMEOUT 901.44 772.82 None aws-c-common/aws_byte_cursor_advance_harness.yml TIMEOUT 901.83 800.43 None aws-c-common/aws_byte_cursor_advance_nospec_harness.yml ERROR (7) 94.91 56.14 None aws-c-common/aws_byte_cursor_compare_lexical_harness.yml TIMEOUT 900.98 786.77 None aws-c-common/aws_byte_cursor_compare_lookup_harness.yml TIMEOUT 900.24 783.44 None aws-c-common/aws_byte_cursor_eq_byte_buf_harness.yml TIMEOUT 900.23 771.75 None aws-c-common/aws_byte_cursor_eq_byte_buf_ignore_case_harness.yml TIMEOUT 900.68 773.30 None aws-c-common/aws_byte_cursor_eq_c_str_harness.yml ERROR (7) 164.00 98.16 None aws-c-common/aws_byte_cursor_eq_c_str_ignore_case_harness.yml ERROR (7) 178.21 106.03 None aws-c-common/aws_byte_cursor_eq_harness.yml TIMEOUT 901.05 776.86 None aws-c-common/aws_byte_cursor_eq_ignore_case_harness.yml TIMEOUT 901.03 788.70 None aws-c-common/aws_byte_cursor_from_array_harness.yml true 188.87 126.96 None aws-c-common/aws_byte_cursor_from_buf_harness.yml TIMEOUT 901.28 760.44 None aws-c-common/aws_byte_cursor_from_c_str_harness.yml ERROR (7) 172.60 104.80 None aws-c-common/aws_byte_cursor_from_string_harness.yml TIMEOUT 900.73 815.73 None aws-c-common/aws_byte_cursor_left_trim_pred_harness.yml ERROR (7) 622.83 519.41 None aws-c-common/aws_byte_cursor_read_and_fill_buffer_harness.yml ERROR (7) 725.58 614.56 None aws-c-common/aws_byte_cursor_read_be16_harness.yml ERROR (7) 406.04 288.84 None aws-c-common/aws_byte_cursor_read_be32_harness.yml ERROR (7) 322.63 231.78 None aws-c-common/aws_byte_cursor_read_be64_harness.yml TIMEOUT 900.93 827.48 None aws-c-common/aws_byte_cursor_read_harness.yml ERROR (7) 128.94 76.56 None aws-c-common/aws_byte_cursor_read_u8_harness.yml ERROR (7) 280.08 205.32 None aws-c-common/aws_byte_cursor_right_trim_pred_harness.yml TIMEOUT 901.01 778.54 None aws-c-common/aws_byte_cursor_satisfies_pred_harness.yml TIMEOUT 900.95 766.40 None aws-c-common/aws_byte_cursor_trim_pred_harness.yml ERROR (7) 636.38 549.46 None aws-c-common/aws_hash_array_ignore_case_harness.yml true 53.23 30.21 None aws-c-common/aws_hash_byte_cursor_ptr_harness.yml true 428.58 342.03 None aws-c-common/aws_hash_byte_cursor_ptr_ignore_case_harness.yml true 234.03 177.58 None aws-c-common/aws_hash_c_string_harness.yml true 37.78 22.23 None aws-c-common/aws_hash_callback_c_str_eq_harness.yml ERROR (7) 64.50 34.53 None aws-c-common/aws_hash_callback_string_destroy_harness.yml true 37.49 22.01 None aws-c-common/aws_hash_callback_string_eq_harness.yml OUT OF MEMORY 283.60 193.44 None aws-c-common/aws_hash_iter_begin_harness-1.yml TIMEOUT 900.59 855.39 None aws-c-common/aws_hash_iter_begin_harness.yml TIMEOUT 900.61 852.84 None aws-c-common/aws_hash_iter_delete_harness.yml true 72.01 43.91 None aws-c-common/aws_hash_iter_done_harness.yml TIMEOUT 900.90 826.72 None aws-c-common/aws_hash_iter_next_harness.yml TIMEOUT 900.61 856.71 None aws-c-common/aws_hash_ptr_harness.yml true 36.30 21.27 None aws-c-common/aws_hash_string_harness.yml true 323.76 263.64 None aws-c-common/aws_hash_table_eq_harness.yml TIMEOUT 900.50 866.73 None aws-c-common/aws_hash_table_find_harness.yml TIMEOUT 900.61 839.75 None aws-c-common/aws_hash_table_foreach_harness.yml TIMEOUT 900.54 859.64 None aws-c-common/aws_hash_table_get_entry_count_harness.yml TIMEOUT 900.56 868.31 None aws-c-common/aws_hash_table_init_bounded_harness.yml true 400.90 370.97 None aws-c-common/aws_hash_table_move_harness.yml TIMEOUT 900.67 872.22 None aws-c-common/aws_hash_table_swap_harness.yml TIMEOUT 900.65 849.26 None aws-c-common/aws_linked_list_back_harness.yml TIMEOUT 900.71 843.60 None aws-c-common/aws_linked_list_begin_harness.yml TIMEOUT 900.59 843.57 None aws-c-common/aws_linked_list_end_harness.yml TIMEOUT 900.55 852.77 None aws-c-common/aws_linked_list_front_harness.yml TIMEOUT 900.86 853.71 None aws-c-common/aws_linked_list_init_harness.yml true 77.62 45.15 None aws-c-common/aws_linked_list_insert_after_harness.yml true 70.33 40.28 None aws-c-common/aws_linked_list_insert_before_harness.yml true 72.99 40.75 None aws-c-common/aws_linked_list_next_harness.yml true 41.46 23.34 None aws-c-common/aws_linked_list_node_reset_harness-1.yml ERROR (7) 476.68 415.38 None aws-c-common/aws_linked_list_node_reset_harness.yml true 689.04 601.91 None aws-c-common/aws_linked_list_pop_back_harness.yml TIMEOUT 900.43 880.28 None aws-c-common/aws_linked_list_pop_front_harness.yml TIMEOUT 900.55 875.98 None aws-c-common/aws_linked_list_prev_harness.yml true 40.38 22.77 None aws-c-common/aws_linked_list_push_back_harness.yml TIMEOUT 900.55 856.81 None aws-c-common/aws_linked_list_push_front_harness.yml true 24.26 13.06 None aws-c-common/aws_linked_list_rbegin_harness.yml TIMEOUT 900.96 845.30 None aws-c-common/aws_linked_list_remove_harness.yml TIMEOUT 900.53 785.32 None aws-c-common/aws_linked_list_rend_harness.yml TIMEOUT 900.92 846.97 None aws-c-common/aws_linked_list_swap_contents_harness.yml TIMEOUT 901.85 852.31 None aws-c-common/aws_mul_size_checked_harness.yml TIMEOUT 900.51 870.32 None aws-c-common/aws_mul_size_saturating_harness.yml TIMEOUT 900.48 870.90 None aws-c-common/aws_nospec_mask_harness.yml ERROR (7) 82.49 45.20 None aws-c-common/aws_priority_queue_pop_harness.yml ERROR (7) 506.08 395.77 None aws-c-common/aws_priority_queue_push_harness.yml TIMEOUT 900.97 800.59 None aws-c-common/aws_priority_queue_push_ref_harness.yml TIMEOUT 900.71 830.39 None aws-c-common/aws_priority_queue_remove_harness.yml TIMEOUT 900.82 789.87 None aws-c-common/aws_priority_queue_s_sift_down_harness.yml TIMEOUT 901.01 782.99 None aws-c-common/aws_priority_queue_s_sift_either_harness.yml TIMEOUT 901.38 795.38 None aws-c-common/aws_priority_queue_s_sift_up_harness.yml TIMEOUT 901.01 811.66 None aws-c-common/aws_priority_queue_s_swap_harness.yml true 749.83 720.04 None aws-c-common/aws_ptr_eq_harness.yml true 23.08 12.55 None aws-c-common/aws_ring_buffer_acquire_harness.yml true 186.70 113.38 None aws-c-common/aws_ring_buffer_acquire_up_to_harness.yml true 169.87 105.99 None aws-c-common/aws_ring_buffer_clean_up_harness.yml true 110.66 68.44 None aws-c-common/aws_ring_buffer_init_harness.yml TIMEOUT 900.54 852.56 None aws-c-common/aws_ring_buffer_release_harness.yml true 109.99 64.25 None aws-c-common/aws_string_bytes_harness.yml true 25.87 13.92 None aws-c-common/aws_string_compare_harness.yml TIMEOUT 900.50 855.49 None aws-c-common/aws_string_destroy_harness.yml true 36.15 20.92 None aws-c-common/aws_string_destroy_secure_harness.yml TIMEOUT 900.62 849.51 None aws-c-common/aws_string_eq_byte_buf_harness.yml ERROR (7) 277.06 198.38 None aws-c-common/aws_string_eq_byte_buf_ignore_case_harness.yml true 657.35 559.48 None aws-c-common/aws_string_eq_byte_cursor_harness.yml TIMEOUT 900.67 821.18 None aws-c-common/aws_string_eq_byte_cursor_ignore_case_harness.yml true 604.95 509.36 None aws-c-common/aws_string_eq_c_str_harness.yml false(unreach-call) 65.35 34.28 None aws-c-common/aws_string_eq_c_str_ignore_case_harness.yml false(unreach-call) 53.78 28.44 None aws-c-common/aws_string_eq_harness.yml TIMEOUT 900.47 856.24 None aws-c-common/aws_string_eq_ignore_case_harness.yml OUT OF MEMORY 360.38 221.91 None aws-c-common/aws_string_new_from_array_harness.yml ERROR (7) 258.97 181.55 None aws-c-common/aws_string_new_from_c_str_harness.yml ERROR (7) 192.13 114.84 None aws-c-common/aws_string_new_from_string_harness.yml TIMEOUT 900.38 774.02 None aws-c-common/memcpy_using_uint64_harness.yml ERROR (7) 71.43 42.26 None aws-c-common/memset_override_0_harness.yml ERROR (7) 36.86 20.00 None aws-c-common/memset_using_uint64_harness.yml ERROR (7) 200.93 167.62 None ldv-linux-3.4-simple/32_1_cilled_ok_nondet_linux-3.4-32_1-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 50.86 27.29 None ldv-linux-3.4-simple/43_1a_cilled_ok_nondet_linux-43_1a-drivers--net--ppp--ppp_mppe.ko-ldv_main0_sequence_infinite_withcheck_stateful.cil.out.yml true 39.73 21.84 None ldv-linux-4.2-rc1/linux-4.2-rc1.tar.xz-32_7a-drivers--gpu--drm--amd--amdkfd--amdkfd.ko-entry_point.cil.out.yml TIMEOUT 900.72 835.56 None -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 15428.03 6159.94 - Statistics: 152 Files correct: 33 correct true: 33 correct false: 0 incorrect: 2 incorrect true: 0 incorrect false: 2 unknown: 117 Score: 34 (max: 298)