Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: incrementer-enc06-nonuniform-depth-25
Best Solver: depqbf_prefix_opt_qdo Time: 1.54 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 2.49 GhostQ___cegar_pcnf_2019 8.48 Caqe-bloqqer-qdo 41.22
- - Hiqqer2019_3 3.3 GhostQ___plain_pcnf_2019 8.48 depqbf_pre_QxQBH 65.09
- - caqe-pre 3.42 - - - -
- - Qute_rrs 3.49 - - - -
- - Caqe-hqspre 3.5 - - - -
- - Qute_default 3.57 - - - -
- - Qute_opt500 3.58 - - - -
depqbf_prefix_opt_qdo(1.54)
Hiqqer2019_1(2.49)
Hiqqer2019_3(3.3)
caqe-pre(3.42)
Qute_rrs(3.49)
Caqe-hqspre(3.5)
Qute_default(3.57)
Qute_opt500(3.58)
GhostQ___cegar_pcnf_2019(8.48)
GhostQ___plain_pcnf_2019(8.48)
Caqe-bloqqer-qdo(41.22)
depqbf_pre_QxQBH(65.09)
Hiqqer2019_2(168.1)