Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v50v50m200s1
Best Solver: aqme-10 Time: 1.86 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7 1.93 - - depqbf-pre 20.83
- - QuBE7-m 4.99 - - depqbf 31.53
- - QuBE7-c 5.97 - - quantor-3.1 180.98
aqme-10(1.86)
QuBE7(1.93)
QuBE7-m(4.99)
QuBE7-c(5.97)
depqbf-pre(20.83)
depqbf(31.53)
quantor-3.1(180.98)
struqs-10(196.83)