Instances of family s298 solved by qube3.0
QBFEVAL'06

InstanceResultTime
s298_d4_sFAIL450.48
s298_d2_sFAIL1272.7