No runs

mintatl4 doesn't have any runs yet.