Family blackbox-01X-QBF results for solvers
QBFEVAL'16 - Prenex non-CNF Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar601.74120.35239.680.290.850.8
ghostq-plain93.3218.6636.720.260.451
qsts644.01128.8236.080.0522.150.8
quabs-minisat17.513.54.560.053.131
quabs-picosat9.441.893.640.080.141
rareqs-nn443.2288.64170.625.446.531
xb-bid-qsts6.151.231.240.571.331
xb-qsts5.661.131.140.561.181