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


InstanceSolverResultTime
cnt14quabs___caqe-bloqqerSAT3.89