Sota solver details
QBFEVAL'10 - Competitive Track.

Instance: ring_r6_ser---16_
Best Solver: quantor-3.1 Time: 585.96 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
quantor-3.1(585.96)