Router Naming Convention for gwdg.de, 201708

Regular Expressions:

  1. ^([a-z]+-[a-z]+\d+)-.+\.gwdg\.de$

Statistics:

Legend:

Green

 + Inferred identifier, true positive when evaluated against training data

Orange

 - Inferred identifier, false negative when evaluated against training data

Red

 ! Inferred identifier, false positive when evaluated against training data

Red

 x Inferred identifier, but contains part of IP address literal embedded in hostname
~ False negative, not matched
o No regex matched the interface, but the interface was the only interface in this suffix on the router
* A filter regex matched the interface

Evaluation against training data:

gr-gwdg1
134.76.249.101+gr-gwdg1-fmz1.gwdg.de
134.76.249.193+gr-gwdg1-kvrf-ext.gwdg.de
134.76.250.246+gr-gwdg1-xr-peering.net.gwdg.de
134.76.249.201~gr-gwdg1.gwdg.de
 
xr-gwdg1
134.76.147.14+xr-gwdg1-ext-collector.net.gwdg.de
188.1.231.126kr-goe12-1.x-win.dfn.de
 
xr-theo1
134.76.147.3+xr-theo1-collector.net.gwdg.de