Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
auction_verification - MaRDI portal

Deprecated: Use of MediaWiki\Skin\SkinTemplate::injectLegacyMenusIntoPersonalTools was deprecated in Please make sure Skin option menus contains `user-menu` (and possibly `notifications`, `user-interface-preferences`, `user-page`) 1.46. [Called from MediaWiki\Skin\SkinTemplate::getPortletsTemplateData in /var/www/html/w/includes/Skin/SkinTemplate.php at line 691] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of MediaWiki\Skin\BaseTemplate::getPersonalTools was deprecated in 1.46 Call $this->getSkin()->getPersonalToolsForMakeListItem instead (T422975). [Called from Skins\Chameleon\Components\NavbarHorizontal\PersonalTools::getHtml in /var/www/html/w/skins/chameleon/src/Components/NavbarHorizontal/PersonalTools.php at line 66] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

Deprecated: Use of QuickTemplate::(get/html/text/haveData) with parameter `personal_urls` was deprecated in MediaWiki Use content_navigation instead. [Called from MediaWiki\Skin\QuickTemplate::get in /var/www/html/w/includes/Skin/QuickTemplate.php at line 131] in /var/www/html/w/includes/Debug/MWDebug.php on line 372

auction_verification

From MaRDI portal
Dataset:6037791



OpenML44958MaRDI QIDQ6037791

OpenML dataset with id 44958

Author name not available (Why is that?)

Full work available at URL: https://api.openml.org/data/v1/download/22111822/auction_verification.arff

Upload date: 22 December 2022
Copyright license: No records found.



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

Description

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






This page was built for dataset: auction_verification

Retrieved from "https://mardi.schubotz.org/w/index.php?title=Dataset:6037791&oldid=33271790"
Powered by MediaWiki