Sota solver details
Prenex CNF Track

Instance: W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
Best Solver: depqbf_prefix_opt_qdo Time: 3.68 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - GhostQ___cegar_pcnf_2019 16.51 Caqe-hqspre 25.6 depqbf_pre_QxQBH 65.81
- - - - caqe-pre 25.61 Qute_rrs 68.93
- - - - Qute_default 31.62 - -
depqbf_prefix_opt_qdo(3.68)
GhostQ___cegar_pcnf_2019(16.51)
Caqe-hqspre(25.6)
caqe-pre(25.61)
Qute_default(31.62)
depqbf_pre_QxQBH(65.81)
Qute_rrs(68.93)
Caqe-bloqqer-qdo(606.17)