Instances of family Impl solved by AQME-1NN
QBFEVAL'08

InstanceResultTime
impl04SAT0.72
impl06SAT0.74
impl02SAT0.75
impl10SAT0.77
impl20SAT0.78
impl12SAT0.79
impl08SAT0.79
impl14SAT0.8
impl16SAT0.82
impl18SAT0.84