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


InstanceSolverResultTime
ken.flash^08.C-d4QuAbS_2017UNSAT340.32