Instances of family Impl solved by depqbf-cert-v1
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
impl02FAIL0.02
impl08FAIL0.03
impl06FAIL0.03
impl10FAIL0.03
impl04FAIL0.07
impl12FAIL0.12
impl14FAIL0.31
impl16FAIL1.51
impl18FAIL7.64
impl20FAIL43.16