Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_25.tex.module.000084
Best Solver: depqbf Time: 11.53 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 12.05 AIGSolve 82.79 QuBE7 155.49
- - - - aqme-10 90.78 QuBE7-c 184.54
- - - - - - QuBE7-m 189.57
- - - - - - qmaiga 253.63
depqbf(11.53)
depqbf-pre(12.05)
AIGSolve(82.79)
aqme-10(90.78)
QuBE7(155.49)
QuBE7-c(184.54)
QuBE7-m(189.57)
qmaiga(253.63)