Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Core1108_tbm_28.tex.moduleQ2.2S.000003
Best Solver: depqbf-pre Time: 11.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 16.63 QuBE7 87.48 QuBE7-c 129.66
- - qmaiga 35.05 QuBE7-m 115.31 AIGSolve 225.89
- - - - - - aqme-10 786.95
depqbf-pre(11.63)
depqbf(16.63)
qmaiga(35.05)
QuBE7(87.48)
QuBE7-m(115.31)
QuBE7-c(129.66)
AIGSolve(225.89)
aqme-10(786.95)