Instances of family s298 solved by QbflHR
QBFEVAL'05

InstanceResultTime
s298_d19_uFAIL900.97
s298_d16_sFAIL900.98
s298_d8_sFAIL901
s298_d18_sFAIL901
s298_d2_sFAIL901
s298_d4_sFAIL901.01