Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m280s7
Best Solver: aqme-10 Time: 2.02 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-pre 10.67 QuBE7-c 28.37
- - - - depqbf 10.97 QuBE7-m 33.45
- - - - QuBE7 15.46 struqs-10 76.42
- - - - - - quantor-3.1 120.62
aqme-10(2.02)
depqbf-pre(10.67)
depqbf(10.97)
QuBE7(15.46)
QuBE7-c(28.37)
QuBE7-m(33.45)
struqs-10(76.42)
quantor-3.1(120.62)