Sota solver results for family Connect2
QBFEVAL'17 - Prenex CNF Track


InstanceSolverResultTime
cf_2_9x6_r_caqe_2017_v1SAT9.56