Sota solver details
Prenex CNF Track

Instance: incrementer-enc07-uniform-depth-25
Best Solver: Rareqs_2018 Time: 1.38 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Qute_default 3.52 caqe-pre 8.66 nanoqbf_bloqqer 20
- - Qute_opt500 3.58 Caqe-hqspre 8.69 Caqe-bloqqer-qdo 20.93
- - Qute_rrs 3.58 GhostQ___cegar_pcnf_2019 9.2 iprover_bloqqer_single 114.6
- - nanoqbf_hqspre 4.18 - - iprover_bloqqer_schedule 115.55
Rareqs_2018(1.38)
Qute_default(3.52)
Qute_opt500(3.58)
Qute_rrs(3.58)
nanoqbf_hqspre(4.18)
caqe-pre(8.66)
Caqe-hqspre(8.69)
GhostQ___cegar_pcnf_2019(9.2)
nanoqbf_bloqqer(20)
Caqe-bloqqer-qdo(20.93)
iprover_bloqqer_single(114.6)
iprover_bloqqer_schedule(115.55)
depqbf_pre_QxQBH(304.96)