This directory contains Python scripts to measure the speedups,
see run_mgs_timings.py
