Sota solver details
Prenex CNF Track

Instance: incrementer-enc06-nonuniform-depth-33
Best Solver: depqbf_prefix_opt_qdo Time: 5.83 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___cegar_pcnf_2019 11.38 - - nanoqbf_bloqqer 59.34
- - GhostQ___plain_pcnf_2019 11.4 - - Caqe-bloqqer-qdo 63.96
- - - - - - depqbf_pre_QxQBH 83.49
- - - - - - Caqe-hqspre 248.34
- - - - - - caqe-pre 273.57
- - - - - - Rareqs_2018 286.77
- - - - - - iprover_bloqqer_single 506.94
depqbf_prefix_opt_qdo(5.83)
GhostQ___cegar_pcnf_2019(11.38)
GhostQ___plain_pcnf_2019(11.4)
nanoqbf_bloqqer(59.34)
Caqe-bloqqer-qdo(63.96)
depqbf_pre_QxQBH(83.49)
Caqe-hqspre(248.34)
caqe-pre(273.57)
Rareqs_2018(286.77)
iprover_bloqqer_single(506.94)
Qute_default(664.26)