Sota solver details
QBFEVAL'10 - Small Hard Track.

Instance: sortnetsort9.v.stepl.006
Best Solver: quantor-3.1 Time: 5009.75 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - aqme-10 6516.65 - - - -
- - nenofex-qbfeval10 14932.9 - - - -
quantor-3.1(5009.75)
aqme-10(6516.65)
nenofex-qbfeval10(14932.9)