mutex.json

{
    "variables": ["noncrit1", "wait1", "crit1", "noncrit2", "wait2", "crit2"],
    "positives": [
        {
            "traces": [
                ["noncrit1", "noncrit2"],
                ["wait1", "noncrit2"],
                ["crit1", "noncrit2"]
            ],
            "repeat": 0
        },
        {
            "traces": [
                ["noncrit1", "noncrit2"],
                ["noncrit1", "wait2"],
                ["noncrit1", "crit2"]
            ],
            "repeat": 0
        },
        {
            "traces": [
                ["noncrit1", "noncrit2"],
                ["wait1", "noncrit2"],
                ["wait1", "wait2"],
                ["crit1", "wait2"],
                ["noncrit1", "wait2"]
            ],
            "repeat": 2
        },
        {
            "traces": [
                ["noncrit1", "noncrit2"],
                ["noncrit1", "wait2"],
                ["wait1", "wait2"],
                ["wait1", "crit2"],
                ["wait1", "noncrit2"]
            ],
            "repeat": 2
        }
    ],
    "negatives": [
        {
            "traces": [
                ["noncrit1", "noncrit2"],
                ["wait1", "noncrit2"],
                ["wait1", "wait2"],
                ["crit1", "wait2"],
                ["crit1", "crit2"]
            ],
            "repeat": 1
        },
        {
            "traces": [
                ["noncrit1", "noncrit2"],
                ["wait1", "noncrit2"]
            ],
            "repeat": 0
        },
        {
            "traces": [
                ["noncrit1", "noncrit2"],
                ["noncrit1", "wait2"]
            ],
            "repeat": 0
        }
    ]
}