Instance names: changed agent abbreviation from agn to agt (issue #89)