Instances of family s298 solved by QUANTOR
QBFEVAL'05

InstanceResultTime
s298_d2_sSAT0.39
s298_d4_sSAT119.99
s298_d19_uFAIL899.31
s298_d18_sFAIL899.58
s298_d8_sFAIL900.02
s298_d16_sFAIL900.71