Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m240s6
Best Solver: aqme-10 Time: 1.88 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 8.09 QuBE7-c 13.5 QuBE7-m 25.25
- - depqbf-pre 8.12 QuBE7 14.54 struqs-10 43.05
- - - - - - quantor-3.1 69.03
aqme-10(1.88)
depqbf(8.09)
depqbf-pre(8.12)
QuBE7-c(13.5)
QuBE7(14.54)
QuBE7-m(25.25)
struqs-10(43.05)
quantor-3.1(69.03)