Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m280s10
Best Solver: aqme-10 Time: 2.15 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-pre 12.74 QuBE7-m 25.76
- - - - depqbf 13.5 QuBE7 33.74
- - - - QuBE7-c 19.32 struqs-10 94.43
- - - - - - quantor-3.1 163.13
aqme-10(2.15)
depqbf-pre(12.74)
depqbf(13.5)
QuBE7-c(19.32)
QuBE7-m(25.76)
QuBE7(33.74)
struqs-10(94.43)
quantor-3.1(163.13)