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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_2018946.8137.871451.93.091
GhostQ_PG___cegar_qcir_20182782.55111.3206.3325.8152.640.96
GhostQ_PG___plain_qcir_201822500.94900.040.03900.040.020
PortfolioGhostQQfunQuAbSQute___pf2171.186.850.276.930.080.08
PortfolioGhostQQfunQuAbSQute___pf3142.525.70.325.770.080.08
PortfolioGhostQQfunQuAbSQute___pfs142.465.70.295.760.060.08
QFUN6.020.240.3400.571
Quabs_20182655.45106.22115.3779.3985.981
quabs___caqe-bloqqer12289491.56435.87900896.170.48
quabs___caqe-hqspre10184.96407.4424.6271.79897.010.6
Qute_hybrid17432.92697.32348.68900.02348.880.28
Qute_opt61717408.2696.33358.36900.02376.940.28
Qute_opt99319637.35785.49285.1900.030.040.16