Suite Biere results for solvers
QBFEVAL'18 - Prenex non-CNF Track

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20183600.24900.060.01900.070.020
GhostQ_PG___cegar_qcir_20183600.15900.040.03900.030.060
GhostQ_PG___plain_qcir_20183600.18900.050.02900.050.030
PortfolioGhostQQfunQuAbSQute___pf2984.48246.12378.4238.8478.360.25
PortfolioGhostQQfunQuAbSQute___pf386.9921.7527.545.8731.860.25
PortfolioGhostQQfunQuAbSQute___pfs983.73245.93378.5938.98480.10.25
QFUN2927.89731.97291.1900.03336.160.25
Quabs_20183495.53873.8845.31900.0452.340.25
quabs___caqe-bloqqer2703.98676388.04900.03448.080.25
quabs___caqe-hqspre2752.24688.06367.18900.054240.25
Qute_hybrid3341.53835.38112.02900.06129.380.25
Qute_opt6173600.1900.030.01900.020.010
Qute_opt9932790.95697.74350.42900.04404.660.25