Abstract: 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...