Sota solver details
QBFEVAL'08

Instance: sortnetsort5.v.stepl.007
Best Solver: quantor3.0 Time: 0.04 s.

CPU Time differences with best solver

x1 x5 x10 x100
Solver Time Solver Time Solver Time Solver Time
- - - - Nenofex 0.24 ssolveB 0.59
- - - - - - QuBE6.1 0.73
- - - - - - AQME-1NN 0.98
- - - - - - ssolveC 1.62
- - - - - - ssolve-A 1.7
quantor3.0(0.04)
Nenofex(0.24)
ssolveB(0.59)
QuBE6.1(0.73)
AQME-1NN(0.98)
ssolveC(1.62)
ssolve-A(1.7)