Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Core1108_tbm_09.tex.moduleQ3.2S.000005
Best Solver: depqbf Time: 8.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 9.81 QuBE7 58.5 QuBE7-m 103.45
- - - - - - QuBE7-c 130.09
- - - - - - aqme-10 202.35
depqbf(8.63)
depqbf-pre(9.81)
QuBE7(58.5)
QuBE7-m(103.45)
QuBE7-c(130.09)
aqme-10(202.35)