There is a newer version of the record available.

Published May 5, 2022 | Version 2
Dataset Open

Sibyl Datasets

Authors/Creators

  • 1. Anonymous

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

Files

Files (24.0 GB)

Name Size Download all
md5:e3145ec2037428bea4084f37cbcb59a5
7.5 GB Download
md5:bc32882ec42662d29b9f1ad366d01e30
14.2 GB Download
md5:971fa2175a632f9ed8e385e13c281e89
52.1 MB Download
md5:01c2fb8047368de8fa6411e6089ffd4b
167.5 MB Download
md5:32e06611ae68ca655840a0d6f5c4b5f3
821.4 MB Download
md5:83a8610c6b4ed89945ea95b6d1a15f62
1.2 GB Download