[
  {
    "id": "polycube_p10_052588",
    "rulesVerified": 12735,
    "everyRuleMinimalForItsCertifiedRequiredPoint": true,
    "anchorInverseMapVerified": true,
    "rollbackTrials": 100
  }
]