Doc: Results
Merge branch 'attempt4' of https://github.com/radke-tum/idp.git into
attempt4

Conflicts:
	pssif/doc/report/pssif-doc.pdf