Sota solver details
Prenex CNF Track

Instance: incrementer-enc09-nonuniform-depth-15
Best Solver: depqbf_prefix_opt_qdo Time: 0.89 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Rareqs_2018 1.06 GhostQ___cegar_pcnf_2019 4.76 nanoqbf_bloqqer 14.21
- - caqe-pre 1.36 GhostQ___plain_pcnf_2019 4.76 Qute_default 18.16
- - Caqe-hqspre 1.38 - - Caqe-bloqqer-qdo 19.7
- - nanoqbf_hqspre 1.43 - - iprover_bloqqer_single 53.52
- - depqbf_pre_QxQBH 1.83 - - iprover_bloqqer_schedule 53.69
depqbf_prefix_opt_qdo(0.89)
Rareqs_2018(1.06)
caqe-pre(1.36)
Caqe-hqspre(1.38)
nanoqbf_hqspre(1.43)
depqbf_pre_QxQBH(1.83)
GhostQ___cegar_pcnf_2019(4.76)
GhostQ___plain_pcnf_2019(4.76)
nanoqbf_bloqqer(14.21)
Qute_default(18.16)
Caqe-bloqqer-qdo(19.7)
iprover_bloqqer_single(53.52)
iprover_bloqqer_schedule(53.69)
Qute_rrs(92.76)