Add bigger testcases. Also change the default timeout to 100 seconds.
Use a vector for visitedVariables instead of an unordered_map. Gain of 15-20%.