Formal Methods Playground SMT-LIB Dataset

• 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=<permalink>
• 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},
}