Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Core1108_tbm_03.tex.module.000056
Best Solver: depqbf Time: 61.88 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 71.43 - - QuBE7-m 750.94
- - - - - - QuBE7-c 757.34
- - - - - - qmaiga 799.09
- - - - - - QuBE7 1111.19
depqbf(61.88)
depqbf-pre(71.43)
QuBE7-m(750.94)
QuBE7-c(757.34)
qmaiga(799.09)
QuBE7(1111.19)