Instances of family Connect2 solved by AIGSolve
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
cf_2_9x6_r_FAIL900