Sample examples not executable when in tunet WIFI, only when in eduroam Wifi

[folsze]

I am getting the error model service not available after 5 mins of endless loading spinner.

This is not due to syntax errors since it happens even with the samples

the error is a simple timout, no response ever received. The client is however accessible.

I am wondering why all of the calculations are not done in the client. I think there should be some way to make the model checking somehow work on the client-only, without API calls

[thpani]

the error is a simple timout, no response ever received. The client is however accessible.

huh, that's weird. I would assume some routing issue, but I'd have to investigate.
Is it a big blocker for you?

I am wondering why all of the calculations are not done in the client. I think there should be some way to make the model checking somehow work on the client-only, without API calls

This could definitely be done, and if you'd want to make such a contribution, I'd be happy to merge it!
For simplicity, we rely on NuSMV, which supports both CTL and LTL model-checking, on the server-side.