Abdelhak Lemkhenter PhD Student, Computational Platform Phone +41 31 511 76 00 E-Mail abdelhak.lemkhenter@inf.unibe.ch Postal Address University of Bern Institute of Computer Science Neubrückstrasse 10 3012 Bern