some examples on ltldo.html are missing
All the examples reading
sample.ltl on https://spot.lrde.epita.fr/ltldo.html have their output missing, and team city reports
Babel evaluation exited with code 2.
sample.ltl is not written.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information