Alex Ozdemir, Gereon Kremer, Cesare Tinelli, Clark Barrett (Stanford University, University of Iowa, Certora)
This artifact contains the log files and data to replicate the experiments in the paper "Satisfiability Modulo Finite Fields" accepted to CAV'23.
This artifact is based on the Murxla artifact by Aina Niemetz, Mathias Preiner, and Clark Barrett.
The artifact is available on Zenodo: https://zenodo.org/record/7865471, with DOI: 10.5281/zenodo.7865471