Family chess_composing results for solvers
QBFEVAL'18 - Prenex non-CNF Track


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
Cqesto_20187200.32900.040.03900.040.040
GhostQ_PG___cegar_qcir_20187200.23900.030.02900.030.030
GhostQ_PG___plain_qcir_20187200.37900.050.03900.060.050
PortfolioGhostQQfunQuAbSQute___pf256.557.070.067.070.050
PortfolioGhostQQfunQuAbSQute___pf37200.34900.040.02900.050.030
PortfolioGhostQQfunQuAbSQute___pfs4517.93564.74432.88900.02894.140
QFUN7200.35900.040.02900.050.030
Quabs_20187200.33900.040.03900.040.050
quabs___caqe-bloqqer7200.34900.040.03900.040.020
quabs___caqe-hqspre7200.39900.050.02900.040.030
Qute_hybrid7200.35900.040.03900.040.030
Qute_opt6177200.25900.030.03900.020.030
Qute_opt9937200.24900.030.02900.030.040