This is the FMP_smt dataset containing SMT-LIB scripts 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 script 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=SMT&p= time: the timestamp of the entry We would appreciate using the following citations if you are using this dataset: @inproceedings{SoaibuzzamanSMT25, author = {Soaibuzzaman and Jan Oliver Ringert}, editor = {Jochen Hoenicke and Mikoláš Janota and Aina Niemetz and Sophie Tourret}, title = {On Writing SMT-LIB Scripts: Metrics and a New Dataset}, booktitle = {23rd International Workshop on Satisfiability Modulo Theories, SMT 2025, Glasgow, UK, August 10–11, 2025, Proceedings}, series = {{CEUR} Workshop Proceedings}, volume = {4008}, pages = {91-102}, publisher = {CEUR-WS.org}, year = {2025}, url = {https://ceur-ws.org/Vol-4008/SMT_paper15.pdf}, }