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

InstanceResultTime
s820_d10_sSAT6.26
s820_d15_uUNSAT14.03