Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: x30.0
Best Solver: QuBE7-m Time: 0.26 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7-c 0.26 aqme-10 1.9 - -
- - QuBE7 0.34 - - - -
- - depqbf 0.56 - - - -
- - depqbf-pre 1.07 - - - -
QuBE7-m(0.26)
QuBE7-c(0.26)
QuBE7(0.34)
depqbf(0.56)
depqbf-pre(1.07)
aqme-10(1.9)
quantor-3.1(37.07)
nenofex-qbfeval10(152.59)
struqs-10(709.18)