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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqua-f3v17576.29219.7286.911.28599.790.638
aqua-s2v19330.45241.63292.741.51599.770.6
aqua-s3o18971.32237.14289.310.94599.770.613
caqe-minisat26601.92332.52295.55599.67599.430.45
caqe-picosat15755.06196.94269.197.72599.480.7
depqbf-v120991.71262.4286.910.62592.520.588
depqbf-v219956.99249.46289.143.67592.420.588
depqbf-v321036.46262.96291.5119.87599.50.575
hiqqer118252.96228.16288.233.73599.740.625
hiqqer1ldsq18190.29227.38288.093.6599.760.625
hiqqer318304.41228.81287.776.27599.750.625
iprover-QBF32171.76402.15174.03373.09284.740.05
iprover-QBF-bloqqer23482.12293.53235.83280.98545.980.2
qesto20464.32255.8284.7131.95599.680.613
qestos22251.05278.14288.6783.14599.780.575
qsts32056.42400.71277.18599.71586.650.35
rareqs23790.26297.38293.24241.78599.680.5
squeezebf+struqs42006.25525.08197.51599.7100.125
struqs-1042004.99525.06197.5599.7100.125
xb-bid-qsts16628.89207.86280.084.05599.490.663
xb-qsts16667.21208.34279.953.91599.490.663