Instances of family Connect4 solved by iProver-qbf-2017-07-27-v3
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cf_4_7x4_d_UNSAT1.53
cf_4_9x9_r_FAIL900
connect_8x7_6_RFAIL900
connect_8x7_4_RFAIL900
connect_7x6_4_RFAIL900
connect_8x7_5_RFAIL900
connect_9x8_6_RFAIL900
connect_9x8_3_RFAIL900