Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_05.tex.module.000064
Best Solver: depqbf Time: 130.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 135.88 - - - -
- - QuBE7 495.02 - - - -
depqbf(130.3)
depqbf-pre(135.88)
QuBE7(495.02)