Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Core1108_tbm_03.tex.module.000039
Best Solver: depqbf Time: 18.07 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 20.17 - - QuBE7-c 452.45
- - aqme-10 37.1 - - QuBE7-m 513
- - QuBE7 42.72 - - - -
depqbf(18.07)
depqbf-pre(20.17)
aqme-10(37.1)
QuBE7(42.72)
QuBE7-c(452.45)
QuBE7-m(513)