I confirm I can reproduce the firedrake results. I'll try to have a poke to see if I can work out what is going wrong.

David

On Wed, 1 Jun 2016 at 09:52 Mitchell, Lawrence <lawrence.mitchell@imperial.ac.uk> wrote:

On 01/06/16 09:44, Fabio Luporini wrote:
> Hi Justin,
>
> since you're talking about possible issues with
> optimised/non-optimised Firedrake, I checked if this had something to
> do with COFFEE, but it really seems it doesn't, so I'm not sure what's
> going on.

Different type of optimisation!

Lawrence