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