Sota solver details
Prenex CNF Track

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

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - Qute_default 11.09
- - - - - - Caqe-hqspre 13.66
- - - - - - caqe-pre 13.71
- - - - - - GhostQ___cegar_pcnf_2019 18.64
- - - - - - Qute_rrs 21.92
depqbf_prefix_opt_qdo(0.56)
Qute_default(11.09)
Caqe-hqspre(13.66)
caqe-pre(13.71)
GhostQ___cegar_pcnf_2019(18.64)
Qute_rrs(21.92)
depqbf_pre_QxQBH(61.78)
Caqe-bloqqer-qdo(137.75)