Attention, transition monoids of non deterministic automata is experimental.
A previous bug introduce errors when the service was used for too long. It is hopefully corrected and the server should stay online indefinitely.
If you notice another bug, please send me a mail.
Note that you can also use the Python package pysemigroup. If you want some extra analysis or new varieties you can simply ask as well.