Sota solver details
Prenex CNF Track

Instance: W4-Umbrella_tbm_26.tex.moduleQ3.7S.000003
Best Solver: depqbf_prefix_opt_qdo Time: 1.69 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___cegar_pcnf_2019 3.38 - - depqbf_pre_QxQBH 65.16
- - Caqe-hqspre 6.91 - - Qute_default 115.16
- - caqe-pre 6.96 - - - -

depqbf_prefix_opt_qdo(1.69)
GhostQ___cegar_pcnf_2019(3.38)
Caqe-hqspre(6.91)
caqe-pre(6.96)
depqbf_pre_QxQBH(65.16)
Qute_default(115.16)
Caqe-bloqqer-qdo(204.03)