[ixp1200] Wrong results in Workbench