Instances of family Connect2 solved by QUANTOR
QBFEVAL'04

InstanceResultTime
cf_2_2x3_w_UNSAT0.01
cf_2_3x2_r_SAT0.1
cf_2_4x8_d_UNSAT0.16
cf_2_9x5_w_UNSAT0.3
cf_2_5x4_r_FAIL15.12
cf_2_8x3_r_FAIL16.1
cf_2_4x8_r_FAIL16.94
cf_2_8x5_r_FAIL23.33