Hi Andreas: > On 11 Nov 2014, at 18:00, Andreas Woess <andreas.woess at jku.at> wrote: > > Should be fixed now. Had a brief look and indeed, the problem is gone on the investigated benchmark. Thanks a lot Stefan -- Stefan Marr INRIA Lille - Nord Europe http://stefan-marr.de/research/