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

Instance: pg-hkb-8
Best Solver: quabs___caqe-bloqqer Time: 4.14 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - quabs___caqe-hqspre 11.48 - - GhostQ_PG___cegar_qcir_2018 170.3
- - - - - - GhostQ_PG___plain_qcir_2018 195.51
quabs___caqe-bloqqer(4.14)
quabs___caqe-hqspre(11.48)
GhostQ_PG___cegar_qcir_2018(170.3)
GhostQ_PG___plain_qcir_2018(195.51)
Qute_opt993(864.32)