Instances of family s298 solved by QUANTOR
QBFEVAL'04

InstanceResultTime
s298_d5_sSAT452.96
s298_d16_sFAIL901
s298_d19_uFAIL901
s298_d17_sFAIL901
s298_d10_sFAIL901
s298_d8_sFAIL901
s298_d14_sFAIL901.01
s298_d21_uFAIL901.01