Router Naming Convention for gwdg.de, 201110

Regular Expressions:

  1. ^(gr-[a-z]+\d+)-[^\.]+\.gwdg\.de$
  2. ^(gr-[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.23.254+gr-gwdg1-23.gwdg.de
134.76.249.101+gr-gwdg1-fmz1.gwdg.de
134.76.249.185+gr-gwdg1-fvrf-int.gwdg.de
188.1.231.126kr-gwdg.x-win.dfn.de
 
gr-klinikum1
134.76.249.138+gr-klinikum1-theo1.gwdg.de
134.76.249.130+gr-klinikum1.gwdg.de
 
gr-physik1
134.76.249.158+gr-physik1-gwdg1.gwdg.de
 
gr-physio1
134.76.249.142+gr-physio1-theo1.gwdg.de
134.76.249.134+gr-physio1.gwdg.de
 
gr-theo1
134.76.249.149+gr-theo1-stadt1.gwdg.de
134.76.249.106+gr-theo1.gwdg.de