Sota solver details
Prenex CNF Track

Instance: incrementer-enc07-nonuniform-depth-25
Best Solver: depqbf_prefix_opt_qdo Time: 1.84 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 1.92 - - nanoqbf_bloqqer 21
- - Caqe-hqspre 3.64 - - Caqe-bloqqer-qdo 31.5
- - caqe-pre 3.67 - - depqbf_pre_QxQBH 63.07
- - nanoqbf_hqspre 4.2 - - iprover_bloqqer_schedule 115.64
- - GhostQ___plain_pcnf_2019 6.59 - - iprover_bloqqer_single 116.81
- - GhostQ___cegar_pcnf_2019 6.9 - - - -
depqbf_prefix_opt_qdo(1.84)
Rareqs_2018(1.92)
Caqe-hqspre(3.64)
caqe-pre(3.67)
nanoqbf_hqspre(4.2)
GhostQ___plain_pcnf_2019(6.59)
GhostQ___cegar_pcnf_2019(6.9)
nanoqbf_bloqqer(21)
Caqe-bloqqer-qdo(31.5)
depqbf_pre_QxQBH(63.07)
iprover_bloqqer_schedule(115.64)
iprover_bloqqer_single(116.81)
Qute_default(517.89)