/
grubhub-11-7.json
45 lines (45 loc) · 4.14 KB
/
grubhub-11-7.json
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
{
"name": "grubhub-11-7",
"comment": "size=11 instance=7",
"nodes": ["+0", "-0", "+1", "-1", "+2", "-2", "+3", "-3", "+4", "-4", "+5", "-5", "+6", "-6", "+7", "-7", "+8", "-8", "+9", "-9", "+10", "-10", "+11", "-11"],
"precedence": {
"+0": "-0",
"+1": "-1",
"+2": "-2",
"+3": "-3",
"+4": "-4",
"+5": "-5",
"+6": "-6",
"+7": "-7",
"+8": "-8",
"+9": "-9",
"+10": "-10",
"+11": "-11"
},
"edges": [
[ 0, 0, 1279, 716, 1226, 1621, 1117, 1056, 1055, 963, 1192, 1316, 979, 1148, 1279, 1396, 769, 637, 902, 785, 1192, 1049, 530, 626],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0],
[ 1279, 0, 0, 690, 363, 343, 684, 417, 513, 619, 678, 437, 402, 776, 0, 237, 739, 865, 897, 1050, 678, 565, 888, 1130],
[ 716, 0, 690, 0, 828, 1036, 617, 512, 730, 502, 734, 772, 435, 702, 810, 998, 311, 202, 680, 789, 734, 505, 356, 435],
[ 1226, 0, 363, 828, 0, 644, 863, 595, 340, 627, 857, 724, 591, 955, 400, 349, 611, 829, 667, 875, 857, 744, 759, 1072],
[ 1621, 0, 343, 1036, 644, 0, 810, 637, 754, 860, 785, 580, 622, 885, 386, 331, 981, 1049, 1139, 1291, 785, 686, 1129, 1327],
[ 1117, 0, 684, 617, 863, 810, 0, 370, 827, 693, 236, 468, 462, 83, 777, 1029, 809, 653, 960, 884, 236, 201, 659, 693],
[ 1056, 0, 417, 512, 595, 637, 370, 0, 513, 474, 338, 322, 143, 424, 470, 673, 682, 573, 897, 1050, 338, 191, 728, 765],
[ 1055, 0, 513, 730, 340, 754, 827, 513, 0, 437, 832, 768, 487, 843, 546, 629, 412, 557, 415, 543, 832, 639, 561, 800],
[ 963, 0, 619, 502, 627, 860, 693, 474, 437, 0, 765, 701, 419, 777, 479, 603, 344, 562, 590, 725, 765, 573, 493, 805],
[ 1192, 0, 678, 734, 857, 785, 236, 338, 832, 765, 0, 401, 433, 101, 727, 970, 879, 722, 1029, 954, 0, 238, 728, 762],
[ 1316, 0, 437, 772, 724, 580, 468, 322, 768, 701, 401, 0, 421, 506, 462, 640, 949, 821, 1175, 1328, 406, 310, 995, 958],
[ 979, 0, 402, 435, 591, 622, 462, 143, 487, 419, 433, 421, 0, 575, 413, 602, 640, 531, 891, 1030, 482, 334, 686, 809],
[ 1148, 0, 776, 702, 955, 885, 83, 424, 843, 777, 101, 506, 575, 0, 720, 932, 868, 711, 1150, 1032, 154, 201, 807, 840],
[ 1279, 0, 0, 810, 400, 386, 777, 470, 546, 479, 727, 462, 413, 720, 0, 237, 739, 865, 897, 1050, 678, 565, 888, 1130],
[ 1396, 0, 237, 998, 349, 331, 1029, 673, 629, 603, 970, 640, 602, 932, 237, 0, 963, 1149, 1065, 1235, 908, 809, 1111, 1414],
[ 769, 0, 739, 311, 611, 981, 809, 682, 412, 344, 879, 949, 640, 868, 739, 963, 0, 289, 402, 551, 955, 683, 324, 532],
[ 637, 0, 865, 202, 829, 1049, 653, 573, 557, 562, 722, 821, 531, 711, 865, 1149, 289, 0, 534, 649, 752, 523, 229, 347],
[ 902, 0, 897, 680, 667, 1139, 960, 897, 415, 590, 1029, 1175, 891, 1150, 897, 1065, 402, 534, 0, 252, 1190, 961, 388, 668],
[ 785, 0, 1050, 789, 875, 1291, 884, 1050, 543, 725, 954, 1328, 1030, 1032, 1050, 1235, 551, 649, 252, 0, 1022, 960, 437, 555],
[ 1192, 0, 678, 734, 857, 785, 236, 338, 832, 765, 0, 406, 482, 154, 678, 908, 955, 752, 1190, 1022, 0, 238, 728, 762],
[ 1049, 0, 565, 505, 744, 686, 201, 191, 639, 573, 238, 310, 334, 201, 565, 809, 683, 523, 961, 960, 238, 0, 745, 688],
[ 530, 0, 888, 356, 759, 1129, 659, 728, 561, 493, 728, 995, 686, 807, 888, 1111, 324, 229, 388, 437, 728, 745, 0, 525],
[ 626, 0, 1130, 435, 1072, 1327, 693, 765, 800, 805, 762, 958, 809, 840, 1130, 1414, 532, 347, 668, 555, 762, 688, 525, 0]
]
}