Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: eequery_query42_1344n
Best Solver: Caqe-bloqqer-qdo Time: 8.51 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 32.28 - - - -
- - Caqe-hqspre 32.35 - - - -
- - GhostQ___cegar_pcnf_2019 34.34 - - - -
Caqe-bloqqer-qdo(8.51)
caqe-pre(32.28)
Caqe-hqspre(32.35)
GhostQ___cegar_pcnf_2019(34.34)