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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
caqe-minisat-cert5936.77106.01157.0489.22106.20.446
caqe-picosat-cert9073.06162.02177.12172.98222.560.464
cheq19582.05349.68297.2601.28609.120.304
depqbf-cert-v116484.01294.36296.11167.77611.340.161
depqbf-cert-v218057.05322.45298.48339.38617.630.482