BENCHMARK INFORMATION benchmark definition: ../benchexec/uautomizer-unsound-memset-real.xml name: uautomizer-unsound-memset-real run sets: memset-real.All date: Mon, 2020-12-07 15:48:00 CET tool: ULTIMATE Automizer 0.2.1-678b828e 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 TIMEOUT 900.51 858.36 None aws-c-common/aws_add_size_saturating_harness.yml TIMEOUT 900.50 865.64 None aws-c-common/aws_array_eq_c_str_harness-1.yml ERROR (7) 110.95 65.22 None aws-c-common/aws_array_eq_c_str_harness.yml ERROR (7) 119.56 68.85 None aws-c-common/aws_array_eq_c_str_ignore_case_harness.yml ERROR (7) 110.15 64.71 None aws-c-common/aws_array_eq_harness-1.yml ERROR (7) 104.41 60.18 None aws-c-common/aws_array_eq_harness.yml ERROR (7) 732.55 638.62 None aws-c-common/aws_array_eq_ignore_case_harness.yml TIMEOUT 901.09 829.16 None aws-c-common/aws_array_list_back_harness.yml TIMEOUT 900.70 860.00 None aws-c-common/aws_array_list_capacity_harness.yml TIMEOUT 900.65 864.41 None aws-c-common/aws_array_list_clean_up_harness.yml TIMEOUT 900.45 878.52 None aws-c-common/aws_array_list_clear_harness.yml TIMEOUT 900.46 861.24 None aws-c-common/aws_array_list_comparator_string_harness.yml true 79.27 47.96 None aws-c-common/aws_array_list_copy_harness.yml TIMEOUT 901.03 820.80 None aws-c-common/aws_array_list_ensure_capacity_harness.yml TIMEOUT 900.28 863.19 None aws-c-common/aws_array_list_front_harness.yml true 47.06 26.92 None aws-c-common/aws_array_list_get_at_harness.yml TIMEOUT 900.61 855.59 None aws-c-common/aws_array_list_get_at_ptr_harness.yml TIMEOUT 900.61 856.29 None aws-c-common/aws_array_list_init_dynamic_harness.yml TIMEOUT 900.44 876.70 None aws-c-common/aws_array_list_init_static_harness.yml false(unreach-call) 378.12 324.21 None aws-c-common/aws_array_list_length_harness.yml TIMEOUT 900.56 878.61 None aws-c-common/aws_array_list_pop_front_harness.yml TIMEOUT 900.83 841.75 None aws-c-common/aws_array_list_pop_front_n_harness.yml TIMEOUT 901.05 863.17 None aws-c-common/aws_array_list_push_back_harness.yml TIMEOUT 900.81 835.90 None aws-c-common/aws_array_list_set_at_harness.yml TIMEOUT 900.84 835.14 None aws-c-common/aws_array_list_swap_contents_harness.yml TIMEOUT 900.45 878.27 None aws-c-common/aws_array_list_swap_harness.yml TIMEOUT 900.51 873.56 None aws-c-common/aws_byte_buf_append_dynamic_harness.yml TIMEOUT 901.10 784.23 None aws-c-common/aws_byte_buf_append_harness.yml TIMEOUT 901.25 760.03 None aws-c-common/aws_byte_buf_append_with_lookup_harness.yml TIMEOUT 900.35 792.04 None aws-c-common/aws_byte_buf_eq_c_str_harness.yml ERROR (7) 489.41 384.18 None aws-c-common/aws_byte_buf_eq_c_str_ignore_case_harness.yml ERROR (7) 428.71 328.39 None aws-c-common/aws_byte_buf_eq_harness.yml TIMEOUT 900.20 797.39 None aws-c-common/aws_byte_buf_eq_ignore_case_harness.yml TIMEOUT 900.42 790.73 None aws-c-common/aws_byte_buf_from_array_harness.yml true 293.31 220.62 None aws-c-common/aws_byte_buf_from_c_str_harness-1.yml ERROR (7) 159.06 92.55 None aws-c-common/aws_byte_buf_from_c_str_harness.yml ERROR (7) 273.56 190.70 None aws-c-common/aws_byte_buf_from_empty_array_harness.yml true 247.20 162.40 None aws-c-common/aws_byte_buf_init_copy_from_cursor_harness.yml TIMEOUT 900.72 827.91 None aws-c-common/aws_byte_buf_init_copy_harness.yml TIMEOUT 901.02 752.05 None aws-c-common/aws_byte_buf_init_harness.yml true 220.09 142.71 None aws-c-common/aws_byte_buf_write_be16_harness.yml TIMEOUT 900.98 769.27 None aws-c-common/aws_byte_buf_write_be32_harness.yml TIMEOUT 900.40 782.11 None aws-c-common/aws_byte_buf_write_be64_harness.yml TIMEOUT 901.12 773.65 None aws-c-common/aws_byte_buf_write_from_whole_buffer_harness-1.yml TIMEOUT 900.25 772.39 None aws-c-common/aws_byte_buf_write_from_whole_buffer_harness.yml TIMEOUT 901.12 788.34 None aws-c-common/aws_byte_buf_write_from_whole_cursor_harness.yml TIMEOUT 901.09 791.46 None aws-c-common/aws_byte_buf_write_from_whole_string_harness.yml true 719.35 605.18 None aws-c-common/aws_byte_buf_write_harness.yml TIMEOUT 900.86 797.03 None aws-c-common/aws_byte_buf_write_u8_harness.yml TIMEOUT 900.42 774.12 None aws-c-common/aws_byte_cursor_advance_harness.yml TIMEOUT 900.94 804.23 None aws-c-common/aws_byte_cursor_advance_nospec_harness.yml ERROR (7) 106.58 62.98 None aws-c-common/aws_byte_cursor_compare_lexical_harness.yml TIMEOUT 900.96 783.80 None aws-c-common/aws_byte_cursor_compare_lookup_harness.yml TIMEOUT 900.27 766.52 None aws-c-common/aws_byte_cursor_eq_byte_buf_harness.yml TIMEOUT 901.12 770.66 None aws-c-common/aws_byte_cursor_eq_byte_buf_ignore_case_harness.yml TIMEOUT 900.14 771.01 None aws-c-common/aws_byte_cursor_eq_c_str_harness.yml ERROR (7) 175.18 104.03 None aws-c-common/aws_byte_cursor_eq_c_str_ignore_case_harness.yml ERROR (7) 165.61 96.64 None aws-c-common/aws_byte_cursor_eq_harness.yml TIMEOUT 900.63 782.15 None aws-c-common/aws_byte_cursor_eq_ignore_case_harness.yml TIMEOUT 900.24 778.98 None aws-c-common/aws_byte_cursor_from_array_harness.yml true 165.61 113.02 None aws-c-common/aws_byte_cursor_from_buf_harness.yml TIMEOUT 900.98 782.30 None aws-c-common/aws_byte_cursor_from_c_str_harness.yml ERROR (7) 143.83 92.06 None aws-c-common/aws_byte_cursor_from_string_harness.yml true 63.22 35.08 None aws-c-common/aws_byte_cursor_left_trim_pred_harness.yml TIMEOUT 901.11 774.38 None aws-c-common/aws_byte_cursor_read_and_fill_buffer_harness.yml ERROR (7) 869.98 732.59 None aws-c-common/aws_byte_cursor_read_be16_harness.yml ERROR (7) 334.65 221.67 None aws-c-common/aws_byte_cursor_read_be32_harness.yml TIMEOUT 900.72 803.44 None aws-c-common/aws_byte_cursor_read_be64_harness.yml TIMEOUT 900.17 849.09 None aws-c-common/aws_byte_cursor_read_harness.yml ERROR (7) 131.61 82.90 None aws-c-common/aws_byte_cursor_read_u8_harness.yml ERROR (7) 357.11 256.10 None aws-c-common/aws_byte_cursor_right_trim_pred_harness.yml TIMEOUT 900.76 796.54 None aws-c-common/aws_byte_cursor_satisfies_pred_harness.yml TIMEOUT 900.83 787.39 None aws-c-common/aws_byte_cursor_trim_pred_harness.yml TIMEOUT 900.88 777.06 None aws-c-common/aws_hash_array_ignore_case_harness.yml true 54.18 31.06 None aws-c-common/aws_hash_byte_cursor_ptr_harness.yml true 553.07 442.59 None aws-c-common/aws_hash_byte_cursor_ptr_ignore_case_harness.yml true 231.86 168.65 None aws-c-common/aws_hash_c_string_harness.yml true 52.62 30.32 None aws-c-common/aws_hash_callback_c_str_eq_harness.yml ERROR (7) 77.38 41.09 None aws-c-common/aws_hash_callback_string_destroy_harness.yml true 40.76 23.70 None aws-c-common/aws_hash_callback_string_eq_harness.yml true 50.32 26.53 None aws-c-common/aws_hash_iter_begin_harness-1.yml TIMEOUT 900.55 855.99 None aws-c-common/aws_hash_iter_begin_harness.yml TIMEOUT 900.68 838.40 None aws-c-common/aws_hash_iter_delete_harness.yml true 86.46 50.44 None aws-c-common/aws_hash_iter_done_harness.yml TIMEOUT 900.88 848.38 None aws-c-common/aws_hash_iter_next_harness.yml TIMEOUT 900.57 857.33 None aws-c-common/aws_hash_ptr_harness.yml true 35.41 20.89 None aws-c-common/aws_hash_string_harness.yml true 44.20 25.29 None aws-c-common/aws_hash_table_eq_harness.yml TIMEOUT 900.60 858.03 None aws-c-common/aws_hash_table_find_harness.yml TIMEOUT 900.64 829.28 None aws-c-common/aws_hash_table_foreach_harness.yml TIMEOUT 900.54 855.76 None aws-c-common/aws_hash_table_get_entry_count_harness.yml TIMEOUT 900.53 875.10 None aws-c-common/aws_hash_table_init_bounded_harness.yml TIMEOUT 900.53 873.39 None aws-c-common/aws_hash_table_move_harness.yml TIMEOUT 900.51 873.54 None aws-c-common/aws_hash_table_swap_harness.yml TIMEOUT 900.62 853.07 None aws-c-common/aws_linked_list_back_harness.yml TIMEOUT 900.12 843.74 None aws-c-common/aws_linked_list_begin_harness.yml TIMEOUT 900.60 851.41 None aws-c-common/aws_linked_list_end_harness.yml TIMEOUT 900.55 857.25 None aws-c-common/aws_linked_list_front_harness.yml TIMEOUT 901.90 840.32 None aws-c-common/aws_linked_list_init_harness.yml true 74.09 42.66 None aws-c-common/aws_linked_list_insert_after_harness.yml true 73.90 42.32 None aws-c-common/aws_linked_list_insert_before_harness.yml true 106.22 57.93 None aws-c-common/aws_linked_list_next_harness.yml true 46.46 25.66 None aws-c-common/aws_linked_list_node_reset_harness-1.yml ERROR (7) 853.86 753.11 None aws-c-common/aws_linked_list_node_reset_harness.yml ERROR (7) 319.32 260.46 None aws-c-common/aws_linked_list_pop_back_harness.yml TIMEOUT 900.57 875.96 None aws-c-common/aws_linked_list_pop_front_harness.yml TIMEOUT 901.13 873.97 None aws-c-common/aws_linked_list_prev_harness.yml true 68.42 35.85 None aws-c-common/aws_linked_list_push_back_harness.yml TIMEOUT 900.50 857.94 None aws-c-common/aws_linked_list_push_front_harness.yml true 41.13 21.67 None aws-c-common/aws_linked_list_rbegin_harness.yml TIMEOUT 900.62 851.70 None aws-c-common/aws_linked_list_remove_harness.yml ERROR (7) 325.27 263.65 None aws-c-common/aws_linked_list_rend_harness.yml TIMEOUT 900.53 857.20 None aws-c-common/aws_linked_list_swap_contents_harness.yml TIMEOUT 900.97 838.33 None aws-c-common/aws_mul_size_checked_harness.yml TIMEOUT 900.68 854.41 None aws-c-common/aws_mul_size_saturating_harness.yml TIMEOUT 900.44 877.76 None aws-c-common/aws_nospec_mask_harness.yml ERROR (7) 69.54 39.03 None aws-c-common/aws_priority_queue_pop_harness.yml TIMEOUT 900.80 816.72 None aws-c-common/aws_priority_queue_push_harness.yml TIMEOUT 901.03 804.32 None aws-c-common/aws_priority_queue_push_ref_harness.yml TIMEOUT 900.75 822.22 None aws-c-common/aws_priority_queue_remove_harness.yml TIMEOUT 900.88 810.62 None aws-c-common/aws_priority_queue_s_sift_down_harness.yml TIMEOUT 901.17 787.01 None aws-c-common/aws_priority_queue_s_sift_either_harness.yml TIMEOUT 901.19 768.47 None aws-c-common/aws_priority_queue_s_sift_up_harness.yml TIMEOUT 900.63 806.08 None aws-c-common/aws_priority_queue_s_swap_harness.yml true 839.72 813.23 None aws-c-common/aws_ptr_eq_harness.yml true 22.14 12.13 None aws-c-common/aws_ring_buffer_acquire_harness.yml true 194.39 111.62 None aws-c-common/aws_ring_buffer_acquire_up_to_harness.yml true 185.62 112.91 None aws-c-common/aws_ring_buffer_clean_up_harness.yml true 102.05 64.81 None aws-c-common/aws_ring_buffer_init_harness.yml TIMEOUT 900.53 860.55 None aws-c-common/aws_ring_buffer_release_harness.yml true 94.41 57.60 None aws-c-common/aws_string_bytes_harness.yml true 20.83 11.22 None aws-c-common/aws_string_compare_harness.yml true 61.86 34.71 None aws-c-common/aws_string_destroy_harness.yml true 33.98 20.24 None aws-c-common/aws_string_destroy_secure_harness.yml true 56.00 31.72 None aws-c-common/aws_string_eq_byte_buf_harness.yml true 160.85 97.37 None aws-c-common/aws_string_eq_byte_buf_ignore_case_harness.yml true 150.62 94.40 None aws-c-common/aws_string_eq_byte_cursor_harness.yml true 114.57 71.41 None aws-c-common/aws_string_eq_byte_cursor_ignore_case_harness.yml true 113.48 71.32 None aws-c-common/aws_string_eq_c_str_harness.yml true 34.64 18.49 None aws-c-common/aws_string_eq_c_str_ignore_case_harness.yml true 36.70 19.38 None aws-c-common/aws_string_eq_harness.yml true 26.04 13.96 None aws-c-common/aws_string_eq_ignore_case_harness.yml true 32.82 17.45 None aws-c-common/aws_string_new_from_array_harness.yml TIMEOUT 900.81 818.19 None aws-c-common/aws_string_new_from_c_str_harness.yml TIMEOUT 900.63 838.12 None aws-c-common/aws_string_new_from_string_harness.yml true 68.73 41.25 None aws-c-common/memcpy_using_uint64_harness.yml TIMEOUT 900.55 788.36 None aws-c-common/memset_override_0_harness.yml false(unreach-call) 54.53 32.85 None aws-c-common/memset_using_uint64_harness.yml TIMEOUT 900.41 808.29 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 52.52 28.56 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 43.32 23.37 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.70 840.97 None -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done 13721.85 6000.80 - Statistics: 152 Files correct: 44 correct true: 44 correct false: 0 incorrect: 2 incorrect true: 0 incorrect false: 2 unknown: 106 Score: 56 (max: 298)