Instances of family Impl solved by <a href='solver_detail.php?solver=238'>hiqqer1ldsq</a> <br> QBFEVAL'16 - Prenex CNF Track.

qbflib.org

Instances of family Impl solved by hiqqer1ldsq
QBFEVAL'16 - Prenex CNF Track.

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

Contact | Organization | Links | Citing QBFLIB