Sota solver details
QBFEVAL'08

Instance: sortnetsort10.v.stepl.008
Best Solver: quantor3.0 Time: 12.95 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Nenofex 16.63 AQME-1NN 128.46 - -
quantor3.0(12.95)
Nenofex(16.63)
AQME-1NN(128.46)