Published August 4, 2021
| Version v1
Dataset
Open
Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances
- 1. University of Glasgow
Description
A set of 11176 test instances for comparing the existing SAT solver found in BigraphER with the new Subgraph based solver using the Glasgow subgraph solver.
See README for details.
Also included in results.tar.xz are those presented in the paper.
Files
Files
(14.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:ea4ec527c0aa55ce6504bc93260cffc0
|
14.3 MB | Download |
|
md5:a93677359aafc4c1ca5124a4b3ec9e11
|
454.9 kB | Download |