Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_29.tex.moduleQ2.2S.000001
Best Solver: depqbf-pre Time: 15.25 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 22.29 QuBE7 144.04 AIGSolve 325.4
- - QuBE7-m 33.97 - - qmaiga 909.75
- - QuBE7-c 34.97 - - - -
depqbf-pre(15.25)
depqbf(22.29)
QuBE7-m(33.97)
QuBE7-c(34.97)
QuBE7(144.04)
AIGSolve(325.4)
qmaiga(909.75)