Instances of family s298 solved by preQuantor
QBFEVAL'06

InstanceResultTime
s298_d2_sSAT0.13
s298_d4_sSAT14.19