BENCHMARK INFORMATION benchmark definition: ../../benchmark-defs/full-runs/chococatalia.xml name: chococatalia run sets: CHC-COMP2025_check-sat.ADT-LIA date: Sun, 2025-05-04 04:56:29 CEST tool: ChocoCatalia tool executable: ./run 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.ADT-LIA Run set 1 of 1 with options '' and propertyfile 'None' inputfile status cpu time wall time host ------------------------------------------------------------------------------------------------------------------------------------------ ringen-adt-benchmarks/isaplanner/prop_63_000.smt2 TIMEOUT 1800.43 1800.54 apollon152 ringen-adt-benchmarks/isaplanner/prop_61_000.smt2 TIMEOUT 1800.43 1800.48 apollon023 ringen-adt-benchmarks/isaplanner/prop_50_000.smt2 TIMEOUT 1800.43 1800.45 apollon063 ringen-adt-benchmarks/isaplanner/prop_47_000.smt2 TIMEOUT 1800.43 1800.53 apollon079 ringen-adt-benchmarks/isaplanner/prop_29_000.smt2 TIMEOUT 1800.43 1800.56 apollon144 ringen-adt-benchmarks/isaplanner/prop_56_000.smt2 true 3.17 3.02 apollon037 ringen-adt-benchmarks/isaplanner/prop_19_000.smt2 true 0.57 0.55 apollon151 ringen-adt-benchmarks/isaplanner/prop_17_000.smt2 true 0.59 0.57 apollon085 ringen-adt-benchmarks/isaplanner/prop_02_000.smt2 TIMEOUT 1800.43 1800.52 apollon069 ringen-adt-benchmarks/isaplanner/prop_81_000.smt2 true 10.58 10.20 apollon137 ringen-adt-benchmarks/isaplanner/prop_58_000.smt2 TIMEOUT 1800.43 1800.50 apollon102 ringen-adt-benchmarks/isaplanner/prop_20_000.smt2 true 30.38 30.44 apollon060 ringen-adt-benchmarks/isaplanner/prop_64_000.smt2 true 1.30 1.28 apollon020 ringen-adt-benchmarks/isaplanner/prop_31_000.smt2 true 0.73 0.71 apollon113 ringen-adt-benchmarks/isaplanner/prop_68_000.smt2 TIMEOUT 1800.43 1800.55 apollon008 ringen-adt-benchmarks/isaplanner/prop_30_000.smt2 true 0.56 0.55 apollon140 ringen-adt-benchmarks/isaplanner/prop_60_000.smt2 true 1.65 1.60 apollon162 ringen-adt-benchmarks/isaplanner/prop_71_000.smt2 TIMEOUT 1800.43 1800.50 apollon103 ringen-adt-benchmarks/isaplanner/prop_65_000.smt2 true 2.08 2.19 apollon118 ringen-adt-benchmarks/isaplanner/prop_84_000.smt2 TIMEOUT 1800.43 1800.40 apollon125 ringen-adt-benchmarks/isaplanner/prop_80_000.smt2 TIMEOUT 1800.43 1800.40 apollon052 ringen-adt-benchmarks/isaplanner/prop_85_000.smt2 TIMEOUT 1800.44 1800.25 apollon057 ringen-adt-benchmarks/isaplanner/prop_59_000.smt2 TIMEOUT 1800.43 1800.44 apollon161 ringen-adt-benchmarks/isaplanner/prop_74_000.smt2 TIMEOUT 1800.43 1800.37 apollon116 ringen-adt-benchmarks/isaplanner/prop_24_000.smt2 true 3.04 3.10 apollon146 ringen-adt-benchmarks/isaplanner/prop_37_000.smt2 TIMEOUT 1800.43 1800.52 apollon009 ringen-adt-benchmarks/isaplanner/prop_21_000.smt2 TIMEOUT 1800.43 1800.32 apollon124 ringen-adt-benchmarks/isaplanner/prop_10_000.smt2 true 0.56 0.55 apollon160 ringen-adt-benchmarks/isaplanner/prop_42_000.smt2 TIMEOUT 1800.43 1800.46 apollon161 ringen-adt-benchmarks/isaplanner/prop_26_000.smt2 true 0.40 0.40 apollon069 ringen-adt-benchmarks/isaplanner/prop_03_000.smt2 TIMEOUT 1800.43 1800.52 apollon043 ringen-adt-benchmarks/isaplanner/prop_16_000.smt2 true 0.85 0.86 apollon116 ringen-adt-benchmarks/isaplanner/prop_67_000.smt2 TIMEOUT 1800.43 1800.56 apollon090 ringen-adt-benchmarks/isaplanner/prop_62_000.smt2 true 1.22 1.17 apollon089 ringen-adt-benchmarks/isaplanner/prop_25_000.smt2 true 78.63 78.41 apollon082 ringen-adt-benchmarks/isaplanner/prop_23_000.smt2 true 0.75 0.73 apollon064 ringen-adt-benchmarks/isaplanner/prop_49_000.smt2 TIMEOUT 1800.43 1800.41 apollon128 ringen-adt-benchmarks/isaplanner/prop_33_000.smt2 true 40.60 40.66 apollon151 ringen-adt-benchmarks/isaplanner/prop_77_000.smt2 TIMEOUT 1800.43 1800.58 apollon128 ringen-adt-benchmarks/isaplanner/prop_06_000.smt2 true 0.85 0.81 apollon039 ringen-adt-benchmarks/isaplanner/prop_45_000.smt2 TIMEOUT 1800.43 1800.49 apollon017 ringen-adt-benchmarks/isaplanner/prop_44_000.smt2 TIMEOUT 1800.43 1800.55 apollon147 ringen-adt-benchmarks/isaplanner/prop_39_000.smt2 TIMEOUT 1800.43 1800.55 apollon082 ringen-adt-benchmarks/isaplanner/prop_86_000.smt2 TIMEOUT 1800.43 1800.58 apollon164 ringen-adt-benchmarks/isaplanner/prop_11_000.smt2 true 0.91 0.86 apollon051 ringen-adt-benchmarks/isaplanner/prop_57_000.smt2 TIMEOUT 1800.43 1800.43 apollon106 ringen-adt-benchmarks/isaplanner/prop_07_000.smt2 true 182.88 182.88 apollon127 ringen-adt-benchmarks/isaplanner/prop_48_000.smt2 true 1.73 1.64 apollon111 ringen-adt-benchmarks/isaplanner/prop_15_000.smt2 true 0.28 0.30 apollon082 ringen-adt-benchmarks/isaplanner/prop_22_000.smt2 true 1.01 0.97 apollon145 ringen-adt-benchmarks/isaplanner/prop_76_000.smt2 TIMEOUT 1800.43 1800.58 apollon018 ringen-adt-benchmarks/isaplanner/prop_83_000.smt2 TIMEOUT 1800.43 1800.45 apollon079 ringen-adt-benchmarks/isaplanner/prop_54_000.smt2 true 182.23 182.29 apollon089 ringen-adt-benchmarks/isaplanner/prop_32_000.smt2 TIMEOUT 1800.43 1800.32 apollon045 ringen-adt-benchmarks/isaplanner/prop_34_000.smt2 true 5.26 5.34 apollon024 ringen-adt-benchmarks/isaplanner/prop_52_000.smt2 TIMEOUT 1800.43 1800.45 apollon145 ringen-adt-benchmarks/isaplanner/prop_82_000.smt2 TIMEOUT 1800.43 1800.45 apollon001 ringen-adt-benchmarks/isaplanner/prop_70_000.smt2 true 14.51 14.61 apollon042 ringen-adt-benchmarks/isaplanner/prop_72_000.smt2 TIMEOUT 1800.43 1800.43 apollon016 ringen-adt-benchmarks/isaplanner/prop_53_000.smt2 TIMEOUT 1800.43 1800.49 apollon010 ringen-adt-benchmarks/isaplanner/prop_55_000.smt2 TIMEOUT 1800.43 1800.43 apollon078 ringen-adt-benchmarks/isaplanner/prop_75_000.smt2 TIMEOUT 1800.43 1800.53 apollon140 ringen-adt-benchmarks/isaplanner/prop_69_000.smt2 true 2.16 2.27 apollon130 ringen-adt-benchmarks/isaplanner/prop_28_000.smt2 true 3.17 2.99 apollon063 ringen-adt-benchmarks/isaplanner/prop_04_000.smt2 true 0.72 0.70 apollon016 ringen-adt-benchmarks/isaplanner/prop_05_000.smt2 true 0.74 0.71 apollon070 ringen-adt-benchmarks/isaplanner/prop_18_000.smt2 TIMEOUT 1800.43 1800.53 apollon118 ringen-adt-benchmarks/isaplanner/prop_78_000.smt2 TIMEOUT 1800.51 1800.66 apollon161 ringen-adt-benchmarks/isaplanner/prop_13_000.smt2 true 2.08 1.97 apollon039 ringen-adt-benchmarks/isaplanner/prop_09_000.smt2 true 182.66 182.71 apollon130 ringen-adt-benchmarks/isaplanner/prop_79_000.smt2 true 184.76 184.82 apollon038 ringen-adt-benchmarks/isaplanner/prop_08_000.smt2 true 1.73 1.64 apollon080 ringen-adt-benchmarks/isaplanner/prop_27_000.smt2 true 0.66 0.64 apollon115 ringen-adt-benchmarks/isaplanner/prop_51_000.smt2 true 0.58 0.57 apollon013 ringen-adt-benchmarks/isaplanner/prop_46_000.smt2 true 18.88 18.91 apollon113 ringen-adt-benchmarks/isaplanner/prop_40_000.smt2 TIMEOUT 1800.43 1800.43 apollon113 ringen-adt-benchmarks/isaplanner/prop_38_000.smt2 TIMEOUT 1800.43 1800.62 apollon011 ringen-adt-benchmarks/isaplanner/prop_01_000.smt2 true 4.13 3.93 apollon123 ringen-adt-benchmarks/false/graph_bt5_000.smt2 TIMEOUT 1800.43 1800.34 apollon063 ringen-adt-benchmarks/false/regexp_kfind3_000.smt2 TIMEOUT 1800.44 1799.97 apollon059 ringen-adt-benchmarks/false/regexp_find7_000.smt2 TIMEOUT 1800.44 1799.93 apollon053 ringen-adt-benchmarks/false/productive_use_of_failure_app_inj1_000.smt2 true 0.46 0.46 apollon057 ringen-adt-benchmarks/false/queue2_QueueR_000.smt2 TIMEOUT 1800.70 1799.83 apollon024 ringen-adt-benchmarks/false/hotel_key_safe1_000.smt2 TIMEOUT 1800.44 1800.17 apollon122 ringen-adt-benchmarks/false/hotel_key_safe2_000.smt2 TIMEOUT 1800.43 1800.16 apollon074 ringen-adt-benchmarks/false/graph_p11_000.smt2 TIMEOUT 1800.67 1800.38 apollon061 ringen-adt-benchmarks/false/hotel_key_safe3_000.smt2 TIMEOUT 1800.44 1800.07 apollon016 ringen-adt-benchmarks/false/productive_use_of_failure_rot_comm_000.smt2 TIMEOUT 1800.43 1800.45 apollon007 ringen-adt-benchmarks/false/productive_use_of_failure_drop_idem_000.smt2 false 2.30 2.19 apollon136 ringen-adt-benchmarks/false/regexp_same_000.smt2 TIMEOUT 1800.43 1799.68 apollon100 ringen-adt-benchmarks/false/regexp_kfind4_000.smt2 TIMEOUT 1800.43 1799.71 apollon077 ringen-adt-benchmarks/false/hotel_key_safe0_000.smt2 TIMEOUT 1800.44 1800.19 apollon019 ringen-adt-benchmarks/false/graph_p9_000.smt2 TIMEOUT 1800.44 1800.34 apollon039 ringen-adt-benchmarks/false/queue1_QueueL_000.smt2 TIMEOUT 1800.44 1799.71 apollon002 ringen-adt-benchmarks/false/regexp_find3_000.smt2 TIMEOUT 1800.43 1799.83 apollon146 ringen-adt-benchmarks/false/productive_use_of_failure_drop_inj2_000.smt2 false 2.12 2.01 apollon158 ringen-adt-benchmarks/false/graph_p7_000.smt2 TIMEOUT 1800.48 1800.12 apollon022 ringen-adt-benchmarks/false/regexp_bad_assoc_000.smt2 TIMEOUT 1800.44 1800.28 apollon115 ringen-adt-benchmarks/false/regexp_deluxe_bad_assoc_000.smt2 TIMEOUT 1800.56 1800.22 apollon053 ringen-adt-benchmarks/false/regexp_koen_000.smt2 TIMEOUT 1800.46 1799.12 apollon014 ringen-adt-benchmarks/false/productive_use_of_failure_drop_comm_000.smt2 true 3.38 3.23 apollon098 ringen-adt-benchmarks/false/productive_use_of_failure_rot_uhhhw1_000.smt2 false 3.02 2.85 apollon036 ringen-adt-benchmarks/false/regexp_find1_000.smt2 TIMEOUT 1800.45 1798.31 apollon107 ringen-adt-benchmarks/false/productive_use_of_failure_rot_bogus_000.smt2 TIMEOUT 1800.63 1800.53 apollon119 ringen-adt-benchmarks/false/productive_use_of_failure_union_idem_000.smt2 TIMEOUT 1800.42 1800.61 apollon160 ringen-adt-benchmarks/false/graph_d5_000.smt2 TIMEOUT 1800.43 1800.35 apollon032 ringen-adt-benchmarks/false/productive_use_of_failure_union_comm_000.smt2 TIMEOUT 1800.43 1800.47 apollon066 ringen-adt-benchmarks/false/graph_p31_000.smt2 TIMEOUT 1800.68 1800.54 apollon070 ringen-adt-benchmarks/false/regexp_kfind6_000.smt2 TIMEOUT 1800.43 1800.01 apollon086 ringen-adt-benchmarks/false/productive_use_of_failure_rot_inj1_000.smt2 TIMEOUT 1800.48 1800.54 apollon141 ringen-adt-benchmarks/false/regexp_find4_000.smt2 TIMEOUT 1800.44 1799.71 apollon114 ringen-adt-benchmarks/false/queue2_QueueL_000.smt2 TIMEOUT 1800.69 1800.21 apollon015 ringen-adt-benchmarks/false/graph_p21_000.smt2 TIMEOUT 1800.77 1800.52 apollon089 ringen-adt-benchmarks/false/graph_bt4_000.smt2 TIMEOUT 1800.43 1800.40 apollon058 ringen-adt-benchmarks/false/graph_d7_000.smt2 TIMEOUT 1800.56 1800.44 apollon025 ringen-adt-benchmarks/false/productive_use_of_failure_rot_inj0_000.smt2 false 1.64 1.59 apollon055 ringen-adt-benchmarks/false/productive_use_of_failure_rot_uhhh_000.smt2 TIMEOUT 1800.43 1800.34 apollon142 ringen-adt-benchmarks/false/regexp_kfind7_000.smt2 TIMEOUT 1800.43 1799.75 apollon070 ringen-adt-benchmarks/false/regexp_find6_000.smt2 TIMEOUT 1800.43 1800.43 apollon051 ringen-adt-benchmarks/false/regexp_koen_easy_000.smt2 TIMEOUT 1800.43 1800.35 apollon065 ringen-adt-benchmarks/false/regexp_find2_000.smt2 TIMEOUT 1800.43 1800.34 apollon074 ringen-adt-benchmarks/false/regexp_deluxe_switcheroo_000.smt2 TIMEOUT 1800.57 1800.00 apollon032 ringen-adt-benchmarks/false/regexp_deluxe_iter_000.smt2 TIMEOUT 1800.59 1800.33 apollon118 ringen-adt-benchmarks/false/graph_t3_000.smt2 TIMEOUT 1800.43 1800.24 apollon149 ringen-adt-benchmarks/false/productive_use_of_failure_rot_uhhhw2_000.smt2 false 1.38 1.31 apollon045 ringen-adt-benchmarks/false/queue1_QueueR_000.smt2 TIMEOUT 1800.70 1799.74 apollon079 ringen-adt-benchmarks/false/mergesort_merge_comm_000.smt2 TIMEOUT 1800.43 1800.20 apollon123 ringen-adt-benchmarks/false/regexp_deluxe_FromToConj_000.smt2 true 19.14 18.86 apollon070 ringen-adt-benchmarks/false/regexp_deluxe_FromToConj_difficult_000.smt2 TIMEOUT 1800.56 1800.30 apollon065 ringen-adt-benchmarks/false/productive_use_of_failure_app_inj2_000.smt2 true 0.47 0.46 apollon152 ringen-adt-benchmarks/false/regexp_kfind1_000.smt2 TIMEOUT 1800.44 1799.74 apollon013 ringen-adt-benchmarks/false/graph_btp5_000.smt2 TIMEOUT 1800.46 1799.83 apollon009 ringen-adt-benchmarks/false/regexp_deluxe_Conj_000.smt2 TIMEOUT 1800.51 1799.97 apollon160 ringen-adt-benchmarks/false/graph_t5_000.smt2 TIMEOUT 1800.43 1800.17 apollon107 ringen-adt-benchmarks/false/cfg5_unambig_000.smt2 TIMEOUT 1800.43 1800.30 apollon054 ringen-adt-benchmarks/false/regexp_find5_000.smt2 TIMEOUT 1800.43 1800.45 apollon055 ringen-adt-benchmarks/false/queue3_QueueL_000.smt2 TIMEOUT 1800.69 1800.19 apollon020 ringen-adt-benchmarks/false/productive_use_of_failure_drop_invol_000.smt2 false 2.13 2.02 apollon089 ringen-adt-benchmarks/false/graph_p5_000.smt2 TIMEOUT 1800.44 1799.96 apollon129 ringen-adt-benchmarks/false/show_bin_lists_assoc_000.smt2 TIMEOUT 1800.43 1800.20 apollon005 ringen-adt-benchmarks/false/queue3_QueueR_000.smt2 TIMEOUT 1800.45 1799.35 apollon061 ringen-adt-benchmarks/false/regexp_kfind5_000.smt2 TIMEOUT 1800.43 1799.99 apollon098 ringen-adt-benchmarks/false/graph_tp5_000.smt2 TIMEOUT 1800.45 1799.24 apollon118 ringen-adt-benchmarks/false/productive_use_of_failure_len_bs_000.smt2 false 1.28 1.22 apollon043 ringen-adt-benchmarks/false/productive_use_of_failure_drop_inj1_000.smt2 false 1.05 1.05 apollon128 ringen-adt-benchmarks/false/regexp_kfind2_000.smt2 TIMEOUT 1800.43 1800.01 apollon126 ringen-adt-benchmarks/false/regexp_switcheroo_000.smt2 false 210.34 209.89 apollon085 ringen-adt-benchmarks/false/graph_bt3_000.smt2 TIMEOUT 1800.43 1800.47 apollon025 ringen-adt-benchmarks/false/regexp_deluxe_koen_000.smt2 TIMEOUT 1800.57 1800.30 apollon163 ringen-adt-benchmarks/grammars/packrat_unambigPackrat_000.smt2 TIMEOUT 1800.43 1800.47 apollon021 ringen-adt-benchmarks/grammars/simp_expr_unambig5_000.smt2 OUT OF MEMORY 610.89 609.24 apollon073 ringen-adt-benchmarks/grammars/simp_expr_unambig2_000.smt2 TIMEOUT 1800.43 1800.28 apollon158 ringen-adt-benchmarks/grammars/simp_expr_unambig4_000.smt2 TIMEOUT 1800.43 1800.05 apollon094 ringen-adt-benchmarks/grammars/simp_expr_unambig3_000.smt2 TIMEOUT 1800.43 1800.54 apollon154 ringen-adt-benchmarks/grammars/simp_expr_unambig1_000.smt2 TIMEOUT 1800.43 1800.51 apollon056 ringen-adt-benchmarks/tip2015/weird_nat_add3_rrot_000.smt2 true 0.47 0.47 apollon135 ringen-adt-benchmarks/tip2015/weird_nat_add3acc_comm13_000.smt2 true 0.41 0.41 apollon089 ringen-adt-benchmarks/tip2015/sort_MSortBU2Sorts_000.smt2 TIMEOUT 1800.43 1800.46 apollon092 ringen-adt-benchmarks/tip2015/nat_boring_min_idem_000.smt2 true 1.59 1.67 apollon109 ringen-adt-benchmarks/tip2015/list_nat_Interleave_000.smt2 TIMEOUT 1800.43 1800.35 apollon133 ringen-adt-benchmarks/tip2015/sort_StoogeSort2Sorts_000.smt2 TIMEOUT 1800.45 1800.32 apollon133 ringen-adt-benchmarks/tip2015/sort_BSortIsSort_000.smt2 TIMEOUT 1800.44 1799.61 apollon040 ringen-adt-benchmarks/tip2015/int_add_inv_left_000.smt2 TIMEOUT 1800.43 1800.57 apollon090 ringen-adt-benchmarks/tip2015/list_PairUnpair_000.smt2 TIMEOUT 1800.43 1800.46 apollon074 ringen-adt-benchmarks/tip2015/rotate_self_000.smt2 TIMEOUT 1800.43 1800.30 apollon001 ringen-adt-benchmarks/tip2015/sort_nat_StoogeSortSorts_000.smt2 TIMEOUT 1800.43 1800.21 apollon054 ringen-adt-benchmarks/tip2015/sort_nat_NMSortTDCount_000.smt2 TIMEOUT 1800.43 1800.41 apollon037 ringen-adt-benchmarks/tip2015/tree_Flatten1_000.smt2 TIMEOUT 1800.43 1800.49 apollon151 ringen-adt-benchmarks/tip2015/int_add_ident_left_000.smt2 false 4.40 4.36 apollon030 ringen-adt-benchmarks/tip2015/sort_nat_TSortCount_000.smt2 TIMEOUT 1800.43 1800.43 apollon109 ringen-adt-benchmarks/tip2015/relaxedprefix_correct_000.smt2 TIMEOUT 1800.43 1800.30 apollon159 ringen-adt-benchmarks/tip2015/weird_nat_add3_assoc2_000.smt2 true 0.53 0.53 apollon067 ringen-adt-benchmarks/tip2015/bin_nat_s_000.smt2 TIMEOUT 1800.43 1800.41 apollon158 ringen-adt-benchmarks/tip2015/sort_HSortCount_000.smt2 TIMEOUT 1800.43 1800.45 apollon105 ringen-adt-benchmarks/tip2015/regexp_RecEps_000.smt2 true 221.04 219.04 apollon050 ringen-adt-benchmarks/tip2015/sort_HSortSorts_000.smt2 TIMEOUT 1800.43 1800.42 apollon074 ringen-adt-benchmarks/tip2015/bin_nat_plus_assoc_000.smt2 TIMEOUT 1800.43 1800.41 apollon153 ringen-adt-benchmarks/tip2015/bin_nat_plus_comm_000.smt2 TIMEOUT 1800.43 1800.41 apollon111 ringen-adt-benchmarks/tip2015/regexp_PlusIdempotent_000.smt2 TIMEOUT 1800.64 1793.25 apollon096 ringen-adt-benchmarks/tip2015/int_right_distrib_000.smt2 TIMEOUT 1800.44 1798.01 apollon141 ringen-adt-benchmarks/tip2015/sort_nat_BSortSorts_000.smt2 true 3.90 3.80 apollon048 ringen-adt-benchmarks/tip2015/int_add_inv_right_000.smt2 TIMEOUT 1800.43 1800.53 apollon001 ringen-adt-benchmarks/tip2015/bin_s_000.smt2 TIMEOUT 1800.43 1800.55 apollon018 ringen-adt-benchmarks/tip2015/rotate_structural_mod_000.smt2 TIMEOUT 1800.43 1799.97 apollon064 ringen-adt-benchmarks/tip2015/weird_nat_mul3_spec_000.smt2 TIMEOUT 1800.68 1799.59 apollon060 ringen-adt-benchmarks/tip2015/regexp_SeqAssociative_000.smt2 TIMEOUT 1800.44 1799.34 apollon115 ringen-adt-benchmarks/tip2015/weird_nat_mul3acc_assoc1_000.smt2 false 252.21 251.55 apollon097 ringen-adt-benchmarks/tip2015/sort_MSortTDSorts_000.smt2 true 51.93 51.81 apollon074 ringen-adt-benchmarks/tip2015/sort_ISortSorts_000.smt2 TIMEOUT 1800.43 1800.46 apollon143 ringen-adt-benchmarks/tip2015/nat_lt_irreflexive_000.smt2 true 0.13 0.14 apollon140 ringen-adt-benchmarks/tip2015/nat_alt_mul_same_000.smt2 TIMEOUT 1800.67 1799.74 apollon019 ringen-adt-benchmarks/tip2015/sort_nat_BSortIsSort_000.smt2 TIMEOUT 1800.43 1800.36 apollon152 ringen-adt-benchmarks/tip2015/weird_nat_add3acc_comm23_000.smt2 true 0.38 0.38 apollon013 ringen-adt-benchmarks/tip2015/sort_nat_MSortTDSorts_000.smt2 TIMEOUT 1800.43 1800.33 apollon060 ringen-adt-benchmarks/tip2015/sort_nat_BubSortIsSort_000.smt2 TIMEOUT 1800.43 1800.33 apollon163 ringen-adt-benchmarks/tip2015/sort_nat_NStoogeSort2IsSort_000.smt2 TIMEOUT 1800.43 1800.25 apollon021 ringen-adt-benchmarks/tip2015/nat_boring_ge_reflexive_000.smt2 true 0.16 0.17 apollon105 ringen-adt-benchmarks/tip2015/sort_BubSortCount_000.smt2 TIMEOUT 1800.43 1800.48 apollon151 ringen-adt-benchmarks/tip2015/sort_StoogeSort2IsSort_000.smt2 TIMEOUT 1800.48 1800.20 apollon013 ringen-adt-benchmarks/tip2015/list_nat_PairUnpair_000.smt2 TIMEOUT 1800.43 1800.43 apollon082 ringen-adt-benchmarks/tip2015/sort_nat_ISortSorts_000.smt2 TIMEOUT 1800.43 1800.39 apollon129 ringen-adt-benchmarks/tip2015/sort_MSortTDCount_000.smt2 TIMEOUT 1800.43 1800.05 apollon046 ringen-adt-benchmarks/tip2015/weird_nat_add3_comm23_000.smt2 true 0.44 0.44 apollon101 ringen-adt-benchmarks/tip2015/relaxedprefix_is_prefix_4_000.smt2 TIMEOUT 1800.43 1800.47 apollon041 ringen-adt-benchmarks/tip2015/int_add_ident_right_000.smt2 false 4.24 4.21 apollon143 ringen-adt-benchmarks/tip2015/sort_StoogeSortCount_000.smt2 TIMEOUT 1800.43 1800.43 apollon102 ringen-adt-benchmarks/tip2015/bin_times_000.smt2 TIMEOUT 1800.43 1800.08 apollon108 ringen-adt-benchmarks/tip2015/int_mul_ident_left_000.smt2 TIMEOUT 1800.62 1800.22 apollon002 ringen-adt-benchmarks/tip2015/sort_ISortCount_000.smt2 TIMEOUT 1800.43 1800.22 apollon159 ringen-adt-benchmarks/tip2015/nat_alt_mul_assoc_000.smt2 TIMEOUT 1800.64 1799.32 apollon014 ringen-adt-benchmarks/tip2015/weird_nat_mul3acc_comm23_000.smt2 TIMEOUT 1800.63 1799.68 apollon125 ringen-adt-benchmarks/tip2015/sort_nat_BSortCount_000.smt2 TIMEOUT 1800.43 1800.35 apollon135 ringen-adt-benchmarks/tip2015/nat_min_max_distrib_000.smt2 true 10.07 9.96 apollon005 ringen-adt-benchmarks/tip2015/sort_MSortTDIsSort_000.smt2 TIMEOUT 1800.43 1799.37 apollon023 ringen-adt-benchmarks/tip2015/mccarthy91_M1_000.smt2 TIMEOUT 1800.46 1793.46 apollon113 ringen-adt-benchmarks/tip2015/nat_alt_mul_comm_000.smt2 TIMEOUT 1800.57 1799.54 apollon023 ringen-adt-benchmarks/tip2015/mccarthy91_M2_000.smt2 true 1.62 1.50 apollon002 ringen-adt-benchmarks/tip2015/sort_nat_StoogeSort2Sorts_000.smt2 TIMEOUT 1800.48 1798.72 apollon051 ringen-adt-benchmarks/tip2015/sort_NStoogeSort2IsSort_000.smt2 TIMEOUT 1800.43 1800.38 apollon088 ringen-adt-benchmarks/tip2015/weird_nat_mul2_assoc_000.smt2 TIMEOUT 1800.60 1799.56 apollon085 ringen-adt-benchmarks/tip2015/weird_nat_mul3acc_comm12_000.smt2 TIMEOUT 1800.65 1799.58 apollon149 ringen-adt-benchmarks/tip2015/sort_nat_MSortBU2Sorts_000.smt2 TIMEOUT 1800.49 1799.53 apollon014 ringen-adt-benchmarks/tip2015/sort_TSortIsSort_000.smt2 TIMEOUT 1800.43 1800.48 apollon121 ringen-adt-benchmarks/tip2015/bin_times_assoc_000.smt2 TIMEOUT 1800.43 1800.34 apollon164 ringen-adt-benchmarks/tip2015/nat_le_reflexive_000.smt2 true 0.16 0.17 apollon068 ringen-adt-benchmarks/tip2015/weird_nat_mul3_same_000.smt2 false 238.75 237.77 apollon002 ringen-adt-benchmarks/tip2015/sort_nat_TSortIsSort_000.smt2 TIMEOUT 1800.43 1800.32 apollon026 ringen-adt-benchmarks/tip2015/int_mul_ident_right_000.smt2 TIMEOUT 1800.79 1800.40 apollon044 ringen-adt-benchmarks/tip2015/weird_nat_mul3_rot_000.smt2 TIMEOUT 1800.65 1799.95 apollon128 ringen-adt-benchmarks/tip2015/regexp_RecSeq_000.smt2 TIMEOUT 1800.43 1799.39 apollon161 ringen-adt-benchmarks/tip2015/sort_nat_NStoogeSort2Sorts_000.smt2 TIMEOUT 1800.43 1800.23 apollon026 ringen-adt-benchmarks/tip2015/sort_nat_TSortSorts_000.smt2 TIMEOUT 1800.43 1800.44 apollon150 ringen-adt-benchmarks/tip2015/mod_same_000.smt2 false 2.56 2.59 apollon135 ringen-adt-benchmarks/tip2015/weird_nat_add3acc_comm12_000.smt2 true 0.37 0.37 apollon030 ringen-adt-benchmarks/tip2015/sort_nat_HSort2Count_000.smt2 TIMEOUT 1800.43 1800.56 apollon038 ringen-adt-benchmarks/tip2015/sort_NStoogeSortCount_000.smt2 TIMEOUT 1800.43 1800.35 apollon162 ringen-adt-benchmarks/tip2015/nat_max_comm_000.smt2 true 10.00 10.07 apollon005 ringen-adt-benchmarks/tip2015/nat_boring_ge_antisym_000.smt2 true 1.94 2.05 apollon154 ringen-adt-benchmarks/tip2015/sort_HSort2Count_000.smt2 TIMEOUT 1800.43 1800.58 apollon126 ringen-adt-benchmarks/tip2015/bin_distrib_000.smt2 TIMEOUT 1800.43 1800.40 apollon148 ringen-adt-benchmarks/tip2015/weird_nat_mul3_comm23_000.smt2 TIMEOUT 1800.64 1799.85 apollon160 ringen-adt-benchmarks/tip2015/weird_nat_mul3_assoc3_000.smt2 TIMEOUT 1800.65 1800.04 apollon154 ringen-adt-benchmarks/tip2015/rotate_snoc_self_000.smt2 TIMEOUT 1800.43 1800.32 apollon154 ringen-adt-benchmarks/tip2015/nat_boring_ge_trans_000.smt2 true 7.65 7.75 apollon091 ringen-adt-benchmarks/tip2015/nat_le_ne_lt_000.smt2 true 2.64 2.71 apollon010 ringen-adt-benchmarks/tip2015/sort_StoogeSort2Count_000.smt2 TIMEOUT 1800.43 1800.39 apollon081 ringen-adt-benchmarks/tip2015/weird_nat_add3acc_spec_000.smt2 true 0.50 0.49 apollon151 ringen-adt-benchmarks/tip2015/nat_max_assoc_000.smt2 TIMEOUT 1800.43 1800.45 apollon127 ringen-adt-benchmarks/tip2015/weird_nat_add3acc_rrot_000.smt2 true 0.37 0.37 apollon042 ringen-adt-benchmarks/tip2015/sort_nat_NMSortTDSorts_000.smt2 TIMEOUT 1800.43 1800.27 apollon016 ringen-adt-benchmarks/tip2015/tree_SwapAB_000.smt2 TIMEOUT 1800.43 1800.53 apollon091 ringen-adt-benchmarks/tip2015/sort_TSortSorts_000.smt2 TIMEOUT 1800.43 1800.47 apollon099 ringen-adt-benchmarks/tip2015/sort_MSortBU2Count_000.smt2 TIMEOUT 1800.43 1800.44 apollon063 ringen-adt-benchmarks/tip2015/list_append_inj_2_000.smt2 true 0.41 0.41 apollon044 ringen-adt-benchmarks/tip2015/list_nat_append_inj_1_000.smt2 true 0.42 0.42 apollon128 ringen-adt-benchmarks/tip2015/weird_nat_add3_comm13_000.smt2 true 0.45 0.45 apollon138 ringen-adt-benchmarks/tip2015/int_mul_assoc_000.smt2 TIMEOUT 1800.44 1799.28 apollon011 ringen-adt-benchmarks/tip2015/tree_Flatten2_000.smt2 TIMEOUT 1800.43 1800.57 apollon117 ringen-adt-benchmarks/tip2015/sort_nat_NStoogeSortCount_000.smt2 TIMEOUT 1800.43 1800.31 apollon164 ringen-adt-benchmarks/tip2015/list_Interleave_000.smt2 TIMEOUT 1800.43 1800.40 apollon043 ringen-adt-benchmarks/tip2015/sort_nat_HSort2Sorts_000.smt2 TIMEOUT 1800.43 1800.47 apollon035 ringen-adt-benchmarks/tip2015/weird_nat_add3_assoc1_000.smt2 true 0.45 0.45 apollon156 ringen-adt-benchmarks/tip2015/sort_StoogeSortSorts_000.smt2 TIMEOUT 1800.44 1800.35 apollon111 ringen-adt-benchmarks/tip2015/escape_NoSpecial_000.smt2 TIMEOUT 1800.43 1799.91 apollon102 ringen-adt-benchmarks/tip2015/sort_HSort2IsSort_000.smt2 TIMEOUT 1800.43 1800.42 apollon095 ringen-adt-benchmarks/tip2015/bin_nat_plus_000.smt2 TIMEOUT 1800.43 1800.46 apollon073 ringen-adt-benchmarks/tip2015/weird_nat_mul3acc_comm13_000.smt2 TIMEOUT 1800.66 1799.56 apollon132 ringen-adt-benchmarks/tip2015/regexp_RecNil_000.smt2 TIMEOUT 1800.97 1792.77 apollon137 ringen-adt-benchmarks/tip2015/sort_HSort2Sorts_000.smt2 TIMEOUT 1800.43 1800.44 apollon094 ringen-adt-benchmarks/tip2015/tree_Flatten3_000.smt2 TIMEOUT 1800.43 1800.46 apollon041 ringen-adt-benchmarks/tip2015/weird_nat_op_spec_000.smt2 TIMEOUT 1800.56 1799.87 apollon134 ringen-adt-benchmarks/tip2015/regexp_SeqDistrPlus_000.smt2 TIMEOUT 1800.44 1799.42 apollon127 ringen-adt-benchmarks/tip2015/sort_NMSortTDIsSort_000.smt2 TIMEOUT 1800.43 1799.71 apollon103 ringen-adt-benchmarks/tip2015/list_append_inj_1_000.smt2 true 0.44 0.44 apollon122 ringen-adt-benchmarks/tip2015/sort_nat_NMSortTDIsSort_000.smt2 TIMEOUT 1800.43 1800.17 apollon116 ringen-adt-benchmarks/tip2015/nat_boring_gt_irreflexive_000.smt2 true 0.13 0.14 apollon153 ringen-adt-benchmarks/tip2015/weird_nat_add3_assoc3_000.smt2 true 0.50 0.49 apollon025 ringen-adt-benchmarks/tip2015/regexp_Deeps_000.smt2 TIMEOUT 1800.46 1797.19 apollon015 ringen-adt-benchmarks/tip2015/nat_lt_asymmetric_000.smt2 true 1.86 1.98 apollon146 ringen-adt-benchmarks/tip2015/sort_NMSortTDCount_000.smt2 TIMEOUT 1800.43 1799.93 apollon081 ringen-adt-benchmarks/tip2015/propositional_AndIdempotent_000.smt2 TIMEOUT 1800.51 1800.58 apollon080 ringen-adt-benchmarks/tip2015/escape_Injective_000.smt2 TIMEOUT 1800.43 1800.23 apollon093 ringen-adt-benchmarks/tip2015/sort_BSortSorts_000.smt2 true 4.54 4.45 apollon132 ringen-adt-benchmarks/tip2015/sort_NStoogeSort2Sorts_000.smt2 TIMEOUT 1800.44 1800.28 apollon093 ringen-adt-benchmarks/tip2015/nat_le_ge_eq_000.smt2 true 2.29 2.40 apollon127 ringen-adt-benchmarks/tip2015/bin_nat_times_comm_000.smt2 TIMEOUT 1800.43 1800.41 apollon059 ringen-adt-benchmarks/tip2015/weird_nat_mul3_rrot_000.smt2 TIMEOUT 1800.63 1799.87 apollon062 ringen-adt-benchmarks/tip2015/nat_pow_one_000.smt2 TIMEOUT 1800.65 1799.56 apollon117 ringen-adt-benchmarks/tip2015/relaxedprefix_is_prefix_1_000.smt2 TIMEOUT 1800.43 1800.38 apollon065 ringen-adt-benchmarks/tip2015/nat_boring_gt_asymmetric_000.smt2 true 2.19 2.30 apollon145 ringen-adt-benchmarks/tip2015/nat_lt_trans_000.smt2 true 44.75 44.84 apollon020 ringen-adt-benchmarks/tip2015/sort_nat_NStoogeSortIsSort_000.smt2 TIMEOUT 1800.43 1800.26 apollon101 ringen-adt-benchmarks/tip2015/nicomachus_theorem_000.smt2 true 1.16 1.07 apollon134 ringen-adt-benchmarks/tip2015/weird_nat_add3_same_000.smt2 true 0.63 0.61 apollon058 ringen-adt-benchmarks/tip2015/sort_nat_HSortSorts_000.smt2 TIMEOUT 1800.43 1800.46 apollon153 ringen-adt-benchmarks/tip2015/nat_le_antisym_000.smt2 true 1.96 2.06 apollon075 ringen-adt-benchmarks/tip2015/weird_nat_add3acc_assoc2_000.smt2 true 0.39 0.39 apollon157 ringen-adt-benchmarks/tip2015/nat_boring_max_min_abs_000.smt2 true 40.23 40.32 apollon153 ringen-adt-benchmarks/tip2015/bin_nat_distrib_000.smt2 TIMEOUT 1800.43 1800.43 apollon050 ringen-adt-benchmarks/tip2015/weird_nat_op_assoc2_000.smt2 TIMEOUT 1800.54 1799.87 apollon021 ringen-adt-benchmarks/tip2015/weird_nat_mul3acc_assoc3_000.smt2 false 257.75 256.87 apollon071 ringen-adt-benchmarks/tip2015/bin_plus_comm_000.smt2 TIMEOUT 1800.43 1800.51 apollon160 ringen-adt-benchmarks/tip2015/weird_nat_add3acc_assoc1_000.smt2 true 0.36 0.37 apollon128 ringen-adt-benchmarks/tip2015/bin_plus_assoc_000.smt2 TIMEOUT 1800.43 1800.49 apollon132 ringen-adt-benchmarks/tip2015/regexp_RecPlus_000.smt2 TIMEOUT 1800.75 1790.82 apollon133 ringen-adt-benchmarks/tip2015/weird_nat_mul3acc_rrot_000.smt2 TIMEOUT 1800.66 1799.65 apollon089 ringen-adt-benchmarks/tip2015/propositional_AndImplication_000.smt2 TIMEOUT 1800.57 1800.58 apollon132 ringen-adt-benchmarks/tip2015/sort_nat_HSort2IsSort_000.smt2 TIMEOUT 1800.43 1800.47 apollon028 ringen-adt-benchmarks/tip2015/regexp_RecAtom_000.smt2 TIMEOUT 1800.44 1797.95 apollon157 ringen-adt-benchmarks/tip2015/int_left_distrib_000.smt2 TIMEOUT 1800.43 1799.54 apollon120 ringen-adt-benchmarks/tip2015/nat_boring_min_comm_000.smt2 true 10.81 10.85 apollon046 ringen-adt-benchmarks/tip2015/propositional_AndCommutative_000.smt2 TIMEOUT 1800.46 1800.55 apollon164 ringen-adt-benchmarks/tip2015/sort_nat_NStoogeSortSorts_000.smt2 TIMEOUT 1800.43 1800.34 apollon020 ringen-adt-benchmarks/tip2015/rotate_snoc_000.smt2 TIMEOUT 1800.43 1800.10 apollon024 ringen-adt-benchmarks/tip2015/nat_acc_alt_mul_same_000.smt2 TIMEOUT 1800.80 1799.80 apollon005 ringen-adt-benchmarks/tip2015/weird_nat_mul3acc_rot_000.smt2 TIMEOUT 1800.63 1799.77 apollon015 ringen-adt-benchmarks/tip2015/sort_NMSortTDSorts_000.smt2 TIMEOUT 1800.43 1800.45 apollon091 ringen-adt-benchmarks/tip2015/nat_pow_le_factorial_000.smt2 TIMEOUT 1800.81 1800.25 apollon127 ringen-adt-benchmarks/tip2015/sort_MSortBU2IsSort_000.smt2 TIMEOUT 1800.43 1800.52 apollon012 ringen-adt-benchmarks/tip2015/nat_pow_pow_000.smt2 TIMEOUT 1800.68 1799.67 apollon026 ringen-adt-benchmarks/tip2015/regexp_PlusCommutative_000.smt2 TIMEOUT 1800.43 1799.47 apollon105 ringen-adt-benchmarks/tip2015/weird_nat_mul2_comm_000.smt2 TIMEOUT 1800.57 1799.34 apollon148 ringen-adt-benchmarks/tip2015/int_mul_comm_000.smt2 TIMEOUT 1800.60 1797.18 apollon003 ringen-adt-benchmarks/tip2015/sort_nat_ISortCount_000.smt2 TIMEOUT 1800.43 1800.46 apollon017 ringen-adt-benchmarks/tip2015/nat_acc_plus_comm_000.smt2 true 0.30 0.31 apollon071 ringen-adt-benchmarks/tip2015/fermat_last_000.smt2 TIMEOUT 1800.67 1799.58 apollon025 ringen-adt-benchmarks/tip2015/int_add_comm_000.smt2 true 25.20 25.12 apollon156 ringen-adt-benchmarks/tip2015/sort_nat_HSortCount_000.smt2 TIMEOUT 1800.43 1800.35 apollon147 ringen-adt-benchmarks/tip2015/sort_StoogeSortIsSort_000.smt2 TIMEOUT 1800.48 1800.57 apollon119 ringen-adt-benchmarks/tip2015/nat_acc_alt_mul_comm_000.smt2 TIMEOUT 1800.56 1799.54 apollon104 ringen-adt-benchmarks/tip2015/relaxedprefix_is_prefix_2_000.smt2 TIMEOUT 1800.43 1800.36 apollon168 ringen-adt-benchmarks/tip2015/propositional_Okay_000.smt2 TIMEOUT 1800.51 1800.43 apollon007 ringen-adt-benchmarks/tip2015/rotate_mod_000.smt2 TIMEOUT 1800.43 1800.31 apollon142 ringen-adt-benchmarks/tip2015/nat_max_idem_000.smt2 true 1.61 1.69 apollon069 ringen-adt-benchmarks/tip2015/nat_le_trans_000.smt2 true 19.92 20.00 apollon026 ringen-adt-benchmarks/tip2015/weird_nat_mul3acc_spec_000.smt2 true 144.19 143.19 apollon140 ringen-adt-benchmarks/tip2015/sort_nat_StoogeSortCount_000.smt2 TIMEOUT 1800.43 1800.25 apollon120 ringen-adt-benchmarks/tip2015/weird_nat_mul3_comm12_000.smt2 TIMEOUT 1800.63 1799.94 apollon106 ringen-adt-benchmarks/tip2015/nat_pow_times_000.smt2 TIMEOUT 1800.68 1799.46 apollon020 ringen-adt-benchmarks/tip2015/sort_BubSortSorts_000.smt2 TIMEOUT 1800.43 1800.39 apollon048 ringen-adt-benchmarks/tip2015/bin_nat_times_000.smt2 TIMEOUT 1800.43 1800.10 apollon131 ringen-adt-benchmarks/tip2015/regexp_Reverse_000.smt2 TIMEOUT 1800.44 1798.88 apollon069 ringen-adt-benchmarks/tip2015/bin_plus_000.smt2 TIMEOUT 1800.43 1800.28 apollon090 ringen-adt-benchmarks/tip2015/sort_BSortCount_000.smt2 TIMEOUT 1800.43 1799.78 apollon036 ringen-adt-benchmarks/tip2015/weird_nat_add3_comm12_000.smt2 true 0.45 0.45 apollon059 ringen-adt-benchmarks/tip2015/weird_nat_op_assoc_000.smt2 TIMEOUT 1800.54 1800.13 apollon137 ringen-adt-benchmarks/tip2015/weird_nat_add3_spec_000.smt2 true 0.44 0.44 apollon044 ringen-adt-benchmarks/tip2015/regexp_PlusAssociative_000.smt2 TIMEOUT 1800.45 1797.98 apollon008 ringen-adt-benchmarks/tip2015/sort_nat_MSortBU2IsSort_000.smt2 TIMEOUT 1800.43 1800.38 apollon068 ringen-adt-benchmarks/tip2015/nat_lt_ne_000.smt2 true 0.11 0.12 apollon102 ringen-adt-benchmarks/tip2015/weird_nat_mul3_assoc2_000.smt2 TIMEOUT 1800.73 1800.08 apollon031 ringen-adt-benchmarks/tip2015/nat_boring_max_min_distrib_000.smt2 TIMEOUT 1800.43 1800.34 apollon155 ringen-adt-benchmarks/tip2015/sort_NStoogeSort2Count_000.smt2 TIMEOUT 1800.43 1800.32 apollon044 ringen-adt-benchmarks/tip2015/sort_nat_BubSortCount_000.smt2 TIMEOUT 1800.43 1800.43 apollon006 ringen-adt-benchmarks/tip2015/weird_nat_add3_rot_000.smt2 true 0.46 0.46 apollon115 ringen-adt-benchmarks/tip2015/nat_boring_min_assoc_000.smt2 true 4.76 4.71 apollon143 ringen-adt-benchmarks/tip2015/weird_nat_add3acc_rot_000.smt2 true 0.44 0.44 apollon151 ringen-adt-benchmarks/tip2015/sort_nat_StoogeSort2IsSort_000.smt2 TIMEOUT 1800.43 1800.11 apollon057 ringen-adt-benchmarks/tip2015/sort_nat_BubSortSorts_000.smt2 TIMEOUT 1800.44 1800.40 apollon064 ringen-adt-benchmarks/tip2015/sort_nat_NStoogeSort2Count_000.smt2 TIMEOUT 1800.43 1800.18 apollon041 ringen-adt-benchmarks/tip2015/propositional_Sound_000.smt2 TIMEOUT 1800.50 1800.51 apollon163 ringen-adt-benchmarks/tip2015/int_add_assoc_000.smt2 TIMEOUT 1800.43 1800.52 apollon051 ringen-adt-benchmarks/tip2015/weird_nat_mul3_comm13_000.smt2 TIMEOUT 1800.65 1799.98 apollon099 ringen-adt-benchmarks/tip2015/sort_nat_StoogeSort2Count_000.smt2 TIMEOUT 1800.43 1799.98 apollon035 ringen-adt-benchmarks/tip2015/nat_min_max_abs_000.smt2 true 32.43 32.48 apollon050 ringen-adt-benchmarks/tip2015/sort_TSortCount_000.smt2 TIMEOUT 1800.43 1800.47 apollon144 ringen-adt-benchmarks/tip2015/list_weird_is_normal_000.smt2 TIMEOUT 1800.43 1800.49 apollon112 ringen-adt-benchmarks/tip2015/bin_nat_times_assoc_000.smt2 TIMEOUT 1800.43 1800.35 apollon078 ringen-adt-benchmarks/tip2015/weird_nat_mul3_assoc1_000.smt2 TIMEOUT 1800.73 1799.87 apollon047 ringen-adt-benchmarks/tip2015/sort_nat_MSortTDCount_000.smt2 TIMEOUT 1800.43 1800.43 apollon047 ringen-adt-benchmarks/tip2015/nat_boring_gt_trans_000.smt2 true 22.78 22.86 apollon101 ringen-adt-benchmarks/tip2015/nat_acc_plus_assoc_000.smt2 true 0.32 0.33 apollon027 ringen-adt-benchmarks/tip2015/sort_nat_MSortBU2Count_000.smt2 TIMEOUT 1800.43 1800.38 apollon096 ringen-adt-benchmarks/tip2015/sort_nat_MSortTDIsSort_000.smt2 TIMEOUT 1800.43 1800.21 apollon081 ringen-adt-benchmarks/tip2015/bin_times_comm_000.smt2 TIMEOUT 1800.43 1800.46 apollon005 ringen-adt-benchmarks/tip2015/sort_nat_StoogeSortIsSort_000.smt2 TIMEOUT 1800.43 1800.17 apollon125 ringen-adt-benchmarks/tip2015/list_nat_append_inj_2_000.smt2 true 0.44 0.44 apollon163 ringen-adt-benchmarks/tip2015/weird_nat_mul3acc_assoc2_000.smt2 false 293.22 292.38 apollon143 ringen-adt-benchmarks/tip2015/weird_nat_add3acc_assoc3_000.smt2 true 0.47 0.46 apollon088 ringen-adt-benchmarks/tip2015/relaxedprefix_is_prefix_3_000.smt2 TIMEOUT 1800.43 1800.45 apollon162 ringen-adt-benchmarks/tip2015/sort_nat_HSortIsSort_000.smt2 TIMEOUT 1800.43 1800.41 apollon144 ringen-adt-benchmarks/tip2015/weird_nat_op_comm_comm_000.smt2 TIMEOUT 1800.54 1799.78 apollon156 ringen-adt-benchmarks/tip2015/nat_acc_alt_mul_assoc_000.smt2 TIMEOUT 1800.63 1799.53 apollon037 ringen-adt-benchmarks/tip2015/sort_NStoogeSortIsSort_000.smt2 TIMEOUT 1800.43 1800.31 apollon167 ringen-adt-benchmarks/tip2015/sort_BubSortIsSort_000.smt2 TIMEOUT 1800.43 1800.43 apollon104 ringen-adt-benchmarks/tip2015/nat_acc_plus_same_000.smt2 true 0.39 0.39 apollon060 ringen-adt-benchmarks/tip2015/sort_NStoogeSortSorts_000.smt2 TIMEOUT 1800.69 1800.46 apollon136 ringen-adt-benchmarks/tip2015/sort_HSortIsSort_000.smt2 TIMEOUT 1800.43 1800.36 apollon094 ringen-adt-benchmarks/prod/prop_50_000.smt2 ringen-adt-benchmarks/prod/prop_47_000.smt2 ringen-adt-benchmarks/prod/prop_29_000.smt2 ringen-adt-benchmarks/prod/prop_19_000.smt2 ringen-adt-benchmarks/prod/prop_17_000.smt2 ringen-adt-benchmarks/prod/prop_02_000.smt2 ringen-adt-benchmarks/prod/prop_20_000.smt2 ringen-adt-benchmarks/prod/prop_31_000.smt2 ringen-adt-benchmarks/prod/prop_30_000.smt2 ringen-adt-benchmarks/prod/prop_12_000.smt2 true 0.73 0.71 apollon162 ringen-adt-benchmarks/prod/prop_24_000.smt2 ringen-adt-benchmarks/prod/prop_37_000.smt2 ringen-adt-benchmarks/prod/prop_43_000.smt2 TIMEOUT 1800.43 1800.63 apollon049 ringen-adt-benchmarks/prod/prop_21_000.smt2 ringen-adt-benchmarks/prod/prop_10_000.smt2 ringen-adt-benchmarks/prod/prop_42_000.smt2 ringen-adt-benchmarks/prod/prop_26_000.smt2 ringen-adt-benchmarks/prod/prop_03_000.smt2 ringen-adt-benchmarks/prod/prop_14_000.smt2 TIMEOUT 1800.58 1800.34 apollon093 ringen-adt-benchmarks/prod/prop_16_000.smt2 ringen-adt-benchmarks/prod/prop_25_000.smt2 ringen-adt-benchmarks/prod/prop_23_000.smt2 ringen-adt-benchmarks/prod/prop_49_000.smt2 ringen-adt-benchmarks/prod/prop_36_000.smt2 TIMEOUT 1800.43 1800.56 apollon120 ringen-adt-benchmarks/prod/prop_33_000.smt2 ringen-adt-benchmarks/prod/prop_06_000.smt2 ringen-adt-benchmarks/prod/prop_45_000.smt2 ringen-adt-benchmarks/prod/prop_44_000.smt2 ringen-adt-benchmarks/prod/prop_39_000.smt2 ringen-adt-benchmarks/prod/prop_11_000.smt2 ringen-adt-benchmarks/prod/prop_07_000.smt2 ringen-adt-benchmarks/prod/prop_48_000.smt2 ringen-adt-benchmarks/prod/prop_15_000.smt2 ringen-adt-benchmarks/prod/prop_22_000.smt2 ringen-adt-benchmarks/prod/prop_32_000.smt2 ringen-adt-benchmarks/prod/prop_34_000.smt2 ringen-adt-benchmarks/prod/prop_41_000.smt2 TIMEOUT 1800.43 1800.52 apollon141 ringen-adt-benchmarks/prod/prop_28_000.smt2 ringen-adt-benchmarks/prod/prop_04_000.smt2 ringen-adt-benchmarks/prod/prop_05_000.smt2 ringen-adt-benchmarks/prod/prop_18_000.smt2 ringen-adt-benchmarks/prod/prop_13_000.smt2 ringen-adt-benchmarks/prod/prop_09_000.smt2 ringen-adt-benchmarks/prod/prop_08_000.smt2 ringen-adt-benchmarks/prod/prop_27_000.smt2 ringen-adt-benchmarks/prod/prop_46_000.smt2 ringen-adt-benchmarks/prod/prop_40_000.smt2 ringen-adt-benchmarks/prod/prop_35_000.smt2 ERROR (2) 265.97 265.09 apollon086 ringen-adt-benchmarks/prod/prop_38_000.smt2 ringen-adt-benchmarks/prod/prop_01_000.smt2 ADTRem/isaplanner/unsat-goal45_000.smt2 false 0.22 0.23 apollon143 ADTRem/isaplanner/goal86_000.smt2 TIMEOUT 1800.55 1794.31 apollon047 ADTRem/isaplanner/goal78_000.smt2 true 0.98 0.96 apollon097 ADTRem/isaplanner/unsat-goal65_000.smt2 false 1.70 1.70 apollon074 ADTRem/isaplanner/goal27_000.smt2 true 0.99 0.95 apollon156 ADTRem/isaplanner/goal46_000.smt2 true 0.13 0.14 apollon039 ADTRem/isaplanner/unsat-goal80_000.smt2 false 1.56 1.53 apollon024 ADTRem/isaplanner/goal53_000.smt2 true 0.48 0.48 apollon103 ADTRem/isaplanner/unsat-goal30_000.smt2 false 3.48 3.23 apollon125 ADTRem/isaplanner/goal13_000.smt2 true 4.11 3.89 apollon018 ADTRem/isaplanner/goal85_000.smt2 TIMEOUT 1800.50 1796.31 apollon082 ADTRem/isaplanner/unsat-goal50_000.smt2 false 4.25 4.07 apollon141 ADTRem/isaplanner/goal73_000.smt2 true 2.16 2.01 apollon003 ADTRem/isaplanner/goal50_000.smt2 true 3.49 3.37 apollon151 ADTRem/isaplanner/unsat-goal85_000.smt2 false 0.37 0.38 apollon136 ADTRem/isaplanner/goal82_000.smt2 true 3.02 2.90 apollon156 ADTRem/isaplanner/goal4_000.smt2 true 0.60 0.58 apollon154 ADTRem/isaplanner/goal63_000.smt2 true 0.75 0.73 apollon005 ADTRem/isaplanner/goal5_000.smt2 true 0.67 0.66 apollon168 ADTRem/isaplanner/goal3_000.smt2 true 0.49 0.49 apollon144 ADTRem/isaplanner/goal40_000.smt2 true 0.14 0.15 apollon162 ADTRem/isaplanner/unsat-goal12_000.smt2 false 3.48 3.30 apollon124 ADTRem/isaplanner/dunsat-goal48_000.smt2 true 1.45 1.40 apollon071 ADTRem/isaplanner/unsat-goal14_000.smt2 false 3.93 3.73 apollon168 ADTRem/isaplanner/goal2_000.smt2 TIMEOUT 1800.49 1797.84 apollon044 ADTRem/isaplanner/goal69_000.smt2 true 1.81 1.82 apollon116 ADTRem/isaplanner/goal56_000.smt2 true 2.41 2.29 apollon012 ADTRem/isaplanner/unsat-goal82_000.smt2 false 4.29 4.08 apollon156 ADTRem/isaplanner/goal52_000.smt2 TIMEOUT 1800.47 1798.39 apollon049 ADTRem/isaplanner/goal1_000.smt2 true 7.26 6.98 apollon141 ADTRem/isaplanner/goal38_000.smt2 true 1.86 1.72 apollon168 ADTRem/isaplanner/goal58_000.smt2 true 4.95 4.81 apollon099 ADTRem/isaplanner/goal14_000.smt2 TIMEOUT 1800.63 1800.10 apollon132 ADTRem/isaplanner/unsat-goal43_000.smt2 false 4.63 4.42 apollon142 ADTRem/isaplanner/goal60_000.smt2 true 0.90 0.87 apollon042 ADTRem/isaplanner/goal77_000.smt2 true 1.03 0.99 apollon124 ADTRem/isaplanner/unsat-goal1_000.smt2 false 4.44 4.23 apollon097 ADTRem/isaplanner/unsat-goal4_000.smt2 false 1.31 1.26 apollon057 ADTRem/isaplanner/unsat-goal52_000.smt2 false 1.91 1.85 apollon045 ADTRem/isaplanner/goal64_000.smt2 true 1.02 1.03 apollon058 ADTRem/isaplanner/goal30_000.smt2 true 0.90 0.87 apollon130 ADTRem/isaplanner/goal11_000.smt2 true 1.47 1.39 apollon113 ADTRem/isaplanner/unsat-goal42_000.smt2 false 30.81 30.48 apollon044 ADTRem/isaplanner/unsat-goal74_000.smt2 false 4.95 4.71 apollon073 ADTRem/isaplanner/goal80_000.smt2 TIMEOUT 1800.59 1800.46 apollon043 ADTRem/isaplanner/unsat-goal39_000.smt2 false 1.22 1.18 apollon089 ADTRem/isaplanner/goal16_000.smt2 true 0.14 0.15 apollon033 ADTRem/isaplanner/goal87_000.smt2 TIMEOUT 1800.51 1796.69 apollon062 ADTRem/isaplanner/unsat-goal72_000.smt2 false 3.74 3.48 apollon055 ADTRem/isaplanner/goal20_000.smt2 true 1.22 1.18 apollon018 ADTRem/isaplanner/goal51_000.smt2 true 0.89 0.86 apollon117 ADTRem/isaplanner/goal43_000.smt2 TIMEOUT 1800.72 1800.22 apollon030 ADTRem/isaplanner/goal67_000.smt2 true 1.94 1.87 apollon024 ADTRem/isaplanner/unsat-goal61_000.smt2 false 1.70 1.70 apollon082 ADTRem/isaplanner/goal44_000.smt2 TIMEOUT 1800.64 1798.05 apollon022 ADTRem/isaplanner/goal57_000.smt2 true 2.69 2.59 apollon120 ADTRem/isaplanner/unsat-goal40_000.smt2 false 0.96 0.99 apollon114 ADTRem/isaplanner/goal62_000.smt2 true 0.83 0.85 apollon091 ADTRem/isaplanner/goal76_000.smt2 TIMEOUT 1800.72 1800.58 apollon128 ADTRem/isaplanner/goal65_000.smt2 true 0.76 0.79 apollon074 ADTRem/isaplanner/goal79_000.smt2 TIMEOUT 1800.57 1800.56 apollon042 ADTRem/isaplanner/unsat-goal59_000.smt2 false 0.31 0.32 apollon134 ADTRem/isaplanner/goal37_000.smt2 true 1.88 1.71 apollon092 ADTRem/isaplanner/goal84_000.smt2 TIMEOUT 1800.58 1798.67 apollon150 ADTRem/isaplanner/goal49_000.smt2 true 2.30 2.13 apollon125 ADTRem/isaplanner/goal28_000.smt2 true 1.81 1.64 apollon154 ADTRem/isaplanner/unsat-goal84_000.smt2 false 0.32 0.33 apollon009 ADTRem/isaplanner/goal72_000.smt2 true 0.71 0.69 apollon044 ADTRem/isaplanner/unsat-goal28_000.smt2 false 0.19 0.21 apollon074 ADTRem/isaplanner/goal68_000.smt2 true 0.63 0.62 apollon090 ADTRem/isaplanner/goal26_000.smt2 true 2.03 1.87 apollon126 ADTRem/isaplanner/goal83_000.smt2 true 3.81 3.62 apollon030 ADTRem/isaplanner/goal19_000.smt2 true 0.94 0.90 apollon091 ADTRem/isaplanner/unsat-goal2_000.smt2 false 1.36 1.35 apollon001 ADTRem/isaplanner/unsat-goal3_000.smt2 false 1.77 1.72 apollon068 ADTRem/isaplanner/goal59_000.smt2 true 0.90 0.87 apollon097 ADTRem/isaplanner/goal29_000.smt2 true 1.00 0.96 apollon040 ADTRem/isaplanner/goal47_000.smt2 TIMEOUT 1800.47 1798.15 apollon147 ADTRem/isaplanner/unsat-goal11_000.smt2 false 26.55 26.24 apollon094 ADTRem/isaplanner/goal75_000.smt2 true 1.06 1.02 apollon139 ADTRem/isaplanner/unsat-goal67_000.smt2 false 1.64 1.62 apollon037 ADTRem/isaplanner/goal41_000.smt2 TIMEOUT 1800.64 1800.00 apollon109 ADTRem/isaplanner/goal39_000.smt2 true 2.21 2.01 apollon082 ADTRem/isaplanner/unsat-goal5_000.smt2 false 1.21 1.17 apollon140 ADTRem/isaplanner/goal61_000.smt2 true 0.82 0.84 apollon119 ADTRem/isaplanner/goal15_000.smt2 true 0.90 0.90 apollon158 ADTRem/isaplanner/goal42_000.smt2 true 2.98 2.85 apollon140 ADTRem/isaplanner/goal45_000.smt2 TIMEOUT 1800.51 1796.02 apollon048 ADTRem/isaplanner/unsat-goal27_000.smt2 false 4.39 4.01 apollon111 ADTRem/isaplanner/goal12_000.smt2 true 1.02 0.98 apollon168 ADTRem/isaplanner/goal74_000.smt2 TIMEOUT 1800.75 1800.02 apollon058 ADTRem/isaplanner/goal48_000.smt2 true 1.28 1.23 apollon121 ADTRem/clam/unsat-goal78_000.smt2 false 4.63 4.37 apollon045 ADTRem/clam/unsat-goal17_000.smt2 false 3.89 3.67 apollon059 ADTRem/clam/unsat-goal7_000.smt2 false 180.18 180.11 apollon165 ADTRem/clam/goal78_000.smt2 ADTRem/clam/goal27_000.smt2 ADTRem/clam/goal46_000.smt2 ADTRem/clam/goal53_000.smt2 ADTRem/clam/unsat-goal30_000.smt2 ADTRem/clam/unsat-goal81_000.smt2 false 4.17 3.95 apollon057 ADTRem/clam/unsat-goal54_000.smt2 false 27.39 27.03 apollon023 ADTRem/clam/unsat-goal50_000.smt2 ADTRem/clam/unsat-goal9_000.smt2 false 28.46 28.18 apollon077 ADTRem/clam/goal50_000.smt2 ADTRem/clam/unsat-goal55_000.smt2 false 83.82 83.48 apollon075 ADTRem/clam/goal82_000.smt2 ADTRem/clam/goal4_000.smt2 ADTRem/clam/goal63_000.smt2 ADTRem/clam/goal5_000.smt2 ADTRem/clam/unsat-goal10_000.smt2 false 3.42 3.24 apollon015 ADTRem/clam/goal3_000.smt2 ADTRem/clam/goal70_000.smt2 TIMEOUT 1800.47 1799.64 apollon168 ADTRem/clam/goal2_000.smt2 ADTRem/clam/goal69_000.smt2 ADTRem/clam/goal56_000.smt2 ADTRem/clam/unsat-goal18_000.smt2 false 3.77 3.57 apollon043 ADTRem/clam/goal18_000.smt2 true 0.91 0.87 apollon074 ADTRem/clam/unsat-goal70_000.smt2 false 1.56 1.52 apollon120 ADTRem/clam/goal52_000.smt2 ADTRem/clam/unsat-goal77_000.smt2 false 4.42 4.17 apollon124 ADTRem/clam/goal38_000.smt2 ADTRem/clam/goal58_000.smt2 ADTRem/clam/unsat-goal58_000.smt2 false 4.26 4.01 apollon127 ADTRem/clam/goal9_000.smt2 true 4.24 4.06 apollon002 ADTRem/clam/goal71_000.smt2 TIMEOUT 1800.46 1799.96 apollon055 ADTRem/clam/goal60_000.smt2 ADTRem/clam/goal8_000.smt2 true 2.87 2.70 apollon124 ADTRem/clam/dunsat-goal6_000.smt2 false 3.13 3.06 apollon165 ADTRem/clam/goal77_000.smt2 ADTRem/clam/goal64_000.smt2 ADTRem/clam/goal30_000.smt2 ADTRem/clam/goal11_000.smt2 ADTRem/clam/goal6_000.smt2 true 0.62 0.61 apollon154 ADTRem/clam/goal7_000.smt2 true 0.48 0.48 apollon163 ADTRem/clam/goal22_000.smt2 true 0.43 0.43 apollon167 ADTRem/clam/unsat-goal60_000.smt2 false 4.24 4.00 apollon066 ADTRem/clam/goal10_000.smt2 true 0.92 0.88 apollon060 ADTRem/clam/goal20_000.smt2 ADTRem/clam/goal23_000.smt2 true 1.12 1.10 apollon128 ADTRem/clam/goal55_000.smt2 true 2.99 2.87 apollon163 ADTRem/clam/goal54_000.smt2 true 3.01 2.84 apollon050 ADTRem/clam/goal21_000.smt2 TIMEOUT 1800.68 1800.22 apollon136 ADTRem/clam/unsat-goal61_000.smt2 ADTRem/clam/goal57_000.smt2 ADTRem/clam/goal76_000.smt2 ADTRem/clam/goal65_000.smt2 ADTRem/clam/goal25_000.smt2 true 0.51 0.51 apollon071 ADTRem/clam/goal49_000.smt2 ADTRem/clam/goal28_000.smt2 ADTRem/clam/goal31_000.smt2 true 0.93 0.89 apollon111 ADTRem/clam/unsat-goal38_000.smt2 false 4.03 3.74 apollon102 ADTRem/clam/goal72_000.smt2 ADTRem/clam/unsat-goal28_000.smt2 ADTRem/clam/goal81_000.smt2 true 1.12 1.07 apollon142 ADTRem/clam/goal19_000.smt2 ADTRem/clam/unsat-goal2_000.smt2 ADTRem/clam/unsat-goal3_000.smt2 ADTRem/clam/goal59_000.smt2 ADTRem/clam/goal32_000.smt2 TIMEOUT 1800.49 1798.98 apollon162 ADTRem/clam/goal29_000.smt2 ADTRem/clam/goal75_000.smt2 ADTRem/clam/goal39_000.smt2 ADTRem/clam/unsat-goal5_000.smt2 ADTRem/clam/goal61_000.smt2 ADTRem/clam/unsat-goal46_000.smt2 false 3.67 3.40 apollon126 ADTRem/clam/dunsat-goal3_000.smt2 false 3.61 3.60 apollon077 ADTRem/clam/unsat-goal27_000.smt2 ADTRem/clam/goal12_000.smt2 ADTRem/clam/goal17_000.smt2 true 0.94 0.90 apollon148 ADTRem/hipspec/rotate-goal5_000.smt2 true 69.24 68.99 apollon144 ADTRem/hipspec/rotate-goal7_000.smt2 true 1.30 1.26 apollon168 ADTRem/hipspec/rev-equiv-goal4_000.smt2 true 0.82 0.79 apollon137 ADTRem/hipspec/unsat-rotate-goal5_000.smt2 false 4.09 3.83 apollon045 ADTRem/hipspec/rev-equiv-goal1_000.smt2 true 0.74 0.71 apollon028 ADTRem/hipspec/rotate-goal4_000.smt2 TIMEOUT 1800.62 1800.26 apollon163 ADTRem/hipspec/unsat-rev-equiv-goal5_000.smt2 false 3.50 3.33 apollon021 ADTRem/hipspec/rev-equiv-goal5_000.smt2 true 0.92 0.88 apollon156 ADTRem/hipspec/rev-equiv-goal7_000.smt2 true 1.01 0.97 apollon050 ADTRem/hipspec/rev-equiv-goal8_000.smt2 true 0.96 0.92 apollon043 ADTRem/hipspec/rev-equiv-goal6_000.smt2 true 0.87 0.84 apollon047 ADTRem/hipspec/rotate-goal3_000.smt2 TIMEOUT 1800.67 1800.18 apollon088 ADTRem/hipspec/unsat-rev-equiv-goal1_000.smt2 false 2.83 2.71 apollon041 ADTRem/hipspec/unsat-rev-equiv-goal3_000.smt2 false 3.30 3.13 apollon165 ADTRem/hipspec/unsat-rotate-goal3_000.smt2 false 3.98 3.77 apollon124 ADTRem/hipspec/unsat-rotate-goal7_000.smt2 false 1.93 1.87 apollon055 ADTRem/hipspec/rev-equiv-goal3_000.smt2 true 0.95 0.90 apollon047 ADTRem/leon/bsearch-tree-goal5_000.smt2 true 2.48 2.45 apollon107 ADTRem/leon/unsat-heap-goal2_000.smt2 false 1.20 1.19 apollon040 ADTRem/leon/bsearch-tree-goal12_000.smt2 unknown 153.57 153.28 apollon070 ADTRem/leon/heap-goal10_000.smt2 TIMEOUT 1800.58 1799.22 apollon010 ADTRem/leon/amortize-queue-goal5_000.smt2 true 0.66 0.65 apollon121 ADTRem/leon/unsat-heap-goal10_000.smt2 false 1.09 1.08 apollon144 ADTRem/leon/amortize-queue-goal4_000.smt2 true 1.26 1.31 apollon040 ADTRem/leon/heap-goal6_000.smt2 true 23.91 23.61 apollon053 ADTRem/leon/bsearch-tree-goal7_000.smt2 TIMEOUT 1800.50 1800.01 apollon030 ADTRem/leon/bsearch-tree-goal16_000.smt2 true 2.02 1.89 apollon052 ADTRem/leon/amortize-queue-goal12_000.smt2 TIMEOUT 1800.67 1798.56 apollon102 ADTRem/leon/bsearch-tree-goal2_000.smt2 TIMEOUT 1800.47 1800.30 apollon057 ADTRem/leon/heap-goal4_000.smt2 TIMEOUT 1800.51 1796.04 apollon027 ADTRem/leon/amortize-queue-goal15_000.smt2 true 4.85 4.76 apollon051 ADTRem/leon/unsat-bsearch-tree-goal1_000.smt2 false 0.14 0.15 apollon088 ADTRem/leon/unsat-bsearch-tree-goal16_000.smt2 false 3.81 3.55 apollon089 ADTRem/leon/unsat-bsearch-tree-goal4_000.smt2 false 0.19 0.20 apollon164 ADTRem/leon/bsearch-tree-goal8_000.smt2 unknown 30.77 30.54 apollon126 ADTRem/leon/unsat-heap-goal6_000.smt2 false 1.02 0.99 apollon156 ADTRem/leon/unsat-heap-goal7_000.smt2 false 1.03 1.01 apollon062 ADTRem/leon/bsearch-tree-goal1_000.smt2 true 61.64 61.58 apollon129 ADTRem/leon/heap-goal2_000.smt2 TIMEOUT 1800.50 1797.01 apollon003 ADTRem/leon/heap-goal3_000.smt2 TIMEOUT 1800.45 1800.38 apollon151 ADTRem/leon/unsat-amortize-queue-goal13_000.smt2 false 0.94 0.89 apollon142 ADTRem/leon/heap-goal5_000.smt2 TIMEOUT 1800.45 1798.44 apollon009 ADTRem/leon/heap-goal9_000.smt2 true 3.35 3.25 apollon073 ADTRem/leon/bsearch-tree-goal3_000.smt2 true 18.24 17.91 apollon018 ADTRem/leon/heap-goal1_000.smt2 unknown 354.29 353.74 apollon108 ADTRem/leon/dunsat-heap-goal6_000.smt2 TIMEOUT 1800.47 1798.11 apollon007 ADTRem/leon/bsearch-tree-goal10_000.smt2 TIMEOUT 1800.49 1797.61 apollon024 ADTRem/leon/unsat-amortize-queue-goal3_000.smt2 false 180.28 180.18 apollon108 ADTRem/leon/bsearch-tree-goal17_000.smt2 false 0.47 0.48 apollon027 ADTRem/leon/heap-goal8_000.smt2 true 5.43 5.20 apollon037 ADTRem/leon/amortize-queue-goal11_000.smt2 true 0.72 0.70 apollon016 ADTRem/leon/unsat-heap-goal4_000.smt2 false 0.79 0.78 apollon026 ADTRem/leon/heap-goal7_000.smt2 TIMEOUT 1800.55 1800.15 apollon036 ADTRem/leon/unsat-bsearch-tree-goal18_000.smt2 false 0.26 0.27 apollon009 ADTRem/leon/heap-goal12_000.smt2 TIMEOUT 1800.54 1799.98 apollon085 ADTRem/leon/dunsat-bsearch-tree-goal10_000.smt2 TIMEOUT 1800.49 1797.80 apollon131 ADTRem/leon/unsat-bsearch-tree-goal12_000.smt2 false 0.23 0.24 apollon134 ADTRem/leon/bsearch-tree-goal4_000.smt2 true 64.97 64.81 apollon145 ADTRem/leon/bsearch-tree-goal13_000.smt2 TIMEOUT 1800.47 1797.42 apollon036 ADTRem/leon/unsat-amortize-queue-goal4_000.smt2 false 0.24 0.25 apollon025 ADTRem/leon/amortize-queue-goal6_000.smt2 true 5.67 5.61 apollon085 ADTRem/leon/bsearch-tree-goal18_000.smt2 false 0.27 0.28 apollon068 ADTRem/leon/unsat-amortize-queue-goal11_000.smt2 false 3.17 3.03 apollon078 ADTRem/leon/unsat-bsearch-tree-goal8_000.smt2 false 0.27 0.28 apollon140 ADTRem/leon/bsearch-tree-goal9_000.smt2 TIMEOUT 1800.51 1797.56 apollon165 ADTRem/leon/amortize-queue-goal14_000.smt2 TIMEOUT 1800.50 1798.20 apollon152 ADTRem/leon/unsat-bsearch-tree-goal14_000.smt2 false 0.46 0.47 apollon168 ADTRem/leon/bsearch-tree-goal11_000.smt2 false 0.43 0.43 apollon162 ADTRem/leon/unsat-bsearch-tree-goal7_000.smt2 false 0.26 0.26 apollon035 ADTRem/leon/unsat-heap-goal3_000.smt2 false 0.80 0.77 apollon155 ADTRem/leon/bsearch-tree-goal6_000.smt2 TIMEOUT 1800.52 1797.67 apollon042 ADTRem/leon/amortize-queue-goal9_000.smt2 true 1.03 0.99 apollon048 ADTRem/leon/amortize-queue-goal7_000.smt2 true 13.78 13.64 apollon086 ADTRem/leon/unsat-amortize-queue-goal7_000.smt2 false 0.61 0.60 apollon039 ADTRem/leon/bsearch-tree-goal15_000.smt2 false 0.29 0.30 apollon124 ADTRem/leon/amortize-queue-goal13_000.smt2 TIMEOUT 1800.56 1799.23 apollon123 ADTRem/leon/unsat-heap-goal12_000.smt2 false 0.64 0.64 apollon066 ADTRem/leon/unsat-amortize-queue-goal9_000.smt2 false 3.37 3.23 apollon050 ADTRem/leon/bsearch-tree-goal14_000.smt2 TIMEOUT 1800.46 1798.38 apollon006 ADTRem/leon/amortize-queue-goal3_000.smt2 true 0.49 0.49 apollon011 ADTRem/leon/heap-goal13_000.smt2 TIMEOUT 1800.60 1799.06 apollon050 rust-horn/swap-dec-2-base3-safe_000.smt2 unknown 7.50 7.41 apollon164 rust-horn/lists-2-inc-all-safe_000.smt2 true 111.09 110.45 apollon168 rust-horn/trees-4-inc-some2-safe_000.smt2 true 24.81 24.50 apollon123 rust-horn/trees-3-inc-some-safe_000.smt2 true 209.73 208.54 apollon085 rust-horn/inc-max-3-repeat-safe_000.smt2 true 22.84 22.54 apollon113 rust-horn/swap-dec-3-exact-safe_000.smt2 true 0.50 0.50 apollon036 rust-horn/prusti-4-pass-paper_examples-borrows_align_000.smt2 true 0.14 0.15 apollon156 rust-horn/swap-dec-1-base-unsafe_000.smt2 false 13.94 13.85 apollon043 rust-horn/linger-dec-4-exact3-safe_000.smt2 true 0.56 0.55 apollon058 rust-horn/swap2-dec-2-base3-safe_000.smt2 unknown 51.48 51.16 apollon107 rust-horn/inc-max-4-repeat3-safe_000.smt2 true 241.67 241.19 apollon082 rust-horn/inc-max-1-base-safe_000.smt2 true 0.19 0.19 apollon044 rust-horn/inc-max-4-repeat3-unsafe_000.smt2 false 2.27 2.21 apollon121 rust-horn/swap2-dec-1-base-safe_000.smt2 true 0.57 0.57 apollon165 rust-horn/swap2-dec-4-exact3-unsafe_000.smt2 false 0.83 0.83 apollon128 rust-horn/lists-2-inc-all-unsafe_000.smt2 false 0.26 0.27 apollon140 rust-horn/swap-dec-4-exact3-safe_000.smt2 unknown 7.06 6.99 apollon047 rust-horn/linger-dec-4-exact3-unsafe_000.smt2 false 1.93 1.89 apollon055 rust-horn/linger-dec-1-basic-unsafe_000.smt2 false 1.04 1.04 apollon049 rust-horn/lists-4-inc-some2-unsafe_000.smt2 TIMEOUT 1800.51 1794.69 apollon150 rust-horn/simple-6-unique_scalar_000.smt2 false 0.17 0.18 apollon057 rust-horn/swap2-dec-3-exact-unsafe_000.smt2 false 1.62 1.58 apollon166 rust-horn/lists-3-inc-some-unsafe_000.smt2 false 0.32 0.33 apollon152 rust-horn/prusti-5-pass-demos-account_000.smt2 true 0.15 0.16 apollon032 rust-horn/linger-dec-1-basic-safe_000.smt2 true 0.23 0.24 apollon124 rust-horn/trees-4-inc-some2-unsafe_000.smt2 TIMEOUT 1800.48 1798.39 apollon037 rust-horn/inc-max-2-base3-unsafe_000.smt2 false 0.29 0.30 apollon132 rust-horn/prusti-6-fail-demos-account_error_1_000.smt2 false 0.21 0.21 apollon135 rust-horn/linger-dec-3-exact-safe_000.smt2 true 0.35 0.35 apollon035 rust-horn/swap-dec-2-base3-unsafe_000.smt2 unknown 9.05 8.93 apollon132 rust-horn/lists-4-inc-some2-safe_000.smt2 TIMEOUT 1800.57 1795.96 apollon056 rust-horn/linger-dec-3-exact-unsafe_000.smt2 false 1.15 1.18 apollon154 rust-horn/trees-2-inc-all-safe_000.smt2 TIMEOUT 1800.55 1796.66 apollon125 rust-horn/inc-max-1-base-unsafe_000.smt2 false 0.19 0.20 apollon055 rust-horn/prusti-3-pass-paper_examples-points-compress_000.smt2 true 0.06 0.07 apollon027 rust-horn/trees-2-inc-all-unsafe_000.smt2 false 0.26 0.27 apollon082 rust-horn/swap-dec-4-exact3-unsafe_000.smt2 false 0.41 0.42 apollon082 rust-horn/prusti-7-pass-mut_borrows-restore_000.smt2 true 0.28 0.28 apollon074 rust-horn/trees-1-append-unsafe_000.smt2 false 0.30 0.31 apollon024 rust-horn/swap2-dec-3-exact-safe_000.smt2 true 1.00 0.99 apollon044 rust-horn/lists-1-append-unsafe_000.smt2 false 0.23 0.24 apollon078 rust-horn/trees-1-append-safe_000.smt2 true 10.52 10.42 apollon097 rust-horn/just-rec-1-base-unsafe_000.smt2 false 0.79 0.84 apollon047 rust-horn/linger-dec-2-basic3-safe_000.smt2 true 0.38 0.38 apollon094 rust-horn/swap2-dec-2-base3-unsafe_000.smt2 unknown 63.55 63.20 apollon042 rust-horn/swap2-dec-4-exact3-safe_000.smt2 unknown 93.91 93.45 apollon116 rust-horn/lists-1-append-safe_000.smt2 true 3.11 3.14 apollon136 rust-horn/linger-dec-2-basic3-unsafe_000.smt2 false 2.14 2.08 apollon030 rust-horn/just-rec-1-base-safe_000.smt2 true 0.22 0.24 apollon107 rust-horn/inc-max-3-repeat-unsafe_000.smt2 false 1.12 1.14 apollon060 rust-horn/swap2-dec-1-base-unsafe_000.smt2 TIMEOUT 1800.59 1793.82 apollon071 rust-horn/lists-3-inc-some-safe_000.smt2 true 62.17 61.55 apollon026 rust-horn/inc-max-2-base3-safe_000.smt2 true 0.30 0.31 apollon128 rust-horn/swap-dec-3-exact-unsafe_000.smt2 false 0.50 0.50 apollon043 rust-horn/trees-3-inc-some-unsafe_000.smt2 false 0.39 0.40 apollon047 rust-horn/swap-dec-1-base-safe_000.smt2 true 0.35 0.35 apollon158 adt-purified-benchmarks/1-bmc-test-bmc-3-false.Z3.0_000.smt2 false 63.73 61.96 apollon138 adt-purified-benchmarks/1-bmc-test-bmc-diamond-2-true.Z3.0_000.smt2 true 8.29 8.04 apollon101 adt-purified-benchmarks/tree_size.Z3.0_000.smt2 true 0.53 0.50 apollon099 adt-purified-benchmarks/1-bmc-test-bmc-diamond-2-false.Z3.0_000.smt2 false 5.71 5.47 apollon020 adt-purified-benchmarks/3-swap-dec-swap-dec-10-0.Z3.0_000.smt2 unknown 12.17 12.07 apollon014 adt-purified-benchmarks/1-bmc-test-bmc-diamond-1-true.Z3.0_000.smt2 true 3.53 3.46 apollon103 adt-purified-benchmarks/7-trees-2-inc-some-1.Z3.0_000.smt2 TIMEOUT 1800.43 1800.21 apollon059 adt-purified-benchmarks/7-trees-0-append-some-sum-0.Z3.0_000.smt2 TIMEOUT 1800.43 1800.48 apollon006 adt-purified-benchmarks/5-linger-dec-linger-dec-10-1.Z3.0_000.smt2 false 0.71 0.71 apollon060 adt-purified-benchmarks/5-linger-dec-linger-dec-11-0.Z3.0_000.smt2 TIMEOUT 1800.49 1800.20 apollon015 adt-purified-benchmarks/2-inc-max-inc-max-00-0.Z3.0_000.smt2 unknown 1.33 1.34 apollon099 adt-purified-benchmarks/5-linger-dec-linger-dec-00-0.Z3.0_000.smt2 false 0.50 0.51 apollon057 adt-purified-benchmarks/list_rev2_len.Z3.0_000.smt2 true 0.90 0.86 apollon095 adt-purified-benchmarks/4-just-rec-just-rec-00-1.Z3.0_000.smt2 false 0.32 0.33 apollon052 adt-purified-benchmarks/1-bmc-test-bmc-3-true.Z3.0_000.smt2 true 8.37 8.06 apollon057 adt-purified-benchmarks/0-simple-unique_scalar.Z3.0_000.smt2 false 1.97 2.04 apollon168 adt-purified-benchmarks/6-lists-0-append-sum-1.Z3.0_000.smt2 false 0.75 0.74 apollon100 adt-purified-benchmarks/2-inc-max-inc-max-00-1.Z3.0_000.smt2 false 0.73 0.73 apollon102 adt-purified-benchmarks/3-swap-dec-swap-dec-01-1.Z3.0_000.smt2 unknown 821.11 820.50 apollon122 adt-purified-benchmarks/5-linger-dec-linger-dec-00-1.Z3.0_000.smt2 false 0.51 0.52 apollon136 adt-purified-benchmarks/3-swap-dec-swap-dec-00-0.Z3.0_000.smt2 unknown 6.07 6.04 apollon025 adt-purified-benchmarks/1-bmc-test-bmc-diamond-1-false.Z3.0_000.smt2 false 2.87 2.81 apollon144 adt-purified-benchmarks/7-trees-3-inc-some-two-0.Z3.0_000.smt2 TIMEOUT 1800.45 1800.26 apollon130 adt-purified-benchmarks/0-simple-06_loop_unsat.Z3.0_000.smt2 true 2.00 1.88 apollon089 adt-purified-benchmarks/0-simple-04_recursive_unsat.Z3.0_000.smt2 true 3.61 3.14 apollon011 adt-purified-benchmarks/6-lists-2-inc-some-1.Z3.0_000.smt2 TIMEOUT 1800.43 1800.42 apollon111 adt-purified-benchmarks/list_len.Z3.0_000.smt2 true 0.49 0.48 apollon120 adt-purified-benchmarks/6-lists-1-inc-sum-length-0.Z3.0_000.smt2 TIMEOUT 1800.43 1800.50 apollon039 adt-purified-benchmarks/tree-insert-all-size.Z3.0_000.smt2 true 85.53 85.47 apollon153 adt-purified-benchmarks/7-trees-3-inc-some-two-1.Z3.0_000.smt2 TIMEOUT 1800.46 1799.99 apollon120 adt-purified-benchmarks/2-inc-max-inc-max-11-1.Z3.0_000.smt2 false 4.28 4.17 apollon164 adt-purified-benchmarks/3-swap-dec-swap-dec-10-1.Z3.0_000.smt2 unknown 7.69 7.63 apollon015 adt-purified-benchmarks/6-lists-0-append-sum-0.Z3.0_000.smt2 TIMEOUT 1800.43 1800.40 apollon138 adt-purified-benchmarks/list_append_nil.Z3.0_000.smt2 true 0.50 0.49 apollon126 adt-purified-benchmarks/5-linger-dec-linger-dec-11-1.Z3.0_000.smt2 TIMEOUT 1800.51 1800.20 apollon080 adt-purified-benchmarks/2-inc-max-inc-max-01-1.Z3.0_000.smt2 false 1.56 1.51 apollon052 adt-purified-benchmarks/7-trees-1-inc-sum-size-0.Z3.0_000.smt2 TIMEOUT 1800.43 1800.43 apollon146 adt-purified-benchmarks/1-bmc-test-bmc-1-false.Z3.0_000.smt2 false 69.53 69.00 apollon099 adt-purified-benchmarks/6-lists-3-inc-some-two-1.Z3.0_000.smt2 TIMEOUT 1800.43 1800.49 apollon142 adt-purified-benchmarks/5-linger-dec-linger-dec-01-1.Z3.0_000.smt2 false 0.75 0.75 apollon073 adt-purified-benchmarks/3-swap-dec-swap-dec-11-0.Z3.0_000.smt2 unknown 12.87 12.62 apollon036 adt-purified-benchmarks/5-linger-dec-linger-dec-10-0.Z3.0_000.smt2 false 0.75 0.75 apollon113 adt-purified-benchmarks/2-inc-max-inc-max-10-0.Z3.0_000.smt2 true 1.96 1.92 apollon056 adt-purified-benchmarks/list_len_butlast.Z3.0_000.smt2 true 0.74 0.73 apollon025 adt-purified-benchmarks/0-simple-05_recursive_sat.Z3.0_000.smt2 false 7.46 6.58 apollon109 adt-purified-benchmarks/3-swap-dec-swap-dec-01-0.Z3.0_000.smt2 unknown 383.02 382.65 apollon044 adt-purified-benchmarks/2-inc-max-inc-max-10-1.Z3.0_000.smt2 false 0.87 0.87 apollon046 adt-purified-benchmarks/1-bmc-test-bmc-2-true.Z3.0_000.smt2 true 1.61 1.52 apollon051 adt-purified-benchmarks/list_len_stren.Z3.0_000.smt2 true 0.61 0.59 apollon024 adt-purified-benchmarks/4-just-rec-just-rec-00-0.Z3.0_000.smt2 TIMEOUT 1800.59 1800.71 apollon046 adt-purified-benchmarks/2-inc-max-inc-max-01-0.Z3.0_000.smt2 TIMEOUT 1800.43 1800.38 apollon086 adt-purified-benchmarks/3-swap-dec-swap-dec-00-1.Z3.0_000.smt2 TIMEOUT 1800.47 1800.15 apollon113 adt-purified-benchmarks/list_append_len.Z3.0_000.smt2 true 0.71 0.67 apollon046 adt-purified-benchmarks/5-linger-dec-linger-dec-01-0.Z3.0_000.smt2 false 0.75 0.74 apollon128 adt-purified-benchmarks/7-trees-2-inc-some-0.Z3.0_000.smt2 TIMEOUT 1800.43 1800.25 apollon052 adt-purified-benchmarks/1-bmc-test-bmc-1-true.Z3.0_000.smt2 true 57.84 57.36 apollon115 adt-purified-benchmarks/7-trees-1-inc-sum-size-1.Z3.0_000.smt2 false 28.27 27.99 apollon008 adt-purified-benchmarks/7-trees-0-append-some-sum-1.Z3.0_000.smt2 false 1.15 1.11 apollon008 adt-purified-benchmarks/3-swap-dec-swap-dec-11-1.Z3.0_000.smt2 unknown 683.57 683.33 apollon012 adt-purified-benchmarks/6-lists-3-inc-some-two-0.Z3.0_000.smt2 TIMEOUT 1800.43 1800.39 apollon081 adt-purified-benchmarks/6-lists-2-inc-some-0.Z3.0_000.smt2 TIMEOUT 1800.43 1800.32 apollon145 adt-purified-benchmarks/6-lists-1-inc-sum-length-1.Z3.0_000.smt2 false 21.46 21.23 apollon040 adt-purified-benchmarks/heap_size.Z3.0_000.smt2 true 0.45 0.44 apollon108 adt-purified-benchmarks/list_interleave.Z3.0_000.smt2 TIMEOUT 1800.43 1800.24 apollon003 adt-purified-benchmarks/0-simple-01_unsat.Z3.0_000.smt2 true 2.01 2.06 apollon045 adt-purified-benchmarks/1-bmc-test-bmc-2-false.Z3.0_000.smt2 false 5.17 5.00 apollon038 adt-purified-benchmarks/2-inc-max-inc-max-11-0.Z3.0_000.smt2 true 9.49 9.24 apollon028 tip-adt-lia/tip2015_sort_StoogeSortIsSort_000.smt2 TIMEOUT 1800.58 1800.42 apollon022 tip-adt-lia/tip2015_sort_nat_NMSortTDSorts_000.smt2 TIMEOUT 1800.61 1800.43 apollon035 tip-adt-lia/tip2015_sort_nat_NStoogeSort2IsSort_000.smt2 TIMEOUT 1800.48 1798.68 apollon101 tip-adt-lia/tip2015_rotate_mod_000.smt2 false 8.33 7.85 apollon156 tip-adt-lia/false_graph_bt5_000.smt2 TIMEOUT 1800.56 1796.46 apollon124 tip-adt-lia/tip2015_regexp_SeqAssociative_000.smt2 TIMEOUT 1800.45 1798.67 apollon136 tip-adt-lia/false_regexp_deluxe_star_plus_000.smt2 TIMEOUT 1800.55 1800.10 apollon119 tip-adt-lia/false_productive_use_of_failure_drop_invol_000.smt2 false 2.20 2.08 apollon140 tip-adt-lia/false_productive_use_of_failure_rot_inj00_000.smt2 true 5.24 5.08 apollon114 tip-adt-lia/isaplanner_prop_64_000.smt2 true 0.53 0.54 apollon165 tip-adt-lia/tip2015_regexp_PlusCommutative_000.smt2 TIMEOUT 1800.44 1799.24 apollon140 tip-adt-lia/tip2015_regexp_RecAtom_000.smt2 TIMEOUT 1800.44 1799.23 apollon002 tip-adt-lia/false_regexp_find6_000.smt2 TIMEOUT 1800.43 1800.38 apollon117 tip-adt-lia/tip2015_list_append_inj_2_000.smt2 true 0.36 0.37 apollon028 tip-adt-lia/prod_prop_07_000.smt2 true 1.43 1.36 apollon156 tip-adt-lia/isaplanner_prop_19_000.smt2 true 5.13 4.90 apollon054 tip-adt-lia/false_regexp_find3_000.smt2 TIMEOUT 1800.43 1800.24 apollon071 tip-adt-lia/false_regexp_deluxe_star_plus_easy_000.smt2 TIMEOUT 1800.56 1800.46 apollon067 tip-adt-lia/tip2015_sort_NStoogeSort2IsSort_000.smt2 TIMEOUT 1800.58 1800.43 apollon023 tip-adt-lia/grammars_simp_expr_unambig5_000.smt2 TIMEOUT 1800.50 1800.58 apollon109 tip-adt-lia/false_regexp_deluxe_bad_assoc_000.smt2 TIMEOUT 1800.57 1800.39 apollon031 tip-adt-lia/isaplanner_prop_46_000.smt2 true 86.07 85.97 apollon050 tip-adt-lia/tip2015_list_weird_is_normal_000.smt2 TIMEOUT 1800.47 1798.57 apollon049 tip-adt-lia/tip2015_sort_NStoogeSort2Sorts_000.smt2 unknown 32.31 32.26 apollon036 tip-adt-lia/tip2015_sort_nat_NStoogeSort2Sorts_000.smt2 TIMEOUT 1800.82 1800.25 apollon146 tip-adt-lia/tip2015_sort_NStoogeSortCount_000.smt2 true 200.55 200.20 apollon119 tip-adt-lia/tip2015_list_append_inj_1_000.smt2 true 0.36 0.37 apollon070 tip-adt-lia/isaplanner_prop_62_000.smt2 true 0.39 0.40 apollon100 tip-adt-lia/tip2015_rotate_structural_mod_000.smt2 TIMEOUT 1800.75 1799.25 apollon025 tip-adt-lia/false_regexp_star_plus_easy_000.smt2 TIMEOUT 1800.44 1800.04 apollon162 tip-adt-lia/isaplanner_prop_48_000.smt2 true 2.31 2.21 apollon013 tip-adt-lia/grammars_simp_expr_unambig3_000.smt2 TIMEOUT 1800.43 1800.38 apollon067 tip-adt-lia/tip2015_sort_nat_NMSortTDIsSort_000.smt2 TIMEOUT 1800.65 1800.38 apollon139 tip-adt-lia/tip2015_list_Interleave_000.smt2 TIMEOUT 1800.47 1799.37 apollon134 tip-adt-lia/tip2015_sort_nat_BubSortCount_000.smt2 TIMEOUT 1800.50 1798.50 apollon095 tip-adt-lia/false_queue3_QueueR_000.smt2 TIMEOUT 1800.73 1800.03 apollon117 tip-adt-lia/prod_prop_38_000.smt2 TIMEOUT 1800.45 1799.59 apollon045 tip-adt-lia/isaplanner_prop_40_000.smt2 true 0.68 0.65 apollon157 tip-adt-lia/tip2015_sort_nat_BSortSorts_000.smt2 true 4.71 4.63 apollon064 tip-adt-lia/isaplanner_prop_53_000.smt2 TIMEOUT 1800.57 1799.69 apollon052 tip-adt-lia/tip2015_list_nat_append_inj_2_000.smt2 true 0.37 0.38 apollon030 tip-adt-lia/prod_prop_20_000.smt2 true 61.96 61.93 apollon071 tip-adt-lia/tip2015_rotate_snoc_self_000.smt2 TIMEOUT 1800.69 1800.30 apollon135 tip-adt-lia/false_hotel_key_safe2_000.smt2 TIMEOUT 1800.44 1799.82 apollon096 tip-adt-lia/false_graph_tp5_000.smt2 TIMEOUT 1800.48 1800.42 apollon058 tip-adt-lia/isaplanner_prop_51_000.smt2 true 0.56 0.56 apollon126 tip-adt-lia/tip2015_regexp_RecStar_000.smt2 TIMEOUT 1800.84 1797.88 apollon057 tip-adt-lia/prod_prop_37_000.smt2 TIMEOUT 1800.55 1795.70 apollon159 tip-adt-lia/tip2015_tree_Flatten3_000.smt2 TIMEOUT 1800.71 1800.11 apollon108 tip-adt-lia/false_regexp_find1_000.smt2 TIMEOUT 1800.44 1799.53 apollon019 tip-adt-lia/tip2015_sort_BSortIsSort_000.smt2 TIMEOUT 1800.55 1799.46 apollon157 tip-adt-lia/false_productive_use_of_failure_rot_comm_000.smt2 TIMEOUT 1801.16 1800.40 apollon154 tip-adt-lia/isaplanner_prop_20_000.smt2 true 0.90 0.97 apollon102 tip-adt-lia/grammars_simp_expr_unambig1_000.smt2 TIMEOUT 1800.43 1800.55 apollon009 tip-adt-lia/tip2015_bin_nat_times_assoc_000.smt2 TIMEOUT 1800.43 1800.52 apollon065 tip-adt-lia/prod_prop_17_000.smt2 true 0.50 0.50 apollon009 tip-adt-lia/false_graph_d7_000.smt2 TIMEOUT 1800.48 1800.26 apollon042 tip-adt-lia/tip2015_sort_nat_StoogeSort2Count_000.smt2 TIMEOUT 1800.47 1799.12 apollon139 tip-adt-lia/isaplanner_prop_13_000.smt2 true 2.96 2.80 apollon118 tip-adt-lia/tip2015_bin_s_000.smt2 TIMEOUT 1800.56 1800.24 apollon014 tip-adt-lia/isaplanner_prop_82_000.smt2 TIMEOUT 1800.51 1795.81 apollon034 tip-adt-lia/tip2015_bin_times_assoc_000.smt2 TIMEOUT 1800.43 1800.51 apollon068 tip-adt-lia/prod_prop_22_000.smt2 true 61.60 61.55 apollon096 tip-adt-lia/false_regexp_star_seq_000.smt2 TIMEOUT 1800.44 1799.55 apollon053 tip-adt-lia/tip2015_sort_nat_BubSortIsSort_000.smt2 TIMEOUT 1800.61 1800.50 apollon114 tip-adt-lia/tip2015_sort_nat_HSortCount_000.smt2 TIMEOUT 1800.48 1799.43 apollon010 tip-adt-lia/tip2015_sort_NMSortTDCount_000.smt2 TIMEOUT 1800.48 1799.47 apollon075 tip-adt-lia/prod_prop_03_000.smt2 true 1.14 1.09 apollon067 tip-adt-lia/false_regexp_deluxe_Conj_000.smt2 TIMEOUT 1800.54 1800.03 apollon054 tip-adt-lia/isaplanner_prop_26_000.smt2 TIMEOUT 1800.52 1800.59 apollon157 tip-adt-lia/tip2015_regexp_Deeps_000.smt2 TIMEOUT 1800.44 1799.27 apollon131 tip-adt-lia/tip2015_sort_nat_BSortIsSort_000.smt2 true 247.93 247.27 apollon143 tip-adt-lia/tip2015_bin_plus_assoc_000.smt2 TIMEOUT 1800.43 1800.48 apollon143 tip-adt-lia/isaplanner_prop_27_000.smt2 TIMEOUT 1800.64 1800.58 apollon047 tip-adt-lia/tip2015_tree_SwapAB_000.smt2 TIMEOUT 1800.47 1799.91 apollon099 tip-adt-lia/false_hotel_key_safe1_000.smt2 true 24.12 23.80 apollon119 tip-adt-lia/tip2015_sort_NStoogeSort2Count_000.smt2 TIMEOUT 1800.51 1800.05 apollon045 tip-adt-lia/isaplanner_prop_30_000.smt2 TIMEOUT 1800.54 1800.50 apollon130 tip-adt-lia/false_regexp_kfind3_000.smt2 TIMEOUT 1800.45 1799.58 apollon050 tip-adt-lia/tip2015_list_nat_append_inj_1_000.smt2 true 0.36 0.37 apollon065 tip-adt-lia/isaplanner_prop_80_000.smt2 true 5.47 5.28 apollon023 tip-adt-lia/false_graph_t5_000.smt2 TIMEOUT 1800.58 1794.20 apollon121 tip-adt-lia/isaplanner_prop_68_000.smt2 true 1.58 1.53 apollon131 tip-adt-lia/isaplanner_prop_11_000.smt2 true 0.97 0.93 apollon086 tip-adt-lia/prod_prop_29_000.smt2 TIMEOUT 1800.72 1800.39 apollon156 tip-adt-lia/prod_prop_05_000.smt2 true 0.62 0.59 apollon116 tip-adt-lia/false_graph_bt4_000.smt2 ERROR (2) 1249.78 1248.27 apollon028 tip-adt-lia/prod_prop_39_000.smt2 ERROR (2) 329.69 329.08 apollon048 tip-adt-lia/tip2015_sort_ISortSorts_000.smt2 TIMEOUT 1800.60 1800.51 apollon155 tip-adt-lia/false_regexp_deluxe_iter0_000.smt2 true 322.47 321.96 apollon103 tip-adt-lia/tip2015_sort_nat_HSort2Sorts_000.smt2 unknown 691.27 688.90 apollon156 tip-adt-lia/false_regexp_star_plus_easy_2_000.smt2 TIMEOUT 1800.44 1800.28 apollon046 tip-adt-lia/false_regexp_find2_000.smt2 TIMEOUT 1800.43 1800.13 apollon157 tip-adt-lia/false_regexp_kfind4_000.smt2 TIMEOUT 1800.43 1800.13 apollon089 tip-adt-lia/tip2015_bin_nat_distrib_000.smt2 TIMEOUT 1800.43 1800.24 apollon067 tip-adt-lia/tip2015_propositional_Okay_000.smt2 TIMEOUT 1800.52 1795.03 apollon142 tip-adt-lia/tip2015_regexp_RecNil_000.smt2 true 125.84 123.51 apollon136 tip-adt-lia/tip2015_sort_TSortIsSort_000.smt2 TIMEOUT 1800.49 1798.24 apollon071 tip-adt-lia/false_graph_t3_000.smt2 TIMEOUT 1800.51 1799.67 apollon155 tip-adt-lia/prod_prop_09_000.smt2 true 2.50 2.38 apollon062 tip-adt-lia/false_graph_p31_000.smt2 TIMEOUT 1800.46 1800.14 apollon020 tip-adt-lia/tip2015_sort_MSortTDIsSort_000.smt2 TIMEOUT 1800.63 1799.46 apollon105 tip-adt-lia/tip2015_sort_HSortSorts_000.smt2 TIMEOUT 1800.56 1794.06 apollon135 tip-adt-lia/false_productive_use_of_failure_union_idem_000.smt2 TIMEOUT 1800.65 1800.65 apollon040 tip-adt-lia/prod_prop_12_000.smt2 true 0.63 0.62 apollon104 tip-adt-lia/tip2015_relaxedprefix_is_prefix_3_000.smt2 TIMEOUT 1800.43 1800.41 apollon034 tip-adt-lia/grammars_simp_expr_unambig2_000.smt2 TIMEOUT 1800.43 1800.40 apollon115 tip-adt-lia/tip2015_sort_nat_NMSortTDCount_000.smt2 TIMEOUT 1800.48 1799.30 apollon129 tip-adt-lia/false_productive_use_of_failure_rot_bogus_000.smt2 TIMEOUT 1800.54 1798.94 apollon013 tip-adt-lia/tip2015_propositional_AndCommutative_000.smt2 TIMEOUT 1800.45 1799.07 apollon092 tip-adt-lia/isaplanner_prop_47_000.smt2 TIMEOUT 1800.49 1797.05 apollon064 tip-adt-lia/isaplanner_prop_76_000.smt2 TIMEOUT 1800.46 1799.76 apollon106 tip-adt-lia/isaplanner_prop_03_000.smt2 TIMEOUT 1800.49 1798.30 apollon086 tip-adt-lia/tip2015_sort_StoogeSortCount_000.smt2 ERROR (2) 165.64 165.02 apollon134 tip-adt-lia/prod_prop_49_000.smt2 TIMEOUT 1800.53 1795.86 apollon166 tip-adt-lia/tip2015_escape_Injective_000.smt2 TIMEOUT 1800.43 1800.25 apollon077 tip-adt-lia/tip2015_sort_HSortIsSort_000.smt2 TIMEOUT 1800.54 1796.34 apollon131 tip-adt-lia/false_regexp_find4_000.smt2 TIMEOUT 1800.44 1800.38 apollon138 tip-adt-lia/tip2015_sort_HSortCount_000.smt2 TIMEOUT 1800.49 1798.11 apollon140 tip-adt-lia/prod_prop_30_000.smt2 true 0.49 0.49 apollon133 tip-adt-lia/prod_prop_40_000.smt2 TIMEOUT 1801.06 1800.53 apollon055 tip-adt-lia/grammars_simp_expr_unambig4_000.smt2 TIMEOUT 1800.44 1798.29 apollon092 tip-adt-lia/tip2015_bin_plus_comm_000.smt2 TIMEOUT 1800.44 1800.44 apollon135 tip-adt-lia/false_regexp_deluxe_switcheroo_000.smt2 TIMEOUT 1800.56 1800.13 apollon078 tip-adt-lia/prod_prop_06_000.smt2 true 1.96 1.85 apollon125 tip-adt-lia/isaplanner_prop_39_000.smt2 TIMEOUT 1800.49 1798.09 apollon126 tip-adt-lia/tip2015_sort_nat_NStoogeSort2Count_000.smt2 TIMEOUT 1800.55 1796.09 apollon105 tip-adt-lia/tip2015_sort_TSortSorts_000.smt2 TIMEOUT 1800.67 1798.19 apollon121 tip-adt-lia/false_show_bin_lists_assoc_000.smt2 TIMEOUT 1800.43 1799.30 apollon062 tip-adt-lia/prod_prop_28_000.smt2 true 3.76 3.57 apollon144 tip-adt-lia/tip2015_sort_NStoogeSortIsSort_000.smt2 TIMEOUT 1800.62 1800.31 apollon112 tip-adt-lia/tip2015_sort_BubSortSorts_000.smt2 TIMEOUT 1800.64 1800.44 apollon158 tip-adt-lia/tip2015_sort_MSortBU2Count_000.smt2 TIMEOUT 1800.52 1799.03 apollon158 tip-adt-lia/tip2015_relaxedprefix_is_prefix_4_000.smt2 TIMEOUT 1800.43 1800.45 apollon080 tip-adt-lia/tip2015_sort_nat_MSortBU2Sorts_000.smt2 TIMEOUT 1800.62 1800.07 apollon056 tip-adt-lia/isaplanner_prop_75_000.smt2 TIMEOUT 1800.51 1797.06 apollon153 tip-adt-lia/tip2015_sort_nat_StoogeSortCount_000.smt2 TIMEOUT 1800.51 1799.08 apollon066 tip-adt-lia/false_graph_p21_000.smt2 TIMEOUT 1800.49 1799.88 apollon053 tip-adt-lia/false_graph_p9_000.smt2 TIMEOUT 1800.45 1799.20 apollon046 tip-adt-lia/grammars_packrat_unambigPackrat_000.smt2 TIMEOUT 1800.43 1800.32 apollon061 tip-adt-lia/tip2015_regexp_PlusAssociative_000.smt2 TIMEOUT 1800.70 1791.66 apollon007 tip-adt-lia/tip2015_propositional_AndImplication_000.smt2 TIMEOUT 1800.45 1799.70 apollon008 tip-adt-lia/false_queue2_QueueR_000.smt2 TIMEOUT 1800.68 1797.05 apollon030 tip-adt-lia/tip2015_list_nat_PairUnpair_000.smt2 TIMEOUT 1800.70 1799.09 apollon097 tip-adt-lia/tip2015_propositional_AndIdempotent_000.smt2 TIMEOUT 1800.45 1799.93 apollon017 tip-adt-lia/false_regexp_koen_000.smt2 TIMEOUT 1800.43 1800.32 apollon073 tip-adt-lia/false_productive_use_of_failure_drop_idem_000.smt2 false 2.76 2.61 apollon052 tip-adt-lia/tip2015_bin_times_comm_000.smt2 TIMEOUT 1800.43 1800.54 apollon086 tip-adt-lia/tip2015_sort_BubSortIsSort_000.smt2 TIMEOUT 1800.58 1799.73 apollon001 tip-adt-lia/prod_prop_14_000.smt2 TIMEOUT 1800.63 1800.59 apollon005 tip-adt-lia/false_graph_p5_000.smt2 TIMEOUT 1800.46 1800.47 apollon115 tip-adt-lia/tip2015_sort_TSortCount_000.smt2 TIMEOUT 1800.53 1798.70 apollon054 tip-adt-lia/isaplanner_prop_57_000.smt2 true 9.35 9.00 apollon026 tip-adt-lia/prod_prop_23_000.smt2 true 1.60 1.53 apollon044 tip-adt-lia/false_graph_d5_000.smt2 TIMEOUT 1800.51 1797.84 apollon133 tip-adt-lia/false_mergesort_merge_comm_000.smt2 TIMEOUT 1800.71 1800.31 apollon024 tip-adt-lia/tip2015_sort_StoogeSort2Count_000.smt2 TIMEOUT 1800.47 1798.52 apollon101 tip-adt-lia/isaplanner_prop_42_000.smt2 true 1.37 1.32 apollon011 tip-adt-lia/tip2015_bin_times_000.smt2 TIMEOUT 1800.44 1798.91 apollon037 tip-adt-lia/tip2015_relaxedprefix_is_prefix_2_000.smt2 TIMEOUT 1800.43 1800.47 apollon148 tip-adt-lia/tip2015_sort_MSortBU2IsSort_000.smt2 TIMEOUT 1800.64 1799.86 apollon033 tip-adt-lia/false_queue1_QueueL_000.smt2 TIMEOUT 1800.73 1800.01 apollon040 tip-adt-lia/isaplanner_prop_29_000.smt2 TIMEOUT 1800.51 1797.68 apollon143 tip-adt-lia/isaplanner_prop_16_000.smt2 true 0.12 0.13 apollon091 tip-adt-lia/tip2015_sort_BSortCount_000.smt2 true 135.12 134.17 apollon133 tip-adt-lia/tip2015_sort_nat_MSortBU2Count_000.smt2 TIMEOUT 1800.57 1797.92 apollon090 tip-adt-lia/tip2015_sort_NMSortTDSorts_000.smt2 true 3.06 3.03 apollon015 tip-adt-lia/isaplanner_prop_71_000.smt2 TIMEOUT 1800.80 1800.59 apollon064 tip-adt-lia/false_productive_use_of_failure_rot_inj1_000.smt2 TIMEOUT 1800.97 1800.52 apollon003 tip-adt-lia/isaplanner_prop_58_000.smt2 TIMEOUT 1800.57 1794.63 apollon124 tip-adt-lia/prod_prop_48_000.smt2 true 0.86 0.93 apollon027 tip-adt-lia/tip2015_sort_nat_BubSortSorts_000.smt2 TIMEOUT 1800.57 1800.45 apollon019 tip-adt-lia/tip2015_sort_nat_HSort2Count_000.smt2 TIMEOUT 1800.51 1796.48 apollon048 tip-adt-lia/tip2015_bin_nat_s_000.smt2 TIMEOUT 1800.53 1799.72 apollon033 tip-adt-lia/false_regexp_deluxe_FromToConj_000.smt2 true 3.37 3.29 apollon153 tip-adt-lia/isaplanner_prop_67_000.smt2 true 2.22 2.14 apollon102 tip-adt-lia/isaplanner_prop_37_000.smt2 TIMEOUT 1800.64 1800.63 apollon012 tip-adt-lia/tip2015_relaxedprefix_is_prefix_1_000.smt2 TIMEOUT 1800.44 1800.02 apollon144 tip-adt-lia/isaplanner_prop_84_000.smt2 TIMEOUT 1800.48 1797.09 apollon104 tip-adt-lia/prod_prop_10_000.smt2 true 0.52 0.52 apollon097 tip-adt-lia/tip2015_list_PairUnpair_000.smt2 true 14.11 14.12 apollon064 tip-adt-lia/tip2015_regexp_RecEps_000.smt2 true 41.29 40.33 apollon108 tip-adt-lia/isaplanner_prop_78_000.smt2 TIMEOUT 1800.59 1800.58 apollon113 tip-adt-lia/isaplanner_prop_77_000.smt2 TIMEOUT 1800.71 1800.64 apollon108 tip-adt-lia/isaplanner_prop_83_000.smt2 TIMEOUT 1800.53 1795.76 apollon091 tip-adt-lia/isaplanner_prop_52_000.smt2 TIMEOUT 1800.50 1794.88 apollon063 tip-adt-lia/false_graph_btp5_000.smt2 TIMEOUT 1800.49 1799.89 apollon034 tip-adt-lia/isaplanner_prop_15_000.smt2 true 0.86 0.93 apollon116 tip-adt-lia/tip2015_sort_nat_TSortCount_000.smt2 TIMEOUT 1800.48 1796.74 apollon043 tip-adt-lia/tip2015_sort_nat_MSortTDIsSort_000.smt2 TIMEOUT 1800.76 1799.95 apollon036 tip-adt-lia/tip2015_sort_nat_NStoogeSortSorts_000.smt2 unknown 4.82 4.78 apollon027 tip-adt-lia/prod_prop_47_000.smt2 TIMEOUT 1800.47 1799.35 apollon011 tip-adt-lia/tip2015_propositional_Sound_000.smt2 TIMEOUT 1800.46 1796.51 apollon100 tip-adt-lia/false_regexp_kfind1_000.smt2 TIMEOUT 1800.43 1799.81 apollon106 tip-adt-lia/tip2015_sort_nat_NStoogeSortCount_000.smt2 TIMEOUT 1800.47 1799.96 apollon165 tip-adt-lia/isaplanner_prop_04_000.smt2 TIMEOUT 1800.48 1797.93 apollon166 tip-adt-lia/tip2015_regexp_PlusIdempotent_000.smt2 TIMEOUT 1800.45 1797.41 apollon103 tip-adt-lia/prod_prop_44_000.smt2 ERROR (2) 67.56 67.47 apollon082 tip-adt-lia/isaplanner_prop_28_000.smt2 TIMEOUT 1800.50 1798.76 apollon069 tip-adt-lia/false_regexp_find7_000.smt2 TIMEOUT 1800.43 1800.36 apollon030 tip-adt-lia/false_regexp_deluxe_iter_000.smt2 true 2.75 2.64 apollon058 tip-adt-lia/false_productive_use_of_failure_rot_uhhhw1_000.smt2 false 3.29 3.12 apollon137 tip-adt-lia/false_regexp_find5_000.smt2 TIMEOUT 1800.43 1800.33 apollon078 tip-adt-lia/tip2015_bin_nat_plus_000.smt2 TIMEOUT 1800.44 1800.13 apollon027 tip-adt-lia/false_productive_use_of_failure_rot_inj0_000.smt2 false 1.45 1.42 apollon140 tip-adt-lia/prod_prop_18_000.smt2 TIMEOUT 1800.47 1800.10 apollon100 tip-adt-lia/tip2015_sort_BSortSorts_000.smt2 true 3.56 3.47 apollon024 tip-adt-lia/tip2015_rotate_snoc_000.smt2 TIMEOUT 1800.59 1796.28 apollon093 tip-adt-lia/false_regexp_deluxe_star_seq_000.smt2 TIMEOUT 1800.57 1800.31 apollon034 tip-adt-lia/prod_prop_21_000.smt2 TIMEOUT 1800.68 1800.28 apollon156 tip-adt-lia/tip2015_bin_nat_plus_assoc_000.smt2 TIMEOUT 1800.45 1800.47 apollon027 tip-adt-lia/false_productive_use_of_failure_union_comm_000.smt2 false 57.52 57.16 apollon058 tip-adt-lia/false_regexp_kfind2_000.smt2 TIMEOUT 1800.44 1799.70 apollon145 tip-adt-lia/tip2015_sort_HSort2Count_000.smt2 TIMEOUT 1800.65 1793.59 apollon096 tip-adt-lia/false_regexp_deluxe_koen_000.smt2 TIMEOUT 1800.60 1800.24 apollon107 tip-adt-lia/false_regexp_star_plus_2_000.smt2 TIMEOUT 1800.43 1800.22 apollon049 tip-adt-lia/tip2015_sort_nat_ISortSorts_000.smt2 TIMEOUT 1800.58 1800.45 apollon124 tip-adt-lia/tip2015_regexp_Star_000.smt2 TIMEOUT 1800.78 1793.45 apollon018 tip-adt-lia/tip2015_sort_nat_TSortSorts_000.smt2 TIMEOUT 1800.50 1796.42 apollon114 tip-adt-lia/prod_prop_19_000.smt2 true 0.54 0.54 apollon015 tip-adt-lia/tip2015_sort_nat_ISortCount_000.smt2 TIMEOUT 1800.50 1800.00 apollon058 tip-adt-lia/false_productive_use_of_failure_rot_uhhhw2_000.smt2 false 1.80 1.72 apollon104 tip-adt-lia/tip2015_bin_plus_000.smt2 TIMEOUT 1800.43 1800.31 apollon139 tip-adt-lia/tip2015_tree_Flatten2_000.smt2 TIMEOUT 1800.62 1800.45 apollon111 tip-adt-lia/isaplanner_prop_86_000.smt2 TIMEOUT 1800.99 1800.08 apollon166 tip-adt-lia/prod_prop_42_000.smt2 TIMEOUT 1800.56 1794.63 apollon075 tip-adt-lia/tip2015_sort_nat_MSortTDCount_000.smt2 TIMEOUT 1800.56 1799.76 apollon031 tip-adt-lia/false_hotel_key_safe3_000.smt2 true 27.43 27.07 apollon149 tip-adt-lia/isaplanner_prop_55_000.smt2 true 9.03 8.77 apollon044 tip-adt-lia/false_queue2_QueueL_000.smt2 TIMEOUT 1800.80 1799.94 apollon094 tip-adt-lia/tip2015_sort_nat_MSortBU2IsSort_000.smt2 TIMEOUT 1800.80 1800.10 apollon066 tip-adt-lia/isaplanner_prop_02_000.smt2 TIMEOUT 1800.54 1795.28 apollon139 tip-adt-lia/prod_prop_45_000.smt2 TIMEOUT 1800.45 1800.15 apollon056 tip-adt-lia/isaplanner_prop_38_000.smt2 TIMEOUT 1800.48 1797.86 apollon109 tip-adt-lia/isaplanner_prop_59_000.smt2 TIMEOUT 1800.56 1794.21 apollon149 tip-adt-lia/false_productive_use_of_failure_app_inj1_000.smt2 true 0.41 0.43 apollon047 tip-adt-lia/tip2015_bin_nat_times_000.smt2 TIMEOUT 1800.44 1799.72 apollon097 tip-adt-lia/false_productive_use_of_failure_app_inj2_000.smt2 true 0.37 0.38 apollon007 tip-adt-lia/tip2015_sort_nat_HSort2IsSort_000.smt2 TIMEOUT 1800.77 1799.46 apollon107 tip-adt-lia/prod_prop_41_000.smt2 TIMEOUT 1800.50 1796.85 apollon148 tip-adt-lia/isaplanner_prop_74_000.smt2 TIMEOUT 1800.70 1799.41 apollon129 tip-adt-lia/false_productive_use_of_failure_len_bs_000.smt2 false 1.59 1.53 apollon005 tip-adt-lia/false_cfg5_unambig_000.smt2 TIMEOUT 1800.43 1800.42 apollon006 tip-adt-lia/isaplanner_prop_49_000.smt2 true 0.70 0.69 apollon124 tip-adt-lia/tip2015_sort_nat_StoogeSortSorts_000.smt2 unknown 67.95 67.87 apollon127 tip-adt-lia/tip2015_sort_ISortCount_000.smt2 TIMEOUT 1800.48 1799.89 apollon147 tip-adt-lia/tip2015_rotate_self_000.smt2 TIMEOUT 1800.71 1800.43 apollon112 tip-adt-lia/prod_prop_25_000.smt2 true 62.15 62.16 apollon125 tip-adt-lia/tip2015_sort_StoogeSortSorts_000.smt2 TIMEOUT 1800.56 1800.49 apollon116 tip-adt-lia/prod_prop_04_000.smt2 true 243.08 241.64 apollon039 tip-adt-lia/tip2015_sort_nat_StoogeSortIsSort_000.smt2 TIMEOUT 1800.68 1800.44 apollon011 tip-adt-lia/prod_prop_50_000.smt2 TIMEOUT 1800.48 1798.11 apollon097 tip-adt-lia/false_hotel_key_safe0_000.smt2 TIMEOUT 1800.43 1800.22 apollon013 tip-adt-lia/false_regexp_star_plus_easy_1_000.smt2 TIMEOUT 1800.43 1800.30 apollon168 tip-adt-lia/tip2015_regexp_Reverse_000.smt2 TIMEOUT 1800.45 1797.82 apollon167 tip-adt-lia/isaplanner_prop_01_000.smt2 true 4.96 4.78 apollon130 tip-adt-lia/tip2015_sort_nat_HSortIsSort_000.smt2 TIMEOUT 1800.65 1798.50 apollon166 tip-adt-lia/isaplanner_prop_72_000.smt2 TIMEOUT 1800.49 1799.33 apollon152 tip-adt-lia/isaplanner_prop_81_000.smt2 true 9.82 9.48 apollon030 tip-adt-lia/prod_prop_02_000.smt2 true 0.50 0.48 apollon079 tip-adt-lia/prod_prop_36_000.smt2 TIMEOUT 1800.48 1797.80 apollon027 tip-adt-lia/tip2015_bin_distrib_000.smt2 TIMEOUT 1800.43 1800.39 apollon079 tip-adt-lia/tip2015_sort_NStoogeSortSorts_000.smt2 unknown 39.88 39.83 apollon113 tip-adt-lia/false_regexp_deluxe_FromToConj_difficult_000.smt2 TIMEOUT 1800.56 1800.23 apollon100 tip-adt-lia/tip2015_sort_HSort2Sorts_000.smt2 unknown 1185.64 1182.46 apollon099 tip-adt-lia/isaplanner_prop_63_000.smt2 TIMEOUT 1800.46 1799.34 apollon095 tip-adt-lia/false_queue3_QueueL_000.smt2 TIMEOUT 1800.74 1800.16 apollon127 tip-adt-lia/false_regexp_switcheroo_000.smt2 TIMEOUT 1800.57 1799.57 apollon028 tip-adt-lia/false_regexp_star_plus_1_000.smt2 TIMEOUT 1800.44 1800.36 apollon150 tip-adt-lia/false_productive_use_of_failure_drop_inj2_000.smt2 false 2.18 2.07 apollon162 tip-adt-lia/prod_prop_43_000.smt2 TIMEOUT 1800.54 1795.59 apollon018 tip-adt-lia/tip2015_sort_nat_HSortSorts_000.smt2 TIMEOUT 1800.55 1794.27 apollon122 tip-adt-lia/false_regexp_same_000.smt2 TIMEOUT 1800.44 1799.36 apollon122 tip-adt-lia/prod_prop_32_000.smt2 TIMEOUT 1800.49 1799.99 apollon137 tip-adt-lia/isaplanner_prop_56_000.smt2 true 3.85 3.64 apollon089 tip-adt-lia/isaplanner_prop_45_000.smt2 TIMEOUT 1800.51 1796.19 apollon085 tip-adt-lia/prod_prop_46_000.smt2 TIMEOUT 1800.52 1796.34 apollon035 tip-adt-lia/false_regexp_bad_assoc_000.smt2 TIMEOUT 1800.44 1800.35 apollon130 tip-adt-lia/false_regexp_kfind7_000.smt2 TIMEOUT 1800.43 1799.69 apollon138 tip-adt-lia/tip2015_sort_nat_BSortCount_000.smt2 true 147.93 147.23 apollon071 tip-adt-lia/false_productive_use_of_failure_rot_uhhh_000.smt2 TIMEOUT 1800.72 1800.29 apollon123 tip-adt-lia/tip2015_escape_NoSpecial_000.smt2 TIMEOUT 1800.43 1799.77 apollon141 tip-adt-lia/tip2015_sort_nat_NStoogeSortIsSort_000.smt2 TIMEOUT 1800.79 1800.46 apollon028 tip-adt-lia/prod_prop_08_000.smt2 true 1.59 1.52 apollon136 tip-adt-lia/false_regexp_koen_easy_000.smt2 TIMEOUT 1800.43 1800.08 apollon088 tip-adt-lia/prod_prop_11_000.smt2 TIMEOUT 1800.60 1800.39 apollon026 tip-adt-lia/false_graph_p7_000.smt2 TIMEOUT 1800.49 1796.94 apollon060 tip-adt-lia/false_regexp_star_plus_000.smt2 TIMEOUT 1800.45 1800.39 apollon042 tip-adt-lia/false_graph_p11_000.smt2 TIMEOUT 1800.46 1800.63 apollon051 tip-adt-lia/tip2015_sort_MSortTDSorts_000.smt2 TIMEOUT 1800.69 1800.42 apollon077 tip-adt-lia/tip2015_sort_nat_StoogeSort2Sorts_000.smt2 TIMEOUT 1800.62 1799.76 apollon114 tip-adt-lia/tip2015_bin_nat_times_comm_000.smt2 TIMEOUT 1800.43 1800.55 apollon040 tip-adt-lia/prod_prop_31_000.smt2 true 0.41 0.41 apollon028 tip-adt-lia/tip2015_bin_nat_plus_comm_000.smt2 TIMEOUT 1800.43 1800.51 apollon136 tip-adt-lia/false_productive_use_of_failure_drop_comm_000.smt2 true 2.79 2.66 apollon132 tip-adt-lia/isaplanner_prop_05_000.smt2 TIMEOUT 1800.48 1798.11 apollon010 tip-adt-lia/prod_prop_27_000.smt2 true 0.66 0.66 apollon123 tip-adt-lia/tip2015_sort_MSortBU2Sorts_000.smt2 TIMEOUT 1800.68 1800.37 apollon038 tip-adt-lia/tip2015_sort_HSort2IsSort_000.smt2 TIMEOUT 1800.46 1799.20 apollon033 tip-adt-lia/isaplanner_prop_60_000.smt2 true 0.53 0.53 apollon043 tip-adt-lia/isaplanner_prop_44_000.smt2 TIMEOUT 1800.63 1799.06 apollon008 tip-adt-lia/tip2015_sort_nat_TSortIsSort_000.smt2 TIMEOUT 1800.51 1796.83 apollon012 tip-adt-lia/tip2015_regexp_SeqDistrPlus_000.smt2 TIMEOUT 1800.85 1791.66 apollon140 tip-adt-lia/tip2015_relaxedprefix_correct_000.smt2 TIMEOUT 1800.43 1800.30 apollon101 tip-adt-lia/isaplanner_prop_85_000.smt2 TIMEOUT 1800.50 1795.26 apollon002 tip-adt-lia/false_graph_bt3_000.smt2 TIMEOUT 1800.52 1797.12 apollon098 tip-adt-lia/false_regexp_deluxe_Conj0_000.smt2 TIMEOUT 1800.55 1799.95 apollon121 tip-adt-lia/false_regexp_kfind5_000.smt2 TIMEOUT 1800.43 1800.14 apollon052 tip-adt-lia/tip2015_tree_Flatten1_000.smt2 TIMEOUT 1800.63 1797.83 apollon070 tip-adt-lia/false_productive_use_of_failure_drop_inj1_000.smt2 false 1.08 1.06 apollon125 tip-adt-lia/tip2015_sort_BubSortCount_000.smt2 TIMEOUT 1800.51 1796.83 apollon070 tip-adt-lia/tip2015_sort_nat_MSortTDSorts_000.smt2 TIMEOUT 1800.59 1800.44 apollon080 tip-adt-lia/tip2015_regexp_RecSeq_000.smt2 TIMEOUT 1800.44 1799.12 apollon075 tip-adt-lia/false_queue1_QueueR_000.smt2 TIMEOUT 1800.70 1800.02 apollon149 tip-adt-lia/tip2015_sort_NMSortTDIsSort_000.smt2 TIMEOUT 1800.47 1798.36 apollon104 tip-adt-lia/isaplanner_prop_50_000.smt2 true 5.34 5.13 apollon118 tip-adt-lia/isaplanner_prop_61_000.smt2 TIMEOUT 1800.46 1800.16 apollon055 tip-adt-lia/tip2015_regexp_RecPlus_000.smt2 TIMEOUT 1800.48 1794.66 apollon060 tip-adt-lia/tip2015_list_nat_Interleave_000.smt2 TIMEOUT 1800.48 1799.60 apollon073 tip-adt-lia/false_regexp_kfind6_000.smt2 TIMEOUT 1800.43 1799.62 apollon116 ------------------------------------------------------------------------------------------------------------------------------------------ Run set 1 done None 14315.04 - Statistics: 1045 Files correct: 0 correct true: 0 correct false: 0 incorrect: 0 incorrect true: 0 incorrect false: 0 unknown: 601