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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqua-f3v21038.09262.98291.983.09599.550.575
aqua-s2v19882.28248.53288.644.52599.560.6
aqua-s3o19890.82248.64288.644.5599.560.6
caqe-minisat47977.79599.720.04599.710.030
caqe-picosat22445.97280.57291.839.26597.450.55
depqbf-v127454.49343.18284.64592.12589.710.45
depqbf-v219937.34249.22274.5245.02590.50.65
depqbf-v329409.79367.62286.22599.71592.820.4
hiqqer122063.5275.79286.1863.55970.588
hiqqer1ldsq21884.12273.55285.7765.41597.050.588
hiqqer323991.81299.9295.21192.47594.890.513
iprover-QBF33045.03413.06150.4458.45257.760
iprover-QBF-bloqqer35377.23442.22106.7403.89237.240
qesto19991.85249.9276.7835.64598.440.65
qestos19399.98242.5261.06144.27597.760.563
qsts24024.25300.3299.42304.45599.50.5
rareqs18462.41230.78277.314.46598.830.65
squeezebf+struqs43998.13549.98135.71599.7100.125
struqs-1043981.91549.77136.15599.7100.125
xb-bid-qsts22238.91277.99281.1470.27591.710.588
xb-qsts22230.11277.88281.270.71591.780.588