Suite Basler results for solvers
QBFEVAL'10 - 2QBF Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1060697.36551.79584.849.421193.560.545
depqbf118989.581081.72355.451200.160.010.1
depqbf-pre101087.38918.98505.961200.150.210.236
nenofex-qbfeval1052971.01481.55375.56424.71288.840.236
quantor-3.119116.55173.79234.76102.62116.60.336
QuBE722907.2208.25453.210.331.860.827
QuBE7-c24720.18224.73460.590.331.310.827
QuBE7-m24998.39227.26463.950.341.320.827
struqs-1056465.72513.32584.23211196.520.582