189 lines
3.9 KiB
MiniZinc
189 lines
3.9 KiB
MiniZinc
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,
|
|
];
|