Sota solver details
QBFEVAL'08

Instance: sortnetsort6.v.stepl.006
Best Solver: quantor3.0 Time: 0.12 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - Nenofex 0.28 AQME-1NN 1.06 ssolveC 8.61
- - - - - - ssolveB 8.81
- - - - - - ssolve-A 9.43
quantor3.0(0.12)
Nenofex(0.28)
AQME-1NN(1.06)
ssolveC(8.61)
ssolveB(8.81)
ssolve-A(9.43)
QuBE6.1(17.7)