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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert4889.38162.98186.82123.82155.160.4
caqe-picosat-cert5690.9189.7183.95208.38228.540.433
cheq11724.83390.83293.21608.57614.010.367
depqbf-cert-v18651.95288.4306.3211.86610.690.1
depqbf-cert-v211564.3385.48303.62615.32633.010.4