removed solver caching to get more fair comparison.
Merge branch 'symfront' of https://github.com/SRA-SiliconValley/jalangi into symfront
new initial values to ease csv creation