Sota solver details
Prenex CNF Track

Instance: incrementer-enc08-nonuniform-depth-32
Best Solver: depqbf_prefix_opt_qdo Time: 1.59 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 2.02 - - nanoqbf_bloqqer 19.79
- - Qute_rrs 3.09 - - Caqe-bloqqer-qdo 31.69
- - Qute_default 3.11 - - iprover_bloqqer_schedule 118.49
- - Qute_opt500 3.15 - - iprover_bloqqer_single 119.39
- - caqe-pre 3.53 - - - -
- - Caqe-hqspre 3.55 - - - -
- - nanoqbf_hqspre 3.72 - - - -
- - depqbf_pre_QxQBH 4.42 - - - -
- - GhostQ___plain_pcnf_2019 7.28 - - - -
- - GhostQ___cegar_pcnf_2019 7.34 - - - -
depqbf_prefix_opt_qdo(1.59)
Rareqs_2018(2.02)
Qute_rrs(3.09)
Qute_default(3.11)
Qute_opt500(3.15)
caqe-pre(3.53)
Caqe-hqspre(3.55)
nanoqbf_hqspre(3.72)
depqbf_pre_QxQBH(4.42)
GhostQ___plain_pcnf_2019(7.28)
GhostQ___cegar_pcnf_2019(7.34)
nanoqbf_bloqqer(19.79)
Caqe-bloqqer-qdo(31.69)
iprover_bloqqer_schedule(118.49)
iprover_bloqqer_single(119.39)