[PlayerStage-Gazebo] Running only 2 bots in Gazebo slows it down dramatically


Thread view