Sota solver details
Prenex CNF Track

Instance: W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
Best Solver: Caqe-hqspre Time: 83.59 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - caqe-pre 83.64 - - - -
- - depqbf_prefix_opt_qdo 192.66 - - - -
- - Caqe-bloqqer-qdo 298.97 - - - -
Caqe-hqspre(83.59)
caqe-pre(83.64)
depqbf_prefix_opt_qdo(192.66)
Caqe-bloqqer-qdo(298.97)