Experiments for the paper The share Operator for Field-based Coordination, to be submitted on Logical Methods in Computer Science