Family disjunctive_decomposition results for solvers
QBFEVAL'18 - Hard Instances Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aspq3_hit18360036000360000
caqe_hit18360036000360000
depqbf_hit1840.6140.61040.6101