Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_21.tex.module.000049
Best Solver: qmaiga Time: 85.73 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - AIGSolve 90.19 - - QuBE7 894.12
- - depqbf 155.95 - - aqme-10 1048.83
- - depqbf-pre 176.51 - - - -
qmaiga(85.73)
AIGSolve(90.19)
depqbf(155.95)
depqbf-pre(176.51)
QuBE7(894.12)
aqme-10(1048.83)