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

qbflib.org

Instances of family Impl solved by orSAT
QBFEVAL'04

Instance	Result	Time
impl02	SAT	0
impl06	SAT	0.18
impl08	SAT	2.3
impl12	SAT	400.01
impl14	FAIL	901
impl20	FAIL	901
impl16	FAIL	901.01
impl18	FAIL	901.01

Contact | Organization | Links | Citing QBFLIB