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

InstanceResultTime
cf_2_9x6_r_FAIL900