Instances of family Impl solved by <a href='solver_detail.php?solver=256'>squeezebf+aqme</a> <br> QBFEVAL'16 - Solver Portfolio Track.

qbflib.org

Instances of family Impl solved by squeezebf+aqme
QBFEVAL'16 - Solver Portfolio Track.

Instance	Result	Time
impl04	SAT	0.49
impl16	SAT	0.5
impl02	SAT	0.5
impl20	SAT	0.5
impl12	SAT	0.51
impl06	SAT	0.51
impl14	SAT	0.51
impl18	SAT	0.52
impl08	SAT	0.53
impl10	SAT	0.53

Contact | Organization | Links | Citing QBFLIB