Sota solver details
Prenex CNF Track

Instance: incrementer-enc08-uniform-depth-33
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
- - depqbf_prefix_opt_qdo 6.4 caqe-pre 7.58 nanoqbf_bloqqer 20.74
- - - - Caqe-hqspre 7.67 Caqe-bloqqer-qdo 23.98
- - - - GhostQ___cegar_pcnf_2019 9.79 - -
- - - - nanoqbf_hqspre 12.1 - -
Rareqs_2018(1.38)
depqbf_prefix_opt_qdo(6.4)
caqe-pre(7.58)
Caqe-hqspre(7.67)
GhostQ___cegar_pcnf_2019(9.79)
nanoqbf_hqspre(12.1)
nanoqbf_bloqqer(20.74)
Caqe-bloqqer-qdo(23.98)
depqbf_pre_QxQBH(183.71)
iprover_bloqqer_schedule(229.29)
iprover_bloqqer_single(428.48)