Tools:
Subnet:
Reverse DNS (PTR):
www-comp.sosy.ifi.lmu.de
Reverse DNS Zone:
5.0.0.0.0.0.4.0.a.c.4.1.0.0.2.ip6.arpa
Authoritative NS:
acheron.ifi.lmu.de
[129.187.214.135]
[2001:4ca0:4000:1:129:187:214:135]
dns2.lrz.bayern
[141.40.9.211]
[2001:4ca0:0:100:0:53:1:2]
kokytos.rz.ifi.lmu.de
[141.84.214.13]
[2001:4ca0:4000:0:141:84:214:13]
dns1.lrz.de
[129.187.19.183]
[2001:4ca0:0:100:0:53:1:1]
dns3.lrz.eu
[78.128.211.180]
[2001:718:1:1f:50:56ff:feee:180]
Names that resolve
to this address:
(2)
to this address:
(2)
sv-comp.sosy-lab.org
test-comp.sosy-lab.org
Last crawled:
2025-12-17 17:14:37 +0000