Sota solver details
Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___cegar_pcnf_2019 5.59 - - - -
- - Qute_rrs 7.34 - - - -
- - Qute_default 7.35 - - - -
- - Qute_opt500 7.39 - - - -
- - caqe-pre 15.17 - - - -
- - Caqe-hqspre 15.26 - - - -
- - depqbf_pre_QxQBH 17.19 - - - -
- - Rareqs_2018 17.95 - - - -
- - nanoqbf_hqspre 20.58 - - - -

GhostQ___plain_pcnf_2019(5.49)
GhostQ___cegar_pcnf_2019(5.59)
Qute_rrs(7.34)
Qute_default(7.35)
Qute_opt500(7.39)
caqe-pre(15.17)
Caqe-hqspre(15.26)
depqbf_pre_QxQBH(17.19)
Rareqs_2018(17.95)
nanoqbf_hqspre(20.58)