This page provides supplementary material for the paper

Reachability Analysis for Termination and Confluence of Rewriting

accepted at TACAS 2019. The experiments summarized in Table 1 of the paper were run on an Amazon EC2 instance model c5.xlarge. More precisely, this means:

4 virtual CPUs
of type 3.0 GHz Intel Xeon Platinum with Intel Advanced Vector Extension 512 (AVX-512) instruction set
each core is run at up to 3.5 GHz using Intel Turbo Boost Technology
8GB of memory
Ubuntu 16.04.1 LTS

TRS Termination

The binaries (compiled for linux), scripts and logs used in the experiments are archived here. In order to reproduce results, please follow README.txt.

CTRS Confluence

The binaries (compiled for linux), scripts and logs used in the experiments are archived here. In order to reproduce results, please follow README.txt.