| .. |
|
bug-01.cnf
|
[bugfix] Eliminate duplicates in input clauses
|
2017-02-15 13:04:54 +01:00 |
|
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
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
cong_fff.smt2
|
add more tests
|
2019-12-13 17:55:10 -06:00 |
|
cong_fff_conditional.smt2
|
add more tests
|
2019-12-13 17:55:10 -06:00 |
|
cong_fff_conditional4.smt2
|
add more tests
|
2019-12-13 17:55:10 -06:00 |
|
cong_fff_conditional6.smt2
|
add more tests
|
2019-12-13 17:55:10 -06:00 |
|
data_acycl1.smt2
|
test: add some basic datatype tests
|
2019-12-28 05:17:47 -06:00 |
|
data_acycl_if.smt2
|
test: add some basic datatype tests
|
2019-12-28 05:17:47 -06:00 |
|
data_card1.smt2
|
test: add some basic datatype tests
|
2019-12-28 05:17:47 -06:00 |
|
diamond2_cong_if.smt2
|
test: add some regression tests
|
2020-01-14 20:23:14 -06:00 |
|
eq_diamond2.smt2
|
test: update some tests
|
2019-02-10 17:00:38 -06:00 |
|
eq_diamond3.smt2
|
test: update some tests
|
2019-02-10 17:00:38 -06:00 |
|
eq_diamond4.smt2
|
test: update some tests
|
2019-02-10 17:00:38 -06:00 |
|
eq_diamond10.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
eq_diamond15.smt2
|
test: update some tests
|
2019-02-10 17:00:38 -06:00 |
|
eq_diamond17.smt2
|
more unsat tests
|
2022-08-25 20:50:50 -04:00 |
|
eq_diamond20.smt2
|
test: update some tests
|
2019-02-10 17:00:38 -06:00 |
|
eq_diamond30.smt2
|
test: update some tests
|
2019-02-10 17:00:38 -06:00 |
|
eq_diamond50.smt2
|
test: update some tests
|
2019-02-10 17:00:38 -06:00 |
|
eq_diamond70.smt2
|
test: update some tests
|
2019-02-10 17:00:38 -06:00 |
|
eq_diamond100.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
gensys_brn105.smt2
|
more unsat tests
|
2022-08-25 20:50:50 -04:00 |
|
gensys_icl015.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
gensys_icl1272.smt2
|
add more tests
|
2019-12-13 17:55:10 -06:00 |
|
hole6.cnf
|
Added some tests.
|
2014-11-04 15:54:33 +01:00 |
|
hole7.cnf
|
Added some tests.
|
2014-11-04 15:54:33 +01:00 |
|
if_ff_fg.smt2
|
test: add some regression tests
|
2020-01-14 20:23:14 -06:00 |
|
iso_icl527.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
iso_icl_nogen_sk002.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
named_term.smt2
|
test: add a lot more tests (for SAT)
|
2021-08-02 16:05:35 -04:00 |
|
NEQ004_size4.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
NEQ032_size5.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
NEQ041_size7.smt2
|
test: add more tests
|
2019-03-22 18:49:25 -05:00 |
|
nested_if.smt2
|
test: add some regression tests
|
2020-01-14 20:23:14 -06:00 |
|
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
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
PEQ011_size7.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
PEQ012_size3.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
pursuit-safety-1-reduced.smt2
|
test: add regression test for LRA bug
|
2023-06-26 15:40:38 -04:00 |
|
pursuit-safety-1.smt2
|
add non reduced test too
|
2023-06-26 15:40:38 -04:00 |
|
QF_UF_brp2.1.prop3_ab_reg_max.smt2
|
test: add more tests
|
2019-03-22 18:49:25 -05:00 |
|
QF_UF_cambridge.7.prop2_ab_reg_max.smt2
|
test: add more tests
|
2019-03-22 18:49:25 -05:00 |
|
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
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
SEQ035_size4.smt2
|
test: update some tests
|
2019-02-10 17:00:38 -06:00 |
|
simple_example_1-node2318.smt2
|
add regression tests for LRA
|
2020-10-20 15:43:02 -04:00 |
|
smtlib.624898.smt2
|
more tests
|
2023-06-26 15:40:38 -04:00 |
|
smtlib.624916.smt2
|
more regression tests
|
2020-12-22 15:02:12 -05:00 |
|
smtlib.626179.smt2
|
test: add some regression tests
|
2020-01-14 20:23:14 -06:00 |
|
ssa5.cnf
|
Added some tests.
|
2014-11-04 15:54:33 +01:00 |
|
ssa6.cnf
|
Added some tests.
|
2014-11-04 15:54:33 +01:00 |
|
ssa7.cnf
|
Added some tests.
|
2014-11-04 15:54:33 +01:00 |
|
ssa8.cnf
|
Added some tests.
|
2014-11-04 15:54:33 +01:00 |
|
t_cstor1.smt2.tmp
|
tst: add some regression tests; remove dead file
|
2019-12-28 08:34:42 -06:00 |
|
t_subform.smt2
|
test: add some regression tests
|
2020-01-14 20:23:14 -06:00 |
|
test-000.cnf
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
test-001.cnf
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
test-003.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
test-004.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
test-005.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
test-008.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
test-009.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
test-010.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
test-011.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
test-012.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
test-013.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
test-016.smt2
|
test: add more tests
|
2019-03-22 18:49:25 -05:00 |
|
test-017.smt2
|
test: add more tests
|
2019-03-22 18:49:25 -05:00 |
|
test-018.smt2
|
test: add more tests
|
2019-03-22 18:49:25 -05:00 |
|
test_ite_1.smt2
|
test: add some regression tests
|
2020-01-14 20:23:14 -06:00 |
|
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
|
tst: add some regression tests; remove dead file
|
2019-12-28 08:34:42 -06:00 |
|
typed_v3l40070.cvc.smt2
|
test: more reg tests
|
2019-12-28 09:19:17 -06:00 |
|
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
|
test: more reg tests
|
2019-12-28 09:19:17 -06:00 |
|
typed_v10l40007.cvc.smt2
|
test: add more regression tests for datatypes
|
2020-01-17 19:12:50 -06:00 |
|
uart-7.base.cvc.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
uart-10.base.cvc.smt2
|
update tests
|
2018-02-08 22:19:28 -06:00 |
|
v1l50092.cvc.smt2
|
test: add some basic datatype tests
|
2019-11-23 13:23:30 -06:00 |
|
v1l90033.cvc.smt2
|
test: add some basic datatype tests
|
2019-11-23 13:23:30 -06:00 |
|
v3l60049.cvc.smt2
|
tst: add some regression tests; remove dead file
|
2019-12-28 08:34:42 -06:00 |
|
v3l90003.cvc.smt2
|
tst: add some regression tests; remove dead file
|
2019-12-28 08:34:42 -06:00 |
