Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: s15850_PR_8_90
Best Solver: depqbf_prefix_opt_qdo Time: 0.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 0.9 GhostQ___cegar_pcnf_2019 6.91 - -
- - Hiqqer2019_3 0.9 GhostQ___plain_pcnf_2019 6.92 - -
- - Caqe-hqspre 1.52 - - - -
- - caqe-pre 1.54 - - - -
- - Qute_rrs 1.54 - - - -
- - Qute_opt500 1.59 - - - -
- - Qute_default 1.61 - - - -
- - depqbf_pre_QxQBH 1.73 - - - -
- - Hiqqer2019_2 1.82 - - - -
- - Caqe-bloqqer-qdo 2.97 - - - -
depqbf_prefix_opt_qdo(0.7)
Hiqqer2019_1(0.9)
Hiqqer2019_3(0.9)
Caqe-hqspre(1.52)
caqe-pre(1.54)
Qute_rrs(1.54)
Qute_opt500(1.59)
Qute_default(1.61)
depqbf_pre_QxQBH(1.73)
Hiqqer2019_2(1.82)
Caqe-bloqqer-qdo(2.97)
GhostQ___cegar_pcnf_2019(6.91)
GhostQ___plain_pcnf_2019(6.92)