Sota solver details
QBFEVAL'18 - Prenex non-CNF Track

Instance: pg-hkb-2
Best Solver: Qute_hybrid Time: 0 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
Cqesto_2018 0 - - - - - -
GhostQ_PG___cegar_qcir_2018 0 - - - - - -
GhostQ_PG___plain_qcir_2018 0 - - - - - -
QFUN 0 - - - - - -
Quabs_2018 0 - - - - - -
quabs___caqe-bloqqer 0 - - - - - -
quabs___caqe-hqspre 0 - - - - - -
Qute_opt617 0 - - - - - -
Qute_opt993 0 - - - - - -
Cqesto_2018(0)
GhostQ_PG___cegar_qcir_2018(0)
GhostQ_PG___plain_qcir_2018(0)
QFUN(0)
Quabs_2018(0)
quabs___caqe-bloqqer(0)
quabs___caqe-hqspre(0)
Qute_hybrid(0)
Qute_opt617(0)
Qute_opt993(0)
PortfolioGhostQQfunQuAbSQute___pf3(4.61)
PortfolioGhostQQfunQuAbSQute___pfs(4.63)
PortfolioGhostQQfunQuAbSQute___pf2(4.65)