Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Umbrella_tbm_14.tex.moduleQ2.2S.000001
Best Solver: depqbf-pre Time: 1.52 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 1.64 - - QuBE7-m 20.09
- - - - - - QuBE7-c 21.37
- - - - - - QuBE7 42.94
- - - - - - aqme-10 106.3
depqbf-pre(1.52)
depqbf(1.64)
QuBE7-m(20.09)
QuBE7-c(21.37)
QuBE7(42.94)
aqme-10(106.3)