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

Systems

11 engines discovered under systems/. Each one is a descriptor, a connector and a set of rule files; open one to edit them.

Register a system

Alda (DistAlgo)

alda
logic
Connector
alda_subprocess
Version
not detected
Input
pickle · .da
rightleftdouble
No credentials needed Open

Clingo (ASP)

clingo
logic
Connector
clingo_python
Version
not detected
Input
lp · .lp
rightleftdouble
No credentials needed Open

CockroachDB

cockroachdb
db
Connector
cockroachdb
Version
not detected
Input
tsv · .py
verified_2026_v20 wins · 24/24 done
rightleftdouble
Credentials missing Open

DuckDB

duckdb
db
Connector
duckdb
Version
not detected
Input
tsv · .sql
verified_2026_v210 wins · 24/24 done
rightleftdoubledoublerecurring
No credentials needed Open

MariaDB

mariadb
db
Connector
mysqlclient
Version
not detected
Input
tsv · .py
verified_2026_v20 wins · 20/24 done
rightleftdouble
Credentials missing Open

MongoDB

mongodb
db
Connector
pymongo
Version
not detected
Input
tsv · .py
verified_2026_v20 wins · 20/24 done
rightleftdouble
Credentials missing Open

Neo4j

neo4j
db
Connector
neo4j
Version
not detected
Input
tsv · .cypher
verified_2026_v20 wins · 24/24 done
rightleftdouble
Credentials missing Open

PostgreSQL

postgres
db
Connector
psycopg2
Version
not detected
Input
tsv · .py
verified_2026_v20 wins · 24/24 done
rightleftdouble
Credentials missing Open

SingleStore

singlestore
db
Connector
singlestore
Version
not detected
Input
tsv · .py
verified_2026_v20 wins · 14/24 done
rightleftdouble
Credentials missing Open

Soufflé (Datalog)

souffle
logic
Connector
souffle_subprocess
Version
not detected
Input
facts · .dl
rightleftdouble
No credentials needed Open

XSB Prolog

xsb
logic
Connector
subprocess
Version
not detected
Input
lp · .P
verified_2026_v214 wins · 24/24 done
rightleftdouble
No credentials needed Open