grubhub-06-4.json

{
    "name": "grubhub-06-4",
    "comment": "size=6 instance=4",
    "nodes": ["+0", "-0", "+1", "-1", "+2", "-2", "+3", "-3", "+4", "-4", "+5", "-5", "+6", "-6"],
    "precedence": {
        "+0": "-0",
        "+1": "-1",
        "+2": "-2",
        "+3": "-3",
        "+4": "-4",
        "+5": "-5",
        "+6": "-6"
    },
    "edges": [
        [    0,    0,  592,  468,  694,  962,  409, 1102,  376,  670,  677,  683,  304,  528],
        [    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,    0],
        [  592,    0,    0,  327,  520, 1017,  599,  692,  593,  527,  934, 1182,  897,  361],
        [  468,    0,  327,    0,  373,  870,  512,  698,  480,  380,  847, 1063,  730,  414],
        [  694,    0,  520,  373,    0,  582,  382,  730,  405,   94,  686, 1035,  816,  759],
        [  962,    0, 1017,  870,  582,    0,  682, 1111,  717,  618,  390,  693,  977, 1213],
        [  409,    0,  599,  512,  382,  682,    0,  996,   80,  345,  476,  747,  630,  686],
        [ 1102,    0,  692,  698,  730, 1111,  996,    0,  836,  579, 1118, 1466, 1140,  965],
        [  376,    0,  593,  480,  405,  717,   80,  836,    0,  343,  473,  751,  646,  708],
        [  670,    0,  527,  380,   94,  618,  345,  579,  343,    0,  624,  973,  781,  709],
        [  677,    0,  934,  847,  686,  390,  476, 1118,  473,  624,    0,  467,  670, 1006],
        [  683,    0, 1182, 1063, 1035,  693,  747, 1466,  751,  973,  467,    0,  609, 1140],
        [  304,    0,  897,  730,  816,  977,  630, 1140,  646,  781,  670,  609,    0,  709],
        [  528,    0,  361,  414,  759, 1213,  686,  965,  708,  709, 1006, 1140,  709,    0]
    ]
}