Family Q_3_3_3 results for solvers
QBFEVAL'16 - Random QBFs Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
aqua-f3v29992.47599.850.05599.830.10
aqua-s2v29992.28599.850.06599.830.10
aqua-s3o29992.55599.850.05599.830.090
caqe-minisat29986.43599.730.03599.730.030
caqe-picosat29992.52599.850.05599.830.090
depqbf-v129662.97593.260.32593.320.50
depqbf-v229665.13593.30.3593.320.50
depqbf-v329987.2599.740.05599.710.10
hiqqer129988.1599.760.05599.810.10
hiqqer1ldsq29988599.760.05599.760.10
hiqqer329988.6599.770.05599.810.10
iprover-QBF13955.17279.1102.36301.79184.280
iprover-QBF-bloqqer12242.64244.8581.59232.79113.10
qesto29985.81599.720.02599.7100
qestos29818.07596.3611.21599.810.10
qsts29985.91599.720.03599.7100
rareqs29986.51599.730.04599.7100
squeezebf+struqs29985.8599.720.02599.7100
struqs-1029985.7599.710.02599.7100
xb-bid-qsts27709.51554.19154.39599.710.010.08
xb-qsts29985.67599.710.02599.7100