Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m320s1
Best Solver: aqme-10 Time: 2.44 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-pre 21.81 QuBE7 35.19
- - - - depqbf 24.24 QuBE7-c 62.72
- - - - - - QuBE7-m 75.83
- - - - - - struqs-10 211.68
aqme-10(2.44)
depqbf-pre(21.81)
depqbf(24.24)
QuBE7(35.19)
QuBE7-c(62.72)
QuBE7-m(75.83)
struqs-10(211.68)