Sota solver details
Prenex CNF Track

Instance: incrementer-enc02-uniform-depth-63
Best Solver: Rareqs_2018 Time: 3.03 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_rrs 9.07 caqe-pre 24.72 nanoqbf_bloqqer 41.56
- - Qute_default 9.18 Caqe-hqspre 24.8 Caqe-bloqqer-qdo 66.03
- - Qute_opt500 9.18 GhostQ___cegar_pcnf_2019 29.83 iprover_bloqqer_schedule 164.47
- - nanoqbf_hqspre 10.77 - - iprover_bloqqer_single 164.99
- - depqbf_pre_QxQBH 12.23 - - - -

Rareqs_2018(3.03)
Qute_rrs(9.07)
Qute_default(9.18)
Qute_opt500(9.18)
nanoqbf_hqspre(10.77)
depqbf_pre_QxQBH(12.23)
caqe-pre(24.72)
Caqe-hqspre(24.8)
GhostQ___cegar_pcnf_2019(29.83)
nanoqbf_bloqqer(41.56)
Caqe-bloqqer-qdo(66.03)
iprover_bloqqer_schedule(164.47)
iprover_bloqqer_single(164.99)