Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m360s5
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 aqme-10 1.9 struqs-10 12.91
- - QuBE7 0.96 - - - -
depqbf-pre(0.29)
depqbf(0.3)
QuBE7(0.96)
aqme-10(1.9)
struqs-10(12.91)
QuBE7-c(39.01)
QuBE7-m(63.72)