Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_24.tex.module.000103
Best Solver: depqbf-pre Time: 7.34 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 7.38 - - qmaiga 101.99
- - QuBE7 12.84 - - AIGSolve 160.64
- - aqme-10 19.37 - - - -
- - QuBE7-c 28.82 - - - -
- - QuBE7-m 30.18 - - - -
depqbf-pre(7.34)
depqbf(7.38)
QuBE7(12.84)
aqme-10(19.37)
QuBE7-c(28.82)
QuBE7-m(30.18)
qmaiga(101.99)
AIGSolve(160.64)