Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v50v50m200s2
Best Solver: aqme-10 Time: 1.85 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7 4.38 QuBE7-c 13.3 depqbf 31.84
- - - - depqbf-pre 15.05 struqs-10 51.67
- - - - QuBE7-m 15.63 quantor-3.1 105.66
aqme-10(1.85)
QuBE7(4.38)
QuBE7-c(13.3)
depqbf-pre(15.05)
QuBE7-m(15.63)
depqbf(31.84)
struqs-10(51.67)
quantor-3.1(105.66)