Instances of family Connect6 solved by caqe_hit18
QBFEVAL'18 - Hard Instances Track

InstanceResultTime
cf_6_9x7_r_FAIL3600