Instances of family Impl solved by QSAT
QBFEVAL'04

InstanceResultTime
impl02SAT0.01
impl06SAT0.02
impl08SAT0.06
impl12SAT2.83
impl14SAT22.11
impl16SAT163.45
impl18FAIL901.01
impl20FAIL901.01