BGP Topology

This dataset includes synthesized network configurations designed for evaluating network verifiers, spanning wide-area networks (WAN) and data center networks (DCN). For WAN, topologies range from 34 to 755 routers, derived from both direct selection and synthesis based on topologies from the Topology Zoo. Base configurations for each topology are generated following methodologies from prior studies. For DCN, configurations are based on the fat-tree architecture, adhering to RFC 7938 guidelines for BGP connectivity, with fat-tree structures ranging from 4-port to 20-port switches. To simulate real-world scenarios, we introduce controlled configuration errors to emulate invariant violations across both WAN and DCN setups. This dataset provides a comprehensive resource for network configuration analysis and validation.