Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: Qq2k3k3v20v20m160s10
Best Solver: depqbf-pre Time: 0.29 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 0.3 aqme-10 2.02 - -
- - QuBE7-c 0.31 quantor-3.1 2.18 - -
- - QuBE7-m 0.31 - - - -
- - QuBE7 0.35 - - - -
- - struqs-10 1.42 - - - -
depqbf-pre(0.29)
depqbf(0.3)
QuBE7-c(0.31)
QuBE7-m(0.31)
QuBE7(0.35)
struqs-10(1.42)
aqme-10(2.02)
quantor-3.1(2.18)
nenofex-qbfeval10(566.77)