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

SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_201824339.84737.57344.7900.030.040.182
GhostQ_PG___cegar_qcir_201816888.09511.76414.68900.02879.740.485
GhostQ_PG___plain_qcir_201822894.38693.77369.26900.03269.150.242
PortfolioGhostQQfunQuAbSQute___pf2220.616.690.716.950.10.152
PortfolioGhostQQfunQuAbSQute___pf31976.4359.89213.415.780.120.121
PortfolioGhostQQfunQuAbSQute___pfs2873.5587.08257.095.790.10.152
QFUN14949.8453.02433.79256.85898.790.545
Quabs_201823414.85709.54367.15900.030.050.212
quabs___caqe-bloqqer8178.89247.85388.912.96409.710.758
quabs___caqe-hqspre10227.08309.91397.7756.5899.060.697
Qute_hybrid21737.33658.71383.27900.03666.740.303
Qute_opt61721308.38645.71385.87900.02736.90.333
Qute_opt99320722.28627.95399.73900.03887.350.333