Instances of family disjunctive_decomposition solved by depqbf_hit18
QBFEVAL'18 - Hard Instances Track

InstanceResultTime
bobsmfpuSAT40.61