platin: bugfixes, remove statistics from PML file (needs adaptions in experiments)