BENCHMARK INFORMATION benchmark definition: ../benchexec/automizer.xml name: automizer run sets: Automizer-Slice.AWS, Automizer.AWS date: Thu, 2023-11-23 06:33:37 CET tool: ULTIMATE Automizer 0.2.3-abd6749d tool executable: ./Ultimate.py options: --full-output parallel runs: 14 resource limits: - memory: 8000.0 MB - time: 300 s - cpu cores: 2 hardware requirements: - cpu cores: 2 - memory: 8000.0 MB ------------------------------------------------------------ SYSTEM INFORMATION host: bench-02 os: Linux-5.15.108-1-pve-x86_64-with-glibc2.36 cpu: AMD Ryzen Threadripper 3970X 32-Core Processor - cores: 32 - max frequency: 3700.0 MHz - turbo boost enabled: True ram: 137438.953472 MB ------------------------------------------------------------ Automizer-Slice.AWS Run set 1 of 2 with options '--full-output --preprocessor.use.memory.slicer true' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------- aws_add_size_checked_harness.yml unknown 97.22 79.16 None aws_add_size_checked_harness_negated.yml unknown 58.13 46.14 None aws_add_size_saturating_harness.yml unknown 66.71 53.74 None aws_add_size_saturating_harness_negated.yml unknown 64.82 53.75 None aws_array_eq_c_str_harness-1.yml OUT OF MEMORY 272.47 204.72 None aws_array_eq_c_str_harness.yml unknown 145.53 93.59 None aws_array_eq_c_str_harness_negated.yml unknown 85.67 59.59 None aws_array_eq_c_str_ignore_case_harness.yml unknown 134.76 86.46 None aws_array_eq_c_str_ignore_case_harness_negated.yml unknown 74.06 47.27 None aws_array_eq_harness-1.yml unknown 99.28 68.06 None aws_array_eq_harness.yml TIMEOUT 300.71 252.05 None aws_array_eq_harness_negated.yml unknown 59.81 42.10 None aws_array_eq_ignore_case_harness.yml TIMEOUT 300.70 255.80 None aws_array_eq_ignore_case_harness_negated.yml unknown 60.52 40.48 None aws_array_list_back_harness.yml TIMEOUT 300.28 275.13 None aws_array_list_back_harness_negated.yml unknown 296.79 271.28 None aws_array_list_capacity_harness.yml TIMEOUT 301.75 275.32 None aws_array_list_capacity_harness_negated.yml unknown 247.07 228.70 None aws_array_list_clean_up_harness.yml TIMEOUT 300.32 275.96 None aws_array_list_clean_up_harness_negated.yml TIMEOUT 301.08 283.63 None aws_array_list_clear_harness.yml TIMEOUT 300.13 270.21 None aws_array_list_clear_harness_negated.yml TIMEOUT 300.13 277.82 None aws_array_list_comparator_string_harness.yml true 114.04 79.06 None aws_array_list_comparator_string_harness_negated.yml true 84.77 55.26 None aws_array_list_copy_harness.yml TIMEOUT 300.32 270.83 None aws_array_list_copy_harness_negated.yml TIMEOUT 300.38 267.34 None aws_array_list_ensure_capacity_harness.yml TIMEOUT 301.34 275.15 None aws_array_list_ensure_capacity_harness_negated.yml unknown 244.13 224.64 None aws_array_list_erase_harness.yml true 22.03 12.96 None aws_array_list_erase_harness_negated.yml true 22.45 13.06 None aws_array_list_front_harness.yml true 32.89 19.18 None aws_array_list_front_harness_negated.yml true 34.03 20.08 None aws_array_list_get_at_harness.yml TIMEOUT 300.81 267.75 None aws_array_list_get_at_harness_negated.yml unknown 221.81 197.83 None aws_array_list_get_at_ptr_harness.yml TIMEOUT 300.72 264.49 None aws_array_list_get_at_ptr_harness_negated.yml unknown 207.01 184.41 None aws_array_list_init_dynamic_harness.yml TIMEOUT 300.63 252.73 None aws_array_list_init_dynamic_harness_negated.yml TIMEOUT 301.00 289.60 None aws_array_list_init_static_harness.yml TIMEOUT 300.25 273.87 None aws_array_list_init_static_harness_negated.yml TIMEOUT 301.13 285.56 None aws_array_list_length_harness.yml TIMEOUT 300.24 284.17 None aws_array_list_length_harness_negated.yml TIMEOUT 300.24 281.81 None aws_array_list_pop_back_harness.yml TIMEOUT 300.51 248.89 None aws_array_list_pop_back_harness_negated.yml TIMEOUT 301.04 284.15 None aws_array_list_pop_front_harness.yml TIMEOUT 300.35 271.50 None aws_array_list_pop_front_harness_negated.yml TIMEOUT 301.08 282.62 None aws_array_list_pop_front_n_harness.yml TIMEOUT 300.94 269.31 None aws_array_list_pop_front_n_harness_negated.yml TIMEOUT 300.50 265.12 None aws_array_list_push_back_harness.yml TIMEOUT 301.05 283.16 None aws_array_list_push_back_harness_negated.yml TIMEOUT 300.13 277.31 None aws_array_list_set_at_harness.yml TIMEOUT 300.32 275.30 None aws_array_list_set_at_harness_negated.yml TIMEOUT 300.16 273.74 None aws_array_list_shrink_to_fit_harness.yml TIMEOUT 300.35 266.84 None aws_array_list_shrink_to_fit_harness_negated.yml TIMEOUT 300.39 266.76 None aws_array_list_sort_harness.yml ERROR (7) 19.18 11.80 None aws_array_list_sort_harness_negated.yml ERROR (7) 18.51 10.91 None aws_array_list_swap_contents_harness.yml TIMEOUT 300.42 279.85 None aws_array_list_swap_contents_harness_negated.yml TIMEOUT 300.13 277.28 None aws_array_list_swap_harness.yml TIMEOUT 301.06 283.74 None aws_array_list_swap_harness_negated.yml TIMEOUT 300.26 270.35 None aws_byte_buf_advance_harness.yml TIMEOUT 300.53 269.34 None aws_byte_buf_advance_harness_negated.yml TIMEOUT 300.15 277.58 None aws_byte_buf_append_dynamic_harness.yml TIMEOUT 300.91 246.26 None aws_byte_buf_append_dynamic_harness_negated.yml TIMEOUT 300.97 253.43 None aws_byte_buf_append_harness.yml TIMEOUT 300.86 252.18 None aws_byte_buf_append_harness_negated.yml TIMEOUT 300.92 252.07 None aws_byte_buf_append_with_lookup_harness.yml TIMEOUT 301.05 244.86 None aws_byte_buf_append_with_lookup_harness_negated.yml TIMEOUT 300.71 254.71 None aws_byte_buf_cat_harness.yml TIMEOUT 300.75 249.90 None aws_byte_buf_cat_harness_negated.yml TIMEOUT 301.11 231.14 None aws_byte_buf_clean_up_harness.yml true 85.99 53.06 None aws_byte_buf_clean_up_harness_negated.yml TIMEOUT 300.20 270.72 None aws_byte_buf_clean_up_secure_harness.yml TIMEOUT 301.21 255.33 None aws_byte_buf_clean_up_secure_harness_negated.yml TIMEOUT 300.86 255.87 None aws_byte_buf_eq_c_str_harness.yml TIMEOUT 300.65 219.07 None aws_byte_buf_eq_c_str_harness_negated.yml TIMEOUT 300.33 268.52 None aws_byte_buf_eq_c_str_ignore_case_harness.yml TIMEOUT 300.82 257.16 None aws_byte_buf_eq_c_str_ignore_case_harness_negated.yml TIMEOUT 300.68 258.21 None aws_byte_buf_eq_harness.yml TIMEOUT 300.29 271.81 None aws_byte_buf_eq_harness_negated.yml TIMEOUT 301.83 266.65 None aws_byte_buf_eq_ignore_case_harness.yml TIMEOUT 300.42 266.13 None aws_byte_buf_eq_ignore_case_harness_negated.yml TIMEOUT 300.93 261.14 None aws_byte_buf_from_array_harness.yml TIMEOUT 300.58 250.13 None aws_byte_buf_from_array_harness_negated.yml unknown 62.91 47.61 None aws_byte_buf_from_c_str_harness-1.yml TIMEOUT 300.50 260.87 None aws_byte_buf_from_c_str_harness.yml TIMEOUT 300.75 258.00 None aws_byte_buf_from_c_str_harness_negated.yml unknown 49.58 33.65 None aws_byte_buf_from_empty_array_harness.yml true 109.44 73.19 None aws_byte_buf_from_empty_array_harness_negated.yml unknown 75.18 52.11 None aws_byte_buf_init_copy_from_cursor_harness.yml TIMEOUT 300.68 259.92 None aws_byte_buf_init_copy_from_cursor_harness_negated.yml TIMEOUT 300.32 264.58 None aws_byte_buf_init_copy_harness.yml TIMEOUT 300.66 245.83 None aws_byte_buf_init_copy_harness_negated.yml TIMEOUT 300.27 270.19 None aws_byte_buf_init_harness.yml true 102.94 69.00 None aws_byte_buf_init_harness_negated.yml unknown 100.23 84.29 None aws_byte_buf_reserve_harness.yml TIMEOUT 300.77 261.14 None aws_byte_buf_reserve_harness_negated.yml TIMEOUT 300.86 258.70 None aws_byte_buf_reserve_relative_harness.yml TIMEOUT 300.48 271.09 None aws_byte_buf_reserve_relative_harness_negated.yml TIMEOUT 300.33 270.15 None aws_byte_buf_reset_harness.yml TIMEOUT 300.91 249.74 None aws_byte_buf_reset_harness_negated.yml unknown 167.96 144.07 None aws_byte_buf_secure_zero_harness.yml TIMEOUT 300.40 240.08 None aws_byte_buf_secure_zero_harness_negated.yml TIMEOUT 301.03 237.60 None aws_byte_buf_write_be16_harness.yml TIMEOUT 301.08 258.01 None aws_byte_buf_write_be16_harness_negated.yml TIMEOUT 300.94 255.51 None aws_byte_buf_write_be32_harness.yml TIMEOUT 300.79 247.47 None aws_byte_buf_write_be32_harness_negated.yml TIMEOUT 300.77 245.86 None aws_byte_buf_write_be64_harness.yml TIMEOUT 300.78 222.80 None aws_byte_buf_write_be64_harness_negated.yml TIMEOUT 300.57 258.71 None aws_byte_buf_write_from_whole_buffer_harness-1.yml TIMEOUT 301.15 279.57 None aws_byte_buf_write_from_whole_buffer_harness.yml TIMEOUT 300.69 255.77 None aws_byte_buf_write_from_whole_buffer_harness_negated.yml TIMEOUT 300.31 265.58 None aws_byte_buf_write_from_whole_cursor_harness.yml TIMEOUT 300.79 251.33 None aws_byte_buf_write_from_whole_cursor_harness_negated.yml TIMEOUT 300.36 262.50 None aws_byte_buf_write_from_whole_string_harness.yml TIMEOUT 300.97 252.91 None aws_byte_buf_write_from_whole_string_harness_negated.yml unknown 171.85 128.97 None aws_byte_buf_write_harness.yml TIMEOUT 300.55 256.61 None aws_byte_buf_write_harness_negated.yml TIMEOUT 300.73 254.30 None aws_byte_buf_write_u8_harness.yml TIMEOUT 300.96 254.14 None aws_byte_buf_write_u8_harness_negated.yml TIMEOUT 301.31 232.28 None aws_byte_cursor_advance_harness.yml TIMEOUT 300.22 255.73 None aws_byte_cursor_advance_harness_negated.yml unknown 118.56 98.66 None aws_byte_cursor_advance_nospec_harness.yml TIMEOUT 301.12 240.22 None aws_byte_cursor_advance_nospec_harness_negated.yml TIMEOUT 300.32 267.83 None aws_byte_cursor_compare_lexical_harness.yml TIMEOUT 300.27 267.44 None aws_byte_cursor_compare_lexical_harness_negated.yml TIMEOUT 300.96 273.81 None aws_byte_cursor_compare_lookup_harness.yml TIMEOUT 300.94 261.62 None aws_byte_cursor_compare_lookup_harness_negated.yml unknown 108.46 88.08 None aws_byte_cursor_eq_byte_buf_harness.yml TIMEOUT 300.80 245.72 None aws_byte_cursor_eq_byte_buf_harness_negated.yml TIMEOUT 300.93 246.95 None aws_byte_cursor_eq_byte_buf_ignore_case_harness.yml TIMEOUT 300.75 250.82 None aws_byte_cursor_eq_byte_buf_ignore_case_harness_negated.yml TIMEOUT 300.56 255.17 None aws_byte_cursor_eq_c_str_harness.yml TIMEOUT 300.83 253.14 None aws_byte_cursor_eq_c_str_harness_negated.yml unknown 84.48 63.73 None aws_byte_cursor_eq_c_str_ignore_case_harness.yml TIMEOUT 301.21 232.01 None aws_byte_cursor_eq_c_str_ignore_case_harness_negated.yml unknown 77.37 57.65 None aws_byte_cursor_eq_harness.yml TIMEOUT 301.04 253.21 None aws_byte_cursor_eq_harness_negated.yml TIMEOUT 300.44 266.30 None aws_byte_cursor_eq_ignore_case_harness.yml TIMEOUT 300.69 275.99 None aws_byte_cursor_eq_ignore_case_harness_negated.yml TIMEOUT 300.43 266.70 None aws_byte_cursor_from_array_harness.yml true 56.48 31.38 None aws_byte_cursor_from_array_harness_negated.yml unknown 54.45 39.02 None aws_byte_cursor_from_buf_harness.yml TIMEOUT 300.89 250.75 None aws_byte_cursor_from_buf_harness_negated.yml TIMEOUT 300.38 270.95 None aws_byte_cursor_from_c_str_harness.yml unknown 176.14 142.37 None aws_byte_cursor_from_c_str_harness_negated.yml unknown 50.02 34.84 None aws_byte_cursor_from_string_harness.yml TIMEOUT 301.13 262.77 None aws_byte_cursor_from_string_harness_negated.yml true 53.45 30.95 None aws_byte_cursor_left_trim_pred_harness.yml TIMEOUT 300.96 248.92 None aws_byte_cursor_left_trim_pred_harness_negated.yml unknown 90.53 71.41 None aws_byte_cursor_read_and_fill_buffer_harness.yml TIMEOUT 300.51 255.71 None aws_byte_cursor_read_and_fill_buffer_harness_negated.yml TIMEOUT 300.61 247.49 None aws_byte_cursor_read_be16_harness.yml TIMEOUT 301.00 254.64 None aws_byte_cursor_read_be16_harness_negated.yml TIMEOUT 301.23 245.55 None aws_byte_cursor_read_be32_harness.yml TIMEOUT 300.79 256.56 None aws_byte_cursor_read_be32_harness_negated.yml TIMEOUT 300.86 246.42 None aws_byte_cursor_read_be64_harness.yml TIMEOUT 301.52 246.96 None aws_byte_cursor_read_be64_harness_negated.yml TIMEOUT 300.40 264.11 None aws_byte_cursor_read_harness.yml TIMEOUT 300.45 262.62 None aws_byte_cursor_read_harness_negated.yml TIMEOUT 300.21 267.99 None aws_byte_cursor_read_u8_harness.yml TIMEOUT 300.31 241.67 None aws_byte_cursor_read_u8_harness_negated.yml TIMEOUT 300.48 274.82 None aws_byte_cursor_right_trim_pred_harness.yml TIMEOUT 300.98 242.09 None aws_byte_cursor_right_trim_pred_harness_negated.yml unknown 98.92 83.53 None aws_byte_cursor_satisfies_pred_harness.yml TIMEOUT 300.54 259.21 None aws_byte_cursor_satisfies_pred_harness_negated.yml unknown 80.11 61.05 None aws_byte_cursor_trim_pred_harness.yml TIMEOUT 300.64 256.70 None aws_byte_cursor_trim_pred_harness_negated.yml unknown 159.96 125.60 None aws_hash_array_ignore_case_harness.yml true 21.89 13.13 None aws_hash_array_ignore_case_harness_negated.yml unknown 44.52 29.70 None aws_hash_byte_cursor_ptr_harness.yml TIMEOUT 300.54 257.40 None aws_hash_byte_cursor_ptr_harness_negated.yml ERROR (7) 39.13 23.05 None aws_hash_byte_cursor_ptr_ignore_case_harness.yml true 64.54 40.44 None aws_hash_byte_cursor_ptr_ignore_case_harness_negated.yml unknown 78.60 60.36 None aws_hash_c_string_harness.yml true 22.34 12.42 None aws_hash_c_string_harness_negated.yml true 16.54 9.81 None aws_hash_callback_c_str_eq_harness.yml ERROR (7) 54.74 30.38 None aws_hash_callback_c_str_eq_harness_negated.yml ERROR (7) 28.33 16.36 None aws_hash_callback_string_destroy_harness.yml true 15.60 9.20 None aws_hash_callback_string_destroy_harness_negated.yml true 15.53 8.71 None aws_hash_callback_string_eq_harness.yml TIMEOUT 300.76 258.93 None aws_hash_callback_string_eq_harness_negated.yml false(unreach-call) 37.19 21.66 None aws_hash_iter_begin_harness-1.yml TIMEOUT 300.81 252.68 None aws_hash_iter_begin_harness.yml TIMEOUT 300.70 238.86 None aws_hash_iter_begin_harness_negated.yml TIMEOUT 300.69 255.43 None aws_hash_iter_delete_harness.yml true 218.06 183.66 None aws_hash_iter_delete_harness_negated.yml true 95.37 68.29 None aws_hash_iter_done_harness.yml TIMEOUT 300.59 267.42 None aws_hash_iter_done_harness_negated.yml ERROR (7) 295.69 234.09 None aws_hash_iter_next_harness.yml TIMEOUT 300.55 266.74 None aws_hash_iter_next_harness_negated.yml TIMEOUT 300.78 251.67 None aws_hash_ptr_harness.yml true 16.43 9.61 None aws_hash_ptr_harness_negated.yml true 16.40 9.77 None aws_hash_string_harness.yml TIMEOUT 300.50 271.49 None aws_hash_string_harness_negated.yml ERROR (7) 39.69 24.72 None aws_hash_table_clean_up_harness.yml TIMEOUT 300.25 264.13 None aws_hash_table_clean_up_harness_negated.yml ERROR (7) 138.83 103.84 None aws_hash_table_clear_harness.yml TIMEOUT 300.70 258.03 None aws_hash_table_clear_harness_negated.yml ERROR (7) 130.53 94.96 None aws_hash_table_create_harness.yml TIMEOUT 300.44 261.37 None aws_hash_table_create_harness_negated.yml TIMEOUT 300.41 272.38 None aws_hash_table_eq_harness.yml ERROR (7) 36.96 20.53 None aws_hash_table_eq_harness_negated.yml ERROR (7) 29.32 16.73 None aws_hash_table_find_harness.yml TIMEOUT 300.68 252.02 None aws_hash_table_find_harness_negated.yml TIMEOUT 300.69 252.01 None aws_hash_table_foreach_harness.yml TIMEOUT 301.14 238.71 None aws_hash_table_foreach_harness_negated.yml TIMEOUT 300.60 244.32 None aws_hash_table_get_entry_count_harness.yml ERROR (7) 151.75 121.47 None aws_hash_table_get_entry_count_harness_negated.yml ERROR (7) 93.18 64.37 None aws_hash_table_init_bounded_harness.yml OUT OF MEMORY 250.90 205.81 None aws_hash_table_init_bounded_harness_negated.yml TIMEOUT 300.25 276.36 None aws_hash_table_init_unbounded_harness.yml TIMEOUT 300.71 271.68 None aws_hash_table_init_unbounded_harness_negated.yml TIMEOUT 300.42 273.75 None aws_hash_table_move_harness.yml ERROR (7) 287.13 240.37 None aws_hash_table_move_harness_negated.yml ERROR (7) 274.91 236.21 None aws_hash_table_put_harness.yml TIMEOUT 301.16 252.11 None aws_hash_table_put_harness_negated.yml TIMEOUT 300.79 256.60 None aws_hash_table_remove_harness.yml TIMEOUT 300.31 267.05 None aws_hash_table_remove_harness_negated.yml TIMEOUT 300.47 262.99 None aws_hash_table_swap_harness.yml ERROR (7) 287.09 229.83 None aws_hash_table_swap_harness_negated.yml ERROR (7) 227.48 176.81 None aws_is_power_of_two_harness.yml unknown 19.89 11.07 None aws_is_power_of_two_harness_negated.yml unknown 14.72 9.34 None aws_linked_list_back_harness.yml TIMEOUT 301.74 268.17 None aws_linked_list_back_harness_negated.yml TIMEOUT 300.45 269.47 None aws_linked_list_begin_harness.yml TIMEOUT 300.52 249.98 None aws_linked_list_begin_harness_negated.yml false(unreach-call) 288.36 256.99 None aws_linked_list_end_harness.yml TIMEOUT 300.27 269.14 None aws_linked_list_end_harness_negated.yml TIMEOUT 300.35 271.86 None aws_linked_list_front_harness.yml TIMEOUT 301.23 276.16 None aws_linked_list_front_harness_negated.yml TIMEOUT 301.12 279.91 None aws_linked_list_init_harness.yml true 296.15 264.26 None aws_linked_list_init_harness_negated.yml false(unreach-call) 24.67 13.67 None aws_linked_list_insert_after_harness.yml TIMEOUT 300.65 270.68 None aws_linked_list_insert_after_harness_negated.yml false(unreach-call) 13.76 8.03 None aws_linked_list_insert_before_harness.yml ERROR (7) 126.89 92.70 None aws_linked_list_insert_before_harness_negated.yml false(unreach-call) 17.20 10.77 None aws_linked_list_next_harness.yml true 62.88 40.37 None aws_linked_list_next_harness_negated.yml false(unreach-call) 16.31 10.44 None aws_linked_list_node_reset_harness-1.yml TIMEOUT 300.46 266.78 None aws_linked_list_node_reset_harness.yml TIMEOUT 300.22 276.63 None aws_linked_list_node_reset_harness_negated.yml false(unreach-call) 104.85 67.73 None aws_linked_list_pop_back_harness.yml TIMEOUT 300.70 269.09 None aws_linked_list_pop_back_harness_negated.yml TIMEOUT 300.22 281.54 None aws_linked_list_pop_front_harness.yml TIMEOUT 301.02 285.51 None aws_linked_list_pop_front_harness_negated.yml TIMEOUT 300.70 267.88 None aws_linked_list_prev_harness.yml true 45.26 28.15 None aws_linked_list_prev_harness_negated.yml false(unreach-call) 17.74 9.72 None aws_linked_list_push_back_harness.yml TIMEOUT 300.43 268.04 None aws_linked_list_push_back_harness_negated.yml false(unreach-call) 63.39 46.35 None aws_linked_list_push_front_harness.yml TIMEOUT 300.26 277.41 None aws_linked_list_push_front_harness_negated.yml true 32.66 20.47 None aws_linked_list_rbegin_harness.yml TIMEOUT 300.18 275.48 None aws_linked_list_rbegin_harness_negated.yml TIMEOUT 300.32 276.78 None aws_linked_list_remove_harness.yml TIMEOUT 300.50 262.94 None aws_linked_list_remove_harness_negated.yml TIMEOUT 300.41 277.01 None aws_linked_list_rend_harness.yml TIMEOUT 300.67 274.19 None aws_linked_list_rend_harness_negated.yml false(unreach-call) 199.56 169.60 None aws_linked_list_swap_contents_harness.yml TIMEOUT 301.52 286.72 None aws_linked_list_swap_contents_harness_negated.yml TIMEOUT 300.20 283.71 None aws_mul_size_checked_harness.yml TIMEOUT 301.08 281.16 None aws_mul_size_checked_harness_negated.yml unknown 81.64 68.96 None aws_mul_size_saturating_harness.yml unknown 63.72 51.86 None aws_mul_size_saturating_harness_negated.yml unknown 60.76 50.52 None aws_nospec_mask_harness.yml true 48.02 27.97 None aws_nospec_mask_harness_negated.yml unknown 43.16 24.51 None aws_priority_queue_capacity_harness.yml TIMEOUT 300.41 271.40 None aws_priority_queue_capacity_harness_negated.yml TIMEOUT 300.14 280.14 None aws_priority_queue_clean_up_harness.yml TIMEOUT 300.23 272.24 None aws_priority_queue_clean_up_harness_negated.yml TIMEOUT 300.47 255.84 None aws_priority_queue_init_dynamic_harness-1.yml TIMEOUT 300.35 269.55 None aws_priority_queue_init_dynamic_harness.yml TIMEOUT 300.67 270.64 None aws_priority_queue_init_dynamic_harness_negated.yml TIMEOUT 301.04 285.77 None aws_priority_queue_init_static_harness.yml TIMEOUT 301.04 282.95 None aws_priority_queue_init_static_harness_negated.yml TIMEOUT 301.05 285.07 None aws_priority_queue_pop_harness.yml TIMEOUT 300.45 269.55 None aws_priority_queue_pop_harness_negated.yml TIMEOUT 300.48 265.70 None aws_priority_queue_push_harness.yml TIMEOUT 300.42 263.66 None aws_priority_queue_push_harness_negated.yml TIMEOUT 300.28 270.08 None aws_priority_queue_push_ref_harness.yml TIMEOUT 300.58 258.34 None aws_priority_queue_push_ref_harness_negated.yml TIMEOUT 300.30 266.85 None aws_priority_queue_remove_harness.yml TIMEOUT 301.18 243.23 None aws_priority_queue_remove_harness_negated.yml TIMEOUT 300.44 266.22 None aws_priority_queue_s_remove_node_harness.yml true 32.88 21.13 None aws_priority_queue_s_remove_node_harness_negated.yml true 35.22 21.05 None aws_priority_queue_s_sift_down_harness.yml TIMEOUT 300.36 265.67 None aws_priority_queue_s_sift_down_harness_negated.yml TIMEOUT 300.47 275.37 None aws_priority_queue_s_sift_either_harness.yml TIMEOUT 300.30 268.24 None aws_priority_queue_s_sift_either_harness_negated.yml TIMEOUT 300.22 271.33 None aws_priority_queue_s_sift_up_harness.yml TIMEOUT 300.32 269.62 None aws_priority_queue_s_sift_up_harness_negated.yml TIMEOUT 300.20 272.59 None aws_priority_queue_s_swap_harness.yml true 21.53 13.38 None aws_priority_queue_s_swap_harness_negated.yml true 21.14 12.56 None aws_priority_queue_size_harness.yml TIMEOUT 301.09 278.81 None aws_priority_queue_size_harness_negated.yml TIMEOUT 300.73 275.81 None aws_priority_queue_top_harness.yml TIMEOUT 300.31 274.12 None aws_priority_queue_top_harness_negated.yml TIMEOUT 300.50 261.66 None aws_ptr_eq_harness.yml true 14.51 8.79 None aws_ptr_eq_harness_negated.yml false(unreach-call) 12.80 7.73 None aws_ring_buffer_acquire_harness.yml true 164.33 126.45 None aws_ring_buffer_acquire_harness_negated.yml TIMEOUT 300.68 250.46 None aws_ring_buffer_acquire_up_to_harness.yml true 171.24 130.17 None aws_ring_buffer_acquire_up_to_harness_negated.yml true 191.84 149.23 None aws_ring_buffer_clean_up_harness.yml TIMEOUT 300.41 258.87 None aws_ring_buffer_clean_up_harness_negated.yml true 294.80 250.71 None aws_ring_buffer_init_harness.yml TIMEOUT 300.89 260.91 None aws_ring_buffer_init_harness_negated.yml TIMEOUT 300.69 259.22 None aws_ring_buffer_release_harness.yml TIMEOUT 300.35 268.99 None aws_ring_buffer_release_harness_negated.yml true 95.43 62.77 None aws_round_up_to_power_of_two_harness.yml unknown 15.81 9.44 None aws_round_up_to_power_of_two_harness_negated.yml unknown 15.81 9.52 None aws_string_bytes_harness.yml TIMEOUT 301.34 289.94 None aws_string_bytes_harness_negated.yml false(unreach-call) 13.78 8.49 None aws_string_compare_harness.yml TIMEOUT 300.70 252.82 None aws_string_compare_harness_negated.yml true 63.46 38.96 None aws_string_destroy_harness.yml true 15.14 8.85 None aws_string_destroy_harness_negated.yml true 15.34 8.71 None aws_string_destroy_secure_harness.yml true 57.90 35.04 None aws_string_destroy_secure_harness_negated.yml true 61.00 36.41 None aws_string_eq_byte_buf_harness.yml TIMEOUT 300.91 245.45 None aws_string_eq_byte_buf_harness_negated.yml TIMEOUT 300.61 261.13 None aws_string_eq_byte_buf_ignore_case_harness.yml TIMEOUT 300.68 244.50 None aws_string_eq_byte_buf_ignore_case_harness_negated.yml TIMEOUT 300.57 265.99 None aws_string_eq_byte_cursor_harness.yml TIMEOUT 301.00 235.15 None aws_string_eq_byte_cursor_harness_negated.yml unknown 61.48 41.92 None aws_string_eq_byte_cursor_ignore_case_harness.yml TIMEOUT 300.28 248.60 None aws_string_eq_byte_cursor_ignore_case_harness_negated.yml unknown 61.64 35.98 None aws_string_eq_c_str_harness.yml false(unreach-call) 85.50 47.84 None aws_string_eq_c_str_harness_negated.yml false(unreach-call) 27.59 15.39 None aws_string_eq_c_str_ignore_case_harness.yml TIMEOUT 300.20 269.41 None aws_string_eq_c_str_ignore_case_harness_negated.yml false(unreach-call) 26.47 14.50 None aws_string_eq_harness.yml TIMEOUT 301.27 262.58 None aws_string_eq_harness_negated.yml false(unreach-call) 27.90 14.88 None aws_string_eq_ignore_case_harness.yml TIMEOUT 301.01 251.83 None aws_string_eq_ignore_case_harness_negated.yml false(unreach-call) 22.36 12.90 None aws_string_new_from_array_harness.yml TIMEOUT 300.91 252.09 None aws_string_new_from_array_harness_negated.yml OUT OF MEMORY 239.69 183.53 None aws_string_new_from_c_str_harness.yml TIMEOUT 301.12 248.68 None aws_string_new_from_c_str_harness_negated.yml unknown 80.83 59.67 None aws_string_new_from_string_harness.yml TIMEOUT 300.48 268.21 None aws_string_new_from_string_harness_negated.yml true 103.37 65.13 None ---------------------------------------------------------------------------------------------------------------------------- Run set 1 done 76288.27 4834.29 - Automizer.AWS Run set 2 of 2 with options '--full-output --preprocessor.use.memory.slicer false' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------- aws_add_size_checked_harness.yml unknown 169.09 155.22 None aws_add_size_checked_harness_negated.yml unknown 90.46 80.02 None aws_add_size_saturating_harness.yml unknown 65.01 52.64 None aws_add_size_saturating_harness_negated.yml unknown 62.23 51.92 None aws_array_eq_c_str_harness-1.yml ERROR (7) 128.26 96.24 None aws_array_eq_c_str_harness.yml unknown 92.88 59.45 None aws_array_eq_c_str_harness_negated.yml unknown 87.76 61.75 None aws_array_eq_c_str_ignore_case_harness.yml unknown 112.21 64.64 None aws_array_eq_c_str_ignore_case_harness_negated.yml unknown 77.80 50.38 None aws_array_eq_harness-1.yml unknown 81.93 53.62 None aws_array_eq_harness.yml TIMEOUT 300.65 263.54 None aws_array_eq_harness_negated.yml unknown 60.82 42.72 None aws_array_eq_ignore_case_harness.yml TIMEOUT 300.55 266.28 None aws_array_eq_ignore_case_harness_negated.yml unknown 59.81 42.66 None aws_array_list_back_harness.yml TIMEOUT 300.50 273.56 None aws_array_list_back_harness_negated.yml TIMEOUT 300.16 277.00 None aws_array_list_capacity_harness.yml TIMEOUT 301.05 288.90 None aws_array_list_capacity_harness_negated.yml TIMEOUT 301.08 284.20 None aws_array_list_clean_up_harness.yml TIMEOUT 301.13 280.52 None aws_array_list_clean_up_harness_negated.yml TIMEOUT 301.01 287.32 None aws_array_list_clear_harness.yml TIMEOUT 300.33 276.54 None aws_array_list_clear_harness_negated.yml TIMEOUT 300.31 280.38 None aws_array_list_comparator_string_harness.yml TIMEOUT 300.97 228.74 None aws_array_list_comparator_string_harness_negated.yml true 78.43 54.52 None aws_array_list_copy_harness.yml TIMEOUT 300.95 286.71 None aws_array_list_copy_harness_negated.yml TIMEOUT 300.14 282.27 None aws_array_list_ensure_capacity_harness.yml TIMEOUT 300.39 279.52 None aws_array_list_ensure_capacity_harness_negated.yml unknown 252.21 230.95 None aws_array_list_erase_harness.yml true 23.24 13.89 None aws_array_list_erase_harness_negated.yml true 23.46 13.79 None aws_array_list_front_harness.yml true 42.16 23.13 None aws_array_list_front_harness_negated.yml true 32.64 19.70 None aws_array_list_get_at_harness.yml TIMEOUT 300.16 277.52 None aws_array_list_get_at_harness_negated.yml unknown 252.59 225.62 None aws_array_list_get_at_ptr_harness.yml TIMEOUT 300.31 272.84 None aws_array_list_get_at_ptr_harness_negated.yml TIMEOUT 300.18 277.49 None aws_array_list_init_dynamic_harness.yml TIMEOUT 300.97 260.65 None aws_array_list_init_dynamic_harness_negated.yml TIMEOUT 301.07 283.77 None aws_array_list_init_static_harness.yml TIMEOUT 300.25 275.36 None aws_array_list_init_static_harness_negated.yml unknown 297.52 280.38 None aws_array_list_length_harness.yml TIMEOUT 300.69 273.09 None aws_array_list_length_harness_negated.yml TIMEOUT 301.11 285.07 None aws_array_list_pop_back_harness.yml TIMEOUT 301.15 285.10 None aws_array_list_pop_back_harness_negated.yml unknown 292.18 272.49 None aws_array_list_pop_front_harness.yml TIMEOUT 300.30 284.55 None aws_array_list_pop_front_harness_negated.yml TIMEOUT 301.14 280.05 None aws_array_list_pop_front_n_harness.yml TIMEOUT 300.14 279.25 None aws_array_list_pop_front_n_harness_negated.yml TIMEOUT 300.27 269.92 None aws_array_list_push_back_harness.yml TIMEOUT 301.10 284.32 None aws_array_list_push_back_harness_negated.yml TIMEOUT 300.27 280.53 None aws_array_list_set_at_harness.yml TIMEOUT 300.43 275.19 None aws_array_list_set_at_harness_negated.yml TIMEOUT 300.16 280.33 None aws_array_list_shrink_to_fit_harness.yml TIMEOUT 301.09 284.42 None aws_array_list_shrink_to_fit_harness_negated.yml unknown 299.26 280.66 None aws_array_list_sort_harness.yml ERROR (7) 26.09 14.28 None aws_array_list_sort_harness_negated.yml ERROR (7) 19.78 11.70 None aws_array_list_swap_contents_harness.yml TIMEOUT 300.96 269.82 None aws_array_list_swap_contents_harness_negated.yml TIMEOUT 301.11 281.59 None aws_array_list_swap_harness.yml TIMEOUT 300.78 284.55 None aws_array_list_swap_harness_negated.yml unknown 133.12 113.26 None aws_byte_buf_advance_harness.yml TIMEOUT 300.21 273.22 None aws_byte_buf_advance_harness_negated.yml TIMEOUT 301.09 280.69 None aws_byte_buf_append_dynamic_harness.yml TIMEOUT 300.96 268.60 None aws_byte_buf_append_dynamic_harness_negated.yml TIMEOUT 300.73 254.83 None aws_byte_buf_append_harness.yml TIMEOUT 300.51 262.24 None aws_byte_buf_append_harness_negated.yml TIMEOUT 300.58 255.47 None aws_byte_buf_append_with_lookup_harness.yml TIMEOUT 301.04 248.64 None aws_byte_buf_append_with_lookup_harness_negated.yml TIMEOUT 300.43 261.02 None aws_byte_buf_cat_harness.yml TIMEOUT 300.64 264.90 None aws_byte_buf_cat_harness_negated.yml TIMEOUT 301.17 265.26 None aws_byte_buf_clean_up_harness.yml true 72.78 44.97 None aws_byte_buf_clean_up_harness_negated.yml TIMEOUT 300.70 251.76 None aws_byte_buf_clean_up_secure_harness.yml TIMEOUT 300.50 260.40 None aws_byte_buf_clean_up_secure_harness_negated.yml TIMEOUT 300.32 270.21 None aws_byte_buf_eq_c_str_harness.yml TIMEOUT 300.33 263.61 None aws_byte_buf_eq_c_str_harness_negated.yml TIMEOUT 300.46 267.78 None aws_byte_buf_eq_c_str_ignore_case_harness.yml TIMEOUT 301.00 255.70 None aws_byte_buf_eq_c_str_ignore_case_harness_negated.yml TIMEOUT 300.31 273.26 None aws_byte_buf_eq_harness.yml TIMEOUT 300.35 264.90 None aws_byte_buf_eq_harness_negated.yml TIMEOUT 300.66 262.43 None aws_byte_buf_eq_ignore_case_harness.yml TIMEOUT 300.67 254.67 None aws_byte_buf_eq_ignore_case_harness_negated.yml TIMEOUT 300.55 274.21 None aws_byte_buf_from_array_harness.yml TIMEOUT 300.79 263.82 None aws_byte_buf_from_array_harness_negated.yml unknown 64.58 42.95 None aws_byte_buf_from_c_str_harness-1.yml TIMEOUT 300.75 261.27 None aws_byte_buf_from_c_str_harness.yml TIMEOUT 300.98 255.61 None aws_byte_buf_from_c_str_harness_negated.yml unknown 49.15 35.20 None aws_byte_buf_from_empty_array_harness.yml true 160.28 105.58 None aws_byte_buf_from_empty_array_harness_negated.yml unknown 50.16 35.34 None aws_byte_buf_init_copy_from_cursor_harness.yml TIMEOUT 300.18 273.13 None aws_byte_buf_init_copy_from_cursor_harness_negated.yml TIMEOUT 300.19 270.44 None aws_byte_buf_init_copy_harness.yml TIMEOUT 301.09 260.65 None aws_byte_buf_init_copy_harness_negated.yml TIMEOUT 300.71 271.82 None aws_byte_buf_init_harness.yml true 114.64 66.10 None aws_byte_buf_init_harness_negated.yml unknown 112.19 94.79 None aws_byte_buf_reserve_harness.yml TIMEOUT 300.42 265.33 None aws_byte_buf_reserve_harness_negated.yml TIMEOUT 300.69 260.96 None aws_byte_buf_reserve_relative_harness.yml TIMEOUT 301.09 243.86 None aws_byte_buf_reserve_relative_harness_negated.yml TIMEOUT 300.72 261.80 None aws_byte_buf_reset_harness.yml TIMEOUT 300.85 238.44 None aws_byte_buf_reset_harness_negated.yml unknown 273.48 248.80 None aws_byte_buf_secure_zero_harness.yml TIMEOUT 300.34 264.86 None aws_byte_buf_secure_zero_harness_negated.yml TIMEOUT 300.19 277.16 None aws_byte_buf_write_be16_harness.yml TIMEOUT 301.07 252.15 None aws_byte_buf_write_be16_harness_negated.yml TIMEOUT 300.72 267.80 None aws_byte_buf_write_be32_harness.yml TIMEOUT 300.63 264.81 None aws_byte_buf_write_be32_harness_negated.yml TIMEOUT 300.37 266.11 None aws_byte_buf_write_be64_harness.yml TIMEOUT 300.76 264.26 None aws_byte_buf_write_be64_harness_negated.yml TIMEOUT 301.62 254.21 None aws_byte_buf_write_from_whole_buffer_harness-1.yml TIMEOUT 300.48 269.26 None aws_byte_buf_write_from_whole_buffer_harness.yml TIMEOUT 300.39 256.67 None aws_byte_buf_write_from_whole_buffer_harness_negated.yml TIMEOUT 300.96 245.28 None aws_byte_buf_write_from_whole_cursor_harness.yml TIMEOUT 300.64 257.40 None aws_byte_buf_write_from_whole_cursor_harness_negated.yml TIMEOUT 300.28 269.55 None aws_byte_buf_write_from_whole_string_harness.yml TIMEOUT 300.69 250.11 None aws_byte_buf_write_from_whole_string_harness_negated.yml unknown 178.13 150.16 None aws_byte_buf_write_harness.yml TIMEOUT 300.11 276.83 None aws_byte_buf_write_harness_negated.yml TIMEOUT 301.46 266.13 None aws_byte_buf_write_u8_harness.yml TIMEOUT 300.86 255.20 None aws_byte_buf_write_u8_harness_negated.yml TIMEOUT 300.77 267.03 None aws_byte_cursor_advance_harness.yml TIMEOUT 300.57 259.38 None aws_byte_cursor_advance_harness_negated.yml unknown 192.73 174.60 None aws_byte_cursor_advance_nospec_harness.yml TIMEOUT 300.46 266.72 None aws_byte_cursor_advance_nospec_harness_negated.yml unknown 118.84 99.57 None aws_byte_cursor_compare_lexical_harness.yml TIMEOUT 301.17 239.02 None aws_byte_cursor_compare_lexical_harness_negated.yml unknown 255.13 216.11 None aws_byte_cursor_compare_lookup_harness.yml TIMEOUT 300.86 259.50 None aws_byte_cursor_compare_lookup_harness_negated.yml unknown 134.54 104.17 None aws_byte_cursor_eq_byte_buf_harness.yml TIMEOUT 301.09 261.38 None aws_byte_cursor_eq_byte_buf_harness_negated.yml TIMEOUT 301.37 246.81 None aws_byte_cursor_eq_byte_buf_ignore_case_harness.yml TIMEOUT 301.41 254.55 None aws_byte_cursor_eq_byte_buf_ignore_case_harness_negated.yml TIMEOUT 300.74 266.95 None aws_byte_cursor_eq_c_str_harness.yml TIMEOUT 300.07 255.89 None aws_byte_cursor_eq_c_str_harness_negated.yml unknown 69.41 50.90 None aws_byte_cursor_eq_c_str_ignore_case_harness.yml TIMEOUT 301.05 253.35 None aws_byte_cursor_eq_c_str_ignore_case_harness_negated.yml unknown 85.40 57.97 None aws_byte_cursor_eq_harness.yml TIMEOUT 300.41 256.19 None aws_byte_cursor_eq_harness_negated.yml TIMEOUT 300.52 269.17 None aws_byte_cursor_eq_ignore_case_harness.yml TIMEOUT 300.31 265.23 None aws_byte_cursor_eq_ignore_case_harness_negated.yml TIMEOUT 301.22 245.91 None aws_byte_cursor_from_array_harness.yml true 72.31 48.14 None aws_byte_cursor_from_array_harness_negated.yml unknown 53.36 37.77 None aws_byte_cursor_from_buf_harness.yml TIMEOUT 300.98 241.88 None aws_byte_cursor_from_buf_harness_negated.yml TIMEOUT 300.71 256.42 None aws_byte_cursor_from_c_str_harness.yml unknown 238.52 197.98 None aws_byte_cursor_from_c_str_harness_negated.yml unknown 64.03 48.93 None aws_byte_cursor_from_string_harness.yml TIMEOUT 300.67 261.04 None aws_byte_cursor_from_string_harness_negated.yml true 44.98 26.68 None aws_byte_cursor_left_trim_pred_harness.yml TIMEOUT 300.64 250.39 None aws_byte_cursor_left_trim_pred_harness_negated.yml unknown 83.81 65.17 None aws_byte_cursor_read_and_fill_buffer_harness.yml TIMEOUT 300.30 268.82 None aws_byte_cursor_read_and_fill_buffer_harness_negated.yml TIMEOUT 300.77 260.02 None aws_byte_cursor_read_be16_harness.yml TIMEOUT 300.53 256.91 None aws_byte_cursor_read_be16_harness_negated.yml TIMEOUT 300.69 263.00 None aws_byte_cursor_read_be32_harness.yml TIMEOUT 300.35 271.42 None aws_byte_cursor_read_be32_harness_negated.yml TIMEOUT 300.74 271.49 None aws_byte_cursor_read_be64_harness.yml TIMEOUT 301.45 271.05 None aws_byte_cursor_read_be64_harness_negated.yml TIMEOUT 300.28 277.22 None aws_byte_cursor_read_harness.yml TIMEOUT 301.01 257.03 None aws_byte_cursor_read_harness_negated.yml unknown 168.88 143.19 None aws_byte_cursor_read_u8_harness.yml TIMEOUT 300.44 248.46 None aws_byte_cursor_read_u8_harness_negated.yml TIMEOUT 300.65 260.83 None aws_byte_cursor_right_trim_pred_harness.yml TIMEOUT 300.87 247.42 None aws_byte_cursor_right_trim_pred_harness_negated.yml unknown 91.51 74.07 None aws_byte_cursor_satisfies_pred_harness.yml TIMEOUT 300.70 257.82 None aws_byte_cursor_satisfies_pred_harness_negated.yml unknown 78.68 58.03 None aws_byte_cursor_trim_pred_harness.yml TIMEOUT 300.74 260.77 None aws_byte_cursor_trim_pred_harness_negated.yml unknown 140.15 117.20 None aws_hash_array_ignore_case_harness.yml true 21.58 12.25 None aws_hash_array_ignore_case_harness_negated.yml unknown 36.27 21.72 None aws_hash_byte_cursor_ptr_harness.yml TIMEOUT 300.96 257.73 None aws_hash_byte_cursor_ptr_harness_negated.yml ERROR (7) 38.23 22.02 None aws_hash_byte_cursor_ptr_ignore_case_harness.yml true 69.52 42.26 None aws_hash_byte_cursor_ptr_ignore_case_harness_negated.yml unknown 68.59 51.07 None aws_hash_c_string_harness.yml true 17.54 10.37 None aws_hash_c_string_harness_negated.yml true 17.75 10.31 None aws_hash_callback_c_str_eq_harness.yml ERROR (7) 43.16 24.04 None aws_hash_callback_c_str_eq_harness_negated.yml ERROR (7) 30.27 18.02 None aws_hash_callback_string_destroy_harness.yml true 20.18 10.98 None aws_hash_callback_string_destroy_harness_negated.yml true 17.37 10.63 None aws_hash_callback_string_eq_harness.yml TIMEOUT 301.22 236.31 None aws_hash_callback_string_eq_harness_negated.yml false(unreach-call) 39.54 22.39 None aws_hash_iter_begin_harness-1.yml TIMEOUT 301.46 276.63 None aws_hash_iter_begin_harness.yml TIMEOUT 300.79 279.23 None aws_hash_iter_begin_harness_negated.yml TIMEOUT 300.67 261.76 None aws_hash_iter_delete_harness.yml true 166.95 145.46 None aws_hash_iter_delete_harness_negated.yml true 74.91 50.21 None aws_hash_iter_done_harness.yml TIMEOUT 300.44 276.54 None aws_hash_iter_done_harness_negated.yml TIMEOUT 300.51 271.74 None aws_hash_iter_next_harness.yml TIMEOUT 300.41 269.84 None aws_hash_iter_next_harness_negated.yml TIMEOUT 300.55 272.76 None aws_hash_ptr_harness.yml true 16.33 9.44 None aws_hash_ptr_harness_negated.yml true 15.89 9.25 None aws_hash_string_harness.yml TIMEOUT 300.55 268.10 None aws_hash_string_harness_negated.yml ERROR (7) 29.17 16.06 None aws_hash_table_clean_up_harness.yml TIMEOUT 300.51 260.90 None aws_hash_table_clean_up_harness_negated.yml TIMEOUT 300.28 264.72 None aws_hash_table_clear_harness.yml TIMEOUT 300.47 261.42 None aws_hash_table_clear_harness_negated.yml TIMEOUT 300.41 265.40 None aws_hash_table_create_harness.yml TIMEOUT 300.38 263.53 None aws_hash_table_create_harness_negated.yml TIMEOUT 301.12 236.29 None aws_hash_table_eq_harness.yml ERROR (7) 31.06 17.91 None aws_hash_table_eq_harness_negated.yml ERROR (7) 28.26 16.47 None aws_hash_table_find_harness.yml TIMEOUT 301.05 284.22 None aws_hash_table_find_harness_negated.yml TIMEOUT 300.69 258.84 None aws_hash_table_foreach_harness.yml TIMEOUT 300.43 279.51 None aws_hash_table_foreach_harness_negated.yml TIMEOUT 300.82 251.61 None aws_hash_table_get_entry_count_harness.yml TIMEOUT 300.25 275.26 None aws_hash_table_get_entry_count_harness_negated.yml ERROR (7) 130.37 89.49 None aws_hash_table_init_bounded_harness.yml OUT OF MEMORY 281.51 227.84 None aws_hash_table_init_bounded_harness_negated.yml TIMEOUT 300.60 272.67 None aws_hash_table_init_unbounded_harness.yml TIMEOUT 300.66 273.46 None aws_hash_table_init_unbounded_harness_negated.yml TIMEOUT 300.72 262.11 None aws_hash_table_move_harness.yml TIMEOUT 300.21 276.19 None aws_hash_table_move_harness_negated.yml TIMEOUT 300.51 259.62 None aws_hash_table_put_harness.yml TIMEOUT 300.34 249.62 None aws_hash_table_put_harness_negated.yml TIMEOUT 300.77 255.42 None aws_hash_table_remove_harness.yml TIMEOUT 300.66 245.88 None aws_hash_table_remove_harness_negated.yml TIMEOUT 300.47 261.77 None aws_hash_table_swap_harness.yml TIMEOUT 300.37 269.31 None aws_hash_table_swap_harness_negated.yml TIMEOUT 301.20 264.73 None aws_is_power_of_two_harness.yml unknown 14.85 8.95 None aws_is_power_of_two_harness_negated.yml unknown 16.05 9.66 None aws_linked_list_back_harness.yml TIMEOUT 300.25 278.83 None aws_linked_list_back_harness_negated.yml false(unreach-call) 188.86 166.03 None aws_linked_list_begin_harness.yml TIMEOUT 300.29 271.35 None aws_linked_list_begin_harness_negated.yml TIMEOUT 300.11 278.44 None aws_linked_list_end_harness.yml TIMEOUT 300.63 260.86 None aws_linked_list_end_harness_negated.yml TIMEOUT 300.45 269.14 None aws_linked_list_front_harness.yml TIMEOUT 300.26 274.51 None aws_linked_list_front_harness_negated.yml TIMEOUT 300.61 270.71 None aws_linked_list_init_harness.yml TIMEOUT 300.51 273.07 None aws_linked_list_init_harness_negated.yml false(unreach-call) 25.31 14.04 None aws_linked_list_insert_after_harness.yml TIMEOUT 300.76 258.74 None aws_linked_list_insert_after_harness_negated.yml false(unreach-call) 13.87 7.97 None aws_linked_list_insert_before_harness.yml TIMEOUT 300.81 261.79 None aws_linked_list_insert_before_harness_negated.yml false(unreach-call) 13.32 9.68 None aws_linked_list_next_harness.yml true 233.88 220.98 None aws_linked_list_next_harness_negated.yml false(unreach-call) 13.51 8.00 None aws_linked_list_node_reset_harness-1.yml TIMEOUT 300.46 266.06 None aws_linked_list_node_reset_harness.yml TIMEOUT 300.27 253.69 None aws_linked_list_node_reset_harness_negated.yml false(unreach-call) 102.08 76.78 None aws_linked_list_pop_back_harness.yml TIMEOUT 300.41 273.23 None aws_linked_list_pop_back_harness_negated.yml TIMEOUT 300.35 279.72 None aws_linked_list_pop_front_harness.yml TIMEOUT 301.11 281.35 None aws_linked_list_pop_front_harness_negated.yml TIMEOUT 300.67 270.04 None aws_linked_list_prev_harness.yml true 185.10 152.34 None aws_linked_list_prev_harness_negated.yml false(unreach-call) 12.85 7.45 None aws_linked_list_push_back_harness.yml ERROR (7) 283.22 247.30 None aws_linked_list_push_back_harness_negated.yml false(unreach-call) 291.94 256.65 None aws_linked_list_push_front_harness.yml true 163.09 136.38 None aws_linked_list_push_front_harness_negated.yml true 29.13 18.83 None aws_linked_list_rbegin_harness.yml TIMEOUT 300.30 278.80 None aws_linked_list_rbegin_harness_negated.yml TIMEOUT 301.26 272.24 None aws_linked_list_remove_harness.yml TIMEOUT 300.40 272.05 None aws_linked_list_remove_harness_negated.yml TIMEOUT 300.70 279.28 None aws_linked_list_rend_harness.yml TIMEOUT 301.07 282.88 None aws_linked_list_rend_harness_negated.yml TIMEOUT 300.90 260.86 None aws_linked_list_swap_contents_harness.yml TIMEOUT 300.28 274.06 None aws_linked_list_swap_contents_harness_negated.yml TIMEOUT 300.24 271.03 None aws_mul_size_checked_harness.yml TIMEOUT 301.00 288.18 None aws_mul_size_checked_harness_negated.yml unknown 64.39 52.14 None aws_mul_size_saturating_harness.yml unknown 76.74 63.46 None aws_mul_size_saturating_harness_negated.yml unknown 60.86 49.16 None aws_nospec_mask_harness.yml true 46.94 27.29 None aws_nospec_mask_harness_negated.yml unknown 32.66 19.75 None aws_priority_queue_capacity_harness.yml TIMEOUT 300.49 277.86 None aws_priority_queue_capacity_harness_negated.yml TIMEOUT 300.28 276.58 None aws_priority_queue_clean_up_harness.yml TIMEOUT 300.59 269.13 None aws_priority_queue_clean_up_harness_negated.yml TIMEOUT 300.43 275.49 None aws_priority_queue_init_dynamic_harness-1.yml TIMEOUT 300.73 275.42 None aws_priority_queue_init_dynamic_harness.yml TIMEOUT 301.09 279.59 None aws_priority_queue_init_dynamic_harness_negated.yml TIMEOUT 301.09 288.97 None aws_priority_queue_init_static_harness.yml TIMEOUT 301.01 282.72 None aws_priority_queue_init_static_harness_negated.yml TIMEOUT 301.04 283.62 None aws_priority_queue_pop_harness.yml TIMEOUT 300.34 271.09 None aws_priority_queue_pop_harness_negated.yml TIMEOUT 300.48 259.29 None aws_priority_queue_push_harness.yml TIMEOUT 300.27 270.51 None aws_priority_queue_push_harness_negated.yml TIMEOUT 300.12 277.80 None aws_priority_queue_push_ref_harness.yml TIMEOUT 300.43 265.58 None aws_priority_queue_push_ref_harness_negated.yml TIMEOUT 300.24 274.86 None aws_priority_queue_remove_harness.yml TIMEOUT 300.27 271.86 None aws_priority_queue_remove_harness_negated.yml TIMEOUT 300.20 272.38 None aws_priority_queue_s_remove_node_harness.yml true 35.49 21.43 None aws_priority_queue_s_remove_node_harness_negated.yml true 39.97 26.09 None aws_priority_queue_s_sift_down_harness.yml TIMEOUT 300.60 267.80 None aws_priority_queue_s_sift_down_harness_negated.yml TIMEOUT 300.78 257.52 None aws_priority_queue_s_sift_either_harness.yml TIMEOUT 300.37 269.26 None aws_priority_queue_s_sift_either_harness_negated.yml TIMEOUT 301.11 279.86 None aws_priority_queue_s_sift_up_harness.yml TIMEOUT 301.01 286.21 None aws_priority_queue_s_sift_up_harness_negated.yml TIMEOUT 300.92 261.50 None aws_priority_queue_s_swap_harness.yml true 22.27 13.05 None aws_priority_queue_s_swap_harness_negated.yml true 29.68 17.00 None aws_priority_queue_size_harness.yml TIMEOUT 300.60 274.04 None aws_priority_queue_size_harness_negated.yml TIMEOUT 300.14 277.17 None aws_priority_queue_top_harness.yml TIMEOUT 300.22 271.38 None aws_priority_queue_top_harness_negated.yml TIMEOUT 300.15 278.88 None aws_ptr_eq_harness.yml true 14.98 8.78 None aws_ptr_eq_harness_negated.yml false(unreach-call) 14.19 8.52 None aws_ring_buffer_acquire_harness.yml TIMEOUT 300.41 263.62 None aws_ring_buffer_acquire_harness_negated.yml TIMEOUT 300.62 264.39 None aws_ring_buffer_acquire_up_to_harness.yml true 246.90 207.69 None aws_ring_buffer_acquire_up_to_harness_negated.yml true 295.00 255.79 None aws_ring_buffer_clean_up_harness.yml TIMEOUT 300.25 243.25 None aws_ring_buffer_clean_up_harness_negated.yml TIMEOUT 301.22 262.61 None aws_ring_buffer_init_harness.yml TIMEOUT 300.30 265.46 None aws_ring_buffer_init_harness_negated.yml TIMEOUT 300.37 273.70 None aws_ring_buffer_release_harness.yml true 102.48 70.57 None aws_ring_buffer_release_harness_negated.yml true 99.50 72.23 None aws_round_up_to_power_of_two_harness.yml unknown 17.18 9.89 None aws_round_up_to_power_of_two_harness_negated.yml unknown 15.85 9.04 None aws_string_bytes_harness.yml TIMEOUT 300.52 270.06 None aws_string_bytes_harness_negated.yml false(unreach-call) 16.65 9.58 None aws_string_compare_harness.yml TIMEOUT 300.92 251.58 None aws_string_compare_harness_negated.yml true 52.92 32.56 None aws_string_destroy_harness.yml true 14.70 8.46 None aws_string_destroy_harness_negated.yml true 15.61 8.99 None aws_string_destroy_secure_harness.yml TIMEOUT 300.81 253.34 None aws_string_destroy_secure_harness_negated.yml true 297.35 260.28 None aws_string_eq_byte_buf_harness.yml TIMEOUT 300.86 250.41 None aws_string_eq_byte_buf_harness_negated.yml TIMEOUT 300.59 264.69 None aws_string_eq_byte_buf_ignore_case_harness.yml TIMEOUT 300.78 249.63 None aws_string_eq_byte_buf_ignore_case_harness_negated.yml TIMEOUT 300.51 267.28 None aws_string_eq_byte_cursor_harness.yml TIMEOUT 300.78 255.73 None aws_string_eq_byte_cursor_harness_negated.yml unknown 46.12 28.60 None aws_string_eq_byte_cursor_ignore_case_harness.yml TIMEOUT 300.84 237.03 None aws_string_eq_byte_cursor_ignore_case_harness_negated.yml unknown 47.92 31.74 None aws_string_eq_c_str_harness.yml TIMEOUT 300.63 265.25 None aws_string_eq_c_str_harness_negated.yml false(unreach-call) 31.05 17.97 None aws_string_eq_c_str_ignore_case_harness.yml false(unreach-call) 70.85 44.25 None aws_string_eq_c_str_ignore_case_harness_negated.yml false(unreach-call) 30.28 17.42 None aws_string_eq_harness.yml TIMEOUT 300.56 271.20 None aws_string_eq_harness_negated.yml false(unreach-call) 25.72 14.58 None aws_string_eq_ignore_case_harness.yml OUT OF MEMORY 181.57 137.17 None aws_string_eq_ignore_case_harness_negated.yml false(unreach-call) 26.88 15.16 None aws_string_new_from_array_harness.yml TIMEOUT 300.69 259.81 None aws_string_new_from_array_harness_negated.yml OUT OF MEMORY 193.73 148.77 None aws_string_new_from_c_str_harness.yml TIMEOUT 300.95 246.97 None aws_string_new_from_c_str_harness_negated.yml unknown 71.00 45.08 None aws_string_new_from_string_harness.yml TIMEOUT 300.30 278.73 None aws_string_new_from_string_harness_negated.yml true 67.13 40.05 None ---------------------------------------------------------------------------------------------------------------------------- Run set 2 done 77764.69 5022.76 - Statistics: 682 Files correct: 97 correct true: 66 correct false: 31 incorrect: 17 incorrect true: 15 incorrect false: 2 unknown: 568 Score: -349 (max: 1036)