Instances of family Connect9 solved by QBFL-JW
QBFEVAL'04

InstanceResultTime
cf_9_9x9_r_UNSAT0.47
cf_9_9x9_w_UNSAT0.49
cf_9_9x9_d_UNSAT0.51