Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_26.tex.moduleQ3.2S.000037
Best Solver: depqbf-pre Time: 0.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 0.3 - - - -
depqbf-pre(0.28)
depqbf(0.3)
aqme-10(52.83)
QuBE7-m(212.67)
QuBE7-c(254.61)
QuBE7(382.64)