id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
6114	Unit checking scales with O(2^N) in case of large expressions involving +-*/ operators	Rüdiger Franke	Per Östlund	"Open this model with OMEdit and press ""Check Model"":
{{{
  model EndlessCheck
    input Real u1, u2, u3, u4, u5, u6, u7, u8, u9, u10;
    input Real u11, u12, u13, u14, u15, u16, u17, u18, u19, u20;
    input Real u21, u22, u23, u24, u25, u26, u27, u28, u29, u30;
    input Real u31, u32, u33, u34, u35, u36, u37, u38, u39, u40;
    output Real y = u1 + u2 + u3 + u4 + u5 + u6 + u7 + u8 + u9 + u10 +
                    u11 + u12 + u13 + u14 + u15 + u16 + u17 + u18 + u19 + u20 +
                    u21 + u22 + u23 + u24 + u25 + u26 + u27 + u28 + u29 + u30 +
                    u31 + u32 + u33 + u34 + u35 + u36 + u37 + u38 + u39 + u40;
  end EndlessCheck;
}}}"	defect	assigned	normal	2.0.0	New Instantiation	v1.16.0-dev			Lennart Ochel arunkumar palanisamy Martin Sjölund