Instances of family Impl solved by <a href='solver_detail.php?solver=262'>hiqqerfork</a> <br> QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

qbflib.org

Instances of family Impl solved by hiqqerfork
QBFEVAL'16 - Parallel QBF Solvers (non-competitive) Track.

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

Contact | Organization | Links | Citing QBFLIB