Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m400s7
Best Solver: depqbf-pre Time: 0.29 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 0.3 QuBE7 1.57 QuBE7-c 3.29
- - - - aqme-10 1.86 QuBE7-m 3.34
- - - - - - struqs-10 11.88
depqbf-pre(0.29)
depqbf(0.3)
QuBE7(1.57)
aqme-10(1.86)
QuBE7-c(3.29)
QuBE7-m(3.34)
struqs-10(11.88)