Datasets
Standard Dataset
Dataset_ScalableEnergyGamesSolversOnGPUs
- Citation Author(s):
-
AndreaFormisano
University of UdineRaffaellaGentiliniUniversity of PerugiaFlavioVellaFree University of Bozen - Submitted by:
- Andrea Formisano
- Last updated:
- Tue, 05/17/2022 - 22:18
- DOI:
- 10.21227/m3ab-xv34
- Data Format:
- Research Article Link:
- License:
95 Views- Categories:
- Keywords:
0 ratings - Please login to submit your rating.
Abstract
Dataset used in experiments reported in the paper "Scalable Energy Games Solvers on GPUs" accepted for publication in IEEE-TPDS
Instructions:
Instances used in esperiments described in "Scalable Energy Games Solvers on GPUs" accepted for publication in IEEE-TPDS (refer to that paper to retrieve energy game solver)
Dataset Files
- Clique dataset synthetic energy games clique.tar.gz (199.48 MB)
- Ladder dataset synthetic energy games ladder.tar.gz (15.89 MB)
- Modelcheching dataset energy games converted from qualitative games modelchecking.tar.gz (1.71 GB)
- Equivalencecheching dataset energy games converted from qualitative games equivchecking.tar.gz (6.33 GB)
