Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: T-edau-1
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.82 QuBE7 5.26 aqme-10 6.26
- - QuBE7-m 1.88 - - depqbf 11.76
depqbf-pre(0.62)
QuBE7-c(1.82)
QuBE7-m(1.88)
QuBE7(5.26)
aqme-10(6.26)
depqbf(11.76)