Sota solver details
Prenex CNF Track

Instance: depots13_9
Best Solver: caqe-pre Time: 39.19 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 39.22 nanoqbf_bloqqer 217.52 - -
- - nanoqbf_hqspre 45.36 - - - -
- - depqbf_pre_QxQBH 50.93 - - - -
- - Qute_default 51.48 - - - -
- - Qute_rrs 51.79 - - - -
- - Qute_opt500 52.28 - - - -
- - Rareqs_2018 83.64 - - - -

caqe-pre(39.19)
Caqe-hqspre(39.22)
nanoqbf_hqspre(45.36)
depqbf_pre_QxQBH(50.93)
Qute_default(51.48)
Qute_rrs(51.79)
Qute_opt500(52.28)
Rareqs_2018(83.64)
nanoqbf_bloqqer(217.52)