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

qbflib.org

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

Instance	Result	Time
Qq3k1k1k3v40v40v40m32s0	SAT	0.12
Qq3k1k1k3v40v40v40m32s7	SAT	0.12
Qq3k1k1k3v40v40v40m32s9	SAT	0.13
Qq3k1k1k3v40v40v40m32s5	SAT	0.14
Qq3k1k1k3v40v40v40m32s6	SAT	0.14
Qq3k1k1k3v40v40v40m32s8	SAT	0.17
Qq3k1k1k3v40v40v40m32s1	SAT	0.17
Qq3k1k1k3v40v40v40m32s4	SAT	0.17
Qq3k1k1k3v40v40v40m32s2	SAT	0.19
Qq3k1k1k3v40v40v40m32s3	SAT	0.19

Contact | Organization | Links | Citing QBFLIB