Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: Core1108_tbm_03.tex.module.000038
Best Solver: depqbf-pre Time: 5.33 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 5.36 - - QuBE7-c 73.7
- - aqme-10 25.29 - - QuBE7-m 73.86
- - QuBE7 25.52 - - - -
depqbf-pre(5.33)
depqbf(5.36)
aqme-10(25.29)
QuBE7(25.52)
QuBE7-c(73.7)
QuBE7-m(73.86)
qmaiga(570.76)