Robustness distributions in neural network verification