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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve7873.1442.33140.040.351.060.941
aqua-f3v41927.9225.42279.31.56599.790.602
aqua-s2v41648.79223.92279.981.48599.790.602
aqua-s3o41797.58224.72281.231.5599.790.602
caqe-minisat4690.3725.22114.770.190.380.957
caqe-picosat4793.2625.77116.250.190.390.957
depqbf-v148885.18262.82288.4416.02592.840.57
depqbf-v25968.4932.09129.650.310.490.952
depqbf-v337076.52199.34278.130.63599.610.677
ghostq-cegar16725.7889.92204.360.592.610.86
ghostq-plain14022.7775.39191.10.421.20.882
hiqqer14947.3726.6121.570.060.070.957
hiqqer1ldsq4944.9326.59121.570.050.070.957
hiqqer36111.3832.86135.180.060.080.946
iprover-QBF32778.91176.23195.1868.95337.710.634
iprover-QBF-bloqqer5776.6931.06129.070.220.430.511
qesto4725.9625.41114.70.020.060.952
qestos9970.853.61167.130.020.060.914
qsts9854.9452.98164.40.040.070.919
rareqs6569.8135.32135.440.020.060.946
squeezebf+struqs49835.47267.93286.654.65598.90.586
struqs-1049592.15266.62287.3645.61599.030.586
xb-bid-qsts3649.8119.6296.690.190.390.968
xb-qsts4779.0725.69113.620.180.380.957