Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_24.tex.moduleQ2.1S.000188
Best Solver: depqbf-pre Time: 19.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 25.85 - - aqme-10 766.41
- - QuBE7-c 56.44 - - - -
- - QuBE7-m 56.54 - - - -
- - QuBE7 91.1 - - - -
depqbf-pre(19.7)
depqbf(25.85)
QuBE7-c(56.44)
QuBE7-m(56.54)
QuBE7(91.1)
aqme-10(766.41)