Instances of family s298 solved by QChaffLearn
QBFEVAL'05

InstanceResultTime
s298_d16_sFAIL897.34
s298_d18_sFAIL897.49
s298_d19_uFAIL897.51
s298_d2_sFAIL898.96
s298_d8_sFAIL900.66
s298_d4_sFAIL900.73