Sota solver details
QBFEVAL'10 - Random QBFs Track.

Instance: T-adeu-5
Best Solver: depqbf-pre Time: 0.44 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - QuBE7-c 1.66 - - depqbf 5.9
- - QuBE7-m 1.91 - - aqme-10 7.7
- - QuBE7 1.94 - - - -
depqbf-pre(0.44)
QuBE7-c(1.66)
QuBE7-m(1.91)
QuBE7(1.94)
depqbf(5.9)
aqme-10(7.7)