Instances of family s298 solved by Adaptive2clsQ
QBFEVAL'07

InstanceResultTime
s298_d2_sSAT0.19
s298_d4_sFAIL600