Family Sorting_networks results for solvers
QBFEVAL'08


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AQME-1NN17028.88202.72265.523.96587.10.702
Nenofex27002.9321.46292.65589.65596.630.464
quantor3.06067.9672.24112.0970.1393.910.464
QuBE6.131074.65369.94283.06600593.80.405
ssolve-A41514.42494.22223.4660000.19
ssolveB41528.01494.38222.9860000.19
ssolveC41297.8491.64224.9960000.202