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
logic · clingo_python

Clingo (ASP)

Results Benchmark this system
Version
not detected
Input format
lp
rules end in .lp
Recursion modes
3
right, left, double
Credentials
local only
systems/clingo/credentials.yaml

Timing phases

The highlighted phase is the query time reported in the paper.
LoadRules
LoadRulesRealTime
LoadFacts
LoadFactsRealTime
Ground
GroundRealTime
Query
QueryRealTime
Write
WriteRealTime
descriptor.yaml
Changes apply on the next run. YAML is validated before saving.
⌘S