Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_23.tex.moduleQ1.2S.000001
Best Solver: depqbf-pre Time: 3.55 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 3.75 aqme-10 30.75 - -
- - QuBE7-m 8.11 QuBE7 35.47 - -
- - QuBE7-c 8.61 - - - -
depqbf-pre(3.55)
depqbf(3.75)
QuBE7-m(8.11)
QuBE7-c(8.61)
aqme-10(30.75)
QuBE7(35.47)
quantor-3.1(429.16)