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


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto1800900090000
ghostq-cegar1800900090000
ghostq-plain1800900090000
qfun0.11277.82638.91261.09638.9100.5
QuAbS_20171240.32620.16279.84620.1600.5
Qute_hybrid1756.51878.260.45878.2600
Qute_opt6171800900090000
Qute_opt9931800900090000