Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m360s2
Best Solver: QuBE7 Time: 0.24 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7-c 1.08 aqme-10 1.8 depqbf-pre 3.88
- - QuBE7-m 1.1 - - depqbf 4.51
- - - - - - struqs-10 6.56
QuBE7(0.24)
QuBE7-c(1.08)
QuBE7-m(1.1)
aqme-10(1.8)
depqbf-pre(3.88)
depqbf(4.51)
struqs-10(6.56)