diff --git a/dlmo.mzn b/dlmo.mzn index 293455a..14d83d2 100644 --- a/dlmo.mzn +++ b/dlmo.mzn @@ -7,6 +7,9 @@ float: DLMO_threshold = 13.043; array[Patient] of opt float: dlmo; array[Patient, Horizon] of opt float: sample; +% consistency in terms of STDEV +array[Patient] of opt float: consistency; + test has_dlmo(Patient: pt) = occurs(dlmo[pt]); % --- Derived data --- diff --git a/hbt_stdev.dzn b/hbt_stdev.dzn new file mode 100644 index 0000000..ad2465a --- /dev/null +++ b/hbt_stdev.dzn @@ -0,0 +1,187 @@ +consistency = [ +PT4001: 0.6538955307, +PT4010: 2.098516105, +PT4012: 0.9770853428, +PT4016: 0.5536674264, +PT4017: 0.6488186252, +PT4018: 1.205147689, +PT4019: 1.271898136, +PT4020: 1.112697281, +PT4021: 1.068488028, +PT4022: 1.290994449, +PT4023: <>, +PT4024: 1.427827187, +PT4027: <>, +PT4028: 1.3183684, +PT4029: 1.249867718, +PT4031: 1.431989957, +PT4033: 1.409810674, +PT4035: 1.870033104, +PT4036: 1.708765915, +PT4037: 0.5019802058, +PT4038: 0.5830498177, +PT4039: 0.4394561333, +PT4040: 2.395915285, +PT4042: 0.8353151039, +PT4044: 0.465318347, +PT4048: 0.7319250547, +PT4049: 2.770808718, +PT4050: 0.4166666667, +PT4052: 1.099693319, +PT4053: 0.2863748977, +PT4055: 0.9728456051, +PT4056: 1.457860468, +PT4058: 0.3948410704, +PT4060: 3.12619501, +PT4061: 1.181924043, +PT4062: 0.8993163188, +PT4063: 0.4082482905, +PT4064: <>, +PT4065: 0.8366600265, +PT4066: 0.5307975431, +PT4067: 0.9800085034, +PT4068: 0.9214521551, +PT4069: 0.7704015307, +PT4070: 0.4879500365, +PT4071: 0.5088502446, +PT4072: 1.060922031, +PT4073: 0.6645800679, +PT4076: 2.496060388, +PT4077: 1.37171927, +PT4078: 1.02175412, +PT4081: 1.214942244, +PT4082: 1.105392027, +PT4083: 0.2439750182, +PT4084: 0.7046425789, +PT4085: 0.6725927091, +PT4088: 0.377964473, +PT4090: 1.251586295, +PT4095: 1.642785253, +PT4100: 0.7605692661, +PT4101: 1.047957197, +PT4102: 0.9594972228, +PT4103: 0.6362090103, +PT4105: 1.881161833, +PT4106: 0.7465352067, +PT4107: 2.265817418, +PT4108: 1.248808956, +PT4109: 1.039402301, +PT4110: 1.436140662, +PT4111: 0.7956312591, +PT4112: 1.194536726, +PT4114: 0.679324283, +PT4115: 0.4611206731, +PT4116: 0.7487909125, +PT4117: 0.6601366702, +PT4118: 1.742812147, +PT4119: <>, +PT4121: 1.38443731, +PT4122: 0.5204164999, +PT4123: 0.7830799996, +PT4124: 1.629344011, +PT4126: 0.9046104719, +PT4129: 0.4082482905, +PT4130: 1.695309433, +PT4131: 0.7129007738, +PT4132: 0.3552255413, +PT4133: 0.3464674336, +PT4134: 0.4835248663, +PT4136: 0.4531634836, +PT4137: 0.8880824715, +PT4138: 0.8797546556, +PT4143: 0.7230611733, +PT4145: 0.6850829325, +PT4146: 0.854725427, +PT4147: 1.721990512, +PT4149: 0.6681531048, +PT4150: 0.6244044782, +PT4151: 1.474877809, +PT4153: 1.55724115, +PT4156: 1.045382262, +PT4157: 0.7668133055, +PT4158: 0.1696167482, +PT4159: 1.268122597, +PT4160: 0.7867957925, +PT4162: 0.7859547492, +PT4163: 4.067030949, +PT4164: 0.2041241452, +PT4165: 0.9050490355, +PT4166: 0.9401747558, +PT4167: 1.35420177, +PT4168: 1.462256627, +PT4171: 0.5400617249, +PT4172: 0.4190408549, +PT4173: 0.04349177384, +PT4174: 0.5156287578, +PT4175: 1.557432258, +PT4178: 1.25499004, +PT5001: 0.5345224838, +PT5002: 0.7997602154, +PT5003: 0.8942053313, +PT5004: 1.069044968, +PT5005: 1.718249386, +PT5006: 0.790360242, +PT5009: 0.8521681032, +PT5011: 0.9174239296, +PT5012: 0.7008875703, +PT5013: 1.045113345, +PT5016: 0.8164965809, +PT5018: 2.631652568, +PT5021: 1.219875091, +PT5023: 1.339309524, +PT5024: 1.35729949, +PT5025: 0.9834947406, +PT5026: 2.035108515, +PT5027: 1.069044968, +PT5028: 0.3426283408, +PT6001: 2.273393962, +PT6003: 2.311118742, +PT6004: 0.6454972244, +PT6006: 0.921696159, +PT6007: 1.19636796, +PT6008: 0.9154031696, +PT6009: 1.105541597, +PT6011: 0.8762557127, +PT6012: 1.076492443, +PT6013: 1.336677354, +PT6015: 1.157360846, +PT6016: 1.829812637, +PT6018: 0.5681120688, +PT6019: 2.535269728, +PT6020: 0.3061862178, +PT6021: 1.239239398, +PT6023: 0.2033125152, +PT6024: 1.188987164, +PT6028: 0.5345224838, +PT6029: 0.457520925, +PT6032: 0.8245569598, +PT6039: 1.052679876, +PT6041: 1.158132048, +PT6043: 2.134607135, +PT6044: 2.091887201, +PT6046: 1.609549051, +PT6047: 3.214550254, +PT6048: 3.007266332, +PT6051: 0.9834611163, +PT6052: 0.7543524502, +PT6054: 1.055973184, +PT6056: 0.5565982279, +PT6057: 0.6536729762, +PT6062: 1.112697281, +PT6063: 0.2715573351, +PT6064: 0.8436269017, +PT6069: 2.429971585, +PT6071: 0.6174490961, +PT6072: 1.118300156, +PT6074: 1.390990473, +PT6076: 0.4158722586, +PT6077: 0.4866470968, +PT6081: 0.6811424421, +PT6082: 0.6380256418, +PT6085: 0.5, +PT6088: 0.4461771779, +PT6092: 0.3037464481, +PT6093: 1.109721353, +PT6094: 0.6206861709, +PT6096: 0.7867957925, +PT6099: 0.8261595987,]; diff --git a/slo_stdev.dzn b/slo_stdev.dzn new file mode 100644 index 0000000..122128d --- /dev/null +++ b/slo_stdev.dzn @@ -0,0 +1,188 @@ +consistency = [ +PT5001: 1.094720375, +PT5002: 0.7445303196, +PT5003: 1.137387706, +PT5004: 1.254621088, +PT5005: 1.181873681, +PT5006: 0.6156039749, +PT5009: 0.781955898, +PT5011: 0.8670939118, +PT5012: 0.4458509491, +PT5013: 0.8388704928, +PT5016: 0.8164965809, +PT5018: 2.437377049, +PT5021: 1.149390223, +PT5023: 0.6519202405, +PT5024: 1.314097353, +PT5025: 1.135205037, +PT5026: 1.686342195, +PT5027: 0.9714849812, +PT5028: 0.6150665641, +PT4001: 0.7541770805, +PT4010: 1.57558673, +PT4012: 0.9426336516, +PT4016: 0.5069882021, +PT4017: 0.9786071519, +PT4018: 1.122019862, +PT4019: 1.201575245, +PT4020: 1.281739889, +PT4021: 1.079694744, +PT4022: 1.216617742, +PT4023: <>, +PT4024: 1.448521414, +PT4027: <>, +PT4028: 1.012141896, +PT4029: 1.10628914, +PT4031: 1.38443731, +PT4033: 1.1961634, +PT4035: 1.977134504, +PT4036: 0.7485700654, +PT4037: 0.6214848238, +PT4038: 0.7757911135, +PT4039: 0.4946806998, +PT4040: 2.439202533, +PT4042: 0.9412293548, +PT4044: 0.4490436634, +PT4048: 0.8521681032, +PT4049: 2.832352771, +PT4050: 0.4102683339, +PT4052: 1.059256253, +PT4053: 0.378401679, +PT4055: 0.9728456051, +PT4056: 1.480548483, +PT4058: 1.026217176, +PT4060: 3.14487279, +PT4061: 1.396040319, +PT4062: 0.9212224453, +PT4063: 0.8128433341, +PT4064: <>, +PT4065: 0.8771798245, +PT4066: 0.5307975431, +PT4067: 2.431134852, +PT4068: 0.5916079783, +PT4069: 0.7704015307, +PT4070: 0.4303314829, +PT4071: 0.5311089526, +PT4072: 0.9184830489, +PT4073: 0.8909264841, +PT4076: 2.46544103, +PT4077: 2.206741715, +PT4078: 0.9489272696, +PT4081: 1.174249732, +PT4082: 1.22068807, +PT4083: 1.216617742, +PT4084: 0.6311155824, +PT4085: 0.7574585046, +PT4088: 0.6725927091, +PT4090: 1.094720375, +PT4095: 1.361192093, +PT4100: 0.7467035138, +PT4101: 0.9868513877, +PT4102: 1.031257516, +PT4103: 0.5747670336, +PT4105: 2.472978304, +PT4106: 0.4791002369, +PT4107: 1.747163234, +PT4108: 1.109125209, +PT4109: 1.375811449, +PT4110: 1.306779231, +PT4111: 0.8107413813, +PT4112: 1.015911768, +PT4114: 1.191615328, +PT4115: 1.331968548, +PT4116: 1.031270342, +PT4117: 0.6286270418, +PT4118: 1.661965592, +PT4119: <>, +PT4121: 1.252510706, +PT4122: 4.244394062, +PT4123: 0.775953075, +PT4124: 1.669045921, +PT4126: 0.7052336473, +PT4129: 0.3561626761, +PT4130: 1.785292278, +PT4131: 0.7224389174, +PT4132: 0.3784471195, +PT4133: 0.3021089891, +PT4134: 0.4368144667, +PT4136: 1.086990165, +PT4137: 0.9501461876, +PT4138: 0.8988676004, +PT4143: 0.6533896153, +PT4145: 0.6914730079, +PT4146: 0.7416198487, +PT4147: 1.486037307, +PT4149: 0.8471083712, +PT4150: 0.5376068861, +PT4151: 2.003386683, +PT4153: 1.229837388, +PT4156: 0.6778574634, +PT4157: 0.7870731395, +PT4158: 0.2915249089, +PT4159: 1.560402031, +PT4160: 0.7071067812, +PT4162: 0.8958679395, +PT4163: 4.088941727, +PT4164: 0.1725163898, +PT4165: 0.962765802, +PT4166: 0.5068968775, +PT4167: 0.6832268597, +PT4168: 1.560285468, +PT4171: 0.5815448774, +PT4172: 0.2249338527, +PT4173: 0.320445292, +PT4174: 0.5727497953, +PT4175: 1.140436424, +PT4178: 0.7005289007, +PT6001: 2.125058356, +PT6003: 2.110245228, +PT6004: 0.6398371155, +PT6006: 1.999186342, +PT6007: 1.233577303, +PT6008: 1.143823996, +PT6009: 1.27747581, +PT6011: 0.9217535623, +PT6012: 1.040114717, +PT6013: 1.336677354, +PT6015: 0.9953928261, +PT6016: 1.599851184, +PT6018: 0.6022993859, +PT6019: 2.664163011, +PT6020: 0.3259601203, +PT6021: 1.320623951, +PT6023: 0.3963290547, +PT6024: 1.095022408, +PT6028: 0.8753306254, +PT6029: 0.4509689744, +PT6032: 1.178230671, +PT6039: 1.138550085, +PT6041: 0.8692650304, +PT6043: 2.134607135, +PT6044: 2.00890873, +PT6046: 1.599532835, +PT6047: 3.248880556, +PT6048: 2.94919503, +PT6051: 0.8719618457, +PT6052: 0.7853654829, +PT6054: 0.9108763732, +PT6056: 0.7232532323, +PT6057: 1.532422953, +PT6062: 1.07475234, +PT6063: 0.2734987885, +PT6064: 0.7856601713, +PT6069: 2.330568089, +PT6071: 0.7058898096, +PT6072: 1.181957617, +PT6074: 1.644897514, +PT6076: 0.4299470867, +PT6077: 0.4732388683, +PT6081: 0.7033555251, +PT6082: 0.6080370011, +PT6085: 0.5, +PT6088: 0.5220026556, +PT6092: 0.6649282891, +PT6093: 1.11744228, +PT6094: 1.388611083, +PT6096: 0.7800420556, +PT6099: 0.8207381501, +];