diff --git a/benchmark/problem_stats.py b/benchmark/problem_stats.py old mode 100644 new mode 100755