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

qbflib.org

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

Instance	Result	Time
Qq3k1k1k3v40v40v40m4s7	SAT	0.14
Qq3k1k1k3v40v40v40m4s0	SAT	0.15
Qq3k1k1k3v40v40v40m4s4	SAT	0.17
Qq3k1k1k3v40v40v40m4s2	SAT	0.18
Qq3k1k1k3v40v40v40m4s6	SAT	0.18
Qq3k1k1k3v40v40v40m4s8	SAT	0.19
Qq3k1k1k3v40v40v40m4s3	SAT	0.2
Qq3k1k1k3v40v40v40m4s5	SAT	0.22
Qq3k1k1k3v40v40v40m4s9	SAT	0.23
Qq3k1k1k3v40v40v40m4s1	SAT	0.24

Contact | Organization | Links | Citing QBFLIB