Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m320s7
Best Solver: aqme-10 Time: 2.32 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-pre 11.75 QuBE7 33.93
- - - - depqbf 13.53 QuBE7-c 38.79
- - - - struqs-10 20.35 QuBE7-m 57.99
aqme-10(2.32)
depqbf-pre(11.75)
depqbf(13.53)
struqs-10(20.35)
QuBE7(33.93)
QuBE7-c(38.79)
QuBE7-m(57.99)