Dataset containing Alloy models edited and analyzed on the Formal Methods Playground at https://play.formal-methods.net/. Each entry of the dataset contains: id: the unique identifier of the entry parent: the parent of the entry code: the complete code of the model permalink: the permalink to the model in the Formal Methods Playground. can be accessed by appending to the URL: https://play.formal-methods.net/?check=ALS&p= time: the timestamp of the entry cmd: the index of the command (starting from 1) We would appreciate using the following citations if you are using this dataset: @inproceedings{SoaibuzzamanABZ25, author = {Soaibuzzaman and Salar Kalantari and Jan Oliver Ringert}, editor = {Michael Leuschel and Fuyuki Ishikawa}, title = {On Writing Alloy Models: Metrics and a new Dataset}, booktitle = {11th International Conference on Rigorous State Based Methods, ABZ 2025, Düsseldorf, Germany, June 10, 2025, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {15728}, pages = {1-18}, publisher = {Springer}, year = {2025}, url = {https://doi.org/10.1007/978-3-031-94533-5\_5}, doi = {10.1007/978-3-031-94533-5\_5}, }