last-generated=2023-03-23
statistics-simulation=
{
  "linear": " ",
  "nonlinear": " ",
  "number of continuous time states": "3",
  "numerical Jacobians": "0"
}
time=[0e+00, 1e+00]
cons.y=[1e+01, 1e+01]
booleanPulse.y=[1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 9.999940396364401e-01, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 1e+00, 9.999880792728245e-01, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00, 0e+00]
intDef.y_start=[-2e+00, -2e+00]
intDef.y=[-2e+00, -1.89999997392297e+00, -1.799999947845941e+00, -1.700000040978167e+00, -1.600000014901171e+00, -1.500000007450572e+00, -1.399999962747112e+00, -1.299999955296536e+00, -1.200000029802269e+00, -1.100000059604538e+00, -1.000000014901117e+00, -8.999999701976954e-01, -7.999999850988389e-01, -6.999999403954973e-01, -6.000000298023045e-01, -5.000000596044671e-01, -3.999999701977309e-01, -3.00000029802269e-01, -2.000000745056462e-01, -9.99999776483026e-02, -2.980226099236205e-08, -2.099999839067654e+00, -1.999999988079107e+00, -1.900000017881269e+00, -1.799999898672264e+00, -1.700000047683716e+00, -1.59999992847471e+00, -1.500000107288041e+00, -1.399999988079035e+00, -1.29999986887003e+00, -1.20000016689265e+00, -1.100000047683645e+00, -9.999999284746394e-01, -9.000001072883604e-01, -8.00000047683609e-01, -6.999999284746041e-01, -6.000001668925792e-01, -5.000000476835738e-01, -3.999999582768197e-01, -2.999998688699945e-01, -2.000000625847436e-01, -2.299999916553604e+00, -2.199999916553888e+00, -2.099999976157929e+00, -1.999999976158213e+00, -1.899999856949208e+00, -1.800000035763035e+00, -1.700000035762752e+00, -1.599999916553817e+00, -1.500000095367148e+00, -1.399999976158142e+00, -1.299999856950558e+00, -1.199999856951126e+00, -1.099999737744679e+00, -1.000000214572884e+00, -9.000000953656548e-01, -8.000000357630705e-01, -6.999999165547768e-01, -5.999998569513398e-01, -4.99999737743862e-01, -4.000002443747806e-01, -2.50000014304859e+00, -2.400000143050295e+00, -2.299999904633421e+00, -2.199999904635126e+00, -2.099999666218252e+00, -2.000000262255747e+00, -1.900000143048163e+00, -1.800000023841005e+00, -1.700000023841432e+00, -1.5999999046347e+00, -1.499999785427116e+00, -1.400000262255321e+00, -1.300000143048874e+00, -1.200000143049442e+00, -1.100000023841858e+00, -9.999999046342736e-01, -8.999997854266891e-01, -7.999997258228969e-01, -7.000002026525944e-01, -6.000001430490154e-01, -2.700000071525857e+00, -2.599999833108274e+00, -2.499999833109979e+00, -2.399999833111684e+00, -2.3000001907306e+00, -2.200000190732306e+00, -2.099999952315432e+00, -1.999999952317137e+00, -1.899999833109552e+00, -1.799999713901968e+00, -1.700000309939463e+00, -1.600000190731879e+00, -1.500000071524294e+00, -1.399999952316e+00, -1.299999833109127e+00, -1.199999833109553e+00, -1.100000309939037e+00, -1.000000190731453e+00, -9.000000715241527e-01, -8.00000011920929e-01]
intDef.y_reset_in=[-2e+00, -2.009999990686785e+00, -2.019999981373569e+00, -2.029999972060353e+00, -2.039999962747139e+00, -2.04999995157128e+00, -2.059999944120708e+00, -2.069999932944796e+00, -2.079999925494274e+00, -2.089999910593299e+00, -2.099999903142563e+00, -2.109999895691898e+00, -2.119999888241411e+00, -2.130000119208934e+00, -2.140000104308102e+00, -2.150000089406701e+00, -2.160000089406701e+00, -2.170000074505726e+00, -2.180000059604325e+00, -2.190000059604467e+00, -2.200000044703351e+00, -2.210000044702995e+00, -2.220000029802234e+00, -2.230000014900975e+00, -2.240000014901401e+00, -2.25e+00, -2.260000000000426e+00, -2.269999970197198e+00, -2.279999970197766e+00, -2.289999970198051e+00, -2.299999940396243e+00, -2.309999940395533e+00, -2.319999940395675e+00, -2.32999991059401e+00, -2.339999910593299e+00, -2.349999910593299e+00, -2.359999880791776e+00, -2.369999880791066e+00, -2.380000119208934e+00, -2.390000119208224e+00, -2.400000089406701e+00, -2.410000089406701e+00, -2.42000008940599e+00, -2.430000059604325e+00, -2.440000059604467e+00, -2.450000059603757e+00, -2.460000029801949e+00, -2.470000029802234e+00, -2.480000029802802e+00, -2.489999999999574e+00, -2.5e+00, -2.510000000000284e+00, -2.520000000000568e+00, -2.530000000000852e+00, -2.539999940397274e+00, -2.549999940396421e+00, -2.559999940395497e+00, -2.569999940395568e+00, -2.579999940395853e+00, -2.589999940396137e+00, -2.599999880792842e+00, -2.609999880791989e+00, -2.619999880791137e+00, -2.630000119208863e+00, -2.640000119208011e+00, -2.650000119207158e+00, -2.660000059603863e+00, -2.670000059604147e+00, -2.680000059604432e+00, -2.690000059604503e+00, -2.700000059603579e+00, -2.710000059602726e+00, -2.719999999999148e+00, -2.729999999999432e+00, -2.739999999999716e+00, -2.75e+00, -2.760000000000284e+00, -2.770000000000568e+00, -2.780000000000852e+00, -2.789999940397274e+00, -2.799999940396421e+00, -2.809999940395497e+00, -2.819999940395568e+00, -2.829999940395853e+00, -2.839999940396137e+00, -2.849999880792842e+00, -2.859999880791989e+00, -2.869999880791137e+00, -2.880000119208863e+00, -2.890000119208011e+00, -2.900000119207158e+00, -2.910000059603863e+00, -2.920000059604147e+00, -2.930000059604432e+00, -2.940000059604503e+00, -2.950000059603579e+00, -2.960000059602726e+00, -2.969999999999148e+00, -2.979999999999432e+00, -2.989999999999716e+00, -3e+00]
intWitRes1.y_start=[-2e+00, -2e+00]
intWitRes1.y=[-2e+00, -1.95000004656613e+00, -1.89999997392297e+00, -1.850000020489104e+00, -1.799999947845941e+00, -1.750000003725286e+00, -1.700000040978201e+00, -1.649999977648259e+00, -1.600000014901188e+00, -1.549999970197624e+00, -1.500000007450558e+00, -1.450000044703492e+00, -1.399999962747137e+00, -1.350000000000071e+00, -1.299999955296507e+00, -1.250000029802234e+00, -1.200000029802376e+00, -1.149999985098812e+00, -1.100000059604538e+00, -1.049999940395391e+00, -1.000000014901117e+00, -2.150000062584975e+00, -2.099999898672122e+00, -2.049999973177848e+00, -1.99999997317799e+00, -1.950000047683716e+00, -1.899999928474568e+00, -1.850000077485878e+00, -1.799999958276731e+00, -1.749999958276873e+00, -1.700000107288183e+00, -1.649999988079035e+00, -1.599999988079178e+00, -1.550000017881198e+00, -1.50000001788134e+00, -1.450000017881482e+00, -1.400000047683503e+00, -1.350000047683645e+00, -1.299999928474497e+00, -1.249999928474639e+00, -1.200000077485949e+00, -2.349999886751228e+00, -2.29999988675137e+00, -2.25000003576268e+00, -2.200000035762822e+00, -2.150000035762965e+00, -2.099999946355695e+00, -2.049999946355837e+00, -1.99999994635598e+00, -1.95000009536729e+00, -1.899999976158142e+00, -1.849999976158995e+00, -1.799999856950558e+00, -1.74999985695141e+00, -1.700000154970158e+00, -1.650000035761721e+00, -1.600000035762929e+00, -1.549999916554137e+00, -1.49999991655499e+00, -1.449999916555842e+00, -1.4000000953653e+00, -2.550000023840579e+00, -2.500000023841431e+00, -2.450000023842284e+00, -2.400000023843137e+00, -2.34999978542541e+00, -2.300000083444158e+00, -2.25000008344501e+00, -2.200000083445863e+00, -2.150000083446361e+00, -2.099999845028989e+00, -2.049999845029842e+00, -2.00000014304859e+00, -1.950000143049442e+00, -1.900000023841005e+00, -1.850000023841858e+00, -1.799999904633421e+00, -1.749999904634274e+00, -1.699999904635126e+00, -1.650000083444584e+00, -1.600000083445437e+00, -2.750000011921071e+00, -2.700000011921569e+00, -2.650000011922421e+00, -2.599999773504695e+00, -2.550000071523442e+00, -2.500000071524295e+00, -2.450000071525147e+00, -2.400000071526e+00, -2.349999833108273e+00, -2.299999833109126e+00, -2.250000131127873e+00, -2.200000131128726e+00, -2.150000131129579e+00, -2.099999892711498e+00, -2.049999892712705e+00, -1.999999892713558e+00, -1.950000190732305e+00, -1.900000071523869e+00, -1.850000071524721e+00, -1.799999952316284e+00]
intWitRes1.y_reset_in=[-2e+00, -2.009999990686785e+00, -2.019999981373569e+00, -2.029999972060353e+00, -2.039999962747139e+00, -2.04999995157128e+00, -2.059999944120708e+00, -2.069999932944796e+00, -2.079999925494274e+00, -2.089999910593299e+00, -2.099999903142563e+00, -2.109999895691898e+00, -2.119999888241411e+00, -2.130000119208934e+00, -2.140000104308102e+00, -2.150000089406701e+00, -2.160000089406701e+00, -2.170000074505726e+00, -2.180000059604325e+00, -2.190000059604467e+00, -2.200000044703351e+00, -2.210000044702995e+00, -2.220000029802234e+00, -2.230000014900975e+00, -2.240000014901401e+00, -2.25e+00, -2.260000000000426e+00, -2.269999970197198e+00, -2.279999970197766e+00, -2.289999970198051e+00, -2.299999940396243e+00, -2.309999940395533e+00, -2.319999940395675e+00, -2.32999991059401e+00, -2.339999910593299e+00, -2.349999910593299e+00, -2.359999880791776e+00, -2.369999880791066e+00, -2.380000119208934e+00, -2.390000119208224e+00, -2.400000089406701e+00, -2.410000089406701e+00, -2.42000008940599e+00, -2.430000059604325e+00, -2.440000059604467e+00, -2.450000059603757e+00, -2.460000029801949e+00, -2.470000029802234e+00, -2.480000029802802e+00, -2.489999999999574e+00, -2.5e+00, -2.510000000000284e+00, -2.520000000000568e+00, -2.530000000000852e+00, -2.539999940397274e+00, -2.549999940396421e+00, -2.559999940395497e+00, -2.569999940395568e+00, -2.579999940395853e+00, -2.589999940396137e+00, -2.599999880792842e+00, -2.609999880791989e+00, -2.619999880791137e+00, -2.630000119208863e+00, -2.640000119208011e+00, -2.650000119207158e+00, -2.660000059603863e+00, -2.670000059604147e+00, -2.680000059604432e+00, -2.690000059604503e+00, -2.700000059603579e+00, -2.710000059602726e+00, -2.719999999999148e+00, -2.729999999999432e+00, -2.739999999999716e+00, -2.75e+00, -2.760000000000284e+00, -2.770000000000568e+00, -2.780000000000852e+00, -2.789999940397274e+00, -2.799999940396421e+00, -2.809999940395497e+00, -2.819999940395568e+00, -2.829999940395853e+00, -2.839999940396137e+00, -2.849999880792842e+00, -2.859999880791989e+00, -2.869999880791137e+00, -2.880000119208863e+00, -2.890000119208011e+00, -2.900000119207158e+00, -2.910000059603863e+00, -2.920000059604147e+00, -2.930000059604432e+00, -2.940000059604503e+00, -2.950000059603579e+00, -2.960000059602726e+00, -2.969999999999148e+00, -2.979999999999432e+00, -2.989999999999716e+00, -3e+00]
intWitRes2.y_start=[-5e+00, -5e+00]
intWitRes2.y=[-5e+00, -4.949999808147577e+00, -4.900000093132206e+00, -4.849999901279894e+00, -4.800000186264413e+00, -4.750000003725375e+00, -4.699999802559781e+00, -4.650000096857513e+00, -4.599999895692111e+00, -4.550000208615777e+00, -4.500000007450736e+00, -4.449999806284985e+00, -4.400000081956107e+00, -4.34999988079135e+00, -4.300000193715015e+00, -4.250000029802944e+00, -4.199999791384223e+00, -4.150000104307889e+00, -4.099999940396101e+00, -4.050000178813685e+00, -4.000000014901472e+00, -2.150000062584975e+00, -2.099999898672122e+00, -2.049999973177848e+00, -1.99999997317799e+00, -1.950000047683716e+00, -1.899999928474568e+00, -1.850000077485878e+00, -1.799999958276731e+00, -1.749999958276873e+00, -1.700000107288183e+00, -1.649999988079035e+00, -1.599999988079178e+00, -1.550000017881198e+00, -1.50000001788134e+00, -1.450000017881482e+00, -1.400000047683503e+00, -1.350000047683645e+00, -1.299999928474497e+00, -1.249999928474639e+00, -1.200000077485949e+00, -2.349999886751228e+00, -2.29999988675137e+00, -2.25000003576268e+00, -2.200000035762822e+00, -2.150000035762965e+00, -2.099999946355695e+00, -2.049999946355837e+00, -1.99999994635598e+00, -1.95000009536729e+00, -1.899999976158142e+00, -1.849999976158995e+00, -1.799999856950558e+00, -1.74999985695141e+00, -1.700000154970158e+00, -1.650000035761721e+00, -1.600000035762929e+00, -1.549999916554137e+00, -1.49999991655499e+00, -1.449999916555842e+00, -1.4000000953653e+00, -2.550000023840579e+00, -2.500000023841431e+00, -2.450000023842284e+00, -2.400000023843137e+00, -2.34999978542541e+00, -2.300000083444158e+00, -2.25000008344501e+00, -2.200000083445863e+00, -2.150000083446361e+00, -2.099999845028989e+00, -2.049999845029842e+00, -2.00000014304859e+00, -1.950000143049442e+00, -1.900000023841005e+00, -1.850000023841858e+00, -1.799999904633421e+00, -1.749999904634274e+00, -1.699999904635126e+00, -1.650000083444584e+00, -1.600000083445437e+00, -2.750000011921071e+00, -2.700000011921569e+00, -2.650000011922421e+00, -2.599999773504695e+00, -2.550000071523442e+00, -2.500000071524295e+00, -2.450000071525147e+00, -2.400000071526e+00, -2.349999833108273e+00, -2.299999833109126e+00, -2.250000131127873e+00, -2.200000131128726e+00, -2.150000131129579e+00, -2.099999892711498e+00, -2.049999892712705e+00, -1.999999892713558e+00, -1.950000190732305e+00, -1.900000071523869e+00, -1.850000071524721e+00, -1.799999952316284e+00]
intWitRes2.y_reset_in=[-2e+00, -2.009999990686785e+00, -2.019999981373569e+00, -2.029999972060353e+00, -2.039999962747139e+00, -2.04999995157128e+00, -2.059999944120708e+00, -2.069999932944796e+00, -2.079999925494274e+00, -2.089999910593299e+00, -2.099999903142563e+00, -2.109999895691898e+00, -2.119999888241411e+00, -2.130000119208934e+00, -2.140000104308102e+00, -2.150000089406701e+00, -2.160000089406701e+00, -2.170000074505726e+00, -2.180000059604325e+00, -2.190000059604467e+00, -2.200000044703351e+00, -2.210000044702995e+00, -2.220000029802234e+00, -2.230000014900975e+00, -2.240000014901401e+00, -2.25e+00, -2.260000000000426e+00, -2.269999970197198e+00, -2.279999970197766e+00, -2.289999970198051e+00, -2.299999940396243e+00, -2.309999940395533e+00, -2.319999940395675e+00, -2.32999991059401e+00, -2.339999910593299e+00, -2.349999910593299e+00, -2.359999880791776e+00, -2.369999880791066e+00, -2.380000119208934e+00, -2.390000119208224e+00, -2.400000089406701e+00, -2.410000089406701e+00, -2.42000008940599e+00, -2.430000059604325e+00, -2.440000059604467e+00, -2.450000059603757e+00, -2.460000029801949e+00, -2.470000029802234e+00, -2.480000029802802e+00, -2.489999999999574e+00, -2.5e+00, -2.510000000000284e+00, -2.520000000000568e+00, -2.530000000000852e+00, -2.539999940397274e+00, -2.549999940396421e+00, -2.559999940395497e+00, -2.569999940395568e+00, -2.579999940395853e+00, -2.589999940396137e+00, -2.599999880792842e+00, -2.609999880791989e+00, -2.619999880791137e+00, -2.630000119208863e+00, -2.640000119208011e+00, -2.650000119207158e+00, -2.660000059603863e+00, -2.670000059604147e+00, -2.680000059604432e+00, -2.690000059604503e+00, -2.700000059603579e+00, -2.710000059602726e+00, -2.719999999999148e+00, -2.729999999999432e+00, -2.739999999999716e+00, -2.75e+00, -2.760000000000284e+00, -2.770000000000568e+00, -2.780000000000852e+00, -2.789999940397274e+00, -2.799999940396421e+00, -2.809999940395497e+00, -2.819999940395568e+00, -2.829999940395853e+00, -2.839999940396137e+00, -2.849999880792842e+00, -2.859999880791989e+00, -2.869999880791137e+00, -2.880000119208863e+00, -2.890000119208011e+00, -2.900000119207158e+00, -2.910000059603863e+00, -2.920000059604147e+00, -2.930000059604432e+00, -2.940000059604503e+00, -2.950000059603579e+00, -2.960000059602726e+00, -2.969999999999148e+00, -2.979999999999432e+00, -2.989999999999716e+00, -3e+00]
