Sota solver details
Prenex CNF Track

Instance: incrementer-enc02-uniform-depth-58
Best Solver: Rareqs_2018 Time: 2.71 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - nanoqbf_hqspre 8.89 caqe-pre 22.36 nanoqbf_bloqqer 38.58
- - depqbf_pre_QxQBH 9.88 Caqe-hqspre 22.39 Caqe-bloqqer-qdo 56.2
- - - - GhostQ___cegar_pcnf_2019 24.61 iprover_bloqqer_single 154.43
- - - - - - iprover_bloqqer_schedule 155.4
Rareqs_2018(2.71)
nanoqbf_hqspre(8.89)
depqbf_pre_QxQBH(9.88)
caqe-pre(22.36)
Caqe-hqspre(22.39)
GhostQ___cegar_pcnf_2019(24.61)
nanoqbf_bloqqer(38.58)
Caqe-bloqqer-qdo(56.2)
iprover_bloqqer_single(154.43)
iprover_bloqqer_schedule(155.4)