Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Core1108_tbm_03.tex.module.000065
Best Solver: depqbf Time: 65.49 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 65.59 - - QuBE7-m 752.5
- - - - - - qmaiga 758.6
- - - - - - QuBE7-c 761.79
- - - - - - QuBE7 1088.66
depqbf(65.49)
depqbf-pre(65.59)
QuBE7-m(752.5)
qmaiga(758.6)
QuBE7-c(761.79)
QuBE7(1088.66)