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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto906.33453.17446.84453.1700.5
ghostq-cegar1800900090000
ghostq-plain1800900090000
qfun0.11800900090000
QuAbS_2017909.74454.87445.13454.8700.5
Qute_hybrid1754.93877.470.16877.4700
Qute_opt6171800900090000
Qute_opt9931800900090000