Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_26.tex.module.000021
Best Solver: depqbf Time: 104.66 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 126.41 QuBE7 664.8 QuBE7-m 1131.95
depqbf(104.66)
depqbf-pre(126.41)
QuBE7(664.8)
QuBE7-m(1131.95)