Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: query03_query25_1344
Best Solver: GhostQ___cegar_pcnf_2019 Time: 1.89 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 3.31 - - Qute_rrs 34.34
- - Caqe-hqspre 5.43 - - - -
- - caqe-pre 5.47 - - - -
GhostQ___cegar_pcnf_2019(1.89)
Caqe-bloqqer-qdo(3.31)
Caqe-hqspre(5.43)
caqe-pre(5.47)
Qute_rrs(34.34)