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

InstanceResultTime
szymanski-20-sUNSAT61.24
szymanski-24-sUNSAT111.97