Suite Faber-Leone-Maratea-Ricca results for solvers
QBFEVAL'10 - Random QBFs Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqme-1013308.21332.71520.875.371060.750.75
depqbf33525.31838.13542.71200.171186.20.325
depqbf-pre34222.39855.56521.391200.131030.650.325
nenofex-qbfeval1031017.94775.45440.89988.08842.890.175
quantor-3.13171.7679.2935.2986.736.790.25
QuBE710681.05267.03475.682.93218.180.8
QuBE7-c20066.95501.67579.9712.471199.350.6
QuBE7-m17795.97444.9564.86.991199.340.65
struqs-1046122.341153.06184.411200.080.020.075