Instances of family Connect9 solved by QUANTOR
QBFEVAL'04

InstanceResultTime
cf_9_9x9_w_UNSAT0.5
cf_9_9x9_d_UNSAT0.51
cf_9_9x9_r_FAIL34.19