Instances of family Connect4 solved by ijtihad_v1
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cf_4_7x4_d_UNSAT0.06
connect_8x7_5_RFAIL900
connect_9x8_6_RFAIL900
connect_9x8_3_RFAIL900
cf_4_9x9_r_FAIL900
connect_8x7_6_RFAIL900
connect_8x7_4_RFAIL900
connect_7x6_4_RFAIL900