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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar2998.75599.750.05599.710.050
ghostq-plain2999.15599.830.07599.810.10
qsts2803.89560.7872.79599.7197.440
quabs-minisat2998.55599.710599.7100
quabs-picosat3001.24600.251.08599.7100
rareqs-nn2998.45599.690.04599.710.050
xb-bid-qsts3.670.730.230.790.351
xb-qsts3.40.680.220.70.281