Performance of synthetic testcase

[Martin Sjölund]

model CheckInstantiationLimit
  extends M(i=1);

package P
  constant Integer limit=10;
end P;

model N
  parameter Integer i;
  M m(i=i+1) if i <P.limit;
end N;

model M
  parameter Integer i;
  N n(i=i+1) if i<P.limit;
end M;

end CheckInstantiationLimit;

Scales P.limit^3, see the table below:

100 0.19
200 1.07
400 8.20
500 16.5

[Per Östlund]

This model scales even worse:

model Faculty
  extends N(i = limit);
  constant Integer limit;

  model N
    constant Integer i;
    constant Integer result = if i == 1 then 1 else i * m.result if i > 0;
    M m(i = i - 1) if i > 0;
  end N;

  model M
    constant Integer i;
    constant Integer result = if i == 1 then 1 else i * m.result if i > 0;
    N m(i = i - 1) if i > 0;
  end M;
end Faculty;

model M
  Faculty f(limit = 15);
  constant Integer result = f.result;
end M;

For me it scales like:

limit     time
 5        0.05
10        0.6
15        22