Suite Scholl-Becker results for solvers
QBFEVAL'10 - Competitive Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve9323.72388.49550.790.921187.950.667
aqme-107630.99317.96469.184.26655.90.75
depqbf16382.98682.62581.461200.151199.20.458
depqbf-pre15695.42653.985751026.731199.970.5
nenofex-qbfeval104992.36208.02313.2871.83276.620.542
qmaiga9610.84400.45565.371.261199.80.667
quantor-3.11330.5255.44151.4317.3527.240.667
QuBE715039.49626.65579.29804.371199.10.5
QuBE7-c14642.25610.09590.97690.131199.620.5
QuBE7-m14478.3603.26596.83618.941199.350.5
struqs-1018493.66770.57526.691200.081092.70.417