auction_verification
OpenML dataset with id 44958
No author found.
Full work available at URL: https://api.openml.org/data/v1/download/22111822/auction_verification.arff
Upload date: 22 December 2022
Copyright license: Creative Commons Attribution 4.0 International
Dataset Characteristics
Number of classes: 0
Number of features: 8 (numeric: 6, symbolic: 2 and in total binary: 0 )
Number of instances: 2,043
Number of instances with missing values: 0
Number of missing values: 0
Data Description
This dataset was created to verify properties of an Simultaneous Multi-Round (SMR) auction model. The creators of the dataset use BPMN to model the design of the German 4G spectrum auction to sell 800 MHz band. The auction has four bidders and six products. A random budget is assigned from the range [1, 100] to each bidder for each product. A reserve price of 3 is also defined for all products. Further, each bidder has an individual capacity.
Each instance in the dataset represents a simulation of an auction.
Attribute Description
1. *process.b1.capacity* - an integer in [0, 3], denoting the current capacities of the bidders
2. *process.b2.capacity* - an integer in [0, 3], denoting the current capacities of the bidders
3. *process.b3.capacity* - an integer in [0, 3], denoting the current capacities of the bidders
4. *process.b4.capacity* - an integer in [0, 3], denoting the current capacities of the bidders
5. *property.price* - an integer in [59, 90], denoting the price that is currently verified for the property.product
6. *property.product* - an integer in [1, 6], denoting the currently verified product
7. *property.winner* - an integer in [1, 4], denoting the bidder that is currently verified as winner for the property.product with the property.price. This feature is empty for iterations where the price is not clear yet.
8. *verification.result* - a boolean denoting if current property is satisfied in the underlying Petri Net or not, ignored column
9. *verification.time* - a positive integer, denoting the time (in ms) for verifying the current property against the underlying Petri Net, target feature
