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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve19994.28908.83373.581200691.050.136
aqme-1014533.94660.63536.141007.431138.370.455
depqbf17343.07788.32512.941200.141146.570.409
depqbf-pre18398.91836.31535.451200.171171.840.318
nenofex-qbfeval1019678.37894.47351.151088.2691.60
qmaiga20977.31953.51351.41200615.280.227
quantor-3.124874.281130.65218.44120000.045
QuBE78102.85368.31394.64156.18439.960.636
QuBE7-c12638.71574.49404.42652.19694.330.318
QuBE7-m14847.89674.9441.78867.62833.640.318
struqs-1022476.771021.67355.41200.1367.360.227