Simon Cruanes f6efc8f575 more unsat tests		2022-08-25 20:50:50 -04:00
..
bug-01.cnf
clocksynchro_2clocks.worst_case_skew.base.smt2	add regression tests for LRA	2020-10-20 15:43:02 -04:00
clocksynchro_9clocks.main_invar.base.smt2
cong_fff.smt2
cong_fff_conditional.smt2
cong_fff_conditional4.smt2
cong_fff_conditional6.smt2
data_acycl1.smt2
data_acycl_if.smt2
data_card1.smt2
diamond2_cong_if.smt2
eq_diamond2.smt2
eq_diamond3.smt2
eq_diamond4.smt2
eq_diamond10.smt2
eq_diamond15.smt2
eq_diamond17.smt2	more unsat tests	2022-08-25 20:50:50 -04:00
eq_diamond20.smt2
eq_diamond30.smt2
eq_diamond50.smt2
eq_diamond70.smt2
eq_diamond100.smt2
gensys_brn105.smt2	more unsat tests	2022-08-25 20:50:50 -04:00
gensys_icl015.smt2
gensys_icl1272.smt2
hole6.cnf
hole7.cnf
if_ff_fg.smt2
iso_icl527.smt2
iso_icl_nogen_sk002.smt2
named_term.smt2	test: add a lot more tests (for SAT)	2021-08-02 16:05:35 -04:00
NEQ004_size4.smt2
NEQ032_size5.smt2
NEQ041_size7.smt2
nested_if.smt2
pb_real_30_0600_10_18.smt2	test: add more regression files	2021-02-22 14:30:43 -05:00
pb_real_40_80_60_01.smt2	test: add more regression files	2021-02-22 14:30:43 -05:00
pb_real_50_150_30_47.smt2
PEQ011_size7.smt2
PEQ012_size3.smt2
QF_UF_brp2.1.prop3_ab_reg_max.smt2
QF_UF_cambridge.7.prop2_ab_reg_max.smt2
reg_dt.smt2	add regression test	2021-12-17 13:21:30 -05:00
reg_lra_2_ite.smt2	test: add regression test for bad LRA preprocessing	2021-03-18 14:14:24 -04:00
reg_lra_3.smt2	test: regressions test for LRA	2022-02-08 13:45:43 -05:00
reg_lra_4.smt2	test: regressions test for LRA	2022-02-08 13:45:43 -05:00
reg_lra_fm1.smt2	more regression tests	2020-12-22 15:02:12 -05:00
reg_uflra.smt2	test: add more regression files	2021-02-22 14:30:43 -05:00
sc-6.base.cvc.smt2	test: add regression test for xor	2020-12-22 14:59:06 -05:00
SEQ017_size5.smt2
SEQ035_size4.smt2
simple_example_1-node2318.smt2	add regression tests for LRA	2020-10-20 15:43:02 -04:00
smtlib.624916.smt2	more regression tests	2020-12-22 15:02:12 -05:00
smtlib.626179.smt2
ssa5.cnf
ssa6.cnf
ssa7.cnf
ssa8.cnf
t_cstor1.smt2.tmp
t_subform.smt2
test-000.cnf
test-001.cnf
test-003.smt2
test-004.smt2
test-005.smt2
test-008.smt2
test-009.smt2
test-010.smt2
test-011.smt2
test-012.smt2
test-013.smt2
test-016.smt2
test-017.smt2
test-018.smt2
test_ite_1.smt2
typed_v1l90014.cvc.smt2	test: add some regression tests	2020-02-21 16:46:57 -06:00
typed_v2l20025.cvc.smt2	more unsat tests	2022-08-25 20:50:50 -04:00
typed_v3l20047.cvc.smt2	test: add more regression tests for datatypes	2020-01-17 19:12:50 -06:00
typed_v3l30091.cvc.smt2
typed_v3l40070.cvc.smt2
typed_v3l60024.cvc.smt2	more unsat tests	2022-08-25 20:50:50 -04:00
typed_v3l90060.cvc.smt2	test: add more regression tests for datatypes	2020-01-17 19:12:50 -06:00
typed_v5l50010.cvc.smt2	more unsat tests	2022-08-25 20:50:50 -04:00
typed_v5l90068.cvc.smt2
typed_v10l40007.cvc.smt2	test: add more regression tests for datatypes	2020-01-17 19:12:50 -06:00
uart-7.base.cvc.smt2
uart-10.base.cvc.smt2
v1l50092.cvc.smt2
v1l90033.cvc.smt2
v3l60049.cvc.smt2
v3l90003.cvc.smt2