Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: b20_PR_9_90
Best Solver: depqbf_prefix_opt_qdo Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Hiqqer2019_3 0.63
- - - - - - Hiqqer2019_2 0.67
- - - - - - Hiqqer2019_1 0.68
- - - - - - caqe-pre 0.95
- - - - - - Caqe-hqspre 0.98
- - - - - - Qute_opt500 1.07
- - - - - - Qute_default 1.08
- - - - - - Qute_rrs 1.15
- - - - - - depqbf_pre_QxQBH 1.21
- - - - - - Caqe-bloqqer-qdo 2.67
- - - - - - GhostQ___cegar_pcnf_2019 3.09
- - - - - - GhostQ___plain_pcnf_2019 3.09
depqbf_prefix_opt_qdo(0.04)
Hiqqer2019_3(0.63)
Hiqqer2019_2(0.67)
Hiqqer2019_1(0.68)
caqe-pre(0.95)
Caqe-hqspre(0.98)
Qute_opt500(1.07)
Qute_default(1.08)
Qute_rrs(1.15)
depqbf_pre_QxQBH(1.21)
Caqe-bloqqer-qdo(2.67)
GhostQ___cegar_pcnf_2019(3.09)
GhostQ___plain_pcnf_2019(3.09)