Multiple Error Analysis (MEA) stands for automatic violation witnesses filtering.
Usage:

./scripts/mea.py -d <directory with violation witnesses>

All unique violation witnesses will be printed as a result.