Azadeh Farzan, Dominik Klumpp, Andreas Podelski: Benchmarks for POPL'24 Paper "Commutativity Simplifies Proofs of Parameterized Programs". Zenodo 2023