Fixed bisimulation experiments