Sota solver details
Prenex CNF Track

Instance: depots16_5
Best Solver: Caqe-hqspre Time: 27.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 27.68 - - nanoqbf_bloqqer 332.82
- - nanoqbf_hqspre 29.71 - - Caqe-bloqqer-qdo 384.51
- - Qute_default 35.39 - - - -
- - Qute_rrs 35.4 - - - -
- - Qute_opt500 35.46 - - - -
- - depqbf_pre_QxQBH 38.77 - - - -
- - Rareqs_2018 72.43 - - - -
Caqe-hqspre(27.63)
caqe-pre(27.68)
nanoqbf_hqspre(29.71)
Qute_default(35.39)
Qute_rrs(35.4)
Qute_opt500(35.46)
depqbf_pre_QxQBH(38.77)
Rareqs_2018(72.43)
nanoqbf_bloqqer(332.82)
Caqe-bloqqer-qdo(384.51)