Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m200s4
Best Solver: depqbf-pre Time: 1.5 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 1.58 struqs-10 8.55 - -
- - aqme-10 1.83 quantor-3.1 9.61 - -
- - QuBE7-c 2.4 - - - -
- - QuBE7-m 2.52 - - - -
- - QuBE7 2.92 - - - -
depqbf-pre(1.5)
depqbf(1.58)
aqme-10(1.83)
QuBE7-c(2.4)
QuBE7-m(2.52)
QuBE7(2.92)
struqs-10(8.55)
quantor-3.1(9.61)