Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_24.tex.module.000131
Best Solver: depqbf-pre Time: 6.4 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 7.18 - - AIGSolve 68.11
- - QuBE7 9.53 - - - -
- - aqme-10 15.69 - - - -
- - qmaiga 19.59 - - - -
- - QuBE7-c 27.26 - - - -
- - QuBE7-m 29.13 - - - -
depqbf-pre(6.4)
depqbf(7.18)
QuBE7(9.53)
aqme-10(15.69)
qmaiga(19.59)
QuBE7-c(27.26)
QuBE7-m(29.13)
AIGSolve(68.11)