Instances of family s298 solved by xb-qsts_xbqsts1.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s298_d17_sSAT107.76
s298_d25_uUNSAT349.3