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

qbflib.org

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

Instance	Result	Time
Qq2k2k3v80v80m2s4	SAT	0.11
Qq2k2k3v80v80m2s7	SAT	0.12
Qq2k2k3v80v80m2s9	SAT	0.15
Qq2k2k3v80v80m2s2	SAT	0.15
Qq2k2k3v80v80m2s8	SAT	0.17
Qq2k2k3v80v80m2s1	SAT	0.17
Qq2k2k3v80v80m2s5	SAT	0.17
Qq2k2k3v80v80m2s3	SAT	0.18
Qq2k2k3v80v80m2s0	SAT	0.19
Qq2k2k3v80v80m2s6	SAT	0.19

Contact | Organization | Links | Citing QBFLIB