Instances of family Connect9 solved by QSAT
QBFEVAL'04

InstanceResultTime
cf_9_9x9_r_FAIL0.78
cf_9_9x9_d_FAIL0.79
cf_9_9x9_w_FAIL0.79