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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve21415.96563.58111.81599.790.130.079
aqua-f3v13222.02347.95253.61384.49551.980.421
aqua-s2v13089.11344.45257.34408.48552.840.421
aqua-s3o13143.93345.89254.88389.42553.250.421
caqe-minisat12435.53327.25267.41386.92594.470.395
caqe-picosat14071.65370.31240.05422.59515.240.263
depqbf-v17296.65192.02250.7530.2351.510.605
depqbf-v28836.5232.54257.7465.43577.210.711
depqbf-v310222.7269.02264.2112.54585.030.658
ghostq-cegar13308.95350.24226.55375.235390.289
ghostq-plain10490.35276.06196.24329.18339.80.342
hiqqer110447.53274.94282.9195.69596.920.579
hiqqer1ldsq11004.66289.6286.06106.175970.553
hiqqer310334.36271.96275.95109.47593.030.605
iprover-QBF15490.2407.64191.34412.81309.180.053
iprover-QBF-bloqqer17624.34463.8173.63585.13329.980.105
qesto16638.72437.86249.63599.71546.790.211
qestos8964.01235.9173.75224.43173.840.211
qsts14327.49377.04163.89318.03248.90.053
rareqs14370.26378.16282.09599.47598.50.395
squeezebf+struqs20235.62532.52162.88599.710.10.158
struqs-1020228.35532.33163.11599.710.10.158
xb-bid-qsts12367.12325.45241.64361.21564.220.395
xb-qsts12466.04328.05245.07359.31564.730.395