/
grubhub-09-1.json
39 lines (39 loc) · 3 KB
/
grubhub-09-1.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-1",
"comment": "size=9 instance=1",
"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, 591, 641, 936, 987, 622, 498, 422, 809, 952, 959, 597, 900, 845, 994, 668, 758, 1043, 1160],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0],
[ 591, 0, 0, 248, 923, 950, 376, 318, 329, 385, 981, 1161, 315, 614, 514, 663, 285, 366, 877, 995],
[ 641, 0, 248, 0, 846, 896, 270, 323, 498, 158, 974, 1103, 282, 388, 381, 530, 291, 117, 629, 746],
[ 936, 0, 923, 846, 0, 77, 565, 577, 815, 777, 187, 287, 970, 1044, 1070, 1219, 639, 830, 624, 705],
[ 987, 0, 950, 896, 77, 0, 618, 629, 868, 827, 258, 353, 1020, 1094, 1119, 1268, 691, 880, 704, 754],
[ 622, 0, 376, 270, 565, 618, 0, 81, 300, 333, 704, 857, 440, 639, 540, 689, 73, 387, 651, 768],
[ 498, 0, 318, 323, 577, 629, 81, 0, 283, 390, 662, 843, 474, 701, 604, 753, 102, 444, 722, 839],
[ 422, 0, 329, 498, 815, 868, 300, 283, 0, 514, 862, 1014, 594, 825, 727, 876, 246, 568, 872, 990],
[ 809, 0, 385, 158, 777, 827, 333, 390, 514, 0, 945, 1045, 411, 386, 435, 570, 345, 76, 501, 619],
[ 952, 0, 981, 974, 187, 258, 704, 662, 862, 945, 0, 178, 1131, 1232, 1231, 1380, 764, 1018, 812, 900],
[ 959, 0, 1161, 1103, 287, 353, 857, 843, 1014, 1045, 178, 0, 1242, 1335, 1342, 1491, 921, 1121, 826, 865],
[ 597, 0, 315, 282, 970, 1020, 440, 474, 594, 411, 1131, 1242, 0, 448, 360, 518, 549, 499, 935, 1053],
[ 900, 0, 614, 388, 1044, 1094, 639, 701, 825, 386, 1232, 1335, 448, 0, 190, 329, 460, 309, 677, 794],
[ 845, 0, 514, 381, 1070, 1119, 540, 604, 727, 435, 1231, 1342, 360, 190, 0, 176, 582, 430, 798, 916],
[ 994, 0, 663, 530, 1219, 1268, 689, 753, 876, 570, 1380, 1491, 518, 329, 176, 0, 697, 555, 928, 1045],
[ 668, 0, 285, 291, 639, 691, 73, 102, 246, 345, 764, 921, 549, 460, 582, 697, 0, 419, 729, 847],
[ 758, 0, 366, 117, 830, 880, 387, 444, 568, 76, 1018, 1121, 499, 309, 430, 555, 419, 0, 583, 700],
[ 1043, 0, 877, 629, 624, 704, 651, 722, 872, 501, 812, 826, 935, 677, 798, 928, 729, 583, 0, 180],
[ 1160, 0, 995, 746, 705, 754, 768, 839, 990, 619, 900, 865, 1053, 794, 916, 1045, 847, 700, 180, 0]
]
}