Instances of family Qq2k2k3v80v80m4 solved by <a href='solver_detail.php?solver=32'>ssolve+ut</a> <br> QBFEVAL'06

qbflib.org

Instances of family Qq2k2k3v80v80m4 solved by ssolve+ut
QBFEVAL'06

Instance	Result	Time
Qq2k2k3v80v80m4s1	SAT	0.12
Qq2k2k3v80v80m4s6	SAT	0.12
Qq2k2k3v80v80m4s9	SAT	0.13
Qq2k2k3v80v80m4s7	SAT	0.13
Qq2k2k3v80v80m4s3	SAT	0.14
Qq2k2k3v80v80m4s8	SAT	0.14
Qq2k2k3v80v80m4s0	SAT	0.16
Qq2k2k3v80v80m4s2	SAT	0.2
Qq2k2k3v80v80m4s5	SAT	0.2
Qq2k2k3v80v80m4s4	SAT	0.24

Contact | Organization | Links | Citing QBFLIB