Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: T-edau-8
Best Solver: depqbf-pre Time: 0.63 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7-c 2.17 QuBE7 3.39 aqme-10 7.06
- - QuBE7-m 2.22 depqbf 4.21 - -
depqbf-pre(0.63)
QuBE7-c(2.17)
QuBE7-m(2.22)
QuBE7(3.39)
depqbf(4.21)
aqme-10(7.06)