Instances of family s298 solved by ssolve+ut
QBFEVAL'06

InstanceResultTime
s298_d2_sFAIL599.96
s298_d4_sFAIL5998.42