Revision history of "Termination Competition 2025 technical details"

From Termination-Portal.org
Jump to navigationJump to search

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • curprev 08:16, 11 April 2025‎ Ffrohn talk contribs‎ 1,210 bytes +1,210‎ Created page with "== Execution Environment == Starting from 2025, TermComp runs on the RWTH HPC cluster. Tools must be submitted as Docker images. During the competition, the following two co..."
Retrieved from "http://termination-portal.org/wiki/Termination_Competition_2025_technical_details"