{
 "R1": {
  "instances": 200,
  "passed": 200
 },
 "R2": {
  "instances": 200,
  "passed": 200
 },
 "R3": {
  "instances": 200,
  "passed": 200
 },
 "R4": {
  "instances": 200,
  "passed": 200
 },
 "INC2_t001": {
  "instances": 200,
  "passed": 200,
  "fails": []
 },
 "INC2_t000100101": {
  "instances": 200,
  "passed": 200,
  "fails": []
 }
}