grubhub-03-5.json

{
    "name": "grubhub-03-5",
    "comment": "size=3 instance=5",
    "nodes": ["+0", "-0", "+1", "-1", "+2", "-2", "+3", "-3"],
    "precedence": {
        "+0": "-0",
        "+1": "-1",
        "+2": "-2",
        "+3": "-3"
    },
    "edges": [
        [    0,    0,  801,  959,  878, 1148, 1434, 2080],
        [    0,    0,    0,    0,    0,    0,    0,    0],
        [  801,    0,    0,  580,  526,  854, 1694, 2340],
        [  959,    0,  580,    0,  287,  721, 1667, 2122],
        [  878,    0,  526,  287,    0,  595, 1648, 2162],
        [ 1148,    0,  854,  721,  595,    0, 1855, 2369],
        [ 1434,    0, 1694, 1667, 1648, 1855,    0,  875],
        [ 2080,    0, 2340, 2122, 2162, 2369,  875,    0]
    ]
}