Sota solver details
Prenex CNF Track

Instance: stmt21_310_360
Best Solver: GhostQ___plain_pcnf_2019 Time: 1.88 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - nanoqbf_hqspre 2.13 - - depqbf_prefix_opt_qdo 23.39
- - Qute_rrs 2.43 - - depqbf_pre_QxQBH 44.31
- - caqe-pre 2.73 - - Caqe-bloqqer-qdo 153.92
- - Caqe-hqspre 2.75 - - - -
- - Qute_default 2.96 - - - -
- - GhostQ___cegar_pcnf_2019 4.27 - - - -
GhostQ___plain_pcnf_2019(1.88)
nanoqbf_hqspre(2.13)
Qute_rrs(2.43)
caqe-pre(2.73)
Caqe-hqspre(2.75)
Qute_default(2.96)
GhostQ___cegar_pcnf_2019(4.27)
depqbf_prefix_opt_qdo(23.39)
depqbf_pre_QxQBH(44.31)
Caqe-bloqqer-qdo(153.92)