Suite Sauer-Reimer results for solvers
QBFEVAL'16 - Prenex CNF Track.

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4832.53345.18293.94599.71592.850.429
aqua-f3v3005.69214.69251.63110.97177.410.5
aqua-s2v2597.76185.55227.44136.03171.850.5
aqua-s3o3161.7225.84239.48169.13243.640.429
caqe-minisat3095.86221.13282.2722.49596.820.643
caqe-picosat3100.01221.43282.1121.3594.950.643
depqbf-v12199.7157.12251.290.410.80.786
depqbf-v22454.84175.35264.248.0623.50.714
depqbf-v32457.25175.52268.397.7322.70.714
ghostq-cegar2330.04166.43231.5426.06112.850.714
ghostq-plain2924.2208.87248.0812.02364.860.571
hiqqer13034.82216.77285.517.84598.540.643
hiqqer1ldsq3034.48216.75285.57.83598.550.643
hiqqer33060.26218.59284.2112.61598.40.643
iprover-QBF5155.32368.24239.94466.65476.440.357
iprover-QBF-bloqqer4347.68310.55258.44314.25570.920.571
qesto2700.85192.92259.924.68386.590.643
qestos1708.78122.06206.361.67135.430.643
qsts3177.81226.99180.84254.83374.810.286
rareqs1980.81141.49214.591.52197.340.643
squeezebf+struqs3493.23249.52277.3837.62595.950.643
struqs-103528.37252.03277.8241.25595.510.643
xb-bid-qsts1653.77118.13191.8930.9754.460.714
xb-qsts1788.23127.73188.919.51430.714