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


InstanceSolverResultTime
ken.flash^08.C-d4QFUNUNSAT227.77