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

InstanceResultTime
cf_8_8x8_d_FAIL353.17
cf_8_9x8_d_FAIL507.11