Instances of family Impl solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

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