Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m280s2
Best Solver: aqme-10 Time: 2.22 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-pre 18.44 QuBE7 33.65
- - - - depqbf 19.93 QuBE7-c 45.02
- - - - - - QuBE7-m 51.76
- - - - - - struqs-10 100.64
- - - - - - quantor-3.1 171.23
aqme-10(2.22)
depqbf-pre(18.44)
depqbf(19.93)
QuBE7(33.65)
QuBE7-c(45.02)
QuBE7-m(51.76)
struqs-10(100.64)
quantor-3.1(171.23)