Suite Mangassarian-Veneris results for solvers
QBFEVAL'10 - Competitive Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve7736.64336.38489.4422.04404.340.739
aqme-101511.5865.7288.0319.4569.330.87
depqbf13285.85577.65596.1255.831199.520.522
depqbf-pre12307.79535.12563.5196.631199.210.609
nenofex-qbfeval109904.02430.61521.1992.091181.890.522
qmaiga7734.13336.27485.7328.11438.810.739
quantor-3.13472.95151316.294.447.450.913
QuBE721704.06943.65462.7412001075.890.261
QuBE7-c11940.56519.15566.1764.521190.910.609
QuBE7-m10789.03469.09554.5259.131190.980.652
struqs-1019575.45851.11502.541200.141073.730.348