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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve599.9399.99223.530.020.020.833
aqua-f3v599.98100223.550.030.020.833
aqua-s2v599.999.98223.520.030.020.833
aqua-s3o600.03100.01223.560.030.020.833
caqe-minisat619.58103.26222.035.314.470.833
caqe-picosat619.97103.33222.055.374.430.833
depqbf-v1593.9198.99221.170.090.040.833
depqbf-v2222.3537.0682.440.210.121
depqbf-v3102.6917.1238.030.110.081
ghostq-cegar96.0816.0134.580.590.221
ghostq-plain455.1775.86168.450.570.230.833
hiqqer1600.09100.02223.520.060.020.833
hiqqer1ldsq600.02100223.520.050.020.833
hiqqer3600.09100.02223.520.060.020.833
iprover-QBF499.4883.25184.740.430.250.833
iprover-QBF-bloqqer472.8678.81167.295.244.250.667
qesto602.82100.47223.270.840.780.833
qestos34.915.8211.630.830.761
qsts405.9367.66150.790.30.230.833
rareqs602.76100.46223.270.830.760.833
squeezebf+struqs2219.41369.9268.85509.44599.670.5
struqs-102366.76394.46278.66582.94599.660.5
xb-bid-qsts155.0525.8449.135.164.291
xb-qsts153.3825.5648.475.164.261