Family Debug results for solvers
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert6021.21602.126.4460000
caqe-picosat-cert6000600060000
cheq6074.18607.427.76605.446.190
depqbf-cert-v15854.98585.544.52596.198.030
depqbf-cert-v25972.31597.239.95592.791.520