Instances of family Connect8 solved by QSAT
QBFEVAL'04

InstanceResultTime
cf_8_8x8_w_UNSAT0.37
cf_8_8x9_d_FAIL0.65
cf_8_8x9_r_FAIL0.65
cf_8_8x9_w_FAIL0.66
cf_8_9x9_w_FAIL0.9
cf_8_9x9_r_FAIL0.92
cf_8_9x9_d_FAIL0.93
cf_8_8x8_r_FAIL901.01