Sota solver details
QBFEVAL'19 - Prenex CNF Track

Instance: W4-Umbrella_tbm_05.tex.moduleQ3.8S.000001
Best Solver: depqbf_prefix_opt_qdo Time: 0.57 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Qute_default 10.99
- - - - - - caqe-pre 13.69
- - - - - - Caqe-hqspre 13.72
- - - - - - Hiqqer2019_2 15.74
- - - - - - GhostQ___cegar_pcnf_2019 18.56
- - - - - - Hiqqer2019_1 21.18
- - - - - - Qute_rrs 21.7
- - - - - - Hiqqer2019_3 31.04
depqbf_prefix_opt_qdo(0.57)
Qute_default(10.99)
caqe-pre(13.69)
Caqe-hqspre(13.72)
Hiqqer2019_2(15.74)
GhostQ___cegar_pcnf_2019(18.56)
Hiqqer2019_1(21.18)
Qute_rrs(21.7)
Hiqqer2019_3(31.04)
depqbf_pre_QxQBH(61.74)
Caqe-bloqqer-qdo(137.93)