The system tests uses the Downward Benchmark Set to test on. A repository with solved instances of the benchmarks are also used for the plan parsing and verification.
This repository was archived by the owner on Oct 16, 2025. It is now read-only.