Sota solver details
Prenex CNF Track

Instance: W5-Umbrella_tbm_05.tex.moduleQ3.8S.000001
Best Solver: Caqe-hqspre Time: 89.08 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 89.23 Qute_rrs 788.14 - -
- - depqbf_prefix_opt_qdo 103.28 - - - -
- - Caqe-bloqqer-qdo 140.18 - - - -
Caqe-hqspre(89.08)
caqe-pre(89.23)
depqbf_prefix_opt_qdo(103.28)
Caqe-bloqqer-qdo(140.18)
Qute_rrs(788.14)