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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
ghostq-cegar2998599.60.09599.530.10
ghostq-plain2025.82405.1690.48356.82109.140
qsts2998.19599.640.07599.620.10
quabs-minisat2998.65599.730.04599.7100
quabs-picosat2998.55599.710599.7100
rareqs-nn2427.92485.58227.67599.31284.690.2
xb-bid-qsts2997.37599.470.12599.420.150
xb-qsts2997.48599.50.09599.420.10