/
grubhub-14-4.json
54 lines (54 loc) · 6.21 KB
/
grubhub-14-4.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
46
47
48
49
50
51
52
53
54
{
"name": "grubhub-14-4",
"comment": "size=14 instance=4",
"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", "+12", "-12", "+13", "-13", "+14", "-14"],
"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",
"+12": "-12",
"+13": "-13",
"+14": "-14"
},
"edges": [
[ 0, 0, 970, 1225, 891, 1042, 1562, 1257, 1248, 681, 1368, 1402, 1452, 1585, 595, 1258, 1128, 1302, 1345, 1586, 1586, 1536, 891, 1337, 1092, 709, 776, 1181, 1092, 1103],
[ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0],
[ 970, 0, 0, 779, 339, 85, 1005, 875, 645, 624, 1120, 1409, 983, 1028, 727, 286, 647, 893, 793, 1029, 1238, 1125, 339, 448, 372, 422, 343, 803, 853, 1045],
[ 1225, 0, 779, 0, 807, 909, 549, 74, 254, 816, 548, 791, 439, 572, 1204, 951, 343, 350, 292, 573, 706, 523, 807, 885, 647, 898, 835, 260, 542, 667],
[ 891, 0, 339, 807, 0, 261, 1196, 951, 731, 477, 1196, 1455, 1148, 1219, 580, 477, 723, 969, 869, 1220, 1384, 1201, 0, 655, 463, 274, 195, 879, 929, 1099],
[ 1042, 0, 85, 909, 261, 0, 1107, 977, 747, 602, 1223, 1512, 1085, 1130, 705, 388, 750, 995, 895, 1131, 1341, 1227, 316, 550, 417, 399, 320, 905, 955, 1147],
[ 1562, 0, 1005, 549, 1196, 1107, 0, 674, 669, 1191, 555, 438, 264, 107, 1362, 1190, 717, 575, 667, 33, 233, 293, 1181, 1111, 1022, 1272, 1210, 645, 804, 716],
[ 1257, 0, 875, 74, 951, 977, 674, 0, 180, 805, 560, 803, 480, 624, 1193, 892, 333, 332, 255, 614, 724, 541, 795, 811, 636, 887, 824, 242, 505, 733],
[ 1248, 0, 645, 254, 731, 747, 669, 180, 0, 746, 635, 879, 602, 714, 1092, 711, 306, 408, 308, 736, 815, 632, 695, 630, 547, 787, 724, 318, 536, 759],
[ 681, 0, 624, 816, 477, 602, 1191, 805, 746, 0, 1178, 1384, 1129, 1265, 528, 712, 705, 951, 851, 1263, 1365, 1182, 349, 874, 508, 267, 169, 860, 910, 1028],
[ 1368, 0, 1120, 548, 1196, 1223, 555, 560, 635, 1178, 0, 369, 541, 522, 1269, 1381, 680, 354, 529, 614, 447, 363, 1237, 1192, 1078, 1328, 1266, 468, 515, 625],
[ 1402, 0, 1409, 791, 1455, 1512, 438, 803, 879, 1384, 369, 0, 612, 473, 1287, 1505, 814, 513, 677, 460, 297, 422, 1277, 1351, 1201, 1452, 1125, 628, 485, 566],
[ 1452, 0, 983, 439, 1148, 1085, 264, 480, 602, 1129, 541, 612, 0, 228, 1212, 1075, 567, 468, 517, 329, 478, 276, 1031, 963, 872, 1122, 1060, 495, 627, 566],
[ 1585, 0, 1028, 572, 1219, 1130, 107, 624, 714, 1265, 522, 473, 228, 0, 1354, 1183, 710, 532, 659, 157, 366, 264, 1174, 1091, 1014, 1265, 1202, 614, 761, 708],
[ 595, 0, 727, 1204, 580, 705, 1362, 1193, 1092, 528, 1269, 1287, 1212, 1354, 0, 887, 1011, 1190, 1193, 1474, 1474, 1524, 520, 1049, 803, 338, 369, 1069, 1019, 1030],
[ 1258, 0, 286, 951, 477, 388, 1190, 892, 711, 712, 1381, 1505, 1075, 1183, 887, 0, 752, 998, 898, 1136, 1345, 1229, 529, 357, 406, 612, 533, 907, 957, 1149],
[ 1128, 0, 647, 343, 723, 750, 717, 333, 306, 705, 680, 814, 567, 710, 1011, 752, 0, 490, 295, 922, 916, 773, 623, 894, 514, 765, 702, 399, 276, 468],
[ 1302, 0, 893, 350, 969, 995, 575, 332, 408, 951, 354, 513, 468, 532, 1190, 998, 490, 0, 174, 788, 736, 620, 918, 1030, 759, 1009, 946, 220, 428, 656],
[ 1345, 0, 793, 292, 869, 895, 667, 255, 308, 851, 529, 677, 517, 659, 1193, 898, 295, 174, 0, 732, 703, 558, 817, 951, 657, 908, 845, 186, 364, 592],
[ 1586, 0, 1029, 573, 1220, 1131, 33, 614, 736, 1263, 614, 460, 329, 157, 1474, 1136, 922, 788, 732, 0, 289, 256, 1196, 1104, 1037, 1288, 1225, 620, 767, 731],
[ 1586, 0, 1238, 706, 1384, 1341, 233, 724, 815, 1365, 447, 297, 478, 366, 1474, 1345, 916, 736, 703, 289, 0, 261, 1274, 1199, 1115, 1365, 1303, 591, 706, 729],
[ 1536, 0, 1125, 523, 1201, 1227, 293, 541, 632, 1182, 363, 422, 276, 264, 1524, 1229, 773, 620, 558, 256, 261, 0, 1155, 1045, 996, 1246, 1184, 524, 674, 783],
[ 891, 0, 339, 807, 0, 316, 1181, 795, 695, 349, 1237, 1277, 1031, 1174, 520, 529, 623, 918, 817, 1196, 1274, 1155, 0, 655, 463, 274, 195, 879, 929, 1099],
[ 1337, 0, 448, 885, 655, 550, 1111, 811, 630, 874, 1192, 1351, 963, 1091, 1049, 357, 894, 1030, 951, 1104, 1199, 1045, 655, 0, 482, 773, 694, 918, 968, 1160],
[ 1092, 0, 372, 647, 463, 417, 1022, 636, 547, 508, 1078, 1201, 872, 1014, 803, 406, 514, 759, 657, 1037, 1115, 996, 463, 482, 0, 502, 423, 696, 746, 937],
[ 709, 0, 422, 898, 274, 399, 1272, 887, 787, 267, 1328, 1452, 1122, 1265, 338, 612, 765, 1009, 908, 1288, 1365, 1246, 274, 773, 502, 0, 197, 975, 1025, 994],
[ 776, 0, 343, 835, 195, 320, 1210, 824, 724, 169, 1266, 1125, 1060, 1202, 369, 533, 702, 946, 845, 1225, 1303, 1184, 195, 694, 423, 197, 0, 891, 941, 1072],
[ 1181, 0, 803, 260, 879, 905, 645, 242, 318, 860, 468, 628, 495, 614, 1069, 907, 399, 220, 186, 620, 591, 524, 879, 918, 696, 975, 891, 0, 483, 474],
[ 1092, 0, 853, 542, 929, 955, 804, 505, 536, 910, 515, 485, 627, 761, 1019, 957, 276, 428, 364, 767, 706, 674, 929, 968, 746, 1025, 941, 483, 0, 390],
[ 1103, 0, 1045, 667, 1099, 1147, 716, 733, 759, 1028, 625, 566, 566, 708, 1030, 1149, 468, 656, 592, 731, 729, 783, 1099, 1160, 937, 994, 1072, 474, 390, 0]
]
}