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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert2385.9979.5359.696.71124.680
caqe-picosat-cert7122.87237.43234.49180.15261.40
cheq18432.5614.4210.51610.1311.550
depqbf-cert-v115331.11511.04229.81603.1832.20
depqbf-cert-v218488.03616.2718.38609.5715.60