BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/full-runs/theta.xml name: theta run sets: CHC-COMP2025_check-sat.LIA-Arrays date: Tue, 2025-05-06 14:30:11 CEST tool: ThetaCHC 6.13.2 tool executable: ./chc options: resource limits: - memory: 30000.0 MB - time: 1800 s - cpu cores: 8 hardware requirements: - cpu model: Intel Xeon E3-1230 v5 @ 3.40 GHz - cpu cores: 8 - memory: 30000.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.42 4.08 apollon014 solidity/no_adts/unit_tests/file_level/new_operator.sol_0_no_adts_000.smt2 unknown 11.94 3.55 apollon014 solidity/no_adts/unit_tests/file_level/overloads.sol_0_no_adts_000.smt2 unknown 15.54 4.26 apollon048 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_6_no_adts_000.smt2 unknown 96.72 61.63 apollon160 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_2_no_adts_000.smt2 unknown 104.81 66.69 apollon012 solidity/no_adts/unit_tests/file_level/free_namesake_contract_function.sol_0_no_adts_000.smt2 unknown 12.58 3.81 apollon077 solidity/no_adts/unit_tests/file_level/overloads.sol_1_no_adts_000.smt2 unknown 13.80 4.05 apollon066 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_3_no_adts_000.smt2 unknown 101.92 62.36 apollon145 solidity/no_adts/unit_tests/file_level/enum.sol_0_no_adts_000.smt2 unknown 16.17 4.26 apollon164 solidity/no_adts/unit_tests/file_level/libraries_from_free.sol_0_no_adts_000.smt2 unknown 13.73 3.88 apollon154 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_5_no_adts_000.smt2 unknown 22.25 6.05 apollon096 solidity/no_adts/unit_tests/file_level/libraries_from_free.sol_1_no_adts_000.smt2 unknown 32.14 10.43 apollon019 solidity/no_adts/unit_tests/file_level/easy.sol_0_no_adts_000.smt2 unknown 15.21 4.09 apollon134 solidity/no_adts/unit_tests/file_level/easy.sol_1_no_adts_000.smt2 unknown 14.51 4.06 apollon079 solidity/no_adts/unit_tests/file_level/free_function_1.sol_0_no_adts_000.smt2 unknown 13.22 3.95 apollon049 solidity/no_adts/unit_tests/file_level/free_namesake_contract_function.sol_1_no_adts_000.smt2 unknown 25.88 7.84 apollon146 solidity/no_adts/unit_tests/file_level/enum.sol_1_no_adts_000.smt2 unknown 15.43 4.12 apollon118 solidity/no_adts/unit_tests/file_level/enum.sol_2_no_adts_000.smt2 unknown 15.93 4.23 apollon143 solidity/no_adts/unit_tests/file_level/constant_easy.sol_0_no_adts_000.smt2 unknown 10.27 3.06 apollon167 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_0_no_adts_000.smt2 unknown 95.81 60.24 apollon134 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_7_no_adts_000.smt2 unknown 99.16 63.72 apollon089 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_1_no_adts_000.smt2 unknown 97.45 61.51 apollon061 solidity/no_adts/unit_tests/file_level/free_runtimecode.sol_0_no_adts_000.smt2 unknown 12.22 3.75 apollon014 solidity/no_adts/unit_tests/file_level/constant_string_at_file_level.sol_4_no_adts_000.smt2 unknown 53.14 21.11 apollon155 solidity/no_adts/unit_tests/natspec/safe_assert_false_positive_pure.sol_1_no_adts_000.smt2 unknown 61.72 34.48 apollon059 solidity/no_adts/unit_tests/natspec/safe_assert_false_positive_pure.sol_3_no_adts_000.smt2 unknown 15.17 4.16 apollon049 solidity/no_adts/unit_tests/natspec/unsafe_assert_remains_unsafe.sol_0_no_adts_000.smt2 unknown 33.87 11.01 apollon056 solidity/no_adts/unit_tests/natspec/safe_assert_false_positive.sol_0_no_adts_000.smt2 unknown 14.39 4.08 apollon014 solidity/no_adts/unit_tests/natspec/safe_assert_false_positive_pure.sol_0_no_adts_000.smt2 unknown 38.15 13.30 apollon168 solidity/no_adts/unit_tests/natspec/unsafe_assert_remains_unsafe.sol_1_no_adts_000.smt2 unknown 14.02 4.03 apollon058 solidity/no_adts/unit_tests/natspec/abstract_function_nondet_1.sol_0_no_adts_000.smt2 unknown 10.54 3.40 apollon062 solidity/no_adts/unit_tests/natspec/safe_assert_false_positive.sol_1_no_adts_000.smt2 unknown 32.86 10.52 apollon058 solidity/no_adts/unit_tests/natspec/safe_assert_false_positive_pure.sol_2_no_adts_000.smt2 unknown 64.18 35.31 apollon019 solidity/no_adts/unit_tests/typecast/number_literal.sol_8_no_adts_000.smt2 true 23.58 8.17 apollon160 solidity/no_adts/unit_tests/typecast/number_literal.sol_3_no_adts_000.smt2 true 24.50 9.35 apollon048 solidity/no_adts/unit_tests/typecast/address_literal.sol_5_no_adts_000.smt2 true 345.87 307.29 apollon067 solidity/no_adts/unit_tests/typecast/number_literal.sol_5_no_adts_000.smt2 true 24.57 8.55 apollon048 solidity/no_adts/unit_tests/typecast/string_to_bytes_push_1.sol_0_no_adts_000.smt2 unknown 11.61 3.53 apollon062 solidity/no_adts/unit_tests/typecast/implicit_cast_string_literal_byte.sol_1_no_adts_000.smt2 unknown 13.06 3.85 apollon155 solidity/no_adts/unit_tests/typecast/function_type_to_function_type_external.sol_0_no_adts_000.smt2 unknown 11.67 3.62 apollon037 solidity/no_adts/unit_tests/typecast/string_to_bytes_push_2.sol_1_no_adts_000.smt2 true 22.67 9.72 apollon163 solidity/no_adts/unit_tests/typecast/number_literal.sol_7_no_adts_000.smt2 true 24.13 8.30 apollon127 solidity/no_adts/unit_tests/typecast/number_literal.sol_0_no_adts_000.smt2 true 26.25 9.23 apollon064 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_upcast.sol_1_no_adts_000.smt2 true 21.57 9.26 apollon118 solidity/no_adts/unit_tests/typecast/number_literal.sol_1_no_adts_000.smt2 true 23.43 8.28 apollon042 solidity/no_adts/unit_tests/typecast/string_literal_to_dynamic_bytes.sol_3_no_adts_000.smt2 true 22.27 9.04 apollon061 solidity/no_adts/unit_tests/typecast/cast_larger_2_fail.sol_0_no_adts_000.smt2 unknown 10.79 3.13 apollon048 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_3_no_adts_000.smt2 unknown 145.61 106.21 apollon081 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_function_call.sol_0_no_adts_000.smt2 unknown 12.51 3.76 apollon062 solidity/no_adts/unit_tests/typecast/function_type_to_function_type_internal.sol_1_no_adts_000.smt2 unknown 13.53 3.89 apollon067 solidity/no_adts/unit_tests/typecast/function_type_to_function_type_internal.sol_0_no_adts_000.smt2 unknown 13.65 3.82 apollon075 solidity/no_adts/unit_tests/typecast/cast_address_1.sol_0_no_adts_000.smt2 true 15.53 4.93 apollon066 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_return_multi.sol_1_no_adts_000.smt2 unknown 35.28 10.39 apollon153 solidity/no_adts/unit_tests/typecast/number_literal.sol_2_no_adts_000.smt2 true 24.29 8.47 apollon047 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_2_no_adts_000.smt2 unknown 65.22 33.52 apollon168 solidity/no_adts/unit_tests/typecast/cast_larger_1.sol_0_no_adts_000.smt2 true 15.23 4.95 apollon128 solidity/no_adts/unit_tests/typecast/string_literal_to_dynamic_bytes.sol_4_no_adts_000.smt2 true 22.18 9.31 apollon014 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_function_call.sol_1_no_adts_000.smt2 unknown 13.27 3.80 apollon021 solidity/no_adts/unit_tests/typecast/string_literal_to_dynamic_bytes.sol_1_no_adts_000.smt2 true 22.73 9.28 apollon122 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_5_no_adts_000.smt2 unknown 151.89 111.16 apollon059 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_modifier.sol_1_no_adts_000.smt2 unknown 11.05 3.20 apollon054 solidity/no_adts/unit_tests/typecast/string_to_bytes_push_1.sol_1_no_adts_000.smt2 true 22.14 9.58 apollon148 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_constant_initialization_2.sol_0_no_adts_000.smt2 unknown 9.17 3.05 apollon094 solidity/no_adts/unit_tests/typecast/string_literal_to_dynamic_bytes.sol_0_no_adts_000.smt2 unknown 12.58 3.52 apollon119 solidity/no_adts/unit_tests/typecast/implicit_cast_string_literal_byte.sol_0_no_adts_000.smt2 unknown 31.87 9.89 apollon113 solidity/no_adts/unit_tests/typecast/address_literal.sol_2_no_adts_000.smt2 true 161.11 137.85 apollon073 solidity/no_adts/unit_tests/typecast/string_to_bytes_push_2.sol_0_no_adts_000.smt2 unknown 12.16 3.80 apollon112 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_return.sol_0_no_adts_000.smt2 unknown 16.14 4.58 apollon146 solidity/no_adts/unit_tests/typecast/enum_to_uint_max_value.sol_0_no_adts_000.smt2 true 15.68 5.21 apollon126 solidity/no_adts/unit_tests/typecast/cast_larger_2.sol_0_no_adts_000.smt2 true 18.06 5.42 apollon126 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_1_no_adts_000.smt2 unknown 45.08 15.96 apollon154 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_modifier.sol_0_no_adts_000.smt2 unknown 11.53 3.39 apollon079 solidity/no_adts/unit_tests/typecast/string_literal_to_dynamic_bytes.sol_2_no_adts_000.smt2 true 21.93 9.28 apollon037 solidity/no_adts/unit_tests/typecast/address_literal.sol_1_no_adts_000.smt2 true 343.73 306.85 apollon155 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_7_no_adts_000.smt2 unknown 80.44 48.91 apollon155 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_0_no_adts_000.smt2 unknown 21.18 5.69 apollon046 solidity/no_adts/unit_tests/typecast/number_literal.sol_6_no_adts_000.smt2 true 24.96 8.58 apollon066 solidity/no_adts/unit_tests/typecast/address_literal.sol_3_no_adts_000.smt2 unknown 14.02 4.06 apollon157 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_upcast.sol_0_no_adts_000.smt2 unknown 11.09 3.17 apollon135 solidity/no_adts/unit_tests/typecast/number_literal.sol_4_no_adts_000.smt2 true 24.68 9.02 apollon160 solidity/no_adts/unit_tests/typecast/address_literal.sol_4_no_adts_000.smt2 unknown 14.41 4.11 apollon014 solidity/no_adts/unit_tests/typecast/address_literal.sol_0_no_adts_000.smt2 unknown 53.03 29.41 apollon138 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_4_no_adts_000.smt2 unknown 163.57 118.98 apollon078 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_return_multi.sol_0_no_adts_000.smt2 unknown 17.52 4.86 apollon073 solidity/no_adts/unit_tests/typecast/string_literal_to_fixed_bytes_return.sol_1_no_adts_000.smt2 unknown 28.50 7.73 apollon014 solidity/no_adts/unit_tests/typecast/bytes_to_fixed_bytes_1.sol_6_no_adts_000.smt2 unknown 138.74 102.29 apollon081 solidity/no_adts/unit_tests/abi/abi_encode_packed_hash.sol_1_no_adts_000.smt2 true 24.74 10.60 apollon049 solidity/no_adts/unit_tests/abi/abi_encode_array_slice_2.sol_0_no_adts_000.smt2 unknown 160.98 120.47 apollon146 solidity/no_adts/unit_tests/abi/abi_encode_array_slice.sol_1_no_adts_000.smt2 unknown 16.19 4.27 apollon037 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal_no_unproved.sol_1_no_adts_000.smt2 unknown 37.77 13.56 apollon079 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_7_no_adts_000.smt2 unknown 43.20 15.98 apollon143 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal.sol_0_no_adts_000.smt2 unknown 145.99 110.61 apollon134 solidity/no_adts/unit_tests/abi/abi_encode_string_literal.sol_2_no_adts_000.smt2 unknown 36.84 12.46 apollon093 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal.sol_3_no_adts_000.smt2 unknown 59.02 30.76 apollon116 solidity/no_adts/unit_tests/abi/abi_encode_array_slice_2.sol_3_no_adts_000.smt2 unknown 83.46 54.95 apollon118 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal_no_unproved.sol_4_no_adts_000.smt2 unknown 82.90 49.85 apollon059 solidity/no_adts/unit_tests/abi/abi_encode_no_arguments.sol_1_no_adts_000.smt2 unknown 129.83 95.03 apollon015 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice.sol_0_no_adts_000.smt2 unknown 106.50 70.74 apollon160 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal_no_unproved.sol_2_no_adts_000.smt2 unknown 16.02 4.19 apollon061 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_string_literal.sol_1_no_adts_000.smt2 unknown 17.41 4.80 apollon073 solidity/no_adts/unit_tests/abi/abi_encode_array_slice_2.sol_2_no_adts_000.smt2 unknown 35.46 12.09 apollon155 solidity/no_adts/unit_tests/abi/abi_encode_no_arguments.sol_4_no_adts_000.smt2 unknown 132.60 97.22 apollon077 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal.sol_4_no_adts_000.smt2 unknown 79.19 47.09 apollon066 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice.sol_2_no_adts_000.smt2 unknown 711.21 569.50 apollon057 solidity/no_adts/unit_tests/abi/abi_encode_array_slice.sol_2_no_adts_000.smt2 unknown 181.63 138.69 apollon036 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice_2.sol_4_no_adts_000.smt2 unknown 39.12 13.80 apollon044 solidity/no_adts/unit_tests/abi/abi_encode_string_literal.sol_0_no_adts_000.smt2 unknown 15.29 4.19 apollon168 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice.sol_1_no_adts_000.smt2 unknown 41.25 14.07 apollon111 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal_no_unproved.sol_0_no_adts_000.smt2 unknown 151.14 111.54 apollon048 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_hash.sol_2_no_adts_000.smt2 unknown 15.32 4.29 apollon065 solidity/no_adts/unit_tests/abi/abi_encode_with_selector_hash.sol_1_no_adts_000.smt2 unknown 13.97 4.12 apollon014 solidity/no_adts/unit_tests/abi/abi_encode_no_arguments.sol_0_no_adts_000.smt2 unknown 54.41 27.85 apollon048 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice.sol_4_no_adts_000.smt2 unknown 18.18 4.91 apollon155 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_3_no_adts_000.smt2 unknown 859.36 767.31 apollon096 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice_2.sol_1_no_adts_000.smt2 unknown 152.67 111.09 apollon033 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_2_no_adts_000.smt2 unknown 1697.06 1578.32 apollon034 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_5_no_adts_000.smt2 TIMEOUT 1800.77 1693.36 apollon079 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice_2.sol_3_no_adts_000.smt2 unknown 99.25 65.97 apollon073 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_string_literal.sol_2_no_adts_000.smt2 unknown 62.24 31.23 apollon153 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_string_literal.sol_0_no_adts_000.smt2 unknown 38.39 13.83 apollon061 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_hash.sol_1_no_adts_000.smt2 true 38.98 22.29 apollon148 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice_2.sol_0_no_adts_000.smt2 unknown 1172.49 459.21 apollon071 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal_no_unproved.sol_3_no_adts_000.smt2 unknown 57.99 30.46 apollon018 solidity/no_adts/unit_tests/abi/abi_encode_no_arguments.sol_5_no_adts_000.smt2 unknown 76.10 47.42 apollon164 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_8_no_adts_000.smt2 unknown 18.17 4.96 apollon167 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice_2.sol_2_no_adts_000.smt2 unknown 16.70 4.69 apollon119 solidity/no_adts/unit_tests/abi/abi_encode_packed_array_slice.sol_3_no_adts_000.smt2 unknown 155.77 115.71 apollon155 solidity/no_adts/unit_tests/abi/abi_encode_no_arguments.sol_3_no_adts_000.smt2 unknown 15.44 4.18 apollon097 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_hash.sol_0_no_adts_000.smt2 unknown 33.27 11.45 apollon122 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_string_literal.sol_3_no_adts_000.smt2 unknown 78.89 48.92 apollon066 solidity/no_adts/unit_tests/abi/abi_encode_hash.sol_0_no_adts_000.smt2 true 16.56 5.06 apollon096 solidity/no_adts/unit_tests/abi/abi_encode_array_slice.sol_0_no_adts_000.smt2 unknown 80.73 52.16 apollon113 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_0_no_adts_000.smt2 true 22.46 9.25 apollon079 solidity/no_adts/unit_tests/abi/abi_encode_with_selector_hash.sol_2_no_adts_000.smt2 unknown 32.22 10.87 apollon024 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal.sol_1_no_adts_000.smt2 unknown 39.29 14.17 apollon155 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_4_no_adts_000.smt2 unknown 169.14 126.73 apollon158 solidity/no_adts/unit_tests/abi/abi_encode_packed_hash.sol_0_no_adts_000.smt2 unknown 13.12 3.85 apollon037 solidity/no_adts/unit_tests/abi/abi_encode_with_sig_string_literal.sol_4_no_adts_000.smt2 unknown 156.76 118.99 apollon033 solidity/no_adts/unit_tests/abi/abi_encode_no_arguments.sol_2_no_adts_000.smt2 unknown 37.88 13.14 apollon014 solidity/no_adts/unit_tests/abi/abi_encode_string_literal.sol_1_no_adts_000.smt2 unknown 78.73 46.30 apollon014 solidity/no_adts/unit_tests/abi/abi_encode_string_literal.sol_3_no_adts_000.smt2 unknown 53.58 27.72 apollon019 solidity/no_adts/unit_tests/abi/abi_encode_with_selector_string_literal_2.sol_0_no_adts_000.smt2 true 16.24 4.98 apollon066 solidity/no_adts/unit_tests/abi/abi_encode_with_selector_hash.sol_0_no_adts_000.smt2 true 35.34 19.29 apollon128 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_6_no_adts_000.smt2 unknown 71.01 38.07 apollon155 solidity/no_adts/unit_tests/abi/abi_encode_packed_string_literal.sol_2_no_adts_000.smt2 unknown 15.58 4.14 apollon062 solidity/no_adts/unit_tests/abi/abi_encode_array_slice_2.sol_1_no_adts_000.smt2 unknown 15.88 4.21 apollon122 solidity/no_adts/unit_tests/abi/abi_encode_array_slice.sol_3_no_adts_000.smt2 unknown 38.94 12.84 apollon106 solidity/no_adts/unit_tests/abi/abi_decode_simple.sol_1_no_adts_000.smt2 unknown 12.43 3.75 apollon158 solidity/no_adts/unit_tests/loops/while_1_continue_fail.sol_0_no_adts_000.smt2 unknown 11.98 3.75 apollon079 solidity/no_adts/unit_tests/loops/for_1_fail.sol_0_no_adts_000.smt2 unknown 11.87 3.57 apollon148 solidity/no_adts/unit_tests/loops/while_loop_simple_4.sol_0_no_adts_000.smt2 unknown 12.46 3.80 apollon058 solidity/no_adts/unit_tests/loops/while_loop_simple_1.sol_0_no_adts_000.smt2 unknown 11.59 3.65 apollon124 solidity/no_adts/unit_tests/loops/for_1_break.sol_0_no_adts_000.smt2 unknown 12.33 3.64 apollon109 solidity/no_adts/unit_tests/loops/while_nested_break_fail.sol_1_no_adts_000.smt2 unknown 34.47 12.24 apollon042 solidity/no_adts/unit_tests/loops/while_2.sol_0_no_adts_000.smt2 unknown 13.07 3.84 apollon014 solidity/no_adts/unit_tests/loops/while_2_break.sol_0_no_adts_000.smt2 unknown 12.36 3.70 apollon122 solidity/no_adts/unit_tests/loops/while_2_fail.sol_0_no_adts_000.smt2 unknown 11.99 3.70 apollon019 solidity/no_adts/unit_tests/loops/for_break_direct.sol_0_no_adts_000.smt2 unknown 12.00 3.82 apollon094 solidity/no_adts/unit_tests/loops/for_loop_5.sol_0_no_adts_000.smt2 unknown 11.49 3.56 apollon079 solidity/no_adts/unit_tests/loops/do_while_break_2.sol_0_no_adts_000.smt2 unknown 12.63 3.72 apollon122 solidity/no_adts/unit_tests/loops/for_loop_2.sol_0_no_adts_000.smt2 unknown 12.71 3.82 apollon056 solidity/no_adts/unit_tests/loops/for_loop_3.sol_0_no_adts_000.smt2 unknown 10.71 3.41 apollon143 solidity/no_adts/unit_tests/loops/for_loop_trivial_condition_3.sol_0_no_adts_000.smt2 unknown 10.88 3.14 apollon122 solidity/no_adts/unit_tests/loops/while_nested_break_fail.sol_0_no_adts_000.smt2 unknown 16.29 4.28 apollon155 solidity/no_adts/unit_tests/loops/while_1_break.sol_0_no_adts_000.smt2 unknown 12.39 3.75 apollon066 solidity/no_adts/unit_tests/loops/while_break_direct.sol_0_no_adts_000.smt2 unknown 11.41 3.47 apollon092 solidity/no_adts/unit_tests/loops/while_1_fail.sol_0_no_adts_000.smt2 unknown 10.93 3.45 apollon143 solidity/no_adts/unit_tests/loops/for_loop_trivial_condition_1.sol_0_no_adts_000.smt2 unknown 12.50 3.77 apollon058 solidity/no_adts/unit_tests/loops/while_nested_break.sol_0_no_adts_000.smt2 unknown 17.05 4.75 apollon154 solidity/no_adts/unit_tests/loops/for_loop_trivial_condition_2.sol_0_no_adts_000.smt2 unknown 11.11 3.45 apollon049 solidity/no_adts/unit_tests/loops/for_loop_6.sol_0_no_adts_000.smt2 unknown 11.60 3.33 apollon001 solidity/no_adts/unit_tests/loops/do_while_break_2_fail.sol_0_no_adts_000.smt2 unknown 11.43 3.32 apollon078 solidity/no_adts/unit_tests/loops/while_loop_simple_2.sol_0_no_adts_000.smt2 unknown 11.76 3.57 apollon103 solidity/no_adts/unit_tests/loops/for_1_false_positive.sol_0_no_adts_000.smt2 unknown 11.35 3.60 apollon132 solidity/no_adts/unit_tests/loops/while_1_break_fail.sol_0_no_adts_000.smt2 unknown 12.48 3.72 apollon042 solidity/no_adts/unit_tests/loops/do_while_1_fail.sol_0_no_adts_000.smt2 unknown 12.14 3.64 apollon058 solidity/no_adts/unit_tests/loops/while_1_infinite.sol_0_no_adts_000.smt2 unknown 12.96 3.83 apollon065 solidity/no_adts/unit_tests/loops/while_nested_continue_fail.sol_1_no_adts_000.smt2 unknown 14.78 4.00 apollon155 solidity/no_adts/unit_tests/loops/for_1_break_fail.sol_0_no_adts_000.smt2 unknown 12.39 3.68 apollon098 solidity/no_adts/unit_tests/loops/for_loop_unreachable_1.sol_0_no_adts_000.smt2 unknown 10.63 3.13 apollon122 solidity/no_adts/unit_tests/loops/while_1_continue.sol_0_no_adts_000.smt2 unknown 11.59 3.56 apollon164 solidity/no_adts/unit_tests/loops/for_1_continue_fail.sol_0_no_adts_000.smt2 unknown 11.05 3.22 apollon158 solidity/no_adts/unit_tests/loops/while_2_break_fail.sol_0_no_adts_000.smt2 unknown 11.39 3.49 apollon079 solidity/no_adts/unit_tests/loops/do_while_break_fail.sol_0_no_adts_000.smt2 unknown 10.43 3.12 apollon014 solidity/no_adts/unit_tests/loops/while_1.sol_0_no_adts_000.smt2 unknown 12.35 3.77 apollon061 solidity/no_adts/unit_tests/loops/while_nested_break.sol_1_no_adts_000.smt2 unknown 36.69 12.80 apollon058 solidity/no_adts/unit_tests/loops/while_nested_continue.sol_1_no_adts_000.smt2 unknown 30.13 8.83 apollon148 solidity/no_adts/unit_tests/loops/for_1_continue.sol_0_no_adts_000.smt2 unknown 12.22 3.59 apollon158 solidity/no_adts/unit_tests/loops/while_loop_simple_5.sol_0_no_adts_000.smt2 unknown 11.30 3.49 apollon059 solidity/no_adts/unit_tests/loops/do_while_break.sol_0_no_adts_000.smt2 unknown 10.15 3.07 apollon033 solidity/no_adts/unit_tests/loops/do_while_continue.sol_0_no_adts_000.smt2 unknown 11.14 3.44 apollon075 solidity/no_adts/unit_tests/loops/while_loop_simple_3.sol_0_no_adts_000.smt2 unknown 11.07 3.41 apollon116 solidity/no_adts/unit_tests/loops/while_nested_continue.sol_0_no_adts_000.smt2 unknown 15.10 4.06 apollon120 solidity/no_adts/unit_tests/loops/for_loop_4.sol_0_no_adts_000.smt2 unknown 12.38 3.78 apollon075 solidity/no_adts/unit_tests/loops/do_while_1_false_positives.sol_0_no_adts_000.smt2 unknown 11.01 3.45 apollon037 solidity/no_adts/unit_tests/loops/while_nested_continue_fail.sol_0_no_adts_000.smt2 unknown 31.83 9.32 apollon001 solidity/no_adts/unit_tests/try_catch/try_5.sol_0_no_adts_000.smt2 unknown 51.29 24.72 apollon163 solidity/no_adts/unit_tests/try_catch/try_public_var.sol_1_no_adts_000.smt2 unknown 12.74 3.84 apollon109 solidity/no_adts/unit_tests/try_catch/try_4.sol_0_no_adts_000.smt2 unknown 50.79 24.73 apollon014 solidity/no_adts/unit_tests/try_catch/try_5.sol_2_no_adts_000.smt2 unknown 15.59 4.25 apollon109 solidity/no_adts/unit_tests/try_catch/try_nested_3.sol_1_no_adts_000.smt2 unknown 33.37 9.95 apollon157 solidity/no_adts/unit_tests/try_catch/try_public_var.sol_0_no_adts_000.smt2 unknown 11.50 3.54 apollon042 solidity/no_adts/unit_tests/try_catch/try_4.sol_1_no_adts_000.smt2 unknown 23.29 6.31 apollon019 solidity/no_adts/unit_tests/try_catch/try_nested_2.sol_1_no_adts_000.smt2 unknown 32.12 8.73 apollon089 solidity/no_adts/unit_tests/try_catch/try_4.sol_2_no_adts_000.smt2 unknown 14.88 4.20 apollon019 solidity/no_adts/unit_tests/try_catch/try_nested_1.sol_0_no_adts_000.smt2 unknown 26.59 7.91 apollon066 solidity/no_adts/unit_tests/try_catch/try_multiple_returned_values.sol_1_no_adts_000.smt2 unknown 14.00 4.08 apollon067 solidity/no_adts/unit_tests/try_catch/try_5.sol_1_no_adts_000.smt2 unknown 24.37 6.40 apollon155 solidity/no_adts/unit_tests/try_catch/try_nested_2.sol_0_no_adts_000.smt2 unknown 18.43 5.00 apollon048 solidity/no_adts/unit_tests/try_catch/try_multiple_returned_values_with_tuple.sol_0_no_adts_000.smt2 unknown 14.70 4.11 apollon024 solidity/no_adts/unit_tests/try_catch/try_multiple_returned_values_with_tuple.sol_1_no_adts_000.smt2 unknown 30.79 8.42 apollon059 solidity/no_adts/unit_tests/try_catch/try_nested_3.sol_0_no_adts_000.smt2 unknown 16.48 4.27 apollon152 solidity/no_adts/unit_tests/try_catch/try_multiple_returned_values.sol_3_no_adts_000.smt2 unknown 39.92 17.46 apollon037 solidity/no_adts/unit_tests/try_catch/try_multiple_returned_values.sol_2_no_adts_000.smt2 unknown 32.57 11.19 apollon033 solidity/no_adts/unit_tests/try_catch/try_multiple_returned_values.sol_0_no_adts_000.smt2 unknown 57.69 32.90 apollon073 solidity/no_adts/unit_tests/try_catch/try_nested_1.sol_1_no_adts_000.smt2 unknown 13.52 3.97 apollon079 solidity/no_adts/unit_tests/invariants/state_machine_1_fail.sol_0_no_adts_000.smt2 unknown 16.85 4.39 apollon143 solidity/no_adts/unit_tests/invariants/state_machine_1.sol_0_no_adts_000.smt2 unknown 17.34 4.52 apollon033 solidity/no_adts/unit_tests/invariants/loop_basic.sol_0_no_adts_000.smt2 unknown 12.03 3.71 apollon141 solidity/no_adts/unit_tests/invariants/aon_blog_post.sol_0_no_adts_000.smt2 unknown 24.77 6.78 apollon066 solidity/no_adts/unit_tests/invariants/loop_basic_for.sol_0_no_adts_000.smt2 unknown 11.68 3.42 apollon128 solidity/no_adts/unit_tests/invariants/loop_nested.sol_0_no_adts_000.smt2 unknown 12.19 3.68 apollon128 solidity/no_adts/unit_tests/invariants/loop_nested_for.sol_1_no_adts_000.smt2 unknown 26.81 7.85 apollon106 solidity/no_adts/unit_tests/invariants/loop_nested_for.sol_0_no_adts_000.smt2 unknown 14.05 3.88 apollon158 solidity/no_adts/unit_tests/invariants/loop_nested.sol_1_no_adts_000.smt2 unknown 30.79 10.02 apollon046 solidity/no_adts/unit_tests/control_flow/return_2.sol_0_no_adts_000.smt2 unknown 21.14 5.90 apollon097 solidity/no_adts/unit_tests/control_flow/return_2.sol_4_no_adts_000.smt2 unknown 20.06 5.19 apollon066 solidity/no_adts/unit_tests/control_flow/branches_assert_condition_2.sol_1_no_adts_000.smt2 unknown 13.22 3.89 apollon118 solidity/no_adts/unit_tests/control_flow/return_1.sol_3_no_adts_000.smt2 unknown 20.23 5.33 apollon036 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_4.sol_1_no_adts_000.smt2 unknown 15.32 4.24 apollon021 solidity/no_adts/unit_tests/control_flow/short_circuit_or_inside_branch.sol_2_no_adts_000.smt2 unknown 18.38 5.02 apollon036 solidity/no_adts/unit_tests/control_flow/short_circuit_or_fail.sol_0_no_adts_000.smt2 unknown 28.41 8.36 apollon129 solidity/no_adts/unit_tests/control_flow/short_circuit_and_need_both_fail.sol_1_no_adts_000.smt2 unknown 14.38 4.21 apollon062 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_0_no_adts_000.smt2 unknown 22.02 5.72 apollon163 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch.sol_0_no_adts_000.smt2 unknown 26.77 8.67 apollon111 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_3.sol_1_no_adts_000.smt2 unknown 15.25 4.38 apollon122 solidity/no_adts/unit_tests/control_flow/return_1_fail.sol_3_no_adts_000.smt2 unknown 37.96 11.73 apollon062 solidity/no_adts/unit_tests/control_flow/require.sol_1_no_adts_000.smt2 unknown 13.25 3.90 apollon079 solidity/no_adts/unit_tests/control_flow/branches_assert_condition_2.sol_0_no_adts_000.smt2 unknown 13.23 3.91 apollon075 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_2.sol_0_no_adts_000.smt2 unknown 10.76 3.08 apollon059 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_6.sol_0_no_adts_000.smt2 unknown 11.47 3.29 apollon033 solidity/no_adts/unit_tests/control_flow/function_call_inside_modifier_branch.sol_0_no_adts_000.smt2 unknown 13.25 3.75 apollon059 solidity/no_adts/unit_tests/control_flow/return_2.sol_2_no_adts_000.smt2 unknown 21.56 5.86 apollon154 solidity/no_adts/unit_tests/control_flow/short_circuit_or_inside_branch.sol_1_no_adts_000.smt2 unknown 18.20 4.87 apollon155 solidity/no_adts/unit_tests/control_flow/short_circuit_or.sol_1_no_adts_000.smt2 unknown 13.62 3.91 apollon037 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch_2.sol_0_no_adts_000.smt2 unknown 28.45 8.73 apollon155 solidity/no_adts/unit_tests/control_flow/short_circuit_and_inside_branch.sol_1_no_adts_000.smt2 unknown 13.07 3.82 apollon122 solidity/no_adts/unit_tests/control_flow/return_2.sol_3_no_adts_000.smt2 unknown 19.99 5.50 apollon098 solidity/no_adts/unit_tests/control_flow/short_circuit_or_need_both.sol_1_no_adts_000.smt2 unknown 28.98 8.69 apollon134 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_1_no_adts_000.smt2 unknown 22.04 5.84 apollon058 solidity/no_adts/unit_tests/control_flow/return_1_fail.sol_2_no_adts_000.smt2 unknown 40.18 12.04 apollon112 solidity/no_adts/unit_tests/control_flow/return_1_fail.sol_1_no_adts_000.smt2 unknown 41.20 12.16 apollon042 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_1.sol_1_no_adts_000.smt2 unknown 14.90 4.09 apollon075 solidity/no_adts/unit_tests/control_flow/short_circuit_and.sol_0_no_adts_000.smt2 unknown 13.98 3.99 apollon119 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_1.sol_0_no_adts_000.smt2 unknown 32.96 10.44 apollon089 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_3_no_adts_000.smt2 unknown 22.24 5.95 apollon019 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_3.sol_0_no_adts_000.smt2 unknown 33.28 10.91 apollon002 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_1.sol_0_no_adts_000.smt2 unknown 10.81 3.24 apollon127 solidity/no_adts/unit_tests/control_flow/ways_to_merge_variables_2.sol_0_no_adts_000.smt2 unknown 11.69 3.62 apollon073 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_3.sol_0_no_adts_000.smt2 unknown 10.88 3.15 apollon014 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_4_no_adts_000.smt2 unknown 23.30 6.30 apollon066 solidity/no_adts/unit_tests/control_flow/short_circuit_and_need_both_fail.sol_0_no_adts_000.smt2 unknown 29.95 8.72 apollon160 solidity/no_adts/unit_tests/control_flow/short_circuit_and_need_both.sol_1_no_adts_000.smt2 unknown 14.36 4.06 apollon039 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_5_no_adts_000.smt2 unknown 20.23 5.26 apollon079 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch_3.sol_1_no_adts_000.smt2 unknown 32.96 10.39 apollon061 solidity/no_adts/unit_tests/control_flow/revert.sol_1_no_adts_000.smt2 unknown 13.27 3.91 apollon079 solidity/no_adts/unit_tests/control_flow/short_circuit_and_fail.sol_1_no_adts_000.smt2 unknown 13.82 3.83 apollon103 solidity/no_adts/unit_tests/control_flow/branches_assert_condition_2.sol_2_no_adts_000.smt2 unknown 13.92 3.91 apollon111 solidity/no_adts/unit_tests/control_flow/return_2.sol_7_no_adts_000.smt2 unknown 20.67 5.70 apollon037 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_6_no_adts_000.smt2 unknown 20.45 5.21 apollon035 solidity/no_adts/unit_tests/control_flow/short_circuit_or_need_both_fail.sol_1_no_adts_000.smt2 unknown 27.54 8.10 apollon116 solidity/no_adts/unit_tests/control_flow/short_circuit_or_inside_branch.sol_3_no_adts_000.smt2 unknown 17.09 4.64 apollon111 solidity/no_adts/unit_tests/control_flow/assignment_in_declaration.sol_0_no_adts_000.smt2 true 16.38 5.05 apollon141 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_2.sol_0_no_adts_000.smt2 unknown 16.65 4.63 apollon040 solidity/no_adts/unit_tests/control_flow/branches_assert_condition_1.sol_1_no_adts_000.smt2 unknown 11.58 3.31 apollon019 solidity/no_adts/unit_tests/control_flow/short_circuit_and.sol_1_no_adts_000.smt2 unknown 27.50 8.18 apollon037 solidity/no_adts/unit_tests/control_flow/function_call_inside_placeholder_inside_modifier_branch.sol_0_no_adts_000.smt2 unknown 30.23 9.40 apollon155 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch_4.sol_0_no_adts_000.smt2 unknown 41.19 16.29 apollon014 solidity/no_adts/unit_tests/control_flow/return_1.sol_0_no_adts_000.smt2 unknown 38.72 11.86 apollon075 solidity/no_adts/unit_tests/control_flow/short_circuit_and_need_both.sol_0_no_adts_000.smt2 unknown 28.47 8.35 apollon148 solidity/no_adts/unit_tests/control_flow/short_circuit_and_fail.sol_0_no_adts_000.smt2 unknown 29.37 8.93 apollon141 solidity/no_adts/unit_tests/control_flow/short_circuit_or_inside_branch.sol_0_no_adts_000.smt2 unknown 18.17 4.78 apollon143 solidity/no_adts/unit_tests/control_flow/short_circuit_or_need_both_fail.sol_0_no_adts_000.smt2 unknown 13.56 3.97 apollon158 solidity/no_adts/unit_tests/control_flow/return_2.sol_1_no_adts_000.smt2 unknown 20.36 5.59 apollon073 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch_2.sol_1_no_adts_000.smt2 unknown 28.74 9.04 apollon094 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_2.sol_1_no_adts_000.smt2 unknown 34.13 10.90 apollon143 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_4.sol_0_no_adts_000.smt2 unknown 12.89 3.87 apollon002 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_2_no_adts_000.smt2 unknown 21.19 5.80 apollon014 solidity/no_adts/unit_tests/control_flow/branches_assert_condition_1.sol_0_no_adts_000.smt2 unknown 12.17 3.70 apollon164 solidity/no_adts/unit_tests/control_flow/require.sol_3_no_adts_000.smt2 unknown 14.23 4.01 apollon106 solidity/no_adts/unit_tests/control_flow/return_1.sol_1_no_adts_000.smt2 unknown 41.29 12.11 apollon066 solidity/no_adts/unit_tests/control_flow/short_circuit_or.sol_0_no_adts_000.smt2 unknown 27.70 8.17 apollon014 solidity/no_adts/unit_tests/control_flow/return_2.sol_5_no_adts_000.smt2 unknown 20.94 5.69 apollon007 solidity/no_adts/unit_tests/control_flow/revert_complex_flow.sol_0_no_adts_000.smt2 unknown 11.68 3.30 apollon014 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch_3.sol_0_no_adts_000.smt2 unknown 34.78 10.43 apollon066 solidity/no_adts/unit_tests/control_flow/return_1.sol_2_no_adts_000.smt2 unknown 38.69 11.79 apollon106 solidity/no_adts/unit_tests/control_flow/short_circuit_and_inside_branch.sol_0_no_adts_000.smt2 unknown 28.58 9.50 apollon120 solidity/no_adts/unit_tests/control_flow/short_circuit_or_fail.sol_1_no_adts_000.smt2 unknown 14.64 4.14 apollon156 solidity/no_adts/unit_tests/control_flow/ways_to_merge_variables_3.sol_0_no_adts_000.smt2 unknown 10.40 3.07 apollon160 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_4.sol_1_no_adts_000.smt2 unknown 29.91 10.09 apollon124 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_5.sol_0_no_adts_000.smt2 unknown 11.55 3.47 apollon014 solidity/no_adts/unit_tests/control_flow/branches_inside_modifiers_4.sol_0_no_adts_000.smt2 unknown 34.59 11.14 apollon067 solidity/no_adts/unit_tests/control_flow/function_call_inside_else_branch.sol_0_no_adts_000.smt2 true 26.17 12.83 apollon001 solidity/no_adts/unit_tests/control_flow/branches_merge_variables_4.sol_2_no_adts_000.smt2 unknown 28.60 10.28 apollon001 solidity/no_adts/unit_tests/control_flow/return_2.sol_6_no_adts_000.smt2 unknown 20.74 5.70 apollon158 solidity/no_adts/unit_tests/control_flow/revert.sol_3_no_adts_000.smt2 unknown 12.93 3.76 apollon061 solidity/no_adts/unit_tests/control_flow/ways_to_merge_variables_1.sol_0_no_adts_000.smt2 unknown 12.08 3.71 apollon152 solidity/no_adts/unit_tests/control_flow/short_circuit_or_need_both.sol_0_no_adts_000.smt2 unknown 13.35 3.91 apollon156 solidity/no_adts/unit_tests/control_flow/return_2_fail.sol_7_no_adts_000.smt2 unknown 20.70 5.69 apollon066 solidity/no_adts/unit_tests/control_flow/function_call_inside_branch_4.sol_1_no_adts_000.smt2 unknown 40.92 16.38 apollon057 solidity/no_adts/unit_tests/control_flow/return_1_fail.sol_0_no_adts_000.smt2 unknown 18.97 5.01 apollon128 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_14_no_adts_000.smt2 unknown 28.50 7.90 apollon057 solidity/no_adts/unit_tests/special/msg_value_inheritance_2.sol_2_no_adts_000.smt2 unknown 14.86 4.05 apollon077 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_5_no_adts_000.smt2 unknown 28.59 7.76 apollon073 solidity/no_adts/unit_tests/special/msg_data.sol_15_no_adts_000.smt2 TIMEOUT 1801.18 1728.71 apollon042 solidity/no_adts/unit_tests/special/range_check.sol_20_no_adts_000.smt2 unknown 21.54 5.73 apollon141 solidity/no_adts/unit_tests/special/msg_sender_1.sol_0_no_adts_000.smt2 true 15.50 4.90 apollon049 solidity/no_adts/unit_tests/special/msg_sender_fail_1.sol_1_no_adts_000.smt2 unknown 11.67 3.69 apollon079 solidity/no_adts/unit_tests/special/time_units.sol_4_no_adts_000.smt2 unknown 16.55 4.48 apollon154 solidity/no_adts/unit_tests/special/range_check.sol_6_no_adts_000.smt2 unknown 21.52 5.67 apollon096 solidity/no_adts/unit_tests/special/many_internal.sol_6_no_adts_000.smt2 unknown 15.94 4.60 apollon111 solidity/no_adts/unit_tests/special/tx_vars_chc_internal.sol_1_no_adts_000.smt2 unknown 15.90 4.69 apollon094 solidity/no_adts/unit_tests/special/msg_sig.sol_3_no_adts_000.smt2 unknown 27.16 7.69 apollon126 solidity/no_adts/unit_tests/special/blockhash.sol_2_no_adts_000.smt2 unknown 11.54 3.56 apollon073 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_23_no_adts_000.smt2 unknown 135.08 88.74 apollon111 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_7_no_adts_000.smt2 unknown 18.08 4.81 apollon066 solidity/no_adts/unit_tests/special/msg_value_inheritance_1.sol_1_no_adts_000.smt2 unknown 13.64 4.04 apollon111 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_12_no_adts_000.smt2 unknown 28.56 7.79 apollon075 solidity/no_adts/unit_tests/special/range_check.sol_10_no_adts_000.smt2 unknown 20.93 5.50 apollon118 solidity/no_adts/unit_tests/special/msg_value_2.sol_0_no_adts_000.smt2 unknown 10.45 3.08 apollon106 solidity/no_adts/unit_tests/special/msg_value_inheritance_2.sol_1_no_adts_000.smt2 unknown 10.84 3.25 apollon155 solidity/no_adts/unit_tests/special/many_internal.sol_5_no_adts_000.smt2 unknown 15.88 4.60 apollon019 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_10_no_adts_000.smt2 unknown 18.86 5.17 apollon002 solidity/no_adts/unit_tests/special/range_check.sol_8_no_adts_000.smt2 unknown 19.16 5.22 apollon103 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_2_no_adts_000.smt2 unknown 17.48 4.92 apollon113 solidity/no_adts/unit_tests/special/range_check.sol_19_no_adts_000.smt2 unknown 19.79 5.10 apollon079 solidity/no_adts/unit_tests/special/msg_data.sol_10_no_adts_000.smt2 TIMEOUT 1800.98 1672.41 apollon057 solidity/no_adts/unit_tests/special/many_internal.sol_1_no_adts_000.smt2 unknown 16.29 4.66 apollon153 solidity/no_adts/unit_tests/special/range_check.sol_32_no_adts_000.smt2 unknown 21.07 5.50 apollon019 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_16_no_adts_000.smt2 unknown 28.32 7.78 apollon067 solidity/no_adts/unit_tests/special/range_check.sol_26_no_adts_000.smt2 unknown 20.77 5.38 apollon078 solidity/no_adts/unit_tests/special/time_units.sol_0_no_adts_000.smt2 unknown 143.80 110.71 apollon014 solidity/no_adts/unit_tests/special/ether_units.sol_1_no_adts_000.smt2 unknown 65.03 40.77 apollon007 solidity/no_adts/unit_tests/special/range_check.sol_11_no_adts_000.smt2 unknown 19.67 5.22 apollon111 solidity/no_adts/unit_tests/special/this_state.sol_0_no_adts_000.smt2 true 15.94 4.98 apollon061 solidity/no_adts/unit_tests/special/range_check.sol_1_no_adts_000.smt2 unknown 20.15 5.29 apollon116 solidity/no_adts/unit_tests/special/msg_sig.sol_2_no_adts_000.smt2 unknown 24.38 6.32 apollon075 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_5_no_adts_000.smt2 unknown 17.68 4.84 apollon155 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_0_no_adts_000.smt2 unknown 135.75 89.74 apollon079 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_1_no_adts_000.smt2 unknown 142.53 91.70 apollon033 solidity/no_adts/unit_tests/special/blockhash.sol_0_no_adts_000.smt2 true 31.15 17.46 apollon039 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_9_no_adts_000.smt2 unknown 29.28 8.01 apollon145 solidity/no_adts/unit_tests/special/gasleft.sol_0_no_adts_000.smt2 true 38.69 22.58 apollon079 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_16_no_adts_000.smt2 unknown 139.77 92.01 apollon002 solidity/no_adts/unit_tests/special/many.sol_3_no_adts_000.smt2 unknown 302.81 253.29 apollon019 solidity/no_adts/unit_tests/special/many.sol_0_no_adts_000.smt2 unknown 37.39 14.36 apollon079 solidity/no_adts/unit_tests/special/tx_vars_chc_internal.sol_0_no_adts_000.smt2 unknown 14.18 4.08 apollon122 solidity/no_adts/unit_tests/special/range_check.sol_21_no_adts_000.smt2 unknown 19.71 5.32 apollon019 solidity/no_adts/unit_tests/special/msg_data.sol_17_no_adts_000.smt2 TIMEOUT 1800.50 1731.30 apollon067 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_5_no_adts_000.smt2 unknown 136.85 89.39 apollon160 solidity/no_adts/unit_tests/special/msg_data.sol_12_no_adts_000.smt2 TIMEOUT 1800.96 1680.69 apollon015 solidity/no_adts/unit_tests/special/range_check.sol_23_no_adts_000.smt2 unknown 20.77 5.56 apollon014 solidity/no_adts/unit_tests/special/ether_units.sol_3_no_adts_000.smt2 unknown 65.75 41.81 apollon160 solidity/no_adts/unit_tests/special/range_check.sol_4_no_adts_000.smt2 unknown 21.26 5.64 apollon112 solidity/no_adts/unit_tests/special/time_units.sol_6_no_adts_000.smt2 unknown 268.68 225.78 apollon037 solidity/no_adts/unit_tests/special/gasleft.sol_2_no_adts_000.smt2 unknown 28.64 9.87 apollon037 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_17_no_adts_000.smt2 unknown 31.09 8.50 apollon146 solidity/no_adts/unit_tests/special/msg_data.sol_0_no_adts_000.smt2 TIMEOUT 1801.02 1687.06 apollon130 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_6_no_adts_000.smt2 unknown 135.73 89.81 apollon021 solidity/no_adts/unit_tests/special/tx_vars_reentrancy_2.sol_0_no_adts_000.smt2 unknown 11.78 3.68 apollon157 solidity/no_adts/unit_tests/special/msg_value_4.sol_0_no_adts_000.smt2 unknown 9.10 2.96 apollon122 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_2_no_adts_000.smt2 unknown 27.75 7.79 apollon014 solidity/no_adts/unit_tests/special/tx_vars_chc_internal.sol_3_no_adts_000.smt2 unknown 13.72 4.01 apollon034 solidity/no_adts/unit_tests/special/range_check.sol_18_no_adts_000.smt2 unknown 19.12 5.26 apollon062 solidity/no_adts/unit_tests/special/msg_sender_range.sol_1_no_adts_000.smt2 true 15.82 4.99 apollon119 solidity/no_adts/unit_tests/special/range_check.sol_34_no_adts_000.smt2 unknown 20.40 5.29 apollon075 solidity/no_adts/unit_tests/special/msg_data.sol_16_no_adts_000.smt2 TIMEOUT 1800.69 1724.44 apollon024 solidity/no_adts/unit_tests/special/many.sol_2_no_adts_000.smt2 unknown 14.97 4.37 apollon017 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_13_no_adts_000.smt2 unknown 30.20 8.05 apollon097 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_2_no_adts_000.smt2 unknown 18.31 4.90 apollon048 solidity/no_adts/unit_tests/special/shadowing_1.sol_2_no_adts_000.smt2 unknown 14.33 4.15 apollon141 solidity/no_adts/unit_tests/special/time_units.sol_2_no_adts_000.smt2 unknown 241.09 202.04 apollon103 solidity/no_adts/unit_tests/special/many.sol_1_no_adts_000.smt2 unknown 58.44 32.52 apollon129 solidity/no_adts/unit_tests/special/range_check.sol_33_no_adts_000.smt2 unknown 20.31 5.41 apollon065 solidity/no_adts/unit_tests/special/event.sol_0_no_adts_000.smt2 unknown 17.18 4.53 apollon019 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_6_no_adts_000.smt2 unknown 28.43 7.89 apollon116 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_8_no_adts_000.smt2 unknown 17.20 4.76 apollon132 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_9_no_adts_000.smt2 unknown 17.74 4.73 apollon009 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_3_no_adts_000.smt2 unknown 17.00 4.66 apollon019 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_19_no_adts_000.smt2 unknown 139.73 91.01 apollon119 solidity/no_adts/unit_tests/special/many.sol_4_no_adts_000.smt2 unknown 175.21 134.86 apollon167 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_1_no_adts_000.smt2 unknown 18.21 4.86 apollon062 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_1_no_adts_000.smt2 unknown 18.03 4.95 apollon062 solidity/no_adts/unit_tests/special/msg_value_inheritance_3.sol_2_no_adts_000.smt2 unknown 12.58 3.56 apollon042 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_3_no_adts_000.smt2 unknown 28.64 7.84 apollon059 solidity/no_adts/unit_tests/special/range_check.sol_7_no_adts_000.smt2 unknown 20.58 5.26 apollon109 solidity/no_adts/unit_tests/special/blockhash.sol_1_no_adts_000.smt2 unknown 30.03 10.45 apollon118 solidity/no_adts/unit_tests/special/range_check.sol_27_no_adts_000.smt2 unknown 18.92 5.12 apollon039 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_6_no_adts_000.smt2 unknown 18.22 4.97 apollon134 solidity/no_adts/unit_tests/special/ether_units.sol_0_no_adts_000.smt2 unknown 30.18 11.11 apollon075 solidity/no_adts/unit_tests/special/msg_sig.sol_1_no_adts_000.smt2 unknown 23.98 6.37 apollon154 solidity/no_adts/unit_tests/special/msg_data.sol_1_no_adts_000.smt2 TIMEOUT 1800.28 1730.50 apollon063 solidity/no_adts/unit_tests/special/msg_value_inheritance_1.sol_2_no_adts_000.smt2 unknown 11.15 3.21 apollon148 solidity/no_adts/unit_tests/special/shadowing_1.sol_0_no_adts_000.smt2 true 23.74 9.45 apollon044 solidity/no_adts/unit_tests/special/range_check.sol_28_no_adts_000.smt2 unknown 20.22 5.45 apollon046 solidity/no_adts/unit_tests/special/range_check.sol_15_no_adts_000.smt2 unknown 19.74 5.33 apollon079 solidity/no_adts/unit_tests/special/msg_value_1.sol_0_no_adts_000.smt2 true 14.96 4.88 apollon057 solidity/no_adts/unit_tests/special/range_check.sol_13_no_adts_000.smt2 unknown 20.80 5.50 apollon157 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_12_no_adts_000.smt2 unknown 136.02 89.29 apollon081 solidity/no_adts/unit_tests/special/ether_units.sol_5_no_adts_000.smt2 unknown 12.22 3.65 apollon118 solidity/no_adts/unit_tests/special/range_check.sol_35_no_adts_000.smt2 unknown 20.21 5.41 apollon066 solidity/no_adts/unit_tests/special/range_check.sol_22_no_adts_000.smt2 unknown 20.43 5.54 apollon135 solidity/no_adts/unit_tests/special/difficulty.sol_0_no_adts_000.smt2 unknown 9.90 3.02 apollon066 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_19_no_adts_000.smt2 unknown 28.83 7.94 apollon111 solidity/no_adts/unit_tests/special/msg_sig.sol_4_no_adts_000.smt2 unknown 24.47 6.50 apollon066 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_8_no_adts_000.smt2 unknown 18.09 4.91 apollon119 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_4_no_adts_000.smt2 unknown 28.23 7.85 apollon037 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_20_no_adts_000.smt2 unknown 143.20 92.77 apollon126 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_7_no_adts_000.smt2 unknown 17.88 4.86 apollon097 solidity/no_adts/unit_tests/special/msg_data.sol_2_no_adts_000.smt2 TIMEOUT 1800.19 1732.06 apollon035 solidity/no_adts/unit_tests/special/many.sol_7_no_adts_000.smt2 TIMEOUT 1800.91 1706.85 apollon126 solidity/no_adts/unit_tests/special/range_check.sol_25_no_adts_000.smt2 unknown 21.20 5.74 apollon148 solidity/no_adts/unit_tests/special/range_check.sol_12_no_adts_000.smt2 unknown 19.73 5.40 apollon079 solidity/no_adts/unit_tests/special/msg_value_inheritance_3.sol_0_no_adts_000.smt2 unknown 15.06 4.14 apollon128 solidity/no_adts/unit_tests/special/range_check.sol_29_no_adts_000.smt2 unknown 20.05 5.30 apollon037 solidity/no_adts/unit_tests/special/msg_data.sol_3_no_adts_000.smt2 TIMEOUT 1800.17 1687.48 apollon058 solidity/no_adts/unit_tests/special/msg_value_3.sol_0_no_adts_000.smt2 unknown 12.57 3.66 apollon122 solidity/no_adts/unit_tests/special/time_units.sol_8_no_adts_000.smt2 unknown 264.54 222.80 apollon109 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_22_no_adts_000.smt2 unknown 139.76 91.74 apollon154 solidity/no_adts/unit_tests/special/gasleft.sol_1_no_adts_000.smt2 unknown 11.02 3.22 apollon164 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_4_no_adts_000.smt2 unknown 16.52 4.59 apollon037 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_5_no_adts_000.smt2 unknown 16.38 4.63 apollon116 solidity/no_adts/unit_tests/special/many_internal.sol_7_no_adts_000.smt2 unknown 15.66 4.31 apollon109 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_22_no_adts_000.smt2 unknown 28.33 7.99 apollon011 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_9_no_adts_000.smt2 unknown 136.22 89.45 apollon094 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_0_no_adts_000.smt2 unknown 17.89 4.98 apollon036 solidity/no_adts/unit_tests/special/tx_vars_reentrancy_1.sol_0_no_adts_000.smt2 unknown 11.23 3.54 apollon024 solidity/no_adts/unit_tests/special/msg_value_inheritance_3.sol_1_no_adts_000.smt2 unknown 12.48 3.58 apollon089 solidity/no_adts/unit_tests/special/msg_sender_2.sol_0_no_adts_000.smt2 true 16.31 5.17 apollon062 solidity/no_adts/unit_tests/special/msg_parens_1.sol_1_no_adts_000.smt2 unknown 27.58 9.63 apollon124 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_14_no_adts_000.smt2 unknown 137.30 89.55 apollon062 solidity/no_adts/unit_tests/special/range_check.sol_38_no_adts_000.smt2 unknown 20.33 5.33 apollon014 solidity/no_adts/unit_tests/special/msg_data.sol_6_no_adts_000.smt2 TIMEOUT 1800.27 1729.40 apollon167 solidity/no_adts/unit_tests/special/msg_data.sol_11_no_adts_000.smt2 TIMEOUT 1801.14 1674.96 apollon048 solidity/no_adts/unit_tests/special/msg_data.sol_8_no_adts_000.smt2 TIMEOUT 1800.21 1728.42 apollon168 solidity/no_adts/unit_tests/special/msg_data.sol_5_no_adts_000.smt2 TIMEOUT 1800.51 1726.63 apollon074 solidity/no_adts/unit_tests/special/many_internal.sol_3_no_adts_000.smt2 unknown 16.82 4.77 apollon071 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_15_no_adts_000.smt2 unknown 29.54 8.25 apollon146 solidity/no_adts/unit_tests/special/many.sol_6_no_adts_000.smt2 unknown 85.71 54.15 apollon037 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_10_no_adts_000.smt2 unknown 27.48 7.72 apollon098 solidity/no_adts/unit_tests/special/shadowing_1.sol_3_no_adts_000.smt2 true 23.70 10.26 apollon119 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 19.89 5.23 apollon075 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_21_no_adts_000.smt2 unknown 141.65 91.32 apollon160 solidity/no_adts/unit_tests/special/msg_data.sol_7_no_adts_000.smt2 TIMEOUT 1801.36 1729.20 apollon147 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_11_no_adts_000.smt2 unknown 134.86 89.02 apollon106 solidity/no_adts/unit_tests/special/range_check.sol_16_no_adts_000.smt2 unknown 21.09 5.55 apollon019 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_20_no_adts_000.smt2 unknown 27.74 7.62 apollon148 solidity/no_adts/unit_tests/special/msg_parens_1.sol_0_no_adts_000.smt2 unknown 10.97 3.39 apollon059 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_17_no_adts_000.smt2 unknown 28.71 8.38 apollon111 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_8_no_adts_000.smt2 unknown 27.54 7.69 apollon081 solidity/no_adts/unit_tests/special/msg_value_inheritance_1.sol_0_no_adts_000.smt2 unknown 11.34 3.36 apollon128 solidity/no_adts/unit_tests/special/range_check.sol_14_no_adts_000.smt2 unknown 19.93 5.27 apollon037 solidity/no_adts/unit_tests/special/msg_data.sol_9_no_adts_000.smt2 unknown 19.24 5.27 apollon059 solidity/no_adts/unit_tests/special/tx_data_gasleft_changes.sol_0_no_adts_000.smt2 unknown 29.30 9.26 apollon065 solidity/no_adts/unit_tests/special/time_units.sol_7_no_adts_000.smt2 unknown 35.89 13.62 apollon078 solidity/no_adts/unit_tests/special/msg_value_inheritance_3.sol_4_no_adts_000.smt2 unknown 15.18 4.18 apollon073 solidity/no_adts/unit_tests/special/many_internal.sol_4_no_adts_000.smt2 unknown 15.48 4.20 apollon039 solidity/no_adts/unit_tests/special/msg_sender_3.sol_0_no_adts_000.smt2 unknown 8.72 2.86 apollon128 solidity/no_adts/unit_tests/special/tx_data_gasleft_changes.sol_1_no_adts_000.smt2 unknown 13.13 3.71 apollon143 solidity/no_adts/unit_tests/special/range_check.sol_9_no_adts_000.smt2 unknown 19.59 5.16 apollon066 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_7_no_adts_000.smt2 unknown 136.89 89.07 apollon036 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_7_no_adts_000.smt2 unknown 28.02 7.77 apollon122 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_10_no_adts_000.smt2 unknown 139.43 91.21 apollon128 solidity/no_adts/unit_tests/special/msg_sig.sol_5_no_adts_000.smt2 unknown 23.21 6.16 apollon014 solidity/no_adts/unit_tests/special/range_check.sol_24_no_adts_000.smt2 unknown 20.37 5.43 apollon061 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_3_no_adts_000.smt2 unknown 18.92 5.08 apollon097 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_18_no_adts_000.smt2 unknown 72.88 31.00 apollon164 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_4_no_adts_000.smt2 unknown 19.30 5.34 apollon066 solidity/no_adts/unit_tests/special/msg_value_inheritance_3.sol_3_no_adts_000.smt2 unknown 13.17 3.59 apollon049 solidity/no_adts/unit_tests/special/range_check.sol_5_no_adts_000.smt2 unknown 21.05 5.44 apollon152 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_2_no_adts_000.smt2 unknown 140.03 90.97 apollon001 solidity/no_adts/unit_tests/special/tx_vars_chc_internal.sol_4_no_adts_000.smt2 unknown 13.48 3.92 apollon132 solidity/no_adts/unit_tests/special/many.sol_5_no_adts_000.smt2 unknown 911.17 825.46 apollon001 solidity/no_adts/unit_tests/special/range_check.sol_31_no_adts_000.smt2 unknown 19.82 5.28 apollon019 solidity/no_adts/unit_tests/special/time_units.sol_1_no_adts_000.smt2 unknown 75.78 47.51 apollon033 solidity/no_adts/unit_tests/special/abi_decode_memory_v2_value_types.sol_0_no_adts_000.smt2 true 16.58 5.35 apollon128 solidity/no_adts/unit_tests/special/msg_sender_fail_1.sol_0_no_adts_000.smt2 true 23.03 10.52 apollon147 solidity/no_adts/unit_tests/special/range_check.sol_3_no_adts_000.smt2 unknown 21.71 5.66 apollon033 solidity/no_adts/unit_tests/special/many_internal.sol_2_no_adts_000.smt2 unknown 15.74 4.32 apollon077 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_1_no_adts_000.smt2 unknown 27.65 7.70 apollon119 solidity/no_adts/unit_tests/special/msg_sig.sol_0_no_adts_000.smt2 unknown 15.69 4.21 apollon122 solidity/no_adts/unit_tests/special/range_check.sol_36_no_adts_000.smt2 unknown 20.06 5.51 apollon019 solidity/no_adts/unit_tests/special/range_check.sol_17_no_adts_000.smt2 unknown 19.31 5.30 apollon148 solidity/no_adts/unit_tests/special/msg_sender_3.sol_1_no_adts_000.smt2 unknown 9.29 2.93 apollon065 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_13_no_adts_000.smt2 unknown 139.76 90.33 apollon061 solidity/no_adts/unit_tests/special/range_check.sol_30_no_adts_000.smt2 unknown 20.50 5.49 apollon120 solidity/no_adts/unit_tests/special/range_check.sol_0_no_adts_000.smt2 unknown 20.69 5.47 apollon124 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_3_no_adts_000.smt2 unknown 142.79 92.40 apollon096 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_4_no_adts_000.smt2 unknown 139.10 89.51 apollon014 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_23_no_adts_000.smt2 unknown 28.90 8.00 apollon152 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_0_no_adts_000.smt2 unknown 28.83 7.95 apollon014 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_18_no_adts_000.smt2 unknown 27.68 7.68 apollon109 solidity/no_adts/unit_tests/special/tx_data_gasleft_changes.sol_2_no_adts_000.smt2 unknown 27.61 9.20 apollon002 solidity/no_adts/unit_tests/special/msg_vars_chc_internal.sol_0_no_adts_000.smt2 unknown 16.71 4.61 apollon079 solidity/no_adts/unit_tests/special/this.sol_0_no_adts_000.smt2 unknown 10.26 3.09 apollon164 solidity/no_adts/unit_tests/special/time_units.sol_3_no_adts_000.smt2 unknown 263.57 222.73 apollon111 solidity/no_adts/unit_tests/special/msg_value_inheritance_2.sol_0_no_adts_000.smt2 unknown 11.28 3.48 apollon059 solidity/no_adts/unit_tests/special/time_units.sol_5_no_adts_000.smt2 unknown 54.72 30.50 apollon109 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_8_no_adts_000.smt2 unknown 138.05 90.03 apollon073 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_21_no_adts_000.smt2 unknown 27.94 7.74 apollon066 solidity/no_adts/unit_tests/special/msg_value_4.sol_1_no_adts_000.smt2 unknown 9.61 3.03 apollon097 solidity/no_adts/unit_tests/special/ether_units.sol_4_no_adts_000.smt2 unknown 65.43 42.02 apollon155 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 unknown 280.69 236.58 apollon144 solidity/no_adts/unit_tests/special/block_vars_chc_internal.sol_6_no_adts_000.smt2 unknown 18.70 4.88 apollon059 solidity/no_adts/unit_tests/special/many_internal.sol_0_no_adts_000.smt2 unknown 15.40 4.12 apollon103 solidity/no_adts/unit_tests/special/tx_data_immutable_fail.sol_15_no_adts_000.smt2 unknown 139.74 91.13 apollon073 solidity/no_adts/unit_tests/special/range_check.sol_39_no_adts_000.smt2 unknown 20.08 5.31 apollon132 solidity/no_adts/unit_tests/special/tx_data_immutable.sol_11_no_adts_000.smt2 unknown 28.61 7.97 apollon048 solidity/no_adts/unit_tests/special/tx_vars_chc_internal.sol_2_no_adts_000.smt2 unknown 13.74 4.03 apollon167 solidity/no_adts/unit_tests/special/msg_sender_range.sol_0_no_adts_000.smt2 true 15.88 4.96 apollon075 solidity/no_adts/unit_tests/special/msg_data.sol_13_no_adts_000.smt2 TIMEOUT 1800.92 1688.68 apollon153 solidity/no_adts/unit_tests/special/range_check.sol_37_no_adts_000.smt2 unknown 20.22 5.33 apollon111 solidity/no_adts/unit_tests/special/msg_data.sol_14_no_adts_000.smt2 TIMEOUT 1800.24 1730.72 apollon049 solidity/no_adts/unit_tests/special/msg_data.sol_4_no_adts_000.smt2 TIMEOUT 1800.69 1678.24 apollon113 solidity/no_adts/unit_tests/special/event.sol_1_no_adts_000.smt2 unknown 17.51 4.82 apollon048 solidity/no_adts/unit_tests/special/ether_units.sol_2_no_adts_000.smt2 unknown 49.06 26.37 apollon067 solidity/no_adts/unit_tests/special/shadowing_1.sol_1_no_adts_000.smt2 true 144.57 68.59 apollon036 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_4_no_adts_000.smt2 unknown 57.57 31.11 apollon075 solidity/no_adts/unit_tests/types_struct/struct_temporary.sol_0_no_adts_000.smt2 true 15.70 5.13 apollon036 solidity/no_adts/unit_tests/types_struct/struct_recursive_4.sol_2_no_adts_000.smt2 unknown 30.83 11.22 apollon134 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_2_no_adts_000.smt2 unknown 873.03 777.80 apollon001 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_12_no_adts_000.smt2 TIMEOUT 1800.99 1668.56 apollon066 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_1.sol_1_no_adts_000.smt2 unknown 11.34 3.60 apollon146 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_3_no_adts_000.smt2 TIMEOUT 1800.68 1667.71 apollon062 solidity/no_adts/unit_tests/types_struct/struct_recursive_1.sol_1_no_adts_000.smt2 unknown 28.54 10.26 apollon019 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_0_no_adts_000.smt2 TIMEOUT 1800.94 1650.96 apollon163 solidity/no_adts/unit_tests/types_struct/struct_constructor_named_args_2.sol_3_no_adts_000.smt2 true 23.29 9.64 apollon021 solidity/no_adts/unit_tests/types_struct/struct_constructor_fixed_bytes_from_string_1.sol_0_no_adts_000.smt2 unknown 10.13 3.03 apollon128 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_19_no_adts_000.smt2 TIMEOUT 1800.62 1674.02 apollon009 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_20_no_adts_000.smt2 TIMEOUT 1800.60 1657.44 apollon017 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_3_no_adts_000.smt2 unknown 340.01 292.46 apollon106 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_16_no_adts_000.smt2 TIMEOUT 1800.71 1671.74 apollon069 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_5_no_adts_000.smt2 TIMEOUT 1800.58 1672.08 apollon037 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_13_no_adts_000.smt2 unknown 669.80 591.10 apollon058 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_18_no_adts_000.smt2 unknown 99.03 61.51 apollon033 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_5_no_adts_000.smt2 unknown 17.17 4.44 apollon040 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_0_no_adts_000.smt2 unknown 482.54 401.81 apollon021 solidity/no_adts/unit_tests/types_struct/struct_constructor_named_args_2.sol_1_no_adts_000.smt2 unknown 12.02 3.41 apollon111 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_1_no_adts_000.smt2 unknown 41.07 14.62 apollon062 solidity/no_adts/unit_tests/types_struct/struct_recursive_6.sol_2_no_adts_000.smt2 unknown 48.74 26.10 apollon039 solidity/no_adts/unit_tests/types_struct/struct_constructor_fixed_bytes_from_string_1.sol_3_no_adts_000.smt2 true 21.06 9.10 apollon019 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_7_no_adts_000.smt2 TIMEOUT 1801.00 1653.59 apollon056 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_6_no_adts_000.smt2 unknown 149.60 114.08 apollon039 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_17_no_adts_000.smt2 TIMEOUT 1801.06 1659.42 apollon152 solidity/no_adts/unit_tests/types_struct/struct_constructor_named_args_2.sol_2_no_adts_000.smt2 true 24.68 9.82 apollon158 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_1.sol_0_no_adts_000.smt2 unknown 26.37 9.63 apollon119 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_0_no_adts_000.smt2 TIMEOUT 1800.66 1703.68 apollon044 solidity/no_adts/unit_tests/types_struct/struct_state_constructor.sol_0_no_adts_000.smt2 unknown 10.21 3.12 apollon089 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_1_no_adts_000.smt2 TIMEOUT 1800.64 1664.07 apollon128 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_9_no_adts_000.smt2 TIMEOUT 1800.36 1665.12 apollon112 solidity/no_adts/unit_tests/types_struct/struct_recursive_1.sol_0_no_adts_000.smt2 unknown 11.01 3.44 apollon134 solidity/no_adts/unit_tests/types_struct/struct_nested_temporary.sol_0_no_adts_000.smt2 true 15.17 5.04 apollon017 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_6_no_adts_000.smt2 unknown 55.46 29.75 apollon163 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_11_no_adts_000.smt2 TIMEOUT 1800.60 1674.90 apollon007 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_14_no_adts_000.smt2 TIMEOUT 1800.59 1663.57 apollon118 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_4_no_adts_000.smt2 TIMEOUT 1801.19 1718.00 apollon138 solidity/no_adts/unit_tests/types_struct/struct_recursive_4.sol_1_no_adts_000.smt2 unknown 48.71 25.78 apollon109 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_10_no_adts_000.smt2 unknown 98.99 60.08 apollon081 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_22_no_adts_000.smt2 unknown 657.02 577.45 apollon157 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_21_no_adts_000.smt2 unknown 25.17 6.73 apollon065 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_8_no_adts_000.smt2 unknown 22.85 6.08 apollon144 solidity/no_adts/unit_tests/types_struct/struct_recursive_6.sol_0_no_adts_000.smt2 unknown 12.48 3.76 apollon167 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_15_no_adts_000.smt2 TIMEOUT 1801.08 1664.21 apollon124 solidity/no_adts/unit_tests/types_struct/struct_recursive_4.sol_0_no_adts_000.smt2 unknown 12.98 3.84 apollon066 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_1_no_adts_000.smt2 unknown 14.93 4.27 apollon103 solidity/no_adts/unit_tests/types_struct/struct_recursive_6.sol_1_no_adts_000.smt2 unknown 30.70 10.94 apollon121 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_2_no_adts_000.smt2 unknown 15.50 4.20 apollon135 solidity/no_adts/unit_tests/types_struct/struct_recursive_2.sol_5_no_adts_000.smt2 unknown 58.00 32.29 apollon021 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_2_no_adts_000.smt2 TIMEOUT 1800.41 1671.21 apollon102 solidity/no_adts/unit_tests/types_struct/struct_recursive_indirect_2.sol_3_no_adts_000.smt2 unknown 81.56 50.25 apollon014 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_4_no_adts_000.smt2 TIMEOUT 1800.61 1652.71 apollon156 solidity/no_adts/unit_tests/types_struct/struct_constructor_named_args_2.sol_0_no_adts_000.smt2 true 25.45 10.54 apollon148 solidity/no_adts/unit_tests/types_struct/struct_recursive_3.sol_6_no_adts_000.smt2 TIMEOUT 1800.45 1665.22 apollon116 solidity/no_adts/unit_tests/types/tuple_1_chain_1.sol_0_no_adts_000.smt2 unknown 11.15 3.49 apollon014 solidity/no_adts/unit_tests/types/array_dynamic_parameter_1_fail.sol_2_no_adts_000.smt2 true 23.24 9.84 apollon026 solidity/no_adts/unit_tests/types/array_literal_1.sol_2_no_adts_000.smt2 true 17.86 5.93 apollon019 solidity/no_adts/unit_tests/types/tuple_array_pop_2.sol_0_no_adts_000.smt2 unknown 10.68 3.08 apollon089 solidity/no_adts/unit_tests/types/array_branch_1d.sol_0_no_adts_000.smt2 unknown 27.66 7.88 apollon033 solidity/no_adts/unit_tests/types/array_literal_6.sol_8_no_adts_000.smt2 unknown 19.14 5.20 apollon037 solidity/no_adts/unit_tests/types/bool_simple_4.sol_1_no_adts_000.smt2 unknown 11.45 3.56 apollon037 solidity/no_adts/unit_tests/types/array_dynamic_1_fail.sol_2_no_adts_000.smt2 unknown 13.30 3.89 apollon007 solidity/no_adts/unit_tests/types/tuple_1_chain_2.sol_0_no_adts_000.smt2 unknown 11.12 3.43 apollon061 solidity/no_adts/unit_tests/types/array_static_1.sol_0_no_adts_000.smt2 true 19.36 6.07 apollon012 solidity/no_adts/unit_tests/types/static_array_length_1.sol_2_no_adts_000.smt2 true 32.21 17.76 apollon075 solidity/no_adts/unit_tests/types/fixed_bytes_1.sol_0_no_adts_000.smt2 unknown 12.65 3.75 apollon066 solidity/no_adts/unit_tests/types/array_literal_7.sol_12_no_adts_000.smt2 true 44.41 22.66 apollon012 solidity/no_adts/unit_tests/types/tuple_1_chain_n.sol_0_no_adts_000.smt2 unknown 11.07 3.26 apollon002 solidity/no_adts/unit_tests/types/tuple_different_count_assignment_2.sol_1_no_adts_000.smt2 true 20.80 8.91 apollon073 solidity/no_adts/unit_tests/types/array_literal_6.sol_1_no_adts_000.smt2 true 44.61 23.75 apollon143 solidity/no_adts/unit_tests/types/static_array_length_5.sol_2_no_adts_000.smt2 unknown 11.34 3.30 apollon154 solidity/no_adts/unit_tests/types/tuple_declarations_function.sol_1_no_adts_000.smt2 unknown 13.90 4.05 apollon078 solidity/no_adts/unit_tests/types/array_literal_3.sol_1_no_adts_000.smt2 true 26.09 10.44 apollon061 solidity/no_adts/unit_tests/types/type_interfaceid.sol_6_no_adts_000.smt2 true 192.52 169.27 apollon160 solidity/no_adts/unit_tests/types/array_literal_7.sol_1_no_adts_000.smt2 true 48.62 26.00 apollon019 solidity/no_adts/unit_tests/types/tuple_assignment_compound.sol_0_no_adts_000.smt2 unknown 10.07 2.99 apollon155 solidity/no_adts/unit_tests/types/string_literal_comparison_1.sol_0_no_adts_000.smt2 true 22.43 9.28 apollon158 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_8_no_adts_000.smt2 true 39.08 21.03 apollon106 solidity/no_adts/unit_tests/types/mapping_5.sol_0_no_adts_000.smt2 unknown 10.71 3.05 apollon002 solidity/no_adts/unit_tests/types/mapping_as_parameter_1.sol_0_no_adts_000.smt2 unknown 12.91 3.83 apollon145 solidity/no_adts/unit_tests/types/array_dynamic_1_fail.sol_0_no_adts_000.smt2 true 29.15 14.45 apollon079 solidity/no_adts/unit_tests/types/array_literal_5.sol_6_no_adts_000.smt2 true 39.53 20.33 apollon040 solidity/no_adts/unit_tests/types/tuple_assignment_array.sol_2_no_adts_000.smt2 true 23.44 7.85 apollon160 solidity/no_adts/unit_tests/types/type_minmax.sol_5_no_adts_000.smt2 true 57.39 36.07 apollon154 solidity/no_adts/unit_tests/types/tuple_function_2.sol_1_no_adts_000.smt2 unknown 12.44 3.80 apollon119 solidity/no_adts/unit_tests/types/array_branches_1d.sol_2_no_adts_000.smt2 unknown 14.16 3.99 apollon167 solidity/no_adts/unit_tests/types/type_meta_unsupported.sol_1_no_adts_000.smt2 unknown 30.52 10.67 apollon128 solidity/no_adts/unit_tests/types/array_literal_7.sol_13_no_adts_000.smt2 unknown 44.36 15.30 apollon119 solidity/no_adts/unit_tests/types/fixed_bytes_2.sol_0_no_adts_000.smt2 unknown 27.01 8.65 apollon057 solidity/no_adts/unit_tests/types/bool_simple_5.sol_0_no_adts_000.smt2 true 15.83 4.80 apollon042 solidity/no_adts/unit_tests/types/static_array_length_4.sol_5_no_adts_000.smt2 unknown 13.43 3.72 apollon118 solidity/no_adts/unit_tests/types/contract.sol_0_no_adts_000.smt2 unknown 10.18 3.15 apollon096 solidity/no_adts/unit_tests/types/type_minmax.sol_19_no_adts_000.smt2 true 65.90 42.61 apollon163 solidity/no_adts/unit_tests/types/mapping_1.sol_0_no_adts_000.smt2 true 16.33 5.14 apollon039 solidity/no_adts/unit_tests/types/type_meta_unsupported.sol_2_no_adts_000.smt2 unknown 12.37 3.69 apollon077 solidity/no_adts/unit_tests/types/bool_simple_6.sol_0_no_adts_000.smt2 true 15.55 4.86 apollon066 solidity/no_adts/unit_tests/types/array_literal_6.sol_12_no_adts_000.smt2 unknown 41.78 14.67 apollon002 solidity/no_adts/unit_tests/types/array_literal_1.sol_4_no_adts_000.smt2 true 18.03 5.77 apollon155 solidity/no_adts/unit_tests/types/type_minmax.sol_11_no_adts_000.smt2 true 60.33 38.43 apollon062 solidity/no_adts/unit_tests/types/abi_type_type_1.sol_0_no_adts_000.smt2 unknown 10.62 3.06 apollon096 solidity/no_adts/unit_tests/types/address_call.sol_1_no_adts_000.smt2 unknown 53.73 28.93 apollon002 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_3_no_adts_000.smt2 unknown 35.72 10.48 apollon062 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_1_no_adts_000.smt2 true 41.52 23.33 apollon119 solidity/no_adts/unit_tests/types/contract_2.sol_0_no_adts_000.smt2 unknown 10.40 3.12 apollon132 solidity/no_adts/unit_tests/types/static_array_length_1.sol_0_no_adts_000.smt2 unknown 29.16 10.34 apollon122 solidity/no_adts/unit_tests/types/string_literal_assignment_2.sol_1_no_adts_000.smt2 true 22.70 9.62 apollon062 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_1_no_adts_000.smt2 unknown 39.07 11.27 apollon148 solidity/no_adts/unit_tests/types/bool_simple_3.sol_0_no_adts_000.smt2 true 16.25 5.06 apollon152 solidity/no_adts/unit_tests/types/tuple_assignment_array_empty.sol_2_no_adts_000.smt2 true 30.93 15.10 apollon116 solidity/no_adts/unit_tests/types/array_literal_2.sol_2_no_adts_000.smt2 true 27.98 11.00 apollon019 solidity/no_adts/unit_tests/types/fixed_bytes_access_2.sol_0_no_adts_000.smt2 true 16.74 5.27 apollon145 solidity/no_adts/unit_tests/types/array_literal_3.sol_4_no_adts_000.smt2 true 26.61 10.67 apollon062 solidity/no_adts/unit_tests/types/array_literal_2.sol_5_no_adts_000.smt2 true 27.65 10.87 apollon144 solidity/no_adts/unit_tests/types/enum_in_library.sol_0_no_adts_000.smt2 true 15.39 4.79 apollon042 solidity/no_adts/unit_tests/types/type_minmax.sol_3_no_adts_000.smt2 true 59.41 37.00 apollon122 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_2_no_adts_000.smt2 TIMEOUT 1800.49 1703.18 apollon040 solidity/no_adts/unit_tests/types/array_literal_6.sol_9_no_adts_000.smt2 true 42.29 22.21 apollon014 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_3_no_adts_000.smt2 unknown 16.31 4.40 apollon158 solidity/no_adts/unit_tests/types/array_literal_2.sol_8_no_adts_000.smt2 true 27.21 10.48 apollon062 solidity/no_adts/unit_tests/types/type_minmax.sol_18_no_adts_000.smt2 true 60.75 37.62 apollon163 solidity/no_adts/unit_tests/types/tuple_extra_parens_7.sol_1_no_adts_000.smt2 unknown 13.06 3.82 apollon132 solidity/no_adts/unit_tests/types/string_length.sol_1_no_adts_000.smt2 true 21.24 7.44 apollon106 solidity/no_adts/unit_tests/types/type_minmax.sol_17_no_adts_000.smt2 true 77.49 53.04 apollon122 solidity/no_adts/unit_tests/types/mapping_1_fail.sol_0_no_adts_000.smt2 unknown 11.63 3.64 apollon049 solidity/no_adts/unit_tests/types/address_delegatecall.sol_3_no_adts_000.smt2 unknown 13.90 4.08 apollon133 solidity/no_adts/unit_tests/types/tuple_declarations.sol_1_no_adts_000.smt2 true 15.91 5.17 apollon138 solidity/no_adts/unit_tests/types/array_branch_1d.sol_2_no_adts_000.smt2 unknown 27.29 7.94 apollon154 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_1_no_adts_000.smt2 unknown 290.23 243.68 apollon022 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_3_no_adts_000.smt2 TIMEOUT 1801.48 1589.94 apollon051 solidity/no_adts/unit_tests/types/tuple_different_count_assignment_1.sol_1_no_adts_000.smt2 true 23.29 10.71 apollon007 solidity/no_adts/unit_tests/types/bool_simple_4.sol_0_no_adts_000.smt2 unknown 11.25 3.54 apollon075 solidity/no_adts/unit_tests/types/type_minmax.sol_15_no_adts_000.smt2 true 60.10 36.99 apollon120 solidity/no_adts/unit_tests/types/tuple_assignment_empty.sol_0_no_adts_000.smt2 unknown 11.88 3.72 apollon033 solidity/no_adts/unit_tests/types/static_array_length_4.sol_0_no_adts_000.smt2 unknown 13.79 3.64 apollon077 solidity/no_adts/unit_tests/types/function_type_arrays.sol_0_no_adts_000.smt2 true 16.88 5.23 apollon143 solidity/no_adts/unit_tests/types/abi_type_type_2.sol_0_no_adts_000.smt2 unknown 10.92 3.22 apollon014 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_7_no_adts_000.smt2 unknown 123.67 88.46 apollon145 solidity/no_adts/unit_tests/types/array_literal_2.sol_0_no_adts_000.smt2 true 27.69 11.51 apollon014 solidity/no_adts/unit_tests/types/type_meta_unsupported.sol_0_no_adts_000.smt2 unknown 47.39 26.89 apollon081 solidity/no_adts/unit_tests/types/tuple_declarations_empty.sol_0_no_adts_000.smt2 true 16.15 5.16 apollon122 solidity/no_adts/unit_tests/types/string_literal_assignment_1.sol_1_no_adts_000.smt2 unknown 11.96 3.49 apollon111 solidity/no_adts/unit_tests/types/static_array_length_4.sol_3_no_adts_000.smt2 unknown 13.45 3.99 apollon042 solidity/no_adts/unit_tests/types/static_array_length_3.sol_1_no_adts_000.smt2 unknown 11.03 3.22 apollon021 solidity/no_adts/unit_tests/types/array_literal_5.sol_9_no_adts_000.smt2 true 50.13 25.48 apollon057 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_8_no_adts_000.smt2 unknown 37.84 11.16 apollon059 solidity/no_adts/unit_tests/types/array_literal_6.sol_2_no_adts_000.smt2 true 45.48 23.25 apollon141 solidity/no_adts/unit_tests/types/array_literal_5.sol_0_no_adts_000.smt2 true 26.33 10.49 apollon132 solidity/no_adts/unit_tests/types/string_literal_assignment_4.sol_0_no_adts_000.smt2 unknown 13.20 3.84 apollon148 solidity/no_adts/unit_tests/types/type_interfaceid.sol_1_no_adts_000.smt2 unknown 14.42 4.02 apollon062 solidity/no_adts/unit_tests/types/address_call.sol_3_no_adts_000.smt2 unknown 30.70 9.40 apollon127 solidity/no_adts/unit_tests/types/address_call.sol_2_no_adts_000.smt2 unknown 57.48 29.76 apollon033 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_4_no_adts_000.smt2 true 43.01 24.32 apollon012 solidity/no_adts/unit_tests/types/storage_value_vars_3.sol_1_no_adts_000.smt2 unknown 14.01 4.04 apollon073 solidity/no_adts/unit_tests/types/tuple_declarations_function_empty.sol_0_no_adts_000.smt2 unknown 11.42 3.53 apollon073 solidity/no_adts/unit_tests/types/type_minmax.sol_1_no_adts_000.smt2 true 61.44 37.60 apollon017 solidity/no_adts/unit_tests/types/mapping_equal_keys_2.sol_1_no_adts_000.smt2 unknown 11.83 3.41 apollon144 solidity/no_adts/unit_tests/types/array_literal_5.sol_7_no_adts_000.smt2 true 29.14 11.53 apollon062 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_6_no_adts_000.smt2 true 43.10 23.87 apollon157 solidity/no_adts/unit_tests/types/array_literal_7.sol_14_no_adts_000.smt2 true 47.29 25.06 apollon143 solidity/no_adts/unit_tests/types/static_array_length_5.sol_1_no_adts_000.smt2 unknown 29.90 10.84 apollon148 solidity/no_adts/unit_tests/types/array_static_1.sol_2_no_adts_000.smt2 true 17.26 5.50 apollon079 solidity/no_adts/unit_tests/types/enum_range.sol_0_no_adts_000.smt2 true 16.23 5.22 apollon049 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_2_no_adts_000.smt2 unknown 35.05 10.45 apollon057 solidity/no_adts/unit_tests/types/tuple_function_3.sol_0_no_adts_000.smt2 unknown 49.64 26.60 apollon094 solidity/no_adts/unit_tests/types/fixed_bytes_1.sol_1_no_adts_000.smt2 unknown 30.64 9.54 apollon048 solidity/no_adts/unit_tests/types/array_branches_1d.sol_4_no_adts_000.smt2 unknown 32.93 10.93 apollon096 solidity/no_adts/unit_tests/types/array_literal_3.sol_2_no_adts_000.smt2 true 30.43 12.66 apollon048 solidity/no_adts/unit_tests/types/address_staticcall.sol_3_no_adts_000.smt2 unknown 34.12 10.99 apollon154 solidity/no_adts/unit_tests/types/string_literal_assignment_5.sol_0_no_adts_000.smt2 unknown 31.90 9.98 apollon111 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_1_no_adts_000.smt2 TIMEOUT 1801.30 1613.72 apollon129 solidity/no_adts/unit_tests/types/type_interfaceid.sol_2_no_adts_000.smt2 true 243.87 218.82 apollon062 solidity/no_adts/unit_tests/types/array_literal_6.sol_6_no_adts_000.smt2 true 41.54 21.19 apollon057 solidity/no_adts/unit_tests/types/type_minmax.sol_9_no_adts_000.smt2 true 60.07 37.27 apollon109 solidity/no_adts/unit_tests/types/tuple_different_count_assignment_1.sol_0_no_adts_000.smt2 unknown 10.81 3.17 apollon062 solidity/no_adts/unit_tests/types/tuple_assignment_array.sol_1_no_adts_000.smt2 true 23.92 7.87 apollon147 solidity/no_adts/unit_tests/types/type_minmax.sol_22_no_adts_000.smt2 true 67.31 44.58 apollon109 solidity/no_adts/unit_tests/types/rational_large_1.sol_1_no_adts_000.smt2 unknown 10.95 3.21 apollon096 solidity/no_adts/unit_tests/types/mapping_aliasing_1.sol_1_no_adts_000.smt2 true 24.32 10.90 apollon143 solidity/no_adts/unit_tests/types/array_literal_2.sol_3_no_adts_000.smt2 true 27.29 10.80 apollon148 solidity/no_adts/unit_tests/types/array_literal_5.sol_3_no_adts_000.smt2 true 27.99 10.83 apollon048 solidity/no_adts/unit_tests/types/array_literal_6.sol_3_no_adts_000.smt2 true 41.01 21.09 apollon144 solidity/no_adts/unit_tests/types/tuple_assignment_empty.sol_1_no_adts_000.smt2 true 22.13 9.58 apollon168 solidity/no_adts/unit_tests/types/static_array_length_4.sol_1_no_adts_000.smt2 unknown 13.41 3.64 apollon143 solidity/no_adts/unit_tests/types/type_minmax.sol_24_no_adts_000.smt2 true 82.96 57.66 apollon048 solidity/no_adts/unit_tests/types/type_minmax.sol_0_no_adts_000.smt2 true 63.80 40.69 apollon002 solidity/no_adts/unit_tests/types/array_literal_3.sol_0_no_adts_000.smt2 true 26.63 10.96 apollon167 solidity/no_adts/unit_tests/types/array_literal_6.sol_4_no_adts_000.smt2 true 45.53 25.13 apollon079 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_5_no_adts_000.smt2 unknown 36.39 10.45 apollon061 solidity/no_adts/unit_tests/types/array_dynamic_parameter_1_fail.sol_0_no_adts_000.smt2 true 21.74 9.26 apollon127 solidity/no_adts/unit_tests/types/array_literal_7.sol_2_no_adts_000.smt2 true 47.65 24.11 apollon094 solidity/no_adts/unit_tests/types/string_literal_assignment_3.sol_1_no_adts_000.smt2 unknown 11.45 3.34 apollon061 solidity/no_adts/unit_tests/types/tuple_assignment_array_empty.sol_4_no_adts_000.smt2 unknown 15.64 4.32 apollon048 solidity/no_adts/unit_tests/types/tuple_assignment_array.sol_5_no_adts_000.smt2 true 23.09 7.51 apollon007 solidity/no_adts/unit_tests/types/array_literal_3.sol_7_no_adts_000.smt2 true 27.61 11.15 apollon113 solidity/no_adts/unit_tests/types/type_minmax.sol_8_no_adts_000.smt2 true 59.00 36.77 apollon122 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_0_no_adts_000.smt2 unknown 21.07 5.45 apollon097 solidity/no_adts/unit_tests/types/rational_large_1.sol_0_no_adts_000.smt2 true 20.54 8.82 apollon034 solidity/no_adts/unit_tests/types/array_literal_7.sol_6_no_adts_000.smt2 true 47.77 25.30 apollon168 solidity/no_adts/unit_tests/types/string_literal_comparison_2.sol_1_no_adts_000.smt2 unknown 28.97 10.40 apollon096 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_6_no_adts_000.smt2 unknown 45.46 18.49 apollon144 solidity/no_adts/unit_tests/types/address_balance.sol_0_no_adts_000.smt2 unknown 10.68 3.15 apollon093 solidity/no_adts/unit_tests/types/tuple_assignment_multiple_calls.sol_0_no_adts_000.smt2 unknown 13.42 3.95 apollon073 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_7_no_adts_000.smt2 unknown 137.13 97.35 apollon106 solidity/no_adts/unit_tests/types/bytes_length.sol_1_no_adts_000.smt2 true 18.73 6.00 apollon079 solidity/no_adts/unit_tests/types/array_dynamic_parameter_1.sol_1_no_adts_000.smt2 true 17.63 5.62 apollon160 solidity/no_adts/unit_tests/types/contract_3.sol_0_no_adts_000.smt2 true 16.40 5.15 apollon116 solidity/no_adts/unit_tests/types/enum_explicit_values.sol_0_no_adts_000.smt2 true 17.00 5.17 apollon062 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_7_no_adts_000.smt2 unknown 39.88 11.13 apollon079 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_4_no_adts_000.smt2 unknown 1158.92 1052.31 apollon146 solidity/no_adts/unit_tests/types/array_literal_3.sol_3_no_adts_000.smt2 unknown 17.10 4.82 apollon152 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_7_no_adts_000.smt2 true 39.09 20.50 apollon065 solidity/no_adts/unit_tests/types/string_length.sol_0_no_adts_000.smt2 true 21.83 7.61 apollon021 solidity/no_adts/unit_tests/types/tuple_assignment.sol_0_no_adts_000.smt2 true 15.44 5.01 apollon073 solidity/no_adts/unit_tests/types/string_literal_assignment_5.sol_1_no_adts_000.smt2 unknown 13.02 4.10 apollon062 solidity/no_adts/unit_tests/types/array_literal_1.sol_1_no_adts_000.smt2 true 18.59 5.86 apollon017 solidity/no_adts/unit_tests/types/array_literal_7.sol_7_no_adts_000.smt2 true 45.73 24.10 apollon073 solidity/no_adts/unit_tests/types/array_dynamic_1_fail.sol_1_no_adts_000.smt2 true 31.01 15.12 apollon019 solidity/no_adts/unit_tests/types/array_branches_1d.sol_0_no_adts_000.smt2 unknown 34.42 11.47 apollon078 solidity/no_adts/unit_tests/types/tuple_declarations_function.sol_2_no_adts_000.smt2 unknown 30.30 10.22 apollon061 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_0_no_adts_000.smt2 true 39.36 21.45 apollon155 solidity/no_adts/unit_tests/types/array_literal_7.sol_9_no_adts_000.smt2 true 47.73 26.38 apollon155 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_5_no_adts_000.smt2 unknown 274.85 229.67 apollon160 solidity/no_adts/unit_tests/types/array_branches_1d.sol_1_no_adts_000.smt2 unknown 33.29 11.19 apollon033 solidity/no_adts/unit_tests/types/array_literal_7.sol_5_no_adts_000.smt2 true 47.55 24.90 apollon135 solidity/no_adts/unit_tests/types/contract_address_conversion.sol_0_no_adts_000.smt2 unknown 10.68 3.25 apollon073 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_3_no_adts_000.smt2 unknown 18.64 4.93 apollon103 solidity/no_adts/unit_tests/types/storage_value_vars_4.sol_0_no_adts_000.smt2 unknown 10.28 3.12 apollon158 solidity/no_adts/unit_tests/types/address_staticcall.sol_2_no_adts_000.smt2 unknown 33.68 11.34 apollon058 solidity/no_adts/unit_tests/types/array_literal_2.sol_7_no_adts_000.smt2 true 27.89 11.23 apollon042 solidity/no_adts/unit_tests/types/type_minmax.sol_6_no_adts_000.smt2 true 57.99 36.70 apollon062 solidity/no_adts/unit_tests/types/enum_transitivity.sol_0_no_adts_000.smt2 true 15.88 5.05 apollon075 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_9_no_adts_000.smt2 TIMEOUT 1800.78 1696.55 apollon141 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_0_no_adts_000.smt2 unknown 37.64 10.52 apollon073 solidity/no_adts/unit_tests/types/tuple_declarations.sol_0_no_adts_000.smt2 true 16.02 5.04 apollon057 solidity/no_adts/unit_tests/types/array_literal_6.sol_7_no_adts_000.smt2 true 43.89 22.26 apollon113 solidity/no_adts/unit_tests/types/type_interfaceid.sol_0_no_adts_000.smt2 true 146.90 125.29 apollon092 solidity/no_adts/unit_tests/types/array_literal_7.sol_3_no_adts_000.smt2 true 48.10 25.95 apollon116 solidity/no_adts/unit_tests/types/type_interfaceid.sol_4_no_adts_000.smt2 true 607.82 306.18 apollon109 solidity/no_adts/unit_tests/types/string_1.sol_0_no_adts_000.smt2 unknown 11.19 3.21 apollon049 solidity/no_adts/unit_tests/types/array_literal_7.sol_10_no_adts_000.smt2 unknown 21.20 5.68 apollon113 solidity/no_adts/unit_tests/types/bool_int_mixed_2.sol_0_no_adts_000.smt2 true 16.10 5.10 apollon155 solidity/no_adts/unit_tests/types/fixed_bytes_access_2.sol_1_no_adts_000.smt2 true 16.26 5.33 apollon014 solidity/no_adts/unit_tests/types/array_literal_7.sol_11_no_adts_000.smt2 true 43.31 22.08 apollon048 solidity/no_adts/unit_tests/types/bytes_2.sol_1_no_adts_000.smt2 true 22.75 9.35 apollon079 solidity/no_adts/unit_tests/types/array_literal_5.sol_8_no_adts_000.smt2 true 29.40 11.93 apollon138 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_5_no_adts_000.smt2 TIMEOUT 1801.22 1680.53 apollon093 solidity/no_adts/unit_tests/types/mapping_equal_keys_1.sol_0_no_adts_000.smt2 true 15.72 5.13 apollon067 solidity/no_adts/unit_tests/types/mapping_aliasing_1.sol_0_no_adts_000.smt2 unknown 14.04 4.18 apollon078 solidity/no_adts/unit_tests/types/array_dynamic_parameter_1_fail.sol_1_no_adts_000.smt2 unknown 11.70 3.62 apollon037 solidity/no_adts/unit_tests/types/address_delegatecall.sol_0_no_adts_000.smt2 unknown 187.30 137.52 apollon079 solidity/no_adts/unit_tests/types/array_static_1.sol_1_no_adts_000.smt2 true 17.53 5.59 apollon147 solidity/no_adts/unit_tests/types/enum_storage_eq.sol_0_no_adts_000.smt2 unknown 11.13 3.51 apollon112 solidity/no_adts/unit_tests/types/tuple_extra_parens_7.sol_0_no_adts_000.smt2 unknown 13.22 3.92 apollon011 solidity/no_adts/unit_tests/types/type_minmax.sol_21_no_adts_000.smt2 true 60.35 37.85 apollon158 solidity/no_adts/unit_tests/types/static_array_length_1.sol_1_no_adts_000.smt2 unknown 12.38 3.76 apollon067 solidity/no_adts/unit_tests/types/array_literal_5.sol_5_no_adts_000.smt2 true 29.63 12.21 apollon153 solidity/no_adts/unit_tests/types/type_minmax.sol_13_no_adts_000.smt2 true 58.73 36.81 apollon061 solidity/no_adts/unit_tests/types/type_minmax.sol_7_no_adts_000.smt2 true 80.54 55.75 apollon058 solidity/no_adts/unit_tests/types/array_literal_5.sol_2_no_adts_000.smt2 true 27.38 11.47 apollon066 solidity/no_adts/unit_tests/types/enum_in_library_2.sol_0_no_adts_000.smt2 unknown 10.60 3.15 apollon014 solidity/no_adts/unit_tests/types/contract_address_conversion_2.sol_1_no_adts_000.smt2 true 16.30 5.20 apollon047 solidity/no_adts/unit_tests/types/tuple_assignment_array.sol_4_no_adts_000.smt2 true 22.94 7.10 apollon042 solidity/no_adts/unit_tests/types/array_branch_1d.sol_3_no_adts_000.smt2 unknown 13.76 4.12 apollon163 solidity/no_adts/unit_tests/types/static_array_length_4.sol_6_no_adts_000.smt2 unknown 13.40 3.97 apollon075 solidity/no_adts/unit_tests/types/tuple_function.sol_0_no_adts_000.smt2 unknown 28.10 9.17 apollon143 solidity/no_adts/unit_tests/types/tuple_assignment_array_empty.sol_0_no_adts_000.smt2 true 31.16 14.99 apollon042 solidity/no_adts/unit_tests/types/type_minmax.sol_2_no_adts_000.smt2 true 60.35 36.94 apollon113 solidity/no_adts/unit_tests/types/bytes_2_fail.sol_0_no_adts_000.smt2 true 22.86 9.36 apollon094 solidity/no_adts/unit_tests/types/static_array_length_4.sol_4_no_adts_000.smt2 unknown 14.23 4.18 apollon141 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_8_no_adts_000.smt2 TIMEOUT 1801.25 1624.19 apollon047 solidity/no_adts/unit_tests/types/type_minmax.sol_14_no_adts_000.smt2 unknown 22.32 6.32 apollon097 solidity/no_adts/unit_tests/types/array_literal_3.sol_6_no_adts_000.smt2 true 27.18 10.85 apollon155 solidity/no_adts/unit_tests/types/bool_int_mixed_1.sol_0_no_adts_000.smt2 unknown 10.85 3.12 apollon042 solidity/no_adts/unit_tests/types/type_minmax.sol_4_no_adts_000.smt2 true 59.11 36.72 apollon163 solidity/no_adts/unit_tests/types/tuple_function_2.sol_0_no_adts_000.smt2 unknown 30.09 9.72 apollon058 solidity/no_adts/unit_tests/types/array_static_1_fail.sol_2_no_adts_000.smt2 true 23.36 10.04 apollon127 solidity/no_adts/unit_tests/types/array_literal_6.sol_10_no_adts_000.smt2 true 148.26 83.75 apollon109 solidity/no_adts/unit_tests/types/tuple_assignment.sol_1_no_adts_000.smt2 true 16.14 5.24 apollon049 solidity/no_adts/unit_tests/types/static_array_length_4.sol_2_no_adts_000.smt2 unknown 14.13 4.20 apollon048 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_4_no_adts_000.smt2 unknown 92.86 60.73 apollon154 solidity/no_adts/unit_tests/types/array_literal_6.sol_0_no_adts_000.smt2 true 44.09 22.82 apollon116 solidity/no_adts/unit_tests/types/storage_value_vars_1.sol_0_no_adts_000.smt2 unknown 11.77 3.32 apollon079 solidity/no_adts/unit_tests/types/fixed_bytes_2.sol_1_no_adts_000.smt2 unknown 13.99 3.96 apollon116 solidity/no_adts/unit_tests/types/array_static_1_fail.sol_1_no_adts_000.smt2 true 24.17 10.09 apollon056 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_6_no_adts_000.smt2 unknown 1149.99 1075.27 apollon073 solidity/no_adts/unit_tests/types/array_literal_5.sol_4_no_adts_000.smt2 true 29.00 11.35 apollon135 solidity/no_adts/unit_tests/types/static_array_length_3.sol_2_no_adts_000.smt2 unknown 28.18 9.69 apollon042 solidity/no_adts/unit_tests/types/array_literal_5.sol_1_no_adts_000.smt2 unknown 17.07 4.82 apollon119 solidity/no_adts/unit_tests/types/array_literal_7.sol_4_no_adts_000.smt2 true 48.02 25.62 apollon077 solidity/no_adts/unit_tests/types/array_literal_2.sol_1_no_adts_000.smt2 unknown 15.77 4.28 apollon116 solidity/no_adts/unit_tests/types/tuple_assignment_array_empty.sol_3_no_adts_000.smt2 true 31.41 14.96 apollon058 solidity/no_adts/unit_tests/types/type_minmax.sol_20_no_adts_000.smt2 true 209.14 139.73 apollon160 solidity/no_adts/unit_tests/types/contract_address_conversion_2.sol_0_no_adts_000.smt2 true 16.01 5.15 apollon021 solidity/no_adts/unit_tests/types/type_minmax.sol_23_no_adts_000.smt2 true 67.49 43.85 apollon103 solidity/no_adts/unit_tests/types/array_dynamic_parameter_1.sol_0_no_adts_000.smt2 true 17.07 5.48 apollon158 solidity/no_adts/unit_tests/types/array_aliasing_memory_3.sol_10_no_adts_000.smt2 TIMEOUT 1800.53 1693.35 apollon122 solidity/no_adts/unit_tests/types/tuple_assignment_array.sol_0_no_adts_000.smt2 true 22.84 7.41 apollon066 solidity/no_adts/unit_tests/types/array_literal_6.sol_5_no_adts_000.smt2 true 40.98 21.31 apollon119 solidity/no_adts/unit_tests/types/tuple_declarations_function.sol_0_no_adts_000.smt2 unknown 49.45 26.84 apollon098 solidity/no_adts/unit_tests/types/tuple_function_3.sol_2_no_adts_000.smt2 unknown 30.24 10.21 apollon155 solidity/no_adts/unit_tests/types/type_interfaceid.sol_3_no_adts_000.smt2 unknown 14.52 4.17 apollon164 solidity/no_adts/unit_tests/types/type_minmax.sol_12_no_adts_000.smt2 true 57.79 36.51 apollon019 solidity/no_adts/unit_tests/types/address_staticcall.sol_1_no_adts_000.smt2 unknown 37.17 11.53 apollon049 solidity/no_adts/unit_tests/types/tuple_assignment_array.sol_3_no_adts_000.smt2 true 22.77 7.56 apollon037 solidity/no_adts/unit_tests/types/address_call.sol_0_no_adts_000.smt2 unknown 15.67 4.35 apollon001 solidity/no_adts/unit_tests/types/static_array_length_2.sol_0_no_adts_000.smt2 true 32.70 18.13 apollon066 solidity/no_adts/unit_tests/types/bytes_2_fail.sol_1_no_adts_000.smt2 unknown 12.40 3.50 apollon081 solidity/no_adts/unit_tests/types/array_branch_1d.sol_1_no_adts_000.smt2 unknown 26.43 7.74 apollon061 solidity/no_adts/unit_tests/types/array_literal_7.sol_8_no_adts_000.smt2 true 48.88 27.79 apollon077 solidity/no_adts/unit_tests/types/storage_value_vars_2.sol_0_no_adts_000.smt2 unknown 10.76 3.20 apollon002 solidity/no_adts/unit_tests/types/bytes_2_fail.sol_2_no_adts_000.smt2 true 25.37 11.07 apollon160 solidity/no_adts/unit_tests/types/array_literal_3.sol_5_no_adts_000.smt2 true 26.77 11.46 apollon134 solidity/no_adts/unit_tests/types/bool_int_mixed_3.sol_0_no_adts_000.smt2 unknown 13.44 4.06 apollon039 solidity/no_adts/unit_tests/types/address_staticcall.sol_0_no_adts_000.smt2 unknown 16.94 4.47 apollon122 solidity/no_adts/unit_tests/types/bool_simple_2.sol_0_no_adts_000.smt2 unknown 10.60 3.46 apollon077 solidity/no_adts/unit_tests/types/type_minmax.sol_16_no_adts_000.smt2 true 59.49 36.60 apollon109 solidity/no_adts/unit_tests/types/storage_value_vars_3.sol_0_no_adts_000.smt2 true 27.53 13.20 apollon138 solidity/no_adts/unit_tests/types/array_branches_1d.sol_3_no_adts_000.smt2 unknown 33.81 11.28 apollon138 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_2_no_adts_000.smt2 true 42.10 22.73 apollon062 solidity/no_adts/unit_tests/types/array_literal_2.sol_4_no_adts_000.smt2 true 27.05 10.92 apollon014 solidity/no_adts/unit_tests/types/static_array_length_2.sol_1_no_adts_000.smt2 unknown 28.55 10.03 apollon148 solidity/no_adts/unit_tests/types/array_literal_1.sol_5_no_adts_000.smt2 true 17.89 5.72 apollon073 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_8_no_adts_000.smt2 unknown 248.42 204.38 apollon134 solidity/no_adts/unit_tests/types/type_minmax.sol_10_no_adts_000.smt2 true 59.47 36.73 apollon002 solidity/no_adts/unit_tests/types/fixed_bytes_range.sol_0_no_adts_000.smt2 true 16.15 5.26 apollon141 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_6_no_adts_000.smt2 unknown 38.64 10.83 apollon037 solidity/no_adts/unit_tests/types/tuple_assignment_array_empty.sol_1_no_adts_000.smt2 true 32.91 16.48 apollon122 solidity/no_adts/unit_tests/types/array_dynamic_1.sol_1_no_adts_000.smt2 true 21.38 7.65 apollon081 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_2_no_adts_000.smt2 unknown 264.13 217.28 apollon019 solidity/no_adts/unit_tests/types/bytes_2.sol_0_no_adts_000.smt2 unknown 12.27 3.75 apollon143 solidity/no_adts/unit_tests/types/array_literal_6.sol_11_no_adts_000.smt2 true 47.31 26.16 apollon128 solidity/no_adts/unit_tests/types/static_array_length_5.sol_0_no_adts_000.smt2 unknown 48.64 27.62 apollon167 solidity/no_adts/unit_tests/types/enum_in_struct.sol_0_no_adts_000.smt2 true 15.23 4.79 apollon059 solidity/no_adts/unit_tests/types/string_literal_comparison_2.sol_0_no_adts_000.smt2 unknown 11.73 3.38 apollon075 solidity/no_adts/unit_tests/types/tuple_array_pop_1.sol_0_no_adts_000.smt2 unknown 10.33 3.01 apollon073 solidity/no_adts/unit_tests/types/array_literal_3.sol_8_no_adts_000.smt2 true 27.53 11.35 apollon049 solidity/no_adts/unit_tests/types/array_static_1_fail.sol_0_no_adts_000.smt2 unknown 12.72 3.98 apollon040 solidity/no_adts/unit_tests/types/array_aliasing_memory_2.sol_0_no_adts_000.smt2 unknown 256.19 212.07 apollon160 solidity/no_adts/unit_tests/types/static_array_length_2.sol_2_no_adts_000.smt2 unknown 11.53 3.67 apollon158 solidity/no_adts/unit_tests/types/tuple_different_count_assignment_2.sol_0_no_adts_000.smt2 unknown 10.52 3.16 apollon014 solidity/no_adts/unit_tests/types/mapping_equal_keys_2.sol_0_no_adts_000.smt2 unknown 30.49 10.86 apollon075 solidity/no_adts/unit_tests/types/array_dynamic_parameter_1.sol_2_no_adts_000.smt2 true 17.42 5.53 apollon146 solidity/no_adts/unit_tests/types/bytes_2.sol_2_no_adts_000.smt2 true 24.96 11.15 apollon046 solidity/no_adts/unit_tests/types/string_literal_assignment_3.sol_0_no_adts_000.smt2 true 23.70 10.56 apollon122 solidity/no_adts/unit_tests/types/array_dynamic_1.sol_0_no_adts_000.smt2 true 21.83 7.85 apollon128 solidity/no_adts/unit_tests/types/array_literal_1.sol_3_no_adts_000.smt2 true 18.72 6.12 apollon062 solidity/no_adts/unit_tests/types/string_literal_assignment_4.sol_1_no_adts_000.smt2 unknown 28.36 9.57 apollon128 solidity/no_adts/unit_tests/types/string_length.sol_2_no_adts_000.smt2 true 22.39 7.72 apollon077 solidity/no_adts/unit_tests/types/address_delegatecall.sol_2_no_adts_000.smt2 unknown 34.39 12.02 apollon155 solidity/no_adts/unit_tests/types/tuple_return_branch.sol_0_no_adts_000.smt2 unknown 13.30 3.78 apollon033 solidity/no_adts/unit_tests/types/bool_simple_1.sol_0_no_adts_000.smt2 unknown 10.40 3.11 apollon075 solidity/no_adts/unit_tests/types/array_literal_7.sol_0_no_adts_000.smt2 true 42.67 22.43 apollon094 solidity/no_adts/unit_tests/types/string_literal_assignment_2.sol_0_no_adts_000.smt2 unknown 11.06 3.21 apollon066 solidity/no_adts/unit_tests/types/static_array_length_3.sol_0_no_adts_000.smt2 true 34.13 19.79 apollon143 solidity/no_adts/unit_tests/types/tuple_function_3.sol_1_no_adts_000.smt2 unknown 13.45 3.95 apollon058 solidity/no_adts/unit_tests/types/mapping_3.sol_0_no_adts_000.smt2 true 15.75 4.95 apollon073 solidity/no_adts/unit_tests/types/array_dynamic_1.sol_2_no_adts_000.smt2 true 20.71 7.35 apollon061 solidity/no_adts/unit_tests/types/array_static_aliasing_memory_5.sol_5_no_adts_000.smt2 unknown 37.79 12.71 apollon164 solidity/no_adts/unit_tests/types/address_delegatecall.sol_1_no_adts_000.smt2 unknown 53.23 27.27 apollon036 solidity/no_adts/unit_tests/types/array_static_aliasing_storage_5.sol_4_no_adts_000.smt2 unknown 37.38 10.84 apollon018 solidity/no_adts/unit_tests/types/enum_explicit_values_2.sol_0_no_adts_000.smt2 unknown 10.82 3.50 apollon057 solidity/no_adts/unit_tests/types/tuple_function.sol_1_no_adts_000.smt2 unknown 12.44 3.82 apollon152 solidity/no_adts/unit_tests/types/bytes_length.sol_0_no_adts_000.smt2 true 18.73 6.33 apollon066 solidity/no_adts/unit_tests/types/string_literal_comparison_1.sol_1_no_adts_000.smt2 unknown 11.99 3.73 apollon019 solidity/no_adts/unit_tests/types/array_literal_1.sol_0_no_adts_000.smt2 true 18.11 5.85 apollon066 solidity/no_adts/unit_tests/types/string_literal_assignment_1.sol_0_no_adts_000.smt2 true 21.71 8.97 apollon093 solidity/no_adts/unit_tests/types/type_interfaceid.sol_5_no_adts_000.smt2 true 196.94 173.31 apollon147 solidity/no_adts/unit_tests/types/array_literal_2.sol_6_no_adts_000.smt2 true 26.47 11.23 apollon014 solidity/no_adts/unit_tests/functions/uint.sol_0_no_adts_000.smt2 true 20.41 8.64 apollon155 solidity/no_adts/unit_tests/functions/static_array.sol_3_no_adts_000.smt2 unknown 13.73 4.06 apollon062 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_with_params.sol_1_no_adts_000.smt2 unknown 17.25 4.68 apollon143 solidity/no_adts/unit_tests/functions/super_function_assert.sol_3_no_adts_000.smt2 unknown 24.11 6.68 apollon147 solidity/no_adts/unit_tests/functions/function_inline_chain.sol_1_no_adts_000.smt2 unknown 13.74 3.96 apollon019 solidity/no_adts/unit_tests/functions/virtual_function_called_by_constructor.sol_1_no_adts_000.smt2 true 195.10 161.20 apollon103 solidity/no_adts/unit_tests/functions/struct_with_reassignment.sol_1_no_adts_000.smt2 unknown 15.99 4.22 apollon073 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1_fail.sol_0_no_adts_000.smt2 unknown 1313.21 420.83 apollon002 solidity/no_adts/unit_tests/functions/function_inside_branch_modify_state_var_3.sol_0_no_adts_000.smt2 unknown 15.52 4.24 apollon033 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1_fail.sol_1_no_adts_000.smt2 unknown 223.15 181.73 apollon048 solidity/no_adts/unit_tests/functions/constructor_hierarchy_same_var.sol_0_no_adts_000.smt2 unknown 14.91 4.23 apollon042 solidity/no_adts/unit_tests/functions/virtual_function_called_by_constructor.sol_5_no_adts_000.smt2 unknown 71.48 42.94 apollon155 solidity/no_adts/unit_tests/functions/struct_4.sol_0_no_adts_000.smt2 true 22.95 10.02 apollon144 solidity/no_adts/unit_tests/functions/mapping_1.sol_1_no_adts_000.smt2 true 22.24 9.18 apollon094 solidity/no_adts/unit_tests/functions/functions_library_1.sol_0_no_adts_000.smt2 unknown 13.06 4.03 apollon071 solidity/no_adts/unit_tests/functions/function_call_state_var_init.sol_0_no_adts_000.smt2 unknown 8.85 2.92 apollon132 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1.sol_1_no_adts_000.smt2 unknown 11.06 3.24 apollon061 solidity/no_adts/unit_tests/functions/mapping_with_cast.sol_1_no_adts_000.smt2 unknown 11.27 3.29 apollon118 solidity/no_adts/unit_tests/functions/library_constant.sol_0_no_adts_000.smt2 true 23.00 10.77 apollon014 solidity/no_adts/unit_tests/functions/functions_recursive.sol_0_no_adts_000.smt2 unknown 11.75 3.58 apollon062 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond.sol_1_no_adts_000.smt2 unknown 20.50 5.45 apollon148 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol_0_no_adts_000.smt2 unknown 23.52 6.28 apollon033 solidity/no_adts/unit_tests/functions/payable_2.sol_1_no_adts_000.smt2 unknown 16.20 4.28 apollon094 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 true 739.27 135.69 apollon065 solidity/no_adts/unit_tests/functions/string.sol_0_no_adts_000.smt2 unknown 11.20 3.59 apollon019 solidity/no_adts/unit_tests/functions/address.sol_3_no_adts_000.smt2 unknown 12.74 3.82 apollon111 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 unknown 198.99 157.10 apollon124 solidity/no_adts/unit_tests/functions/static_array.sol_4_no_adts_000.smt2 unknown 69.25 44.26 apollon119 solidity/no_adts/unit_tests/functions/constructor_state_value.sol_1_no_adts_000.smt2 unknown 12.79 3.90 apollon094 solidity/no_adts/unit_tests/functions/functions_storage_var_2_fail.sol_0_no_adts_000.smt2 unknown 13.50 3.98 apollon093 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_2.sol_1_no_adts_000.smt2 unknown 22.52 6.01 apollon046 solidity/no_adts/unit_tests/functions/internal_multiple_calls_with_assertion_1_fail.sol_1_no_adts_000.smt2 unknown 9.06 2.86 apollon039 solidity/no_adts/unit_tests/functions/fixed_bytes.sol_3_no_adts_000.smt2 unknown 13.92 4.18 apollon066 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1_fail.sol_1_no_adts_000.smt2 unknown 11.42 3.37 apollon118 solidity/no_adts/unit_tests/functions/constructor_hierarchy_4.sol_0_no_adts_000.smt2 unknown 18.61 5.09 apollon019 solidity/no_adts/unit_tests/functions/constructor_hierarchy_empty_chain.sol_1_no_adts_000.smt2 unknown 16.36 4.45 apollon128 solidity/no_adts/unit_tests/functions/function_inside_branch_modify_state_var.sol_0_no_adts_000.smt2 unknown 12.23 3.67 apollon155 solidity/no_adts/unit_tests/functions/array_1.sol_1_no_adts_000.smt2 unknown 40.32 18.14 apollon144 solidity/no_adts/unit_tests/functions/payable_2.sol_0_no_adts_000.smt2 unknown 15.79 4.26 apollon128 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_local_vars.sol_1_no_adts_000.smt2 unknown 15.96 4.29 apollon039 solidity/no_adts/unit_tests/functions/internal_multiple_calls_with_assertion_1.sol_0_no_adts_000.smt2 unknown 75.35 46.93 apollon024 solidity/no_adts/unit_tests/functions/struct_4.sol_1_no_adts_000.smt2 unknown 10.80 3.10 apollon061 solidity/no_adts/unit_tests/functions/address.sol_1_no_adts_000.smt2 unknown 30.66 10.47 apollon048 solidity/no_adts/unit_tests/functions/constructor_state_value_parameter.sol_1_no_adts_000.smt2 unknown 11.63 3.40 apollon061 solidity/no_adts/unit_tests/functions/functions_identity_2_fail.sol_0_no_adts_000.smt2 unknown 14.95 4.22 apollon002 solidity/no_adts/unit_tests/functions/this_external_call_sender.sol_0_no_adts_000.smt2 unknown 17.28 4.86 apollon096 solidity/no_adts/unit_tests/functions/functions_storage_var_1.sol_0_no_adts_000.smt2 unknown 12.63 3.69 apollon144 solidity/no_adts/unit_tests/functions/virtual_function_called_by_constructor.sol_4_no_adts_000.smt2 unknown 12.36 3.38 apollon138 solidity/no_adts/unit_tests/functions/library_constant.sol_2_no_adts_000.smt2 unknown 10.69 3.24 apollon122 solidity/no_adts/unit_tests/functions/constructor_hierarchy_same_var.sol_1_no_adts_000.smt2 unknown 15.14 4.34 apollon049 solidity/no_adts/unit_tests/functions/this_external_call_return.sol_0_no_adts_000.smt2 unknown 14.09 3.90 apollon073 solidity/no_adts/unit_tests/functions/function_inline_chain.sol_0_no_adts_000.smt2 unknown 28.53 8.28 apollon127 solidity/no_adts/unit_tests/functions/internal_call_inheritance.sol_0_no_adts_000.smt2 unknown 15.55 4.21 apollon066 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_empty_base.sol_1_no_adts_000.smt2 unknown 15.39 4.22 apollon164 solidity/no_adts/unit_tests/functions/static_array.sol_2_no_adts_000.smt2 unknown 66.47 41.88 apollon061 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1.sol_3_no_adts_000.smt2 unknown 11.34 3.33 apollon037 solidity/no_adts/unit_tests/functions/struct_with_reassignment.sol_0_no_adts_000.smt2 true 62.38 44.34 apollon081 solidity/no_adts/unit_tests/functions/contract.sol_1_no_adts_000.smt2 unknown 11.13 3.52 apollon048 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.37 4.26 apollon014 solidity/no_adts/unit_tests/functions/function_inside_branch_modify_state_var_3.sol_1_no_adts_000.smt2 unknown 16.03 4.30 apollon079 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1.sol_2_no_adts_000.smt2 unknown 11.26 3.29 apollon065 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_3.sol_1_no_adts_000.smt2 unknown 22.81 5.93 apollon155 solidity/no_adts/unit_tests/functions/constructor_simple.sol_1_no_adts_000.smt2 unknown 12.58 3.87 apollon096 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1.sol_1_no_adts_000.smt2 unknown 198.02 158.57 apollon079 solidity/no_adts/unit_tests/functions/constructor_simple.sol_0_no_adts_000.smt2 unknown 9.18 2.98 apollon152 solidity/no_adts/unit_tests/functions/functions_bound_1.sol_0_no_adts_000.smt2 unknown 11.56 3.59 apollon048 solidity/no_adts/unit_tests/functions/functions_bound_1_fail.sol_0_no_adts_000.smt2 unknown 11.85 3.35 apollon135 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_3.sol_0_no_adts_000.smt2 unknown 21.77 5.75 apollon066 solidity/no_adts/unit_tests/functions/functions_external_1.sol_0_no_adts_000.smt2 unknown 27.89 9.26 apollon019 solidity/no_adts/unit_tests/functions/virtual_function_called_by_constructor.sol_3_no_adts_000.smt2 unknown 13.54 3.99 apollon062 solidity/no_adts/unit_tests/functions/constructor_hierarchy_empty_middle.sol_1_no_adts_000.smt2 unknown 12.51 3.62 apollon119 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_empty_middle.sol_0_no_adts_000.smt2 unknown 13.19 3.86 apollon047 solidity/no_adts/unit_tests/functions/functions_identifier_nested_tuple_3.sol_0_no_adts_000.smt2 unknown 10.15 3.04 apollon066 solidity/no_adts/unit_tests/functions/functions_external_2.sol_2_no_adts_000.smt2 unknown 31.63 9.63 apollon014 solidity/no_adts/unit_tests/functions/constructor_hierarchy_empty_middle_no_invocation.sol_0_no_adts_000.smt2 unknown 12.32 3.48 apollon122 solidity/no_adts/unit_tests/functions/super_function_assert.sol_1_no_adts_000.smt2 unknown 23.34 6.51 apollon119 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1_fail.sol_4_no_adts_000.smt2 unknown 103.44 72.10 apollon094 solidity/no_adts/unit_tests/functions/functions_identifier_nested_tuple_1.sol_0_no_adts_000.smt2 unknown 11.96 3.66 apollon033 solidity/no_adts/unit_tests/functions/array_1.sol_0_no_adts_000.smt2 unknown 12.57 3.72 apollon153 solidity/no_adts/unit_tests/functions/functions_recursive_indirect.sol_1_no_adts_000.smt2 unknown 15.16 4.16 apollon144 solidity/no_adts/unit_tests/functions/static_array.sol_1_no_adts_000.smt2 unknown 29.68 11.07 apollon049 solidity/no_adts/unit_tests/functions/string.sol_1_no_adts_000.smt2 true 24.65 11.10 apollon058 solidity/no_adts/unit_tests/functions/constructor_hierarchy_2.sol_1_no_adts_000.smt2 unknown 13.74 4.04 apollon081 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol_1_no_adts_000.smt2 unknown 16.93 4.60 apollon148 solidity/no_adts/unit_tests/functions/functions_storage_var_2.sol_0_no_adts_000.smt2 unknown 14.40 3.92 apollon056 solidity/no_adts/unit_tests/functions/bytes.sol_1_no_adts_000.smt2 true 20.89 8.98 apollon073 solidity/no_adts/unit_tests/functions/constructor_hierarchy_3.sol_0_no_adts_000.smt2 unknown 18.87 5.20 apollon116 solidity/no_adts/unit_tests/functions/super_function_assert.sol_2_no_adts_000.smt2 unknown 25.10 6.69 apollon062 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1.sol_4_no_adts_000.smt2 unknown 100.29 69.95 apollon089 solidity/no_adts/unit_tests/functions/constructor_hierarchy_empty_chain.sol_0_no_adts_000.smt2 unknown 14.75 4.19 apollon062 solidity/no_adts/unit_tests/functions/address.sol_0_no_adts_000.smt2 true 37.89 23.19 apollon132 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond.sol_0_no_adts_000.smt2 unknown 21.87 5.81 apollon154 solidity/no_adts/unit_tests/functions/functions_identity_as_tuple.sol_0_no_adts_000.smt2 unknown 12.67 3.70 apollon039 solidity/no_adts/unit_tests/functions/library_constant.sol_1_no_adts_000.smt2 unknown 12.58 3.72 apollon098 solidity/no_adts/unit_tests/functions/constructor_hierarchy_empty_middle.sol_0_no_adts_000.smt2 unknown 11.80 3.35 apollon021 solidity/no_adts/unit_tests/functions/struct_with_reassignment.sol_3_no_adts_000.smt2 true 79.64 57.52 apollon059 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain.sol_0_no_adts_000.smt2 unknown 16.63 4.28 apollon094 solidity/no_adts/unit_tests/functions/virtual_function_assert.sol_1_no_adts_000.smt2 unknown 17.53 4.80 apollon113 solidity/no_adts/unit_tests/functions/fixed_bytes.sol_2_no_adts_000.smt2 unknown 32.07 10.93 apollon077 solidity/no_adts/unit_tests/functions/constructor_hierarchy.sol_1_no_adts_000.smt2 unknown 14.70 4.21 apollon002 solidity/no_adts/unit_tests/functions/functions_identity_as_tuple_fail.sol_0_no_adts_000.smt2 unknown 12.58 3.75 apollon122 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 11.18 3.31 apollon128 solidity/no_adts/unit_tests/functions/super_function_assert.sol_5_no_adts_000.smt2 unknown 26.93 7.18 apollon152 solidity/no_adts/unit_tests/functions/internal_multiple_calls_with_assertion_1_fail.sol_2_no_adts_000.smt2 unknown 77.64 48.11 apollon153 solidity/no_adts/unit_tests/functions/function.sol_0_no_adts_000.smt2 unknown 14.68 4.11 apollon103 solidity/no_adts/unit_tests/functions/library_after_contract.sol_0_no_adts_000.smt2 unknown 11.52 3.61 apollon111 solidity/no_adts/unit_tests/functions/internal_multiple_calls_with_assertion_1.sol_1_no_adts_000.smt2 unknown 14.17 4.02 apollon019 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1_fail.sol_3_no_adts_000.smt2 unknown 14.22 4.06 apollon164 solidity/no_adts/unit_tests/functions/this_external_call_tx_origin.sol_0_no_adts_000.smt2 unknown 12.61 3.85 apollon061 solidity/no_adts/unit_tests/functions/constructor_state_value_parameter.sol_0_no_adts_000.smt2 unknown 9.50 2.95 apollon093 solidity/no_adts/unit_tests/functions/this_external_call.sol_0_no_adts_000.smt2 unknown 13.32 3.96 apollon077 solidity/no_adts/unit_tests/functions/functions_external_2.sol_0_no_adts_000.smt2 unknown 14.99 4.11 apollon066 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_local_vars.sol_0_no_adts_000.smt2 unknown 18.09 4.90 apollon056 solidity/no_adts/unit_tests/functions/super_function_assert.sol_4_no_adts_000.smt2 unknown 25.43 6.81 apollon079 solidity/no_adts/unit_tests/functions/functions_external_3.sol_0_no_adts_000.smt2 unknown 13.20 3.92 apollon048 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_empty_base.sol_0_no_adts_000.smt2 unknown 20.04 5.42 apollon148 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1.sol_0_no_adts_000.smt2 unknown 11.39 3.39 apollon098 solidity/no_adts/unit_tests/functions/struct_with_reassignment.sol_2_no_adts_000.smt2 true 66.62 47.09 apollon106 solidity/no_adts/unit_tests/functions/double_access.sol_2_no_adts_000.smt2 true 23.39 9.93 apollon153 solidity/no_adts/unit_tests/functions/uint.sol_1_no_adts_000.smt2 unknown 11.86 3.69 apollon048 solidity/no_adts/unit_tests/functions/virtual_function_called_by_constructor.sol_2_no_adts_000.smt2 true 201.21 170.24 apollon049 solidity/no_adts/unit_tests/functions/constructor_hierarchy_modifier.sol_0_no_adts_000.smt2 unknown 14.57 4.21 apollon040 solidity/no_adts/unit_tests/functions/constructor_hierarchy.sol_0_no_adts_000.smt2 unknown 15.37 4.44 apollon079 solidity/no_adts/unit_tests/functions/bytes.sol_0_no_adts_000.smt2 unknown 11.33 3.53 apollon120 solidity/no_adts/unit_tests/functions/functions_library_1_fail.sol_0_no_adts_000.smt2 unknown 12.00 3.65 apollon146 solidity/no_adts/unit_tests/functions/internal_multiple_calls_with_assertion_1_fail.sol_0_no_adts_000.smt2 unknown 14.25 4.00 apollon124 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1.sol_0_no_adts_000.smt2 unknown 9.43 3.01 apollon002 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1_fail.sol_3_no_adts_000.smt2 unknown 12.26 3.55 apollon079 solidity/no_adts/unit_tests/functions/this_external_call_2.sol_0_no_adts_000.smt2 unknown 30.96 9.24 apollon033 solidity/no_adts/unit_tests/functions/constructor_state_value.sol_0_no_adts_000.smt2 unknown 9.16 2.97 apollon148 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1_fail.sol_2_no_adts_000.smt2 unknown 9.14 2.89 apollon037 solidity/no_adts/unit_tests/functions/address.sol_2_no_adts_000.smt2 true 39.41 24.12 apollon097 solidity/no_adts/unit_tests/functions/internal_multiple_calls_with_assertion_1.sol_2_no_adts_000.smt2 unknown 9.61 2.98 apollon134 solidity/no_adts/unit_tests/functions/double_access.sol_0_no_adts_000.smt2 true 71.28 42.16 apollon073 solidity/no_adts/unit_tests/functions/library_constant_2.sol_0_no_adts_000.smt2 true 16.84 5.28 apollon168 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_empty_middle_empty_base.sol_0_no_adts_000.smt2 unknown 16.47 4.32 apollon033 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_empty_middle.sol_1_no_adts_000.smt2 unknown 12.75 3.49 apollon128 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain.sol_1_no_adts_000.smt2 unknown 17.20 4.48 apollon048 solidity/no_adts/unit_tests/functions/mapping_with_cast.sol_0_no_adts_000.smt2 true 21.03 8.81 apollon036 solidity/no_adts/unit_tests/functions/constructor_hierarchy_2.sol_2_no_adts_000.smt2 unknown 14.05 4.07 apollon144 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_empty_middle_empty_base.sol_1_no_adts_000.smt2 unknown 12.76 3.50 apollon037 solidity/no_adts/unit_tests/functions/double_access.sol_1_no_adts_000.smt2 unknown 12.36 3.55 apollon158 solidity/no_adts/unit_tests/functions/functions_external_1.sol_1_no_adts_000.smt2 unknown 12.12 3.63 apollon061 solidity/no_adts/unit_tests/functions/this_external_call_sender.sol_2_no_adts_000.smt2 unknown 134.51 98.94 apollon048 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol_3_no_adts_000.smt2 unknown 23.56 6.49 apollon138 solidity/no_adts/unit_tests/functions/struct_with_reassignment.sol_4_no_adts_000.smt2 unknown 43.06 18.36 apollon098 solidity/no_adts/unit_tests/functions/virtual_function_called_by_constructor.sol_0_no_adts_000.smt2 unknown 113.37 82.37 apollon111 solidity/no_adts/unit_tests/functions/function_inside_branch_modify_state_var_2.sol_0_no_adts_000.smt2 unknown 13.77 3.84 apollon079 solidity/no_adts/unit_tests/functions/functions_identity_1_fail.sol_0_no_adts_000.smt2 unknown 13.38 3.76 apollon146 solidity/no_adts/unit_tests/functions/static_array.sol_0_no_adts_000.smt2 unknown 49.20 26.18 apollon118 solidity/no_adts/unit_tests/functions/constructor_hierarchy_diamond_2.sol_0_no_adts_000.smt2 unknown 21.65 5.50 apollon066 solidity/no_adts/unit_tests/functions/fixed_bytes.sol_1_no_adts_000.smt2 true 34.79 19.35 apollon094 solidity/no_adts/unit_tests/functions/functions_external_3.sol_1_no_adts_000.smt2 unknown 12.45 3.73 apollon061 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_inheritance_1_fail.sol_0_no_adts_000.smt2 unknown 11.53 3.20 apollon143 solidity/no_adts/unit_tests/functions/this_external_call_sender.sol_3_no_adts_000.smt2 unknown 32.54 9.74 apollon116 solidity/no_adts/unit_tests/functions/this_external_call_2.sol_1_no_adts_000.smt2 unknown 14.54 4.11 apollon111 solidity/no_adts/unit_tests/functions/virtual_function_assert.sol_0_no_adts_000.smt2 unknown 16.58 4.62 apollon098 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_with_params_2.sol_2_no_adts_000.smt2 unknown 18.67 5.17 apollon155 solidity/no_adts/unit_tests/functions/functions_identity_1.sol_0_no_adts_000.smt2 unknown 13.77 3.89 apollon062 solidity/no_adts/unit_tests/functions/constructor_state_value_inherited.sol_1_no_adts_000.smt2 unknown 11.42 3.48 apollon157 solidity/no_adts/unit_tests/functions/functions_external_4.sol_0_no_adts_000.smt2 unknown 11.45 3.30 apollon037 solidity/no_adts/unit_tests/functions/functions_storage_var_1_fail.sol_0_no_adts_000.smt2 unknown 12.58 3.48 apollon134 solidity/no_adts/unit_tests/functions/constructor_hierarchy_mixed_chain_with_params.sol_0_no_adts_000.smt2 unknown 20.18 5.53 apollon112 solidity/no_adts/unit_tests/functions/this_external_call_sender.sol_1_no_adts_000.smt2 unknown 73.45 43.14 apollon148 solidity/no_adts/unit_tests/functions/functions_identity_2.sol_0_no_adts_000.smt2 unknown 14.59 4.17 apollon097 solidity/no_adts/unit_tests/functions/constructor_hierarchy_3.sol_1_no_adts_000.smt2 unknown 19.53 5.27 apollon040 solidity/no_adts/unit_tests/functions/constructor_hierarchy_2.sol_0_no_adts_000.smt2 unknown 13.94 4.11 apollon059 solidity/no_adts/unit_tests/functions/functions_external_2.sol_1_no_adts_000.smt2 unknown 68.02 41.20 apollon093 solidity/no_adts/unit_tests/functions/functions_recursive_indirect.sol_0_no_adts_000.smt2 unknown 15.34 4.21 apollon154 solidity/no_adts/unit_tests/functions/internal_call_with_assertion_1.sol_3_no_adts_000.smt2 unknown 15.10 4.21 apollon058 solidity/no_adts/unit_tests/functions/constructor_state_value_inherited.sol_0_no_adts_000.smt2 unknown 12.51 3.57 apollon062 solidity/no_adts/unit_tests/functions/super_function_assert.sol_0_no_adts_000.smt2 unknown 24.90 6.73 apollon119 solidity/no_adts/unit_tests/functions/fixed_bytes.sol_0_no_adts_000.smt2 true 33.25 17.48 apollon002 solidity/no_adts/unit_tests/functions/virtual_function_assert.sol_2_no_adts_000.smt2 unknown 17.33 4.84 apollon098 solidity/no_adts/unit_tests/blockchain_state/library_internal_1.sol_1_no_adts_000.smt2 unknown 28.94 9.53 apollon073 solidity/no_adts/unit_tests/blockchain_state/balance_receive_ext_calls_2.sol_0_no_adts_000.smt2 unknown 27.62 8.33 apollon093 solidity/no_adts/unit_tests/blockchain_state/balance_zero.sol_1_no_adts_000.smt2 unknown 9.72 3.05 apollon042 solidity/no_adts/unit_tests/blockchain_state/library_public_4.sol_1_no_adts_000.smt2 unknown 29.58 10.56 apollon044 solidity/no_adts/unit_tests/blockchain_state/this_does_not_change_external_call.sol_1_no_adts_000.smt2 unknown 47.71 24.47 apollon059 solidity/no_adts/unit_tests/blockchain_state/library_public_1.sol_0_no_adts_000.smt2 unknown 29.07 10.05 apollon036 solidity/no_adts/unit_tests/blockchain_state/balance_zero_3.sol_0_no_adts_000.smt2 unknown 98.07 70.43 apollon163 solidity/no_adts/unit_tests/blockchain_state/library_public_4.sol_0_no_adts_000.smt2 unknown 13.59 4.00 apollon111 solidity/no_adts/unit_tests/blockchain_state/library_public_4.sol_2_no_adts_000.smt2 unknown 49.12 26.69 apollon146 solidity/no_adts/unit_tests/blockchain_state/this_does_not_change_external_call.sol_0_no_adts_000.smt2 unknown 12.28 3.71 apollon148 solidity/no_adts/unit_tests/blockchain_state/balance_zero_3.sol_2_no_adts_000.smt2 unknown 9.93 2.98 apollon167 solidity/no_adts/unit_tests/blockchain_state/balance_zero_3.sol_1_no_adts_000.smt2 unknown 9.57 2.99 apollon132 solidity/no_adts/unit_tests/blockchain_state/balance_receive.sol_2_no_adts_000.smt2 unknown 43.42 22.41 apollon073 solidity/no_adts/unit_tests/blockchain_state/balance_receive_calls.sol_0_no_adts_000.smt2 unknown 15.17 4.17 apollon145 solidity/no_adts/unit_tests/blockchain_state/library_public_3.sol_2_no_adts_000.smt2 unknown 12.50 3.50 apollon077 solidity/no_adts/unit_tests/blockchain_state/balance_receive_2.sol_0_no_adts_000.smt2 unknown 13.14 3.93 apollon079 solidity/no_adts/unit_tests/blockchain_state/library_public_3.sol_0_no_adts_000.smt2 unknown 51.66 28.33 apollon078 solidity/no_adts/unit_tests/blockchain_state/balance_receive_3.sol_0_no_adts_000.smt2 unknown 8.97 2.86 apollon097 solidity/no_adts/unit_tests/blockchain_state/balance_receive_calls.sol_3_no_adts_000.smt2 unknown 45.28 21.35 apollon019 solidity/no_adts/unit_tests/blockchain_state/balance_non_zero_2.sol_1_no_adts_000.smt2 unknown 11.84 3.38 apollon158 solidity/no_adts/unit_tests/blockchain_state/balance_receive_ext_calls_mutex.sol_0_no_adts_000.smt2 unknown 24.65 6.94 apollon128 solidity/no_adts/unit_tests/blockchain_state/balance_receive_2.sol_1_no_adts_000.smt2 unknown 39.35 17.23 apollon103 solidity/no_adts/unit_tests/blockchain_state/library_public_1.sol_1_no_adts_000.smt2 unknown 12.94 3.95 apollon078 solidity/no_adts/unit_tests/blockchain_state/library_internal_1.sol_0_no_adts_000.smt2 unknown 12.61 3.80 apollon132 solidity/no_adts/unit_tests/blockchain_state/balance_non_zero.sol_0_no_adts_000.smt2 unknown 9.46 2.99 apollon075 solidity/no_adts/unit_tests/blockchain_state/balance_receive.sol_1_no_adts_000.smt2 unknown 120.94 93.08 apollon019 solidity/no_adts/unit_tests/blockchain_state/balance_zero.sol_0_no_adts_000.smt2 unknown 9.75 3.04 apollon116 solidity/no_adts/unit_tests/blockchain_state/balance_zero_4.sol_1_no_adts_000.smt2 unknown 104.92 73.37 apollon118 solidity/no_adts/unit_tests/blockchain_state/balance_receive_calls.sol_5_no_adts_000.smt2 unknown 43.50 20.11 apollon155 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 11.31 3.53 apollon014 solidity/no_adts/unit_tests/blockchain_state/balance_zero_4.sol_0_no_adts_000.smt2 unknown 10.45 3.16 apollon019 solidity/no_adts/unit_tests/blockchain_state/balance_receive_5.sol_0_no_adts_000.smt2 unknown 32.14 12.33 apollon122 solidity/no_adts/unit_tests/blockchain_state/balance_receive_ext_calls_2.sol_1_no_adts_000.smt2 unknown 11.39 3.57 apollon154 solidity/no_adts/unit_tests/blockchain_state/this_does_not_change_internal_call.sol_1_no_adts_000.smt2 unknown 13.27 3.86 apollon097 solidity/no_adts/unit_tests/blockchain_state/balance_zero_4.sol_2_no_adts_000.smt2 unknown 10.44 3.19 apollon164 solidity/no_adts/unit_tests/blockchain_state/balance_receive_calls.sol_1_no_adts_000.smt2 unknown 45.42 20.70 apollon066 solidity/no_adts/unit_tests/blockchain_state/library_public_3.sol_1_no_adts_000.smt2 unknown 32.40 11.32 apollon059 solidity/no_adts/unit_tests/blockchain_state/balance_zero_2.sol_1_no_adts_000.smt2 unknown 27.67 9.73 apollon014 solidity/no_adts/unit_tests/blockchain_state/balance_receive.sol_0_no_adts_000.smt2 unknown 12.90 3.83 apollon033 solidity/no_adts/unit_tests/blockchain_state/balance_non_zero.sol_1_no_adts_000.smt2 unknown 10.44 3.18 apollon019 solidity/no_adts/unit_tests/blockchain_state/free_function_1.sol_1_no_adts_000.smt2 unknown 31.84 10.60 apollon128 solidity/no_adts/unit_tests/blockchain_state/balance_zero_4.sol_3_no_adts_000.smt2 unknown 13.92 4.00 apollon033 solidity/no_adts/unit_tests/blockchain_state/balance_non_zero_2.sol_0_no_adts_000.smt2 unknown 38.93 17.25 apollon048 solidity/no_adts/unit_tests/blockchain_state/balance_receive_calls.sol_2_no_adts_000.smt2 unknown 44.05 20.48 apollon061 solidity/no_adts/unit_tests/blockchain_state/balance_receive_ext_calls_mutex.sol_1_no_adts_000.smt2 unknown 12.04 3.77 apollon098 solidity/no_adts/unit_tests/blockchain_state/this_does_not_change_internal_call.sol_0_no_adts_000.smt2 unknown 12.73 3.76 apollon033 solidity/no_adts/unit_tests/blockchain_state/balance_zero_3.sol_3_no_adts_000.smt2 unknown 12.34 3.70 apollon040 solidity/no_adts/unit_tests/blockchain_state/balance_receive_calls.sol_4_no_adts_000.smt2 unknown 33.46 11.25 apollon039 solidity/no_adts/unit_tests/blockchain_state/this_does_not_change.sol_0_no_adts_000.smt2 unknown 11.27 3.33 apollon037 solidity/no_adts/unit_tests/blockchain_state/balance_zero_2.sol_0_no_adts_000.smt2 unknown 10.49 3.09 apollon019 solidity/no_adts/unit_tests/blockchain_state/balance_receive_ext_calls.sol_0_no_adts_000.smt2 unknown 25.69 7.91 apollon058 solidity/no_adts/unit_tests/blockchain_state/balance_receive_5.sol_1_no_adts_000.smt2 unknown 12.84 3.58 apollon033 solidity/no_adts/unit_tests/crypto/crypto_functions_fail.sol_2_no_adts_000.smt2 unknown 17.01 4.79 apollon001 solidity/no_adts/unit_tests/crypto/crypto_functions_fail.sol_0_no_adts_000.smt2 unknown 17.35 4.79 apollon119 solidity/no_adts/unit_tests/crypto/crypto_functions_fail.sol_1_no_adts_000.smt2 unknown 16.27 4.36 apollon014 solidity/no_adts/unit_tests/crypto/crypto_functions_compare_hashes.sol_0_no_adts_000.smt2 unknown 63.47 37.00 apollon071 solidity/no_adts/unit_tests/crypto/crypto_functions_not_same.sol_0_no_adts_000.smt2 unknown 11.41 3.57 apollon037 solidity/no_adts/unit_tests/crypto/crypto_functions_compare_hashes.sol_2_no_adts_000.smt2 unknown 30.97 10.97 apollon157 solidity/no_adts/unit_tests/crypto/crypto_functions_over_blocks.sol_0_no_adts_000.smt2 unknown 11.97 3.67 apollon019 solidity/no_adts/unit_tests/crypto/crypto_functions_compare_hashes.sol_1_no_adts_000.smt2 unknown 12.09 3.66 apollon066 solidity/no_adts/unit_tests/crypto/crypto_functions_fail.sol_3_no_adts_000.smt2 unknown 16.71 4.42 apollon122 solidity/no_adts/unit_tests/external_calls/call_constructor_2.sol_0_no_adts_000.smt2 unknown 9.43 2.97 apollon158 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_2.sol_0_no_adts_000.smt2 unknown 43.84 16.62 apollon014 solidity/no_adts/unit_tests/external_calls/external_call_this_with_value_1.sol_1_no_adts_000.smt2 unknown 13.80 4.06 apollon164 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state.sol_1_no_adts_000.smt2 unknown 15.59 4.15 apollon143 solidity/no_adts/unit_tests/external_calls/external_call_this_with_value_1.sol_0_no_adts_000.smt2 unknown 28.66 8.76 apollon002 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state.sol_0_no_adts_000.smt2 unknown 15.55 4.08 apollon092 solidity/no_adts/unit_tests/external_calls/external_call_with_value_3.sol_0_no_adts_000.smt2 unknown 11.65 3.61 apollon051 solidity/no_adts/unit_tests/external_calls/external_reentrancy_3.sol_4_no_adts_000.smt2 unknown 14.25 4.02 apollon037 solidity/no_adts/unit_tests/external_calls/external_reentrancy_3.sol_1_no_adts_000.smt2 true 34.65 21.13 apollon037 solidity/no_adts/unit_tests/external_calls/external_call_with_value_2.sol_1_no_adts_000.smt2 unknown 27.51 8.13 apollon075 solidity/no_adts/unit_tests/external_calls/internal_library_external_call_1.sol_0_no_adts_000.smt2 unknown 14.09 4.03 apollon154 solidity/no_adts/unit_tests/external_calls/call_constructor_1.sol_0_no_adts_000.smt2 unknown 9.23 2.99 apollon002 solidity/no_adts/unit_tests/external_calls/internal_library_external_call_3.sol_0_no_adts_000.smt2 unknown 15.58 4.22 apollon033 solidity/no_adts/unit_tests/external_calls/call_with_value_1.sol_1_no_adts_000.smt2 unknown 26.26 7.89 apollon089 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_3.sol_0_no_adts_000.smt2 unknown 17.17 4.87 apollon021 solidity/no_adts/unit_tests/external_calls/external_hash.sol_1_no_adts_000.smt2 unknown 16.60 4.64 apollon146 solidity/no_adts/unit_tests/external_calls/external_reentrancy_3.sol_2_no_adts_000.smt2 unknown 27.52 9.77 apollon155 solidity/no_adts/unit_tests/external_calls/external_call_with_value_1.sol_1_no_adts_000.smt2 unknown 12.37 3.80 apollon059 solidity/no_adts/unit_tests/external_calls/external_single_inc.sol_0_no_adts_000.smt2 unknown 14.65 4.03 apollon019 solidity/no_adts/unit_tests/external_calls/call_mutex_unsafe.sol_0_no_adts_000.smt2 unknown 13.47 3.93 apollon058 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_pure.sol_0_no_adts_000.smt2 unknown 15.27 4.13 apollon002 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_indirect.sol_0_no_adts_000.smt2 unknown 18.51 5.02 apollon109 solidity/no_adts/unit_tests/external_calls/call_with_value_3.sol_0_no_adts_000.smt2 unknown 26.91 8.03 apollon096 solidity/no_adts/unit_tests/external_calls/external_hash.sol_0_no_adts_000.smt2 unknown 16.15 4.34 apollon112 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy.sol_0_no_adts_000.smt2 unknown 54.95 29.19 apollon146 solidity/no_adts/unit_tests/external_calls/mutex_f_no_guard.sol_0_no_adts_000.smt2 unknown 13.55 3.97 apollon049 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_2.sol_1_no_adts_000.smt2 unknown 17.20 4.75 apollon164 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_3.sol_0_no_adts_000.smt2 unknown 11.14 3.22 apollon148 solidity/no_adts/unit_tests/external_calls/mutex.sol_0_no_adts_000.smt2 unknown 13.63 3.94 apollon066 solidity/no_adts/unit_tests/external_calls/call_mutex.sol_0_no_adts_000.smt2 unknown 13.45 3.91 apollon118 solidity/no_adts/unit_tests/external_calls/external_call_this_with_value_2.sol_0_no_adts_000.smt2 unknown 15.24 4.52 apollon002 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_1.sol_0_no_adts_000.smt2 unknown 10.39 3.17 apollon075 solidity/no_adts/unit_tests/external_calls/internal_library_external_call_2.sol_0_no_adts_000.smt2 unknown 16.50 4.40 apollon059 solidity/no_adts/unit_tests/external_calls/external_inc1_inc2.sol_0_no_adts_000.smt2 true 21.81 8.03 apollon138 solidity/no_adts/unit_tests/external_calls/external_call_this_with_value_2.sol_1_no_adts_000.smt2 unknown 29.96 9.14 apollon057 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_2.sol_1_no_adts_000.smt2 unknown 13.54 4.04 apollon111 solidity/no_adts/unit_tests/external_calls/external_call_with_value_1.sol_0_no_adts_000.smt2 unknown 25.09 7.83 apollon075 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_1.sol_1_no_adts_000.smt2 unknown 11.64 3.65 apollon066 solidity/no_adts/unit_tests/external_calls/call_with_value_2.sol_1_no_adts_000.smt2 unknown 11.75 3.70 apollon019 solidity/no_adts/unit_tests/external_calls/external_reentrancy_3.sol_0_no_adts_000.smt2 unknown 10.58 3.08 apollon098 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_unsafe.sol_1_no_adts_000.smt2 unknown 16.22 4.26 apollon048 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy.sol_1_no_adts_000.smt2 unknown 14.40 3.98 apollon103 solidity/no_adts/unit_tests/external_calls/external_call_with_value_2.sol_0_no_adts_000.smt2 unknown 12.27 3.69 apollon033 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_3.sol_1_no_adts_000.smt2 unknown 69.23 39.59 apollon119 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_unsafe.sol_0_no_adts_000.smt2 unknown 42.90 15.60 apollon066 solidity/no_adts/unit_tests/external_calls/external.sol_0_no_adts_000.smt2 unknown 14.98 4.21 apollon066 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_unsafe.sol_0_no_adts_000.smt2 unknown 16.83 4.66 apollon128 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_reentrancy_indirect.sol_1_no_adts_000.smt2 unknown 44.17 16.15 apollon062 solidity/no_adts/unit_tests/external_calls/external_reentrancy_1.sol_0_no_adts_000.smt2 unknown 13.49 4.09 apollon079 solidity/no_adts/unit_tests/external_calls/external_safe.sol_0_no_adts_000.smt2 unknown 13.49 3.93 apollon067 solidity/no_adts/unit_tests/external_calls/call_with_value_2.sol_0_no_adts_000.smt2 unknown 25.64 7.87 apollon014 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_reentrancy_1.sol_1_no_adts_000.smt2 unknown 9.96 3.15 apollon014 solidity/no_adts/unit_tests/external_calls/staticcall_mutex.sol_0_no_adts_000.smt2 unknown 14.05 4.06 apollon019 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_pure.sol_1_no_adts_000.smt2 unknown 15.40 4.18 apollon089 solidity/no_adts/unit_tests/external_calls/external_inc.sol_0_no_adts_000.smt2 unknown 12.88 3.78 apollon022 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_3.sol_1_no_adts_000.smt2 unknown 9.98 2.91 apollon124 solidity/no_adts/unit_tests/external_calls/external_reentrancy_3.sol_3_no_adts_000.smt2 unknown 14.67 4.19 apollon093 solidity/no_adts/unit_tests/external_calls/external_reentrancy_2.sol_0_no_adts_000.smt2 unknown 10.90 3.42 apollon033 solidity/no_adts/unit_tests/external_calls/call_with_value_1.sol_0_no_adts_000.smt2 unknown 12.54 3.90 apollon079 solidity/no_adts/unit_tests/external_calls/staticcall_mutex_2.sol_0_no_adts_000.smt2 unknown 13.22 3.99 apollon062 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_2.sol_0_no_adts_000.smt2 unknown 14.06 4.00 apollon037 solidity/no_adts/unit_tests/external_calls/external_reentrancy_3.sol_5_no_adts_000.smt2 true 29.70 16.94 apollon037 solidity/no_adts/unit_tests/external_calls/call_with_value_3.sol_1_no_adts_000.smt2 unknown 11.72 3.67 apollon122 solidity/no_adts/unit_tests/external_calls/external_hash_known_code_state_unsafe.sol_1_no_adts_000.smt2 unknown 17.15 4.71 apollon015 solidity/no_adts/unit_tests/external_calls/external_call_with_value_3.sol_1_no_adts_000.smt2 unknown 25.70 7.89 apollon079 solidity/no_adts/unit_tests/external_calls/external_call_from_constructor_reentrancy_1.sol_0_no_adts_000.smt2 unknown 10.37 3.17 apollon078 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_3.sol_3_no_adts_000.smt2 unknown 15.30 4.24 apollon042 solidity/no_adts/unit_tests/inheritance/fallback_receive.sol_1_no_adts_000.smt2 unknown 19.68 5.05 apollon128 solidity/no_adts/unit_tests/inheritance/receive.sol_3_no_adts_000.smt2 unknown 18.16 4.75 apollon002 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_6.sol_2_no_adts_000.smt2 unknown 17.44 4.61 apollon049 solidity/no_adts/unit_tests/inheritance/implicit_only_constructor_hierarchy.sol_2_no_adts_000.smt2 unknown 22.22 6.16 apollon152 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 34.54 9.23 apollon073 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_9_no_adts_000.smt2 unknown 25.48 6.55 apollon128 solidity/no_adts/unit_tests/inheritance/implicit_constructor_hierarchy.sol_3_no_adts_000.smt2 unknown 19.32 5.51 apollon049 solidity/no_adts/unit_tests/inheritance/functions_1.sol_0_no_adts_000.smt2 unknown 18.12 4.71 apollon132 solidity/no_adts/unit_tests/inheritance/functions_3.sol_5_no_adts_000.smt2 unknown 12.08 3.63 apollon037 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_6.sol_1_no_adts_000.smt2 unknown 842.00 763.31 apollon098 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_5.sol_1_no_adts_000.smt2 unknown 17.69 4.99 apollon128 solidity/no_adts/unit_tests/inheritance/functions_2.sol_3_no_adts_000.smt2 unknown 11.70 3.27 apollon089 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond.sol_0_no_adts_000.smt2 unknown 11.34 3.30 apollon061 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_2_no_adts_000.smt2 unknown 17.05 4.74 apollon066 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_1.sol_1_no_adts_000.smt2 unknown 16.58 4.32 apollon065 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_2_no_adts_000.smt2 unknown 19.24 5.08 apollon059 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_3_no_adts_000.smt2 unknown 23.24 6.03 apollon116 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_8.sol_0_no_adts_000.smt2 unknown 12.60 3.48 apollon163 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init.sol_1_no_adts_000.smt2 unknown 10.36 3.14 apollon019 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_inheritance_specifier_1.sol_0_no_adts_000.smt2 unknown 24.08 6.30 apollon153 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_1_no_adts_000.smt2 unknown 16.66 4.75 apollon128 solidity/no_adts/unit_tests/inheritance/functions_1.sol_4_no_adts_000.smt2 unknown 19.15 5.03 apollon019 solidity/no_adts/unit_tests/inheritance/fallback.sol_3_no_adts_000.smt2 unknown 19.95 5.46 apollon038 solidity/no_adts/unit_tests/inheritance/functions_2.sol_4_no_adts_000.smt2 unknown 18.80 4.83 apollon066 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_9.sol_0_no_adts_000.smt2 unknown 24.19 6.65 apollon147 solidity/no_adts/unit_tests/inheritance/state_variables.sol_0_no_adts_000.smt2 true 18.42 5.80 apollon167 solidity/no_adts/unit_tests/inheritance/overriden_function_static_call_parent.sol_1_no_adts_000.smt2 unknown 42.39 16.60 apollon143 solidity/no_adts/unit_tests/inheritance/functions_3.sol_4_no_adts_000.smt2 unknown 28.17 7.67 apollon077 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_7_no_adts_000.smt2 unknown 17.43 4.81 apollon062 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_9.sol_3_no_adts_000.smt2 unknown 25.96 7.04 apollon122 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_8.sol_1_no_adts_000.smt2 unknown 14.09 4.09 apollon022 solidity/no_adts/unit_tests/inheritance/functions_2.sol_2_no_adts_000.smt2 unknown 17.03 4.46 apollon057 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_0_no_adts_000.smt2 unknown 23.94 5.99 apollon059 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_5.sol_3_no_adts_000.smt2 unknown 16.84 4.72 apollon118 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_7_no_adts_000.smt2 unknown 25.40 6.79 apollon094 solidity/no_adts/unit_tests/inheritance/implicit_constructor_hierarchy.sol_5_no_adts_000.smt2 unknown 24.84 6.26 apollon164 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_run_all_2.sol_0_no_adts_000.smt2 unknown 20.38 5.49 apollon048 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_2.sol_2_no_adts_000.smt2 unknown 14.59 4.06 apollon057 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_6.sol_3_no_adts_000.smt2 unknown 15.79 4.35 apollon135 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_alternate.sol_0_no_adts_000.smt2 unknown 13.34 3.92 apollon066 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_9.sol_4_no_adts_000.smt2 unknown 23.00 6.50 apollon098 solidity/no_adts/unit_tests/inheritance/diamond_super_1.sol_1_no_adts_000.smt2 unknown 17.09 4.40 apollon073 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init.sol_0_no_adts_000.smt2 unknown 9.41 2.97 apollon122 solidity/no_adts/unit_tests/inheritance/fallback_receive.sol_0_no_adts_000.smt2 unknown 18.41 5.06 apollon012 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_3.sol_5_no_adts_000.smt2 unknown 15.65 4.24 apollon164 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_5.sol_2_no_adts_000.smt2 unknown 17.80 4.95 apollon018 solidity/no_adts/unit_tests/inheritance/functions_3.sol_7_no_adts_000.smt2 unknown 15.74 4.57 apollon046 solidity/no_adts/unit_tests/inheritance/implicit_only_constructor_hierarchy.sol_4_no_adts_000.smt2 unknown 24.00 6.56 apollon067 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_6_no_adts_000.smt2 unknown 23.34 6.02 apollon002 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_8.sol_0_no_adts_000.smt2 unknown 13.55 3.84 apollon039 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_6.sol_4_no_adts_000.smt2 unknown 18.76 5.08 apollon046 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_run_all.sol_1_no_adts_000.smt2 unknown 20.31 5.30 apollon069 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_7.sol_1_no_adts_000.smt2 unknown 14.95 4.34 apollon094 solidity/no_adts/unit_tests/inheritance/state_variables_3.sol_0_no_adts_000.smt2 true 17.92 5.88 apollon014 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_function_call.sol_0_no_adts_000.smt2 unknown 11.75 3.44 apollon112 solidity/no_adts/unit_tests/inheritance/functions_3.sol_10_no_adts_000.smt2 true 345.90 308.87 apollon024 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain.sol_1_no_adts_000.smt2 unknown 13.54 3.89 apollon122 solidity/no_adts/unit_tests/inheritance/functions_1.sol_3_no_adts_000.smt2 unknown 13.05 3.94 apollon062 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_9.sol_1_no_adts_000.smt2 unknown 12.98 3.63 apollon037 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_1_no_adts_000.smt2 unknown 23.31 6.11 apollon103 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond_middle.sol_0_no_adts_000.smt2 unknown 16.12 4.40 apollon002 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_6.sol_1_no_adts_000.smt2 unknown 17.65 4.68 apollon134 solidity/no_adts/unit_tests/inheritance/functions_2.sol_1_no_adts_000.smt2 true 135.02 115.21 apollon066 solidity/no_adts/unit_tests/inheritance/fallback_receive.sol_3_no_adts_000.smt2 unknown 20.40 5.54 apollon122 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_4.sol_2_no_adts_000.smt2 unknown 26.25 6.88 apollon093 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_1.sol_2_no_adts_000.smt2 unknown 24.35 6.36 apollon155 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_6.sol_5_no_adts_000.smt2 unknown 15.57 4.10 apollon146 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_7.sol_0_no_adts_000.smt2 unknown 15.55 4.31 apollon098 solidity/no_adts/unit_tests/inheritance/diamond_super_3.sol_0_no_adts_000.smt2 unknown 17.45 4.64 apollon138 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_1.sol_0_no_adts_000.smt2 unknown 23.88 6.42 apollon094 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_2.sol_1_no_adts_000.smt2 unknown 16.45 4.73 apollon126 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_base.sol_0_no_adts_000.smt2 unknown 10.22 3.12 apollon155 solidity/no_adts/unit_tests/inheritance/diamond_super_1.sol_0_no_adts_000.smt2 unknown 85.69 52.15 apollon120 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_4_no_adts_000.smt2 unknown 27.13 6.79 apollon164 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_base.sol_1_no_adts_000.smt2 unknown 10.61 3.18 apollon062 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_function_call.sol_2_no_adts_000.smt2 unknown 11.40 3.67 apollon062 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_4_no_adts_000.smt2 unknown 17.71 4.98 apollon163 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_1.sol_1_no_adts_000.smt2 unknown 23.87 6.36 apollon144 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_3.sol_4_no_adts_000.smt2 unknown 15.15 4.17 apollon158 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_7.sol_0_no_adts_000.smt2 unknown 14.56 4.22 apollon046 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond_middle.sol_5_no_adts_000.smt2 unknown 16.31 4.34 apollon073 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_3_no_adts_000.smt2 unknown 24.38 6.43 apollon002 solidity/no_adts/unit_tests/inheritance/functions_3.sol_11_no_adts_000.smt2 unknown 26.87 7.37 apollon097 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_run_all.sol_2_no_adts_000.smt2 unknown 20.38 5.39 apollon111 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_4.sol_0_no_adts_000.smt2 unknown 25.59 6.54 apollon042 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_2.sol_2_no_adts_000.smt2 unknown 16.87 4.53 apollon128 solidity/no_adts/unit_tests/inheritance/fallback.sol_1_no_adts_000.smt2 unknown 12.53 3.51 apollon143 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_9.sol_0_no_adts_000.smt2 unknown 13.44 3.72 apollon138 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_9.sol_3_no_adts_000.smt2 unknown 13.09 3.56 apollon146 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_5.sol_2_no_adts_000.smt2 unknown 18.70 5.14 apollon079 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_7.sol_2_no_adts_000.smt2 unknown 14.43 4.11 apollon021 solidity/no_adts/unit_tests/inheritance/implicit_only_constructor_hierarchy.sol_5_no_adts_000.smt2 unknown 20.17 5.36 apollon111 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_4_no_adts_000.smt2 unknown 24.48 6.58 apollon163 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_5_no_adts_000.smt2 unknown 23.82 6.32 apollon093 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_3.sol_1_no_adts_000.smt2 unknown 15.64 4.18 apollon079 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_2.sol_1_no_adts_000.smt2 unknown 16.78 4.38 apollon081 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond.sol_1_no_adts_000.smt2 unknown 12.63 3.75 apollon079 solidity/no_adts/unit_tests/inheritance/state_variables_2.sol_0_no_adts_000.smt2 true 17.45 5.67 apollon061 solidity/no_adts/unit_tests/inheritance/fallback.sol_4_no_adts_000.smt2 unknown 18.37 4.95 apollon146 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_inheritance_specifier_2.sol_0_no_adts_000.smt2 unknown 22.91 6.03 apollon062 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_asserts.sol_2_no_adts_000.smt2 unknown 23.96 6.06 apollon112 solidity/no_adts/unit_tests/inheritance/functions_3.sol_0_no_adts_000.smt2 unknown 20.32 5.44 apollon148 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond_middle.sol_4_no_adts_000.smt2 unknown 13.98 3.68 apollon155 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_3.sol_1_no_adts_000.smt2 unknown 24.38 6.54 apollon135 solidity/no_adts/unit_tests/inheritance/implicit_constructor_hierarchy.sol_1_no_adts_000.smt2 unknown 14.84 4.20 apollon111 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_function_call.sol_1_no_adts_000.smt2 unknown 10.94 3.23 apollon075 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_5.sol_0_no_adts_000.smt2 unknown 17.31 4.67 apollon122 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_2.sol_0_no_adts_000.smt2 unknown 14.19 4.00 apollon002 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_6.sol_0_no_adts_000.smt2 unknown 17.28 4.78 apollon113 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_5.sol_1_no_adts_000.smt2 unknown 17.28 4.39 apollon116 solidity/no_adts/unit_tests/inheritance/receive_fallback.sol_4_no_adts_000.smt2 unknown 19.13 5.26 apollon155 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_5_no_adts_000.smt2 unknown 23.91 6.42 apollon079 solidity/no_adts/unit_tests/inheritance/functions_3.sol_1_no_adts_000.smt2 true 134.67 115.02 apollon148 solidity/no_adts/unit_tests/inheritance/receive_fallback.sol_1_no_adts_000.smt2 unknown 17.89 4.95 apollon033 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_9.sol_2_no_adts_000.smt2 unknown 24.65 6.90 apollon146 solidity/no_adts/unit_tests/inheritance/receive_fallback.sol_0_no_adts_000.smt2 unknown 13.94 4.00 apollon075 solidity/no_adts/unit_tests/inheritance/functions_3.sol_3_no_adts_000.smt2 unknown 25.21 7.12 apollon158 solidity/no_adts/unit_tests/inheritance/functions_1.sol_2_no_adts_000.smt2 true 134.39 114.73 apollon061 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond_middle.sol_1_no_adts_000.smt2 unknown 14.13 4.07 apollon007 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_7.sol_1_no_adts_000.smt2 unknown 15.78 4.27 apollon109 solidity/no_adts/unit_tests/inheritance/fallback_receive.sol_2_no_adts_000.smt2 unknown 18.13 4.97 apollon109 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_inheritance_specifier_1.sol_1_no_adts_000.smt2 unknown 22.62 5.87 apollon073 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_6_no_adts_000.smt2 unknown 24.74 6.47 apollon089 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_9.sol_1_no_adts_000.smt2 unknown 23.71 6.26 apollon098 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_9.sol_5_no_adts_000.smt2 unknown 25.23 6.79 apollon002 solidity/no_adts/unit_tests/inheritance/implicit_only_constructor_hierarchy.sol_1_no_adts_000.smt2 unknown 22.53 6.08 apollon066 solidity/no_adts/unit_tests/inheritance/overriden_function_static_call_parent.sol_0_no_adts_000.smt2 unknown 16.18 4.35 apollon133 solidity/no_adts/unit_tests/inheritance/implicit_constructor_hierarchy.sol_4_no_adts_000.smt2 unknown 16.63 4.42 apollon033 solidity/no_adts/unit_tests/inheritance/functions_3.sol_6_no_adts_000.smt2 unknown 16.46 4.33 apollon061 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_run_all_2.sol_2_no_adts_000.smt2 unknown 21.09 5.43 apollon094 solidity/no_adts/unit_tests/inheritance/functions_3.sol_8_no_adts_000.smt2 true 144.81 122.71 apollon112 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain.sol_0_no_adts_000.smt2 unknown 13.72 3.97 apollon067 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_5_no_adts_000.smt2 unknown 16.63 4.41 apollon155 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_9.sol_2_no_adts_000.smt2 unknown 12.71 3.58 apollon044 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_5.sol_0_no_adts_000.smt2 unknown 18.72 5.10 apollon097 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_0_no_adts_000.smt2 unknown 17.22 4.80 apollon073 solidity/no_adts/unit_tests/inheritance/implicit_constructor_hierarchy.sol_0_no_adts_000.smt2 unknown 17.92 4.99 apollon148 solidity/no_adts/unit_tests/inheritance/receive.sol_4_no_adts_000.smt2 unknown 12.89 3.76 apollon155 solidity/no_adts/unit_tests/inheritance/receive.sol_1_no_adts_000.smt2 unknown 11.82 3.57 apollon143 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_6.sol_0_no_adts_000.smt2 unknown 17.77 4.63 apollon014 solidity/no_adts/unit_tests/inheritance/fallback_receive.sol_4_no_adts_000.smt2 unknown 15.01 4.10 apollon066 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_inheritance_specifier_2.sol_1_no_adts_000.smt2 unknown 22.59 6.04 apollon011 solidity/no_adts/unit_tests/inheritance/functions_3.sol_2_no_adts_000.smt2 unknown 16.42 4.33 apollon079 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_3.sol_0_no_adts_000.smt2 unknown 16.19 4.21 apollon002 solidity/no_adts/unit_tests/inheritance/functions_3.sol_9_no_adts_000.smt2 unknown 21.83 5.97 apollon143 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_run_all.sol_0_no_adts_000.smt2 unknown 19.90 5.13 apollon155 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_alternate.sol_1_no_adts_000.smt2 unknown 12.91 3.57 apollon001 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_6.sol_2_no_adts_000.smt2 unknown 15.74 4.31 apollon033 solidity/no_adts/unit_tests/inheritance/implicit_constructor_hierarchy.sol_2_no_adts_000.smt2 unknown 24.79 6.29 apollon066 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_1_no_adts_000.smt2 unknown 35.79 9.32 apollon049 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_3.sol_0_no_adts_000.smt2 unknown 24.59 6.49 apollon154 solidity/no_adts/unit_tests/inheritance/fallback.sol_2_no_adts_000.smt2 true 340.88 306.02 apollon081 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_tree.sol_0_no_adts_000.smt2 unknown 19.52 5.29 apollon119 solidity/no_adts/unit_tests/inheritance/diamond_super_3.sol_1_no_adts_000.smt2 unknown 77.76 45.94 apollon019 solidity/no_adts/unit_tests/inheritance/implicit_only_constructor_hierarchy.sol_0_no_adts_000.smt2 unknown 15.13 4.21 apollon120 solidity/no_adts/unit_tests/inheritance/functions_2.sol_0_no_adts_000.smt2 unknown 13.65 4.14 apollon154 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_chain_run_all_2.sol_1_no_adts_000.smt2 unknown 19.59 5.07 apollon132 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_1.sol_0_no_adts_000.smt2 unknown 17.42 4.80 apollon049 solidity/no_adts/unit_tests/inheritance/receive.sol_2_no_adts_000.smt2 unknown 17.41 4.73 apollon037 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_3.sol_2_no_adts_000.smt2 unknown 15.88 4.23 apollon066 solidity/no_adts/unit_tests/inheritance/functions_1.sol_1_no_adts_000.smt2 unknown 11.79 3.25 apollon048 solidity/no_adts/unit_tests/inheritance/receive_fallback.sol_2_no_adts_000.smt2 unknown 18.46 5.02 apollon157 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_4.sol_1_no_adts_000.smt2 unknown 25.78 6.60 apollon089 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_8.sol_2_no_adts_000.smt2 unknown 12.99 3.60 apollon111 solidity/no_adts/unit_tests/inheritance/constructor_uses_function_base.sol_0_no_adts_000.smt2 unknown 14.58 4.12 apollon019 solidity/no_adts/unit_tests/inheritance/receive.sol_0_no_adts_000.smt2 true 137.50 117.69 apollon127 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_3.sol_2_no_adts_000.smt2 unknown 25.55 6.80 apollon021 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond_middle.sol_2_no_adts_000.smt2 unknown 13.61 3.98 apollon019 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_2.sol_0_no_adts_000.smt2 unknown 17.86 4.91 apollon002 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_3_no_adts_000.smt2 unknown 17.54 4.78 apollon109 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_4.sol_6_no_adts_000.smt2 unknown 17.81 4.89 apollon124 solidity/no_adts/unit_tests/inheritance/receive_fallback.sol_3_no_adts_000.smt2 unknown 20.78 5.67 apollon081 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 13.10 3.87 apollon089 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_5.sol_5_no_adts_000.smt2 unknown 16.29 4.26 apollon062 solidity/no_adts/unit_tests/inheritance/implicit_only_constructor_hierarchy.sol_3_no_adts_000.smt2 unknown 20.60 5.68 apollon111 solidity/no_adts/unit_tests/inheritance/constructor_hierarchy_base_calls_with_side_effects_8.sol_1_no_adts_000.smt2 unknown 13.20 3.59 apollon049 solidity/no_adts/unit_tests/inheritance/constructor_state_variable_init_diamond_middle.sol_3_no_adts_000.smt2 unknown 15.34 4.32 apollon011 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_5.sol_4_no_adts_000.smt2 unknown 16.40 4.27 apollon034 solidity/no_adts/unit_tests/inheritance/base_contract_assertion_fail_7.sol_3_no_adts_000.smt2 unknown 14.65 4.00 apollon158 solidity/no_adts/unit_tests/operators/unary_add_mapping.sol_2_no_adts_000.smt2 true 47.78 25.74 apollon002 solidity/no_adts/unit_tests/operators/delete_array_index.sol_0_no_adts_000.smt2 unknown 293.42 237.39 apollon077 solidity/no_adts/unit_tests/operators/const_exp_1.sol_2_no_adts_000.smt2 true 21.74 9.14 apollon011 solidity/no_adts/unit_tests/operators/unary_operators_tuple_1.sol_1_no_adts_000.smt2 unknown 25.58 7.61 apollon039 solidity/no_adts/unit_tests/operators/index_access_for_bytes.sol_4_no_adts_000.smt2 true 23.89 9.96 apollon146 solidity/no_adts/unit_tests/operators/delete_function.sol_3_no_adts_000.smt2 unknown 49.87 19.51 apollon094 solidity/no_adts/unit_tests/operators/slices_3.sol_2_no_adts_000.smt2 unknown 30.93 9.04 apollon133 solidity/no_adts/unit_tests/operators/unary_add_array_push_1.sol_1_no_adts_000.smt2 true 25.00 10.38 apollon014 solidity/no_adts/unit_tests/operators/exp.sol_0_no_adts_000.smt2 unknown 10.49 3.07 apollon061 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_3_no_adts_000.smt2 true 40.17 20.83 apollon059 solidity/no_adts/unit_tests/operators/integer_new.sol_12_no_adts_000.smt2 true 54.02 31.13 apollon094 solidity/no_adts/unit_tests/operators/unary_sub.sol_3_no_adts_000.smt2 true 25.22 10.70 apollon078 solidity/no_adts/unit_tests/operators/index_access_for_bytes.sol_2_no_adts_000.smt2 unknown 12.45 3.55 apollon103 solidity/no_adts/unit_tests/operators/unary_add_overflows_correctly.sol_0_no_adts_000.smt2 true 17.66 5.83 apollon061 solidity/no_adts/unit_tests/operators/integer_new.sol_7_no_adts_000.smt2 true 51.60 29.92 apollon158 solidity/no_adts/unit_tests/operators/compound_add.sol_1_no_adts_000.smt2 unknown 10.62 3.12 apollon014 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_7_no_adts_000.smt2 true 42.47 22.03 apollon153 solidity/no_adts/unit_tests/operators/integer_new.sol_2_no_adts_000.smt2 true 976.88 198.07 apollon059 solidity/no_adts/unit_tests/operators/bytes_new.sol_2_no_adts_000.smt2 true 140.07 110.33 apollon002 solidity/no_adts/unit_tests/operators/slice_default_start.sol_2_no_adts_000.smt2 unknown 14.94 4.21 apollon153 solidity/no_adts/unit_tests/operators/index_access_side_effect.sol_2_no_adts_000.smt2 unknown 73.27 44.38 apollon061 solidity/no_adts/unit_tests/operators/function_call_named_arguments.sol_0_no_adts_000.smt2 unknown 19.42 5.00 apollon066 solidity/no_adts/unit_tests/operators/bytes_new.sol_22_no_adts_000.smt2 true 1191.51 313.56 apollon065 solidity/no_adts/unit_tests/operators/const_exp_1.sol_0_no_adts_000.smt2 true 25.62 12.01 apollon109 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_4_no_adts_000.smt2 true 32.30 15.28 apollon122 solidity/no_adts/unit_tests/operators/compound_sub.sol_0_no_adts_000.smt2 unknown 11.44 3.56 apollon144 solidity/no_adts/unit_tests/operators/bytes_new.sol_0_no_adts_000.smt2 true 52.62 30.18 apollon062 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array.sol_4_no_adts_000.smt2 unknown 13.57 4.08 apollon058 solidity/no_adts/unit_tests/operators/constant_propagation_2.sol_0_no_adts_000.smt2 true 17.43 5.49 apollon017 solidity/no_adts/unit_tests/operators/compound_sub_mapping.sol_1_no_adts_000.smt2 true 23.74 10.80 apollon109 solidity/no_adts/unit_tests/operators/slices_3.sol_0_no_adts_000.smt2 unknown 15.20 4.07 apollon079 solidity/no_adts/unit_tests/operators/delete_array.sol_1_no_adts_000.smt2 unknown 31.75 10.63 apollon058 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_2_no_adts_000.smt2 unknown 17.66 4.84 apollon122 solidity/no_adts/unit_tests/operators/conditional_assignment_5.sol_0_no_adts_000.smt2 unknown 15.24 4.16 apollon066 solidity/no_adts/unit_tests/operators/unary_sub_mapping.sol_1_no_adts_000.smt2 true 23.84 9.96 apollon148 solidity/no_adts/unit_tests/operators/unary_add.sol_2_no_adts_000.smt2 true 33.96 16.98 apollon079 solidity/no_adts/unit_tests/operators/delete_function.sol_5_no_adts_000.smt2 TIMEOUT 1800.28 1668.35 apollon075 solidity/no_adts/unit_tests/operators/index_access_side_effect.sol_3_no_adts_000.smt2 unknown 15.74 4.17 apollon033 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_0_no_adts_000.smt2 TIMEOUT 1800.53 1713.79 apollon064 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_6_no_adts_000.smt2 true 46.26 25.23 apollon062 solidity/no_adts/unit_tests/operators/bytes_new.sol_3_no_adts_000.smt2 unknown 24.24 6.47 apollon049 solidity/no_adts/unit_tests/operators/bytes_new.sol_18_no_adts_000.smt2 true 47.65 26.25 apollon058 solidity/no_adts/unit_tests/operators/function_call_named_arguments.sol_1_no_adts_000.smt2 unknown 18.41 5.01 apollon057 solidity/no_adts/unit_tests/operators/bytes_new.sol_23_no_adts_000.smt2 true 52.26 30.11 apollon152 solidity/no_adts/unit_tests/operators/slice_default_start.sol_5_no_adts_000.smt2 unknown 183.62 137.12 apollon093 solidity/no_adts/unit_tests/operators/bytes_new.sol_6_no_adts_000.smt2 true 53.17 30.88 apollon122 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_8_no_adts_000.smt2 true 35.81 16.44 apollon093 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_0_no_adts_000.smt2 true 89.33 65.23 apollon157 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_0_no_adts_000.smt2 true 33.18 16.10 apollon073 solidity/no_adts/unit_tests/operators/integer_new.sol_3_no_adts_000.smt2 true 54.44 31.14 apollon093 solidity/no_adts/unit_tests/operators/conditional_assignment_2.sol_0_no_adts_000.smt2 unknown 10.29 3.09 apollon042 solidity/no_adts/unit_tests/operators/bytes_new.sol_1_no_adts_000.smt2 true 44.19 23.39 apollon066 solidity/no_adts/unit_tests/operators/slice_bytes.sol_0_no_adts_000.smt2 true 754.95 592.87 apollon038 solidity/no_adts/unit_tests/operators/compound_sub_mapping.sol_0_no_adts_000.smt2 unknown 12.97 3.60 apollon116 solidity/no_adts/unit_tests/operators/slice.sol_1_no_adts_000.smt2 unknown 523.51 414.46 apollon061 solidity/no_adts/unit_tests/operators/constant_propagation_2.sol_2_no_adts_000.smt2 true 17.48 5.45 apollon047 solidity/no_adts/unit_tests/operators/bytes_new.sol_7_no_adts_000.smt2 true 122.29 92.30 apollon126 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array.sol_3_no_adts_000.smt2 true 38.90 23.52 apollon036 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_3_no_adts_000.smt2 TIMEOUT 1800.72 1708.28 apollon111 solidity/no_adts/unit_tests/operators/unary_operators_tuple_1.sol_0_no_adts_000.smt2 unknown 13.26 3.90 apollon021 solidity/no_adts/unit_tests/operators/unary_add_array.sol_7_no_adts_000.smt2 true 35.48 16.59 apollon065 solidity/no_adts/unit_tests/operators/integer_new.sol_5_no_adts_000.smt2 unknown 23.24 6.41 apollon073 solidity/no_adts/unit_tests/operators/integer_new.sol_18_no_adts_000.smt2 true 69.74 47.11 apollon062 solidity/no_adts/unit_tests/operators/integer_new.sol_17_no_adts_000.smt2 true 51.69 30.06 apollon073 solidity/no_adts/unit_tests/operators/compound_add_chain.sol_1_no_adts_000.smt2 true 17.39 5.59 apollon109 solidity/no_adts/unit_tests/operators/slice_default_start.sol_4_no_adts_000.smt2 unknown 162.29 123.60 apollon014 solidity/no_adts/unit_tests/operators/conditional_assignment_nested_always_true.sol_0_no_adts_000.smt2 true 15.61 4.82 apollon001 solidity/no_adts/unit_tests/operators/unary_add_array.sol_0_no_adts_000.smt2 true 34.31 16.25 apollon155 solidity/no_adts/unit_tests/operators/conditional_assignment_always_true.sol_0_no_adts_000.smt2 unknown 10.54 3.05 apollon065 solidity/no_adts/unit_tests/operators/bytes_new.sol_5_no_adts_000.smt2 true 52.38 30.58 apollon057 solidity/no_adts/unit_tests/operators/conditional_assignment_function_1.sol_0_no_adts_000.smt2 unknown 11.71 3.57 apollon154 solidity/no_adts/unit_tests/operators/unary_add_array.sol_2_no_adts_000.smt2 true 35.17 16.62 apollon098 solidity/no_adts/unit_tests/operators/integer_new.sol_16_no_adts_000.smt2 true 123.96 94.92 apollon148 solidity/no_adts/unit_tests/operators/unary_sub.sol_2_no_adts_000.smt2 true 21.98 9.10 apollon079 solidity/no_adts/unit_tests/operators/integer_new.sol_13_no_adts_000.smt2 true 52.11 29.93 apollon127 solidity/no_adts/unit_tests/operators/constant_propagation_2.sol_3_no_adts_000.smt2 true 17.44 5.49 apollon059 solidity/no_adts/unit_tests/operators/bytes_new.sol_10_no_adts_000.smt2 true 52.63 30.36 apollon061 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_2_no_adts_000.smt2 TIMEOUT 1800.90 1708.12 apollon011 solidity/no_adts/unit_tests/operators/bitwise_and_rational.sol_2_no_adts_000.smt2 true 22.25 9.36 apollon154 solidity/no_adts/unit_tests/operators/bytes_new.sol_11_no_adts_000.smt2 true 120.96 93.21 apollon119 solidity/no_adts/unit_tests/operators/index_access_for_string.sol_0_no_adts_000.smt2 true 17.54 5.51 apollon073 solidity/no_adts/unit_tests/operators/slice_default_end.sol_0_no_adts_000.smt2 unknown 34.87 11.84 apollon143 solidity/no_adts/unit_tests/operators/unary_add.sol_3_no_adts_000.smt2 true 22.85 9.28 apollon079 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_6_no_adts_000.smt2 true 32.97 15.41 apollon116 solidity/no_adts/unit_tests/operators/index_access_for_bytes.sol_0_no_adts_000.smt2 true 23.03 9.32 apollon049 solidity/no_adts/unit_tests/operators/slices_3.sol_1_no_adts_000.smt2 unknown 30.65 9.18 apollon155 solidity/no_adts/unit_tests/operators/index_access_for_bytes.sol_1_no_adts_000.smt2 true 22.87 9.34 apollon109 solidity/no_adts/unit_tests/operators/compound_add_mapping.sol_1_no_adts_000.smt2 unknown 13.03 3.95 apollon033 solidity/no_adts/unit_tests/operators/delete_function.sol_0_no_adts_000.smt2 unknown 18.95 4.97 apollon059 solidity/no_adts/unit_tests/operators/compound_add.sol_0_no_adts_000.smt2 true 20.54 8.50 apollon167 solidity/no_adts/unit_tests/operators/unary_add_array.sol_5_no_adts_000.smt2 true 77.98 45.18 apollon109 solidity/no_adts/unit_tests/operators/conditional_assignment_nested_unsafe.sol_0_no_adts_000.smt2 unknown 10.42 3.04 apollon062 solidity/no_adts/unit_tests/operators/unary_operators_tuple_2.sol_0_no_adts_000.smt2 unknown 14.08 3.89 apollon089 solidity/no_adts/unit_tests/operators/unary_add_overflows_correctly_struct.sol_0_no_adts_000.smt2 true 21.47 8.63 apollon089 solidity/no_adts/unit_tests/operators/bytes_new.sol_24_no_adts_000.smt2 true 52.48 29.89 apollon155 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_5_no_adts_000.smt2 true 125.34 101.47 apollon094 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_3_no_adts_000.smt2 true 36.26 17.65 apollon158 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_2_no_adts_000.smt2 true 35.67 18.11 apollon002 solidity/no_adts/unit_tests/operators/compound_add_chain.sol_0_no_adts_000.smt2 true 17.73 5.68 apollon112 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_4_no_adts_000.smt2 true 39.97 20.94 apollon127 solidity/no_adts/unit_tests/operators/integer_new.sol_8_no_adts_000.smt2 unknown 59.33 27.67 apollon079 solidity/no_adts/unit_tests/operators/slice_default_end.sol_3_no_adts_000.smt2 unknown 449.23 387.88 apollon077 solidity/no_adts/unit_tests/operators/index_access_for_string.sol_3_no_adts_000.smt2 true 17.31 5.47 apollon021 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_1_no_adts_000.smt2 TIMEOUT 1800.71 1705.53 apollon143 solidity/no_adts/unit_tests/operators/integer_new.sol_0_no_adts_000.smt2 true 63.44 39.32 apollon097 solidity/no_adts/unit_tests/operators/unary_add.sol_1_no_adts_000.smt2 true 23.41 9.75 apollon079 solidity/no_adts/unit_tests/operators/integer_new.sol_20_no_adts_000.smt2 true 54.32 31.53 apollon014 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_1_no_adts_000.smt2 true 37.37 18.59 apollon094 solidity/no_adts/unit_tests/operators/index_access_side_effect.sol_1_no_adts_000.smt2 unknown 77.61 46.64 apollon079 solidity/no_adts/unit_tests/operators/index_access_side_effect.sol_0_no_adts_000.smt2 unknown 49.39 23.03 apollon113 solidity/no_adts/unit_tests/operators/slice.sol_2_no_adts_000.smt2 unknown 14.54 4.34 apollon048 solidity/no_adts/unit_tests/operators/bitwise_and_rational.sol_0_no_adts_000.smt2 unknown 11.61 3.52 apollon014 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_4_no_adts_000.smt2 TIMEOUT 1800.36 1721.35 apollon071 solidity/no_adts/unit_tests/operators/slice.sol_5_no_adts_000.smt2 unknown 209.42 162.73 apollon019 solidity/no_adts/unit_tests/operators/unary_add_array_push_1.sol_4_no_adts_000.smt2 true 24.54 9.81 apollon154 solidity/no_adts/unit_tests/operators/unary_add_array.sol_4_no_adts_000.smt2 true 35.24 16.22 apollon019 solidity/no_adts/unit_tests/operators/unary_operators_tuple_2.sol_1_no_adts_000.smt2 unknown 26.47 7.76 apollon062 solidity/no_adts/unit_tests/operators/integer_new.sol_22_no_adts_000.smt2 true 53.20 30.11 apollon079 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_8_no_adts_000.smt2 unknown 17.93 4.88 apollon132 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_5_no_adts_000.smt2 true 49.94 25.72 apollon103 solidity/no_adts/unit_tests/operators/slice.sol_3_no_adts_000.smt2 unknown 153.51 119.03 apollon109 solidity/no_adts/unit_tests/operators/delete_array_index.sol_2_no_adts_000.smt2 unknown 33.76 10.14 apollon056 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_0_no_adts_000.smt2 true 43.90 24.67 apollon106 solidity/no_adts/unit_tests/operators/integer_new.sol_4_no_adts_000.smt2 true 150.26 120.88 apollon094 solidity/no_adts/unit_tests/operators/integer_new.sol_1_no_adts_000.smt2 true 134.53 101.67 apollon094 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_1_no_adts_000.smt2 true 47.42 27.90 apollon059 solidity/no_adts/unit_tests/operators/index_access_for_bytes.sol_3_no_adts_000.smt2 true 41.20 21.56 apollon077 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_6_no_adts_000.smt2 unknown 18.85 5.03 apollon079 solidity/no_adts/unit_tests/operators/slice_default_end.sol_2_no_adts_000.smt2 unknown 394.54 336.67 apollon054 solidity/no_adts/unit_tests/operators/bytes_new.sol_21_no_adts_000.smt2 unknown 57.75 26.65 apollon066 solidity/no_adts/unit_tests/operators/unary_add_mapping.sol_0_no_adts_000.smt2 true 25.94 11.63 apollon057 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_4_no_adts_000.smt2 unknown 18.39 5.01 apollon077 solidity/no_adts/unit_tests/operators/integer_new.sol_24_no_adts_000.smt2 true 198.36 166.61 apollon103 solidity/no_adts/unit_tests/operators/unary_add_mapping.sol_1_no_adts_000.smt2 unknown 13.93 4.09 apollon079 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_9_no_adts_000.smt2 true 48.54 28.45 apollon119 solidity/no_adts/unit_tests/operators/constant_propagation_1.sol_2_no_adts_000.smt2 true 21.81 8.89 apollon122 solidity/no_adts/unit_tests/operators/slice.sol_4_no_adts_000.smt2 unknown 89.70 58.33 apollon075 solidity/no_adts/unit_tests/operators/bytes_new.sol_8_no_adts_000.smt2 true 136.77 104.58 apollon116 solidity/no_adts/unit_tests/operators/slice_default_start.sol_1_no_adts_000.smt2 unknown 184.97 140.19 apollon001 solidity/no_adts/unit_tests/operators/slice_default_start.sol_0_no_adts_000.smt2 unknown 145.01 109.77 apollon154 solidity/no_adts/unit_tests/operators/unary_add_array_push_1.sol_2_no_adts_000.smt2 true 26.32 11.11 apollon048 solidity/no_adts/unit_tests/operators/integer_new.sol_23_no_adts_000.smt2 true 53.96 30.83 apollon048 solidity/no_adts/unit_tests/operators/constant_propagation_1.sol_1_no_adts_000.smt2 unknown 11.29 3.51 apollon094 solidity/no_adts/unit_tests/operators/delete_function.sol_4_no_adts_000.smt2 unknown 907.30 674.33 apollon146 solidity/no_adts/unit_tests/operators/compound_add_mapping.sol_0_no_adts_000.smt2 true 23.07 9.95 apollon049 solidity/no_adts/unit_tests/operators/unary_add_array_push_1.sol_3_no_adts_000.smt2 true 25.27 10.54 apollon048 solidity/no_adts/unit_tests/operators/integer_new.sol_9_no_adts_000.smt2 true 52.18 30.47 apollon122 solidity/no_adts/unit_tests/operators/unary_add_array.sol_8_no_adts_000.smt2 unknown 17.28 4.70 apollon155 solidity/no_adts/unit_tests/operators/delete_array.sol_0_no_adts_000.smt2 unknown 31.15 10.35 apollon033 solidity/no_adts/unit_tests/operators/index_access_for_string.sol_2_no_adts_000.smt2 true 18.40 5.67 apollon079 solidity/no_adts/unit_tests/operators/integer_new.sol_6_no_adts_000.smt2 true 126.49 96.64 apollon122 solidity/no_adts/unit_tests/operators/unary_operators_tuple_3.sol_1_no_adts_000.smt2 unknown 13.00 3.98 apollon048 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_3.sol_5_no_adts_000.smt2 unknown 395.36 352.08 apollon164 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array.sol_1_no_adts_000.smt2 true 37.83 21.86 apollon033 solidity/no_adts/unit_tests/operators/unary_add_array.sol_1_no_adts_000.smt2 true 37.78 19.16 apollon163 solidity/no_adts/unit_tests/operators/slice_default_end.sol_7_no_adts_000.smt2 unknown 273.04 206.05 apollon155 solidity/no_adts/unit_tests/operators/constant_propagation_2.sol_1_no_adts_000.smt2 true 16.96 5.31 apollon007 solidity/no_adts/unit_tests/operators/slices_3.sol_3_no_adts_000.smt2 unknown 30.82 9.07 apollon153 solidity/no_adts/unit_tests/operators/delete_array_index.sol_1_no_adts_000.smt2 unknown 85.82 56.25 apollon079 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_5_no_adts_000.smt2 true 47.07 28.21 apollon014 solidity/no_adts/unit_tests/operators/bytes_new.sol_16_no_adts_000.smt2 true 53.45 30.82 apollon062 solidity/no_adts/unit_tests/operators/bytes_new.sol_14_no_adts_000.smt2 true 123.29 95.50 apollon007 solidity/no_adts/unit_tests/operators/slice_default_start.sol_3_no_adts_000.smt2 unknown 150.52 104.60 apollon127 solidity/no_adts/unit_tests/operators/bytes_new.sol_20_no_adts_000.smt2 true 55.09 31.34 apollon066 solidity/no_adts/unit_tests/operators/bytes_new.sol_12_no_adts_000.smt2 true 53.39 30.79 apollon092 solidity/no_adts/unit_tests/operators/index_access_for_string.sol_4_no_adts_000.smt2 true 17.76 5.58 apollon066 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_3_no_adts_000.smt2 true 38.60 19.14 apollon122 solidity/no_adts/unit_tests/operators/slice_default_end.sol_4_no_adts_000.smt2 unknown 684.26 542.48 apollon046 solidity/no_adts/unit_tests/operators/constant_propagation_1.sol_0_no_adts_000.smt2 true 21.99 8.91 apollon164 solidity/no_adts/unit_tests/operators/bytes_new.sol_9_no_adts_000.smt2 true 51.94 30.04 apollon037 solidity/no_adts/unit_tests/operators/slice.sol_0_no_adts_000.smt2 unknown 156.42 120.77 apollon002 solidity/no_adts/unit_tests/operators/unary_add_array.sol_3_no_adts_000.smt2 true 35.06 16.17 apollon097 solidity/no_adts/unit_tests/operators/slice_default_end.sol_8_no_adts_000.smt2 unknown 721.05 539.74 apollon078 solidity/no_adts/unit_tests/operators/unary_add_mapping.sol_3_no_adts_000.smt2 true 23.58 9.51 apollon021 solidity/no_adts/unit_tests/operators/compound_add_chain.sol_2_no_adts_000.smt2 true 17.36 5.62 apollon017 solidity/no_adts/unit_tests/operators/delete_function.sol_2_no_adts_000.smt2 TIMEOUT 1800.91 1675.81 apollon132 solidity/no_adts/unit_tests/operators/bytes_new.sol_13_no_adts_000.smt2 true 117.58 89.86 apollon061 solidity/no_adts/unit_tests/operators/bytes_new.sol_15_no_adts_000.smt2 true 67.48 45.71 apollon149 solidity/no_adts/unit_tests/operators/function_call_named_arguments.sol_3_no_adts_000.smt2 unknown 17.48 4.82 apollon116 solidity/no_adts/unit_tests/operators/conditional_assignment_statevar_1.sol_0_no_adts_000.smt2 true 19.32 7.20 apollon019 solidity/no_adts/unit_tests/operators/integer_new.sol_10_no_adts_000.smt2 true 44.94 23.37 apollon062 solidity/no_adts/unit_tests/operators/integer_new.sol_14_no_adts_000.smt2 true 118.98 91.34 apollon155 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_6_no_adts_000.smt2 true 134.07 70.71 apollon059 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_2_no_adts_000.smt2 true 125.06 100.56 apollon135 solidity/no_adts/unit_tests/operators/delete_struct.sol_0_no_adts_000.smt2 unknown 11.45 3.59 apollon066 solidity/no_adts/unit_tests/operators/delete_function.sol_1_no_adts_000.smt2 TIMEOUT 1801.85 1412.33 apollon053 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_4_no_adts_000.smt2 true 33.49 15.61 apollon037 solidity/no_adts/unit_tests/operators/compound_sub.sol_1_no_adts_000.smt2 true 21.70 9.31 apollon049 solidity/no_adts/unit_tests/operators/conditional_assignment_1.sol_0_no_adts_000.smt2 unknown 9.96 3.02 apollon079 solidity/no_adts/unit_tests/operators/bytes_new.sol_17_no_adts_000.smt2 true 60.68 37.97 apollon059 solidity/no_adts/unit_tests/operators/unary_operators_tuple_3.sol_0_no_adts_000.smt2 unknown 24.08 6.97 apollon127 solidity/no_adts/unit_tests/operators/integer_new.sol_19_no_adts_000.smt2 true 51.50 29.99 apollon122 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_1_no_adts_000.smt2 unknown 16.00 4.27 apollon033 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array.sol_0_no_adts_000.smt2 unknown 31.10 10.72 apollon167 solidity/no_adts/unit_tests/operators/integer_new.sol_11_no_adts_000.smt2 true 126.96 97.19 apollon154 solidity/no_adts/unit_tests/operators/bytes_new.sol_19_no_adts_000.smt2 true 144.26 113.60 apollon071 solidity/no_adts/unit_tests/operators/unary_sub_mapping.sol_2_no_adts_000.smt2 true 24.61 10.55 apollon158 solidity/no_adts/unit_tests/operators/unary_sub_mapping.sol_0_no_adts_000.smt2 unknown 14.76 4.09 apollon002 solidity/no_adts/unit_tests/operators/index_access_for_string.sol_1_no_adts_000.smt2 true 17.33 5.58 apollon037 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_7_no_adts_000.smt2 true 34.38 16.51 apollon073 solidity/no_adts/unit_tests/operators/slices_3.sol_4_no_adts_000.smt2 unknown 30.85 9.19 apollon014 solidity/no_adts/unit_tests/operators/bitwise_rational_1.sol_0_no_adts_000.smt2 true 16.23 5.23 apollon036 solidity/no_adts/unit_tests/operators/unary_sub_mapping.sol_3_no_adts_000.smt2 true 23.40 9.68 apollon164 solidity/no_adts/unit_tests/operators/conditional_assignment_4.sol_0_no_adts_000.smt2 unknown 14.74 4.01 apollon155 solidity/no_adts/unit_tests/operators/unary_add_array_push_1.sol_0_no_adts_000.smt2 unknown 12.98 3.61 apollon129 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array_2.sol_0_no_adts_000.smt2 true 15.99 5.16 apollon148 solidity/no_adts/unit_tests/operators/unary_add_array.sol_6_no_adts_000.smt2 true 33.64 15.54 apollon132 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_6_no_adts_000.smt2 true 123.08 98.87 apollon071 solidity/no_adts/unit_tests/operators/unary_add.sol_0_no_adts_000.smt2 unknown 12.04 3.48 apollon021 solidity/no_adts/unit_tests/operators/integer_new.sol_15_no_adts_000.smt2 true 117.18 89.76 apollon019 solidity/no_adts/unit_tests/operators/function_call_named_arguments.sol_2_no_adts_000.smt2 unknown 18.68 4.86 apollon018 solidity/no_adts/unit_tests/operators/unary_sub_array.sol_0_no_adts_000.smt2 true 37.89 19.23 apollon122 solidity/no_adts/unit_tests/operators/delete_array.sol_2_no_adts_000.smt2 unknown 12.87 3.82 apollon098 solidity/no_adts/unit_tests/operators/bitwise_and_rational.sol_3_no_adts_000.smt2 true 21.00 9.02 apollon122 solidity/no_adts/unit_tests/operators/slice_default_end.sol_1_no_adts_000.smt2 unknown 656.42 497.95 apollon059 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_3_no_adts_000.smt2 true 104.57 80.84 apollon122 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable_array.sol_2_no_adts_000.smt2 true 37.06 21.21 apollon067 solidity/no_adts/unit_tests/operators/delete_array_index.sol_3_no_adts_000.smt2 unknown 14.74 4.05 apollon019 solidity/no_adts/unit_tests/operators/integer_new.sol_21_no_adts_000.smt2 true 54.80 31.45 apollon075 solidity/no_adts/unit_tests/operators/compound_sub_array_index.sol_5_no_adts_000.smt2 true 37.58 20.73 apollon077 solidity/no_adts/unit_tests/operators/compound_add_array_index.sol_1_no_adts_000.smt2 true 102.27 78.92 apollon067 solidity/no_adts/unit_tests/operators/bytes_new.sol_4_no_adts_000.smt2 true 51.83 29.87 apollon062 solidity/no_adts/unit_tests/operators/conditional_assignment_3.sol_0_no_adts_000.smt2 unknown 10.74 3.19 apollon021 solidity/no_adts/unit_tests/operators/conditional_assignment_6.sol_0_no_adts_000.smt2 unknown 14.92 4.04 apollon042 solidity/no_adts/unit_tests/operators/bitwise_and_rational.sol_1_no_adts_000.smt2 true 44.01 24.34 apollon079 solidity/no_adts/unit_tests/operators/assignment_contract_member_variable.sol_2_no_adts_000.smt2 unknown 37.11 13.03 apollon167 solidity/no_adts/unit_tests/operators/const_exp_1.sol_1_no_adts_000.smt2 unknown 12.22 3.87 apollon049 solidity/no_adts/unit_tests/operators/slice_default_end.sol_6_no_adts_000.smt2 unknown 18.13 4.98 apollon106 solidity/no_adts/unit_tests/operators/unary_sub.sol_1_no_adts_000.smt2 true 22.87 9.27 apollon014 solidity/no_adts/unit_tests/operators/bitwise_rational_1.sol_1_no_adts_000.smt2 true 16.03 5.18 apollon036 solidity/no_adts/unit_tests/operators/unary_sub.sol_0_no_adts_000.smt2 unknown 12.56 3.82 apollon079 solidity/no_adts/unit_tests/operators/slice_default_end.sol_5_no_adts_000.smt2 unknown 448.83 387.81 apollon118 solidity/no_adts/unit_tests/function_selector/selector_3.sol_0_no_adts_000.smt2 true 22.22 9.42 apollon033 solidity/no_adts/unit_tests/function_selector/function_types_sig.sol_2_no_adts_000.smt2 unknown 34.98 9.62 apollon042 solidity/no_adts/unit_tests/function_selector/selector_2.sol_0_no_adts_000.smt2 unknown 11.98 3.43 apollon064 solidity/no_adts/unit_tests/function_selector/selector_3.sol_1_no_adts_000.smt2 unknown 11.47 3.53 apollon128 solidity/no_adts/unit_tests/function_selector/function_types_sig.sol_3_no_adts_000.smt2 unknown 34.25 9.57 apollon059 solidity/no_adts/unit_tests/function_selector/selector.sol_0_no_adts_000.smt2 true 25.45 12.69 apollon042 solidity/no_adts/unit_tests/function_selector/function_types_sig.sol_0_no_adts_000.smt2 unknown 35.82 9.76 apollon049 solidity/no_adts/unit_tests/function_selector/function_types_sig.sol_1_no_adts_000.smt2 unknown 18.50 4.97 apollon075 solidity/no_adts/unit_tests/overflow/underflow_sub_signed.sol_1_no_adts_000.smt2 true 18.59 5.62 apollon037 solidity/no_adts/unit_tests/overflow/overflow_sum_signed.sol_1_no_adts_000.smt2 true 18.50 5.83 apollon065 solidity/no_adts/unit_tests/overflow/overflow_sum.sol_1_no_adts_000.smt2 true 9.14 3.01 apollon098 solidity/no_adts/unit_tests/overflow/underflow_sub.sol_1_no_adts_000.smt2 true 17.13 5.16 apollon122 solidity/no_adts/unit_tests/overflow/overflow_sum_signed.sol_2_no_adts_000.smt2 true 18.13 5.55 apollon059 solidity/no_adts/unit_tests/overflow/underflow_sub.sol_0_no_adts_000.smt2 true 17.13 5.38 apollon118 solidity/no_adts/unit_tests/overflow/underflow_sub_signed.sol_2_no_adts_000.smt2 true 18.60 5.76 apollon160 solidity/no_adts/unit_tests/overflow/underflow_sub_signed.sol_0_no_adts_000.smt2 true 17.93 5.66 apollon057 solidity/no_adts/unit_tests/overflow/overflow_sum.sol_0_no_adts_000.smt2 true 9.56 3.09 apollon077 solidity/no_adts/unit_tests/overflow/overflow_sum_signed.sol_0_no_adts_000.smt2 true 17.78 5.69 apollon057 solidity/no_adts/unit_tests/modifiers/modifier_overriding_3.sol_0_no_adts_000.smt2 unknown 12.30 3.73 apollon163 solidity/no_adts/unit_tests/modifiers/modifier_overriding_1.sol_1_no_adts_000.smt2 unknown 41.74 17.84 apollon106 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_10_no_adts_000.smt2 unknown 23.05 6.35 apollon059 solidity/no_adts/unit_tests/modifiers/modifier_code_after_placeholder.sol_1_no_adts_000.smt2 unknown 12.34 3.38 apollon098 solidity/no_adts/unit_tests/modifiers/modifier_overriding_1.sol_0_no_adts_000.smt2 unknown 14.33 4.08 apollon163 solidity/no_adts/unit_tests/modifiers/modifier_parameter_copy.sol_0_no_adts_000.smt2 unknown 10.11 3.01 apollon049 solidity/no_adts/unit_tests/modifiers/modifier_parameters.sol_0_no_adts_000.smt2 true 27.51 13.31 apollon033 solidity/no_adts/unit_tests/modifiers/modifier_two_invocations.sol_1_no_adts_000.smt2 unknown 28.85 9.88 apollon093 solidity/no_adts/unit_tests/modifiers/modifier_virtual_static_call_2.sol_0_no_adts_000.smt2 unknown 24.22 7.07 apollon042 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_1_no_adts_000.smt2 unknown 23.20 6.33 apollon019 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_4_no_adts_000.smt2 unknown 24.02 6.55 apollon097 solidity/no_adts/unit_tests/modifiers/modifier_multi.sol_1_no_adts_000.smt2 unknown 13.28 3.92 apollon078 solidity/no_adts/unit_tests/modifiers/modifier_two_invocations_2.sol_0_no_adts_000.smt2 unknown 11.64 3.53 apollon116 solidity/no_adts/unit_tests/modifiers/modifier_simple.sol_0_no_adts_000.smt2 true 17.38 5.92 apollon019 solidity/no_adts/unit_tests/modifiers/modifier_two_placeholders.sol_2_no_adts_000.smt2 unknown 13.93 3.81 apollon058 solidity/no_adts/unit_tests/modifiers/modifier_multi_parameters.sol_0_no_adts_000.smt2 unknown 10.82 3.22 apollon042 solidity/no_adts/unit_tests/modifiers/modifier_multi_functions.sol_1_no_adts_000.smt2 unknown 26.43 7.63 apollon014 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_6_no_adts_000.smt2 unknown 22.33 6.17 apollon128 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_0_no_adts_000.smt2 unknown 22.94 6.31 apollon049 solidity/no_adts/unit_tests/modifiers/modifier_virtual_static_call_2.sol_1_no_adts_000.smt2 unknown 11.20 3.34 apollon061 solidity/no_adts/unit_tests/modifiers/modifier_two_placeholders.sol_0_no_adts_000.smt2 unknown 33.67 13.19 apollon120 solidity/no_adts/unit_tests/modifiers/modifier_multi_functions.sol_0_no_adts_000.smt2 unknown 13.88 4.19 apollon053 solidity/no_adts/unit_tests/modifiers/modifier_same_local_variables.sol_0_no_adts_000.smt2 unknown 10.12 3.06 apollon158 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_12_no_adts_000.smt2 unknown 21.54 5.94 apollon081 solidity/no_adts/unit_tests/modifiers/modifier_overriding_3.sol_1_no_adts_000.smt2 unknown 11.31 3.58 apollon002 solidity/no_adts/unit_tests/modifiers/modifier_overriding_2.sol_1_no_adts_000.smt2 unknown 17.32 4.89 apollon002 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_14_no_adts_000.smt2 unknown 24.89 6.38 apollon062 solidity/no_adts/unit_tests/modifiers/modifier_two_placeholders.sol_1_no_adts_000.smt2 unknown 33.85 12.76 apollon103 solidity/no_adts/unit_tests/modifiers/modifier_control_flow.sol_1_no_adts_000.smt2 unknown 24.46 6.94 apollon127 solidity/no_adts/unit_tests/modifiers/modifier_two_invocations_2.sol_1_no_adts_000.smt2 unknown 27.44 9.34 apollon019 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_7_no_adts_000.smt2 unknown 22.76 6.15 apollon007 solidity/no_adts/unit_tests/modifiers/modifier_inside_branch_assignment.sol_0_no_adts_000.smt2 unknown 14.26 4.07 apollon133 solidity/no_adts/unit_tests/modifiers/modifier_multi.sol_0_no_adts_000.smt2 unknown 34.87 13.59 apollon049 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_13_no_adts_000.smt2 unknown 22.01 6.04 apollon014 solidity/no_adts/unit_tests/modifiers/modifier_overriding_2.sol_0_no_adts_000.smt2 unknown 16.16 4.22 apollon118 solidity/no_adts/unit_tests/modifiers/modifier_overflow.sol_0_no_adts_000.smt2 true 17.60 6.30 apollon154 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_15_no_adts_000.smt2 unknown 24.51 6.45 apollon079 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_2_no_adts_000.smt2 unknown 24.07 6.47 apollon164 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_5_no_adts_000.smt2 unknown 22.84 6.18 apollon001 solidity/no_adts/unit_tests/modifiers/modifier_inside_branch_assignment_multi_branches.sol_0_no_adts_000.smt2 unknown 33.50 8.94 apollon112 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_11_no_adts_000.smt2 unknown 22.26 6.08 apollon128 solidity/no_adts/unit_tests/modifiers/modifier_code_after_placeholder.sol_0_no_adts_000.smt2 true 54.87 38.36 apollon148 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_3_no_adts_000.smt2 unknown 22.96 6.19 apollon059 solidity/no_adts/unit_tests/modifiers/modifier_inside_branch_assignment_multi_branches.sol_1_no_adts_000.smt2 unknown 17.36 4.65 apollon134 solidity/no_adts/unit_tests/modifiers/modifier_two_invocations.sol_0_no_adts_000.smt2 unknown 11.24 3.55 apollon014 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_8_no_adts_000.smt2 unknown 22.68 6.15 apollon079 solidity/no_adts/unit_tests/modifiers/modifier_overriding_4.sol_9_no_adts_000.smt2 unknown 22.71 6.21 apollon118 solidity/no_adts/unit_tests/modifiers/modifier_control_flow.sol_0_no_adts_000.smt2 unknown 12.61 3.75 apollon128 solidity/no_adts/unit_tests/modifiers/modifier_parameters.sol_1_no_adts_000.smt2 true 26.69 12.66 apollon097 solidity/no_adts/unit_tests/modifiers/modifier_return.sol_0_no_adts_000.smt2 true 8.68 2.83 apollon098 solidity/no_adts/unit_tests/modifiers/modifier_inside_branch_assignment_branch.sol_0_no_adts_000.smt2 unknown 16.45 4.56 apollon157 solidity/no_adts/unit_tests/modifiers/modifier_multi_parameters.sol_1_no_adts_000.smt2 unknown 11.04 3.51 apollon145 ultimate/Lia-NonLinArrays/33_double_lock_p1_vs_000.smt2 unknown 39.42 10.61 apollon022 ultimate/Lia-NonLinArrays/36_stack_cas_p0_vs_concur_000.smt2 unknown 48.50 14.93 apollon103 ultimate/Lia-NonLinArrays/47_ticket_lock_hc_backoff_vs_000.smt2 unknown 18.82 5.01 apollon033 ultimate/Lia-NonLinArrays/48_ticket_lock_low_contention_vs_000.smt2 unknown 16.25 4.60 apollon014 ultimate/Lia-NonLinArrays/37_stack_lock_p0_vs_concur_000.smt2 unknown 40.96 11.50 apollon036 ultimate/Lia-NonLinArrays/13_unverif_000.smt2 unknown 21.89 5.89 apollon059 ultimate/Lia-NonLinArrays/05_tas_000.smt2 unknown 21.99 6.22 apollon069 ultimate/Lia-NonLinArrays/14_spin2003_000.smt2 unknown 20.99 5.78 apollon039 ultimate/Lia-NonLinArrays/33_double_lock_p1_vs_simplified_000.smt2 TIMEOUT 1800.55 1687.95 apollon096 ultimate/Lia-NonLinArrays/11_fmaxsymopt_000.smt2 unknown 43.81 12.29 apollon163 ultimate/Lia-NonLinArrays/10_fmaxsym_cas_000.smt2 unknown 48.17 14.32 apollon111 ultimate/Lia-NonLinArrays/46_monabsex2_vs_000.smt2 unknown 20.66 5.53 apollon122 ultimate/Lia-NonLinArrays/38_rand_cas_vs_concur_000.smt2 unknown 48.90 14.18 apollon058 ultimate/Lia-NonLinArrays/12_fmaxsymopt_cas_000.smt2 unknown 51.89 16.06 apollon064 ultimate/Lia-NonLinArrays/06_ticket_000.smt2 unknown 39.91 11.01 apollon111 ultimate/Lia-NonLinArrays/42_FreeBSD_rdma_addr_sliced_000.smt2 unknown 30.30 8.70 apollon163 ultimate/Lia-NonLinArrays/29_conditionals_vs_000.smt2 unknown 30.26 8.16 apollon157 ultimate/Lia-NonLinArrays/44_Solaris_space_map_sliced_000.smt2 unknown 42.70 13.48 apollon168 ultimate/Lia-NonLinArrays/09_fmaxsym_000.smt2 unknown 39.16 10.79 apollon073 ultimate/Lia-NonLinArrays/31_simple_loop5_vs_000.smt2 unknown 31.27 8.27 apollon111 ultimate/Lia-NonLinArrays/39_rand_lock_p0_vs_000.smt2 unknown 39.68 11.10 apollon065 ultimate/Lia-NonLinArrays/45_monabsex1_vs_000.smt2 unknown 21.90 5.84 apollon034 ultimate/Lia-NonLinArrays/05_tas_simplified_000.smt2 unknown 95.15 31.42 apollon021 hcai-bench/svcomp/O3/O3_recHanoi01_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1803.77 878.52 apollon144 hcai-bench/svcomp/O0/O0_eureka_01_false-unreach-call_000.smt2 TIMEOUT 1800.60 1709.92 apollon089 hcai-bench/svcomp/O0/O0_linear_sea.ch_true-unreach-call_000.smt2 false 8.24 2.80 apollon158 hcai-bench/svcomp/O0/O0_eureka_01_true-unreach-call_000.smt2 TIMEOUT 1803.18 868.90 apollon135 hcai-bench/svcomp/O0/O0_ludcmp_false-unreach-call_000.smt2 false 485.24 332.96 apollon098 hcai-bench/svcomp/O0/O0_linear_search_false-unreach-call_000.smt2 false 8.55 2.82 apollon132 hcai-bench/svcomp/O0/O0_veris.c_NetBSD-libc__loop_true-unreach-call_true-termination_000.smt2 false 7.05 2.55 apollon134 hcai-bench/svcomp/O0/O0_matrix_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.14 1602.08 apollon119 hcai-bench/svcomp/O0/O0_recHanoi01_true-unreach-call_true-no-overflow_true-termination_000.smt2 TIMEOUT 1805.79 892.75 apollon133 hcai-bench/svcomp/O0/O0_invert_string_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.52 1675.65 apollon021 hcai-bench/svcomp/O0/O0_BallRajamani-SPIN2000-Fig1_false-unreach-call_true-no-overflow_true-termination_000.smt2 false 53.82 37.57 apollon046 hcai-bench/svcomp/O0/O0_while_infinite_loop_4_false-unreach-call_true-termination_000.smt2 false 8.89 2.89 apollon019 hcai-bench/svcomp/O0/O0_insertion_sort_false-unreach-call_true-termination_000.smt2 TIMEOUT 1801.83 1211.99 apollon044 hcai-bench/svcomp/O0/O0_veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call_true-termination_000.smt2 true 9.73 3.24 apollon094 hcai-bench/svcomp/O0/O0_sum_array_false-unreach-call_000.smt2 TIMEOUT 1800.75 1675.62 apollon145 hcai-bench/svcomp/O0/O0_invert_string_false-unreach-call_true-termination_000.smt2 TIMEOUT 1800.68 1512.32 apollon094 hcai-bench/svcomp/O0/O0_insertion_sort_true-unreach-call_true-termination_000.smt2 TIMEOUT 1802.45 1178.50 apollon149 hcai-bench/svcomp/O0/O0_lu.cmp_true-unreach-call_000.smt2 TIMEOUT 1806.32 886.89 apollon120 hcai-bench/svcomp/O0/O0_verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call_true-termination_000.smt2 unknown 63.87 21.23 apollon073 hcai-bench/svcomp/O0/O0_trex02_true-unreach-call_true-termination_000.smt2 true 6.42 2.32 apollon158 hcai-bench/svcomp/O0/O0_verisec_NetBSD-libc__loop_false-unreach-call_true-termination_000.smt2 false 7.19 2.53 apollon122 hcai-bench/svcomp/O0/O0_while_infinite_loop_3_true-unreach-call_false-termination_000.smt2 true 9.59 3.00 apollon019 hcai-bench/svcomp/O0/O0_eureka_05_true-unreach-call_true-termination_000.smt2 TIMEOUT 1800.88 1553.36 apollon158 hcai-bench/svcomp/O0/O0_sum_array_true-unreach-call_000.smt2 TIMEOUT 1800.17 1609.43 apollon120 hcai-bench/svcomp/O0/O0_trex02_false-unreach-call_true-termination_000.smt2 false 6.72 2.39 apollon148 ---------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Run set 1 done None 18672.16 - Statistics: 1728 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 1318