Nr Event Target State ID
1 SETUP_CONSTANTS(hmin=2.0,hmax=4.0,δ=0.5,closingTime=4.0) State 0 2 INITIALISATION(a=0.0,level=3.0,valve=closed) State 1 3 FlowConstantValveAperture(1.0,3.0) State 4 4 FlowConstantValveAperture(1.0,2.9405960199202656) State 7 5 FlowConstantValveAperture(1.0,2.882368317456969) State 10 6 FlowConstantValveAperture(1.0,2.8252936007527456) State 13 7 FlowConstantValveAperture(1.0,2.7693490391599065) State 16 8 FlowConstantValveAperture(1.0,2.714512254107878) State 19 9 FlowConstantValveAperture(1.0,2.6607613101514715) State 22 10 FlowConstantValveAperture(1.0,2.6080747061964162) State 25 11 FlowConstantValveAperture(1.0,2.5564313668986327) State 28 12 FlowConstantValveAperture(1.0,2.5058106342338147) State 31 13 ValveCanOpen State 35 14 FlowOpeningValve(1.0,2.4561922592339442) State 38 15 FlowOpeningValve(1.0,-1.3424436061125662) State 41 16 FlowOpeningValve(1.0,-5.065861441700674) State 44 17 FlowOpeningValve(1.0,-8.715550664310847) State 47 18 ValveOpened State 48 19 FlowConstantValveAperture(1.0,-12.292971198295302) State 51 20 FlowConstantValveAperture(1.0,-12.049554059567209) State 54 21 FlowConstantValveAperture(1.0,-11.810956903125804) State 57 22 FlowConstantValveAperture(1.0,-11.577084286927176) State 60 23 ValveCanClose State 64 24 FlowClosingValve(1.0,-11.347842658806501) State 67 25 FlowClosingValve(1.0,-7.373140319055935) State 70 26 FlowClosingValve(1.0,-3.4771423588431736) State 73 27 FlowClosingValve(1.0,0.34170967296319965) State 76 28 ValveClosed State 77 29 FlowConstantValveAperture(1.0,4.0849433680946134) State 80 30 FlowConstantValveAperture(1.0,4.004056069939568) State 83 31 FlowConstantValveAperture(1.0,3.924770447600625) State 86 32 FlowConstantValveAperture(1.0,3.8470547857716926) State 89 33 FlowConstantValveAperture(1.0,3.7708779971518167) State 92 34 FlowConstantValveAperture(1.0,3.696209610009845) State 95 35 FlowConstantValveAperture(1.0,3.623019755995329) State 98 36 FlowConstantValveAperture(1.0,3.551279158190786) State 101 37 FlowConstantValveAperture(1.0,3.480959119400539) State 104 38 FlowConstantValveAperture(1.0,3.4120315106714596) State 107 39 FlowConstantValveAperture(1.0,3.344468760041009) State 110 40 FlowConstantValveAperture(1.0,3.2782438415080857) State 113 41 FlowConstantValveAperture(1.0,3.2133302642222663) State 116 42 FlowConstantValveAperture(1.0,3.1497020618871105) State 119 43 FlowConstantValveAperture(1.0,3.0873337823732974) State 122 44 FlowConstantValveAperture(1.0,3.026200477537433) State 125 45 FlowConstantValveAperture(1.0,2.966277693242461) State 128 46 FlowConstantValveAperture(1.0,2.9075414595756826) State 131 47 FlowConstantValveAperture(1.0,2.849968281260471) State 134 48 FlowConstantValveAperture(1.0,2.7935351282578473) State 137 49 FlowConstantValveAperture(1.0,2.738219426554158) State 140 50 FlowConstantValveAperture(1.0,2.68399904913117) State 143 51 FlowConstantValveAperture(1.0,2.6308523071149654) State 146 52 FlowConstantValveAperture(1.0,2.5787579411001054) State 149 53 FlowConstantValveAperture(1.0,2.527695112645583) State 152 54 ValveCanOpen State 156 55 FlowOpeningValve(1.0,2.47764339593917) State 159 56 FlowOpeningValve(1.0,-1.3214172303731817) State 162 57 FlowOpeningValve(1.0,-5.045251416096479) State 165 58 FlowOpeningValve(1.0,-8.695348744556798) State 168 59 ValveOpened State 169 60 FlowConstantValveAperture(1.0,-12.273169303354132) State 172 61 FlowConstantValveAperture(1.0,-12.030144268416914) State 175 62 FlowConstantValveAperture(1.0,-11.791931451591124) State 178