tree afe34eaee9e11246acda844e25d6694051991015
parent 8631ee3ca64a8ea3074ab842a703fc9ffb731b67
author margaretha <margaretha@ids-mannheim.de> 1729755829 +0200
committer margaretha <margaretha@ids-mannheim.de> 1729755829 +0200

Added not-timeExceeded to the totalResult constraints.

Change-Id: I5589886571124af8e0f81c9dc4b412bb826450b6