Suite Biere results for solvers
QBFEVAL'10 - Competitive Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve12628.78300.69437.3812.86510.550.714
aqme-1017792.76423.64538.8715.131195.920.643
depqbf34488.09821.15540.611200.151199.640.333
depqbf-pre31863.82758.66570.041200.161199.590.381
nenofex-qbfeval1015169.06361.17292.18275.14309.770.214
qmaiga12914.18307.48459.8417.87497.350.738
quantor-3.110780.12256.67333.4199.72340.790.214
QuBE79797.83233.28414.3310.26158.110.857
QuBE7-c12681.36301.94505.271.89102.80.738
QuBE7-m12797.28304.7505.261.89194.660.738
struqs-1023098.2549.96511.17341.21179.420.69