All the experiments in this section were run on an AMD Ryzen 64-Core Processor with 64GB RAM, under GNU/Linux.
Summaries of the ARepair and Alloy4Fun Benchmarks
Detailed results of the ARepair Benchmark
Detailed results of the Alloy4Fun Benchmark