Linked Presentation: Model-Agnostic and Efficient Exploration of Numerical State Space of Real-World TCP Congestion Control Implementations