Suite Kronegger-Pfandler-Pichler results for solvers
QBFEVAL'17 - Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto5400900090000
ghostq-cegar5395.02899.171.869004.980
ghostq-plain5394.87899.151.919005.130
qfun0.13277.85546.31357.1606.53814.380.5
QuAbS_20174629.63771.61287.1900770.370.167
Qute_hybrid4912.95818.83129.49876.76347.570.167
Qute_opt6175400900090000
Qute_opt9934501.56750.26334.83900898.440.167