Family QBF-Hardness results for solvers
QBFEVAL'16 - Prenex non-CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar1357.03271.41274.11157.09378.090.6
ghostq-plain1216.41243.28291.0116.8307.980.6
qsts1383.88276.78255.51245.94391.680.8
quabs-minisat677.79135.56232.7533.4938.860.8
quabs-picosat629.95125.99237.0111.3414.650.8
rareqs-nn1807.13361.43291.72599.52595.420.4
xb-bid-qsts1806.37361.27291.95599.52595.910.4
xb-qsts1806.06361.21292.03599.53596.070.4