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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert2997.15214.08207.68125.672.810.143
caqe-picosat-cert3677.36262.67246.4249.03406.780.429
cheq7289.53520.68174.06606.58233.830
depqbf-cert-v12598.31185.59293.490.310.610.143
depqbf-cert-v23835.85273.99312.4214.01607.310.571