Sota solver details
Prenex CNF Track

Instance: small-seq-fixpoint-5
Best Solver: GhostQ___plain_pcnf_2019 Time: 10.55 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___cegar_pcnf_2019 10.65 - - Qute_rrs 208.47
- - - - - - Qute_opt500 210.48
- - - - - - Qute_default 213.26
- - - - - - depqbf_pre_QxQBH 387.77
GhostQ___plain_pcnf_2019(10.55)
GhostQ___cegar_pcnf_2019(10.65)
Qute_rrs(208.47)
Qute_opt500(210.48)
Qute_default(213.26)
depqbf_pre_QxQBH(387.77)