Experimental data for the paper "Analyzing and Predicting Verification of Data-Aware Process Models -- a Case Study with Spectrum Auctions"

These are the experimental data for the paper > Ordoni, Elaheh, Jakob Bach, and Ann-Katrin Fleck. "Analyzing and Predicting Verification of Data-Aware Process Models--A Case Study With Spectrum Auctions" published by [*IEEE Access*](https://ieeeaccess.ieee.org/) in 2022. You can find the paper [here](https://www.doi.org/10.1109/ACCESS.2022.3154445) and the code [here](https://github.com/Jakob-Bach/Analyzing-Auction-Verification). See the `README` for details. From the raw experimental data, we also extracted and pre-processed a smaller dataset that is suitable for training prediction models. This prediction dataset is available under the name `Auction Verification` in the [UCI Machine Learning Repository](https://archive-beta.ics.uci.edu/ml/datasets/auction+verification).