Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_14.tex.moduleQ2.1S.000757
Best Solver: depqbf Time: 1.32 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 1.44 - - QuBE7-c 20.09
- - - - - - QuBE7-m 22.63
- - - - - - QuBE7 46.14
- - - - - - aqme-10 99.53
depqbf(1.32)
depqbf-pre(1.44)
QuBE7-c(20.09)
QuBE7-m(22.63)
QuBE7(46.14)
aqme-10(99.53)