Instances of family Impl solved by caqe-portfolio
QBFEVAL'16 - Solver Portfolio Track.

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