Instances of family s298 solved by CLearn
QBFEVAL'04

InstanceResultTime
s298_d10_sFAIL901
s298_d5_sFAIL901
s298_d8_sFAIL901
s298_d16_sFAIL901
s298_d19_uFAIL901
s298_d14_sFAIL901
s298_d17_sFAIL901.01
s298_d21_uFAIL901.01