Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: s38584_PR_9_90
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
- - Qute_default 1.38 GhostQ___plain_pcnf_2019 11.29 GhostQ___cegar_pcnf_2019 24.5
- - Hiqqer2019_2 1.41 - - - -
- - Qute_opt500 1.42 - - - -
- - Hiqqer2019_1 1.46 - - - -
- - Qute_rrs 1.46 - - - -
- - Caqe-hqspre 1.67 - - - -
- - caqe-pre 1.7 - - - -
- - Hiqqer2019_3 1.77 - - - -
- - depqbf_pre_QxQBH 1.87 - - - -
- - Caqe-bloqqer-qdo 1.98 - - - -
depqbf_prefix_opt_qdo(1.22)
Qute_default(1.38)
Hiqqer2019_2(1.41)
Qute_opt500(1.42)
Hiqqer2019_1(1.46)
Qute_rrs(1.46)
Caqe-hqspre(1.67)
caqe-pre(1.7)
Hiqqer2019_3(1.77)
depqbf_pre_QxQBH(1.87)
Caqe-bloqqer-qdo(1.98)
GhostQ___plain_pcnf_2019(11.29)
GhostQ___cegar_pcnf_2019(24.5)