Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_26.tex.module.000004
Best Solver: depqbf-pre Time: 0.13 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 0.13 - - struqs-10 7.48
- - QuBE7 0.36 - - - -
- - QuBE7-c 0.43 - - - -
- - QuBE7-m 0.46 - - - -
depqbf-pre(0.13)
depqbf(0.13)
QuBE7(0.36)
QuBE7-c(0.43)
QuBE7-m(0.46)
struqs-10(7.48)
aqme-10(122.65)