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

qbflib.org

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

Instance	Result	Time
Qq3k1k3k1v40v40v40m2s8	SAT	0.16
Qq3k1k3k1v40v40v40m2s3	SAT	0.17
Qq3k1k3k1v40v40v40m2s7	SAT	0.18
Qq3k1k3k1v40v40v40m2s4	SAT	0.19
Qq3k1k3k1v40v40v40m2s2	SAT	0.19
Qq3k1k3k1v40v40v40m2s9	SAT	0.2
Qq3k1k3k1v40v40v40m2s5	SAT	0.22
Qq3k1k3k1v40v40v40m2s6	SAT	0.23
Qq3k1k3k1v40v40v40m2s1	SAT	0.25
Qq3k1k3k1v40v40v40m2s0	SAT	0.28

Contact | Organization | Links | Citing QBFLIB