Sota solver details
QBFEVAL'10 - Small Hard Track.

Instance: sortnetsort7.AE.stepl.005
Best Solver: depqbf-pre Time: 5.42 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - - - QuBE7-c 59.54
- - - - - - QuBE7-m 130.73
- - - - - - depqbf 515.92
depqbf-pre(5.42)
QuBE7-c(59.54)
QuBE7-m(130.73)
depqbf(515.92)
QuBE7(749.99)
aqme-10(1560.71)