Sota solver details
Prenex CNF Track

Instance: depots07_8
Best Solver: Rareqs_2018 Time: 5.38 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 13.37 nanoqbf_bloqqer 28.61 iprover_bloqqer_schedule 209.09
- - Caqe-hqspre 13.51 - - - -
- - nanoqbf_hqspre 15.87 - - - -
- - depqbf_pre_QxQBH 16.89 - - - -
- - Qute_default 23.06 - - - -
- - Qute_opt500 23.14 - - - -
- - Qute_rrs 23.19 - - - -
Rareqs_2018(5.38)
caqe-pre(13.37)
Caqe-hqspre(13.51)
nanoqbf_hqspre(15.87)
depqbf_pre_QxQBH(16.89)
Qute_default(23.06)
Qute_opt500(23.14)
Qute_rrs(23.19)
nanoqbf_bloqqer(28.61)
iprover_bloqqer_schedule(209.09)