Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: small-seq-fixpoint-3
Best Solver: GhostQ___plain_pcnf_2019 Time: 5.43 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___cegar_pcnf_2019 5.61 - - - -
- - Qute_rrs 7.28 - - - -
- - Qute_default 7.34 - - - -
- - Qute_opt500 7.4 - - - -
- - Caqe-hqspre 15.09 - - - -
- - caqe-pre 15.12 - - - -
- - depqbf_pre_QxQBH 18.05 - - - -
GhostQ___plain_pcnf_2019(5.43)
GhostQ___cegar_pcnf_2019(5.61)
Qute_rrs(7.28)
Qute_default(7.34)
Qute_opt500(7.4)
Caqe-hqspre(15.09)
caqe-pre(15.12)
depqbf_pre_QxQBH(18.05)