Instances of family Connect4 solved by xb-qsts_xbqsts2.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cf_4_7x4_d_UNSAT0.28
connect_8x7_4_RFAIL900
connect_7x6_4_RFAIL900
connect_8x7_5_RFAIL900
connect_9x8_6_RFAIL900
connect_9x8_3_RFAIL900
cf_4_9x9_r_FAIL900
connect_8x7_6_RFAIL900