Instances of family s298 solved by GhostQ-PG_plain
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
s298_d17_sSAT3.95
s298_d25_uUNSAT9.41