Instances of family Impl solved by QUANTOR
QBFEVAL'04

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