Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: query31_reachqu_1344n
Best Solver: GhostQ___cegar_pcnf_2019 Time: 2.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 6.26 Caqe-hqspre 11.04 - -
- - - - caqe-pre 11.05 - -
GhostQ___cegar_pcnf_2019(2.06)
Caqe-bloqqer-qdo(6.26)
Caqe-hqspre(11.04)
caqe-pre(11.05)
Hiqqer2019_1(382.43)
Hiqqer2019_2(383.12)
Hiqqer2019_3(383.8)
GhostQ___plain_pcnf_2019(590.42)