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

InstanceResultTime
cf_6_6x6_w_FAIL29.21
cf_6_9x7_r_FAIL765.04