Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: cache-coherence-3-fixpoint-3
Best Solver: GhostQ___cegar_pcnf_2019 Time: 3.91 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 5.07 - - caqe-pre 66.04
- - Caqe-bloqqer-qdo 13.14 - - Caqe-hqspre 68.31
- - - - - - Qute_rrs 68.48
- - - - - - Qute_default 68.96
- - - - - - depqbf_pre_QxQBH 200.23
GhostQ___cegar_pcnf_2019(3.91)
GhostQ___plain_pcnf_2019(5.07)
Caqe-bloqqer-qdo(13.14)
caqe-pre(66.04)
Caqe-hqspre(68.31)
Qute_rrs(68.48)
Qute_default(68.96)
depqbf_pre_QxQBH(200.23)