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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
cqesto27004.42710.64366.6990000.211
ghostq-cegar22495.24591.98411.47900884.760.368
ghostq-plain24868.7654.44388.44900849.80.289
qfun0.118953.99498.79422.19848.24892.990.5
QuAbS_201725323.14666.4391.07900862.150.263
Qute_hybrid23345.84614.36393.43877.01875.930.316
Qute_opt61723249.76611.84406.08900898.330.342
Qute_opt99323381.66615.31407.18900898.610.342