Instances of family Qq2k1k4v40v40m8 solved by <a href='solver_detail.php?solver=38'>Quaffle</a> <br> QBFEVAL'06

qbflib.org

Instances of family Qq2k1k4v40v40m8 solved by Quaffle
QBFEVAL'06

Instance	Result	Time
Qq2k1k4v40v40m8s4	SAT	0.74
Qq2k1k4v40v40m8s6	UNSAT	0.74
Qq2k1k4v40v40m8s2	UNSAT	1.14
Qq2k1k4v40v40m8s1	SAT	2.1
Qq2k1k4v40v40m8s7	SAT	5.09
Qq2k1k4v40v40m8s9	SAT	10.46
Qq2k1k4v40v40m8s0	SAT	12.32
Qq2k1k4v40v40m8s8	SAT	12.55
Qq2k1k4v40v40m8s3	SAT	18.08
Qq2k1k4v40v40m8s5	SAT	20.3

Contact | Organization | Links | Citing QBFLIB