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

qbflib.org

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

Instance	Result	Time
Qq2k3k2v80v80m32s4	SAT	0.09
Qq2k3k2v80v80m32s5	SAT	0.14
Qq2k3k2v80v80m32s0	SAT	0.14
Qq2k3k2v80v80m32s2	SAT	0.15
Qq2k3k2v80v80m32s3	SAT	0.16
Qq2k3k2v80v80m32s1	SAT	0.16
Qq2k3k2v80v80m32s8	SAT	0.18
Qq2k3k2v80v80m32s7	SAT	0.19
Qq2k3k2v80v80m32s9	SAT	0.21
Qq2k3k2v80v80m32s6	SAT	0.23

Contact | Organization | Links | Citing QBFLIB