Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_21.tex.module.000069
Best Solver: AIGSolve Time: 108.82 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - qmaiga 129.27 QuBE7 876.79 - -
- - depqbf 141.71 - - - -
- - depqbf-pre 148.34 - - - -
AIGSolve(108.82)
qmaiga(129.27)
depqbf(141.71)
depqbf-pre(148.34)
QuBE7(876.79)