大约是12.5公里。这个距离包括了公园内的园路和沿途的设施。虽然有不同的数据来源提供了略有差异的数值，但根据提供的信息，可以确定一圈的跑步距离大约是12.5公里。