{"rule": "Call4Y", "instances": 83, "passed": 83, "fails": []}
{"rule": "Call4X", "instances": 67, "passed": 67, "fails": []}
{"rule": "Call2Xeven", "instances": 72, "passed": 72, "fails": []}
{"rule": "Call2Yeven", "instances": 78, "passed": 78, "fails": []}
{"rule": "Call2Xodd", "instances": 76, "passed": 76, "fails": []}
{"rule": "Call2Yodd", "instances": 82, "passed": 82, "fails": []}
{"rule": "ResumeTY", "instances": 71, "passed": 71, "fails": []}
{"rule": "HaltRoom2Y", "instances": 69, "passed": 69, "fails": []}
{"rule": "HaltRoom2X", "instances": 71, "passed": 71, "fails": []}
{"rule": "HaltOne", "instances": 62, "passed": 62, "fails": []}