hashi-01 SAT
hashi-02 SAT
hashi-03 SAT
hashi-04 SAT
hashi-05 SAT
hashi-06 SAT
hashi-07 SAT
hashi-08 SAT
hashi-parity-01 UNSAT
hashi-parity-02 UNSAT
hashi-parity-03 UNSAT
hashi-parity-04 UNSAT
hashi-parity-05 UNSAT
hashi-parity-06 UNSAT
random-3sat-01 UNSAT
random-3sat-02 SAT
random-3sat-03 UNSAT
random-3sat-04 UNSAT
random-3sat-05 SAT
random-3sat-06 SAT
random-3sat-07 SAT
random-3sat-08 UNSAT
random-3sat-09 SAT
random-3sat-10 SAT
pigeonhole-01 UNSAT
pigeonhole-02 UNSAT
pigeonhole-03 UNSAT
pigeonhole-04 UNSAT
pigeonhole-05 SAT
queens-01 SAT
queens-02 SAT
queens-03 SAT
queens-04 SAT
queens-05 SAT
