Update tplser.py

Added more statistics to summary. Fixed evaluations for definitions and configurations.