Instances of family Impl solved by aqme-10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
impl18SAT1.1