Read-only copy. This public copy of trans-bench is read-only: it shows the published campaigns. Clone the repository to run benchmarks or to edit systems. github.com/Sirneij/trans-bench, branch verified-rerun-2026
Configure

Domains

A domain is a kind of recursive query, such as reachability with avoidance or shortest paths. The default is transitive closure; other domains run over the same systems and topologies.

New domain

domains/
Lowercase letters, digits and underscores.
Start from

Existing domains

Transitive closuredefault
All pairs (x, y) with a path from x to y.

After creating it

  1. Edit domains/<name>/descriptor.yaml: modes, query parameters and output columns.
  2. Add a rule file for the domain to each system that should run it.
  3. Choose the domain on the Settings step of a new experiment.