Sota solver results for family cycle-sched
QBFEVAL'18 - Prenex non-CNF Track


InstanceSolverResultTime
cycle_sched_6_2_1.satquabs___caqe-hqspreSAT249.28