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

InstanceResultTime
cf_6_6x6_w_UNSAT12.04
cf_6_9x7_r_FAIL900