# Multiple races between tortoise and hare
# Each unit of time, tortoise moves 1 step forward, with probability 3/4 hare moves a random number of steps of 1 to 3, # otherwise, stays in the same position
# Compute the expected value of time elapsed
def f():
var h, t, m, r
assume m >= 0
while n > 0:
h = 0
t = m
while h <= t:
prob(3,1):
r = unif(1,3)
h = h + r
t = t + 1
tick 1
n = n - 1