Instances of family Impl solved by Nenofex
QBFEVAL'08

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