This repository is maintained by Daniel Fremont and Kuldeep Meel. Many thanks are due to the people who have submitted benchmarks, or have made them publicly available, allowing us to include them in our collection.
- Supratik Chakraborty
- Daniel Fremont
- Henry Kautz
- Kuldeep Meel
- Markus Rabe
- Moshe Vardi
If we have accidentally omitted you from this list, or you would like us to include contact information, please let us know.