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

Instance: ev-pr-6x6-9-5-0-1-2-lg
Best Solver: quabs___caqe-bloqqer Time: 153.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ_PG___plain_qcir_2018 174.98 GhostQ_PG___cegar_qcir_2018 791.92 - -
- - Cqesto_2018 294.4 - - - -
- - PortfolioGhostQQfunQuAbSQute___pf2 390.59 - - - -
- - Quabs_2018 667.91 - - - -
quabs___caqe-bloqqer(153.06)
GhostQ_PG___plain_qcir_2018(174.98)
Cqesto_2018(294.4)
PortfolioGhostQQfunQuAbSQute___pf2(390.59)
Quabs_2018(667.91)
GhostQ_PG___cegar_qcir_2018(791.92)