Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m280s8
Best Solver: aqme-10 Time: 2.17 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-pre 15.26 QuBE7-c 30.72
- - - - depqbf 16.99 QuBE7-m 33.16
- - - - - - QuBE7 34.39
- - - - - - struqs-10 103.09
- - - - - - quantor-3.1 178.4
aqme-10(2.17)
depqbf-pre(15.26)
depqbf(16.99)
QuBE7-c(30.72)
QuBE7-m(33.16)
QuBE7(34.39)
struqs-10(103.09)
quantor-3.1(178.4)