Sota solver details
Prenex CNF Track

Instance: incrementer-enc06-uniform-depth-24
Best Solver: Rareqs_2018 Time: 1.6 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - nanoqbf_hqspre 3.05 GhostQ___cegar_pcnf_2019 10.58 nanoqbf_bloqqer 24.46
- - Caqe-hqspre 6.69 - - Caqe-bloqqer-qdo 25.94
- - caqe-pre 6.71 - - iprover_bloqqer_single 124.76
- - - - - - iprover_bloqqer_schedule 126.71
- - - - - - depqbf_pre_QxQBH 127.3
Rareqs_2018(1.6)
nanoqbf_hqspre(3.05)
Caqe-hqspre(6.69)
caqe-pre(6.71)
GhostQ___cegar_pcnf_2019(10.58)
nanoqbf_bloqqer(24.46)
Caqe-bloqqer-qdo(25.94)
iprover_bloqqer_single(124.76)
iprover_bloqqer_schedule(126.71)
depqbf_pre_QxQBH(127.3)