Sota solver details
QBFEVAL'19 - Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___plain_pcnf_2019 3.52 depqbf_pre_QxQBH 13.17 - -
- - Caqe-bloqqer-qdo 8.28 Qute_rrs 14.1 - -
- - caqe-pre 11.67 Qute_default 14.21 - -
- - Caqe-hqspre 11.69 - - - -
GhostQ___cegar_pcnf_2019(2.53)
GhostQ___plain_pcnf_2019(3.52)
Caqe-bloqqer-qdo(8.28)
caqe-pre(11.67)
Caqe-hqspre(11.69)
depqbf_pre_QxQBH(13.17)
Qute_rrs(14.1)
Qute_default(14.21)