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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert1020.33102.0364.8139.78141.370.3
caqe-picosat-cert1630.6163.06108.82215.51211.770.3
cheq3760.86376.09295.58609.64611.310.4
depqbf-cert-v13726.55372.66304.56602.07610.70
depqbf-cert-v24475447.5292.75629.03636.410.3