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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve2315.377.18183.833.9311.70.9
aqua-f3v7512.51250.42279.5513.93599.70.633
aqua-s2v8146.85271.56292.986.06599.790.567
aqua-s3o8152.3271.74291.079.82599.790.6
caqe-minisat7827.68260.92296.312.86599.470.567
caqe-picosat7544.16251.47290.362.86599.480.6
depqbf-v18349.02278.3294.1921.82592.250.533
depqbf-v25960.18198.67279.031.32592.820.667
depqbf-v38429.31280.98298.1811.48599.650.533
ghostq-cegar5322.72177.42266.755.22446.510.733
ghostq-plain4777.32159.24256.923.7946.50.767
hiqqer17809.01260.3296.870.77599.730.567
hiqqer1ldsq7809.01260.3296.850.75599.650.567
hiqqer37640.99254.7291.291.55599.630.6
iprover-QBF7499.9250250.88194.91496.950.5
iprover-QBF-bloqqer3879.3129.31180.3610.64242.590.567
qesto7802.97260.12970.38599.680.567
qestos7042.77234.76282.960.31599.680.567
qsts6012.54200.42271.791.11540.410.667
rareqs7201.19240.04293.680.22599.680.6
squeezebf+struqs10280.15342.67294.22599.71599.520.433
struqs-1010293.28343.11293.82599.71599.570.433
xb-bid-qsts5512.42183.75272.470.98599.470.7
xb-qsts6674.94222.5287.181.13599.480.633