Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: incrementer-enc06-nonuniform-depth-20
Best Solver: depqbf_prefix_opt_qdo Time: 1.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 1.68 GhostQ___plain_pcnf_2019 6.39 Caqe-bloqqer-qdo 28.94
- - Hiqqer2019_1 1.74 GhostQ___cegar_pcnf_2019 6.54 - -
- - Caqe-hqspre 1.75 - - - -
- - Qute_rrs 1.8 - - - -
- - Qute_default 1.83 - - - -
- - Qute_opt500 1.84 - - - -
- - depqbf_pre_QxQBH 2.63 - - - -
- - Hiqqer2019_3 2.64 - - - -
depqbf_prefix_opt_qdo(1.22)
caqe-pre(1.68)
Hiqqer2019_1(1.74)
Caqe-hqspre(1.75)
Qute_rrs(1.8)
Qute_default(1.83)
Qute_opt500(1.84)
depqbf_pre_QxQBH(2.63)
Hiqqer2019_3(2.64)
GhostQ___plain_pcnf_2019(6.39)
GhostQ___cegar_pcnf_2019(6.54)
Caqe-bloqqer-qdo(28.94)
Hiqqer2019_2(159.8)