Instances of family Connect6 solved by QSAT
QBFEVAL'04

InstanceResultTime
cf_6_6x6_d_UNSAT0.12
cf_6_6x8_w_UNSAT0.23
cf_6_8x7_d_UNSAT0.4
cf_6_6x9_r_FAIL0.44
cf_6_8x9_d_FAIL0.86
cf_6_6x6_r_FAIL901.01
cf_6_8x6_r_FAIL901.01
cf_6_8x8_r_FAIL901.01