Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m320s3
Best Solver: aqme-10 Time: 2.28 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - depqbf-pre 22.68 depqbf 27.45
- - - - - - QuBE7 43.22
- - - - - - QuBE7-c 107.45
- - - - - - QuBE7-m 138.28
aqme-10(2.28)
depqbf-pre(22.68)
depqbf(27.45)
QuBE7(43.22)
QuBE7-c(107.45)
QuBE7-m(138.28)
struqs-10(228.87)