PMAT Complexity Check