Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m280s5
Best Solver: aqme-10 Time: 2.06 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-pre 13.4 QuBE7 30.79
- - - - depqbf 15.43 QuBE7-m 31.78
- - - - - - QuBE7-c 41.9
- - - - - - struqs-10 99.19
- - - - - - quantor-3.1 159.59
aqme-10(2.06)
depqbf-pre(13.4)
depqbf(15.43)
QuBE7(30.79)
QuBE7-m(31.78)
QuBE7-c(41.9)
struqs-10(99.19)
quantor-3.1(159.59)