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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto900.05450.03449.98450.0300.5
ghostq-cegar1800900090000
ghostq-plain1800900090000
qfun0.11800900090000
QuAbS_2017470.62235.31234.58235.3101
Qute_hybrid878.89439.45438.98439.4500.5
Qute_opt617901.06450.53449.47450.5300.5
Qute_opt993900.86450.43449.57450.4300.5