Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: T-edau-9
Best Solver: depqbf-pre Time: 0.62 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7-c 1.99 QuBE7 5.48 depqbf 14.4
- - QuBE7-m 2.07 aqme-10 5.93 - -
depqbf-pre(0.62)
QuBE7-c(1.99)
QuBE7-m(2.07)
QuBE7(5.48)
aqme-10(5.93)
depqbf(14.4)