Auction Verification
Donated on 2/28/2022
We modeled a simultaneous multi-round auction with BPMN models, transformed the latter to Petri nets, and used a model checker to verify whether certain outcomes of the auction are possible or not.
Dataset Characteristics
Tabular
Subject Area
Computer Science
Associated Tasks
Classification, Regression
Feature Type
-
# Instances
2043
# Features
7
Dataset Information
For what purpose was the dataset created?
The dataset was created as part of a scientific study. The goal was to find out whether one could replace costly verification of complex process models (here: simultaneous multi-round auctions, as used for auctioning frequency spectra) with predictions of the outcome.
What do the instances in this dataset represent?
Each instance represents one verification run. Verification checks whether a particular price is possible for a particular product, and (for only some of the instances) whether a particular bidder might win the product to that price.
Additional Information
Our code to prepare the dataset and to make predictions is available here: https://github.com/Jakob-Bach/Analyzing-Auction-Verification
Has Missing Values?
No
Introductory Paper
By Elaheh Ordoni, Jakob Bach, Ann-Katrin Fleck. 2022
Published in Journal
Variables Table
| Variable Name | Role | Type | Description | Units | Missing Values |
|---|---|---|---|---|---|
| process.b1.capacity | Feature | Integer | Capacity (max number of products to win) of Bidder 1. | no | |
| process.b2.capacity | Feature | Integer | Capacity (max number of products to win) of Bidder 2. | no | |
| process.b3.capacity | Feature | Integer | Capacity (max number of products to win) of Bidder 3. | no | |
| process.b4.capacity | Feature | Integer | Capacity (max number of products to win) of Bidder 4. | no | |
| property.price | Feature | Integer | Price currently verified. | no | |
| property.product | Feature | Integer | Product currently verified. | no | |
| property.winner | Feature | Integer | Bidder currently verified as winner of the product (0 if only price verified). | no | |
| verification.result | Target | Categorical | Binary verification result - is the verified outcome possible? | no | |
| verification.time | Target | Continuous | Runtime of verification procedure. | no |
0 to 9 of 9
Dataset Files
| File | Size |
|---|---|
| data.csv | 74.7 KB |
Reviews
There are no reviews for this dataset yet.
pip install ucimlrepo
from ucimlrepo import fetch_ucirepo # fetch dataset auction_verification = fetch_ucirepo(id=713) # data (as pandas dataframes) X = auction_verification.data.features y = auction_verification.data.targets # metadata print(auction_verification.metadata) # variable information print(auction_verification.variables)
Ordoni, E., Bach, J., Fleck, A., & Bach, J. (2022). Auction Verification [Dataset]. UCI Machine Learning Repository. https://doi.org/10.24432/C52K6N.
Keywords
Creators
Elaheh Ordoni
Karlsruhe Institute of Technology (KIT)
Jakob Bach
Karlsruhe Institute of Technology (KIT)
Ann-Katrin Fleck
Karlsruhe Institute of Technology (KIT)
Jakob Bach
jakob.bach@kit.edu
DOI
License
This dataset is licensed under a Creative Commons Attribution 4.0 International (CC BY 4.0) license.
This allows for the sharing and adaptation of the datasets for any purpose, provided that the appropriate credit is given.