Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: W4-Umbrella_tbm_25.tex.moduleQ3.7S.000003
Best Solver: QuBE7 Time: 3.92 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqme-10 4.08 - - - -
- - depqbf 4.36 - - - -
- - QuBE7-c 4.61 - - - -
- - QuBE7-m 4.65 - - - -
- - depqbf-pre 5.31 - - - -
QuBE7(3.92)
aqme-10(4.08)
depqbf(4.36)
QuBE7-c(4.61)
QuBE7-m(4.65)
depqbf-pre(5.31)