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 · souffle_subprocess

Soufflé (Datalog)

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

Timing phases

The highlighted phase is the query time reported in the paper.
DatalogToCPP
DatalogToCPPRealTime
Compile
CompileRealTime
InstanceLoading
InstanceLoadingRealTime
LoadingFact
LoadingFactRealTime
Query
QueryRealTime
WritingResult
WritingResultRealTime
descriptor.yaml
Changes apply on the next run. YAML is validated before saving.
⌘S