Runs regression tests for Therakles solver