Suite Klieber results for solvers
QBFEVAL'17 - Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto664.1222.1485.281.213.931
ghostq-cegar2872.1195.74190.2824.8852.220.967
ghostq-plain27000900090000
qfun0.117.730.590.450.50.21
QuAbS_20171353.645.1232.935.4844.491
Qute_hybrid19839.59661.32348.78879.41683.260.3
Qute_opt61721010.54700.35358.27900691.570.267
Qute_opt99324042.54801.42265.9790000.133