grubhub-05-5.json

{
    "name": "grubhub-05-5",
    "comment": "size=5 instance=5",
    "nodes": ["+0", "-0", "+1", "-1", "+2", "-2", "+3", "-3", "+4", "-4", "+5", "-5"],
    "precedence": {
        "+0": "-0",
        "+1": "-1",
        "+2": "-2",
        "+3": "-3",
        "+4": "-4",
        "+5": "-5"
    },
    "edges": [
        [    0,    0,  190,  388,  973,  794, 1021,  507,  554,  780,  786,  679],
        [    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0],
        [  190,    0,    0,  285,  822,  689,  938,  381,  449,  698,  627,  633],
        [  388,    0,  285,    0, 1138,  994,  727,  304,  485,  490,  943,  922],
        [  973,    0,  822, 1138,    0,  358, 1406, 1176,  998, 1411,  221,  501],
        [  794,    0,  689,  994,  358,    0, 1160, 1017,  752, 1166,  173,  499],
        [ 1021,    0,  938,  727, 1406, 1160,    0,  688,  675,  270, 1356, 1423],
        [  507,    0,  381,  304, 1176, 1017,  688,    0,  638,  653, 1086, 1099],
        [  554,    0,  449,  485,  998,  752,  675,  638,    0,  557,  849,  896],
        [  780,    0,  698,  490, 1411, 1166,  270,  653,  557,    0, 1211, 1258],
        [  786,    0,  627,  943,  221,  173, 1356, 1086,  849, 1211,    0,  446],
        [  679,    0,  633,  922,  501,  499, 1423, 1099,  896, 1258,  446,    0]
    ]
}