Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Core1108_tbm_09.tex.moduleQ3.2S.000010
Best Solver: depqbf Time: 2.88 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 2.96 - - QuBE7 57.14
- - - - - - aqme-10 77.77
- - - - - - QuBE7-m 88.45
- - - - - - QuBE7-c 106.23
depqbf(2.88)
depqbf-pre(2.96)
QuBE7(57.14)
aqme-10(77.77)
QuBE7-m(88.45)
QuBE7-c(106.23)