Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Core1108_tbm_09.tex.moduleQ3.9S.000001
Best Solver: depqbf-pre Time: 386.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 431.15 - - - -
depqbf-pre(386.22)
depqbf(431.15)