Instances of family Impl solved by <a href='solver_detail.php?solver=77'>QuBE6.1</a> <br> QBFEVAL'08

qbflib.org

Instances of family Impl solved by QuBE6.1
QBFEVAL'08

Instance	Result	Time
impl08	SAT	0.03
impl02	SAT	0.03
impl06	SAT	0.03
impl10	SAT	0.03
impl16	SAT	0.03
impl18	SAT	0.04
impl04	SAT	0.04
impl20	SAT	0.04
impl14	SAT	0.04
impl12	SAT	0.04

Contact | Organization | Links | Citing QBFLIB