Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Core1108_tbm_21.tex.moduleQ3.2S.000015
Best Solver: depqbf Time: 2.86 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 3.36 - - aqme-10 152.21
- - - - - - QuBE7-m 243.95
- - - - - - QuBE7-c 268.24
depqbf(2.86)
depqbf-pre(3.36)
aqme-10(152.21)
QuBE7-m(243.95)
QuBE7-c(268.24)
QuBE7(873.23)