/
grubhub-14-5.json
54 lines (54 loc) · 6.21 KB
/
grubhub-14-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
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
{
"name": "grubhub-14-5",
"comment": "size=14 instance=5",
"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, 438, 606, 704, 452, 317, 731, 1079, 1106, 1136, 954, 585, 0, 654, 961, 952, 1056, 737, 839, 284, 940, 421, 291, 989, 596, 521, 434, 996, 984],
[ 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],
[ 438, 0, 0, 650, 995, 827, 599, 1013, 794, 845, 932, 632, 439, 462, 937, 1084, 552, 656, 321, 423, 535, 1062, 439, 715, 826, 700, 373, 542, 731, 678],
[ 606, 0, 650, 0, 964, 988, 479, 598, 1136, 1186, 1274, 974, 965, 626, 522, 913, 437, 481, 557, 642, 696, 1031, 368, 906, 382, 370, 898, 364, 432, 421],
[ 704, 0, 995, 964, 0, 607, 507, 703, 1512, 1563, 1520, 1351, 1052, 740, 626, 650, 1214, 1259, 1089, 1220, 542, 343, 803, 638, 1021, 726, 1191, 624, 1197, 1185],
[ 452, 0, 827, 988, 607, 0, 646, 765, 1462, 1513, 1459, 1301, 816, 552, 689, 1033, 1350, 1246, 1125, 1228, 510, 869, 818, 349, 1084, 862, 972, 763, 1158, 1211],
[ 317, 0, 599, 479, 507, 646, 0, 571, 1176, 1227, 1315, 1015, 918, 501, 494, 803, 796, 840, 665, 767, 383, 791, 302, 618, 771, 280, 851, 117, 778, 766],
[ 731, 0, 1013, 598, 703, 765, 571, 0, 1537, 1587, 1675, 1375, 1110, 752, 57, 602, 978, 826, 958, 1089, 733, 740, 773, 751, 664, 595, 1218, 566, 738, 791],
[ 1079, 0, 794, 1136, 1512, 1462, 1176, 1537, 0, 77, 133, 363, 862, 1060, 1567, 1715, 903, 1083, 624, 720, 1153, 1693, 1070, 1313, 1264, 1260, 670, 1173, 1169, 1094],
[ 1106, 0, 845, 1186, 1563, 1513, 1227, 1587, 77, 0, 204, 413, 914, 1112, 1617, 1764, 953, 1141, 674, 770, 1203, 1743, 1119, 1365, 1321, 1310, 722, 1223, 1227, 1151],
[ 1136, 0, 932, 1274, 1520, 1459, 1315, 1675, 133, 204, 0, 486, 883, 1184, 1690, 1838, 1026, 1207, 747, 843, 1276, 1816, 1193, 1432, 1388, 1383, 747, 1296, 1293, 1217],
[ 954, 0, 632, 974, 1351, 1301, 1015, 1375, 363, 413, 486, 0, 763, 933, 1430, 1578, 767, 956, 487, 584, 1017, 1556, 933, 1186, 1137, 1124, 571, 1036, 1042, 967],
[ 585, 0, 439, 965, 1052, 816, 918, 1110, 862, 914, 883, 763, 0, 552, 1203, 1350, 805, 909, 591, 693, 789, 1329, 705, 805, 1079, 966, 263, 809, 984, 909],
[ 0, 0, 462, 626, 740, 552, 501, 752, 1060, 1112, 1184, 933, 552, 0, 654, 961, 952, 1056, 737, 839, 284, 940, 421, 291, 989, 596, 521, 434, 996, 984],
[ 654, 0, 937, 522, 626, 689, 494, 57, 1567, 1617, 1690, 1430, 1203, 654, 0, 550, 959, 814, 898, 1029, 674, 688, 714, 692, 652, 536, 1159, 506, 726, 779],
[ 961, 0, 1084, 913, 650, 1033, 803, 602, 1715, 1764, 1838, 1578, 1350, 961, 550, 0, 1270, 1191, 1145, 1275, 726, 481, 857, 944, 1029, 782, 1304, 679, 1103, 1166],
[ 952, 0, 552, 437, 1214, 1350, 796, 978, 903, 953, 1026, 767, 805, 952, 959, 1270, 0, 320, 259, 275, 1067, 1425, 739, 1262, 479, 764, 688, 726, 384, 314],
[ 1056, 0, 656, 481, 1259, 1246, 840, 826, 1083, 1141, 1207, 956, 909, 1056, 814, 1191, 320, 0, 542, 570, 1060, 1206, 894, 1146, 290, 896, 977, 890, 257, 164],
[ 737, 0, 321, 557, 1089, 1125, 665, 958, 624, 674, 747, 487, 591, 737, 898, 1145, 259, 542, 0, 188, 834, 1330, 618, 1011, 635, 636, 429, 659, 540, 465],
[ 839, 0, 423, 642, 1220, 1228, 767, 1089, 720, 770, 843, 584, 693, 839, 1029, 1275, 275, 570, 188, 0, 932, 1428, 716, 1109, 749, 759, 527, 757, 654, 583],
[ 284, 0, 535, 696, 542, 510, 383, 733, 1153, 1203, 1276, 1017, 789, 284, 674, 726, 1067, 1060, 834, 932, 0, 844, 308, 471, 910, 501, 690, 338, 930, 918],
[ 940, 0, 1062, 1031, 343, 869, 791, 740, 1693, 1743, 1816, 1556, 1329, 940, 688, 481, 1425, 1206, 1330, 1428, 844, 0, 879, 828, 1163, 808, 1327, 706, 1237, 1267],
[ 421, 0, 439, 368, 803, 818, 302, 773, 1070, 1119, 1193, 933, 705, 421, 714, 857, 739, 894, 618, 716, 308, 879, 0, 733, 675, 290, 725, 150, 682, 671],
[ 291, 0, 715, 906, 638, 349, 618, 751, 1313, 1365, 1432, 1186, 805, 291, 692, 944, 1262, 1146, 1011, 1109, 471, 828, 733, 0, 1080, 812, 820, 714, 1155, 1271],
[ 989, 0, 826, 382, 1021, 1084, 771, 664, 1264, 1321, 1388, 1137, 1079, 989, 652, 1029, 479, 290, 635, 749, 910, 1163, 675, 1080, 0, 749, 1135, 743, 132, 236],
[ 596, 0, 700, 370, 726, 862, 280, 595, 1260, 1310, 1383, 1124, 966, 596, 536, 782, 764, 896, 636, 759, 501, 808, 290, 812, 749, 0, 817, 284, 602, 591],
[ 521, 0, 373, 898, 1191, 972, 851, 1218, 670, 722, 747, 571, 263, 521, 1159, 1304, 688, 977, 429, 527, 690, 1327, 725, 820, 1135, 817, 0, 762, 937, 862],
[ 434, 0, 542, 364, 624, 763, 117, 566, 1173, 1223, 1296, 1036, 809, 434, 506, 679, 726, 890, 659, 757, 338, 706, 150, 714, 743, 284, 762, 0, 714, 702],
[ 996, 0, 731, 432, 1197, 1158, 778, 738, 1169, 1227, 1293, 1042, 984, 996, 726, 1103, 384, 257, 540, 654, 930, 1237, 682, 1155, 132, 602, 937, 714, 0, 104],
[ 984, 0, 678, 421, 1185, 1211, 766, 791, 1094, 1151, 1217, 967, 909, 984, 779, 1166, 314, 164, 465, 583, 918, 1267, 671, 1271, 236, 591, 862, 702, 104, 0]
]
}