Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Core1108_tbm_03.tex.module.000064
Best Solver: depqbf-pre Time: 72.69 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 72.8 - - qmaiga 743.87
- - - - - - QuBE7-c 779.53
- - - - - - QuBE7-m 830.52
- - - - - - QuBE7 962.04
depqbf-pre(72.69)
depqbf(72.8)
qmaiga(743.87)
QuBE7-c(779.53)
QuBE7-m(830.52)
QuBE7(962.04)