Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: incrementer-enc06-nonuniform-depth-15
Best Solver: depqbf_prefix_opt_qdo Time: 0.72 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Caqe-hqspre 0.91 GhostQ___cegar_pcnf_2019 4.77 Caqe-bloqqer-qdo 19.39
- - caqe-pre 0.91 GhostQ___plain_pcnf_2019 4.77 - -
- - Qute_opt500 1 - - - -
- - Qute_default 1.08 - - - -
- - Qute_rrs 1.08 - - - -
- - Hiqqer2019_1 1.2 - - - -
- - depqbf_pre_QxQBH 1.51 - - - -
- - Hiqqer2019_3 1.64 - - - -
depqbf_prefix_opt_qdo(0.72)
Caqe-hqspre(0.91)
caqe-pre(0.91)
Qute_opt500(1)
Qute_default(1.08)
Qute_rrs(1.08)
Hiqqer2019_1(1.2)
depqbf_pre_QxQBH(1.51)
Hiqqer2019_3(1.64)
GhostQ___cegar_pcnf_2019(4.77)
GhostQ___plain_pcnf_2019(4.77)
Caqe-bloqqer-qdo(19.39)
Hiqqer2019_2(179.88)