Family Sorting_networks results for solvers
QBFEVAL'10 - Small Hard Track.


SolverTotal timeMean timeStd timeMedian timeIQ range timeSolved/Total
AIGSolve16654.444163.613753.793057.626529.80
aqme-1015634.883908.723128.464038.686138.631
depqbf130115.9232528.9818482.754320021342.040.25
depqbf-pre129605.4232401.3618703.84320021597.290.25
nenofex-qbfeval1030927.147731.787242.387832.9214480.630.75
quantor-3.114923.9937313937.682612.97168.170.75
QuBE738062.729515.685490.3111313.129263.640.25
QuBE7-c67359.1416839.7810443.7119690.0516731.730.25
QuBE7-m55309.2313827.318394.2216376.9513062.790.25
struqs-101728004320004320000