Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: ssa7552-159-90
Best Solver: depqbf-pre Time: 1.79 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - depqbf 2.76 - - - -
- - aqme-10 4.21 - - - -
depqbf-pre(1.79)
depqbf(2.76)
aqme-10(4.21)
QuBE7-m(333.71)
QuBE7(343.52)
QuBE7-c(362.51)