Empirical Evaluation of: Proving Non-Termination via Loop Acceleration


Running our Tool LoAT

We provide a pre-compiled binary of LoAT (Linux, 64 bit).

Evaluation

Below we provide tables with the detailed results of our benchmarks: