Published January 27, 2023
| Version 2.2.1
Dataset
Open
Sibyl Datasets
Authors/Creators
- 1. University of Virginia
- 2. Imperial College London
Description
This upload includes the three datasets used in the experimental evaluation of the algorithm selector Sibyl for the submission "Sibyl: Improving Software Engineering Tools with SMT Selection". We also include the pre-comupted graphs. The artifact for this project can be found on Software Heritage: https://archive.softwareheritage.org/swh:1:dir:bc493ad1d1631b4ae92b007340fdba3df4518526.
Files
Files
(24.3 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:e3145ec2037428bea4084f37cbcb59a5
|
7.5 GB | Download |
|
md5:bc32882ec42662d29b9f1ad366d01e30
|
14.2 GB | Download |
|
md5:971fa2175a632f9ed8e385e13c281e89
|
52.1 MB | Download |
|
md5:a5d731f26d8a39fc71ca99768ee97e53
|
463.1 MB | Download |
|
md5:32e06611ae68ca655840a0d6f5c4b5f3
|
821.4 MB | Download |
|
md5:83a8610c6b4ed89945ea95b6d1a15f62
|
1.2 GB | Download |