/
grubhub-15-4.json
57 lines (57 loc) · 6.99 KB
/
grubhub-15-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
55
56
57
{
"name": "grubhub-15-4",
"comment": "size=15 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", "+15", "-15"],
"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",
"+15": "-15"
},
"edges": [
[ 0, 0, 858, 775, 834, 726, 1189, 669, 337, 384, 640, 443, 1240, 1383, 566, 659, 673, 420, 742, 818, 597, 226, 1235, 1071, 612, 1446, 1211, 1104, 903, 991, 910, 1152],
[ 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, 0, 0],
[ 858, 0, 0, 253, 1306, 1242, 1278, 1284, 1021, 1071, 601, 756, 1132, 1426, 774, 471, 892, 978, 1196, 1065, 870, 856, 774, 779, 594, 700, 1213, 1588, 1077, 1500, 491, 583],
[ 775, 0, 253, 0, 1472, 1385, 1444, 1173, 833, 884, 505, 569, 1298, 1592, 679, 284, 1009, 882, 1231, 1080, 775, 669, 939, 945, 501, 866, 1378, 1753, 1165, 1496, 631, 748],
[ 834, 0, 1306, 1472, 0, 207, 578, 355, 798, 799, 1327, 1190, 686, 777, 1234, 1456, 522, 985, 362, 422, 1007, 1042, 831, 681, 1150, 1032, 585, 776, 423, 491, 980, 869],
[ 726, 0, 1242, 1385, 207, 0, 540, 259, 887, 888, 1275, 1012, 631, 739, 1183, 1228, 611, 976, 394, 469, 955, 1131, 722, 572, 1099, 923, 485, 738, 347, 522, 929, 760],
[ 1189, 0, 1278, 1444, 578, 540, 0, 661, 1231, 1255, 1418, 1414, 106, 338, 1403, 1482, 867, 1196, 819, 878, 1176, 1370, 731, 654, 1232, 828, 52, 443, 653, 271, 995, 854],
[ 669, 0, 1284, 1173, 355, 259, 661, 0, 940, 941, 1417, 1096, 914, 1004, 1324, 1313, 658, 1097, 514, 559, 1097, 1124, 1030, 789, 1241, 1231, 871, 758, 595, 571, 1077, 940],
[ 337, 0, 1021, 833, 798, 887, 1231, 940, 0, 329, 814, 645, 1273, 1564, 598, 861, 485, 345, 779, 630, 522, 318, 1159, 995, 643, 1370, 1183, 1270, 715, 1157, 869, 1076],
[ 384, 0, 1071, 884, 799, 888, 1255, 941, 329, 0, 907, 640, 1256, 1388, 692, 856, 598, 530, 610, 610, 682, 378, 1345, 1121, 737, 1557, 1196, 1120, 766, 1007, 1035, 1262],
[ 640, 0, 601, 505, 1327, 1275, 1418, 1417, 814, 907, 0, 363, 1234, 1528, 315, 313, 844, 518, 1066, 915, 410, 605, 1037, 856, 236, 1115, 1360, 1689, 999, 1558, 463, 800],
[ 443, 0, 756, 569, 1190, 1012, 1414, 1096, 645, 640, 363, 0, 1414, 1708, 285, 400, 879, 489, 1162, 1011, 381, 575, 1251, 1087, 346, 1238, 1489, 1418, 1096, 1305, 644, 980],
[ 1240, 0, 1132, 1298, 686, 631, 106, 914, 1273, 1256, 1234, 1414, 0, 323, 1321, 1417, 836, 1130, 862, 877, 1109, 1304, 624, 547, 1125, 721, 152, 450, 670, 433, 888, 789],
[ 1383, 0, 1426, 1592, 777, 739, 338, 1004, 1564, 1388, 1528, 1708, 323, 0, 1576, 1665, 1084, 1369, 997, 1056, 1348, 1543, 793, 804, 1382, 847, 318, 335, 918, 472, 1146, 1037],
[ 566, 0, 774, 679, 1234, 1183, 1403, 1324, 598, 692, 315, 285, 1321, 1576, 0, 635, 594, 203, 877, 726, 96, 409, 966, 802, 238, 1177, 1204, 1400, 811, 1287, 511, 876],
[ 659, 0, 471, 284, 1456, 1228, 1482, 1313, 861, 856, 313, 400, 1417, 1665, 635, 0, 905, 690, 1127, 975, 583, 607, 875, 866, 396, 893, 1312, 1686, 1060, 1433, 527, 669],
[ 673, 0, 892, 1009, 522, 611, 867, 658, 485, 598, 844, 879, 836, 1084, 594, 905, 0, 507, 337, 173, 505, 667, 828, 664, 649, 1040, 819, 944, 348, 831, 538, 745],
[ 420, 0, 978, 882, 985, 976, 1196, 1097, 345, 530, 518, 489, 1130, 1369, 203, 690, 507, 0, 748, 599, 420, 350, 1075, 911, 591, 1286, 1152, 1230, 683, 1118, 785, 992],
[ 742, 0, 1196, 1231, 362, 394, 819, 514, 779, 610, 1066, 1162, 862, 997, 877, 1127, 337, 748, 0, 165, 745, 939, 850, 686, 889, 1062, 824, 1032, 263, 747, 719, 767],
[ 818, 0, 1065, 1080, 422, 469, 878, 559, 630, 610, 915, 1011, 877, 1056, 726, 975, 173, 599, 165, 0, 690, 853, 795, 631, 834, 1007, 810, 918, 216, 805, 663, 712],
[ 597, 0, 870, 775, 1007, 955, 1176, 1097, 522, 682, 410, 381, 1109, 1348, 96, 583, 505, 420, 745, 690, 0, 459, 900, 736, 357, 1111, 1108, 1304, 715, 1191, 610, 817],
[ 226, 0, 856, 669, 1042, 1131, 1370, 1124, 318, 378, 605, 575, 1304, 1543, 409, 607, 667, 350, 939, 853, 459, 0, 1009, 845, 516, 1220, 1218, 1312, 824, 1199, 719, 926],
[ 1235, 0, 774, 939, 831, 722, 731, 1030, 1159, 1345, 1037, 1251, 624, 793, 966, 875, 828, 1075, 850, 795, 900, 1009, 0, 271, 941, 274, 726, 1029, 681, 996, 705, 443],
[ 1071, 0, 779, 945, 681, 572, 654, 789, 995, 1121, 856, 1087, 547, 804, 802, 866, 664, 911, 686, 631, 736, 845, 271, 0, 715, 486, 576, 906, 510, 850, 479, 299],
[ 612, 0, 594, 501, 1150, 1099, 1232, 1241, 643, 737, 236, 346, 1125, 1382, 238, 396, 649, 591, 889, 834, 357, 516, 941, 715, 0, 1012, 1192, 1522, 832, 1391, 296, 633],
[ 1446, 0, 700, 866, 1032, 923, 828, 1231, 1370, 1557, 1115, 1238, 721, 847, 1177, 893, 1040, 1286, 1062, 1007, 1111, 1220, 274, 486, 1012, 0, 861, 1041, 905, 1134, 841, 526],
[ 1211, 0, 1213, 1378, 585, 485, 52, 871, 1183, 1196, 1360, 1489, 152, 318, 1204, 1312, 819, 1152, 824, 810, 1108, 1218, 726, 576, 1192, 861, 0, 490, 600, 344, 972, 819],
[ 1104, 0, 1588, 1753, 776, 738, 443, 758, 1270, 1120, 1689, 1418, 450, 335, 1400, 1686, 944, 1230, 1032, 918, 1304, 1312, 1029, 906, 1522, 1041, 490, 0, 1060, 482, 1347, 1249],
[ 903, 0, 1077, 1165, 423, 347, 653, 595, 715, 766, 999, 1096, 670, 918, 811, 1060, 348, 683, 263, 216, 715, 824, 681, 510, 832, 905, 600, 1060, 0, 840, 671, 671],
[ 991, 0, 1500, 1496, 491, 522, 271, 571, 1157, 1007, 1558, 1305, 433, 472, 1287, 1433, 831, 1118, 747, 805, 1191, 1199, 996, 850, 1391, 1134, 344, 482, 840, 0, 1192, 1039],
[ 910, 0, 491, 631, 980, 929, 995, 1077, 869, 1035, 463, 644, 888, 1146, 511, 527, 538, 785, 719, 663, 610, 719, 705, 479, 296, 841, 972, 1347, 671, 1192, 0, 374],
[ 1152, 0, 583, 748, 869, 760, 854, 940, 1076, 1262, 800, 980, 789, 1037, 876, 669, 745, 992, 767, 712, 817, 926, 443, 299, 633, 526, 819, 1249, 671, 1039, 374, 0]
]
}