Sota solver results for family disjunctive_decomposition
QBFEVAL'18 - Hard Instances Track


InstanceSolverResultTime
bobsmfpudepqbf_hit18SAT40.61