├── .gitignore ├── CHANGELOG ├── Commentify.hs ├── LICENSE ├── Makefile ├── OMakefile ├── OMakeroot ├── README.md ├── benchmarks ├── false │ ├── cfg5_unambig.smt2 │ ├── graph_bt3.smt2 │ ├── graph_bt4.smt2 │ ├── graph_bt5.smt2 │ ├── graph_btp5.smt2 │ ├── graph_d5.smt2 │ ├── graph_d7.smt2 │ ├── graph_p11.smt2 │ ├── graph_p21.smt2 │ ├── graph_p31.smt2 │ ├── graph_p5.smt2 │ ├── graph_p7.smt2 │ ├── graph_p9.smt2 │ ├── graph_t3.smt2 │ ├── graph_t5.smt2 │ ├── graph_tp5.smt2 │ ├── hotel_key_safe0.smt2 │ ├── hotel_key_safe1.smt2 │ ├── hotel_key_safe2.smt2 │ ├── hotel_key_safe3.smt2 │ ├── imperative_Apa.smt2 │ ├── mergesort_merge_comm.smt2 │ ├── productive_use_of_failure_drop_idem.smt2 │ ├── productive_use_of_failure_drop_inj1.smt2 │ ├── productive_use_of_failure_drop_inj2.smt2 │ ├── productive_use_of_failure_drop_invol.smt2 │ ├── productive_use_of_failure_len_bs.smt2 │ ├── productive_use_of_failure_rot_bogus.smt2 │ ├── productive_use_of_failure_rot_inj0'.smt2 │ ├── productive_use_of_failure_rot_inj0.smt2 │ ├── productive_use_of_failure_rot_uhhhw1.smt2 │ ├── productive_use_of_failure_rot_uhhhw2.smt2 │ ├── productive_use_of_failure_union_comm.smt2 │ ├── queue1_QueueL.smt2 │ ├── queue1_QueueR.smt2 │ ├── queue2_QueueL.smt2 │ ├── queue2_QueueR.smt2 │ ├── queue3_QueueL.smt2 │ ├── queue3_QueueR.smt2 │ ├── regexp_bad_assoc.smt2 │ ├── regexp_deluxe_Conj'.smt2 │ ├── regexp_deluxe_Conj.smt2 │ ├── regexp_deluxe_FromToConj.smt2 │ ├── regexp_deluxe_FromToConj_difficult.smt2 │ ├── regexp_deluxe_bad_assoc.smt2 │ ├── regexp_deluxe_iter'.smt2 │ ├── regexp_deluxe_iter.smt2 │ ├── regexp_deluxe_koen.smt2 │ ├── regexp_deluxe_switcheroo.smt2 │ ├── regexp_find1.smt2 │ ├── regexp_find2.smt2 │ ├── regexp_find3.smt2 │ ├── regexp_find4.smt2 │ ├── regexp_find5.smt2 │ ├── regexp_find6.smt2 │ ├── regexp_find7.smt2 │ ├── regexp_kfind1.smt2 │ ├── regexp_kfind2.smt2 │ ├── regexp_kfind3.smt2 │ ├── regexp_kfind4.smt2 │ ├── regexp_kfind5.smt2 │ ├── regexp_kfind6.smt2 │ ├── regexp_kfind7.smt2 │ ├── regexp_koen.smt2 │ ├── regexp_koen_easy.smt2 │ ├── regexp_same.smt2 │ ├── regexp_switcheroo.smt2 │ └── show_bin_lists_assoc.smt2 ├── grammars │ ├── packrat_unambigPackrat.smt2 │ ├── simp_expr_unambig1.smt2 │ ├── simp_expr_unambig2.smt2 │ ├── simp_expr_unambig3.smt2 │ ├── simp_expr_unambig4.smt2 │ └── simp_expr_unambig5.smt2 ├── isaplanner │ ├── prop_01.smt2 │ ├── prop_02.smt2 │ ├── prop_03.smt2 │ ├── prop_04.smt2 │ ├── prop_05.smt2 │ ├── prop_06.smt2 │ ├── prop_07.smt2 │ ├── prop_08.smt2 │ ├── prop_09.smt2 │ ├── prop_10.smt2 │ ├── prop_11.smt2 │ ├── prop_12.smt2 │ ├── prop_13.smt2 │ ├── prop_14.smt2 │ ├── prop_15.smt2 │ ├── prop_16.smt2 │ ├── prop_17.smt2 │ ├── prop_18.smt2 │ ├── prop_19.smt2 │ ├── prop_20.smt2 │ ├── prop_21.smt2 │ ├── prop_22.smt2 │ ├── prop_23.smt2 │ ├── prop_24.smt2 │ ├── prop_25.smt2 │ ├── prop_26.smt2 │ ├── prop_27.smt2 │ ├── prop_28.smt2 │ ├── prop_29.smt2 │ ├── prop_30.smt2 │ ├── prop_31.smt2 │ ├── prop_32.smt2 │ ├── prop_33.smt2 │ ├── prop_34.smt2 │ ├── prop_35.smt2 │ ├── prop_36.smt2 │ ├── prop_37.smt2 │ ├── prop_38.smt2 │ ├── prop_39.smt2 │ ├── prop_40.smt2 │ ├── prop_41.smt2 │ ├── prop_42.smt2 │ ├── prop_43.smt2 │ ├── prop_44.smt2 │ ├── prop_45.smt2 │ ├── prop_46.smt2 │ ├── prop_47.smt2 │ ├── prop_48.smt2 │ ├── prop_49.smt2 │ ├── prop_50.smt2 │ ├── prop_51.smt2 │ ├── prop_52.smt2 │ ├── prop_53.smt2 │ ├── prop_54.smt2 │ ├── prop_55.smt2 │ ├── prop_56.smt2 │ ├── prop_57.smt2 │ ├── prop_58.smt2 │ ├── prop_59.smt2 │ ├── prop_60.smt2 │ ├── prop_61.smt2 │ ├── prop_62.smt2 │ ├── prop_63.smt2 │ ├── prop_64.smt2 │ ├── prop_65.smt2 │ ├── prop_66.smt2 │ ├── prop_67.smt2 │ ├── prop_68.smt2 │ ├── prop_69.smt2 │ ├── prop_70.smt2 │ ├── prop_71.smt2 │ ├── prop_72.smt2 │ ├── prop_73.smt2 │ ├── prop_74.smt2 │ ├── prop_75.smt2 │ ├── prop_76.smt2 │ ├── prop_77.smt2 │ ├── prop_78.smt2 │ ├── prop_79.smt2 │ ├── prop_80.smt2 │ ├── prop_81.smt2 │ ├── prop_82.smt2 │ ├── prop_83.smt2 │ ├── prop_84.smt2 │ ├── prop_85.smt2 │ └── prop_86.smt2 ├── prod │ ├── lemma_01.smt2 │ ├── lemma_02.smt2 │ ├── lemma_03.smt2 │ ├── lemma_04.smt2 │ ├── lemma_05.smt2 │ ├── lemma_06.smt2 │ ├── lemma_07.smt2 │ ├── lemma_08.smt2 │ ├── lemma_09.smt2 │ ├── lemma_10.smt2 │ ├── lemma_11.smt2 │ ├── lemma_12.smt2 │ ├── lemma_13.smt2 │ ├── lemma_14.smt2 │ ├── lemma_15.smt2 │ ├── lemma_16.smt2 │ ├── lemma_17.smt2 │ ├── lemma_18.smt2 │ ├── lemma_19.smt2 │ ├── lemma_20.smt2 │ ├── lemma_21.smt2 │ ├── lemma_22.smt2 │ ├── lemma_23.smt2 │ ├── lemma_24.smt2 │ ├── prop_01.smt2 │ ├── prop_02.smt2 │ ├── prop_03.smt2 │ ├── prop_04.smt2 │ ├── prop_05.smt2 │ ├── prop_06.smt2 │ ├── prop_07.smt2 │ ├── prop_08.smt2 │ ├── prop_09.smt2 │ ├── prop_10.smt2 │ ├── prop_11.smt2 │ ├── prop_12.smt2 │ ├── prop_13.smt2 │ ├── prop_14.smt2 │ ├── prop_15.smt2 │ ├── prop_16.smt2 │ ├── prop_17.smt2 │ ├── prop_18.smt2 │ ├── prop_19.smt2 │ ├── prop_20.smt2 │ ├── prop_21.smt2 │ ├── prop_22.smt2 │ ├── prop_23.smt2 │ ├── prop_24.smt2 │ ├── prop_25.smt2 │ ├── prop_26.smt2 │ ├── prop_27.smt2 │ ├── prop_28.smt2 │ ├── prop_29.smt2 │ ├── prop_30.smt2 │ ├── prop_31.smt2 │ ├── prop_32.smt2 │ ├── prop_33.smt2 │ ├── prop_34.smt2 │ ├── prop_35.smt2 │ ├── prop_36.smt2 │ ├── prop_37.smt2 │ ├── prop_38.smt2 │ ├── prop_39.smt2 │ ├── prop_40.smt2 │ ├── prop_41.smt2 │ ├── prop_42.smt2 │ ├── prop_43.smt2 │ ├── prop_44.smt2 │ ├── prop_45.smt2 │ ├── prop_46.smt2 │ ├── prop_47.smt2 │ ├── prop_48.smt2 │ ├── prop_49.smt2 │ └── prop_50.smt2 └── tip2015 │ ├── bin_distrib.smt2 │ ├── bin_nat_distrib.smt2 │ ├── bin_nat_plus.smt2 │ ├── bin_nat_plus_assoc.smt2 │ ├── bin_nat_plus_comm.smt2 │ ├── bin_nat_s.smt2 │ ├── bin_nat_times.smt2 │ ├── bin_nat_times_assoc.smt2 │ ├── bin_nat_times_comm.smt2 │ ├── bin_plus.smt2 │ ├── bin_plus_assoc.smt2 │ ├── bin_plus_comm.smt2 │ ├── bin_s.smt2 │ ├── bin_times.smt2 │ ├── bin_times_assoc.smt2 │ ├── bin_times_comm.smt2 │ ├── escape_Injective.smt2 │ ├── escape_NoSpecial.smt2 │ ├── fermat_last.smt2 │ ├── int_add_assoc.smt2 │ ├── int_add_comm.smt2 │ ├── int_add_ident_left.smt2 │ ├── int_add_ident_right.smt2 │ ├── int_add_inv_left.smt2 │ ├── int_add_inv_right.smt2 │ ├── int_left_distrib.smt2 │ ├── int_mul_assoc.smt2 │ ├── int_mul_comm.smt2 │ ├── int_mul_ident_left.smt2 │ ├── int_mul_ident_right.smt2 │ ├── int_right_distrib.smt2 │ ├── list_Interleave.smt2 │ ├── list_PairEvens.smt2 │ ├── list_PairOdds.smt2 │ ├── list_PairUnpair.smt2 │ ├── list_Select.smt2 │ ├── list_SelectPermutations'.smt2 │ ├── list_SelectPermutations.smt2 │ ├── list_append_inj_1.smt2 │ ├── list_append_inj_2.smt2 │ ├── list_assoc.smt2 │ ├── list_concat_map_bind.smt2 │ ├── list_count_nub.smt2 │ ├── list_deleteAll_count.smt2 │ ├── list_elem.smt2 │ ├── list_elem_map.smt2 │ ├── list_elem_nub_l.smt2 │ ├── list_elem_nub_r.smt2 │ ├── list_nat_Interleave.smt2 │ ├── list_nat_PairEvens.smt2 │ ├── list_nat_PairOdds.smt2 │ ├── list_nat_PairUnpair.smt2 │ ├── list_nat_Select.smt2 │ ├── list_nat_SelectPermutations'.smt2 │ ├── list_nat_SelectPermutations.smt2 │ ├── list_nat_append_inj_1.smt2 │ ├── list_nat_append_inj_2.smt2 │ ├── list_nat_count_nub.smt2 │ ├── list_nat_deleteAll_count.smt2 │ ├── list_nat_elem.smt2 │ ├── list_nat_elem_map.smt2 │ ├── list_nat_elem_nub_l.smt2 │ ├── list_nat_elem_nub_r.smt2 │ ├── list_nat_nub_nub.smt2 │ ├── list_nat_perm_elem.smt2 │ ├── list_nat_perm_refl.smt2 │ ├── list_nat_perm_symm.smt2 │ ├── list_nat_perm_trans.smt2 │ ├── list_nub_nub.smt2 │ ├── list_perm_elem.smt2 │ ├── list_perm_refl.smt2 │ ├── list_perm_symm.smt2 │ ├── list_perm_trans.smt2 │ ├── list_return_1.smt2 │ ├── list_return_2.smt2 │ ├── list_weird_concat_map_bind.smt2 │ ├── list_weird_is_normal.smt2 │ ├── mccarthy91_M1.smt2 │ ├── mccarthy91_M2.smt2 │ ├── mod_same.smt2 │ ├── nat_acc_alt_mul_assoc.smt2 │ ├── nat_acc_alt_mul_comm.smt2 │ ├── nat_acc_alt_mul_same.smt2 │ ├── nat_acc_plus_assoc.smt2 │ ├── nat_acc_plus_comm.smt2 │ ├── nat_acc_plus_same.smt2 │ ├── nat_alt_mul_assoc.smt2 │ ├── nat_alt_mul_comm.smt2 │ ├── nat_alt_mul_same.smt2 │ ├── nat_boring_ge_antisym.smt2 │ ├── nat_boring_ge_reflexive.smt2 │ ├── nat_boring_ge_trans.smt2 │ ├── nat_boring_gt_asymmetric.smt2 │ ├── nat_boring_gt_irreflexive.smt2 │ ├── nat_boring_gt_trans.smt2 │ ├── nat_boring_max_min_abs.smt2 │ ├── nat_boring_max_min_distrib.smt2 │ ├── nat_boring_min_assoc.smt2 │ ├── nat_boring_min_comm.smt2 │ ├── nat_boring_min_idem.smt2 │ ├── nat_le_antisym.smt2 │ ├── nat_le_ge_eq.smt2 │ ├── nat_le_ne_lt.smt2 │ ├── nat_le_reflexive.smt2 │ ├── nat_le_trans.smt2 │ ├── nat_lt_asymmetric.smt2 │ ├── nat_lt_irreflexive.smt2 │ ├── nat_lt_ne.smt2 │ ├── nat_lt_trans.smt2 │ ├── nat_max_assoc.smt2 │ ├── nat_max_comm.smt2 │ ├── nat_max_idem.smt2 │ ├── nat_min_max_abs.smt2 │ ├── nat_min_max_distrib.smt2 │ ├── nat_pow_le_factorial.smt2 │ ├── nat_pow_one.smt2 │ ├── nat_pow_pow.smt2 │ ├── nat_pow_times.smt2 │ ├── nicomachus_theorem.smt2 │ ├── polyrec_seq_index.smt2 │ ├── propositional_AndCommutative.smt2 │ ├── propositional_AndIdempotent.smt2 │ ├── propositional_AndImplication.smt2 │ ├── propositional_Okay.smt2 │ ├── propositional_Sound.smt2 │ ├── regexp_Deeps.smt2 │ ├── regexp_PlusAssociative.smt2 │ ├── regexp_PlusCommutative.smt2 │ ├── regexp_PlusIdempotent.smt2 │ ├── regexp_RecAtom.smt2 │ ├── regexp_RecEps.smt2 │ ├── regexp_RecNil.smt2 │ ├── regexp_RecPlus.smt2 │ ├── regexp_RecSeq.smt2 │ ├── regexp_RecStar.smt2 │ ├── regexp_Reverse.smt2 │ ├── regexp_SeqAssociative.smt2 │ ├── regexp_SeqDistrPlus.smt2 │ ├── regexp_Star.smt2 │ ├── relaxedprefix_correct.smt2 │ ├── relaxedprefix_is_prefix_1.smt2 │ ├── relaxedprefix_is_prefix_2.smt2 │ ├── relaxedprefix_is_prefix_3.smt2 │ ├── relaxedprefix_is_prefix_4.smt2 │ ├── rotate_mod.smt2 │ ├── rotate_self.smt2 │ ├── rotate_snoc.smt2 │ ├── rotate_snoc_self.smt2 │ ├── rotate_structural_mod.smt2 │ ├── sort_BSortCount.smt2 │ ├── sort_BSortIsSort.smt2 │ ├── sort_BSortPermutes.smt2 │ ├── sort_BSortSorts.smt2 │ ├── sort_BubSortCount.smt2 │ ├── sort_BubSortIsSort.smt2 │ ├── sort_BubSortPermutes.smt2 │ ├── sort_BubSortSorts.smt2 │ ├── sort_HSort2Count.smt2 │ ├── sort_HSort2IsSort.smt2 │ ├── sort_HSort2Permutes.smt2 │ ├── sort_HSort2Sorts.smt2 │ ├── sort_HSortCount.smt2 │ ├── sort_HSortIsSort.smt2 │ ├── sort_HSortPermutes.smt2 │ ├── sort_HSortSorts.smt2 │ ├── sort_ISortCount.smt2 │ ├── sort_ISortPermutes.smt2 │ ├── sort_ISortSorts.smt2 │ ├── sort_MSortBU2Count.smt2 │ ├── sort_MSortBU2IsSort.smt2 │ ├── sort_MSortBU2Permutes.smt2 │ ├── sort_MSortBU2Sorts.smt2 │ ├── sort_MSortBUCount.smt2 │ ├── sort_MSortBUIsSort.smt2 │ ├── sort_MSortBUPermutes.smt2 │ ├── sort_MSortBUSorts.smt2 │ ├── sort_MSortTDCount.smt2 │ ├── sort_MSortTDIsSort.smt2 │ ├── sort_MSortTDPermutes.smt2 │ ├── sort_MSortTDSorts.smt2 │ ├── sort_NMSortTDCount.smt2 │ ├── sort_NMSortTDIsSort.smt2 │ ├── sort_NMSortTDPermutes.smt2 │ ├── sort_NMSortTDSorts.smt2 │ ├── sort_NStoogeSort2Count.smt2 │ ├── sort_NStoogeSort2IsSort.smt2 │ ├── sort_NStoogeSort2Permutes.smt2 │ ├── sort_NStoogeSort2Sorts.smt2 │ ├── sort_NStoogeSortCount.smt2 │ ├── sort_NStoogeSortIsSort.smt2 │ ├── sort_NStoogeSortPermutes.smt2 │ ├── sort_NStoogeSortSorts.smt2 │ ├── sort_QSortCount.smt2 │ ├── sort_QSortIsSort.smt2 │ ├── sort_QSortPermutes.smt2 │ ├── sort_QSortSorts.smt2 │ ├── sort_SSortCount.smt2 │ ├── sort_SSortIsSort.smt2 │ ├── sort_SSortPermutes.smt2 │ ├── sort_SSortSorts.smt2 │ ├── sort_StoogeSort2Count.smt2 │ ├── sort_StoogeSort2IsSort.smt2 │ ├── sort_StoogeSort2Permutes.smt2 │ ├── sort_StoogeSort2Sorts.smt2 │ ├── sort_StoogeSortCount.smt2 │ ├── sort_StoogeSortIsSort.smt2 │ ├── sort_StoogeSortPermutes.smt2 │ ├── sort_StoogeSortSorts.smt2 │ ├── sort_TSortCount.smt2 │ ├── sort_TSortIsSort.smt2 │ ├── sort_TSortPermutes.smt2 │ ├── sort_TSortSorts.smt2 │ ├── sort_nat_BSortCount.smt2 │ ├── sort_nat_BSortIsSort.smt2 │ ├── sort_nat_BSortPermutes.smt2 │ ├── sort_nat_BSortSorts.smt2 │ ├── sort_nat_BubSortCount.smt2 │ ├── sort_nat_BubSortIsSort.smt2 │ ├── sort_nat_BubSortPermutes.smt2 │ ├── sort_nat_BubSortSorts.smt2 │ ├── sort_nat_HSort2Count.smt2 │ ├── sort_nat_HSort2IsSort.smt2 │ ├── sort_nat_HSort2Permutes.smt2 │ ├── sort_nat_HSort2Sorts.smt2 │ ├── sort_nat_HSortCount.smt2 │ ├── sort_nat_HSortIsSort.smt2 │ ├── sort_nat_HSortPermutes.smt2 │ ├── sort_nat_HSortSorts.smt2 │ ├── sort_nat_ISortCount.smt2 │ ├── sort_nat_ISortPermutes.smt2 │ ├── sort_nat_ISortSorts.smt2 │ ├── sort_nat_MSortBU2Count.smt2 │ ├── sort_nat_MSortBU2IsSort.smt2 │ ├── sort_nat_MSortBU2Permutes.smt2 │ ├── sort_nat_MSortBU2Sorts.smt2 │ ├── sort_nat_MSortBUCount.smt2 │ ├── sort_nat_MSortBUIsSort.smt2 │ ├── sort_nat_MSortBUPermutes.smt2 │ ├── sort_nat_MSortBUSorts.smt2 │ ├── sort_nat_MSortTDCount.smt2 │ ├── sort_nat_MSortTDIsSort.smt2 │ ├── sort_nat_MSortTDPermutes.smt2 │ ├── sort_nat_MSortTDSorts.smt2 │ ├── sort_nat_NMSortTDCount.smt2 │ ├── sort_nat_NMSortTDIsSort.smt2 │ ├── sort_nat_NMSortTDPermutes.smt2 │ ├── sort_nat_NMSortTDSorts.smt2 │ ├── sort_nat_NStoogeSort2Count.smt2 │ ├── sort_nat_NStoogeSort2IsSort.smt2 │ ├── sort_nat_NStoogeSort2Permutes.smt2 │ ├── sort_nat_NStoogeSort2Sorts.smt2 │ ├── sort_nat_NStoogeSortCount.smt2 │ ├── sort_nat_NStoogeSortIsSort.smt2 │ ├── sort_nat_NStoogeSortPermutes.smt2 │ ├── sort_nat_NStoogeSortSorts.smt2 │ ├── sort_nat_QSortCount.smt2 │ ├── sort_nat_QSortIsSort.smt2 │ ├── sort_nat_QSortPermutes.smt2 │ ├── sort_nat_QSortSorts.smt2 │ ├── sort_nat_SSortCount.smt2 │ ├── sort_nat_SSortIsSort.smt2 │ ├── sort_nat_SSortPermutes.smt2 │ ├── sort_nat_SSortSorts.smt2 │ ├── sort_nat_StoogeSort2Count.smt2 │ ├── sort_nat_StoogeSort2IsSort.smt2 │ ├── sort_nat_StoogeSort2Permutes.smt2 │ ├── sort_nat_StoogeSort2Sorts.smt2 │ ├── sort_nat_StoogeSortCount.smt2 │ ├── sort_nat_StoogeSortIsSort.smt2 │ ├── sort_nat_StoogeSortPermutes.smt2 │ ├── sort_nat_StoogeSortSorts.smt2 │ ├── sort_nat_TSortCount.smt2 │ ├── sort_nat_TSortIsSort.smt2 │ ├── sort_nat_TSortPermutes.smt2 │ ├── sort_nat_TSortSorts.smt2 │ ├── subst_SubstFreeNo.smt2 │ ├── subst_SubstFreeYes.smt2 │ ├── tree_Flatten1.smt2 │ ├── tree_Flatten1List.smt2 │ ├── tree_Flatten2.smt2 │ ├── tree_Flatten3.smt2 │ ├── tree_SwapAB.smt2 │ ├── weird_nat_add3_assoc1.smt2 │ ├── weird_nat_add3_assoc2.smt2 │ ├── weird_nat_add3_assoc3.smt2 │ ├── weird_nat_add3_comm12.smt2 │ ├── weird_nat_add3_comm13.smt2 │ ├── weird_nat_add3_comm23.smt2 │ ├── weird_nat_add3_rot.smt2 │ ├── weird_nat_add3_rrot.smt2 │ ├── weird_nat_add3_same.smt2 │ ├── weird_nat_add3_spec.smt2 │ ├── weird_nat_add3acc_assoc1.smt2 │ ├── weird_nat_add3acc_assoc2.smt2 │ ├── weird_nat_add3acc_assoc3.smt2 │ ├── weird_nat_add3acc_comm12.smt2 │ ├── weird_nat_add3acc_comm13.smt2 │ ├── weird_nat_add3acc_comm23.smt2 │ ├── weird_nat_add3acc_rot.smt2 │ ├── weird_nat_add3acc_rrot.smt2 │ ├── weird_nat_add3acc_spec.smt2 │ ├── weird_nat_mul2_assoc.smt2 │ ├── weird_nat_mul2_comm.smt2 │ ├── weird_nat_mul3_assoc1.smt2 │ ├── weird_nat_mul3_assoc2.smt2 │ ├── weird_nat_mul3_assoc3.smt2 │ ├── weird_nat_mul3_comm12.smt2 │ ├── weird_nat_mul3_comm13.smt2 │ ├── weird_nat_mul3_comm23.smt2 │ ├── weird_nat_mul3_rot.smt2 │ ├── weird_nat_mul3_rrot.smt2 │ ├── weird_nat_mul3_same.smt2 │ ├── weird_nat_mul3_spec.smt2 │ ├── weird_nat_mul3acc_assoc1.smt2 │ ├── weird_nat_mul3acc_assoc2.smt2 │ ├── weird_nat_mul3acc_assoc3.smt2 │ ├── weird_nat_mul3acc_comm12.smt2 │ ├── weird_nat_mul3acc_comm13.smt2 │ ├── weird_nat_mul3acc_comm23.smt2 │ ├── weird_nat_mul3acc_rot.smt2 │ ├── weird_nat_mul3acc_rrot.smt2 │ ├── weird_nat_mul3acc_spec.smt2 │ ├── weird_nat_op_assoc.smt2 │ ├── weird_nat_op_assoc2.smt2 │ ├── weird_nat_op_comm_comm.smt2 │ └── weird_nat_op_spec.smt2 ├── check-cvc4 └── original ├── false ├── .gitignore ├── CFG5.hs ├── Definitions.hs ├── Deriv.hs ├── EditDistance.hs ├── Expr.hs ├── Graph.hs ├── HotelKey_ReachAsDatatype.hs ├── Imp.hs ├── Kaleidoscope.hs ├── Makefile ├── Mergesort.hs ├── Nat.hs ├── Palin.hs ├── Parse.hs ├── Queue1.hs ├── Queue2.hs ├── Queue3.hs ├── Rec.hs ├── RegExp.hs ├── RegExpDeluxe.hs ├── Scale.hs ├── ShowBinLists.hs ├── Sudoku.hs ├── Turing.hs ├── Type.hs └── Untyped.hs ├── grammars ├── Packrat.hs ├── SimpleExpr1.hs ├── SimpleExpr2.hs ├── SimpleExpr3.hs ├── SimpleExpr4.hs └── SimpleExpr5.hs ├── isaplanner ├── Definitions.hs └── Properties.hs ├── koen ├── List.hs ├── McCarthy91.hs ├── Propositional.hs ├── Sort.hs ├── SortUtils.hs ├── Subst.hs └── Tree.hs ├── prod ├── Definitions.hs ├── Lemmas.hs └── Properties.hs └── tip2015 ├── BinLists.hs ├── Escape.hs ├── Fermat.hs ├── Integers.hs ├── ListMonad.hs ├── Mod.hs ├── ModRotate.hs ├── Nat.hs ├── Nicomachus.hs ├── RegExp.hs ├── RelaxedPrefix.hs ├── Rotate.hs ├── SelfRotate.hs ├── Seq.hs ├── SnocRotate.hs └── WeirdNat.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/CHANGELOG -------------------------------------------------------------------------------- /Commentify.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/Commentify.hs -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/Makefile -------------------------------------------------------------------------------- /OMakefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/OMakefile -------------------------------------------------------------------------------- /OMakeroot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/OMakeroot -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/README.md -------------------------------------------------------------------------------- /benchmarks/false/cfg5_unambig.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/cfg5_unambig.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_bt3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_bt3.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_bt4.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_bt4.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_bt5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_bt5.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_btp5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_btp5.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_d5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_d5.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_d7.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_d7.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_p11.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_p11.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_p21.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_p21.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_p31.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_p31.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_p5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_p5.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_p7.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_p7.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_p9.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_p9.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_t3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_t3.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_t5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_t5.smt2 -------------------------------------------------------------------------------- /benchmarks/false/graph_tp5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/graph_tp5.smt2 -------------------------------------------------------------------------------- /benchmarks/false/hotel_key_safe0.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/hotel_key_safe0.smt2 -------------------------------------------------------------------------------- /benchmarks/false/hotel_key_safe1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/hotel_key_safe1.smt2 -------------------------------------------------------------------------------- /benchmarks/false/hotel_key_safe2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/hotel_key_safe2.smt2 -------------------------------------------------------------------------------- /benchmarks/false/hotel_key_safe3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/hotel_key_safe3.smt2 -------------------------------------------------------------------------------- /benchmarks/false/imperative_Apa.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/imperative_Apa.smt2 -------------------------------------------------------------------------------- /benchmarks/false/mergesort_merge_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/mergesort_merge_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/false/productive_use_of_failure_drop_idem.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/productive_use_of_failure_drop_idem.smt2 -------------------------------------------------------------------------------- /benchmarks/false/productive_use_of_failure_drop_inj1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/productive_use_of_failure_drop_inj1.smt2 -------------------------------------------------------------------------------- /benchmarks/false/productive_use_of_failure_drop_inj2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/productive_use_of_failure_drop_inj2.smt2 -------------------------------------------------------------------------------- /benchmarks/false/productive_use_of_failure_drop_invol.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/productive_use_of_failure_drop_invol.smt2 -------------------------------------------------------------------------------- /benchmarks/false/productive_use_of_failure_len_bs.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/productive_use_of_failure_len_bs.smt2 -------------------------------------------------------------------------------- /benchmarks/false/productive_use_of_failure_rot_bogus.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/productive_use_of_failure_rot_bogus.smt2 -------------------------------------------------------------------------------- /benchmarks/false/productive_use_of_failure_rot_inj0'.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/productive_use_of_failure_rot_inj0'.smt2 -------------------------------------------------------------------------------- /benchmarks/false/productive_use_of_failure_rot_inj0.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/productive_use_of_failure_rot_inj0.smt2 -------------------------------------------------------------------------------- /benchmarks/false/productive_use_of_failure_rot_uhhhw1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/productive_use_of_failure_rot_uhhhw1.smt2 -------------------------------------------------------------------------------- /benchmarks/false/productive_use_of_failure_rot_uhhhw2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/productive_use_of_failure_rot_uhhhw2.smt2 -------------------------------------------------------------------------------- /benchmarks/false/productive_use_of_failure_union_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/productive_use_of_failure_union_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/false/queue1_QueueL.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/queue1_QueueL.smt2 -------------------------------------------------------------------------------- /benchmarks/false/queue1_QueueR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/queue1_QueueR.smt2 -------------------------------------------------------------------------------- /benchmarks/false/queue2_QueueL.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/queue2_QueueL.smt2 -------------------------------------------------------------------------------- /benchmarks/false/queue2_QueueR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/queue2_QueueR.smt2 -------------------------------------------------------------------------------- /benchmarks/false/queue3_QueueL.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/queue3_QueueL.smt2 -------------------------------------------------------------------------------- /benchmarks/false/queue3_QueueR.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/queue3_QueueR.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_bad_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_bad_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_deluxe_Conj'.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_deluxe_Conj'.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_deluxe_Conj.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_deluxe_Conj.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_deluxe_FromToConj.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_deluxe_FromToConj.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_deluxe_FromToConj_difficult.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_deluxe_FromToConj_difficult.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_deluxe_bad_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_deluxe_bad_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_deluxe_iter'.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_deluxe_iter'.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_deluxe_iter.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_deluxe_iter.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_deluxe_koen.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_deluxe_koen.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_deluxe_switcheroo.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_deluxe_switcheroo.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_find1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_find1.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_find2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_find2.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_find3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_find3.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_find4.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_find4.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_find5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_find5.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_find6.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_find6.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_find7.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_find7.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_kfind1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_kfind1.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_kfind2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_kfind2.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_kfind3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_kfind3.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_kfind4.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_kfind4.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_kfind5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_kfind5.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_kfind6.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_kfind6.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_kfind7.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_kfind7.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_koen.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_koen.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_koen_easy.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_koen_easy.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_same.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_same.smt2 -------------------------------------------------------------------------------- /benchmarks/false/regexp_switcheroo.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/regexp_switcheroo.smt2 -------------------------------------------------------------------------------- /benchmarks/false/show_bin_lists_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/false/show_bin_lists_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/grammars/packrat_unambigPackrat.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/grammars/packrat_unambigPackrat.smt2 -------------------------------------------------------------------------------- /benchmarks/grammars/simp_expr_unambig1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/grammars/simp_expr_unambig1.smt2 -------------------------------------------------------------------------------- /benchmarks/grammars/simp_expr_unambig2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/grammars/simp_expr_unambig2.smt2 -------------------------------------------------------------------------------- /benchmarks/grammars/simp_expr_unambig3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/grammars/simp_expr_unambig3.smt2 -------------------------------------------------------------------------------- /benchmarks/grammars/simp_expr_unambig4.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/grammars/simp_expr_unambig4.smt2 -------------------------------------------------------------------------------- /benchmarks/grammars/simp_expr_unambig5.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/grammars/simp_expr_unambig5.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_01.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_01.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_02.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_02.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_03.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_03.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_04.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_04.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_05.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_05.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_06.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_06.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_07.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_07.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_08.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_08.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_09.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_09.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_10.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_10.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_11.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_11.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_12.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_12.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_13.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_13.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_14.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_14.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_15.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_15.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_16.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_16.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_17.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_17.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_18.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_18.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_19.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_19.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_20.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_20.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_21.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_21.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_22.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_22.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_23.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_23.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_24.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_24.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_25.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_25.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_26.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_26.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_27.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_27.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_28.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_28.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_29.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_29.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_30.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_30.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_31.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_31.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_32.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_33.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_33.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_34.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_34.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_35.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_35.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_36.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_36.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_37.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_37.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_38.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_38.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_39.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_39.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_40.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_40.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_41.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_41.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_42.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_42.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_43.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_43.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_44.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_44.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_45.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_45.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_46.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_46.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_47.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_47.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_48.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_48.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_49.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_49.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_50.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_50.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_51.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_51.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_52.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_52.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_53.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_53.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_54.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_54.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_55.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_55.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_56.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_56.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_57.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_57.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_58.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_58.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_59.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_59.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_60.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_60.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_61.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_61.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_62.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_62.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_63.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_63.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_64.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_64.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_65.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_65.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_66.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_66.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_67.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_67.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_68.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_68.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_69.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_69.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_70.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_70.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_71.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_71.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_72.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_72.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_73.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_73.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_74.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_74.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_75.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_75.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_76.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_76.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_77.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_77.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_78.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_78.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_79.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_79.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_80.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_80.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_81.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_81.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_82.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_82.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_83.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_83.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_84.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_84.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_85.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_85.smt2 -------------------------------------------------------------------------------- /benchmarks/isaplanner/prop_86.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/isaplanner/prop_86.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_01.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_01.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_02.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_02.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_03.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_03.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_04.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_04.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_05.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_05.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_06.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_06.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_07.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_07.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_08.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_08.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_09.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_09.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_10.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_10.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_11.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_11.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_12.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_12.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_13.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_13.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_14.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_14.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_15.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_15.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_16.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_16.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_17.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_17.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_18.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_18.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_19.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_19.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_20.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_20.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_21.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_21.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_22.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_22.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_23.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_23.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/lemma_24.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/lemma_24.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_01.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_01.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_02.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_02.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_03.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_03.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_04.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_04.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_05.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_05.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_06.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_06.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_07.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_07.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_08.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_08.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_09.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_09.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_10.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_10.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_11.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_11.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_12.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_12.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_13.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_13.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_14.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_14.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_15.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_15.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_16.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_16.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_17.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_17.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_18.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_18.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_19.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_19.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_20.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_20.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_21.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_21.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_22.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_22.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_23.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_23.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_24.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_24.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_25.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_25.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_26.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_26.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_27.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_27.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_28.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_28.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_29.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_29.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_30.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_30.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_31.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_31.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_32.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_32.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_33.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_33.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_34.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_34.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_35.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_35.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_36.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_36.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_37.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_37.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_38.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_38.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_39.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_39.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_40.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_40.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_41.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_41.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_42.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_42.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_43.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_43.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_44.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_44.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_45.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_45.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_46.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_46.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_47.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_47.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_48.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_48.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_49.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_49.smt2 -------------------------------------------------------------------------------- /benchmarks/prod/prop_50.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/prod/prop_50.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_distrib.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_distrib.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_nat_distrib.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_nat_distrib.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_nat_plus.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_nat_plus.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_nat_plus_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_nat_plus_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_nat_plus_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_nat_plus_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_nat_s.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_nat_s.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_nat_times.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_nat_times.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_nat_times_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_nat_times_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_nat_times_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_nat_times_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_plus.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_plus.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_plus_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_plus_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_plus_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_plus_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_s.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_s.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_times.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_times.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_times_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_times_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/bin_times_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/bin_times_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/escape_Injective.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/escape_Injective.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/escape_NoSpecial.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/escape_NoSpecial.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/fermat_last.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/fermat_last.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/int_add_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/int_add_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/int_add_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/int_add_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/int_add_ident_left.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/int_add_ident_left.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/int_add_ident_right.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/int_add_ident_right.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/int_add_inv_left.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/int_add_inv_left.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/int_add_inv_right.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/int_add_inv_right.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/int_left_distrib.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/int_left_distrib.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/int_mul_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/int_mul_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/int_mul_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/int_mul_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/int_mul_ident_left.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/int_mul_ident_left.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/int_mul_ident_right.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/int_mul_ident_right.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/int_right_distrib.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/int_right_distrib.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_Interleave.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_Interleave.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_PairEvens.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_PairEvens.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_PairOdds.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_PairOdds.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_PairUnpair.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_PairUnpair.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_Select.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_Select.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_SelectPermutations'.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_SelectPermutations'.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_SelectPermutations.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_SelectPermutations.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_append_inj_1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_append_inj_1.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_append_inj_2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_append_inj_2.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_concat_map_bind.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_concat_map_bind.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_count_nub.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_count_nub.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_deleteAll_count.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_deleteAll_count.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_elem.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_elem.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_elem_map.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_elem_map.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_elem_nub_l.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_elem_nub_l.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_elem_nub_r.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_elem_nub_r.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_Interleave.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_Interleave.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_PairEvens.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_PairEvens.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_PairOdds.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_PairOdds.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_PairUnpair.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_PairUnpair.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_Select.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_Select.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_SelectPermutations'.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_SelectPermutations'.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_SelectPermutations.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_SelectPermutations.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_append_inj_1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_append_inj_1.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_append_inj_2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_append_inj_2.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_count_nub.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_count_nub.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_deleteAll_count.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_deleteAll_count.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_elem.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_elem.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_elem_map.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_elem_map.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_elem_nub_l.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_elem_nub_l.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_elem_nub_r.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_elem_nub_r.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_nub_nub.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_nub_nub.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_perm_elem.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_perm_elem.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_perm_refl.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_perm_refl.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_perm_symm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_perm_symm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nat_perm_trans.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nat_perm_trans.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_nub_nub.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_nub_nub.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_perm_elem.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_perm_elem.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_perm_refl.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_perm_refl.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_perm_symm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_perm_symm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_perm_trans.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_perm_trans.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_return_1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_return_1.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_return_2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_return_2.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_weird_concat_map_bind.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_weird_concat_map_bind.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/list_weird_is_normal.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/list_weird_is_normal.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/mccarthy91_M1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/mccarthy91_M1.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/mccarthy91_M2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/mccarthy91_M2.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/mod_same.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/mod_same.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_acc_alt_mul_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_acc_alt_mul_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_acc_alt_mul_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_acc_alt_mul_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_acc_alt_mul_same.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_acc_alt_mul_same.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_acc_plus_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_acc_plus_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_acc_plus_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_acc_plus_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_acc_plus_same.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_acc_plus_same.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_alt_mul_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_alt_mul_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_alt_mul_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_alt_mul_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_alt_mul_same.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_alt_mul_same.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_boring_ge_antisym.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_boring_ge_antisym.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_boring_ge_reflexive.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_boring_ge_reflexive.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_boring_ge_trans.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_boring_ge_trans.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_boring_gt_asymmetric.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_boring_gt_asymmetric.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_boring_gt_irreflexive.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_boring_gt_irreflexive.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_boring_gt_trans.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_boring_gt_trans.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_boring_max_min_abs.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_boring_max_min_abs.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_boring_max_min_distrib.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_boring_max_min_distrib.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_boring_min_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_boring_min_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_boring_min_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_boring_min_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_boring_min_idem.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_boring_min_idem.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_le_antisym.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_le_antisym.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_le_ge_eq.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_le_ge_eq.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_le_ne_lt.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_le_ne_lt.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_le_reflexive.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_le_reflexive.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_le_trans.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_le_trans.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_lt_asymmetric.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_lt_asymmetric.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_lt_irreflexive.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_lt_irreflexive.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_lt_ne.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_lt_ne.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_lt_trans.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_lt_trans.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_max_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_max_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_max_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_max_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_max_idem.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_max_idem.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_min_max_abs.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_min_max_abs.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_min_max_distrib.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_min_max_distrib.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_pow_le_factorial.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_pow_le_factorial.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_pow_one.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_pow_one.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_pow_pow.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_pow_pow.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nat_pow_times.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nat_pow_times.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/nicomachus_theorem.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/nicomachus_theorem.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/polyrec_seq_index.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/polyrec_seq_index.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/propositional_AndCommutative.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/propositional_AndCommutative.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/propositional_AndIdempotent.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/propositional_AndIdempotent.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/propositional_AndImplication.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/propositional_AndImplication.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/propositional_Okay.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/propositional_Okay.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/propositional_Sound.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/propositional_Sound.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_Deeps.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_Deeps.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_PlusAssociative.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_PlusAssociative.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_PlusCommutative.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_PlusCommutative.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_PlusIdempotent.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_PlusIdempotent.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_RecAtom.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_RecAtom.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_RecEps.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_RecEps.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_RecNil.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_RecNil.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_RecPlus.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_RecPlus.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_RecSeq.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_RecSeq.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_RecStar.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_RecStar.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_Reverse.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_Reverse.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_SeqAssociative.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_SeqAssociative.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_SeqDistrPlus.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_SeqDistrPlus.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/regexp_Star.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/regexp_Star.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/relaxedprefix_correct.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/relaxedprefix_correct.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/relaxedprefix_is_prefix_1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/relaxedprefix_is_prefix_1.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/relaxedprefix_is_prefix_2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/relaxedprefix_is_prefix_2.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/relaxedprefix_is_prefix_3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/relaxedprefix_is_prefix_3.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/relaxedprefix_is_prefix_4.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/relaxedprefix_is_prefix_4.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/rotate_mod.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/rotate_mod.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/rotate_self.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/rotate_self.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/rotate_snoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/rotate_snoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/rotate_snoc_self.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/rotate_snoc_self.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/rotate_structural_mod.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/rotate_structural_mod.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_BSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_BSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_BSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_BSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_BSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_BSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_BSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_BSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_BubSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_BubSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_BubSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_BubSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_BubSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_BubSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_BubSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_BubSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_HSort2Count.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_HSort2Count.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_HSort2IsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_HSort2IsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_HSort2Permutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_HSort2Permutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_HSort2Sorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_HSort2Sorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_HSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_HSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_HSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_HSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_HSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_HSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_HSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_HSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_ISortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_ISortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_ISortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_ISortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_ISortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_ISortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_MSortBU2Count.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_MSortBU2Count.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_MSortBU2IsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_MSortBU2IsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_MSortBU2Permutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_MSortBU2Permutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_MSortBU2Sorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_MSortBU2Sorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_MSortBUCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_MSortBUCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_MSortBUIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_MSortBUIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_MSortBUPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_MSortBUPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_MSortBUSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_MSortBUSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_MSortTDCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_MSortTDCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_MSortTDIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_MSortTDIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_MSortTDPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_MSortTDPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_MSortTDSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_MSortTDSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_NMSortTDCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_NMSortTDCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_NMSortTDIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_NMSortTDIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_NMSortTDPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_NMSortTDPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_NMSortTDSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_NMSortTDSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_NStoogeSort2Count.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_NStoogeSort2Count.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_NStoogeSort2IsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_NStoogeSort2IsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_NStoogeSort2Permutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_NStoogeSort2Permutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_NStoogeSort2Sorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_NStoogeSort2Sorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_NStoogeSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_NStoogeSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_NStoogeSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_NStoogeSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_NStoogeSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_NStoogeSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_NStoogeSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_NStoogeSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_QSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_QSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_QSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_QSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_QSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_QSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_QSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_QSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_SSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_SSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_SSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_SSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_SSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_SSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_SSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_SSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_StoogeSort2Count.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_StoogeSort2Count.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_StoogeSort2IsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_StoogeSort2IsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_StoogeSort2Permutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_StoogeSort2Permutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_StoogeSort2Sorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_StoogeSort2Sorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_StoogeSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_StoogeSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_StoogeSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_StoogeSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_StoogeSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_StoogeSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_StoogeSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_StoogeSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_TSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_TSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_TSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_TSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_TSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_TSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_TSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_TSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_BSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_BSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_BSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_BSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_BSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_BSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_BSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_BSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_BubSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_BubSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_BubSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_BubSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_BubSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_BubSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_BubSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_BubSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_HSort2Count.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_HSort2Count.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_HSort2IsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_HSort2IsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_HSort2Permutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_HSort2Permutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_HSort2Sorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_HSort2Sorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_HSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_HSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_HSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_HSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_HSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_HSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_HSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_HSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_ISortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_ISortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_ISortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_ISortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_ISortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_ISortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_MSortBU2Count.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_MSortBU2Count.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_MSortBU2IsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_MSortBU2IsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_MSortBU2Permutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_MSortBU2Permutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_MSortBU2Sorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_MSortBU2Sorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_MSortBUCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_MSortBUCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_MSortBUIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_MSortBUIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_MSortBUPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_MSortBUPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_MSortBUSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_MSortBUSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_MSortTDCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_MSortTDCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_MSortTDIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_MSortTDIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_MSortTDPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_MSortTDPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_MSortTDSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_MSortTDSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_NMSortTDCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_NMSortTDCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_NMSortTDIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_NMSortTDIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_NMSortTDPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_NMSortTDPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_NMSortTDSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_NMSortTDSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_NStoogeSort2Count.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_NStoogeSort2Count.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_NStoogeSort2IsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_NStoogeSort2IsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_NStoogeSort2Permutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_NStoogeSort2Permutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_NStoogeSort2Sorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_NStoogeSort2Sorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_NStoogeSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_NStoogeSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_NStoogeSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_NStoogeSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_NStoogeSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_NStoogeSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_NStoogeSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_NStoogeSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_QSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_QSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_QSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_QSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_QSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_QSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_QSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_QSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_SSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_SSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_SSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_SSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_SSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_SSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_SSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_SSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_StoogeSort2Count.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_StoogeSort2Count.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_StoogeSort2IsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_StoogeSort2IsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_StoogeSort2Permutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_StoogeSort2Permutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_StoogeSort2Sorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_StoogeSort2Sorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_StoogeSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_StoogeSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_StoogeSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_StoogeSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_StoogeSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_StoogeSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_StoogeSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_StoogeSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_TSortCount.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_TSortCount.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_TSortIsSort.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_TSortIsSort.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_TSortPermutes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_TSortPermutes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/sort_nat_TSortSorts.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/sort_nat_TSortSorts.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/subst_SubstFreeNo.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/subst_SubstFreeNo.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/subst_SubstFreeYes.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/subst_SubstFreeYes.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/tree_Flatten1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/tree_Flatten1.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/tree_Flatten1List.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/tree_Flatten1List.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/tree_Flatten2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/tree_Flatten2.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/tree_Flatten3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/tree_Flatten3.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/tree_SwapAB.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/tree_SwapAB.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3_assoc1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3_assoc1.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3_assoc2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3_assoc2.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3_assoc3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3_assoc3.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3_comm12.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3_comm12.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3_comm13.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3_comm13.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3_comm23.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3_comm23.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3_rot.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3_rot.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3_rrot.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3_rrot.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3_same.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3_same.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3_spec.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3_spec.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3acc_assoc1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3acc_assoc1.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3acc_assoc2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3acc_assoc2.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3acc_assoc3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3acc_assoc3.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3acc_comm12.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3acc_comm12.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3acc_comm13.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3acc_comm13.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3acc_comm23.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3acc_comm23.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3acc_rot.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3acc_rot.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3acc_rrot.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3acc_rrot.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_add3acc_spec.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_add3acc_spec.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul2_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul2_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul2_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul2_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3_assoc1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3_assoc1.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3_assoc2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3_assoc2.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3_assoc3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3_assoc3.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3_comm12.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3_comm12.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3_comm13.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3_comm13.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3_comm23.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3_comm23.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3_rot.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3_rot.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3_rrot.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3_rrot.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3_same.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3_same.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3_spec.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3_spec.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3acc_assoc1.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3acc_assoc1.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3acc_assoc2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3acc_assoc2.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3acc_assoc3.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3acc_assoc3.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3acc_comm12.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3acc_comm12.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3acc_comm13.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3acc_comm13.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3acc_comm23.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3acc_comm23.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3acc_rot.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3acc_rot.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3acc_rrot.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3acc_rrot.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_mul3acc_spec.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_mul3acc_spec.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_op_assoc.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_op_assoc.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_op_assoc2.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_op_assoc2.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_op_comm_comm.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_op_comm_comm.smt2 -------------------------------------------------------------------------------- /benchmarks/tip2015/weird_nat_op_spec.smt2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/benchmarks/tip2015/weird_nat_op_spec.smt2 -------------------------------------------------------------------------------- /check-cvc4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/check-cvc4 -------------------------------------------------------------------------------- /original/false/.gitignore: -------------------------------------------------------------------------------- 1 | tc* 2 | -------------------------------------------------------------------------------- /original/false/CFG5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/CFG5.hs -------------------------------------------------------------------------------- /original/false/Definitions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Definitions.hs -------------------------------------------------------------------------------- /original/false/Deriv.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Deriv.hs -------------------------------------------------------------------------------- /original/false/EditDistance.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/EditDistance.hs -------------------------------------------------------------------------------- /original/false/Expr.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Expr.hs -------------------------------------------------------------------------------- /original/false/Graph.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Graph.hs -------------------------------------------------------------------------------- /original/false/HotelKey_ReachAsDatatype.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/HotelKey_ReachAsDatatype.hs -------------------------------------------------------------------------------- /original/false/Imp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Imp.hs -------------------------------------------------------------------------------- /original/false/Kaleidoscope.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Kaleidoscope.hs -------------------------------------------------------------------------------- /original/false/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Makefile -------------------------------------------------------------------------------- /original/false/Mergesort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Mergesort.hs -------------------------------------------------------------------------------- /original/false/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Nat.hs -------------------------------------------------------------------------------- /original/false/Palin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Palin.hs -------------------------------------------------------------------------------- /original/false/Parse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Parse.hs -------------------------------------------------------------------------------- /original/false/Queue1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Queue1.hs -------------------------------------------------------------------------------- /original/false/Queue2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Queue2.hs -------------------------------------------------------------------------------- /original/false/Queue3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Queue3.hs -------------------------------------------------------------------------------- /original/false/Rec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Rec.hs -------------------------------------------------------------------------------- /original/false/RegExp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/RegExp.hs -------------------------------------------------------------------------------- /original/false/RegExpDeluxe.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/RegExpDeluxe.hs -------------------------------------------------------------------------------- /original/false/Scale.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Scale.hs -------------------------------------------------------------------------------- /original/false/ShowBinLists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/ShowBinLists.hs -------------------------------------------------------------------------------- /original/false/Sudoku.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Sudoku.hs -------------------------------------------------------------------------------- /original/false/Turing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Turing.hs -------------------------------------------------------------------------------- /original/false/Type.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Type.hs -------------------------------------------------------------------------------- /original/false/Untyped.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/false/Untyped.hs -------------------------------------------------------------------------------- /original/grammars/Packrat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/grammars/Packrat.hs -------------------------------------------------------------------------------- /original/grammars/SimpleExpr1.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/grammars/SimpleExpr1.hs -------------------------------------------------------------------------------- /original/grammars/SimpleExpr2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/grammars/SimpleExpr2.hs -------------------------------------------------------------------------------- /original/grammars/SimpleExpr3.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/grammars/SimpleExpr3.hs -------------------------------------------------------------------------------- /original/grammars/SimpleExpr4.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/grammars/SimpleExpr4.hs -------------------------------------------------------------------------------- /original/grammars/SimpleExpr5.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/grammars/SimpleExpr5.hs -------------------------------------------------------------------------------- /original/isaplanner/Definitions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/isaplanner/Definitions.hs -------------------------------------------------------------------------------- /original/isaplanner/Properties.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/isaplanner/Properties.hs -------------------------------------------------------------------------------- /original/koen/List.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/koen/List.hs -------------------------------------------------------------------------------- /original/koen/McCarthy91.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/koen/McCarthy91.hs -------------------------------------------------------------------------------- /original/koen/Propositional.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/koen/Propositional.hs -------------------------------------------------------------------------------- /original/koen/Sort.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/koen/Sort.hs -------------------------------------------------------------------------------- /original/koen/SortUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/koen/SortUtils.hs -------------------------------------------------------------------------------- /original/koen/Subst.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/koen/Subst.hs -------------------------------------------------------------------------------- /original/koen/Tree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/koen/Tree.hs -------------------------------------------------------------------------------- /original/prod/Definitions.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/prod/Definitions.hs -------------------------------------------------------------------------------- /original/prod/Lemmas.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/prod/Lemmas.hs -------------------------------------------------------------------------------- /original/prod/Properties.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/prod/Properties.hs -------------------------------------------------------------------------------- /original/tip2015/BinLists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/BinLists.hs -------------------------------------------------------------------------------- /original/tip2015/Escape.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/Escape.hs -------------------------------------------------------------------------------- /original/tip2015/Fermat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/Fermat.hs -------------------------------------------------------------------------------- /original/tip2015/Integers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/Integers.hs -------------------------------------------------------------------------------- /original/tip2015/ListMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/ListMonad.hs -------------------------------------------------------------------------------- /original/tip2015/Mod.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/Mod.hs -------------------------------------------------------------------------------- /original/tip2015/ModRotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/ModRotate.hs -------------------------------------------------------------------------------- /original/tip2015/Nat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/Nat.hs -------------------------------------------------------------------------------- /original/tip2015/Nicomachus.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/Nicomachus.hs -------------------------------------------------------------------------------- /original/tip2015/RegExp.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/RegExp.hs -------------------------------------------------------------------------------- /original/tip2015/RelaxedPrefix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/RelaxedPrefix.hs -------------------------------------------------------------------------------- /original/tip2015/Rotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/Rotate.hs -------------------------------------------------------------------------------- /original/tip2015/SelfRotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/SelfRotate.hs -------------------------------------------------------------------------------- /original/tip2015/Seq.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/Seq.hs -------------------------------------------------------------------------------- /original/tip2015/SnocRotate.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/SnocRotate.hs -------------------------------------------------------------------------------- /original/tip2015/WeirdNat.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/tip-org/benchmarks/HEAD/original/tip2015/WeirdNat.hs --------------------------------------------------------------------------------