Suite Seidl results for solvers
QBFEVAL'16 - Random QBFs Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqua-f3v65.751.640.341.620.441
aqua-s2v64.181.60.311.60.411
aqua-s3o60.691.520.211.540.251
caqe-minisat6642.09166.05234.8540.34251.930.775
caqe-picosat398.439.967.126.029.930.975
depqbf-v164.111.64.621.311.21
depqbf-v2324.998.120.968.211.651
depqbf-v32036.5350.91144.848.698.180.95
hiqqer1197.094.934.863.934.531
hiqqer1ldsq195.924.94.833.934.561
hiqqer3351.868.89.167.910.951
iprover-QBF12000.95300.02299.17300598.370
iprover-QBF-bloqqer15299.51382.49219.38450.65319.640
qesto1353.3813.111.571
qestos125.53.140.843.010.911
qsts529.0213.2334.761.41.761
rareqs108.772.720.642.690.631
squeezebf+struqs23988.8599.720.03599.7100
struqs-1023988.5599.710.02599.7100
xb-bid-qsts438.4810.966.0611.454.491
xb-qsts394.279.863.8110.963.961