Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Core1108_tbm_21.tex.moduleQ3.2S.000024
Best Solver: depqbf Time: 3.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 3.22 - - aqme-10 119.92
- - - - - - QuBE7-c 269.27
depqbf(3.04)
depqbf-pre(3.22)
aqme-10(119.92)
QuBE7-c(269.27)
QuBE7-m(626.62)
QuBE7(1014.97)