Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Core1108_tbm_21.tex.module.000030
Best Solver: depqbf Time: 88.37 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf-pre 92.87 QuBE7 452.43 qmaiga 976.87
- - - - - - QuBE7-c 1155.6
depqbf(88.37)
depqbf-pre(92.87)
QuBE7(452.43)
qmaiga(976.87)
QuBE7-c(1155.6)