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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto3600.66720.13359.74900449.670.2
ghostq-cegar4500900090000
ghostq-plain4500900090000
qfun0.13610.05722.01355.98900444.980.2
QuAbS_20174500900090000
Qute_hybrid3522.04704.41346.2877.62433.360.2
Qute_opt6173610.59722.12355.76900444.710.2
Qute_opt9933660.38732.08335.85900419.810.2