Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m280s6
Best Solver: aqme-10 Time: 2.2 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf 18.76 QuBE7 28.47
- - - - depqbf-pre 19 QuBE7-c 38.72
- - - - - - QuBE7-m 49.91
- - - - - - struqs-10 125.45
aqme-10(2.2)
depqbf(18.76)
depqbf-pre(19)
QuBE7(28.47)
QuBE7-c(38.72)
QuBE7-m(49.91)
struqs-10(125.45)