/
grubhub-13-9.json
51 lines (51 loc) · 5.47 KB
/
grubhub-13-9.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
{
"name": "grubhub-13-9",
"comment": "size=13 instance=9",
"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"],
"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"
},
"edges": [
[ 0, 0, 1189, 962, 885, 769, 249, 503, 762, 595, 1174, 1122, 672, 641, 601, 579, 773, 417, 1228, 1332, 763, 664, 835, 731, 344, 626, 629, 658],
[ 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],
[ 1189, 0, 0, 421, 1627, 1508, 1371, 1237, 846, 725, 1540, 1508, 1486, 1724, 1104, 1057, 857, 1371, 1594, 2066, 1070, 1092, 1711, 974, 992, 575, 1443, 1482],
[ 962, 0, 421, 0, 1206, 1087, 949, 815, 425, 385, 1119, 1087, 1064, 1302, 682, 636, 436, 950, 1173, 1645, 649, 671, 1290, 553, 872, 466, 1022, 1061],
[ 885, 0, 1627, 1206, 0, 164, 536, 432, 904, 1075, 491, 439, 296, 714, 661, 908, 900, 485, 545, 1095, 734, 641, 550, 724, 1068, 1163, 408, 345],
[ 769, 0, 1508, 1087, 164, 0, 434, 329, 802, 982, 594, 541, 199, 611, 558, 805, 797, 383, 648, 1120, 641, 539, 485, 621, 965, 1230, 316, 253],
[ 249, 0, 1371, 949, 536, 434, 0, 395, 792, 788, 935, 1000, 423, 445, 584, 591, 803, 236, 989, 1161, 689, 598, 620, 681, 532, 881, 380, 409],
[ 503, 0, 1237, 815, 432, 329, 395, 0, 548, 751, 722, 669, 291, 552, 305, 552, 544, 255, 776, 1237, 376, 285, 516, 367, 854, 976, 248, 288],
[ 762, 0, 846, 425, 904, 802, 792, 548, 0, 416, 1057, 1117, 800, 1038, 372, 453, 4, 685, 1111, 1746, 341, 322, 1025, 290, 864, 522, 757, 797],
[ 595, 0, 725, 385, 1075, 982, 788, 751, 416, 0, 1062, 1030, 927, 1134, 547, 397, 415, 810, 1116, 1588, 396, 418, 1152, 465, 640, 358, 884, 923],
[ 1174, 0, 1540, 1119, 491, 594, 935, 722, 1057, 1062, 0, 423, 678, 697, 1042, 1289, 922, 867, 168, 977, 1047, 1023, 637, 1105, 1449, 1228, 641, 609],
[ 1122, 0, 1508, 1087, 439, 541, 1000, 669, 1117, 1030, 423, 0, 449, 506, 841, 1088, 948, 672, 382, 854, 913, 822, 445, 904, 1254, 1255, 449, 418],
[ 672, 0, 1486, 1064, 296, 199, 423, 291, 800, 927, 678, 449, 0, 487, 541, 788, 780, 372, 680, 1098, 613, 522, 361, 604, 955, 1213, 190, 127],
[ 641, 0, 1724, 1302, 714, 611, 445, 552, 1038, 1134, 697, 506, 487, 0, 792, 910, 1031, 353, 661, 839, 864, 773, 379, 855, 867, 1219, 342, 311],
[ 601, 0, 1104, 682, 661, 558, 584, 305, 372, 547, 1042, 841, 541, 792, 0, 273, 368, 461, 1145, 1519, 266, 288, 885, 241, 678, 754, 617, 657],
[ 579, 0, 1057, 636, 908, 805, 591, 552, 453, 397, 1289, 1088, 788, 910, 273, 0, 391, 459, 1149, 1504, 318, 340, 890, 286, 568, 643, 622, 661],
[ 773, 0, 857, 436, 900, 797, 803, 544, 4, 415, 922, 948, 780, 1031, 368, 391, 0, 677, 1116, 1738, 333, 314, 1017, 282, 869, 527, 749, 789],
[ 417, 0, 1371, 950, 485, 383, 236, 255, 685, 810, 867, 672, 372, 353, 461, 459, 677, 0, 909, 1160, 511, 420, 554, 502, 744, 1003, 309, 323],
[ 1228, 0, 1594, 1173, 545, 648, 989, 776, 1111, 1116, 168, 382, 680, 661, 1145, 1149, 1116, 909, 0, 924, 1064, 993, 617, 1075, 1426, 1245, 620, 589],
[ 1332, 0, 2066, 1645, 1095, 1120, 1161, 1237, 1746, 1588, 977, 854, 1098, 839, 1519, 1504, 1738, 1160, 924, 0, 1469, 1378, 654, 1460, 1633, 1632, 937, 925],
[ 763, 0, 1070, 649, 734, 641, 689, 376, 341, 396, 1047, 913, 613, 864, 266, 318, 333, 511, 1064, 1469, 0, 60, 794, 204, 856, 809, 526, 565],
[ 664, 0, 1092, 671, 641, 539, 598, 285, 322, 418, 1023, 822, 522, 773, 288, 340, 314, 420, 993, 1378, 60, 0, 734, 264, 808, 884, 466, 505],
[ 835, 0, 1711, 1290, 550, 485, 620, 516, 1025, 1152, 637, 445, 361, 379, 885, 890, 1017, 554, 617, 654, 794, 734, 0, 830, 1056, 1238, 283, 270],
[ 731, 0, 974, 553, 724, 621, 681, 367, 290, 465, 1105, 904, 604, 855, 241, 286, 282, 502, 1075, 1460, 204, 264, 830, 0, 884, 813, 584, 624],
[ 344, 0, 992, 872, 1068, 965, 532, 854, 864, 640, 1449, 1254, 955, 867, 678, 568, 869, 744, 1426, 1633, 856, 808, 1056, 884, 0, 536, 935, 960],
[ 626, 0, 575, 466, 1163, 1230, 881, 976, 522, 358, 1228, 1255, 1213, 1219, 754, 643, 527, 1003, 1245, 1632, 809, 884, 1238, 813, 536, 0, 1155, 1194],
[ 629, 0, 1443, 1022, 408, 316, 380, 248, 757, 884, 641, 449, 190, 342, 617, 622, 749, 309, 620, 937, 526, 466, 283, 584, 935, 1155, 0, 52],
[ 658, 0, 1482, 1061, 345, 253, 409, 288, 797, 923, 609, 418, 127, 311, 657, 661, 789, 323, 589, 925, 565, 505, 270, 624, 960, 1194, 52, 0]
]
}