Sota solver details
Prenex CNF Track

Instance: test3_quant_squaring2
Best Solver: Qute_rrs Time: 1.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Qute_default 27.92
- - - - - - GhostQ___plain_pcnf_2019 34.37
- - - - - - depqbf_prefix_opt_qdo 37.07
- - - - - - depqbf_pre_QxQBH 103.96
- - - - - - nanoqbf_bloqqer 105.87
Qute_rrs(1.24)
Qute_default(27.92)
GhostQ___plain_pcnf_2019(34.37)
depqbf_prefix_opt_qdo(37.07)
depqbf_pre_QxQBH(103.96)
nanoqbf_bloqqer(105.87)
Caqe-bloqqer-qdo(152.79)
GhostQ___cegar_pcnf_2019(295.3)
Rareqs_2018(577.86)
caqe-pre(750.26)