[PPT] - Benchmarking a Model Checker for Algorithmic Improvements and PowerPoint Presentation