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

Instance: pg-hkb-3
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
GhostQ_PG___plain_qcir_2018 0 - - - - GhostQ_PG___cegar_qcir_2018 0.11
Quabs_2018 0 - - - - Cqesto_2018 0.84
quabs___caqe-bloqqer 0 - - - - - -
quabs___caqe-hqspre 0 - - - - - -
Qute_opt617 0 - - - - - -
Qute_opt993 0 - - - - - -
GhostQ_PG___plain_qcir_2018(0)
Quabs_2018(0)
quabs___caqe-bloqqer(0)
quabs___caqe-hqspre(0)
Qute_hybrid(0)
Qute_opt617(0)
Qute_opt993(0)
GhostQ_PG___cegar_qcir_2018(0.11)
Cqesto_2018(0.84)
PortfolioGhostQQfunQuAbSQute___pfs(4.76)
PortfolioGhostQQfunQuAbSQute___pf3(4.79)
PortfolioGhostQQfunQuAbSQute___pf2(5.23)
QFUN(11.53)