TryFor in Z3 does not stop checking after a given timelimit

I am using the .NET API for Z3. When I create a solver by calling:

Solver s = ctx.MkSolver(ctx.TryFor(ctx.MkTactic("qflia"), TimeLimit));

and give it a TimeLimit of 60 seconds (60,000 milliseconds) for some models approval

s.Check()

does not return after 60 seconds. For some models, it returns a few seconds later, which in my case will not be a problem, but for some models it does not return at all (I canceled the process after 3 days).

How to make Z3 stop checking after a given timelimit?