Family Sorting_networks results for solvers
QBFEVAL'10 - Competitive Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve4800.19800.03565.6412001199.90.333
aqme-1055.859.3112.242.692.641
depqbf680.71113.45137.6566.7674.291
depqbf-pre3691.53615.26585.67645.31199.890.5
nenofex-qbfeval1091.2115.210.2812.077.671
qmaiga4727.12787.85557.621163.451199.890.5
quantor-3.153.768.9612.452.34.041
QuBE74802800.33565.271200.031199.490.333
QuBE7-c4805.87800.98564.351200.031199.530.333
QuBE7-m4807.82801.3563.921200.041199.460.333
struqs-105027.89837.98514.271200.081168.360.333