Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: s38584_PR_8_50
Best Solver: depqbf_prefix_opt_qdo Time: 0.61 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Hiqqer2019_1 2.25 Hiqqer2019_3 3.14 GhostQ___cegar_pcnf_2019 7.45
- - Caqe-bloqqer-qdo 2.28 Hiqqer2019_2 3.52 - -
- - Qute_default 2.62 depqbf_pre_QxQBH 3.86 - -
- - caqe-pre 2.69 GhostQ___plain_pcnf_2019 4.54 - -
- - Qute_opt500 2.69 - - - -
- - Caqe-hqspre 2.7 - - - -
- - Qute_rrs 2.7 - - - -
depqbf_prefix_opt_qdo(0.61)
Hiqqer2019_1(2.25)
Caqe-bloqqer-qdo(2.28)
Qute_default(2.62)
caqe-pre(2.69)
Qute_opt500(2.69)
Caqe-hqspre(2.7)
Qute_rrs(2.7)
Hiqqer2019_3(3.14)
Hiqqer2019_2(3.52)
depqbf_pre_QxQBH(3.86)
GhostQ___plain_pcnf_2019(4.54)
GhostQ___cegar_pcnf_2019(7.45)