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* in 2022. You can find the paper here and the code here.

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.