Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_21.tex.module.000129
Best Solver: depqbf Time: 149.7 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 159.12 QuBE7 805.02 - -
- - - - aqme-10 965.41 - -
depqbf(149.7)
depqbf-pre(159.12)
QuBE7(805.02)
aqme-10(965.41)