PING issues.fast-downward.org (131.152.189.38) 56(84) bytes of data.
64 bytes from dmi-ai-fdnwd.dmi.unibas.ch (131.152.189.38): icmp_seq=1 ttl=56 time=15.0 ms
64 bytes from dmi-ai-fdnwd.dmi.unibas.ch (131.152.189.38): icmp_seq=2 ttl=56 time=14.7 ms
64 bytes from dmi-ai-fdnwd.dmi.unibas.ch (131.152.189.38): icmp_seq=3 ttl=56 time=14.8 ms

--- issues.fast-downward.org ping statistics ---
3 packets transmitted, 3 received, 0% packet loss, time 2001ms
rtt min/avg/max/mdev = 14.787/14.885/15.054/0.184 ms