Instances of family Impl solved by <a href='solver_detail.php?solver=6'>QMRes</a> <br> QBFEVAL'04

qbflib.org

Instances of family Impl solved by QMRes
QBFEVAL'04

Instance	Result	Time
impl06	SAT	0.01
impl08	SAT	0.01
impl14	SAT	0.02
impl16	SAT	0.02
impl12	SAT	0.02
impl02	SAT	0.02
impl20	SAT	0.03
impl18	SAT	0.03

Contact | Organization | Links | Citing QBFLIB