Instances of family Qq2k3k2v80v80m8 solved by <a href='solver_detail.php?solver=31'>ssolve-ut</a> <br> QBFEVAL'06

qbflib.org

Instances of family Qq2k3k2v80v80m8 solved by ssolve-ut
QBFEVAL'06

Instance	Result	Time
Qq2k3k2v80v80m8s8	SAT	0.13
Qq2k3k2v80v80m8s6	SAT	0.14
Qq2k3k2v80v80m8s7	SAT	0.14
Qq2k3k2v80v80m8s9	SAT	0.15
Qq2k3k2v80v80m8s1	SAT	0.16
Qq2k3k2v80v80m8s3	SAT	0.16
Qq2k3k2v80v80m8s0	SAT	0.17
Qq2k3k2v80v80m8s5	SAT	0.19
Qq2k3k2v80v80m8s2	SAT	0.19
Qq2k3k2v80v80m8s4	SAT	0.23

Contact | Organization | Links | Citing QBFLIB