Instances of family Impl solved by yQuaffle
QBFEVAL'05

InstanceResultTime
impl02SAT0
impl06SAT0
impl14SAT0
impl08SAT0
impl20SAT0.01
impl10SAT0.01
impl16SAT0.01
impl12SAT0.01
impl18SAT0.01
impl04SAT0.03