zenodoopen
Practical Bigraphs via Subgraph Isomorphism - Benchmark Instances
<p>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.</p> <p>See README for details.</p> <p>Also included in results.tar.xz are those presented in the paper.</p>
ShareScore
32/100
Overall dataset sharing score
Score breakdown
These five areas show where the dataset supports — or may limit — practical reuse.
- Stewardship
- 4
- Harmonization
- 4
- Access
- 16
- Reuse readiness
- 8
- Engagement
- 0