Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m280s3
Best Solver: aqme-10 Time: 1.99 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf 11.15 QuBE7 20.2
- - - - depqbf-pre 11.33 QuBE7-c 38.27
- - - - - - QuBE7-m 48.68
- - - - - - struqs-10 103.85
- - - - - - quantor-3.1 150.67
aqme-10(1.99)
depqbf(11.15)
depqbf-pre(11.33)
QuBE7(20.2)
QuBE7-c(38.27)
QuBE7-m(48.68)
struqs-10(103.85)
quantor-3.1(150.67)