Index of /current_tree/solvers/SAT_WL/tests/tests-more
Name Last modified Size Description
Parent Directory -
8queens.cnf 2021-01-03 13:20 7.1K
8queens.sat 2021-01-03 13:20 5.7K
POPCNT4.cnf 2021-01-03 13:20 1.6K
POPCNT4.sat 2021-01-03 13:20 1.4K
XOR_swap_4_bits.cnf 2021-01-03 13:20 4.8K
XOR_swap_4_bits.sat 2021-01-03 13:20 1.6K
ais10.cnf 2021-01-03 13:20 36K
ais10.sat 2021-01-03 13:20 30K
ais12.cnf 2021-01-03 13:20 67K
ais6.cnf 2021-01-03 13:20 6.0K
ais6.sat 2021-01-03 13:20 4.9K
ais8.cnf 2021-01-03 13:20 16K
ais8.sat 2021-01-03 13:20 13K
factorize_6bit.cnf 2021-01-03 13:20 42K
factorize_6bit.sat 2021-01-03 13:20 22K
factorize_8bit.cnf 2021-01-03 13:20 49K
factorize_8bit.sat 2021-01-03 13:20 30K
langford-10_UNSAT.sat 2021-01-03 13:20 21K
mutex-fourbits-lemmas-1_UNSAT.sat 2021-01-03 13:20 6.0K
queens10.cnf 2021-01-03 13:20 14K
queens10.sat 2021-01-03 13:20 12K
Apache/2.4.52 (Ubuntu) Server at smt.st Port 443