Cora experiments for MFCS 2024

We performed three series of experiments: one with benchmarks from the paper and other LC(S)TRS examples we have collected, one with higher-order benchmarks from the termination problem database, and one with integer TRSs from the termination problem database. All experiments were performed using Z3 as a backend, and a 60 second timeout.

To reproduce the termination experiments with cora, use CORA ⟨benchmark⟩ --termination -d private

And for the public computability experiments, use CORA ⟨benchmark⟩ --computability

LCSTRS benchmarks

	Termination	Computability
YES	21	20
MAYBE	7	8

higher-order unconstrained benchmarks

first-order integer TRS benchmarks