Suite Egly-Seidl-Tompits-Woltran-Zolda results for solvers
QBFEVAL'10 - Random QBFs Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1030182.7377.28524.016.011197.850.725
depqbf2369.9929.62165.930.140.580.988
depqbf-pre329.144.1120.310.080.31
nenofex-qbfeval1012103.11151.29201.87111.23235.670.413
quantor-3.12203.5227.5416.633.6425.360.25
QuBE715744.05196.8422.50.1229.970.85
QuBE7-c26317.87328.97505.860.14816.470.775
QuBE7-m27393.47342.42526.330.131171.360.75
struqs-1093840.521173.01169.61200.080.010.025