Sota solver details
Prenex CNF Track

Instance: add4_CHOOSE
Best Solver: Rareqs_2018 Time: 4.17 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-bloqqer-qdo 4.37 depqbf_prefix_opt_qdo 28.49 depqbf_pre_QxQBH 94.21
- - nanoqbf_bloqqer 5.27 - - nanoqbf_hqspre 117.3
Rareqs_2018(4.17)
Caqe-bloqqer-qdo(4.37)
nanoqbf_bloqqer(5.27)
depqbf_prefix_opt_qdo(28.49)
depqbf_pre_QxQBH(94.21)
nanoqbf_hqspre(117.3)
caqe-pre(452.67)
Qute_rrs(506.11)
GhostQ___cegar_pcnf_2019(534.88)
Qute_default(593.39)
GhostQ___plain_pcnf_2019(752.58)