Instances of family Qq3k3k1k1v40v40v40m8 solved by <a href='solver_detail.php?solver=11'>sSolve</a> <br> QBFEVAL'06

qbflib.org

Instances of family Qq3k3k1k1v40v40v40m8 solved by sSolve
QBFEVAL'06

Instance	Result	Time
Qq3k3k1k1v40v40v40m8s6	SAT	0.13
Qq3k3k1k1v40v40v40m8s7	SAT	0.13
Qq3k3k1k1v40v40v40m8s1	SAT	0.14
Qq3k3k1k1v40v40v40m8s2	SAT	0.15
Qq3k3k1k1v40v40v40m8s3	SAT	0.15
Qq3k3k1k1v40v40v40m8s8	SAT	0.17
Qq3k3k1k1v40v40v40m8s9	SAT	0.18
Qq3k3k1k1v40v40v40m8s5	SAT	0.18
Qq3k3k1k1v40v40v40m8s4	SAT	0.2
Qq3k3k1k1v40v40v40m8s0	SAT	0.23

Contact | Organization | Links | Citing QBFLIB