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

InstanceResultTime
s713_d7_uUNSAT15.94
s713_d11_uUNSAT35.43