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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert20810.88547.65153.9860000.105
caqe-picosat-cert19574.11515.1118760022.550.158
cheq17685.62465.41245.62604.48467.70.158
depqbf-cert-v17724.5203.28261.9830.52348.850.237
depqbf-cert-v213863.76364.84284.04599.57605.410.395