DNSWHOIS.INFO - hotcrp.mpi-sws.org

Search for IP or hostnames:

hotcrp.mpi-sws.org checked at 2025-09-11T18:13:54.029Z 321ms 47/47/47 100% R:25

`hotcrp.mpi-sws.org`

MX	`u04mx07.mpi-klsb.mpg.de`
		A	139.19.205.200^{🇩🇪 DFN Deutsches Forschungsnetz e.V.}
			PTR	`u04mx07.mpi-klsb.mpg.de`
MX	`u18mx07.mpi-klsb.mpg.de`
		A	139.19.86.250^{🇩🇪 DFN Deutsches Forschungsnetz e.V.}
			PTR	`srs.mpi-klsb.mpg.de`
			PTR	`u18mx07.mpi-klsb.mpg.de`
A	139.19.86.1^{🇩🇪 DFN Deutsches Forschungsnetz e.V.}
		PTR	`hotcrp.mpi-sws.org`
		PTR	`vrt-23-0470.mpi-sws.org`

	NS	`dns01.manitu.net`
	NS	`dns02.manitu.net`
	NS	`dns0.mpi-klsb.mpg.de`
	NS	`dns1.mpi-klsb.mpg.de`
	MX	`u04mx03.mpi-klsb.mpg.de`
	MX	`u18mx03.mpi-klsb.mpg.de`
	A	139.19.205.208^{🇩🇪 DFN Deutsches Forschungsnetz e.V.}

rank #34851 globally
rank #3954 in the tld

PTR for
`1.86.19.139.in-addr.arpa`

Starts with same word
`hotcrp.com`

hotcrp.mpi-sws.org is configured to point to the IP address 139.19.86.1.

For instance, other host names such as vrt-23-0470.mpi-sws.org share IP numbers with hotcrp.mpi-sws.org.

The mail server setup of hotcrp.mpi-sws.org is identical to that of other domains such as mail.mpi-sws.mpg.de, www.imprs.mpi-inf.de, init.mpg.de, spass-prover.org, and peerreview.mpi-sws.mpg.de.

dbq