Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_21.tex.module.000079
Best Solver: AIGSolve Time: 94.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 144.67 QuBE7 773.29 - -
- - qmaiga 161.42 - - - -
- - depqbf-pre 165.21 - - - -
- - aqme-10 180.72 - - - -
AIGSolve(94.37)
depqbf(144.67)
qmaiga(161.42)
depqbf-pre(165.21)
aqme-10(180.72)
QuBE7(773.29)