Instances of family Impl solved by depqbf-v1
QBFEVAL'16 - Prenex CNF Track.

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