Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m280s9
Best Solver: aqme-10 Time: 2.18 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-pre 13.67 QuBE7 23.74
- - - - depqbf 15.17 QuBE7-m 34.56
- - - - QuBE7-c 20.21 struqs-10 105.07
aqme-10(2.18)
depqbf-pre(13.67)
depqbf(15.17)
QuBE7-c(20.21)
QuBE7(23.74)
QuBE7-m(34.56)
struqs-10(105.07)