(<class 'ValueError'>, ValueError("invalid literal for int() with base 10: 'SMT2'"), <traceback object at 0x7f18a8aa8d80>)