Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: W5-Umbrella_tbm_25.tex.moduleQ3.7S.000003
Best Solver: depqbf-pre Time: 325.82 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 399.31 - - - -
depqbf-pre(325.82)
depqbf(399.31)