Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_29.tex.module.000078
Best Solver: depqbf Time: 5.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 5.28 AIGSolve 27.09 - -
- - QuBE7 8.34 - - - -
- - aqme-10 14.35 - - - -
- - QuBE7-c 17.84 - - - -
- - qmaiga 19.24 - - - -
- - QuBE7-m 19.88 - - - -
depqbf(5.02)
depqbf-pre(5.28)
QuBE7(8.34)
aqme-10(14.35)
QuBE7-c(17.84)
qmaiga(19.24)
QuBE7-m(19.88)
AIGSolve(27.09)