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

InstanceResultTime
cf_8_8x8_d_UNSAT187.7
cf_8_9x8_d_UNSAT232.8