Instances of family s298 solved by WalkQSAT
QBFEVAL'06

InstanceResultTime
s298_d4_sFAIL601
s298_d2_sFAIL601