Update run-solvers.py

Fixed a syntax error in line 27
Merge pull request #2360 from twobitlogic/master

Update run-solvers.py