Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: x30.8
Best Solver: QuBE7-c Time: 0.3 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7-m 0.32 aqme-10 1.86 quantor-3.1 19.27
- - QuBE7 0.32 - - - -
- - depqbf 0.85 - - - -
- - depqbf-pre 1.47 - - - -
QuBE7-c(0.3)
QuBE7-m(0.32)
QuBE7(0.32)
depqbf(0.85)
depqbf-pre(1.47)
aqme-10(1.86)
quantor-3.1(19.27)
nenofex-qbfeval10(263.52)