Instances of family Impl solved by caqe-picosat
QBFEVAL'16 - Prenex CNF Track.

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