/
grubhub-09-5.json
39 lines (39 loc) · 3 KB
/
grubhub-09-5.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
{
"name": "grubhub-09-5",
"comment": "size=9 instance=5",
"nodes": ["+0", "-0", "+1", "-1", "+2", "-2", "+3", "-3", "+4", "-4", "+5", "-5", "+6", "-6", "+7", "-7", "+8", "-8", "+9", "-9"],
"precedence": {
"+0": "-0",
"+1": "-1",
"+2": "-2",
"+3": "-3",
"+4": "-4",
"+5": "-5",
"+6": "-6",
"+7": "-7",
"+8": "-8",
"+9": "-9"
},
"edges": [
[ 0, 0, 1083, 465, 951, 1285, 629, 1157, 1027, 960, 150, 916, 820, 716, 352, 537, 868, 818, 877, 663],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0],
[ 1083, 0, 0, 585, 1040, 1580, 655, 943, 583, 536, 844, 686, 837, 998, 869, 706, 529, 1034, 953, 562],
[ 465, 0, 585, 0, 631, 1188, 164, 834, 569, 502, 258, 704, 755, 917, 283, 216, 410, 578, 490, 414],
[ 951, 0, 1040, 631, 0, 657, 435, 384, 722, 655, 803, 1154, 1205, 1367, 812, 508, 613, 214, 127, 893],
[ 1285, 0, 1580, 1188, 657, 0, 1053, 860, 1140, 1195, 1237, 1764, 1816, 1488, 1246, 1031, 1232, 710, 745, 1425],
[ 629, 0, 655, 164, 435, 1053, 0, 670, 405, 338, 460, 719, 771, 932, 485, 334, 246, 484, 326, 458],
[ 1157, 0, 943, 834, 384, 860, 670, 0, 604, 538, 1051, 1360, 1412, 1573, 1060, 736, 587, 452, 377, 1034],
[ 1027, 0, 583, 569, 722, 1140, 405, 604, 0, 62, 841, 1010, 1062, 1223, 866, 648, 245, 799, 676, 685],
[ 960, 0, 536, 502, 655, 1195, 338, 538, 62, 0, 779, 948, 1000, 1161, 804, 601, 183, 737, 614, 623],
[ 150, 0, 844, 258, 803, 1237, 460, 1051, 841, 779, 0, 766, 800, 766, 202, 435, 725, 715, 775, 512],
[ 916, 0, 686, 704, 1154, 1764, 719, 1360, 1010, 948, 766, 0, 222, 392, 727, 858, 985, 1186, 1066, 431],
[ 820, 0, 837, 755, 1205, 1816, 771, 1412, 1062, 1000, 800, 222, 0, 228, 678, 899, 1026, 1226, 1107, 472],
[ 716, 0, 998, 917, 1367, 1488, 932, 1573, 1223, 1161, 766, 392, 228, 0, 760, 1051, 1178, 1362, 1258, 624],
[ 352, 0, 869, 283, 812, 1246, 485, 1060, 866, 804, 202, 727, 678, 760, 0, 497, 828, 778, 837, 488],
[ 537, 0, 706, 216, 508, 1031, 334, 736, 648, 601, 435, 858, 899, 1051, 497, 0, 466, 446, 445, 563],
[ 868, 0, 529, 410, 613, 1232, 246, 587, 245, 183, 725, 985, 1026, 1178, 828, 466, 0, 632, 502, 651],
[ 818, 0, 1034, 578, 214, 710, 484, 452, 799, 737, 715, 1186, 1226, 1362, 778, 446, 632, 0, 155, 877],
[ 877, 0, 953, 490, 127, 745, 326, 377, 676, 614, 775, 1066, 1107, 1258, 837, 445, 502, 155, 0, 766],
[ 663, 0, 562, 414, 893, 1425, 458, 1034, 685, 623, 512, 431, 472, 624, 488, 563, 651, 877, 766, 0]
]
}