Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m400s2
Best Solver: depqbf-pre Time: 0.16 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 0.17 struqs-10 1.29 aqme-10 1.88
- - QuBE7-m 0.25 - - - -
- - QuBE7-c 0.38 - - - -
- - QuBE7 0.38 - - - -
depqbf-pre(0.16)
depqbf(0.17)
QuBE7-m(0.25)
QuBE7-c(0.38)
QuBE7(0.38)
struqs-10(1.29)
aqme-10(1.88)