BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/pre-runs/theta.xml name: theta run sets: CHC-COMP2025_check-sat.LIA-Arrays date: Mon, 2025-05-05 21:13:23 CEST tool: ThetaCHC 6.13.2 tool executable: ./chc options: resource limits: - memory: 7000.0 MB - time: 60 s - cpu cores: 2 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 2 - memory: 7000.0 MB ------------------------------------------------------------ CHC-COMP2025_check-sat.LIA-Arrays Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- solidity/no_adts/unit_tests/file_level/free_function_and_constant_1.sol_0_no_adts_000.smt2 unknown 13.93 7.46 apollon136 solidity/no_adts/unit_tests/file_level/new_operator.sol_0_no_adts_000.smt2 unknown 13.28 7.00 apollon136 solidity/no_adts/unit_tests/file_level/overloads.sol_0_no_adts_000.smt2 unknown 15.38 7.97 apollon133 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_6_no_adts_000.smt2 TIMEOUT 61.07 39.36 apollon136 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_2_no_adts_000.smt2 TIMEOUT 60.09 37.68 apollon103 solidity/no_adts/unit_tests/file_level/free_namesake_contract_function.sol_0_no_adts_000.smt2 unknown 13.16 6.92 apollon123 solidity/no_adts/unit_tests/file_level/overloads.sol_1_no_adts_000.smt2 unknown 14.28 7.59 apollon112 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_3_no_adts_000.smt2 TIMEOUT 61.01 40.65 apollon076 solidity/no_adts/unit_tests/file_level/enum.sol_0_no_adts_000.smt2 unknown 11.73 6.52 apollon112 solidity/no_adts/unit_tests/file_level/libraries_from_free.sol_0_no_adts_000.smt2 unknown 14.17 7.47 apollon127 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_5_no_adts_000.smt2 unknown 21.22 10.89 apollon112 solidity/no_adts/unit_tests/file_level/libraries_from_free.sol_1_no_adts_000.smt2 unknown 38.27 19.41 apollon133 solidity/no_adts/unit_tests/file_level/easy.sol_0_no_adts_000.smt2 unknown 15.45 7.95 apollon015 solidity/no_adts/unit_tests/file_level/easy.sol_1_no_adts_000.smt2 unknown 15.51 7.96 apollon051 solidity/no_adts/unit_tests/file_level/free_function_1.sol_0_no_adts_000.smt2 unknown 14.32 7.48 apollon133 solidity/no_adts/unit_tests/file_level/free_namesake_contract_function.sol_1_no_adts_000.smt2 unknown 27.13 13.83 apollon072 solidity/no_adts/unit_tests/file_level/enum.sol_1_no_adts_000.smt2 true 30.44 17.22 apollon136 solidity/no_adts/unit_tests/file_level/enum.sol_2_no_adts_000.smt2 unknown 16.92 8.73 apollon133 solidity/no_adts/unit_tests/file_level/constant_easy.sol_0_no_adts_000.smt2 unknown 11.29 5.89 apollon015 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_0_no_adts_000.smt2 TIMEOUT 61.01 40.12 apollon076 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_7_no_adts_000.smt2 TIMEOUT 60.94 40.48 apollon072 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_1_no_adts_000.smt2 TIMEOUT 60.60 36.57 apollon127 solidity/no_adts/unit_tests/file_level/free_runtimecode.sol_0_no_adts_000.smt2 unknown 11.96 6.37 apollon072 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_4_no_adts_000.smt2 TIMEOUT 61.50 32.33 apollon127 solidity/no_adts/unit_tests/natspec/safe_assert_false_positive_pure.sol_1_no_adts_000.smt2 TIMEOUT 61.11 35.97 apollon127 solidity/no_adts/unit_tests/natspec/safe_assert_false_positive_pure.sol_3_no_adts_000.smt2 unknown 16.33 8.42 apollon112 solidity/no_adts/unit_tests/natspec/unsafe_assert_remains_unsafe.sol_0_no_adts_000.smt2 unknown 37.70 19.24 apollon072 solidity/no_adts/unit_tests/natspec/safe_assert_false_positive.sol_0_no_adts_000.smt2 unknown 14.55 7.72 apollon112 solidity/no_adts/unit_tests/natspec/safe_assert_false_positive_pure.sol_0_no_adts_000.smt2 unknown 46.27 24.61 apollon136 solidity/no_adts/unit_tests/natspec/unsafe_assert_remains_unsafe.sol_1_no_adts_000.smt2 unknown 14.93 7.74 apollon112 solidity/no_adts/unit_tests/natspec/abstract_function_nondet_1.sol_0_no_adts_000.smt2 unknown 12.37 6.54 apollon051 solidity/no_adts/unit_tests/natspec/safe_assert_false_positive.sol_1_no_adts_000.smt2 unknown 37.70 19.30 apollon072 solidity/no_adts/unit_tests/natspec/safe_assert_false_positive_pure.sol_2_no_adts_000.smt2 TIMEOUT 61.66 37.52 apollon015 solidity/no_adts/unit_tests/typecast/number_literal.sol_8_no_adts_000.smt2 true 27.52 14.60 apollon127 solidity/no_adts/unit_tests/typecast/number_literal.sol_3_no_adts_000.smt2 true 30.07 16.04 apollon133 solidity/no_adts/unit_tests/typecast/address_literal.sol_5_no_adts_000.smt2 TIMEOUT 60.27 45.00 apollon072 solidity/no_adts/unit_tests/typecast/number_literal.sol_5_no_adts_000.smt2 true 28.31 15.58 apollon112 solidity/no_adts/unit_tests/typecast/string_to_bytes_push_1.sol_0_no_adts_000.smt2 unknown 12.42 6.42 apollon076 solidity/no_adts/unit_tests/typecast/implicit_cast_string_literal_byte.sol_1_no_adts_000.smt2 unknown 14.04 7.28 apollon051 solidity/no_adts/unit_tests/typecast/function_type_to_function_type_external.sol_0_no_adts_000.smt2 unknown 12.68 6.79 apollon123 solidity/no_adts/unit_tests/typecast/string_to_bytes_push_2.sol_1_no_adts_000.smt2 true 26.43 14.91 apollon072 solidity/no_adts/unit_tests/typecast/number_literal.sol_7_no_adts_000.smt2 true 30.35 15.92 apollon051 solidity/no_adts/unit_tests/typecast/number_literal.sol_0_no_adts_000.smt2 true 29.76 15.88 apollon112 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_upcast.sol_1_no_adts_000.smt2 true 27.63 16.37 apollon112 solidity/no_adts/unit_tests/typecast/number_literal.sol_1_no_adts_000.smt2 true 27.63 15.05 apollon051 solidity/no_adts/unit_tests/typecast/string_literal_to_dynamic_bytes.sol_3_no_adts_000.smt2 true 30.22 16.66 apollon136 solidity/no_adts/unit_tests/typecast/cast_larger_2_fail.sol_0_no_adts_000.smt2 unknown 11.11 5.97 apollon072 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_3_no_adts_000.smt2 TIMEOUT 60.83 41.72 apollon136 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_function_call.sol_0_no_adts_000.smt2 unknown 14.23 7.56 apollon015 solidity/no_adts/unit_tests/typecast/function_type_to_function_type_internal.sol_1_no_adts_000.smt2 unknown 13.43 7.14 apollon076 solidity/no_adts/unit_tests/typecast/function_type_to_function_type_internal.sol_0_no_adts_000.smt2 unknown 14.08 7.48 apollon020 solidity/no_adts/unit_tests/typecast/cast_address_1.sol_0_no_adts_000.smt2 true 16.94 8.95 apollon103 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_return_multi.sol_1_no_adts_000.smt2 unknown 40.92 20.78 apollon015 solidity/no_adts/unit_tests/typecast/number_literal.sol_2_no_adts_000.smt2 true 30.58 16.46 apollon020 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_2_no_adts_000.smt2 TIMEOUT 60.85 35.73 apollon076 solidity/no_adts/unit_tests/typecast/cast_larger_1.sol_0_no_adts_000.smt2 true 17.55 9.27 apollon015 solidity/no_adts/unit_tests/typecast/string_literal_to_dynamic_bytes.sol_4_no_adts_000.smt2 true 33.61 19.31 apollon133 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_function_call.sol_1_no_adts_000.smt2 unknown 14.30 7.57 apollon020 solidity/no_adts/unit_tests/typecast/string_literal_to_dynamic_bytes.sol_1_no_adts_000.smt2 true 30.47 16.27 apollon112 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_5_no_adts_000.smt2 TIMEOUT 60.97 42.26 apollon051 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_modifier.sol_1_no_adts_000.smt2 unknown 12.70 6.67 apollon133 solidity/no_adts/unit_tests/typecast/string_to_bytes_push_1.sol_1_no_adts_000.smt2 true 28.16 15.74 apollon103 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_constant_initialization_2.sol_0_no_adts_000.smt2 unknown 10.43 5.50 apollon133 solidity/no_adts/unit_tests/typecast/string_literal_to_dynamic_bytes.sol_0_no_adts_000.smt2 unknown 14.21 7.79 apollon123 solidity/no_adts/unit_tests/typecast/implicit_cast_string_literal_byte.sol_0_no_adts_000.smt2 unknown 34.38 17.47 apollon133 solidity/no_adts/unit_tests/typecast/address_literal.sol_2_no_adts_000.smt2 TIMEOUT 60.43 44.17 apollon076 solidity/no_adts/unit_tests/typecast/string_to_bytes_push_2.sol_0_no_adts_000.smt2 unknown 12.62 6.63 apollon072 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_return.sol_0_no_adts_000.smt2 unknown 15.27 8.09 apollon133 solidity/no_adts/unit_tests/typecast/enum_to_uint_max_value.sol_0_no_adts_000.smt2 true 16.84 8.88 apollon127 solidity/no_adts/unit_tests/typecast/cast_larger_2.sol_0_no_adts_000.smt2 true 16.70 8.82 apollon127 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_1_no_adts_000.smt2 unknown 47.97 26.30 apollon072 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_modifier.sol_0_no_adts_000.smt2 unknown 12.37 6.82 apollon020 solidity/no_adts/unit_tests/typecast/string_literal_to_dynamic_bytes.sol_2_no_adts_000.smt2 true 26.55 15.01 apollon127 solidity/no_adts/unit_tests/typecast/address_literal.sol_1_no_adts_000.smt2 TIMEOUT 60.28 45.16 apollon072 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_7_no_adts_000.smt2 TIMEOUT 61.29 40.71 apollon051 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_0_no_adts_000.smt2 unknown 21.65 11.16 apollon051 solidity/no_adts/unit_tests/typecast/number_literal.sol_6_no_adts_000.smt2 true 28.65 15.20 apollon020 solidity/no_adts/unit_tests/typecast/address_literal.sol_3_no_adts_000.smt2 unknown 15.45 8.16 apollon103 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_upcast.sol_0_no_adts_000.smt2 unknown 12.00 6.36 apollon123 solidity/no_adts/unit_tests/typecast/number_literal.sol_4_no_adts_000.smt2 true 28.21 15.09 apollon127 solidity/no_adts/unit_tests/typecast/address_literal.sol_4_no_adts_000.smt2 unknown 15.70 8.29 apollon051 solidity/no_adts/unit_tests/typecast/address_literal.sol_0_no_adts_000.smt2 TIMEOUT 61.08 37.74 apollon103 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_4_no_adts_000.smt2 TIMEOUT 60.97 41.87 apollon015 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_return_multi.sol_0_no_adts_000.smt2 unknown 17.45 9.01 apollon076 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_return.sol_1_no_adts_000.smt2 unknown 30.56 15.50 apollon127 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_6_no_adts_000.smt2 TIMEOUT 60.98 41.37 apollon051 solidity/no_adts/unit_tests/abi/abi_encode_packed_hash.sol_1_no_adts_000.smt2 true 29.02 17.11 apollon072 solidity/no_adts/unit_tests/abi/abi_encode_array_slice_2.sol_0_no_adts_000.smt2 TIMEOUT 60.95 42.89 apollon020 solidity/no_adts/unit_tests/abi/abi_encode_array_slice.sol_1_no_adts_000.smt2 unknown 17.48 9.04 apollon112 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal_no_unproved.sol_1_no_adts_000.smt2 unknown 41.50 22.49 apollon076 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_7_no_adts_000.smt2 unknown 48.58 26.73 apollon072 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal.sol_0_no_adts_000.smt2 TIMEOUT 60.90 43.83 apollon076 solidity/no_adts/unit_tests/abi/abi_encode_string_literal.sol_2_no_adts_000.smt2 unknown 40.69 21.49 apollon136 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal.sol_3_no_adts_000.smt2 TIMEOUT 60.23 36.41 apollon133 solidity/no_adts/unit_tests/abi/abi_encode_array_slice_2.sol_3_no_adts_000.smt2 TIMEOUT 61.59 42.33 apollon133 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal_no_unproved.sol_4_no_adts_000.smt2 TIMEOUT 60.21 38.57 apollon051 solidity/no_adts/unit_tests/abi/abi_encode_no_arguments.sol_1_no_adts_000.smt2 TIMEOUT 60.91 43.40 apollon103 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice.sol_0_no_adts_000.smt2 TIMEOUT 60.80 41.83 apollon133 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal_no_unproved.sol_2_no_adts_000.smt2 unknown 17.21 8.94 apollon133 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_string_literal.sol_1_no_adts_000.smt2 unknown 18.23 9.54 apollon051 solidity/no_adts/unit_tests/abi/abi_encode_array_slice_2.sol_2_no_adts_000.smt2 unknown 40.20 21.15 apollon072 solidity/no_adts/unit_tests/abi/abi_encode_no_arguments.sol_4_no_adts_000.smt2 TIMEOUT 60.45 44.21 apollon112 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal.sol_4_no_adts_000.smt2 TIMEOUT 60.11 38.45 apollon020 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice.sol_2_no_adts_000.smt2 TIMEOUT 60.80 41.35 apollon051 solidity/no_adts/unit_tests/abi/abi_encode_array_slice.sol_2_no_adts_000.smt2 TIMEOUT 60.77 43.49 apollon072 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice_2.sol_4_no_adts_000.smt2 unknown 45.42 24.39 apollon072 solidity/no_adts/unit_tests/abi/abi_encode_string_literal.sol_0_no_adts_000.smt2 unknown 16.06 8.33 apollon133 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice.sol_1_no_adts_000.smt2 unknown 49.76 25.93 apollon133 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal_no_unproved.sol_0_no_adts_000.smt2 TIMEOUT 61.06 42.58 apollon123 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_hash.sol_2_no_adts_000.smt2 unknown 14.81 7.77 apollon103 solidity/no_adts/unit_tests/abi/abi_encode_with_selector_hash.sol_1_no_adts_000.smt2 unknown 15.84 8.18 apollon133 solidity/no_adts/unit_tests/abi/abi_encode_no_arguments.sol_0_no_adts_000.smt2 TIMEOUT 60.64 37.15 apollon127 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice.sol_4_no_adts_000.smt2 unknown 18.27 9.48 apollon123 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_3_no_adts_000.smt2 TIMEOUT 60.90 41.14 apollon112 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice_2.sol_1_no_adts_000.smt2 TIMEOUT 60.70 42.41 apollon136 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_2_no_adts_000.smt2 TIMEOUT 60.87 42.10 apollon072 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_5_no_adts_000.smt2 TIMEOUT 60.85 41.44 apollon127 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice_2.sol_3_no_adts_000.smt2 TIMEOUT 60.73 41.71 apollon136 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_string_literal.sol_2_no_adts_000.smt2 TIMEOUT 60.45 35.58 apollon112 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_string_literal.sol_0_no_adts_000.smt2 unknown 45.62 24.87 apollon133 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_hash.sol_1_no_adts_000.smt2 true 39.71 25.89 apollon072 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice_2.sol_0_no_adts_000.smt2 TIMEOUT 60.73 42.03 apollon127 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal_no_unproved.sol_3_no_adts_000.smt2 TIMEOUT 61.47 37.25 apollon103 solidity/no_adts/unit_tests/abi/abi_encode_no_arguments.sol_5_no_adts_000.smt2 TIMEOUT 60.49 38.85 apollon076 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_8_no_adts_000.smt2 unknown 18.52 9.71 apollon076 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice_2.sol_2_no_adts_000.smt2 unknown 18.63 9.59 apollon112 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice.sol_3_no_adts_000.smt2 TIMEOUT 60.77 41.43 apollon136 solidity/no_adts/unit_tests/abi/abi_encode_no_arguments.sol_3_no_adts_000.smt2 unknown 16.31 8.56 apollon136 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_hash.sol_0_no_adts_000.smt2 unknown 42.41 21.97 apollon136 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_string_literal.sol_3_no_adts_000.smt2 TIMEOUT 61.71 41.74 apollon020 solidity/no_adts/unit_tests/abi/abi_encode_hash.sol_0_no_adts_000.smt2 true 17.37 9.16 apollon133 solidity/no_adts/unit_tests/abi/abi_encode_array_slice.sol_0_no_adts_000.smt2 TIMEOUT 61.23 41.06 apollon015 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_0_no_adts_000.smt2 true 28.28 16.04 apollon072 solidity/no_adts/unit_tests/abi/abi_encode_with_selector_hash.sol_2_no_adts_000.smt2 unknown 41.09 21.18 apollon136 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal.sol_1_no_adts_000.smt2 unknown 44.28 23.85 apollon123 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_4_no_adts_000.smt2 TIMEOUT 61.17 41.36 apollon123 solidity/no_adts/unit_tests/abi/abi_encode_packed_hash.sol_0_no_adts_000.smt2 unknown 13.90 7.23 apollon112 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_string_literal.sol_4_no_adts_000.smt2 TIMEOUT 60.77 42.10 apollon072 solidity/no_adts/unit_tests/abi/abi_encode_no_arguments.sol_2_no_adts_000.smt2 unknown 40.66 21.55 apollon076 solidity/no_adts/unit_tests/abi/abi_encode_string_literal.sol_1_no_adts_000.smt2 TIMEOUT 62.03 39.67 apollon015 solidity/no_adts/unit_tests/abi/abi_encode_string_literal.sol_3_no_adts_000.smt2 TIMEOUT 61.17 37.04 apollon123 solidity/no_adts/unit_tests/abi/abi_encode_with_selector_string_literal_2.sol_0_no_adts_000.smt2 true 17.26 9.10 apollon136 solidity/no_adts/unit_tests/abi/abi_encode_with_selector_hash.sol_0_no_adts_000.smt2 true 47.89 32.01 apollon133 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_6_no_adts_000.smt2 TIMEOUT 61.39 37.17 apollon015 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal.sol_2_no_adts_000.smt2 unknown 17.07 8.89 apollon103 solidity/no_adts/unit_tests/abi/abi_encode_array_slice_2.sol_1_no_adts_000.smt2 unknown 17.04 8.89 apollon051 solidity/no_adts/unit_tests/abi/abi_encode_array_slice.sol_3_no_adts_000.smt2 unknown 41.64 21.76 apollon103 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_1_no_adts_000.smt2 TIMEOUT 60.95 41.19 apollon127 solidity/no_adts/unit_tests/loops/while_1_continue_fail.sol_0_no_adts_000.smt2 unknown 13.53 7.19 apollon051 solidity/no_adts/unit_tests/loops/for_1_fail.sol_0_no_adts_000.smt2 unknown 12.50 6.62 apollon136 solidity/no_adts/unit_tests/loops/while_loop_simple_4.sol_0_no_adts_000.smt2 unknown 12.05 6.68 apollon112 solidity/no_adts/unit_tests/loops/while_loop_simple_1.sol_0_no_adts_000.smt2 unknown 12.54 6.54 apollon103 solidity/no_adts/unit_tests/loops/for_1_break.sol_0_no_adts_000.smt2 unknown 13.19 6.88 apollon020 solidity/no_adts/unit_tests/loops/while_nested_break_fail.sol_1_no_adts_000.smt2 unknown 44.37 23.37 apollon051 solidity/no_adts/unit_tests/loops/while_2.sol_0_no_adts_000.smt2 unknown 12.97 6.92 apollon072 solidity/no_adts/unit_tests/loops/while_2_break.sol_0_no_adts_000.smt2 unknown 11.96 6.29 apollon072 solidity/no_adts/unit_tests/loops/while_2_fail.sol_0_no_adts_000.smt2 unknown 12.74 6.87 apollon133 solidity/no_adts/unit_tests/loops/for_break_direct.sol_0_no_adts_000.smt2 unknown 12.21 6.48 apollon072 solidity/no_adts/unit_tests/loops/for_loop_5.sol_0_no_adts_000.smt2 unknown 12.36 6.48 apollon112 solidity/no_adts/unit_tests/loops/do_while_break_2.sol_0_no_adts_000.smt2 unknown 11.89 6.37 apollon123 solidity/no_adts/unit_tests/loops/for_loop_2.sol_0_no_adts_000.smt2 unknown 12.64 6.72 apollon020 solidity/no_adts/unit_tests/loops/for_loop_3.sol_0_no_adts_000.smt2 unknown 12.36 6.52 apollon127 solidity/no_adts/unit_tests/loops/for_loop_trivial_condition_3.sol_0_no_adts_000.smt2 unknown 12.66 6.59 apollon123 solidity/no_adts/unit_tests/loops/while_nested_break_fail.sol_0_no_adts_000.smt2 unknown 17.24 8.87 apollon112 solidity/no_adts/unit_tests/loops/while_1_break.sol_0_no_adts_000.smt2 unknown 12.96 6.85 apollon112 solidity/no_adts/unit_tests/loops/while_break_direct.sol_0_no_adts_000.smt2 unknown 12.16 6.38 apollon127 solidity/no_adts/unit_tests/loops/while_1_fail.sol_0_no_adts_000.smt2 unknown 12.79 6.72 apollon133 solidity/no_adts/unit_tests/loops/for_loop_trivial_condition_1.sol_0_no_adts_000.smt2 unknown 12.63 6.74 apollon112 solidity/no_adts/unit_tests/loops/while_nested_break.sol_0_no_adts_000.smt2 unknown 16.38 8.55 apollon072 solidity/no_adts/unit_tests/loops/for_loop_trivial_condition_2.sol_0_no_adts_000.smt2 unknown 12.73 6.61 apollon123 solidity/no_adts/unit_tests/loops/for_loop_6.sol_0_no_adts_000.smt2 unknown 12.75 6.64 apollon112 solidity/no_adts/unit_tests/loops/do_while_break_2_fail.sol_0_no_adts_000.smt2 unknown 11.76 6.28 apollon072 solidity/no_adts/unit_tests/loops/while_loop_simple_2.sol_0_no_adts_000.smt2 unknown 13.89 7.33 apollon015 solidity/no_adts/unit_tests/loops/for_1_false_positive.sol_0_no_adts_000.smt2 unknown 12.92 6.87 apollon015 solidity/no_adts/unit_tests/loops/while_1_break_fail.sol_0_no_adts_000.smt2 unknown 13.48 7.11 apollon020 solidity/no_adts/unit_tests/loops/do_while_1_fail.sol_0_no_adts_000.smt2 unknown 12.19 6.43 apollon133 solidity/no_adts/unit_tests/loops/while_1_infinite.sol_0_no_adts_000.smt2 unknown 13.28 6.93 apollon133 solidity/no_adts/unit_tests/loops/while_nested_continue_fail.sol_1_no_adts_000.smt2 unknown 15.78 8.17 apollon051 solidity/no_adts/unit_tests/loops/for_1_break_fail.sol_0_no_adts_000.smt2 unknown 13.58 7.20 apollon051 solidity/no_adts/unit_tests/loops/for_loop_unreachable_1.sol_0_no_adts_000.smt2 unknown 12.21 6.39 apollon112 solidity/no_adts/unit_tests/loops/while_1_continue.sol_0_no_adts_000.smt2 unknown 13.16 7.02 apollon112 solidity/no_adts/unit_tests/loops/for_1_continue_fail.sol_0_no_adts_000.smt2 unknown 12.85 6.75 apollon015 solidity/no_adts/unit_tests/loops/while_2_break_fail.sol_0_no_adts_000.smt2 unknown 12.41 6.51 apollon051 solidity/no_adts/unit_tests/loops/do_while_break_fail.sol_0_no_adts_000.smt2 unknown 11.51 6.05 apollon127 solidity/no_adts/unit_tests/loops/while_1.sol_0_no_adts_000.smt2 unknown 12.82 6.68 apollon123 solidity/no_adts/unit_tests/loops/while_nested_break.sol_1_no_adts_000.smt2 unknown 45.65 23.83 apollon136 solidity/no_adts/unit_tests/loops/while_nested_continue.sol_1_no_adts_000.smt2 unknown 37.01 18.76 apollon136 solidity/no_adts/unit_tests/loops/for_1_continue.sol_0_no_adts_000.smt2 unknown 12.58 6.57 apollon076 solidity/no_adts/unit_tests/loops/while_loop_simple_5.sol_0_no_adts_000.smt2 unknown 12.31 6.52 apollon133 solidity/no_adts/unit_tests/loops/do_while_break.sol_0_no_adts_000.smt2 unknown 11.31 5.93 apollon112 solidity/no_adts/unit_tests/loops/do_while_continue.sol_0_no_adts_000.smt2 unknown 11.66 6.19 apollon112 solidity/no_adts/unit_tests/loops/while_loop_simple_3.sol_0_no_adts_000.smt2 unknown 12.29 6.48 apollon112 solidity/no_adts/unit_tests/loops/while_nested_continue.sol_0_no_adts_000.smt2 unknown 16.18 8.34 apollon123 solidity/no_adts/unit_tests/loops/for_loop_4.sol_0_no_adts_000.smt2 unknown 12.18 6.44 apollon112 solidity/no_adts/unit_tests/loops/do_while_1_false_positives.sol_0_no_adts_000.smt2 unknown 12.41 6.58 apollon015 solidity/no_adts/unit_tests/loops/while_nested_continue_fail.sol_0_no_adts_000.smt2 unknown 35.66 18.07 apollon103 solidity/no_adts/unit_tests/try_catch/try_5.sol_0_no_adts_000.smt2 TIMEOUT 61.01 36.04 apollon133 solidity/no_adts/unit_tests/try_catch/try_public_var.sol_1_no_adts_000.smt2 unknown 13.03 6.89 apollon020 solidity/no_adts/unit_tests/try_catch/try_4.sol_0_no_adts_000.smt2 TIMEOUT 60.76 36.07 apollon076 solidity/no_adts/unit_tests/try_catch/try_5.sol_2_no_adts_000.smt2 unknown 15.76 8.29 apollon112 solidity/no_adts/unit_tests/try_catch/try_nested_3.sol_1_no_adts_000.smt2 unknown 35.80 18.19 apollon072 solidity/no_adts/unit_tests/try_catch/try_public_var.sol_0_no_adts_000.smt2 unknown 12.96 6.86 apollon112 solidity/no_adts/unit_tests/try_catch/try_4.sol_1_no_adts_000.smt2 unknown 26.26 13.35 apollon015 solidity/no_adts/unit_tests/try_catch/try_nested_2.sol_1_no_adts_000.smt2 unknown 33.29 16.95 apollon133 solidity/no_adts/unit_tests/try_catch/try_4.sol_2_no_adts_000.smt2 unknown 14.95 7.90 apollon076 solidity/no_adts/unit_tests/try_catch/try_nested_1.sol_0_no_adts_000.smt2 unknown 30.22 15.40 apollon136 solidity/no_adts/unit_tests/try_catch/try_multiple_returned_values.sol_1_no_adts_000.smt2 unknown 13.71 7.11 apollon020 solidity/no_adts/unit_tests/try_catch/try_5.sol_1_no_adts_000.smt2 unknown 24.99 12.77 apollon123 solidity/no_adts/unit_tests/try_catch/try_nested_2.sol_0_no_adts_000.smt2 unknown 16.52 8.66 apollon072 solidity/no_adts/unit_tests/try_catch/try_multiple_returned_values_with_tuple.sol_0_no_adts_000.smt2 unknown 15.55 8.09 apollon112 solidity/no_adts/unit_tests/try_catch/try_multiple_returned_values_with_tuple.sol_1_no_adts_000.smt2 unknown 33.35 16.92 apollon046 solidity/no_adts/unit_tests/try_catch/try_nested_3.sol_0_no_adts_000.smt2 unknown 17.48 9.02 apollon133 solidity/no_adts/unit_tests/try_catch/try_multiple_returned_values.sol_3_no_adts_000.smt2 unknown 48.94 26.98 apollon076 solidity/no_adts/unit_tests/try_catch/try_multiple_returned_values.sol_2_no_adts_000.smt2 unknown 38.19 19.63 apollon127 solidity/no_adts/unit_tests/try_catch/try_multiple_returned_values.sol_0_no_adts_000.smt2 TIMEOUT 61.34 37.37 apollon103 solidity/no_adts/unit_tests/try_catch/try_nested_1.sol_1_no_adts_000.smt2 unknown 13.89 7.39 apollon133 solidity/no_adts/unit_tests/invariants/state_machine_1_fail.sol_0_no_adts_000.smt2 unknown 18.02 9.26 apollon123 solidity/no_adts/unit_tests/invariants/state_machine_1.sol_0_no_adts_000.smt2 unknown 18.74 9.80 apollon136 solidity/no_adts/unit_tests/invariants/loop_basic.sol_0_no_adts_000.smt2 unknown 11.85 6.34 apollon072 solidity/no_adts/unit_tests/invariants/aon_blog_post.sol_0_no_adts_000.smt2 unknown 26.86 13.69 apollon136 solidity/no_adts/unit_tests/invariants/loop_basic_for.sol_0_no_adts_000.smt2 unknown 12.93 6.93 apollon051 solidity/no_adts/unit_tests/invariants/loop_nested.sol_0_no_adts_000.smt2 unknown 13.78 7.33 apollon051 solidity/no_adts/unit_tests/invariants/loop_nested_for.sol_1_no_adts_000.smt2 unknown 28.78 14.66 apollon133 solidity/no_adts/unit_tests/invariants/loop_nested_for.sol_0_no_adts_000.smt2 unknown 15.32 8.15 apollon015 solidity/no_adts/unit_tests/invariants/loop_nested.sol_1_no_adts_000.smt2 unknown 36.04 18.53 apollon136 solidity/no_adts/unit_tests/control_flow/return_2.sol_0_no_adts_000.smt2 unknown 22.79 11.71 apollon136 solidity/no_adts/unit_tests/control_flow/return_2.sol_4_no_adts_000.smt2 unknown 21.84 11.14 apollon020 solidity/no_adts/unit_tests/control_flow/branches_assert_condition_2.sol_1_no_adts_000.smt2 unknown 13.81 7.16 apollon103 solidity/no_adts/unit_tests/control_flow/return_1.sol_3_no_adts_000.smt2 unknown 19.78 10.21 apollon015 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_4.sol_1_no_adts_000.smt2 unknown 16.76 8.85 apollon127 solidity/no_adts/unit_tests/control_flow/short_circuit_or_inside_branch.sol_2_no_adts_000.smt2 unknown 17.08 9.01 apollon076 solidity/no_adts/unit_tests/control_flow/short_circuit_or_fail.sol_0_no_adts_000.smt2 unknown 31.32 15.93 apollon123 solidity/no_adts/unit_tests/control_flow/short_circuit_and_need_both_fail.sol_1_no_adts_000.smt2 unknown 15.21 8.05 apollon127 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_0_no_adts_000.smt2 unknown 22.71 11.87 apollon133 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch.sol_0_no_adts_000.smt2 unknown 33.92 17.23 apollon123 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_3.sol_1_no_adts_000.smt2 unknown 14.48 7.61 apollon076 solidity/no_adts/unit_tests/control_flow/return_1_fail.sol_3_no_adts_000.smt2 unknown 44.09 22.54 apollon103 solidity/no_adts/unit_tests/control_flow/require.sol_1_no_adts_000.smt2 unknown 13.89 7.36 apollon127 solidity/no_adts/unit_tests/control_flow/branches_assert_condition_2.sol_0_no_adts_000.smt2 unknown 14.85 7.68 apollon020 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_2.sol_0_no_adts_000.smt2 unknown 12.03 6.43 apollon076 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_6.sol_0_no_adts_000.smt2 unknown 12.59 6.75 apollon020 solidity/no_adts/unit_tests/control_flow/function_call_inside_modifier_branch.sol_0_no_adts_000.smt2 unknown 13.87 7.21 apollon020 solidity/no_adts/unit_tests/control_flow/return_2.sol_2_no_adts_000.smt2 unknown 22.41 11.71 apollon123 solidity/no_adts/unit_tests/control_flow/short_circuit_or_inside_branch.sol_1_no_adts_000.smt2 unknown 18.58 9.68 apollon020 solidity/no_adts/unit_tests/control_flow/short_circuit_or.sol_1_no_adts_000.smt2 unknown 14.66 7.59 apollon051 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch_2.sol_0_no_adts_000.smt2 unknown 34.78 17.63 apollon123 solidity/no_adts/unit_tests/control_flow/short_circuit_and_inside_branch.sol_1_no_adts_000.smt2 unknown 13.68 7.53 apollon123 solidity/no_adts/unit_tests/control_flow/return_2.sol_3_no_adts_000.smt2 unknown 22.39 11.70 apollon127 solidity/no_adts/unit_tests/control_flow/short_circuit_or_need_both.sol_1_no_adts_000.smt2 unknown 31.45 15.99 apollon072 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_1_no_adts_000.smt2 unknown 21.84 11.27 apollon072 solidity/no_adts/unit_tests/control_flow/return_1_fail.sol_2_no_adts_000.smt2 unknown 46.25 23.47 apollon133 solidity/no_adts/unit_tests/control_flow/return_1_fail.sol_1_no_adts_000.smt2 unknown 44.26 22.85 apollon103 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_1.sol_1_no_adts_000.smt2 unknown 15.57 8.14 apollon136 solidity/no_adts/unit_tests/control_flow/short_circuit_and.sol_0_no_adts_000.smt2 unknown 14.89 7.86 apollon112 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_1.sol_0_no_adts_000.smt2 unknown 39.70 20.31 apollon015 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_3_no_adts_000.smt2 unknown 22.21 11.35 apollon133 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_3.sol_0_no_adts_000.smt2 unknown 38.68 19.77 apollon103 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_1.sol_0_no_adts_000.smt2 unknown 11.57 6.20 apollon076 solidity/no_adts/unit_tests/control_flow/ways_to_merge_variables_2.sol_0_no_adts_000.smt2 unknown 12.21 6.45 apollon123 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_3.sol_0_no_adts_000.smt2 unknown 12.47 6.50 apollon127 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_4_no_adts_000.smt2 unknown 22.95 11.93 apollon015 solidity/no_adts/unit_tests/control_flow/short_circuit_and_need_both_fail.sol_0_no_adts_000.smt2 unknown 31.68 16.08 apollon103 solidity/no_adts/unit_tests/control_flow/short_circuit_and_need_both.sol_1_no_adts_000.smt2 unknown 15.01 7.80 apollon051 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_5_no_adts_000.smt2 unknown 22.97 11.80 apollon015 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch_3.sol_1_no_adts_000.smt2 unknown 38.52 19.48 apollon112 solidity/no_adts/unit_tests/control_flow/revert.sol_1_no_adts_000.smt2 unknown 13.75 7.12 apollon133 solidity/no_adts/unit_tests/control_flow/short_circuit_and_fail.sol_1_no_adts_000.smt2 unknown 15.24 7.95 apollon112 solidity/no_adts/unit_tests/control_flow/branches_assert_condition_2.sol_2_no_adts_000.smt2 unknown 14.28 7.60 apollon123 solidity/no_adts/unit_tests/control_flow/return_2.sol_7_no_adts_000.smt2 unknown 21.97 11.22 apollon127 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_6_no_adts_000.smt2 unknown 22.31 11.60 apollon051 solidity/no_adts/unit_tests/control_flow/short_circuit_or_need_both_fail.sol_1_no_adts_000.smt2 unknown 32.06 16.24 apollon123 solidity/no_adts/unit_tests/control_flow/short_circuit_or_inside_branch.sol_3_no_adts_000.smt2 unknown 18.19 9.46 apollon072 solidity/no_adts/unit_tests/control_flow/assignment_in_declaration.sol_0_no_adts_000.smt2 true 16.15 8.52 apollon076 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_2.sol_0_no_adts_000.smt2 unknown 16.32 8.40 apollon112 solidity/no_adts/unit_tests/control_flow/branches_assert_condition_1.sol_1_no_adts_000.smt2 unknown 11.92 6.26 apollon076 solidity/no_adts/unit_tests/control_flow/short_circuit_and.sol_1_no_adts_000.smt2 unknown 32.11 16.36 apollon103 solidity/no_adts/unit_tests/control_flow/function_call_inside_placeholder_inside_modifier_branch.sol_0_no_adts_000.smt2 unknown 36.45 18.54 apollon112 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch_4.sol_0_no_adts_000.smt2 unknown 54.51 29.07 apollon051 solidity/no_adts/unit_tests/control_flow/return_1.sol_0_no_adts_000.smt2 unknown 45.09 22.83 apollon133 solidity/no_adts/unit_tests/control_flow/short_circuit_and_need_both.sol_0_no_adts_000.smt2 unknown 31.67 16.10 apollon133 solidity/no_adts/unit_tests/control_flow/short_circuit_and_fail.sol_0_no_adts_000.smt2 unknown 31.54 16.10 apollon127 solidity/no_adts/unit_tests/control_flow/short_circuit_or_inside_branch.sol_0_no_adts_000.smt2 unknown 17.59 9.14 apollon136 solidity/no_adts/unit_tests/control_flow/short_circuit_or_need_both_fail.sol_0_no_adts_000.smt2 unknown 14.35 7.46 apollon072 solidity/no_adts/unit_tests/control_flow/return_2.sol_1_no_adts_000.smt2 unknown 22.57 11.68 apollon046 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch_2.sol_1_no_adts_000.smt2 unknown 32.24 16.34 apollon076 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_2.sol_1_no_adts_000.smt2 unknown 41.84 21.36 apollon020 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_4.sol_0_no_adts_000.smt2 unknown 12.92 6.71 apollon123 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_2_no_adts_000.smt2 unknown 24.50 12.56 apollon015 solidity/no_adts/unit_tests/control_flow/branches_assert_condition_1.sol_0_no_adts_000.smt2 unknown 12.82 6.70 apollon112 solidity/no_adts/unit_tests/control_flow/require.sol_3_no_adts_000.smt2 unknown 14.50 7.62 apollon123 solidity/no_adts/unit_tests/control_flow/return_1.sol_1_no_adts_000.smt2 unknown 47.19 24.01 apollon051 solidity/no_adts/unit_tests/control_flow/short_circuit_or.sol_0_no_adts_000.smt2 unknown 31.81 16.22 apollon127 solidity/no_adts/unit_tests/control_flow/return_2.sol_5_no_adts_000.smt2 unknown 23.84 12.21 apollon136 solidity/no_adts/unit_tests/control_flow/revert_complex_flow.sol_0_no_adts_000.smt2 unknown 12.64 6.77 apollon051 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch_3.sol_0_no_adts_000.smt2 unknown 37.03 18.94 apollon076 solidity/no_adts/unit_tests/control_flow/return_1.sol_2_no_adts_000.smt2 unknown 43.46 22.24 apollon133 solidity/no_adts/unit_tests/control_flow/short_circuit_and_inside_branch.sol_0_no_adts_000.smt2 unknown 36.02 18.28 apollon046 solidity/no_adts/unit_tests/control_flow/short_circuit_or_fail.sol_1_no_adts_000.smt2 unknown 15.37 8.03 apollon020 solidity/no_adts/unit_tests/control_flow/ways_to_merge_variables_3.sol_0_no_adts_000.smt2 unknown 12.78 6.72 apollon015 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_4.sol_1_no_adts_000.smt2 unknown 36.11 18.60 apollon015 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_5.sol_0_no_adts_000.smt2 unknown 12.35 6.54 apollon051 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_4.sol_0_no_adts_000.smt2 unknown 41.89 21.75 apollon020 solidity/no_adts/unit_tests/control_flow/function_call_inside_else_branch.sol_0_no_adts_000.smt2 true 32.09 19.49 apollon112 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_4.sol_2_no_adts_000.smt2 unknown 38.00 19.37 apollon123 solidity/no_adts/unit_tests/control_flow/return_2.sol_6_no_adts_000.smt2 unknown 22.58 11.54 apollon123 solidity/no_adts/unit_tests/control_flow/revert.sol_3_no_adts_000.smt2 unknown 13.65 7.13 apollon136 solidity/no_adts/unit_tests/control_flow/ways_to_merge_variables_1.sol_0_no_adts_000.smt2 unknown 12.19 6.45 apollon112 solidity/no_adts/unit_tests/control_flow/short_circuit_or_need_both.sol_0_no_adts_000.smt2 unknown 14.85 7.77 apollon133 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_7_no_adts_000.smt2 unknown 21.74 11.24 apollon072 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch_4.sol_1_no_adts_000.smt2 unknown 50.42 27.43 apollon076 solidity/no_adts/unit_tests/control_flow/return_1_fail.sol_0_no_adts_000.smt2 unknown 18.48 9.72 apollon076 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_14_no_adts_000.smt2 unknown 32.69 16.69 apollon123 solidity/no_adts/unit_tests/special/msg_value_inheritance_2.sol_2_no_adts_000.smt2 unknown 15.33 7.91 apollon133 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_5_no_adts_000.smt2 unknown 32.54 16.54 apollon133 solidity/no_adts/unit_tests/special/msg_data.sol_15_no_adts_000.smt2 TIMEOUT 60.55 43.80 apollon123 solidity/no_adts/unit_tests/special/range_check.sol_20_no_adts_000.smt2 unknown 22.08 11.45 apollon015 solidity/no_adts/unit_tests/special/msg_sender_1.sol_0_no_adts_000.smt2 true 17.33 9.13 apollon015 solidity/no_adts/unit_tests/special/msg_sender_fail_1.sol_1_no_adts_000.smt2 unknown 11.91 6.36 apollon136 solidity/no_adts/unit_tests/special/time_units.sol_4_no_adts_000.smt2 unknown 16.39 8.53 apollon015 solidity/no_adts/unit_tests/special/range_check.sol_6_no_adts_000.smt2 unknown 21.39 11.02 apollon133 solidity/no_adts/unit_tests/special/many_internal.sol_6_no_adts_000.smt2 unknown 16.28 8.41 apollon076 solidity/no_adts/unit_tests/special/tx_vars_chc_internal.sol_1_no_adts_000.smt2 unknown 14.54 7.58 apollon133 solidity/no_adts/unit_tests/special/msg_sig.sol_3_no_adts_000.smt2 unknown 27.11 13.81 apollon127 solidity/no_adts/unit_tests/special/blockhash.sol_2_no_adts_000.smt2 unknown 14.03 7.52 apollon123 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_23_no_adts_000.smt2 TIMEOUT 60.57 33.43 apollon051 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_7_no_adts_000.smt2 unknown 18.90 10.13 apollon103 solidity/no_adts/unit_tests/special/msg_value_inheritance_1.sol_1_no_adts_000.smt2 unknown 14.20 7.55 apollon076 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_12_no_adts_000.smt2 unknown 32.71 16.61 apollon136 solidity/no_adts/unit_tests/special/range_check.sol_10_no_adts_000.smt2 unknown 20.81 10.64 apollon076 solidity/no_adts/unit_tests/special/msg_value_2.sol_0_no_adts_000.smt2 unknown 10.96 5.76 apollon076 solidity/no_adts/unit_tests/special/msg_value_inheritance_2.sol_1_no_adts_000.smt2 unknown 11.42 6.00 apollon072 solidity/no_adts/unit_tests/special/many_internal.sol_5_no_adts_000.smt2 unknown 16.80 8.79 apollon127 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_10_no_adts_000.smt2 unknown 18.92 9.77 apollon015 solidity/no_adts/unit_tests/special/range_check.sol_8_no_adts_000.smt2 unknown 21.39 11.00 apollon103 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_2_no_adts_000.smt2 unknown 18.83 9.80 apollon112 solidity/no_adts/unit_tests/special/range_check.sol_19_no_adts_000.smt2 unknown 20.37 10.54 apollon076 solidity/no_adts/unit_tests/special/msg_data.sol_10_no_adts_000.smt2 TIMEOUT 60.63 42.93 apollon020 solidity/no_adts/unit_tests/special/many_internal.sol_1_no_adts_000.smt2 unknown 17.92 9.22 apollon020 solidity/no_adts/unit_tests/special/range_check.sol_32_no_adts_000.smt2 unknown 20.77 10.84 apollon072 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_16_no_adts_000.smt2 unknown 32.60 16.57 apollon015 solidity/no_adts/unit_tests/special/range_check.sol_26_no_adts_000.smt2 unknown 21.06 10.86 apollon051 solidity/no_adts/unit_tests/special/time_units.sol_0_no_adts_000.smt2 TIMEOUT 60.56 43.30 apollon051 solidity/no_adts/unit_tests/special/ether_units.sol_1_no_adts_000.smt2 TIMEOUT 60.17 38.53 apollon051 solidity/no_adts/unit_tests/special/range_check.sol_11_no_adts_000.smt2 unknown 21.50 11.22 apollon123 solidity/no_adts/unit_tests/special/this_state.sol_0_no_adts_000.smt2 unknown 14.34 7.53 apollon076 solidity/no_adts/unit_tests/special/range_check.sol_1_no_adts_000.smt2 unknown 21.13 10.96 apollon136 solidity/no_adts/unit_tests/special/msg_sig.sol_2_no_adts_000.smt2 unknown 24.95 12.73 apollon112 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_5_no_adts_000.smt2 unknown 19.14 9.97 apollon136 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_0_no_adts_000.smt2 TIMEOUT 61.21 34.39 apollon133 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_1_no_adts_000.smt2 TIMEOUT 61.30 34.65 apollon020 solidity/no_adts/unit_tests/special/blockhash.sol_0_no_adts_000.smt2 true 37.78 24.58 apollon123 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_9_no_adts_000.smt2 unknown 32.01 16.26 apollon136 solidity/no_adts/unit_tests/special/gasleft.sol_0_no_adts_000.smt2 true 41.38 26.71 apollon051 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_16_no_adts_000.smt2 TIMEOUT 60.95 35.36 apollon072 solidity/no_adts/unit_tests/special/many.sol_3_no_adts_000.smt2 TIMEOUT 60.68 43.02 apollon133 solidity/no_adts/unit_tests/special/many.sol_0_no_adts_000.smt2 unknown 46.21 25.03 apollon076 solidity/no_adts/unit_tests/special/tx_vars_chc_internal.sol_0_no_adts_000.smt2 unknown 14.66 7.71 apollon076 solidity/no_adts/unit_tests/special/range_check.sol_21_no_adts_000.smt2 unknown 19.73 10.32 apollon072 solidity/no_adts/unit_tests/special/msg_data.sol_17_no_adts_000.smt2 TIMEOUT 60.55 43.24 apollon076 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_5_no_adts_000.smt2 TIMEOUT 61.20 34.75 apollon127 solidity/no_adts/unit_tests/special/msg_data.sol_12_no_adts_000.smt2 TIMEOUT 60.66 42.06 apollon127 solidity/no_adts/unit_tests/special/range_check.sol_23_no_adts_000.smt2 unknown 21.76 11.30 apollon103 solidity/no_adts/unit_tests/special/ether_units.sol_3_no_adts_000.smt2 TIMEOUT 61.11 39.86 apollon076 solidity/no_adts/unit_tests/special/range_check.sol_4_no_adts_000.smt2 unknown 21.32 11.07 apollon051 solidity/no_adts/unit_tests/special/time_units.sol_6_no_adts_000.smt2 TIMEOUT 60.63 42.94 apollon051 solidity/no_adts/unit_tests/special/gasleft.sol_2_no_adts_000.smt2 unknown 35.83 18.46 apollon123 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_17_no_adts_000.smt2 unknown 33.07 16.84 apollon072 solidity/no_adts/unit_tests/special/msg_data.sol_0_no_adts_000.smt2 TIMEOUT 60.61 43.05 apollon072 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_6_no_adts_000.smt2 TIMEOUT 61.03 35.25 apollon127 solidity/no_adts/unit_tests/special/tx_vars_reentrancy_2.sol_0_no_adts_000.smt2 unknown 12.71 6.59 apollon112 solidity/no_adts/unit_tests/special/msg_value_4.sol_0_no_adts_000.smt2 unknown 10.23 5.47 apollon136 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_2_no_adts_000.smt2 unknown 33.11 16.89 apollon103 solidity/no_adts/unit_tests/special/tx_vars_chc_internal.sol_3_no_adts_000.smt2 unknown 15.32 8.01 apollon133 solidity/no_adts/unit_tests/special/range_check.sol_18_no_adts_000.smt2 unknown 21.51 11.18 apollon136 solidity/no_adts/unit_tests/special/msg_sender_range.sol_1_no_adts_000.smt2 true 17.99 9.74 apollon015 solidity/no_adts/unit_tests/special/range_check.sol_34_no_adts_000.smt2 unknown 20.47 10.58 apollon127 solidity/no_adts/unit_tests/special/msg_data.sol_16_no_adts_000.smt2 TIMEOUT 60.75 42.08 apollon133 solidity/no_adts/unit_tests/special/many.sol_2_no_adts_000.smt2 unknown 15.87 8.43 apollon136 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_13_no_adts_000.smt2 unknown 31.40 15.94 apollon072 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_2_no_adts_000.smt2 unknown 17.86 9.43 apollon103 solidity/no_adts/unit_tests/special/shadowing_1.sol_2_no_adts_000.smt2 unknown 14.49 7.58 apollon127 solidity/no_adts/unit_tests/special/time_units.sol_2_no_adts_000.smt2 TIMEOUT 60.42 44.25 apollon123 solidity/no_adts/unit_tests/special/many.sol_1_no_adts_000.smt2 TIMEOUT 60.55 36.62 apollon127 solidity/no_adts/unit_tests/special/range_check.sol_33_no_adts_000.smt2 unknown 20.71 10.75 apollon020 solidity/no_adts/unit_tests/special/event.sol_0_no_adts_000.smt2 unknown 16.76 9.07 apollon103 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_6_no_adts_000.smt2 unknown 32.05 16.34 apollon103 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_8_no_adts_000.smt2 unknown 18.10 9.50 apollon123 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_9_no_adts_000.smt2 unknown 19.12 9.84 apollon051 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_3_no_adts_000.smt2 unknown 18.31 9.47 apollon123 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_19_no_adts_000.smt2 TIMEOUT 60.95 33.26 apollon133 solidity/no_adts/unit_tests/special/many.sol_4_no_adts_000.smt2 TIMEOUT 60.54 43.60 apollon133 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_1_no_adts_000.smt2 unknown 19.14 9.92 apollon020 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_1_no_adts_000.smt2 unknown 18.63 9.63 apollon123 solidity/no_adts/unit_tests/special/msg_value_inheritance_3.sol_2_no_adts_000.smt2 unknown 14.48 7.57 apollon051 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_3_no_adts_000.smt2 unknown 31.61 16.14 apollon103 solidity/no_adts/unit_tests/special/range_check.sol_7_no_adts_000.smt2 unknown 20.40 10.50 apollon127 solidity/no_adts/unit_tests/special/blockhash.sol_1_no_adts_000.smt2 unknown 35.13 18.15 apollon015 solidity/no_adts/unit_tests/special/range_check.sol_27_no_adts_000.smt2 unknown 20.14 10.51 apollon051 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_6_no_adts_000.smt2 unknown 18.71 9.67 apollon136 solidity/no_adts/unit_tests/special/ether_units.sol_0_no_adts_000.smt2 unknown 36.87 19.08 apollon072 solidity/no_adts/unit_tests/special/msg_sig.sol_1_no_adts_000.smt2 unknown 24.04 12.26 apollon051 solidity/no_adts/unit_tests/special/msg_data.sol_1_no_adts_000.smt2 TIMEOUT 60.48 43.62 apollon020 solidity/no_adts/unit_tests/special/msg_value_inheritance_1.sol_2_no_adts_000.smt2 unknown 12.26 6.47 apollon103 solidity/no_adts/unit_tests/special/shadowing_1.sol_0_no_adts_000.smt2 true 43.43 27.58 apollon015 solidity/no_adts/unit_tests/special/range_check.sol_28_no_adts_000.smt2 unknown 20.88 10.72 apollon133 solidity/no_adts/unit_tests/special/range_check.sol_15_no_adts_000.smt2 unknown 21.18 11.04 apollon020 solidity/no_adts/unit_tests/special/msg_value_1.sol_0_no_adts_000.smt2 true 17.51 9.22 apollon133 solidity/no_adts/unit_tests/special/range_check.sol_13_no_adts_000.smt2 unknown 22.13 11.51 apollon136 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_12_no_adts_000.smt2 TIMEOUT 61.18 35.10 apollon051 solidity/no_adts/unit_tests/special/ether_units.sol_5_no_adts_000.smt2 unknown 13.18 6.85 apollon133 solidity/no_adts/unit_tests/special/range_check.sol_35_no_adts_000.smt2 unknown 20.70 10.75 apollon112 solidity/no_adts/unit_tests/special/range_check.sol_22_no_adts_000.smt2 unknown 21.36 11.04 apollon020 solidity/no_adts/unit_tests/special/difficulty.sol_0_no_adts_000.smt2 unknown 11.20 5.86 apollon112 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_19_no_adts_000.smt2 unknown 32.26 16.43 apollon123 solidity/no_adts/unit_tests/special/msg_sig.sol_4_no_adts_000.smt2 unknown 23.98 12.22 apollon072 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_8_no_adts_000.smt2 unknown 18.57 9.66 apollon103 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_4_no_adts_000.smt2 unknown 32.72 16.73 apollon046 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_20_no_adts_000.smt2 TIMEOUT 61.00 33.31 apollon136 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_7_no_adts_000.smt2 unknown 18.41 9.61 apollon127 solidity/no_adts/unit_tests/special/msg_data.sol_2_no_adts_000.smt2 TIMEOUT 60.68 42.97 apollon123 solidity/no_adts/unit_tests/special/many.sol_7_no_adts_000.smt2 TIMEOUT 60.79 43.21 apollon020 solidity/no_adts/unit_tests/special/range_check.sol_25_no_adts_000.smt2 unknown 21.59 11.21 apollon123 solidity/no_adts/unit_tests/special/range_check.sol_12_no_adts_000.smt2 unknown 19.85 10.40 apollon072 solidity/no_adts/unit_tests/special/msg_value_inheritance_3.sol_0_no_adts_000.smt2 unknown 16.36 8.62 apollon112 solidity/no_adts/unit_tests/special/range_check.sol_29_no_adts_000.smt2 unknown 20.70 10.80 apollon112 solidity/no_adts/unit_tests/special/msg_data.sol_3_no_adts_000.smt2 TIMEOUT 60.70 42.29 apollon133 solidity/no_adts/unit_tests/special/msg_value_3.sol_0_no_adts_000.smt2 unknown 13.80 7.12 apollon051 solidity/no_adts/unit_tests/special/time_units.sol_8_no_adts_000.smt2 TIMEOUT 60.57 43.39 apollon112 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_22_no_adts_000.smt2 TIMEOUT 61.19 34.89 apollon103 solidity/no_adts/unit_tests/special/gasleft.sol_1_no_adts_000.smt2 unknown 12.92 6.80 apollon123 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_4_no_adts_000.smt2 unknown 18.24 9.40 apollon072 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_5_no_adts_000.smt2 unknown 19.36 10.07 apollon136 solidity/no_adts/unit_tests/special/many_internal.sol_7_no_adts_000.smt2 unknown 17.48 9.11 apollon020 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_22_no_adts_000.smt2 unknown 33.14 16.77 apollon133 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_9_no_adts_000.smt2 TIMEOUT 61.21 32.94 apollon051 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_0_no_adts_000.smt2 unknown 19.50 10.10 apollon136 solidity/no_adts/unit_tests/special/tx_vars_reentrancy_1.sol_0_no_adts_000.smt2 unknown 12.41 6.64 apollon112 solidity/no_adts/unit_tests/special/msg_value_inheritance_3.sol_1_no_adts_000.smt2 unknown 13.54 7.02 apollon112 solidity/no_adts/unit_tests/special/msg_sender_2.sol_0_no_adts_000.smt2 true 17.70 9.31 apollon051 solidity/no_adts/unit_tests/special/msg_parens_1.sol_1_no_adts_000.smt2 unknown 32.23 16.61 apollon112 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_14_no_adts_000.smt2 TIMEOUT 61.17 32.88 apollon103 solidity/no_adts/unit_tests/special/range_check.sol_38_no_adts_000.smt2 unknown 21.37 10.92 apollon015 solidity/no_adts/unit_tests/special/msg_data.sol_6_no_adts_000.smt2 TIMEOUT 60.81 42.11 apollon051 solidity/no_adts/unit_tests/special/msg_data.sol_11_no_adts_000.smt2 TIMEOUT 60.66 42.52 apollon076 solidity/no_adts/unit_tests/special/msg_data.sol_8_no_adts_000.smt2 TIMEOUT 60.70 43.08 apollon076 solidity/no_adts/unit_tests/special/msg_data.sol_5_no_adts_000.smt2 TIMEOUT 60.75 42.65 apollon123 solidity/no_adts/unit_tests/special/many_internal.sol_3_no_adts_000.smt2 unknown 17.37 9.07 apollon046 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_15_no_adts_000.smt2 unknown 34.82 17.76 apollon015 solidity/no_adts/unit_tests/special/many.sol_6_no_adts_000.smt2 TIMEOUT 62.03 41.70 apollon076 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_10_no_adts_000.smt2 unknown 31.87 16.22 apollon051 solidity/no_adts/unit_tests/special/shadowing_1.sol_3_no_adts_000.smt2 true 29.45 16.56 apollon051 solidity/no_adts/unit_tests/special/abi_decode_simple.sol_0_no_adts_000.smt2 solidity/no_adts/unit_tests/special/range_check.sol_2_no_adts_000.smt2 unknown 21.09 10.89 apollon127 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_21_no_adts_000.smt2 TIMEOUT 61.10 34.99 apollon123 solidity/no_adts/unit_tests/special/msg_data.sol_7_no_adts_000.smt2 TIMEOUT 60.55 43.49 apollon103 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_11_no_adts_000.smt2 TIMEOUT 60.64 33.65 apollon136 solidity/no_adts/unit_tests/special/range_check.sol_16_no_adts_000.smt2 unknown 20.96 10.85 apollon123 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_20_no_adts_000.smt2 unknown 31.40 15.95 apollon072 solidity/no_adts/unit_tests/special/msg_parens_1.sol_0_no_adts_000.smt2 unknown 11.19 5.80 apollon072 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_17_no_adts_000.smt2 unknown 32.22 16.35 apollon051 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_8_no_adts_000.smt2 unknown 31.58 16.05 apollon076 solidity/no_adts/unit_tests/special/msg_value_inheritance_1.sol_0_no_adts_000.smt2 unknown 11.94 6.27 apollon020 solidity/no_adts/unit_tests/special/range_check.sol_14_no_adts_000.smt2 unknown 19.86 10.30 apollon133 solidity/no_adts/unit_tests/special/msg_data.sol_9_no_adts_000.smt2 unknown 19.45 10.02 apollon136 solidity/no_adts/unit_tests/special/tx_data_gasleft_changes.sol_0_no_adts_000.smt2 unknown 36.29 18.46 apollon051 solidity/no_adts/unit_tests/special/time_units.sol_7_no_adts_000.smt2 unknown 44.93 23.54 apollon133 solidity/no_adts/unit_tests/special/msg_value_inheritance_3.sol_4_no_adts_000.smt2 unknown 16.15 8.36 apollon136 solidity/no_adts/unit_tests/special/many_internal.sol_4_no_adts_000.smt2 unknown 15.67 8.17 apollon020 solidity/no_adts/unit_tests/special/msg_sender_3.sol_0_no_adts_000.smt2 unknown 10.93 5.77 apollon136 solidity/no_adts/unit_tests/special/tx_data_gasleft_changes.sol_1_no_adts_000.smt2 unknown 14.40 7.46 apollon015 solidity/no_adts/unit_tests/special/range_check.sol_9_no_adts_000.smt2 unknown 20.26 10.49 apollon112 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_7_no_adts_000.smt2 TIMEOUT 60.89 33.33 apollon136 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_7_no_adts_000.smt2 unknown 31.00 15.79 apollon072 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_10_no_adts_000.smt2 TIMEOUT 61.22 32.45 apollon015 solidity/no_adts/unit_tests/special/msg_sig.sol_5_no_adts_000.smt2 unknown 24.94 12.69 apollon072 solidity/no_adts/unit_tests/special/range_check.sol_24_no_adts_000.smt2 unknown 20.76 10.86 apollon127 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_3_no_adts_000.smt2 unknown 19.05 9.98 apollon112 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_18_no_adts_000.smt2 TIMEOUT 61.92 33.66 apollon103 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_4_no_adts_000.smt2 unknown 19.41 10.07 apollon020 solidity/no_adts/unit_tests/special/msg_value_inheritance_3.sol_3_no_adts_000.smt2 unknown 13.80 7.17 apollon112 solidity/no_adts/unit_tests/special/range_check.sol_5_no_adts_000.smt2 unknown 22.28 11.79 apollon051 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_2_no_adts_000.smt2 TIMEOUT 60.58 32.74 apollon136 solidity/no_adts/unit_tests/special/tx_vars_chc_internal.sol_4_no_adts_000.smt2 unknown 15.52 8.13 apollon136 solidity/no_adts/unit_tests/special/many.sol_5_no_adts_000.smt2 TIMEOUT 61.06 43.27 apollon072 solidity/no_adts/unit_tests/special/range_check.sol_31_no_adts_000.smt2 unknown 20.39 10.65 apollon103 solidity/no_adts/unit_tests/special/time_units.sol_1_no_adts_000.smt2 TIMEOUT 62.03 40.48 apollon112 solidity/no_adts/unit_tests/special/abi_decode_memory_v2_value_types.sol_0_no_adts_000.smt2 true 18.27 9.57 apollon051 solidity/no_adts/unit_tests/special/msg_sender_fail_1.sol_0_no_adts_000.smt2 true 26.49 14.93 apollon136 solidity/no_adts/unit_tests/special/range_check.sol_3_no_adts_000.smt2 unknown 20.72 10.91 apollon127 solidity/no_adts/unit_tests/special/many_internal.sol_2_no_adts_000.smt2 unknown 16.74 8.84 apollon133 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_1_no_adts_000.smt2 unknown 32.01 16.24 apollon051 solidity/no_adts/unit_tests/special/msg_sig.sol_0_no_adts_000.smt2 unknown 16.58 8.61 apollon127 solidity/no_adts/unit_tests/special/range_check.sol_36_no_adts_000.smt2 unknown 22.10 11.48 apollon015 solidity/no_adts/unit_tests/special/range_check.sol_17_no_adts_000.smt2 unknown 20.50 10.68 apollon123 solidity/no_adts/unit_tests/special/msg_sender_3.sol_1_no_adts_000.smt2 unknown 10.06 5.35 apollon076 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_13_no_adts_000.smt2 TIMEOUT 61.12 34.86 apollon103 solidity/no_adts/unit_tests/special/range_check.sol_30_no_adts_000.smt2 unknown 20.91 10.83 apollon051 solidity/no_adts/unit_tests/special/range_check.sol_0_no_adts_000.smt2 unknown 20.96 10.93 apollon136 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_3_no_adts_000.smt2 TIMEOUT 60.67 33.36 apollon015 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_4_no_adts_000.smt2 TIMEOUT 60.35 33.45 apollon123 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_23_no_adts_000.smt2 unknown 31.83 16.17 apollon051 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_0_no_adts_000.smt2 unknown 31.55 16.08 apollon136 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_18_no_adts_000.smt2 unknown 32.84 16.68 apollon015 solidity/no_adts/unit_tests/special/tx_data_gasleft_changes.sol_2_no_adts_000.smt2 unknown 34.13 17.29 apollon076 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_0_no_adts_000.smt2 unknown 18.27 9.60 apollon136 solidity/no_adts/unit_tests/special/this.sol_0_no_adts_000.smt2 unknown 11.13 5.81 apollon112 solidity/no_adts/unit_tests/special/time_units.sol_3_no_adts_000.smt2 TIMEOUT 60.71 43.20 apollon076 solidity/no_adts/unit_tests/special/msg_value_inheritance_2.sol_0_no_adts_000.smt2 unknown 12.45 6.53 apollon136 solidity/no_adts/unit_tests/special/time_units.sol_5_no_adts_000.smt2 TIMEOUT 60.28 38.16 apollon072 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_8_no_adts_000.smt2 TIMEOUT 61.11 32.99 apollon015 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_21_no_adts_000.smt2 unknown 33.44 17.03 apollon136 solidity/no_adts/unit_tests/special/msg_value_4.sol_1_no_adts_000.smt2 unknown 10.39 5.59 apollon015 solidity/no_adts/unit_tests/special/ether_units.sol_4_no_adts_000.smt2 TIMEOUT 61.51 40.01 apollon020 solidity/no_adts/unit_tests/special/abi_decode_simple.sol_1_no_adts_000.smt2 solidity/no_adts/unit_tests/special/time_units.sol_9_no_adts_000.smt2 TIMEOUT 60.60 44.03 apollon076 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_6_no_adts_000.smt2 unknown 18.24 9.56 apollon127 solidity/no_adts/unit_tests/special/many_internal.sol_0_no_adts_000.smt2 unknown 17.89 9.36 apollon015 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_15_no_adts_000.smt2 TIMEOUT 60.17 33.37 apollon127 solidity/no_adts/unit_tests/special/range_check.sol_39_no_adts_000.smt2 unknown 21.72 11.19 apollon123 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_11_no_adts_000.smt2 unknown 34.28 17.40 apollon015 solidity/no_adts/unit_tests/special/tx_vars_chc_internal.sol_2_no_adts_000.smt2 unknown 14.32 7.49 apollon076 solidity/no_adts/unit_tests/special/msg_sender_range.sol_0_no_adts_000.smt2 true 17.08 9.00 apollon051 solidity/no_adts/unit_tests/special/msg_data.sol_13_no_adts_000.smt2 TIMEOUT 60.63 42.73 apollon103 solidity/no_adts/unit_tests/special/range_check.sol_37_no_adts_000.smt2 unknown 21.20 10.98 apollon103 solidity/no_adts/unit_tests/special/msg_data.sol_14_no_adts_000.smt2 TIMEOUT 60.55 43.29 apollon123 solidity/no_adts/unit_tests/special/msg_data.sol_4_no_adts_000.smt2 TIMEOUT 60.66 42.71 apollon127 solidity/no_adts/unit_tests/special/event.sol_1_no_adts_000.smt2 unknown 18.07 9.56 apollon015 solidity/no_adts/unit_tests/special/ether_units.sol_2_no_adts_000.smt2 TIMEOUT 60.57 37.61 apollon127 solidity/no_adts/unit_tests/special/shadowing_1.sol_1_no_adts_000.smt2 true 31.14 17.83 apollon136 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_4_no_adts_000.smt2 TIMEOUT 61.43 37.62 apollon076 solidity/no_adts/unit_tests/types_struct/struct_temporary.sol_0_no_adts_000.smt2 true 16.26 8.55 apollon076 solidity/no_adts/unit_tests/types_struct/struct_recursive_4.sol_2_no_adts_000.smt2 unknown 38.88 20.39 apollon020 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_2_no_adts_000.smt2 TIMEOUT 60.69 43.56 apollon051 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_12_no_adts_000.smt2 TIMEOUT 61.14 39.59 apollon123 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_1.sol_1_no_adts_000.smt2 unknown 12.13 6.45 apollon020 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_3_no_adts_000.smt2 TIMEOUT 61.14 39.22 apollon123 solidity/no_adts/unit_tests/types_struct/struct_recursive_1.sol_1_no_adts_000.smt2 unknown 35.33 18.15 apollon112 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_0_no_adts_000.smt2 TIMEOUT 61.12 39.75 apollon112 solidity/no_adts/unit_tests/types_struct/struct_constructor_named_args_2.sol_3_no_adts_000.smt2 true 33.22 19.35 apollon103 solidity/no_adts/unit_tests/types_struct/struct_constructor_fixed_bytes_from_string_1.sol_0_no_adts_000.smt2 unknown 12.29 6.58 apollon123 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_19_no_adts_000.smt2 TIMEOUT 61.13 38.84 apollon076 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_20_no_adts_000.smt2 TIMEOUT 61.04 40.19 apollon020 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_3_no_adts_000.smt2 TIMEOUT 60.56 44.64 apollon103 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_16_no_adts_000.smt2 TIMEOUT 60.22 38.21 apollon136 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_5_no_adts_000.smt2 TIMEOUT 60.53 37.34 apollon051 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_13_no_adts_000.smt2 TIMEOUT 60.93 40.57 apollon133 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_18_no_adts_000.smt2 TIMEOUT 61.06 39.71 apollon020 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_5_no_adts_000.smt2 unknown 14.89 7.67 apollon020 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_0_no_adts_000.smt2 TIMEOUT 60.89 42.77 apollon123 solidity/no_adts/unit_tests/types_struct/struct_constructor_named_args_2.sol_1_no_adts_000.smt2 unknown 13.73 7.29 apollon112 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_1_no_adts_000.smt2 unknown 43.30 23.94 apollon051 solidity/no_adts/unit_tests/types_struct/struct_recursive_6.sol_2_no_adts_000.smt2 TIMEOUT 60.42 37.20 apollon123 solidity/no_adts/unit_tests/types_struct/struct_constructor_fixed_bytes_from_string_1.sol_3_no_adts_000.smt2 true 27.25 15.22 apollon123 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_7_no_adts_000.smt2 TIMEOUT 61.08 40.49 apollon072 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_6_no_adts_000.smt2 TIMEOUT 60.48 44.04 apollon127 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_17_no_adts_000.smt2 TIMEOUT 61.08 39.42 apollon103 solidity/no_adts/unit_tests/types_struct/struct_constructor_named_args_2.sol_2_no_adts_000.smt2 true 29.38 16.41 apollon136 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_1.sol_0_no_adts_000.smt2 unknown 33.81 17.31 apollon051 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_0_no_adts_000.smt2 TIMEOUT 60.66 43.98 apollon072 solidity/no_adts/unit_tests/types_struct/struct_state_constructor.sol_0_no_adts_000.smt2 unknown 11.27 6.06 apollon123 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_1_no_adts_000.smt2 TIMEOUT 60.44 37.02 apollon020 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_9_no_adts_000.smt2 TIMEOUT 61.15 39.51 apollon127 solidity/no_adts/unit_tests/types_struct/struct_recursive_1.sol_0_no_adts_000.smt2 unknown 12.68 6.82 apollon136 solidity/no_adts/unit_tests/types_struct/struct_nested_temporary.sol_0_no_adts_000.smt2 true 17.87 9.51 apollon136 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_6_no_adts_000.smt2 TIMEOUT 60.64 38.59 apollon123 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_11_no_adts_000.smt2 TIMEOUT 60.26 37.73 apollon133 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_14_no_adts_000.smt2 TIMEOUT 60.48 36.93 apollon123 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_4_no_adts_000.smt2 TIMEOUT 60.67 43.96 apollon051 solidity/no_adts/unit_tests/types_struct/struct_recursive_4.sol_1_no_adts_000.smt2 TIMEOUT 60.08 37.92 apollon127 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_10_no_adts_000.smt2 TIMEOUT 60.88 41.12 apollon123 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_22_no_adts_000.smt2 TIMEOUT 60.14 38.13 apollon127 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_21_no_adts_000.smt2 unknown 23.39 11.93 apollon076 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_8_no_adts_000.smt2 unknown 23.36 12.04 apollon072 solidity/no_adts/unit_tests/types_struct/struct_recursive_6.sol_0_no_adts_000.smt2 unknown 13.69 7.24 apollon051 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_15_no_adts_000.smt2 TIMEOUT 60.45 36.98 apollon123 solidity/no_adts/unit_tests/types_struct/struct_recursive_4.sol_0_no_adts_000.smt2 unknown 12.96 6.75 apollon072 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_1_no_adts_000.smt2 unknown 15.46 8.13 apollon127 solidity/no_adts/unit_tests/types_struct/struct_recursive_6.sol_1_no_adts_000.smt2 unknown 37.80 19.49 apollon020 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_2_no_adts_000.smt2 unknown 15.84 8.33 apollon103 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_5_no_adts_000.smt2 TIMEOUT 61.29 38.01 apollon103 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_2_no_adts_000.smt2 TIMEOUT 61.12 39.78 apollon020 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_3_no_adts_000.smt2 TIMEOUT 61.37 40.73 apollon015 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_4_no_adts_000.smt2 TIMEOUT 61.01 39.92 apollon051 solidity/no_adts/unit_tests/types_struct/struct_constructor_named_args_2.sol_0_no_adts_000.smt2 true 28.31 16.25 apollon127 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_6_no_adts_000.smt2 TIMEOUT 61.00 40.30 apollon051 solidity/no_adts/unit_tests/types/tuple_1_chain_1.sol_0_no_adts_000.smt2 unknown 12.17 6.39 apollon103 solidity/no_adts/unit_tests/types/array_dynamic_parameter_1_fail.sol_2_no_adts_000.smt2 true 28.72 16.68 apollon072 solidity/no_adts/unit_tests/types/array_literal_1.sol_2_no_adts_000.smt2 true 22.07 11.52 apollon136 solidity/no_adts/unit_tests/types/tuple_array_pop_2.sol_0_no_adts_000.smt2 unknown 12.03 6.57 apollon112 solidity/no_adts/unit_tests/types/array_branch_1d.sol_0_no_adts_000.smt2 unknown 28.24 14.63 apollon051 solidity/no_adts/unit_tests/types/array_literal_6.sol_8_no_adts_000.smt2 unknown 19.56 10.00 apollon112 solidity/no_adts/unit_tests/types/bool_simple_4.sol_1_no_adts_000.smt2 unknown 12.98 6.76 apollon020 solidity/no_adts/unit_tests/types/array_dynamic_1_fail.sol_2_no_adts_000.smt2 unknown 14.11 7.33 apollon133 solidity/no_adts/unit_tests/types/tuple_1_chain_2.sol_0_no_adts_000.smt2 unknown 11.81 6.12 apollon103 solidity/no_adts/unit_tests/types/array_static_1.sol_0_no_adts_000.smt2 true 18.98 9.96 apollon072 solidity/no_adts/unit_tests/types/static_array_length_1.sol_2_no_adts_000.smt2 true 42.97 29.33 apollon051 solidity/no_adts/unit_tests/types/fixed_bytes_1.sol_0_no_adts_000.smt2 unknown 14.29 7.57 apollon112 solidity/no_adts/unit_tests/types/array_literal_7.sol_12_no_adts_000.smt2 true 56.73 37.74 apollon123 solidity/no_adts/unit_tests/types/tuple_1_chain_n.sol_0_no_adts_000.smt2 unknown 11.76 6.31 apollon072 solidity/no_adts/unit_tests/types/tuple_different_count_assignment_2.sol_1_no_adts_000.smt2 true 29.20 16.63 apollon112 solidity/no_adts/unit_tests/types/array_literal_6.sol_1_no_adts_000.smt2 true 46.99 30.70 apollon127 solidity/no_adts/unit_tests/types/static_array_length_5.sol_2_no_adts_000.smt2 unknown 12.73 6.66 apollon133 solidity/no_adts/unit_tests/types/tuple_declarations_function.sol_1_no_adts_000.smt2 unknown 14.76 7.64 apollon136 solidity/no_adts/unit_tests/types/array_literal_3.sol_1_no_adts_000.smt2 true 34.81 20.34 apollon133 solidity/no_adts/unit_tests/types/type_interfaceid.sol_6_no_adts_000.smt2 TIMEOUT 60.31 44.26 apollon112 solidity/no_adts/unit_tests/types/array_literal_7.sol_1_no_adts_000.smt2 true 54.57 34.42 apollon136 solidity/no_adts/unit_tests/types/tuple_assignment_compound.sol_0_no_adts_000.smt2 unknown 11.61 6.21 apollon112 solidity/no_adts/unit_tests/types/string_literal_comparison_1.sol_0_no_adts_000.smt2 true 26.19 14.53 apollon076 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_8_no_adts_000.smt2 true 44.11 28.72 apollon020 solidity/no_adts/unit_tests/types/mapping_5.sol_0_no_adts_000.smt2 unknown 11.94 6.19 apollon103 solidity/no_adts/unit_tests/types/mapping_as_parameter_1.sol_0_no_adts_000.smt2 unknown 13.33 6.87 apollon076 solidity/no_adts/unit_tests/types/array_dynamic_1_fail.sol_0_no_adts_000.smt2 true 34.47 21.20 apollon015 solidity/no_adts/unit_tests/types/array_literal_5.sol_6_no_adts_000.smt2 true 31.34 17.75 apollon123 solidity/no_adts/unit_tests/types/tuple_assignment_array.sol_2_no_adts_000.smt2 true 25.60 13.32 apollon133 solidity/no_adts/unit_tests/types/type_minmax.sol_5_no_adts_000.smt2 TIMEOUT 60.92 41.18 apollon015 solidity/no_adts/unit_tests/types/tuple_function_2.sol_1_no_adts_000.smt2 unknown 13.92 7.39 apollon136 solidity/no_adts/unit_tests/types/array_branches_1d.sol_2_no_adts_000.smt2 unknown 14.58 7.60 apollon051 solidity/no_adts/unit_tests/types/type_meta_unsupported.sol_1_no_adts_000.smt2 unknown 35.19 18.39 apollon103 solidity/no_adts/unit_tests/types/array_literal_7.sol_13_no_adts_000.smt2 unknown 53.54 28.57 apollon020 solidity/no_adts/unit_tests/types/fixed_bytes_2.sol_0_no_adts_000.smt2 unknown 31.83 16.19 apollon076 solidity/no_adts/unit_tests/types/bool_simple_5.sol_0_no_adts_000.smt2 true 17.35 9.13 apollon015 solidity/no_adts/unit_tests/types/static_array_length_4.sol_5_no_adts_000.smt2 unknown 14.80 7.67 apollon015 solidity/no_adts/unit_tests/types/contract.sol_0_no_adts_000.smt2 true 26.70 14.88 apollon112 solidity/no_adts/unit_tests/types/type_minmax.sol_19_no_adts_000.smt2 TIMEOUT 60.86 41.75 apollon133 solidity/no_adts/unit_tests/types/mapping_1.sol_0_no_adts_000.smt2 true 17.99 9.45 apollon015 solidity/no_adts/unit_tests/types/type_meta_unsupported.sol_2_no_adts_000.smt2 unknown 12.27 6.55 apollon136 solidity/no_adts/unit_tests/types/bool_simple_6.sol_0_no_adts_000.smt2 true 17.00 8.96 apollon020 solidity/no_adts/unit_tests/types/array_literal_6.sol_12_no_adts_000.smt2 unknown 45.29 24.12 apollon076 solidity/no_adts/unit_tests/types/array_literal_1.sol_4_no_adts_000.smt2 true 20.05 10.46 apollon072 solidity/no_adts/unit_tests/types/type_minmax.sol_11_no_adts_000.smt2 TIMEOUT 60.86 41.08 apollon127 solidity/no_adts/unit_tests/types/abi_type_type_1.sol_0_no_adts_000.smt2 unknown 11.47 6.12 apollon072 solidity/no_adts/unit_tests/types/address_call.sol_1_no_adts_000.smt2 TIMEOUT 60.65 37.40 apollon127 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_3_no_adts_000.smt2 unknown 40.64 20.62 apollon076 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_1_no_adts_000.smt2 true 50.57 33.45 apollon112 solidity/no_adts/unit_tests/types/contract_2.sol_0_no_adts_000.smt2 unknown 11.27 5.99 apollon133 solidity/no_adts/unit_tests/types/static_array_length_1.sol_0_no_adts_000.smt2 unknown 36.32 18.64 apollon133 solidity/no_adts/unit_tests/types/string_literal_assignment_2.sol_1_no_adts_000.smt2 true 26.70 14.90 apollon076 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_1_no_adts_000.smt2 unknown 41.94 21.27 apollon103 solidity/no_adts/unit_tests/types/bool_simple_3.sol_0_no_adts_000.smt2 true 16.67 8.81 apollon051 solidity/no_adts/unit_tests/types/tuple_assignment_array_empty.sol_2_no_adts_000.smt2 true 38.41 24.03 apollon127 solidity/no_adts/unit_tests/types/array_literal_2.sol_2_no_adts_000.smt2 true 31.23 17.82 apollon015 solidity/no_adts/unit_tests/types/fixed_bytes_access_2.sol_0_no_adts_000.smt2 true 17.65 9.28 apollon020 solidity/no_adts/unit_tests/types/array_literal_3.sol_4_no_adts_000.smt2 true 33.68 18.85 apollon123 solidity/no_adts/unit_tests/types/array_literal_2.sol_5_no_adts_000.smt2 true 32.21 17.85 apollon127 solidity/no_adts/unit_tests/types/enum_in_library.sol_0_no_adts_000.smt2 true 16.85 8.89 apollon112 solidity/no_adts/unit_tests/types/type_minmax.sol_3_no_adts_000.smt2 TIMEOUT 60.81 41.53 apollon112 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_2_no_adts_000.smt2 TIMEOUT 60.49 43.07 apollon072 solidity/no_adts/unit_tests/types/array_literal_6.sol_9_no_adts_000.smt2 TIMEOUT 60.71 42.45 apollon020 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_3_no_adts_000.smt2 unknown 17.18 9.01 apollon123 solidity/no_adts/unit_tests/types/array_literal_2.sol_8_no_adts_000.smt2 true 33.29 18.92 apollon136 solidity/no_adts/unit_tests/types/type_minmax.sol_18_no_adts_000.smt2 true 59.16 40.33 apollon076 solidity/no_adts/unit_tests/types/tuple_extra_parens_7.sol_1_no_adts_000.smt2 unknown 13.68 7.25 apollon076 solidity/no_adts/unit_tests/types/string_length.sol_1_no_adts_000.smt2 true 25.18 13.15 apollon103 solidity/no_adts/unit_tests/types/type_minmax.sol_17_no_adts_000.smt2 TIMEOUT 60.98 40.55 apollon051 solidity/no_adts/unit_tests/types/mapping_1_fail.sol_0_no_adts_000.smt2 unknown 12.22 6.44 apollon072 solidity/no_adts/unit_tests/types/address_delegatecall.sol_3_no_adts_000.smt2 unknown 15.58 8.06 apollon051 solidity/no_adts/unit_tests/types/tuple_declarations.sol_1_no_adts_000.smt2 true 18.48 9.69 apollon015 solidity/no_adts/unit_tests/types/array_branch_1d.sol_2_no_adts_000.smt2 unknown 30.50 15.48 apollon015 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_1_no_adts_000.smt2 TIMEOUT 60.65 43.35 apollon076 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_3_no_adts_000.smt2 TIMEOUT 60.50 42.99 apollon133 solidity/no_adts/unit_tests/types/tuple_different_count_assignment_1.sol_1_no_adts_000.smt2 true 26.29 14.71 apollon051 solidity/no_adts/unit_tests/types/bool_simple_4.sol_0_no_adts_000.smt2 unknown 12.76 6.69 apollon020 solidity/no_adts/unit_tests/types/type_minmax.sol_15_no_adts_000.smt2 TIMEOUT 60.93 40.37 apollon020 solidity/no_adts/unit_tests/types/tuple_assignment_empty.sol_0_no_adts_000.smt2 unknown 11.58 6.22 apollon103 solidity/no_adts/unit_tests/types/static_array_length_4.sol_0_no_adts_000.smt2 unknown 14.38 7.57 apollon123 solidity/no_adts/unit_tests/types/function_type_arrays.sol_0_no_adts_000.smt2 true 18.81 9.89 apollon133 solidity/no_adts/unit_tests/types/abi_type_type_2.sol_0_no_adts_000.smt2 unknown 11.19 5.86 apollon072 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_7_no_adts_000.smt2 TIMEOUT 60.85 41.98 apollon103 solidity/no_adts/unit_tests/types/array_literal_2.sol_0_no_adts_000.smt2 true 34.89 19.78 apollon103 solidity/no_adts/unit_tests/types/type_meta_unsupported.sol_0_no_adts_000.smt2 unknown 58.45 37.59 apollon076 solidity/no_adts/unit_tests/types/tuple_declarations_empty.sol_0_no_adts_000.smt2 true 17.06 9.01 apollon103 solidity/no_adts/unit_tests/types/string_literal_assignment_1.sol_1_no_adts_000.smt2 unknown 12.71 6.71 apollon051 solidity/no_adts/unit_tests/types/static_array_length_4.sol_3_no_adts_000.smt2 unknown 14.75 7.80 apollon051 solidity/no_adts/unit_tests/types/static_array_length_3.sol_1_no_adts_000.smt2 unknown 12.22 6.51 apollon051 solidity/no_adts/unit_tests/types/array_literal_5.sol_9_no_adts_000.smt2 true 34.72 19.50 apollon133 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_8_no_adts_000.smt2 unknown 39.67 20.13 apollon072 solidity/no_adts/unit_tests/types/array_literal_6.sol_2_no_adts_000.smt2 true 46.85 30.33 apollon076 solidity/no_adts/unit_tests/types/array_literal_5.sol_0_no_adts_000.smt2 true 33.64 19.60 apollon072 solidity/no_adts/unit_tests/types/string_literal_assignment_4.sol_0_no_adts_000.smt2 unknown 13.66 7.07 apollon051 solidity/no_adts/unit_tests/types/type_interfaceid.sol_1_no_adts_000.smt2 unknown 16.60 8.59 apollon051 solidity/no_adts/unit_tests/types/address_call.sol_3_no_adts_000.smt2 unknown 36.15 18.38 apollon076 solidity/no_adts/unit_tests/types/address_call.sol_2_no_adts_000.smt2 TIMEOUT 61.55 36.54 apollon015 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_4_no_adts_000.smt2 true 46.13 30.09 apollon076 solidity/no_adts/unit_tests/types/storage_value_vars_3.sol_1_no_adts_000.smt2 unknown 15.27 7.91 apollon133 solidity/no_adts/unit_tests/types/tuple_declarations_function_empty.sol_0_no_adts_000.smt2 unknown 13.77 7.23 apollon136 solidity/no_adts/unit_tests/types/type_minmax.sol_1_no_adts_000.smt2 TIMEOUT 61.11 40.94 apollon103 solidity/no_adts/unit_tests/types/mapping_equal_keys_2.sol_1_no_adts_000.smt2 unknown 12.02 6.38 apollon020 solidity/no_adts/unit_tests/types/array_literal_5.sol_7_no_adts_000.smt2 true 34.40 20.65 apollon103 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_6_no_adts_000.smt2 true 43.37 28.12 apollon076 solidity/no_adts/unit_tests/types/array_literal_7.sol_14_no_adts_000.smt2 true 53.47 33.63 apollon127 solidity/no_adts/unit_tests/types/static_array_length_5.sol_1_no_adts_000.smt2 unknown 39.01 20.37 apollon015 solidity/no_adts/unit_tests/types/array_static_1.sol_2_no_adts_000.smt2 true 19.60 10.27 apollon015 solidity/no_adts/unit_tests/types/enum_range.sol_0_no_adts_000.smt2 true 16.46 8.67 apollon103 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_2_no_adts_000.smt2 unknown 41.26 20.96 apollon072 solidity/no_adts/unit_tests/types/tuple_function_3.sol_0_no_adts_000.smt2 TIMEOUT 60.62 37.24 apollon123 solidity/no_adts/unit_tests/types/fixed_bytes_1.sol_1_no_adts_000.smt2 unknown 36.21 18.41 apollon020 solidity/no_adts/unit_tests/types/array_branches_1d.sol_4_no_adts_000.smt2 unknown 37.89 19.74 apollon103 solidity/no_adts/unit_tests/types/array_literal_3.sol_2_no_adts_000.smt2 true 33.43 18.70 apollon136 solidity/no_adts/unit_tests/types/address_staticcall.sol_3_no_adts_000.smt2 unknown 42.85 22.15 apollon015 solidity/no_adts/unit_tests/types/string_literal_assignment_5.sol_0_no_adts_000.smt2 unknown 35.72 18.35 apollon133 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_1_no_adts_000.smt2 TIMEOUT 60.47 42.74 apollon020 solidity/no_adts/unit_tests/types/type_interfaceid.sol_2_no_adts_000.smt2 TIMEOUT 60.21 45.04 apollon076 solidity/no_adts/unit_tests/types/array_literal_6.sol_6_no_adts_000.smt2 true 49.21 32.38 apollon136 solidity/no_adts/unit_tests/types/type_minmax.sol_9_no_adts_000.smt2 TIMEOUT 60.95 40.05 apollon015 solidity/no_adts/unit_tests/types/tuple_different_count_assignment_1.sol_0_no_adts_000.smt2 unknown 13.13 6.91 apollon136 solidity/no_adts/unit_tests/types/tuple_assignment_array.sol_1_no_adts_000.smt2 true 26.66 14.02 apollon015 solidity/no_adts/unit_tests/types/type_minmax.sol_22_no_adts_000.smt2 TIMEOUT 60.91 40.71 apollon133 solidity/no_adts/unit_tests/types/rational_large_1.sol_1_no_adts_000.smt2 unknown 11.26 5.92 apollon020 solidity/no_adts/unit_tests/types/mapping_aliasing_1.sol_1_no_adts_000.smt2 true 31.73 18.19 apollon127 solidity/no_adts/unit_tests/types/array_literal_2.sol_3_no_adts_000.smt2 true 34.50 19.61 apollon051 solidity/no_adts/unit_tests/types/array_literal_5.sol_3_no_adts_000.smt2 true 32.25 18.24 apollon127 solidity/no_adts/unit_tests/types/array_literal_6.sol_3_no_adts_000.smt2 true 50.59 32.41 apollon015 solidity/no_adts/unit_tests/types/tuple_assignment_empty.sol_1_no_adts_000.smt2 true 27.07 15.80 apollon020 solidity/no_adts/unit_tests/types/static_array_length_4.sol_1_no_adts_000.smt2 unknown 15.26 7.96 apollon127 solidity/no_adts/unit_tests/types/type_minmax.sol_24_no_adts_000.smt2 TIMEOUT 60.90 42.15 apollon127 solidity/no_adts/unit_tests/types/type_minmax.sol_0_no_adts_000.smt2 TIMEOUT 61.05 41.16 apollon020 solidity/no_adts/unit_tests/types/array_literal_3.sol_0_no_adts_000.smt2 true 31.18 17.52 apollon072 solidity/no_adts/unit_tests/types/array_literal_6.sol_4_no_adts_000.smt2 true 53.11 35.30 apollon076 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_5_no_adts_000.smt2 unknown 45.14 22.96 apollon015 solidity/no_adts/unit_tests/types/array_dynamic_parameter_1_fail.sol_0_no_adts_000.smt2 true 30.04 17.22 apollon015 solidity/no_adts/unit_tests/types/array_literal_7.sol_2_no_adts_000.smt2 true 55.30 36.08 apollon020 solidity/no_adts/unit_tests/types/string_literal_assignment_3.sol_1_no_adts_000.smt2 unknown 12.77 6.66 apollon133 solidity/no_adts/unit_tests/types/tuple_assignment_array_empty.sol_4_no_adts_000.smt2 unknown 16.47 8.88 apollon020 solidity/no_adts/unit_tests/types/tuple_assignment_array.sol_5_no_adts_000.smt2 true 24.39 12.85 apollon136 solidity/no_adts/unit_tests/types/array_literal_3.sol_7_no_adts_000.smt2 true 31.95 18.99 apollon051 solidity/no_adts/unit_tests/types/type_minmax.sol_8_no_adts_000.smt2 TIMEOUT 60.97 40.11 apollon015 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_0_no_adts_000.smt2 unknown 21.27 11.05 apollon127 solidity/no_adts/unit_tests/types/rational_large_1.sol_0_no_adts_000.smt2 true 29.81 17.23 apollon020 solidity/no_adts/unit_tests/types/array_literal_7.sol_6_no_adts_000.smt2 true 51.80 32.70 apollon072 solidity/no_adts/unit_tests/types/string_literal_comparison_2.sol_1_no_adts_000.smt2 unknown 35.79 18.74 apollon112 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_6_no_adts_000.smt2 unknown 55.39 30.49 apollon127 solidity/no_adts/unit_tests/types/address_balance.sol_0_no_adts_000.smt2 unknown 11.66 6.26 apollon103 solidity/no_adts/unit_tests/types/tuple_assignment_multiple_calls.sol_0_no_adts_000.smt2 unknown 14.57 7.55 apollon133 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_7_no_adts_000.smt2 TIMEOUT 60.65 43.04 apollon072 solidity/no_adts/unit_tests/types/bytes_length.sol_1_no_adts_000.smt2 true 21.62 11.55 apollon051 solidity/no_adts/unit_tests/types/array_dynamic_parameter_1.sol_1_no_adts_000.smt2 true 19.44 10.19 apollon051 solidity/no_adts/unit_tests/types/contract_3.sol_0_no_adts_000.smt2 true 16.73 8.80 apollon103 solidity/no_adts/unit_tests/types/enum_explicit_values.sol_0_no_adts_000.smt2 true 17.02 8.99 apollon051 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_7_no_adts_000.smt2 unknown 41.11 20.83 apollon127 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_4_no_adts_000.smt2 TIMEOUT 60.48 43.07 apollon072 solidity/no_adts/unit_tests/types/array_literal_3.sol_3_no_adts_000.smt2 unknown 16.59 8.69 apollon112 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_7_no_adts_000.smt2 true 46.13 29.22 apollon020 solidity/no_adts/unit_tests/types/string_length.sol_0_no_adts_000.smt2 true 26.71 14.15 apollon123 solidity/no_adts/unit_tests/types/tuple_assignment.sol_0_no_adts_000.smt2 true 17.06 8.96 apollon076 solidity/no_adts/unit_tests/types/string_literal_assignment_5.sol_1_no_adts_000.smt2 unknown 14.16 7.49 apollon136 solidity/no_adts/unit_tests/types/array_literal_1.sol_1_no_adts_000.smt2 true 21.49 11.26 apollon015 solidity/no_adts/unit_tests/types/array_literal_7.sol_7_no_adts_000.smt2 true 50.57 31.96 apollon076 solidity/no_adts/unit_tests/types/array_dynamic_1_fail.sol_1_no_adts_000.smt2 TIMEOUT 61.11 43.27 apollon072 solidity/no_adts/unit_tests/types/array_branches_1d.sol_0_no_adts_000.smt2 unknown 38.28 19.86 apollon127 solidity/no_adts/unit_tests/types/tuple_declarations_function.sol_2_no_adts_000.smt2 unknown 38.29 19.70 apollon015 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_0_no_adts_000.smt2 true 42.97 28.16 apollon123 solidity/no_adts/unit_tests/types/array_literal_7.sol_9_no_adts_000.smt2 true 52.62 34.30 apollon133 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_5_no_adts_000.smt2 TIMEOUT 60.70 43.57 apollon072 solidity/no_adts/unit_tests/types/array_branches_1d.sol_1_no_adts_000.smt2 unknown 37.02 19.20 apollon072 solidity/no_adts/unit_tests/types/array_literal_7.sol_5_no_adts_000.smt2 true 58.24 37.07 apollon015 solidity/no_adts/unit_tests/types/contract_address_conversion.sol_0_no_adts_000.smt2 unknown 11.48 6.18 apollon112 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_3_no_adts_000.smt2 unknown 19.45 10.17 apollon136 solidity/no_adts/unit_tests/types/storage_value_vars_4.sol_0_no_adts_000.smt2 unknown 11.55 6.08 apollon015 solidity/no_adts/unit_tests/types/address_staticcall.sol_2_no_adts_000.smt2 unknown 41.98 21.75 apollon136 solidity/no_adts/unit_tests/types/array_literal_2.sol_7_no_adts_000.smt2 true 33.99 19.65 apollon127 solidity/no_adts/unit_tests/types/type_minmax.sol_6_no_adts_000.smt2 true 55.85 36.98 apollon072 solidity/no_adts/unit_tests/types/enum_transitivity.sol_0_no_adts_000.smt2 true 17.18 9.02 apollon076 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_9_no_adts_000.smt2 TIMEOUT 60.48 42.85 apollon051 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_0_no_adts_000.smt2 unknown 40.93 20.91 apollon051 solidity/no_adts/unit_tests/types/tuple_declarations.sol_0_no_adts_000.smt2 true 18.16 9.63 apollon020 solidity/no_adts/unit_tests/types/array_literal_6.sol_7_no_adts_000.smt2 true 54.30 35.98 apollon136 solidity/no_adts/unit_tests/types/type_interfaceid.sol_0_no_adts_000.smt2 TIMEOUT 60.23 45.24 apollon136 solidity/no_adts/unit_tests/types/array_literal_7.sol_3_no_adts_000.smt2 true 55.03 36.03 apollon127 solidity/no_adts/unit_tests/types/type_interfaceid.sol_4_no_adts_000.smt2 TIMEOUT 60.26 45.01 apollon046 solidity/no_adts/unit_tests/types/string_1.sol_0_no_adts_000.smt2 unknown 11.81 6.32 apollon051 solidity/no_adts/unit_tests/types/array_literal_7.sol_10_no_adts_000.smt2 unknown 23.84 12.36 apollon123 solidity/no_adts/unit_tests/types/bool_int_mixed_2.sol_0_no_adts_000.smt2 true 16.92 9.17 apollon103 solidity/no_adts/unit_tests/types/fixed_bytes_access_2.sol_1_no_adts_000.smt2 true 17.24 9.12 apollon112 solidity/no_adts/unit_tests/types/array_literal_7.sol_11_no_adts_000.smt2 true 50.58 32.07 apollon076 solidity/no_adts/unit_tests/types/bytes_2.sol_1_no_adts_000.smt2 true 27.48 15.68 apollon112 solidity/no_adts/unit_tests/types/array_literal_5.sol_8_no_adts_000.smt2 true 31.20 18.04 apollon076 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_5_no_adts_000.smt2 TIMEOUT 60.64 42.44 apollon076 solidity/no_adts/unit_tests/types/mapping_equal_keys_1.sol_0_no_adts_000.smt2 true 17.44 9.22 apollon136 solidity/no_adts/unit_tests/types/mapping_aliasing_1.sol_0_no_adts_000.smt2 unknown 14.48 7.52 apollon051 solidity/no_adts/unit_tests/types/array_dynamic_parameter_1_fail.sol_1_no_adts_000.smt2 unknown 13.66 7.30 apollon136 solidity/no_adts/unit_tests/types/address_delegatecall.sol_0_no_adts_000.smt2 TIMEOUT 61.91 40.87 apollon112 solidity/no_adts/unit_tests/types/array_static_1.sol_1_no_adts_000.smt2 true 19.20 10.06 apollon127 solidity/no_adts/unit_tests/types/enum_storage_eq.sol_0_no_adts_000.smt2 unknown 11.41 6.02 apollon103 solidity/no_adts/unit_tests/types/tuple_extra_parens_7.sol_0_no_adts_000.smt2 unknown 14.09 7.37 apollon112 solidity/no_adts/unit_tests/types/type_minmax.sol_21_no_adts_000.smt2 TIMEOUT 60.91 40.78 apollon112 solidity/no_adts/unit_tests/types/static_array_length_1.sol_1_no_adts_000.smt2 unknown 12.94 7.03 apollon123 solidity/no_adts/unit_tests/types/array_literal_5.sol_5_no_adts_000.smt2 true 33.48 19.40 apollon127 solidity/no_adts/unit_tests/types/type_minmax.sol_13_no_adts_000.smt2 TIMEOUT 61.19 40.95 apollon051 solidity/no_adts/unit_tests/types/type_minmax.sol_7_no_adts_000.smt2 TIMEOUT 60.96 40.49 apollon020 solidity/no_adts/unit_tests/types/array_literal_5.sol_2_no_adts_000.smt2 true 31.21 17.75 apollon020 solidity/no_adts/unit_tests/types/enum_in_library_2.sol_0_no_adts_000.smt2 unknown 11.28 5.92 apollon136 solidity/no_adts/unit_tests/types/contract_address_conversion_2.sol_1_no_adts_000.smt2 true 17.81 9.35 apollon103 solidity/no_adts/unit_tests/types/tuple_assignment_array.sol_4_no_adts_000.smt2 true 26.47 13.78 apollon020 solidity/no_adts/unit_tests/types/array_branch_1d.sol_3_no_adts_000.smt2 unknown 14.38 7.46 apollon123 solidity/no_adts/unit_tests/types/static_array_length_4.sol_6_no_adts_000.smt2 unknown 14.43 7.49 apollon015 solidity/no_adts/unit_tests/types/tuple_function.sol_0_no_adts_000.smt2 unknown 34.70 17.75 apollon133 solidity/no_adts/unit_tests/types/tuple_assignment_array_empty.sol_0_no_adts_000.smt2 true 36.93 22.50 apollon051 solidity/no_adts/unit_tests/types/type_minmax.sol_2_no_adts_000.smt2 TIMEOUT 60.87 41.03 apollon103 solidity/no_adts/unit_tests/types/bytes_2_fail.sol_0_no_adts_000.smt2 true 28.70 15.88 apollon051 solidity/no_adts/unit_tests/types/static_array_length_4.sol_4_no_adts_000.smt2 unknown 14.66 7.68 apollon123 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_8_no_adts_000.smt2 TIMEOUT 60.42 43.58 apollon072 solidity/no_adts/unit_tests/types/type_minmax.sol_14_no_adts_000.smt2 unknown 23.01 11.92 apollon123 solidity/no_adts/unit_tests/types/array_literal_3.sol_6_no_adts_000.smt2 true 37.90 20.95 apollon136 solidity/no_adts/unit_tests/types/bool_int_mixed_1.sol_0_no_adts_000.smt2 unknown 12.37 6.78 apollon123 solidity/no_adts/unit_tests/types/type_minmax.sol_4_no_adts_000.smt2 TIMEOUT 60.91 40.76 apollon015 solidity/no_adts/unit_tests/types/tuple_function_2.sol_0_no_adts_000.smt2 unknown 36.09 18.45 apollon015 solidity/no_adts/unit_tests/types/array_static_1_fail.sol_2_no_adts_000.smt2 true 32.31 17.74 apollon103 solidity/no_adts/unit_tests/types/array_literal_6.sol_10_no_adts_000.smt2 TIMEOUT 60.22 39.52 apollon051 solidity/no_adts/unit_tests/types/tuple_assignment.sol_1_no_adts_000.smt2 true 17.64 9.25 apollon015 solidity/no_adts/unit_tests/types/static_array_length_4.sol_2_no_adts_000.smt2 unknown 15.06 7.91 apollon136 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_4_no_adts_000.smt2 TIMEOUT 62.04 39.61 apollon076 solidity/no_adts/unit_tests/types/array_literal_6.sol_0_no_adts_000.smt2 true 50.98 33.30 apollon103 solidity/no_adts/unit_tests/types/storage_value_vars_1.sol_0_no_adts_000.smt2 unknown 13.03 6.85 apollon020 solidity/no_adts/unit_tests/types/fixed_bytes_2.sol_1_no_adts_000.smt2 unknown 14.54 7.55 apollon015 solidity/no_adts/unit_tests/types/array_static_1_fail.sol_1_no_adts_000.smt2 true 32.09 17.52 apollon015 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_6_no_adts_000.smt2 TIMEOUT 60.80 41.23 apollon123 solidity/no_adts/unit_tests/types/array_literal_5.sol_4_no_adts_000.smt2 true 31.58 17.82 apollon127 solidity/no_adts/unit_tests/types/static_array_length_3.sol_2_no_adts_000.smt2 unknown 35.25 18.26 apollon133 solidity/no_adts/unit_tests/types/array_literal_5.sol_1_no_adts_000.smt2 unknown 17.40 9.15 apollon123 solidity/no_adts/unit_tests/types/array_literal_7.sol_4_no_adts_000.smt2 TIMEOUT 60.87 41.83 apollon112 solidity/no_adts/unit_tests/types/array_literal_2.sol_1_no_adts_000.smt2 unknown 17.48 9.20 apollon103 solidity/no_adts/unit_tests/types/tuple_assignment_array_empty.sol_3_no_adts_000.smt2 true 34.20 20.85 apollon072 solidity/no_adts/unit_tests/types/type_minmax.sol_20_no_adts_000.smt2 TIMEOUT 60.88 41.39 apollon051 solidity/no_adts/unit_tests/types/contract_address_conversion_2.sol_0_no_adts_000.smt2 true 17.77 9.35 apollon112 solidity/no_adts/unit_tests/types/type_minmax.sol_23_no_adts_000.smt2 TIMEOUT 61.01 39.94 apollon133 solidity/no_adts/unit_tests/types/array_dynamic_parameter_1.sol_0_no_adts_000.smt2 true 19.73 10.32 apollon133 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_10_no_adts_000.smt2 TIMEOUT 60.54 42.43 apollon112 solidity/no_adts/unit_tests/types/tuple_assignment_array.sol_0_no_adts_000.smt2 true 25.92 13.46 apollon020 solidity/no_adts/unit_tests/types/array_literal_6.sol_5_no_adts_000.smt2 true 54.44 36.95 apollon133 solidity/no_adts/unit_tests/types/tuple_declarations_function.sol_0_no_adts_000.smt2 TIMEOUT 60.57 36.97 apollon112 solidity/no_adts/unit_tests/types/tuple_function_3.sol_2_no_adts_000.smt2 unknown 38.13 19.45 apollon020 solidity/no_adts/unit_tests/types/type_interfaceid.sol_3_no_adts_000.smt2 unknown 15.43 7.93 apollon076 solidity/no_adts/unit_tests/types/type_minmax.sol_12_no_adts_000.smt2 TIMEOUT 60.93 40.69 apollon072 solidity/no_adts/unit_tests/types/address_staticcall.sol_1_no_adts_000.smt2 unknown 38.34 20.04 apollon112 solidity/no_adts/unit_tests/types/tuple_assignment_array.sol_3_no_adts_000.smt2 true 27.08 14.35 apollon123 solidity/no_adts/unit_tests/types/address_call.sol_0_no_adts_000.smt2 unknown 17.40 9.07 apollon015 solidity/no_adts/unit_tests/types/static_array_length_2.sol_0_no_adts_000.smt2 true 38.75 25.35 apollon072 solidity/no_adts/unit_tests/types/bytes_2_fail.sol_1_no_adts_000.smt2 unknown 13.29 7.10 apollon046 solidity/no_adts/unit_tests/types/array_branch_1d.sol_1_no_adts_000.smt2 unknown 27.93 14.21 apollon051 solidity/no_adts/unit_tests/types/array_literal_7.sol_8_no_adts_000.smt2 true 54.66 35.31 apollon123 solidity/no_adts/unit_tests/types/storage_value_vars_2.sol_0_no_adts_000.smt2 unknown 11.42 6.14 apollon076 solidity/no_adts/unit_tests/types/bytes_2_fail.sol_2_no_adts_000.smt2 true 28.56 16.05 apollon051 solidity/no_adts/unit_tests/types/array_literal_3.sol_5_no_adts_000.smt2 true 32.18 18.43 apollon072 solidity/no_adts/unit_tests/types/bool_int_mixed_3.sol_0_no_adts_000.smt2 unknown 14.84 7.80 apollon051 solidity/no_adts/unit_tests/types/address_staticcall.sol_0_no_adts_000.smt2 unknown 15.81 8.24 apollon136 solidity/no_adts/unit_tests/types/bool_simple_2.sol_0_no_adts_000.smt2 unknown 11.01 5.74 apollon020 solidity/no_adts/unit_tests/types/type_minmax.sol_16_no_adts_000.smt2 TIMEOUT 60.90 40.85 apollon127 solidity/no_adts/unit_tests/types/storage_value_vars_3.sol_0_no_adts_000.smt2 true 35.67 20.70 apollon020 solidity/no_adts/unit_tests/types/array_branches_1d.sol_3_no_adts_000.smt2 unknown 38.95 20.24 apollon123 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_2_no_adts_000.smt2 true 42.41 27.68 apollon076 solidity/no_adts/unit_tests/types/array_literal_2.sol_4_no_adts_000.smt2 true 33.09 18.51 apollon051 solidity/no_adts/unit_tests/types/static_array_length_2.sol_1_no_adts_000.smt2 unknown 36.77 18.84 apollon136 solidity/no_adts/unit_tests/types/array_literal_1.sol_5_no_adts_000.smt2 true 20.32 10.62 apollon076 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_8_no_adts_000.smt2 TIMEOUT 60.83 42.88 apollon076 solidity/no_adts/unit_tests/types/type_minmax.sol_10_no_adts_000.smt2 TIMEOUT 61.05 40.87 apollon112 solidity/no_adts/unit_tests/types/fixed_bytes_range.sol_0_no_adts_000.smt2 true 16.18 8.55 apollon133 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_6_no_adts_000.smt2 unknown 41.99 21.38 apollon112 solidity/no_adts/unit_tests/types/tuple_assignment_array_empty.sol_1_no_adts_000.smt2 true 39.38 25.17 apollon112 solidity/no_adts/unit_tests/types/array_dynamic_1.sol_1_no_adts_000.smt2 true 26.68 14.02 apollon133 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_2_no_adts_000.smt2 TIMEOUT 60.97 42.21 apollon127 solidity/no_adts/unit_tests/types/bytes_2.sol_0_no_adts_000.smt2 unknown 12.84 6.69 apollon112 solidity/no_adts/unit_tests/types/array_literal_6.sol_11_no_adts_000.smt2 true 51.83 35.17 apollon123 solidity/no_adts/unit_tests/types/static_array_length_5.sol_0_no_adts_000.smt2 unknown 58.55 36.35 apollon072 solidity/no_adts/unit_tests/types/enum_in_struct.sol_0_no_adts_000.smt2 true 16.22 8.56 apollon112 solidity/no_adts/unit_tests/types/string_literal_comparison_2.sol_0_no_adts_000.smt2 unknown 12.58 6.67 apollon103 solidity/no_adts/unit_tests/types/tuple_array_pop_1.sol_0_no_adts_000.smt2 unknown 11.71 6.26 apollon103 solidity/no_adts/unit_tests/types/array_literal_3.sol_8_no_adts_000.smt2 true 31.10 17.32 apollon112 solidity/no_adts/unit_tests/types/array_static_1_fail.sol_0_no_adts_000.smt2 unknown 13.28 6.86 apollon076 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_0_no_adts_000.smt2 TIMEOUT 60.95 41.49 apollon015 solidity/no_adts/unit_tests/types/static_array_length_2.sol_2_no_adts_000.smt2 unknown 12.49 6.57 apollon051 solidity/no_adts/unit_tests/types/tuple_different_count_assignment_2.sol_0_no_adts_000.smt2 unknown 12.51 6.54 apollon020 solidity/no_adts/unit_tests/types/mapping_equal_keys_2.sol_0_no_adts_000.smt2 unknown 36.31 18.73 apollon123 solidity/no_adts/unit_tests/types/array_dynamic_parameter_1.sol_2_no_adts_000.smt2 true 19.20 10.05 apollon020 solidity/no_adts/unit_tests/types/bytes_2.sol_2_no_adts_000.smt2 true 27.53 15.18 apollon051 solidity/no_adts/unit_tests/types/string_literal_assignment_3.sol_0_no_adts_000.smt2 true 28.56 16.44 apollon072 solidity/no_adts/unit_tests/types/array_dynamic_1.sol_0_no_adts_000.smt2 true 26.27 13.85 apollon123 solidity/no_adts/unit_tests/types/array_literal_1.sol_3_no_adts_000.smt2 true 20.87 10.91 apollon020 solidity/no_adts/unit_tests/types/string_literal_assignment_4.sol_1_no_adts_000.smt2 unknown 36.01 18.33 apollon103 solidity/no_adts/unit_tests/types/string_length.sol_2_no_adts_000.smt2 true 24.33 13.17 apollon112 solidity/no_adts/unit_tests/types/address_delegatecall.sol_2_no_adts_000.smt2 unknown 44.65 23.31 apollon015 solidity/no_adts/unit_tests/types/tuple_return_branch.sol_0_no_adts_000.smt2 unknown 13.48 6.98 apollon112 solidity/no_adts/unit_tests/types/bool_simple_1.sol_0_no_adts_000.smt2 unknown 11.11 6.00 apollon103 solidity/no_adts/unit_tests/types/array_literal_7.sol_0_no_adts_000.smt2 true 57.51 37.76 apollon015 solidity/no_adts/unit_tests/types/string_literal_assignment_2.sol_0_no_adts_000.smt2 unknown 13.48 7.03 apollon123 solidity/no_adts/unit_tests/types/static_array_length_3.sol_0_no_adts_000.smt2 true 40.93 28.39 apollon076 solidity/no_adts/unit_tests/types/tuple_function_3.sol_1_no_adts_000.smt2 unknown 13.45 7.13 apollon076 solidity/no_adts/unit_tests/types/mapping_3.sol_0_no_adts_000.smt2 true 18.50 9.69 apollon127 solidity/no_adts/unit_tests/types/array_dynamic_1.sol_2_no_adts_000.smt2 true 25.82 13.71 apollon051 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_5_no_adts_000.smt2 unknown 42.82 22.60 apollon020 solidity/no_adts/unit_tests/types/address_delegatecall.sol_1_no_adts_000.smt2 TIMEOUT 61.48 36.68 apollon015 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_4_no_adts_000.smt2 unknown 42.57 21.59 apollon103 solidity/no_adts/unit_tests/types/enum_explicit_values_2.sol_0_no_adts_000.smt2 unknown 11.61 6.21 apollon072 solidity/no_adts/unit_tests/types/tuple_function.sol_1_no_adts_000.smt2 unknown 13.07 6.85 apollon076 solidity/no_adts/unit_tests/types/bytes_length.sol_0_no_adts_000.smt2 true 21.36 11.16 apollon020 solidity/no_adts/unit_tests/types/string_literal_comparison_1.sol_1_no_adts_000.smt2 unknown 12.31 6.49 apollon127 solidity/no_adts/unit_tests/types/array_literal_1.sol_0_no_adts_000.smt2 true 21.84 11.42 apollon136 solidity/no_adts/unit_tests/types/string_literal_assignment_1.sol_0_no_adts_000.smt2 true 26.78 14.67 apollon076 solidity/no_adts/unit_tests/types/type_interfaceid.sol_5_no_adts_000.smt2 TIMEOUT 60.42 44.17 apollon015 solidity/no_adts/unit_tests/types/array_literal_2.sol_6_no_adts_000.smt2 true 31.71 17.95 apollon103 solidity/no_adts/unit_tests/functions/uint.sol_0_no_adts_000.smt2 true 25.81 14.28 apollon076 solidity/no_adts/unit_tests/functions/static_array.sol_3_no_adts_000.smt2 unknown 13.63 7.09 apollon112 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_with_params.sol_1_no_adts_000.smt2 unknown 19.28 9.87 apollon123 solidity/no_adts/unit_tests/functions/super_function_assert.sol_3_no_adts_000.smt2 unknown 25.41 12.93 apollon076 solidity/no_adts/unit_tests/functions/function_inline_chain.sol_1_no_adts_000.smt2 unknown 15.40 8.00 apollon133 solidity/no_adts/unit_tests/functions/virtual_function_called_by_constructor.sol_1_no_adts_000.smt2 TIMEOUT 60.77 43.70 apollon076 solidity/no_adts/unit_tests/functions/struct_with_reassignment.sol_1_no_adts_000.smt2 unknown 15.69 8.31 apollon051 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1_fail.sol_0_no_adts_000.smt2 TIMEOUT 60.83 41.73 apollon123 solidity/no_adts/unit_tests/functions/function_inside_branch_modify_state_var_3.sol_0_no_adts_000.smt2 unknown 15.72 8.10 apollon015 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1_fail.sol_1_no_adts_000.smt2 TIMEOUT 60.63 43.58 apollon103 solidity/no_adts/unit_tests/functions/constructor_hierarchy_same_var.sol_0_no_adts_000.smt2 unknown 15.30 8.11 apollon051 solidity/no_adts/unit_tests/functions/virtual_function_called_by_constructor.sol_5_no_adts_000.smt2 TIMEOUT 61.44 37.97 apollon112 solidity/no_adts/unit_tests/functions/struct_4.sol_0_no_adts_000.smt2 true 27.82 16.30 apollon072 solidity/no_adts/unit_tests/functions/mapping_1.sol_1_no_adts_000.smt2 true 27.73 15.55 apollon076 solidity/no_adts/unit_tests/functions/functions_library_1.sol_0_no_adts_000.smt2 unknown 13.48 6.97 apollon015 solidity/no_adts/unit_tests/functions/function_call_state_var_init.sol_0_no_adts_000.smt2 unknown 10.14 5.50 apollon133 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1.sol_1_no_adts_000.smt2 unknown 12.09 6.41 apollon015 solidity/no_adts/unit_tests/functions/mapping_with_cast.sol_1_no_adts_000.smt2 unknown 11.91 6.35 apollon072 solidity/no_adts/unit_tests/functions/library_constant.sol_0_no_adts_000.smt2 true 26.59 14.98 apollon123 solidity/no_adts/unit_tests/functions/functions_recursive.sol_0_no_adts_000.smt2 unknown 12.67 6.61 apollon136 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond.sol_1_no_adts_000.smt2 unknown 22.36 11.38 apollon112 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol_0_no_adts_000.smt2 unknown 25.20 12.94 apollon127 solidity/no_adts/unit_tests/functions/payable_2.sol_1_no_adts_000.smt2 unknown 17.23 9.01 apollon020 solidity/no_adts/unit_tests/functions/contract.sol_0_no_adts_000.smt2 solidity/no_adts/unit_tests/functions/mapping_1.sol_0_no_adts_000.smt2 solidity/no_adts/unit_tests/functions/array_1.sol_2_no_adts_000.smt2 TIMEOUT 60.45 44.93 apollon112 solidity/no_adts/unit_tests/functions/string.sol_0_no_adts_000.smt2 unknown 12.00 6.26 apollon072 solidity/no_adts/unit_tests/functions/address.sol_3_no_adts_000.smt2 unknown 13.07 6.76 apollon072 solidity/no_adts/unit_tests/functions/this_state.sol_0_no_adts_000.smt2 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1.sol_2_no_adts_000.smt2 TIMEOUT 60.59 43.61 apollon051 solidity/no_adts/unit_tests/functions/static_array.sol_4_no_adts_000.smt2 TIMEOUT 61.60 40.12 apollon112 solidity/no_adts/unit_tests/functions/constructor_state_value.sol_1_no_adts_000.smt2 unknown 12.10 6.41 apollon020 solidity/no_adts/unit_tests/functions/functions_storage_var_2_fail.sol_0_no_adts_000.smt2 unknown 14.22 7.44 apollon127 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_2.sol_1_no_adts_000.smt2 unknown 23.45 12.07 apollon015 solidity/no_adts/unit_tests/functions/internal_multiple_calls_with_assertion_1_fail.sol_1_no_adts_000.smt2 unknown 10.40 5.89 apollon112 solidity/no_adts/unit_tests/functions/fixed_bytes.sol_3_no_adts_000.smt2 unknown 13.36 6.95 apollon051 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1_fail.sol_1_no_adts_000.smt2 unknown 12.38 6.64 apollon112 solidity/no_adts/unit_tests/functions/constructor_hierarchy_4.sol_0_no_adts_000.smt2 unknown 18.61 9.66 apollon103 solidity/no_adts/unit_tests/functions/constructor_hierarchy_empty_chain.sol_1_no_adts_000.smt2 unknown 15.89 8.35 apollon112 solidity/no_adts/unit_tests/functions/function_inside_branch_modify_state_var.sol_0_no_adts_000.smt2 unknown 14.43 7.68 apollon015 solidity/no_adts/unit_tests/functions/array_1.sol_1_no_adts_000.smt2 unknown 49.75 28.98 apollon136 solidity/no_adts/unit_tests/functions/payable_2.sol_0_no_adts_000.smt2 unknown 16.98 8.79 apollon051 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_local_vars.sol_1_no_adts_000.smt2 unknown 16.28 8.51 apollon076 solidity/no_adts/unit_tests/functions/internal_multiple_calls_with_assertion_1.sol_0_no_adts_000.smt2 TIMEOUT 60.62 38.61 apollon076 solidity/no_adts/unit_tests/functions/struct_4.sol_1_no_adts_000.smt2 unknown 12.20 6.57 apollon112 solidity/no_adts/unit_tests/functions/address.sol_1_no_adts_000.smt2 unknown 38.29 19.75 apollon015 solidity/no_adts/unit_tests/functions/constructor_state_value_parameter.sol_1_no_adts_000.smt2 unknown 12.47 6.64 apollon020 solidity/no_adts/unit_tests/functions/functions_identity_2_fail.sol_0_no_adts_000.smt2 unknown 14.87 7.84 apollon072 solidity/no_adts/unit_tests/functions/this_external_call_sender.sol_0_no_adts_000.smt2 unknown 16.95 8.88 apollon076 solidity/no_adts/unit_tests/functions/functions_storage_var_1.sol_0_no_adts_000.smt2 unknown 12.80 6.69 apollon072 solidity/no_adts/unit_tests/functions/virtual_function_called_by_constructor.sol_4_no_adts_000.smt2 unknown 14.34 7.68 apollon015 solidity/no_adts/unit_tests/functions/library_constant.sol_2_no_adts_000.smt2 unknown 11.15 5.85 apollon072 solidity/no_adts/unit_tests/functions/constructor_hierarchy_same_var.sol_1_no_adts_000.smt2 unknown 15.81 8.37 apollon133 solidity/no_adts/unit_tests/functions/this_external_call_return.sol_0_no_adts_000.smt2 unknown 14.48 7.61 apollon076 solidity/no_adts/unit_tests/functions/function_inline_chain.sol_0_no_adts_000.smt2 unknown 33.54 17.01 apollon051 solidity/no_adts/unit_tests/functions/internal_call_inheritance.sol_0_no_adts_000.smt2 unknown 17.48 9.09 apollon015 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_empty_base.sol_1_no_adts_000.smt2 unknown 15.96 8.52 apollon072 solidity/no_adts/unit_tests/functions/static_array.sol_2_no_adts_000.smt2 TIMEOUT 61.41 40.54 apollon020 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1.sol_3_no_adts_000.smt2 unknown 12.48 6.70 apollon112 solidity/no_adts/unit_tests/functions/struct_with_reassignment.sol_0_no_adts_000.smt2 TIMEOUT 60.92 42.48 apollon136 solidity/no_adts/unit_tests/functions/contract.sol_1_no_adts_000.smt2 unknown 11.86 6.30 apollon127 solidity/no_adts/unit_tests/functions/enum.sol_0_no_adts_000.smt2 solidity/no_adts/unit_tests/functions/function.sol_1_no_adts_000.smt2 unknown 15.30 7.88 apollon072 solidity/no_adts/unit_tests/functions/function_inside_branch_modify_state_var_3.sol_1_no_adts_000.smt2 unknown 15.47 8.09 apollon133 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1.sol_2_no_adts_000.smt2 unknown 11.92 6.18 apollon076 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_3.sol_1_no_adts_000.smt2 unknown 22.50 11.51 apollon127 solidity/no_adts/unit_tests/functions/constructor_simple.sol_1_no_adts_000.smt2 unknown 12.43 6.51 apollon020 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1.sol_1_no_adts_000.smt2 TIMEOUT 60.66 43.32 apollon051 solidity/no_adts/unit_tests/functions/constructor_simple.sol_0_no_adts_000.smt2 unknown 10.22 5.41 apollon076 solidity/no_adts/unit_tests/functions/functions_bound_1.sol_0_no_adts_000.smt2 unknown 13.06 6.82 apollon127 solidity/no_adts/unit_tests/functions/functions_bound_1_fail.sol_0_no_adts_000.smt2 unknown 13.22 7.09 apollon020 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_3.sol_0_no_adts_000.smt2 unknown 23.82 12.14 apollon123 solidity/no_adts/unit_tests/functions/functions_external_1.sol_0_no_adts_000.smt2 unknown 32.45 16.84 apollon072 solidity/no_adts/unit_tests/functions/virtual_function_called_by_constructor.sol_3_no_adts_000.smt2 unknown 13.13 6.93 apollon076 solidity/no_adts/unit_tests/functions/constructor_hierarchy_empty_middle.sol_1_no_adts_000.smt2 unknown 12.85 6.70 apollon112 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_empty_middle.sol_0_no_adts_000.smt2 unknown 14.20 7.33 apollon112 solidity/no_adts/unit_tests/functions/functions_identifier_nested_tuple_3.sol_0_no_adts_000.smt2 unknown 10.98 5.80 apollon072 solidity/no_adts/unit_tests/functions/functions_external_2.sol_2_no_adts_000.smt2 unknown 37.85 19.21 apollon123 solidity/no_adts/unit_tests/functions/constructor_hierarchy_empty_middle_no_invocation.sol_0_no_adts_000.smt2 unknown 12.84 6.96 apollon136 solidity/no_adts/unit_tests/functions/super_function_assert.sol_1_no_adts_000.smt2 unknown 26.73 13.59 apollon072 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1_fail.sol_4_no_adts_000.smt2 TIMEOUT 60.74 42.32 apollon127 solidity/no_adts/unit_tests/functions/functions_identifier_nested_tuple_1.sol_0_no_adts_000.smt2 unknown 12.70 6.63 apollon133 solidity/no_adts/unit_tests/functions/array_1.sol_0_no_adts_000.smt2 unknown 13.88 7.30 apollon136 solidity/no_adts/unit_tests/functions/functions_recursive_indirect.sol_1_no_adts_000.smt2 unknown 16.39 8.64 apollon051 solidity/no_adts/unit_tests/functions/static_array.sol_1_no_adts_000.smt2 unknown 37.30 19.78 apollon136 solidity/no_adts/unit_tests/functions/string.sol_1_no_adts_000.smt2 true 27.07 15.09 apollon051 solidity/no_adts/unit_tests/functions/constructor_hierarchy_2.sol_1_no_adts_000.smt2 unknown 14.14 7.53 apollon076 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol_1_no_adts_000.smt2 unknown 17.43 9.14 apollon076 solidity/no_adts/unit_tests/functions/functions_storage_var_2.sol_0_no_adts_000.smt2 unknown 15.35 8.08 apollon136 solidity/no_adts/unit_tests/functions/bytes.sol_1_no_adts_000.smt2 true 27.16 15.26 apollon020 solidity/no_adts/unit_tests/functions/constructor_hierarchy_3.sol_0_no_adts_000.smt2 unknown 19.89 10.27 apollon127 solidity/no_adts/unit_tests/functions/super_function_assert.sol_2_no_adts_000.smt2 unknown 26.70 13.62 apollon127 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1.sol_4_no_adts_000.smt2 TIMEOUT 60.98 41.21 apollon020 solidity/no_adts/unit_tests/functions/constructor_hierarchy_empty_chain.sol_0_no_adts_000.smt2 unknown 16.35 8.54 apollon051 solidity/no_adts/unit_tests/functions/address.sol_0_no_adts_000.smt2 true 42.34 28.44 apollon103 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond.sol_0_no_adts_000.smt2 unknown 21.65 11.05 apollon076 solidity/no_adts/unit_tests/functions/functions_identity_as_tuple.sol_0_no_adts_000.smt2 unknown 13.43 6.96 apollon136 solidity/no_adts/unit_tests/functions/library_constant.sol_1_no_adts_000.smt2 unknown 13.53 7.04 apollon136 solidity/no_adts/unit_tests/functions/constructor_hierarchy_empty_middle.sol_0_no_adts_000.smt2 unknown 13.06 7.00 apollon046 solidity/no_adts/unit_tests/functions/struct_with_reassignment.sol_3_no_adts_000.smt2 TIMEOUT 60.70 42.35 apollon015 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain.sol_0_no_adts_000.smt2 unknown 17.41 9.13 apollon133 solidity/no_adts/unit_tests/functions/virtual_function_assert.sol_1_no_adts_000.smt2 unknown 17.44 8.97 apollon072 solidity/no_adts/unit_tests/functions/fixed_bytes.sol_2_no_adts_000.smt2 unknown 37.34 19.18 apollon136 solidity/no_adts/unit_tests/functions/constructor_hierarchy.sol_1_no_adts_000.smt2 unknown 15.34 8.00 apollon127 solidity/no_adts/unit_tests/functions/functions_identity_as_tuple_fail.sol_0_no_adts_000.smt2 unknown 12.90 6.78 apollon076 solidity/no_adts/unit_tests/functions/enum.sol_1_no_adts_000.smt2 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1_fail.sol_2_no_adts_000.smt2 unknown 12.56 6.63 apollon103 solidity/no_adts/unit_tests/functions/super_function_assert.sol_5_no_adts_000.smt2 unknown 26.94 13.79 apollon112 solidity/no_adts/unit_tests/functions/internal_multiple_calls_with_assertion_1_fail.sol_2_no_adts_000.smt2 TIMEOUT 61.01 42.15 apollon136 solidity/no_adts/unit_tests/functions/function.sol_0_no_adts_000.smt2 unknown 15.44 8.15 apollon103 solidity/no_adts/unit_tests/functions/library_after_contract.sol_0_no_adts_000.smt2 unknown 13.11 6.84 apollon123 solidity/no_adts/unit_tests/functions/internal_multiple_calls_with_assertion_1.sol_1_no_adts_000.smt2 unknown 15.56 8.00 apollon020 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1_fail.sol_3_no_adts_000.smt2 unknown 15.01 7.91 apollon076 solidity/no_adts/unit_tests/functions/this_external_call_tx_origin.sol_0_no_adts_000.smt2 unknown 14.15 7.51 apollon112 solidity/no_adts/unit_tests/functions/constructor_state_value_parameter.sol_0_no_adts_000.smt2 unknown 10.91 5.71 apollon020 solidity/no_adts/unit_tests/functions/this_external_call.sol_0_no_adts_000.smt2 unknown 14.45 7.68 apollon127 solidity/no_adts/unit_tests/functions/functions_external_2.sol_0_no_adts_000.smt2 unknown 15.60 8.08 apollon076 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_local_vars.sol_0_no_adts_000.smt2 unknown 16.44 8.54 apollon072 solidity/no_adts/unit_tests/functions/super_function_assert.sol_4_no_adts_000.smt2 unknown 26.61 13.54 apollon136 solidity/no_adts/unit_tests/functions/functions_external_3.sol_0_no_adts_000.smt2 unknown 13.37 7.14 apollon072 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_empty_base.sol_0_no_adts_000.smt2 unknown 21.79 11.29 apollon127 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1.sol_0_no_adts_000.smt2 unknown 11.93 6.39 apollon133 solidity/no_adts/unit_tests/functions/struct_with_reassignment.sol_2_no_adts_000.smt2 TIMEOUT 60.60 43.34 apollon127 solidity/no_adts/unit_tests/functions/double_access.sol_2_no_adts_000.smt2 true 29.70 17.44 apollon112 solidity/no_adts/unit_tests/functions/uint.sol_1_no_adts_000.smt2 unknown 11.78 6.34 apollon072 solidity/no_adts/unit_tests/functions/virtual_function_called_by_constructor.sol_2_no_adts_000.smt2 TIMEOUT 61.25 41.65 apollon015 solidity/no_adts/unit_tests/functions/constructor_hierarchy_modifier.sol_0_no_adts_000.smt2 unknown 16.89 8.90 apollon136 solidity/no_adts/unit_tests/functions/constructor_hierarchy.sol_0_no_adts_000.smt2 unknown 15.53 8.21 apollon051 solidity/no_adts/unit_tests/functions/bytes.sol_0_no_adts_000.smt2 unknown 12.41 6.48 apollon020 solidity/no_adts/unit_tests/functions/functions_library_1_fail.sol_0_no_adts_000.smt2 unknown 12.70 6.72 apollon072 solidity/no_adts/unit_tests/functions/internal_multiple_calls_with_assertion_1_fail.sol_0_no_adts_000.smt2 unknown 15.98 8.42 apollon051 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1.sol_0_no_adts_000.smt2 unknown 11.05 5.81 apollon015 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1_fail.sol_3_no_adts_000.smt2 unknown 12.86 6.82 apollon015 solidity/no_adts/unit_tests/functions/this_external_call_2.sol_0_no_adts_000.smt2 unknown 36.12 18.32 apollon015 solidity/no_adts/unit_tests/functions/constructor_state_value.sol_0_no_adts_000.smt2 unknown 9.93 5.18 apollon051 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1_fail.sol_2_no_adts_000.smt2 unknown 10.33 5.62 apollon112 solidity/no_adts/unit_tests/functions/address.sol_2_no_adts_000.smt2 true 49.60 35.13 apollon133 solidity/no_adts/unit_tests/functions/internal_multiple_calls_with_assertion_1.sol_2_no_adts_000.smt2 unknown 10.17 5.34 apollon020 solidity/no_adts/unit_tests/functions/double_access.sol_0_no_adts_000.smt2 true 27.52 15.33 apollon127 solidity/no_adts/unit_tests/functions/library_constant_2.sol_0_no_adts_000.smt2 true 15.77 8.33 apollon072 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_empty_middle_empty_base.sol_0_no_adts_000.smt2 unknown 16.17 8.39 apollon051 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_empty_middle.sol_1_no_adts_000.smt2 unknown 13.97 7.20 apollon051 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain.sol_1_no_adts_000.smt2 unknown 17.55 9.21 apollon123 solidity/no_adts/unit_tests/functions/mapping_with_cast.sol_0_no_adts_000.smt2 true 27.35 15.14 apollon020 solidity/no_adts/unit_tests/functions/constructor_hierarchy_2.sol_2_no_adts_000.smt2 unknown 15.58 8.26 apollon123 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_empty_middle_empty_base.sol_1_no_adts_000.smt2 unknown 13.54 7.11 apollon112 solidity/no_adts/unit_tests/functions/double_access.sol_1_no_adts_000.smt2 unknown 12.82 6.70 apollon051 solidity/no_adts/unit_tests/functions/functions_external_1.sol_1_no_adts_000.smt2 unknown 13.27 7.04 apollon136 solidity/no_adts/unit_tests/functions/this_external_call_sender.sol_2_no_adts_000.smt2 TIMEOUT 60.61 42.89 apollon020 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol_3_no_adts_000.smt2 unknown 24.98 12.92 apollon072 solidity/no_adts/unit_tests/functions/struct_with_reassignment.sol_4_no_adts_000.smt2 unknown 53.76 30.55 apollon103 solidity/no_adts/unit_tests/functions/virtual_function_called_by_constructor.sol_0_no_adts_000.smt2 TIMEOUT 60.71 42.27 apollon133 solidity/no_adts/unit_tests/functions/function_inside_branch_modify_state_var_2.sol_0_no_adts_000.smt2 unknown 13.81 7.16 apollon112 solidity/no_adts/unit_tests/functions/functions_identity_1_fail.sol_0_no_adts_000.smt2 unknown 12.94 6.78 apollon103 solidity/no_adts/unit_tests/functions/static_array.sol_0_no_adts_000.smt2 TIMEOUT 60.75 37.82 apollon015 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_2.sol_0_no_adts_000.smt2 unknown 21.91 11.27 apollon103 solidity/no_adts/unit_tests/functions/fixed_bytes.sol_1_no_adts_000.smt2 true 44.48 30.38 apollon051 solidity/no_adts/unit_tests/functions/functions_external_3.sol_1_no_adts_000.smt2 unknown 14.09 7.33 apollon127 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1_fail.sol_0_no_adts_000.smt2 unknown 12.78 6.86 apollon051 solidity/no_adts/unit_tests/functions/this_external_call_sender.sol_3_no_adts_000.smt2 unknown 37.75 19.20 apollon127 solidity/no_adts/unit_tests/functions/this_external_call_2.sol_1_no_adts_000.smt2 unknown 15.95 8.38 apollon127 solidity/no_adts/unit_tests/functions/virtual_function_assert.sol_0_no_adts_000.smt2 unknown 17.76 9.20 apollon051 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol_2_no_adts_000.smt2 unknown 18.89 9.73 apollon133 solidity/no_adts/unit_tests/functions/functions_identity_1.sol_0_no_adts_000.smt2 unknown 12.95 6.94 apollon076 solidity/no_adts/unit_tests/functions/constructor_state_value_inherited.sol_1_no_adts_000.smt2 unknown 10.53 5.69 apollon020 solidity/no_adts/unit_tests/functions/functions_external_4.sol_0_no_adts_000.smt2 unknown 12.12 6.42 apollon103 solidity/no_adts/unit_tests/functions/functions_storage_var_1_fail.sol_0_no_adts_000.smt2 unknown 13.95 7.22 apollon051 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_with_params.sol_0_no_adts_000.smt2 unknown 19.10 9.98 apollon133 solidity/no_adts/unit_tests/functions/this_external_call_sender.sol_1_no_adts_000.smt2 TIMEOUT 61.43 37.32 apollon123 solidity/no_adts/unit_tests/functions/functions_identity_2.sol_0_no_adts_000.smt2 unknown 15.59 8.01 apollon136 solidity/no_adts/unit_tests/functions/constructor_hierarchy_3.sol_1_no_adts_000.smt2 unknown 19.78 10.26 apollon103 solidity/no_adts/unit_tests/functions/constructor_hierarchy_2.sol_0_no_adts_000.smt2 unknown 14.49 7.52 apollon123 solidity/no_adts/unit_tests/functions/functions_external_2.sol_1_no_adts_000.smt2 TIMEOUT 61.44 38.52 apollon133 solidity/no_adts/unit_tests/functions/functions_recursive_indirect.sol_0_no_adts_000.smt2 unknown 15.79 8.12 apollon123 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1.sol_3_no_adts_000.smt2 unknown 15.03 7.85 apollon103 solidity/no_adts/unit_tests/functions/constructor_state_value_inherited.sol_0_no_adts_000.smt2 unknown 13.09 6.82 apollon136 solidity/no_adts/unit_tests/functions/super_function_assert.sol_0_no_adts_000.smt2 unknown 27.43 13.96 apollon103 solidity/no_adts/unit_tests/functions/fixed_bytes.sol_0_no_adts_000.smt2 true 50.44 36.16 apollon123 solidity/no_adts/unit_tests/functions/virtual_function_assert.sol_2_no_adts_000.smt2 unknown 17.28 9.00 apollon076 solidity/no_adts/unit_tests/blockchain_state/library_internal_1.sol_1_no_adts_000.smt2 unknown 35.58 18.13 apollon015 solidity/no_adts/unit_tests/blockchain_state/balance_receive_ext_calls_2.sol_0_no_adts_000.smt2 unknown 32.04 16.27 apollon123 solidity/no_adts/unit_tests/blockchain_state/balance_zero.sol_1_no_adts_000.smt2 unknown 11.13 5.86 apollon136 solidity/no_adts/unit_tests/blockchain_state/library_public_4.sol_1_no_adts_000.smt2 unknown 35.97 18.61 apollon127 solidity/no_adts/unit_tests/blockchain_state/this_does_not_change_external_call.sol_1_no_adts_000.smt2 unknown 59.82 37.67 apollon133 solidity/no_adts/unit_tests/blockchain_state/library_public_1.sol_0_no_adts_000.smt2 unknown 35.81 18.60 apollon020 solidity/no_adts/unit_tests/blockchain_state/balance_zero_3.sol_0_no_adts_000.smt2 TIMEOUT 61.06 45.29 apollon123 solidity/no_adts/unit_tests/blockchain_state/library_public_4.sol_0_no_adts_000.smt2 unknown 13.63 7.08 apollon112 solidity/no_adts/unit_tests/blockchain_state/library_public_4.sol_2_no_adts_000.smt2 unknown 59.18 37.83 apollon123 solidity/no_adts/unit_tests/blockchain_state/this_does_not_change_external_call.sol_0_no_adts_000.smt2 unknown 13.33 6.91 apollon076 solidity/no_adts/unit_tests/blockchain_state/balance_zero_3.sol_2_no_adts_000.smt2 unknown 10.79 5.70 apollon136 solidity/no_adts/unit_tests/blockchain_state/balance_zero_3.sol_1_no_adts_000.smt2 unknown 10.87 5.77 apollon112 solidity/no_adts/unit_tests/blockchain_state/balance_receive.sol_2_no_adts_000.smt2 unknown 58.29 35.15 apollon103 solidity/no_adts/unit_tests/blockchain_state/balance_receive_calls.sol_0_no_adts_000.smt2 unknown 16.13 8.40 apollon127 solidity/no_adts/unit_tests/blockchain_state/library_public_3.sol_2_no_adts_000.smt2 unknown 13.29 6.90 apollon072 solidity/no_adts/unit_tests/blockchain_state/balance_receive_2.sol_0_no_adts_000.smt2 unknown 13.66 7.14 apollon046 solidity/no_adts/unit_tests/blockchain_state/library_public_3.sol_0_no_adts_000.smt2 TIMEOUT 60.90 37.11 apollon015 solidity/no_adts/unit_tests/blockchain_state/balance_receive_3.sol_0_no_adts_000.smt2 unknown 9.93 5.32 apollon127 solidity/no_adts/unit_tests/blockchain_state/balance_receive_calls.sol_3_no_adts_000.smt2 unknown 54.99 31.36 apollon103 solidity/no_adts/unit_tests/blockchain_state/balance_non_zero_2.sol_1_no_adts_000.smt2 unknown 12.97 6.80 apollon136 solidity/no_adts/unit_tests/blockchain_state/balance_receive_ext_calls_mutex.sol_0_no_adts_000.smt2 unknown 25.73 13.16 apollon112 solidity/no_adts/unit_tests/blockchain_state/balance_receive_2.sol_1_no_adts_000.smt2 unknown 50.30 28.39 apollon051 solidity/no_adts/unit_tests/blockchain_state/library_public_1.sol_1_no_adts_000.smt2 unknown 12.57 6.75 apollon112 solidity/no_adts/unit_tests/blockchain_state/library_internal_1.sol_0_no_adts_000.smt2 unknown 14.51 7.67 apollon015 solidity/no_adts/unit_tests/blockchain_state/balance_non_zero.sol_0_no_adts_000.smt2 unknown 10.33 5.51 apollon072 solidity/no_adts/unit_tests/blockchain_state/balance_receive.sol_1_no_adts_000.smt2 TIMEOUT 62.03 42.45 apollon072 solidity/no_adts/unit_tests/blockchain_state/balance_zero.sol_0_no_adts_000.smt2 unknown 11.18 5.95 apollon015 solidity/no_adts/unit_tests/blockchain_state/balance_zero_4.sol_1_no_adts_000.smt2 TIMEOUT 60.70 42.39 apollon051 solidity/no_adts/unit_tests/blockchain_state/balance_receive_calls.sol_5_no_adts_000.smt2 unknown 54.85 30.74 apollon072 solidity/no_adts/unit_tests/blockchain_state/free_function_1.sol_0_no_adts_000.smt2 solidity/no_adts/unit_tests/blockchain_state/balance_receive_ext_calls.sol_1_no_adts_000.smt2 unknown 12.64 6.57 apollon072 solidity/no_adts/unit_tests/blockchain_state/balance_zero_4.sol_0_no_adts_000.smt2 unknown 12.02 6.38 apollon103 solidity/no_adts/unit_tests/blockchain_state/balance_receive_5.sol_0_no_adts_000.smt2 unknown 38.16 20.74 apollon072 solidity/no_adts/unit_tests/blockchain_state/balance_receive_ext_calls_2.sol_1_no_adts_000.smt2 unknown 12.73 6.69 apollon076 solidity/no_adts/unit_tests/blockchain_state/this_does_not_change_internal_call.sol_1_no_adts_000.smt2 unknown 13.78 7.31 apollon020 solidity/no_adts/unit_tests/blockchain_state/balance_zero_4.sol_2_no_adts_000.smt2 unknown 12.75 6.79 apollon015 solidity/no_adts/unit_tests/blockchain_state/balance_receive_calls.sol_1_no_adts_000.smt2 unknown 58.46 33.17 apollon051 solidity/no_adts/unit_tests/blockchain_state/library_public_3.sol_1_no_adts_000.smt2 unknown 37.35 19.47 apollon112 solidity/no_adts/unit_tests/blockchain_state/balance_zero_2.sol_1_no_adts_000.smt2 unknown 35.26 17.99 apollon112 solidity/no_adts/unit_tests/blockchain_state/balance_receive.sol_0_no_adts_000.smt2 unknown 14.44 7.63 apollon133 solidity/no_adts/unit_tests/blockchain_state/balance_non_zero.sol_1_no_adts_000.smt2 unknown 10.65 5.69 apollon103 solidity/no_adts/unit_tests/blockchain_state/free_function_1.sol_1_no_adts_000.smt2 unknown 35.03 17.87 apollon072 solidity/no_adts/unit_tests/blockchain_state/balance_zero_4.sol_3_no_adts_000.smt2 unknown 14.53 7.69 apollon051 solidity/no_adts/unit_tests/blockchain_state/balance_non_zero_2.sol_0_no_adts_000.smt2 unknown 46.09 26.21 apollon112 solidity/no_adts/unit_tests/blockchain_state/balance_receive_calls.sol_2_no_adts_000.smt2 unknown 57.28 32.27 apollon133 solidity/no_adts/unit_tests/blockchain_state/balance_receive_ext_calls_mutex.sol_1_no_adts_000.smt2 unknown 13.50 6.94 apollon020 solidity/no_adts/unit_tests/blockchain_state/this_does_not_change_internal_call.sol_0_no_adts_000.smt2 unknown 14.33 7.41 apollon015 solidity/no_adts/unit_tests/blockchain_state/balance_zero_3.sol_3_no_adts_000.smt2 unknown 13.19 6.97 apollon103 solidity/no_adts/unit_tests/blockchain_state/balance_receive_calls.sol_4_no_adts_000.smt2 unknown 40.06 20.41 apollon076 solidity/no_adts/unit_tests/blockchain_state/this_does_not_change.sol_0_no_adts_000.smt2 unknown 12.47 6.60 apollon127 solidity/no_adts/unit_tests/blockchain_state/balance_zero_2.sol_0_no_adts_000.smt2 unknown 12.50 6.60 apollon015 solidity/no_adts/unit_tests/blockchain_state/balance_receive_ext_calls.sol_0_no_adts_000.smt2 unknown 28.50 14.51 apollon127 solidity/no_adts/unit_tests/blockchain_state/balance_receive_5.sol_1_no_adts_000.smt2 unknown 13.09 6.97 apollon020 solidity/no_adts/unit_tests/crypto/crypto_functions_fail.sol_2_no_adts_000.smt2 unknown 17.42 9.09 apollon103 solidity/no_adts/unit_tests/crypto/crypto_functions_fail.sol_0_no_adts_000.smt2 unknown 18.30 9.45 apollon133 solidity/no_adts/unit_tests/crypto/crypto_functions_fail.sol_1_no_adts_000.smt2 unknown 18.13 9.49 apollon103 solidity/no_adts/unit_tests/crypto/crypto_functions_compare_hashes.sol_0_no_adts_000.smt2 unknown 59.95 37.43 apollon136 solidity/no_adts/unit_tests/crypto/crypto_functions_not_same.sol_0_no_adts_000.smt2 unknown 12.92 6.85 apollon112 solidity/no_adts/unit_tests/crypto/crypto_functions_compare_hashes.sol_2_no_adts_000.smt2 unknown 38.73 20.08 apollon123 solidity/no_adts/unit_tests/crypto/crypto_functions_over_blocks.sol_0_no_adts_000.smt2 unknown 13.32 7.11 apollon136 solidity/no_adts/unit_tests/crypto/crypto_functions_compare_hashes.sol_1_no_adts_000.smt2 unknown 13.57 7.32 apollon136 solidity/no_adts/unit_tests/crypto/crypto_functions_fail.sol_3_no_adts_000.smt2 unknown 16.51 8.55 apollon112 solidity/no_adts/unit_tests/external_calls/call_constructor_2.sol_0_no_adts_000.smt2 unknown 10.03 5.43 apollon072 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_2.sol_0_no_adts_000.smt2 unknown 56.47 30.62 apollon015 solidity/no_adts/unit_tests/external_calls/external_call_this_with_value_1.sol_1_no_adts_000.smt2 unknown 14.92 7.73 apollon072 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state.sol_1_no_adts_000.smt2 unknown 15.81 8.15 apollon051 solidity/no_adts/unit_tests/external_calls/external_call_this_with_value_1.sol_0_no_adts_000.smt2 unknown 34.68 17.65 apollon127 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state.sol_0_no_adts_000.smt2 unknown 16.46 8.48 apollon103 solidity/no_adts/unit_tests/external_calls/external_call_with_value_3.sol_0_no_adts_000.smt2 unknown 13.01 6.78 apollon123 solidity/no_adts/unit_tests/external_calls/external_reentrancy_3.sol_4_no_adts_000.smt2 unknown 15.92 8.26 apollon112 solidity/no_adts/unit_tests/external_calls/external_reentrancy_3.sol_1_no_adts_000.smt2 true 43.76 31.26 apollon133 solidity/no_adts/unit_tests/external_calls/external_call_with_value_2.sol_1_no_adts_000.smt2 unknown 30.33 15.54 apollon103 solidity/no_adts/unit_tests/external_calls/internal_library_external_call_1.sol_0_no_adts_000.smt2 unknown 15.56 8.16 apollon123 solidity/no_adts/unit_tests/external_calls/call_constructor_1.sol_0_no_adts_000.smt2 unknown 11.18 5.86 apollon123 solidity/no_adts/unit_tests/external_calls/internal_library_external_call_3.sol_0_no_adts_000.smt2 unknown 16.65 8.74 apollon020 solidity/no_adts/unit_tests/external_calls/call_with_value_1.sol_1_no_adts_000.smt2 unknown 30.63 15.63 apollon136 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_3.sol_0_no_adts_000.smt2 unknown 17.81 9.38 apollon133 solidity/no_adts/unit_tests/external_calls/external_hash.sol_1_no_adts_000.smt2 unknown 17.34 9.01 apollon015 solidity/no_adts/unit_tests/external_calls/external_reentrancy_3.sol_2_no_adts_000.smt2 unknown 34.17 17.68 apollon127 solidity/no_adts/unit_tests/external_calls/external_call_with_value_1.sol_1_no_adts_000.smt2 unknown 13.14 6.96 apollon127 solidity/no_adts/unit_tests/external_calls/external_single_inc.sol_0_no_adts_000.smt2 unknown 15.53 8.07 apollon051 solidity/no_adts/unit_tests/external_calls/call_mutex_unsafe.sol_0_no_adts_000.smt2 unknown 14.83 7.72 apollon015 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_pure.sol_0_no_adts_000.smt2 unknown 17.04 8.91 apollon123 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_indirect.sol_0_no_adts_000.smt2 unknown 17.35 9.10 apollon112 solidity/no_adts/unit_tests/external_calls/call_with_value_3.sol_0_no_adts_000.smt2 unknown 29.50 15.00 apollon133 solidity/no_adts/unit_tests/external_calls/external_hash.sol_0_no_adts_000.smt2 unknown 17.59 9.10 apollon136 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy.sol_0_no_adts_000.smt2 TIMEOUT 60.61 37.35 apollon051 solidity/no_adts/unit_tests/external_calls/mutex_f_no_guard.sol_0_no_adts_000.smt2 unknown 14.16 7.54 apollon127 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_2.sol_1_no_adts_000.smt2 unknown 18.16 9.47 apollon127 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_3.sol_0_no_adts_000.smt2 unknown 12.29 6.61 apollon136 solidity/no_adts/unit_tests/external_calls/mutex.sol_0_no_adts_000.smt2 unknown 15.13 7.84 apollon123 solidity/no_adts/unit_tests/external_calls/call_mutex.sol_0_no_adts_000.smt2 unknown 15.11 7.99 apollon112 solidity/no_adts/unit_tests/external_calls/external_call_this_with_value_2.sol_0_no_adts_000.smt2 unknown 16.09 8.49 apollon015 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_1.sol_0_no_adts_000.smt2 unknown 11.37 6.11 apollon103 solidity/no_adts/unit_tests/external_calls/internal_library_external_call_2.sol_0_no_adts_000.smt2 unknown 17.15 8.88 apollon103 solidity/no_adts/unit_tests/external_calls/external_inc1_inc2.sol_0_no_adts_000.smt2 true 27.70 14.70 apollon127 solidity/no_adts/unit_tests/external_calls/external_call_this_with_value_2.sol_1_no_adts_000.smt2 unknown 34.87 17.71 apollon015 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_2.sol_1_no_adts_000.smt2 unknown 13.97 7.27 apollon112 solidity/no_adts/unit_tests/external_calls/external_call_with_value_1.sol_0_no_adts_000.smt2 unknown 29.31 14.90 apollon127 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_1.sol_1_no_adts_000.smt2 unknown 12.24 6.82 apollon103 solidity/no_adts/unit_tests/external_calls/call_with_value_2.sol_1_no_adts_000.smt2 unknown 13.45 6.98 apollon123 solidity/no_adts/unit_tests/external_calls/external_reentrancy_3.sol_0_no_adts_000.smt2 unknown 12.04 6.43 apollon127 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_unsafe.sol_1_no_adts_000.smt2 unknown 17.57 9.23 apollon051 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy.sol_1_no_adts_000.smt2 unknown 15.52 8.09 apollon051 solidity/no_adts/unit_tests/external_calls/external_call_with_value_2.sol_0_no_adts_000.smt2 unknown 12.96 6.76 apollon051 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_3.sol_1_no_adts_000.smt2 TIMEOUT 61.70 37.97 apollon112 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_unsafe.sol_0_no_adts_000.smt2 unknown 49.75 26.87 apollon015 solidity/no_adts/unit_tests/external_calls/external.sol_0_no_adts_000.smt2 unknown 14.26 7.49 apollon076 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_unsafe.sol_0_no_adts_000.smt2 unknown 16.78 8.74 apollon133 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_indirect.sol_1_no_adts_000.smt2 unknown 52.40 28.26 apollon051 solidity/no_adts/unit_tests/external_calls/external_reentrancy_1.sol_0_no_adts_000.smt2 unknown 14.11 7.50 apollon133 solidity/no_adts/unit_tests/external_calls/external_safe.sol_0_no_adts_000.smt2 unknown 14.42 7.76 apollon123 solidity/no_adts/unit_tests/external_calls/call_with_value_2.sol_0_no_adts_000.smt2 unknown 29.92 15.45 apollon103 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_reentrancy_1.sol_1_no_adts_000.smt2 unknown 11.45 6.10 apollon051 solidity/no_adts/unit_tests/external_calls/staticcall_mutex.sol_0_no_adts_000.smt2 unknown 15.23 7.96 apollon051 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_pure.sol_1_no_adts_000.smt2 unknown 17.49 9.11 apollon051 solidity/no_adts/unit_tests/external_calls/external_inc.sol_0_no_adts_000.smt2 unknown 14.33 7.44 apollon103 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_3.sol_1_no_adts_000.smt2 unknown 11.24 6.02 apollon020 solidity/no_adts/unit_tests/external_calls/external_reentrancy_3.sol_3_no_adts_000.smt2 unknown 15.21 7.99 apollon133 solidity/no_adts/unit_tests/external_calls/external_reentrancy_2.sol_0_no_adts_000.smt2 unknown 12.79 6.75 apollon136 solidity/no_adts/unit_tests/external_calls/call_with_value_1.sol_0_no_adts_000.smt2 unknown 12.52 6.65 apollon051 solidity/no_adts/unit_tests/external_calls/staticcall_mutex_2.sol_0_no_adts_000.smt2 unknown 14.73 7.77 apollon123 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_2.sol_0_no_adts_000.smt2 unknown 13.95 7.23 apollon020 solidity/no_adts/unit_tests/external_calls/external_reentrancy_3.sol_5_no_adts_000.smt2 true 40.30 27.57 apollon133 solidity/no_adts/unit_tests/external_calls/call_with_value_3.sol_1_no_adts_000.smt2 unknown 13.56 7.08 apollon136 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_unsafe.sol_1_no_adts_000.smt2 unknown 18.22 9.69 apollon127 solidity/no_adts/unit_tests/external_calls/external_call_with_value_3.sol_1_no_adts_000.smt2 unknown 30.05 15.27 apollon020 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_reentrancy_1.sol_0_no_adts_000.smt2 unknown 11.04 5.87 apollon133 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_3.sol_3_no_adts_000.smt2 unknown 16.72 8.90 apollon112 solidity/no_adts/unit_tests/inheritance/fallback_receive.sol_1_no_adts_000.smt2 unknown 21.47 11.04 apollon015 solidity/no_adts/unit_tests/inheritance/receive.sol_3_no_adts_000.smt2 unknown 19.52 10.20 apollon103 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_6.sol_2_no_adts_000.smt2 unknown 19.24 9.98 apollon103 solidity/no_adts/unit_tests/inheritance/implicit_only_constructor_hierarchy.sol_2_no_adts_000.smt2 unknown 22.89 11.78 apollon123 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_mixed_chain_with_params.sol_1_no_adts_000.smt2 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_8_no_adts_000.smt2 unknown 37.52 19.02 apollon103 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_9_no_adts_000.smt2 unknown 25.52 12.94 apollon103 solidity/no_adts/unit_tests/inheritance/implicit_constructor_hierarchy.sol_3_no_adts_000.smt2 unknown 19.57 10.07 apollon051 solidity/no_adts/unit_tests/inheritance/functions_1.sol_0_no_adts_000.smt2 unknown 19.75 10.12 apollon015 solidity/no_adts/unit_tests/inheritance/functions_3.sol_5_no_adts_000.smt2 unknown 12.82 6.81 apollon076 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_6.sol_1_no_adts_000.smt2 TIMEOUT 60.51 44.02 apollon076 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_5.sol_1_no_adts_000.smt2 unknown 18.44 9.51 apollon076 solidity/no_adts/unit_tests/inheritance/functions_2.sol_3_no_adts_000.smt2 unknown 12.40 6.56 apollon020 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond.sol_0_no_adts_000.smt2 unknown 13.14 6.84 apollon127 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_2_no_adts_000.smt2 unknown 18.61 9.67 apollon020 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_1.sol_1_no_adts_000.smt2 unknown 17.46 9.07 apollon123 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_2_no_adts_000.smt2 unknown 17.98 9.33 apollon076 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_3_no_adts_000.smt2 unknown 23.87 12.17 apollon051 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_8.sol_0_no_adts_000.smt2 unknown 13.36 7.10 apollon103 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init.sol_1_no_adts_000.smt2 unknown 10.52 5.67 apollon020 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_inheritance_specifier_1.sol_0_no_adts_000.smt2 unknown 23.94 12.27 apollon103 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_1_no_adts_000.smt2 unknown 19.39 10.10 apollon123 solidity/no_adts/unit_tests/inheritance/functions_1.sol_4_no_adts_000.smt2 unknown 18.82 9.90 apollon112 solidity/no_adts/unit_tests/inheritance/fallback.sol_3_no_adts_000.smt2 unknown 19.02 9.89 apollon015 solidity/no_adts/unit_tests/inheritance/functions_2.sol_4_no_adts_000.smt2 unknown 19.82 10.27 apollon112 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_9.sol_0_no_adts_000.smt2 unknown 25.28 12.92 apollon072 solidity/no_adts/unit_tests/inheritance/state_variables.sol_0_no_adts_000.smt2 true 20.30 10.62 apollon123 solidity/no_adts/unit_tests/inheritance/overriden_function_static_call_parent.sol_1_no_adts_000.smt2 unknown 54.35 29.52 apollon123 solidity/no_adts/unit_tests/inheritance/functions_3.sol_4_no_adts_000.smt2 unknown 31.25 15.93 apollon051 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_7_no_adts_000.smt2 unknown 18.45 9.70 apollon112 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_9.sol_3_no_adts_000.smt2 unknown 29.95 15.17 apollon136 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_8.sol_1_no_adts_000.smt2 unknown 14.05 7.26 apollon051 solidity/no_adts/unit_tests/inheritance/functions_2.sol_2_no_adts_000.smt2 unknown 18.20 9.48 apollon136 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_0_no_adts_000.smt2 unknown 23.72 12.11 apollon072 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_5.sol_3_no_adts_000.smt2 unknown 17.35 9.09 apollon020 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_7_no_adts_000.smt2 unknown 25.13 12.82 apollon136 solidity/no_adts/unit_tests/inheritance/implicit_constructor_hierarchy.sol_5_no_adts_000.smt2 unknown 25.15 12.81 apollon112 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_run_all_2.sol_0_no_adts_000.smt2 unknown 21.35 10.93 apollon133 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_2.sol_2_no_adts_000.smt2 unknown 16.16 8.58 apollon136 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_6.sol_3_no_adts_000.smt2 unknown 16.56 8.66 apollon051 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_alternate.sol_0_no_adts_000.smt2 unknown 14.07 7.40 apollon112 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_9.sol_4_no_adts_000.smt2 unknown 26.47 13.50 apollon072 solidity/no_adts/unit_tests/inheritance/diamond_super_1.sol_1_no_adts_000.smt2 unknown 17.42 9.11 apollon072 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init.sol_0_no_adts_000.smt2 unknown 10.72 5.79 apollon127 solidity/no_adts/unit_tests/inheritance/fallback_receive.sol_0_no_adts_000.smt2 unknown 21.37 11.06 apollon112 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_3.sol_5_no_adts_000.smt2 unknown 16.52 8.59 apollon133 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_5.sol_2_no_adts_000.smt2 unknown 18.68 9.69 apollon136 solidity/no_adts/unit_tests/inheritance/functions_3.sol_7_no_adts_000.smt2 unknown 16.00 8.39 apollon133 solidity/no_adts/unit_tests/inheritance/implicit_only_constructor_hierarchy.sol_4_no_adts_000.smt2 unknown 26.54 13.50 apollon015 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_6_no_adts_000.smt2 unknown 25.22 12.87 apollon123 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_8.sol_0_no_adts_000.smt2 unknown 14.83 7.77 apollon123 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_6.sol_4_no_adts_000.smt2 unknown 19.36 10.06 apollon103 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_run_all.sol_1_no_adts_000.smt2 unknown 19.95 10.28 apollon020 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_7.sol_1_no_adts_000.smt2 unknown 15.25 7.96 apollon127 solidity/no_adts/unit_tests/inheritance/state_variables_3.sol_0_no_adts_000.smt2 true 19.91 10.40 apollon020 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_function_call.sol_0_no_adts_000.smt2 unknown 12.16 6.42 apollon020 solidity/no_adts/unit_tests/inheritance/functions_3.sol_10_no_adts_000.smt2 TIMEOUT 60.50 43.49 apollon015 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain.sol_1_no_adts_000.smt2 unknown 15.01 7.73 apollon020 solidity/no_adts/unit_tests/inheritance/functions_1.sol_3_no_adts_000.smt2 unknown 13.23 6.86 apollon103 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_9.sol_1_no_adts_000.smt2 unknown 14.12 7.32 apollon103 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_1_no_adts_000.smt2 unknown 25.19 12.85 apollon123 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond_middle.sol_0_no_adts_000.smt2 unknown 18.08 9.37 apollon123 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_6.sol_1_no_adts_000.smt2 unknown 18.53 9.68 apollon020 solidity/no_adts/unit_tests/inheritance/functions_2.sol_1_no_adts_000.smt2 TIMEOUT 61.11 47.57 apollon076 solidity/no_adts/unit_tests/inheritance/fallback_receive.sol_3_no_adts_000.smt2 unknown 20.01 10.27 apollon112 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_4.sol_2_no_adts_000.smt2 unknown 24.89 12.68 apollon020 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_1.sol_2_no_adts_000.smt2 unknown 26.31 13.47 apollon020 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_6.sol_5_no_adts_000.smt2 unknown 15.94 8.23 apollon076 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_7.sol_0_no_adts_000.smt2 unknown 15.84 8.30 apollon072 solidity/no_adts/unit_tests/inheritance/diamond_super_3.sol_0_no_adts_000.smt2 unknown 18.79 9.94 apollon123 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_1.sol_0_no_adts_000.smt2 unknown 25.00 12.81 apollon051 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_2.sol_1_no_adts_000.smt2 unknown 15.89 8.28 apollon051 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_base.sol_0_no_adts_000.smt2 unknown 11.13 5.89 apollon112 solidity/no_adts/unit_tests/inheritance/diamond_super_1.sol_0_no_adts_000.smt2 TIMEOUT 62.04 40.08 apollon015 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_4_no_adts_000.smt2 unknown 24.60 12.55 apollon112 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_base.sol_1_no_adts_000.smt2 unknown 11.05 5.77 apollon072 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_function_call.sol_2_no_adts_000.smt2 unknown 12.29 6.60 apollon123 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_4_no_adts_000.smt2 unknown 18.03 9.35 apollon076 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_1.sol_1_no_adts_000.smt2 unknown 24.11 12.30 apollon072 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_3.sol_4_no_adts_000.smt2 unknown 17.02 8.92 apollon133 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_7.sol_0_no_adts_000.smt2 unknown 15.47 7.95 apollon127 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond_middle.sol_5_no_adts_000.smt2 unknown 18.05 9.40 apollon051 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_3_no_adts_000.smt2 unknown 24.66 12.57 apollon076 solidity/no_adts/unit_tests/inheritance/functions_3.sol_11_no_adts_000.smt2 unknown 29.79 15.14 apollon103 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_run_all.sol_2_no_adts_000.smt2 unknown 19.01 9.85 apollon072 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_4.sol_0_no_adts_000.smt2 unknown 24.89 12.69 apollon020 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_2.sol_2_no_adts_000.smt2 unknown 17.42 9.18 apollon127 solidity/no_adts/unit_tests/inheritance/fallback.sol_1_no_adts_000.smt2 unknown 13.13 6.91 apollon072 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_9.sol_0_no_adts_000.smt2 unknown 14.17 7.50 apollon103 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_9.sol_3_no_adts_000.smt2 unknown 13.96 7.42 apollon127 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_5.sol_2_no_adts_000.smt2 unknown 20.22 10.40 apollon015 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_7.sol_2_no_adts_000.smt2 unknown 14.80 7.74 apollon133 solidity/no_adts/unit_tests/inheritance/implicit_only_constructor_hierarchy.sol_5_no_adts_000.smt2 unknown 20.91 10.88 apollon123 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_4_no_adts_000.smt2 unknown 23.81 12.16 apollon112 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_5_no_adts_000.smt2 unknown 24.84 12.66 apollon136 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_3.sol_1_no_adts_000.smt2 unknown 17.76 9.26 apollon015 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_2.sol_1_no_adts_000.smt2 unknown 18.23 9.46 apollon136 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond.sol_1_no_adts_000.smt2 unknown 13.92 7.23 apollon020 solidity/no_adts/unit_tests/inheritance/state_variables_2.sol_0_no_adts_000.smt2 true 20.21 10.57 apollon127 solidity/no_adts/unit_tests/inheritance/fallback.sol_4_no_adts_000.smt2 unknown 17.62 9.16 apollon103 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_inheritance_specifier_2.sol_0_no_adts_000.smt2 unknown 24.45 12.49 apollon112 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_2_no_adts_000.smt2 unknown 23.95 12.22 apollon020 solidity/no_adts/unit_tests/inheritance/functions_3.sol_0_no_adts_000.smt2 unknown 23.64 12.12 apollon072 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond_middle.sol_4_no_adts_000.smt2 unknown 14.64 7.55 apollon072 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_3.sol_1_no_adts_000.smt2 unknown 24.70 12.57 apollon076 solidity/no_adts/unit_tests/inheritance/implicit_constructor_hierarchy.sol_1_no_adts_000.smt2 unknown 15.69 8.19 apollon136 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_function_call.sol_1_no_adts_000.smt2 unknown 12.17 6.61 apollon112 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_5.sol_0_no_adts_000.smt2 unknown 17.86 9.20 apollon133 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_2.sol_0_no_adts_000.smt2 unknown 15.81 8.15 apollon103 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_6.sol_0_no_adts_000.smt2 unknown 19.11 10.05 apollon015 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_5.sol_1_no_adts_000.smt2 unknown 16.77 8.65 apollon072 solidity/no_adts/unit_tests/inheritance/receive_fallback.sol_4_no_adts_000.smt2 unknown 21.31 11.08 apollon133 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_5_no_adts_000.smt2 unknown 25.67 13.07 apollon051 solidity/no_adts/unit_tests/inheritance/functions_3.sol_1_no_adts_000.smt2 TIMEOUT 60.09 46.48 apollon123 solidity/no_adts/unit_tests/inheritance/receive_fallback.sol_1_no_adts_000.smt2 unknown 19.28 10.07 apollon112 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_9.sol_2_no_adts_000.smt2 unknown 24.36 12.46 apollon072 solidity/no_adts/unit_tests/inheritance/receive_fallback.sol_0_no_adts_000.smt2 unknown 15.82 8.26 apollon112 solidity/no_adts/unit_tests/inheritance/functions_3.sol_3_no_adts_000.smt2 unknown 27.07 13.77 apollon133 solidity/no_adts/unit_tests/inheritance/functions_1.sol_2_no_adts_000.smt2 TIMEOUT 60.08 45.98 apollon133 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond_middle.sol_1_no_adts_000.smt2 unknown 14.95 7.72 apollon020 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_7.sol_1_no_adts_000.smt2 unknown 16.78 8.78 apollon020 solidity/no_adts/unit_tests/inheritance/fallback_receive.sol_2_no_adts_000.smt2 unknown 18.89 9.87 apollon133 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_inheritance_specifier_1.sol_1_no_adts_000.smt2 unknown 25.28 12.93 apollon015 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_6_no_adts_000.smt2 unknown 25.68 13.06 apollon051 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_9.sol_1_no_adts_000.smt2 unknown 25.52 13.16 apollon133 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_9.sol_5_no_adts_000.smt2 unknown 26.50 13.47 apollon123 solidity/no_adts/unit_tests/inheritance/implicit_only_constructor_hierarchy.sol_1_no_adts_000.smt2 unknown 23.54 12.02 apollon133 solidity/no_adts/unit_tests/inheritance/overriden_function_static_call_parent.sol_0_no_adts_000.smt2 unknown 16.06 8.34 apollon123 solidity/no_adts/unit_tests/inheritance/implicit_constructor_hierarchy.sol_4_no_adts_000.smt2 unknown 17.73 9.17 apollon051 solidity/no_adts/unit_tests/inheritance/functions_3.sol_6_no_adts_000.smt2 unknown 18.34 9.58 apollon112 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_run_all_2.sol_2_no_adts_000.smt2 unknown 19.48 10.19 apollon076 solidity/no_adts/unit_tests/inheritance/functions_3.sol_8_no_adts_000.smt2 TIMEOUT 60.22 45.36 apollon127 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain.sol_0_no_adts_000.smt2 unknown 15.66 8.27 apollon020 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_5_no_adts_000.smt2 unknown 18.09 9.29 apollon072 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_9.sol_2_no_adts_000.smt2 unknown 13.82 7.27 apollon123 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_5.sol_0_no_adts_000.smt2 unknown 19.96 10.45 apollon015 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_0_no_adts_000.smt2 unknown 17.25 9.04 apollon051 solidity/no_adts/unit_tests/inheritance/implicit_constructor_hierarchy.sol_0_no_adts_000.smt2 unknown 16.99 8.80 apollon127 solidity/no_adts/unit_tests/inheritance/receive.sol_4_no_adts_000.smt2 unknown 13.90 7.23 apollon112 solidity/no_adts/unit_tests/inheritance/receive.sol_1_no_adts_000.smt2 unknown 13.27 6.95 apollon133 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_6.sol_0_no_adts_000.smt2 unknown 17.24 9.08 apollon103 solidity/no_adts/unit_tests/inheritance/fallback_receive.sol_4_no_adts_000.smt2 unknown 15.01 7.92 apollon133 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_inheritance_specifier_2.sol_1_no_adts_000.smt2 unknown 24.95 12.68 apollon127 solidity/no_adts/unit_tests/inheritance/functions_3.sol_2_no_adts_000.smt2 unknown 18.35 9.51 apollon020 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_3.sol_0_no_adts_000.smt2 unknown 17.36 9.09 apollon123 solidity/no_adts/unit_tests/inheritance/functions_3.sol_9_no_adts_000.smt2 unknown 26.26 13.36 apollon123 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_run_all.sol_0_no_adts_000.smt2 unknown 19.70 10.17 apollon072 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_alternate.sol_1_no_adts_000.smt2 unknown 13.34 7.05 apollon103 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_6.sol_2_no_adts_000.smt2 unknown 15.99 8.27 apollon046 solidity/no_adts/unit_tests/inheritance/implicit_constructor_hierarchy.sol_2_no_adts_000.smt2 unknown 26.09 13.23 apollon020 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_1_no_adts_000.smt2 unknown 37.25 18.88 apollon136 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_3.sol_0_no_adts_000.smt2 unknown 25.58 13.15 apollon136 solidity/no_adts/unit_tests/inheritance/fallback.sol_2_no_adts_000.smt2 TIMEOUT 60.10 46.18 apollon112 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_0_no_adts_000.smt2 unknown 18.49 9.53 apollon076 solidity/no_adts/unit_tests/inheritance/diamond_super_3.sol_1_no_adts_000.smt2 TIMEOUT 62.03 39.09 apollon020 solidity/no_adts/unit_tests/inheritance/implicit_only_constructor_hierarchy.sol_0_no_adts_000.smt2 unknown 16.27 8.37 apollon123 solidity/no_adts/unit_tests/inheritance/functions_2.sol_0_no_adts_000.smt2 unknown 13.81 7.31 apollon020 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_run_all_2.sol_1_no_adts_000.smt2 unknown 21.42 10.91 apollon103 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_1.sol_0_no_adts_000.smt2 unknown 16.11 8.37 apollon072 solidity/no_adts/unit_tests/inheritance/receive.sol_2_no_adts_000.smt2 unknown 18.08 9.62 apollon127 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_3.sol_2_no_adts_000.smt2 unknown 16.39 8.54 apollon136 solidity/no_adts/unit_tests/inheritance/functions_1.sol_1_no_adts_000.smt2 unknown 13.33 6.96 apollon015 solidity/no_adts/unit_tests/inheritance/receive_fallback.sol_2_no_adts_000.smt2 unknown 20.31 10.58 apollon136 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_4.sol_1_no_adts_000.smt2 unknown 25.40 12.95 apollon112 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_8.sol_2_no_adts_000.smt2 unknown 13.30 6.99 apollon123 solidity/no_adts/unit_tests/inheritance/constructor_uses_function_base.sol_0_no_adts_000.smt2 unknown 16.45 8.44 apollon123 solidity/no_adts/unit_tests/inheritance/receive.sol_0_no_adts_000.smt2 TIMEOUT 60.10 46.17 apollon136 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_3.sol_2_no_adts_000.smt2 unknown 25.02 12.87 apollon112 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond_middle.sol_2_no_adts_000.smt2 unknown 15.08 7.79 apollon112 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_2.sol_0_no_adts_000.smt2 unknown 18.68 9.76 apollon051 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_3_no_adts_000.smt2 unknown 18.65 9.79 apollon133 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_6_no_adts_000.smt2 unknown 18.63 9.74 apollon127 solidity/no_adts/unit_tests/inheritance/receive_fallback.sol_3_no_adts_000.smt2 unknown 19.91 10.20 apollon076 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_mixed_chain_with_params.sol_0_no_adts_000.smt2 solidity/no_adts/unit_tests/inheritance/fallback.sol_0_no_adts_000.smt2 unknown 12.73 6.68 apollon051 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_5.sol_5_no_adts_000.smt2 unknown 17.61 9.17 apollon020 solidity/no_adts/unit_tests/inheritance/implicit_only_constructor_hierarchy.sol_3_no_adts_000.smt2 unknown 22.36 11.56 apollon015 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_8.sol_1_no_adts_000.smt2 unknown 13.48 6.95 apollon103 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond_middle.sol_3_no_adts_000.smt2 unknown 15.41 8.05 apollon127 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_5.sol_4_no_adts_000.smt2 unknown 17.71 9.22 apollon123 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_7.sol_3_no_adts_000.smt2 unknown 15.05 7.86 apollon123 solidity/no_adts/unit_tests/operators/unary_add_mapping.sol_2_no_adts_000.smt2 true 30.45 17.93 apollon072 solidity/no_adts/unit_tests/operators/delete_array_index.sol_0_no_adts_000.smt2 TIMEOUT 60.54 43.87 apollon136 solidity/no_adts/unit_tests/operators/const_exp_1.sol_2_no_adts_000.smt2 true 26.98 15.08 apollon123 solidity/no_adts/unit_tests/operators/unary_operators_tuple_1.sol_1_no_adts_000.smt2 unknown 28.59 14.53 apollon051 solidity/no_adts/unit_tests/operators/index_access_for_bytes.sol_4_no_adts_000.smt2 true 31.41 17.94 apollon020 solidity/no_adts/unit_tests/operators/delete_function.sol_3_no_adts_000.smt2 TIMEOUT 60.87 32.95 apollon123 solidity/no_adts/unit_tests/operators/slices_3.sol_2_no_adts_000.smt2 unknown 34.10 17.57 apollon020 solidity/no_adts/unit_tests/operators/unary_add_array_push_1.sol_1_no_adts_000.smt2 true 30.27 18.10 apollon020 solidity/no_adts/unit_tests/operators/exp.sol_0_no_adts_000.smt2 unknown 11.06 5.84 apollon133 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_3_no_adts_000.smt2 true 47.31 29.88 apollon076 solidity/no_adts/unit_tests/operators/integer_new.sol_12_no_adts_000.smt2 TIMEOUT 61.04 40.04 apollon020 solidity/no_adts/unit_tests/operators/unary_sub.sol_3_no_adts_000.smt2 true 28.01 15.65 apollon072 solidity/no_adts/unit_tests/operators/index_access_for_bytes.sol_2_no_adts_000.smt2 unknown 13.07 6.77 apollon072 solidity/no_adts/unit_tests/operators/unary_add_overflows_correctly.sol_0_no_adts_000.smt2 true 20.45 10.75 apollon051 solidity/no_adts/unit_tests/operators/integer_new.sol_7_no_adts_000.smt2 true 59.04 38.13 apollon136 solidity/no_adts/unit_tests/operators/compound_add.sol_1_no_adts_000.smt2 unknown 12.16 6.44 apollon112 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_7_no_adts_000.smt2 true 47.46 30.29 apollon127 solidity/no_adts/unit_tests/operators/integer_new.sol_2_no_adts_000.smt2 TIMEOUT 60.89 41.37 apollon123 solidity/no_adts/unit_tests/operators/bytes_new.sol_2_no_adts_000.smt2 TIMEOUT 61.00 40.39 apollon136 solidity/no_adts/unit_tests/operators/slice_default_start.sol_2_no_adts_000.smt2 unknown 16.32 8.47 apollon136 solidity/no_adts/unit_tests/operators/index_access_side_effect.sol_2_no_adts_000.smt2 TIMEOUT 62.04 38.58 apollon103 solidity/no_adts/unit_tests/operators/function_call_named_arguments.sol_0_no_adts_000.smt2 unknown 19.43 10.15 apollon136 solidity/no_adts/unit_tests/operators/bytes_new.sol_22_no_adts_000.smt2 TIMEOUT 61.04 39.87 apollon133 solidity/no_adts/unit_tests/operators/const_exp_1.sol_0_no_adts_000.smt2 true 27.97 15.87 apollon136 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_4_no_adts_000.smt2 true 38.76 23.75 apollon103 solidity/no_adts/unit_tests/operators/compound_sub.sol_0_no_adts_000.smt2 unknown 12.84 6.93 apollon127 solidity/no_adts/unit_tests/operators/bytes_new.sol_0_no_adts_000.smt2 TIMEOUT 60.92 40.69 apollon051 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array.sol_4_no_adts_000.smt2 unknown 14.13 7.48 apollon051 solidity/no_adts/unit_tests/operators/constant_propagation_2.sol_0_no_adts_000.smt2 true 18.55 9.73 apollon051 solidity/no_adts/unit_tests/operators/compound_sub_mapping.sol_1_no_adts_000.smt2 true 28.64 16.42 apollon015 solidity/no_adts/unit_tests/operators/slices_3.sol_0_no_adts_000.smt2 unknown 15.98 8.37 apollon015 solidity/no_adts/unit_tests/operators/delete_array.sol_1_no_adts_000.smt2 unknown 35.57 18.59 apollon133 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_2_no_adts_000.smt2 unknown 17.62 9.15 apollon072 solidity/no_adts/unit_tests/operators/conditional_assignment_5.sol_0_no_adts_000.smt2 unknown 16.65 8.72 apollon015 solidity/no_adts/unit_tests/operators/unary_sub_mapping.sol_1_no_adts_000.smt2 true 31.26 17.06 apollon051 solidity/no_adts/unit_tests/operators/unary_add.sol_2_no_adts_000.smt2 true 28.27 15.61 apollon051 solidity/no_adts/unit_tests/operators/delete_function.sol_5_no_adts_000.smt2 TIMEOUT 60.98 40.89 apollon112 solidity/no_adts/unit_tests/operators/index_access_side_effect.sol_3_no_adts_000.smt2 unknown 16.24 8.36 apollon133 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_0_no_adts_000.smt2 TIMEOUT 60.95 40.28 apollon112 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_6_no_adts_000.smt2 TIMEOUT 60.86 41.67 apollon112 solidity/no_adts/unit_tests/operators/bytes_new.sol_3_no_adts_000.smt2 unknown 26.50 13.57 apollon136 solidity/no_adts/unit_tests/operators/bytes_new.sol_18_no_adts_000.smt2 TIMEOUT 60.86 41.01 apollon127 solidity/no_adts/unit_tests/operators/function_call_named_arguments.sol_1_no_adts_000.smt2 unknown 19.27 10.17 apollon103 solidity/no_adts/unit_tests/operators/bytes_new.sol_23_no_adts_000.smt2 TIMEOUT (true) 60.36 40.69 apollon072 solidity/no_adts/unit_tests/operators/slice_default_start.sol_5_no_adts_000.smt2 TIMEOUT 60.86 42.40 apollon112 solidity/no_adts/unit_tests/operators/bytes_new.sol_6_no_adts_000.smt2 TIMEOUT 60.97 40.58 apollon051 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_8_no_adts_000.smt2 true 40.86 24.71 apollon103 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_0_no_adts_000.smt2 TIMEOUT 60.61 43.06 apollon112 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_0_no_adts_000.smt2 true 38.98 24.34 apollon015 solidity/no_adts/unit_tests/operators/integer_new.sol_3_no_adts_000.smt2 TIMEOUT 61.09 40.19 apollon123 solidity/no_adts/unit_tests/operators/conditional_assignment_2.sol_0_no_adts_000.smt2 unknown 12.02 6.39 apollon133 solidity/no_adts/unit_tests/operators/bytes_new.sol_1_no_adts_000.smt2 TIMEOUT 60.98 40.27 apollon123 solidity/no_adts/unit_tests/operators/slice_bytes.sol_0_no_adts_000.smt2 TIMEOUT 60.14 46.37 apollon136 solidity/no_adts/unit_tests/operators/compound_sub_mapping.sol_0_no_adts_000.smt2 unknown 14.07 7.55 apollon136 solidity/no_adts/unit_tests/operators/slice.sol_1_no_adts_000.smt2 TIMEOUT 60.87 43.43 apollon136 solidity/no_adts/unit_tests/operators/constant_propagation_2.sol_2_no_adts_000.smt2 true 19.08 10.28 apollon133 solidity/no_adts/unit_tests/operators/bytes_new.sol_7_no_adts_000.smt2 TIMEOUT 60.92 40.63 apollon020 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array.sol_3_no_adts_000.smt2 true 40.56 26.40 apollon136 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_3_no_adts_000.smt2 TIMEOUT 60.85 41.05 apollon103 solidity/no_adts/unit_tests/operators/unary_operators_tuple_1.sol_0_no_adts_000.smt2 unknown 13.51 7.18 apollon072 solidity/no_adts/unit_tests/operators/unary_add_array.sol_7_no_adts_000.smt2 true 41.94 26.33 apollon076 solidity/no_adts/unit_tests/operators/integer_new.sol_5_no_adts_000.smt2 unknown 25.91 13.39 apollon020 solidity/no_adts/unit_tests/operators/integer_new.sol_18_no_adts_000.smt2 TIMEOUT 61.09 41.34 apollon127 solidity/no_adts/unit_tests/operators/integer_new.sol_17_no_adts_000.smt2 TIMEOUT 61.20 39.72 apollon103 solidity/no_adts/unit_tests/operators/compound_add_chain.sol_1_no_adts_000.smt2 true 20.28 10.62 apollon103 solidity/no_adts/unit_tests/operators/slice_default_start.sol_4_no_adts_000.smt2 TIMEOUT 60.97 42.31 apollon051 solidity/no_adts/unit_tests/operators/conditional_assignment_nested_always_true.sol_0_no_adts_000.smt2 true 17.86 9.42 apollon133 solidity/no_adts/unit_tests/operators/unary_add_array.sol_0_no_adts_000.smt2 true 41.55 25.90 apollon072 solidity/no_adts/unit_tests/operators/conditional_assignment_always_true.sol_0_no_adts_000.smt2 unknown 11.26 6.01 apollon072 solidity/no_adts/unit_tests/operators/bytes_new.sol_5_no_adts_000.smt2 TIMEOUT 61.48 40.24 apollon127 solidity/no_adts/unit_tests/operators/conditional_assignment_function_1.sol_0_no_adts_000.smt2 unknown 12.53 6.55 apollon076 solidity/no_adts/unit_tests/operators/unary_add_array.sol_2_no_adts_000.smt2 true 38.55 23.49 apollon112 solidity/no_adts/unit_tests/operators/integer_new.sol_16_no_adts_000.smt2 TIMEOUT 60.41 39.90 apollon133 solidity/no_adts/unit_tests/operators/unary_sub.sol_2_no_adts_000.smt2 true 30.34 17.06 apollon046 solidity/no_adts/unit_tests/operators/integer_new.sol_13_no_adts_000.smt2 TIMEOUT 61.06 39.65 apollon103 solidity/no_adts/unit_tests/operators/constant_propagation_2.sol_3_no_adts_000.smt2 true 18.50 9.71 apollon133 solidity/no_adts/unit_tests/operators/bytes_new.sol_10_no_adts_000.smt2 TIMEOUT 60.97 40.79 apollon133 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_2_no_adts_000.smt2 TIMEOUT 60.90 40.72 apollon020 solidity/no_adts/unit_tests/operators/bitwise_and_rational.sol_2_no_adts_000.smt2 true 26.97 14.86 apollon051 solidity/no_adts/unit_tests/operators/bytes_new.sol_11_no_adts_000.smt2 TIMEOUT 60.94 40.41 apollon072 solidity/no_adts/unit_tests/operators/index_access_for_string.sol_0_no_adts_000.smt2 true 19.59 10.23 apollon133 solidity/no_adts/unit_tests/operators/slice_default_end.sol_0_no_adts_000.smt2 unknown 44.14 22.93 apollon020 solidity/no_adts/unit_tests/operators/unary_add.sol_3_no_adts_000.smt2 true 29.08 16.46 apollon072 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_6_no_adts_000.smt2 true 40.17 25.81 apollon127 solidity/no_adts/unit_tests/operators/index_access_for_bytes.sol_0_no_adts_000.smt2 true 30.33 17.47 apollon127 solidity/no_adts/unit_tests/operators/slices_3.sol_1_no_adts_000.smt2 unknown 34.47 17.48 apollon020 solidity/no_adts/unit_tests/operators/index_access_for_bytes.sol_1_no_adts_000.smt2 true 28.41 15.77 apollon133 solidity/no_adts/unit_tests/operators/compound_add_mapping.sol_1_no_adts_000.smt2 unknown 13.27 6.89 apollon127 solidity/no_adts/unit_tests/operators/delete_function.sol_0_no_adts_000.smt2 unknown 19.65 10.20 apollon072 solidity/no_adts/unit_tests/operators/compound_add.sol_0_no_adts_000.smt2 true 28.76 16.05 apollon123 solidity/no_adts/unit_tests/operators/unary_add_array.sol_5_no_adts_000.smt2 TIMEOUT 61.44 41.13 apollon020 solidity/no_adts/unit_tests/operators/conditional_assignment_nested_unsafe.sol_0_no_adts_000.smt2 unknown 11.15 5.79 apollon072 solidity/no_adts/unit_tests/operators/unary_operators_tuple_2.sol_0_no_adts_000.smt2 unknown 14.11 7.39 apollon112 solidity/no_adts/unit_tests/operators/unary_add_overflows_correctly_struct.sol_0_no_adts_000.smt2 true 28.39 15.61 apollon133 solidity/no_adts/unit_tests/operators/bytes_new.sol_24_no_adts_000.smt2 TIMEOUT 60.94 40.59 apollon076 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_5_no_adts_000.smt2 TIMEOUT 60.49 43.16 apollon123 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_3_no_adts_000.smt2 true 43.58 27.82 apollon103 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_2_no_adts_000.smt2 true 37.88 23.87 apollon072 solidity/no_adts/unit_tests/operators/compound_add_chain.sol_0_no_adts_000.smt2 true 20.42 10.71 apollon020 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_4_no_adts_000.smt2 true 46.16 29.61 apollon020 solidity/no_adts/unit_tests/operators/integer_new.sol_8_no_adts_000.smt2 TIMEOUT 62.07 34.38 apollon123 solidity/no_adts/unit_tests/operators/slice_default_end.sol_3_no_adts_000.smt2 TIMEOUT 60.76 42.08 apollon020 solidity/no_adts/unit_tests/operators/index_access_for_string.sol_3_no_adts_000.smt2 true 21.01 10.97 apollon015 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_1_no_adts_000.smt2 TIMEOUT 60.69 42.37 apollon112 solidity/no_adts/unit_tests/operators/integer_new.sol_0_no_adts_000.smt2 TIMEOUT 60.91 40.73 apollon015 solidity/no_adts/unit_tests/operators/unary_add.sol_1_no_adts_000.smt2 true 38.47 23.73 apollon051 solidity/no_adts/unit_tests/operators/integer_new.sol_20_no_adts_000.smt2 TIMEOUT 61.13 39.25 apollon136 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_1_no_adts_000.smt2 true 42.23 25.00 apollon136 solidity/no_adts/unit_tests/operators/index_access_side_effect.sol_1_no_adts_000.smt2 TIMEOUT 62.03 38.20 apollon103 solidity/no_adts/unit_tests/operators/index_access_side_effect.sol_0_no_adts_000.smt2 TIMEOUT 60.94 36.86 apollon127 solidity/no_adts/unit_tests/operators/slice.sol_2_no_adts_000.smt2 unknown 14.82 7.68 apollon136 solidity/no_adts/unit_tests/operators/bitwise_and_rational.sol_0_no_adts_000.smt2 unknown 11.73 6.27 apollon076 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_4_no_adts_000.smt2 TIMEOUT 60.76 41.93 apollon133 solidity/no_adts/unit_tests/operators/slice.sol_5_no_adts_000.smt2 TIMEOUT 60.55 44.27 apollon112 solidity/no_adts/unit_tests/operators/unary_add_array_push_1.sol_4_no_adts_000.smt2 true 30.19 17.84 apollon051 solidity/no_adts/unit_tests/operators/unary_add_array.sol_4_no_adts_000.smt2 true 40.28 24.22 apollon051 solidity/no_adts/unit_tests/operators/unary_operators_tuple_2.sol_1_no_adts_000.smt2 unknown 30.73 15.64 apollon015 solidity/no_adts/unit_tests/operators/integer_new.sol_22_no_adts_000.smt2 TIMEOUT 60.97 40.62 apollon103 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_8_no_adts_000.smt2 unknown 19.34 10.01 apollon046 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_5_no_adts_000.smt2 true 38.07 22.72 apollon072 solidity/no_adts/unit_tests/operators/slice.sol_3_no_adts_000.smt2 TIMEOUT 60.73 43.19 apollon123 solidity/no_adts/unit_tests/operators/delete_array_index.sol_2_no_adts_000.smt2 unknown 35.76 18.24 apollon136 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_0_no_adts_000.smt2 true 50.37 32.11 apollon123 solidity/no_adts/unit_tests/operators/integer_new.sol_4_no_adts_000.smt2 TIMEOUT 60.79 41.40 apollon112 solidity/no_adts/unit_tests/operators/integer_new.sol_1_no_adts_000.smt2 TIMEOUT 60.27 39.07 apollon051 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_1_no_adts_000.smt2 true 51.14 32.72 apollon015 solidity/no_adts/unit_tests/operators/index_access_for_bytes.sol_3_no_adts_000.smt2 true 29.20 16.60 apollon133 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_6_no_adts_000.smt2 unknown 19.26 10.01 apollon072 solidity/no_adts/unit_tests/operators/slice_default_end.sol_2_no_adts_000.smt2 TIMEOUT 60.80 42.16 apollon127 solidity/no_adts/unit_tests/operators/bytes_new.sol_21_no_adts_000.smt2 TIMEOUT 61.42 33.88 apollon015 solidity/no_adts/unit_tests/operators/unary_add_mapping.sol_0_no_adts_000.smt2 true 29.74 16.74 apollon072 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_4_no_adts_000.smt2 unknown 19.96 10.24 apollon015 solidity/no_adts/unit_tests/operators/integer_new.sol_24_no_adts_000.smt2 TIMEOUT 60.89 41.18 apollon133 solidity/no_adts/unit_tests/operators/unary_add_mapping.sol_1_no_adts_000.smt2 unknown 14.37 7.47 apollon051 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_9_no_adts_000.smt2 true 59.06 41.73 apollon015 solidity/no_adts/unit_tests/operators/constant_propagation_1.sol_2_no_adts_000.smt2 true 27.76 15.55 apollon103 solidity/no_adts/unit_tests/operators/slice.sol_4_no_adts_000.smt2 TIMEOUT 61.30 43.79 apollon133 solidity/no_adts/unit_tests/operators/bytes_new.sol_8_no_adts_000.smt2 TIMEOUT 60.96 40.83 apollon133 solidity/no_adts/unit_tests/operators/slice_default_start.sol_1_no_adts_000.smt2 TIMEOUT 60.89 43.26 apollon133 solidity/no_adts/unit_tests/operators/slice_default_start.sol_0_no_adts_000.smt2 TIMEOUT 60.65 43.56 apollon051 solidity/no_adts/unit_tests/operators/unary_add_array_push_1.sol_2_no_adts_000.smt2 true 27.82 16.28 apollon076 solidity/no_adts/unit_tests/operators/integer_new.sol_23_no_adts_000.smt2 TIMEOUT 61.06 40.26 apollon136 solidity/no_adts/unit_tests/operators/constant_propagation_1.sol_1_no_adts_000.smt2 unknown 12.58 6.67 apollon103 solidity/no_adts/unit_tests/operators/delete_function.sol_4_no_adts_000.smt2 TIMEOUT 61.09 41.20 apollon112 solidity/no_adts/unit_tests/operators/compound_add_mapping.sol_0_no_adts_000.smt2 true 28.64 16.73 apollon112 solidity/no_adts/unit_tests/operators/unary_add_array_push_1.sol_3_no_adts_000.smt2 true 28.27 16.26 apollon112 solidity/no_adts/unit_tests/operators/integer_new.sol_9_no_adts_000.smt2 TIMEOUT 61.06 40.51 apollon133 solidity/no_adts/unit_tests/operators/unary_add_array.sol_8_no_adts_000.smt2 unknown 19.37 10.17 apollon015 solidity/no_adts/unit_tests/operators/delete_array.sol_0_no_adts_000.smt2 unknown 33.62 17.48 apollon076 solidity/no_adts/unit_tests/operators/index_access_for_string.sol_2_no_adts_000.smt2 true 20.07 10.59 apollon136 solidity/no_adts/unit_tests/operators/integer_new.sol_6_no_adts_000.smt2 TIMEOUT 60.38 38.93 apollon103 solidity/no_adts/unit_tests/operators/unary_operators_tuple_3.sol_1_no_adts_000.smt2 unknown 13.39 7.12 apollon015 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_5_no_adts_000.smt2 TIMEOUT 60.98 40.07 apollon123 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array.sol_1_no_adts_000.smt2 true 39.46 25.35 apollon051 solidity/no_adts/unit_tests/operators/unary_add_array.sol_1_no_adts_000.smt2 true 40.96 25.92 apollon133 solidity/no_adts/unit_tests/operators/slice_default_end.sol_7_no_adts_000.smt2 TIMEOUT 60.57 43.10 apollon076 solidity/no_adts/unit_tests/operators/constant_propagation_2.sol_1_no_adts_000.smt2 true 19.83 10.46 apollon015 solidity/no_adts/unit_tests/operators/slices_3.sol_3_no_adts_000.smt2 unknown 34.56 17.51 apollon112 solidity/no_adts/unit_tests/operators/delete_array_index.sol_1_no_adts_000.smt2 TIMEOUT 60.37 44.37 apollon112 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_5_no_adts_000.smt2 TIMEOUT 60.87 42.36 apollon051 solidity/no_adts/unit_tests/operators/bytes_new.sol_16_no_adts_000.smt2 TIMEOUT 60.83 40.94 apollon103 solidity/no_adts/unit_tests/operators/bytes_new.sol_14_no_adts_000.smt2 TIMEOUT 60.95 41.15 apollon127 solidity/no_adts/unit_tests/operators/slice_default_start.sol_3_no_adts_000.smt2 TIMEOUT 62.04 39.52 apollon123 solidity/no_adts/unit_tests/operators/bytes_new.sol_20_no_adts_000.smt2 TIMEOUT 60.93 40.43 apollon133 solidity/no_adts/unit_tests/operators/bytes_new.sol_12_no_adts_000.smt2 TIMEOUT 60.92 40.56 apollon103 solidity/no_adts/unit_tests/operators/index_access_for_string.sol_4_no_adts_000.smt2 true 20.10 10.51 apollon051 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_3_no_adts_000.smt2 true 40.28 24.73 apollon015 solidity/no_adts/unit_tests/operators/slice_default_end.sol_4_no_adts_000.smt2 TIMEOUT 60.83 41.79 apollon112 solidity/no_adts/unit_tests/operators/constant_propagation_1.sol_0_no_adts_000.smt2 true 27.79 15.24 apollon112 solidity/no_adts/unit_tests/operators/bytes_new.sol_9_no_adts_000.smt2 TIMEOUT 61.04 39.86 apollon020 solidity/no_adts/unit_tests/operators/slice.sol_0_no_adts_000.smt2 TIMEOUT 60.58 43.47 apollon020 solidity/no_adts/unit_tests/operators/unary_add_array.sol_3_no_adts_000.smt2 true 41.86 25.71 apollon072 solidity/no_adts/unit_tests/operators/slice_default_end.sol_8_no_adts_000.smt2 TIMEOUT 60.80 42.67 apollon020 solidity/no_adts/unit_tests/operators/unary_add_mapping.sol_3_no_adts_000.smt2 true 31.19 18.01 apollon123 solidity/no_adts/unit_tests/operators/compound_add_chain.sol_2_no_adts_000.smt2 true 18.74 9.82 apollon076 solidity/no_adts/unit_tests/operators/delete_function.sol_2_no_adts_000.smt2 TIMEOUT 60.99 41.43 apollon103 solidity/no_adts/unit_tests/operators/bytes_new.sol_13_no_adts_000.smt2 TIMEOUT 60.86 40.99 apollon123 solidity/no_adts/unit_tests/operators/bytes_new.sol_15_no_adts_000.smt2 TIMEOUT 60.95 40.91 apollon123 solidity/no_adts/unit_tests/operators/function_call_named_arguments.sol_3_no_adts_000.smt2 unknown 19.72 10.19 apollon051 solidity/no_adts/unit_tests/operators/conditional_assignment_statevar_1.sol_0_no_adts_000.smt2 true 24.80 13.17 apollon123 solidity/no_adts/unit_tests/operators/integer_new.sol_10_no_adts_000.smt2 TIMEOUT 61.01 40.14 apollon112 solidity/no_adts/unit_tests/operators/integer_new.sol_14_no_adts_000.smt2 TIMEOUT 60.16 39.00 apollon127 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_6_no_adts_000.smt2 true 39.27 23.58 apollon076 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_2_no_adts_000.smt2 TIMEOUT 60.66 42.70 apollon020 solidity/no_adts/unit_tests/operators/delete_struct.sol_0_no_adts_000.smt2 unknown 12.73 6.69 apollon046 solidity/no_adts/unit_tests/operators/delete_function.sol_1_no_adts_000.smt2 TIMEOUT 61.03 41.10 apollon020 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_4_no_adts_000.smt2 true 37.50 23.54 apollon072 solidity/no_adts/unit_tests/operators/compound_sub.sol_1_no_adts_000.smt2 true 30.66 17.14 apollon015 solidity/no_adts/unit_tests/operators/conditional_assignment_1.sol_0_no_adts_000.smt2 unknown 11.99 6.37 apollon136 solidity/no_adts/unit_tests/operators/bytes_new.sol_17_no_adts_000.smt2 TIMEOUT 60.93 41.45 apollon051 solidity/no_adts/unit_tests/operators/unary_operators_tuple_3.sol_0_no_adts_000.smt2 unknown 25.96 13.21 apollon123 solidity/no_adts/unit_tests/operators/integer_new.sol_19_no_adts_000.smt2 TIMEOUT 60.68 42.00 apollon076 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_1_no_adts_000.smt2 unknown 16.91 8.91 apollon112 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array.sol_0_no_adts_000.smt2 unknown 36.40 18.90 apollon076 solidity/no_adts/unit_tests/operators/integer_new.sol_11_no_adts_000.smt2 TIMEOUT 60.82 41.62 apollon076 solidity/no_adts/unit_tests/operators/bytes_new.sol_19_no_adts_000.smt2 TIMEOUT 61.75 40.76 apollon112 solidity/no_adts/unit_tests/operators/unary_sub_mapping.sol_2_no_adts_000.smt2 true 29.73 17.43 apollon051 solidity/no_adts/unit_tests/operators/unary_sub_mapping.sol_0_no_adts_000.smt2 unknown 15.04 7.94 apollon133 solidity/no_adts/unit_tests/operators/index_access_for_string.sol_1_no_adts_000.smt2 true 20.35 10.65 apollon103 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_7_no_adts_000.smt2 true 43.96 27.54 apollon015 solidity/no_adts/unit_tests/operators/slices_3.sol_4_no_adts_000.smt2 unknown 35.11 17.87 apollon133 solidity/no_adts/unit_tests/operators/bitwise_rational_1.sol_0_no_adts_000.smt2 true 18.09 9.52 apollon133 solidity/no_adts/unit_tests/operators/unary_sub_mapping.sol_3_no_adts_000.smt2 true 29.27 16.14 apollon136 solidity/no_adts/unit_tests/operators/conditional_assignment_4.sol_0_no_adts_000.smt2 unknown 16.67 8.76 apollon123 solidity/no_adts/unit_tests/operators/unary_add_array_push_1.sol_0_no_adts_000.smt2 unknown 14.02 7.52 apollon020 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_2.sol_0_no_adts_000.smt2 true 17.58 9.26 apollon133 solidity/no_adts/unit_tests/operators/unary_add_array.sol_6_no_adts_000.smt2 true 42.78 27.39 apollon051 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_6_no_adts_000.smt2 TIMEOUT 60.66 41.94 apollon015 solidity/no_adts/unit_tests/operators/unary_add.sol_0_no_adts_000.smt2 unknown 13.25 6.94 apollon051 solidity/no_adts/unit_tests/operators/integer_new.sol_15_no_adts_000.smt2 TIMEOUT 61.08 40.25 apollon051 solidity/no_adts/unit_tests/operators/function_call_named_arguments.sol_2_no_adts_000.smt2 unknown 18.91 9.83 apollon072 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_0_no_adts_000.smt2 true 40.05 24.50 apollon136 solidity/no_adts/unit_tests/operators/delete_array.sol_2_no_adts_000.smt2 unknown 13.70 7.08 apollon072 solidity/no_adts/unit_tests/operators/bitwise_and_rational.sol_3_no_adts_000.smt2 true 28.71 16.00 apollon046 solidity/no_adts/unit_tests/operators/slice_default_end.sol_1_no_adts_000.smt2 TIMEOUT 61.11 41.83 apollon112 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_3_no_adts_000.smt2 TIMEOUT 60.58 43.34 apollon133 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array.sol_2_no_adts_000.smt2 true 43.97 29.41 apollon015 solidity/no_adts/unit_tests/operators/delete_array_index.sol_3_no_adts_000.smt2 unknown 15.51 8.17 apollon020 solidity/no_adts/unit_tests/operators/integer_new.sol_21_no_adts_000.smt2 TIMEOUT 61.02 40.10 apollon123 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_5_no_adts_000.smt2 true 41.03 25.31 apollon103 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_1_no_adts_000.smt2 TIMEOUT 60.68 43.83 apollon076 solidity/no_adts/unit_tests/operators/bytes_new.sol_4_no_adts_000.smt2 TIMEOUT 60.94 40.81 apollon127 solidity/no_adts/unit_tests/operators/conditional_assignment_3.sol_0_no_adts_000.smt2 unknown 12.16 6.38 apollon076 solidity/no_adts/unit_tests/operators/conditional_assignment_6.sol_0_no_adts_000.smt2 unknown 14.78 7.99 apollon072 solidity/no_adts/unit_tests/operators/bitwise_and_rational.sol_1_no_adts_000.smt2 true 25.97 14.38 apollon076 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_2_no_adts_000.smt2 unknown 46.84 24.72 apollon103 solidity/no_adts/unit_tests/operators/const_exp_1.sol_1_no_adts_000.smt2 unknown 12.42 6.51 apollon051 solidity/no_adts/unit_tests/operators/slice_default_end.sol_6_no_adts_000.smt2 unknown 18.23 9.43 apollon051 solidity/no_adts/unit_tests/operators/unary_sub.sol_1_no_adts_000.smt2 true 32.51 18.21 apollon103 solidity/no_adts/unit_tests/operators/bitwise_rational_1.sol_1_no_adts_000.smt2 true 17.54 9.19 apollon076 solidity/no_adts/unit_tests/operators/unary_sub.sol_0_no_adts_000.smt2 unknown 13.22 6.95 apollon112 solidity/no_adts/unit_tests/operators/slice_default_end.sol_5_no_adts_000.smt2 TIMEOUT 61.12 40.85 apollon076 solidity/no_adts/unit_tests/function_selector/selector_3.sol_0_no_adts_000.smt2 TIMEOUT 61.75 38.71 apollon112 solidity/no_adts/unit_tests/function_selector/function_types_sig.sol_2_no_adts_000.smt2 unknown 38.23 19.49 apollon020 solidity/no_adts/unit_tests/function_selector/selector_2.sol_0_no_adts_000.smt2 unknown 12.41 6.55 apollon136 solidity/no_adts/unit_tests/function_selector/selector_3.sol_1_no_adts_000.smt2 unknown 12.18 6.51 apollon112 solidity/no_adts/unit_tests/function_selector/function_types_sig.sol_3_no_adts_000.smt2 unknown 38.04 19.27 apollon123 solidity/no_adts/unit_tests/function_selector/selector.sol_0_no_adts_000.smt2 true 30.45 18.45 apollon072 solidity/no_adts/unit_tests/function_selector/function_types_sig.sol_0_no_adts_000.smt2 unknown 40.05 20.39 apollon015 solidity/no_adts/unit_tests/function_selector/function_types_sig.sol_1_no_adts_000.smt2 unknown 19.28 10.08 apollon072 solidity/no_adts/unit_tests/overflow/underflow_sub_signed.sol_1_no_adts_000.smt2 true 20.47 10.70 apollon136 solidity/no_adts/unit_tests/overflow/overflow_sum_signed.sol_1_no_adts_000.smt2 true 18.86 9.87 apollon072 solidity/no_adts/unit_tests/overflow/overflow_sum.sol_1_no_adts_000.smt2 true 10.31 5.62 apollon123 solidity/no_adts/unit_tests/overflow/underflow_sub.sol_1_no_adts_000.smt2 true 19.61 10.28 apollon051 solidity/no_adts/unit_tests/overflow/overflow_sum_signed.sol_2_no_adts_000.smt2 true 20.09 10.52 apollon136 solidity/no_adts/unit_tests/overflow/underflow_sub.sol_0_no_adts_000.smt2 true 18.79 9.85 apollon127 solidity/no_adts/unit_tests/overflow/underflow_sub_signed.sol_2_no_adts_000.smt2 true 19.49 10.18 apollon112 solidity/no_adts/unit_tests/overflow/underflow_sub_signed.sol_0_no_adts_000.smt2 true 19.13 10.07 apollon127 solidity/no_adts/unit_tests/overflow/overflow_sum.sol_0_no_adts_000.smt2 true 10.23 5.59 apollon046 solidity/no_adts/unit_tests/overflow/overflow_sum_signed.sol_0_no_adts_000.smt2 true 20.17 10.56 apollon015 solidity/no_adts/unit_tests/modifiers/modifier_overriding_3.sol_0_no_adts_000.smt2 unknown 12.57 6.56 apollon020 solidity/no_adts/unit_tests/modifiers/modifier_overriding_1.sol_1_no_adts_000.smt2 unknown 49.15 26.58 apollon076 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_10_no_adts_000.smt2 unknown 24.95 12.91 apollon133 solidity/no_adts/unit_tests/modifiers/modifier_code_after_placeholder.sol_1_no_adts_000.smt2 unknown 13.31 6.92 apollon133 solidity/no_adts/unit_tests/modifiers/modifier_overriding_1.sol_0_no_adts_000.smt2 unknown 14.75 7.69 apollon136 solidity/no_adts/unit_tests/modifiers/modifier_parameter_copy.sol_0_no_adts_000.smt2 unknown 11.89 6.59 apollon136 solidity/no_adts/unit_tests/modifiers/modifier_parameters.sol_0_no_adts_000.smt2 true 39.76 25.84 apollon103 solidity/no_adts/unit_tests/modifiers/modifier_two_invocations.sol_1_no_adts_000.smt2 unknown 34.42 17.56 apollon046 solidity/no_adts/unit_tests/modifiers/modifier_virtual_static_call_2.sol_0_no_adts_000.smt2 unknown 26.25 13.37 apollon112 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_1_no_adts_000.smt2 unknown 25.61 13.09 apollon123 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_4_no_adts_000.smt2 unknown 24.12 12.50 apollon072 solidity/no_adts/unit_tests/modifiers/modifier_multi.sol_1_no_adts_000.smt2 unknown 14.02 7.73 apollon123 solidity/no_adts/unit_tests/modifiers/modifier_two_invocations_2.sol_0_no_adts_000.smt2 unknown 13.06 7.16 apollon103 solidity/no_adts/unit_tests/modifiers/modifier_simple.sol_0_no_adts_000.smt2 true 19.96 10.52 apollon051 solidity/no_adts/unit_tests/modifiers/modifier_two_placeholders.sol_2_no_adts_000.smt2 unknown 14.19 7.56 apollon112 solidity/no_adts/unit_tests/modifiers/modifier_multi_parameters.sol_0_no_adts_000.smt2 unknown 12.10 6.44 apollon072 solidity/no_adts/unit_tests/modifiers/modifier_multi_functions.sol_1_no_adts_000.smt2 unknown 30.14 15.32 apollon136 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_6_no_adts_000.smt2 unknown 24.42 12.49 apollon123 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_0_no_adts_000.smt2 unknown 24.93 12.79 apollon046 solidity/no_adts/unit_tests/modifiers/modifier_virtual_static_call_2.sol_1_no_adts_000.smt2 unknown 11.97 6.46 apollon076 solidity/no_adts/unit_tests/modifiers/modifier_two_placeholders.sol_0_no_adts_000.smt2 unknown 40.97 22.22 apollon112 solidity/no_adts/unit_tests/modifiers/modifier_multi_functions.sol_0_no_adts_000.smt2 unknown 14.63 7.63 apollon136 solidity/no_adts/unit_tests/modifiers/modifier_same_local_variables.sol_0_no_adts_000.smt2 unknown 10.88 5.74 apollon072 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_12_no_adts_000.smt2 unknown 24.63 12.75 apollon112 solidity/no_adts/unit_tests/modifiers/modifier_overriding_3.sol_1_no_adts_000.smt2 unknown 13.06 6.80 apollon123 solidity/no_adts/unit_tests/modifiers/modifier_overriding_2.sol_1_no_adts_000.smt2 unknown 17.64 9.19 apollon015 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_14_no_adts_000.smt2 unknown 25.13 12.94 apollon103 solidity/no_adts/unit_tests/modifiers/modifier_two_placeholders.sol_1_no_adts_000.smt2 unknown 39.95 21.65 apollon112 solidity/no_adts/unit_tests/modifiers/modifier_control_flow.sol_1_no_adts_000.smt2 unknown 26.87 13.68 apollon015 solidity/no_adts/unit_tests/modifiers/modifier_two_invocations_2.sol_1_no_adts_000.smt2 unknown 33.79 17.27 apollon112 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_7_no_adts_000.smt2 unknown 24.41 12.39 apollon015 solidity/no_adts/unit_tests/modifiers/modifier_inside_branch_assignment.sol_0_no_adts_000.smt2 unknown 16.74 8.59 apollon015 solidity/no_adts/unit_tests/modifiers/modifier_multi.sol_0_no_adts_000.smt2 unknown 43.77 23.38 apollon020 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_13_no_adts_000.smt2 unknown 25.23 13.06 apollon015 solidity/no_adts/unit_tests/modifiers/modifier_overriding_2.sol_0_no_adts_000.smt2 unknown 16.09 8.53 apollon103 solidity/no_adts/unit_tests/modifiers/modifier_overflow.sol_0_no_adts_000.smt2 true 20.37 10.65 apollon112 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_15_no_adts_000.smt2 unknown 23.93 12.29 apollon051 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_2_no_adts_000.smt2 unknown 26.23 13.35 apollon127 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_5_no_adts_000.smt2 unknown 24.31 12.46 apollon112 solidity/no_adts/unit_tests/modifiers/modifier_inside_branch_assignment_multi_branches.sol_0_no_adts_000.smt2 unknown 35.39 17.99 apollon123 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_11_no_adts_000.smt2 unknown 24.84 12.86 apollon133 solidity/no_adts/unit_tests/modifiers/modifier_code_after_placeholder.sol_0_no_adts_000.smt2 TIMEOUT 60.70 44.24 apollon020 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_3_no_adts_000.smt2 unknown 24.12 12.46 apollon072 solidity/no_adts/unit_tests/modifiers/modifier_inside_branch_assignment_multi_branches.sol_1_no_adts_000.smt2 unknown 19.37 10.10 apollon136 solidity/no_adts/unit_tests/modifiers/modifier_two_invocations.sol_0_no_adts_000.smt2 unknown 12.38 6.51 apollon072 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_8_no_adts_000.smt2 unknown 24.58 12.96 apollon127 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_9_no_adts_000.smt2 unknown 25.79 13.09 apollon112 solidity/no_adts/unit_tests/modifiers/modifier_control_flow.sol_0_no_adts_000.smt2 unknown 12.48 6.59 apollon127 solidity/no_adts/unit_tests/modifiers/modifier_parameters.sol_1_no_adts_000.smt2 true 33.05 19.89 apollon020 solidity/no_adts/unit_tests/modifiers/modifier_return.sol_0_no_adts_000.smt2 true 8.82 4.87 apollon076 solidity/no_adts/unit_tests/modifiers/modifier_inside_branch_assignment_branch.sol_0_no_adts_000.smt2 unknown 16.75 8.63 apollon127 solidity/no_adts/unit_tests/modifiers/modifier_multi_parameters.sol_1_no_adts_000.smt2 unknown 12.61 6.54 apollon123 ultimate/Lia-NonLinArrays/33_double_lock_p1_vs_000.smt2 unknown 42.96 21.80 apollon123 ultimate/Lia-NonLinArrays/36_stack_cas_p0_vs_concur_000.smt2 TIMEOUT 61.35 31.01 apollon020 ultimate/Lia-NonLinArrays/47_ticket_lock_hc_backoff_vs_000.smt2 unknown 21.25 11.15 apollon015 ultimate/Lia-NonLinArrays/48_ticket_lock_low_contention_vs_000.smt2 unknown 17.64 9.10 apollon020 ultimate/Lia-NonLinArrays/37_stack_lock_p0_vs_concur_000.smt2 unknown 46.68 23.61 apollon123 ultimate/Lia-NonLinArrays/13_unverif_000.smt2 unknown 23.64 12.09 apollon015 ultimate/Lia-NonLinArrays/05_tas_000.smt2 unknown 23.86 12.45 apollon103 ultimate/Lia-NonLinArrays/14_spin2003_000.smt2 unknown 21.40 10.90 apollon072 ultimate/Lia-NonLinArrays/33_double_lock_p1_vs_simplified_000.smt2 TIMEOUT 60.54 42.96 apollon072 ultimate/Lia-NonLinArrays/11_fmaxsymopt_000.smt2 unknown 47.62 24.23 apollon051 ultimate/Lia-NonLinArrays/10_fmaxsym_cas_000.smt2 unknown 59.67 30.25 apollon133 ultimate/Lia-NonLinArrays/46_monabsex2_vs_000.smt2 unknown 20.49 10.48 apollon051 ultimate/Lia-NonLinArrays/38_rand_cas_vs_concur_000.smt2 unknown 56.84 28.84 apollon112 ultimate/Lia-NonLinArrays/12_fmaxsymopt_cas_000.smt2 unknown 59.89 30.54 apollon072 ultimate/Lia-NonLinArrays/06_ticket_000.smt2 unknown 44.31 22.48 apollon046 ultimate/Lia-NonLinArrays/42_FreeBSD_rdma_addr_sliced_000.smt2 unknown 35.80 18.43 apollon133 ultimate/Lia-NonLinArrays/29_conditionals_vs_000.smt2 unknown 30.66 15.59 apollon112 ultimate/Lia-NonLinArrays/44_Solaris_space_map_sliced_000.smt2 unknown 51.33 26.62 apollon076 ultimate/Lia-NonLinArrays/09_fmaxsym_000.smt2 unknown 42.08 21.32 apollon103 ultimate/Lia-NonLinArrays/31_simple_loop5_vs_000.smt2 unknown 30.35 15.43 apollon072 ultimate/Lia-NonLinArrays/39_rand_lock_p0_vs_000.smt2 unknown 47.56 24.06 apollon015 ultimate/Lia-NonLinArrays/45_monabsex1_vs_000.smt2 unknown 22.59 11.57 apollon020 ultimate/Lia-NonLinArrays/05_tas_simplified_000.smt2 TIMEOUT 60.36 31.01 apollon076 ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 992.70 - Statistics: 1703 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1407