[
  {
    "id": "polycube_p9_02127",
    "motifCopies": 12,
    "sourceCertificate": "data/heesch-catalog/papoutsis/solution_01345.json",
    "allRootRolesChecked": 12,
    "sameClausesInOriginalAndGenericEncoder": true,
    "formulaSHA256": "3b0021eca4a6dff8afd89ae85add2f06f803ee569040c30a01c9a3a7fb7210a2",
    "results": [
      {
        "rootMotifRole": 0,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 27,
        "secondLayerTiles": 158,
        "totalTiles": 186,
        "coveredVoxels": 1674
      },
      {
        "rootMotifRole": 1,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 27,
        "secondLayerTiles": 158,
        "totalTiles": 186,
        "coveredVoxels": 1674
      },
      {
        "rootMotifRole": 2,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 24,
        "secondLayerTiles": 152,
        "totalTiles": 177,
        "coveredVoxels": 1593
      },
      {
        "rootMotifRole": 3,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 24,
        "secondLayerTiles": 154,
        "totalTiles": 179,
        "coveredVoxels": 1611
      },
      {
        "rootMotifRole": 4,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 24,
        "secondLayerTiles": 154,
        "totalTiles": 179,
        "coveredVoxels": 1611
      },
      {
        "rootMotifRole": 5,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 24,
        "secondLayerTiles": 152,
        "totalTiles": 177,
        "coveredVoxels": 1593
      },
      {
        "rootMotifRole": 6,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 24,
        "secondLayerTiles": 154,
        "totalTiles": 179,
        "coveredVoxels": 1611
      },
      {
        "rootMotifRole": 7,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 24,
        "secondLayerTiles": 154,
        "totalTiles": 179,
        "coveredVoxels": 1611
      },
      {
        "rootMotifRole": 8,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 27,
        "secondLayerTiles": 158,
        "totalTiles": 186,
        "coveredVoxels": 1674
      },
      {
        "rootMotifRole": 9,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 27,
        "secondLayerTiles": 158,
        "totalTiles": 186,
        "coveredVoxels": 1674
      },
      {
        "rootMotifRole": 10,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 24,
        "secondLayerTiles": 152,
        "totalTiles": 177,
        "coveredVoxels": 1593
      },
      {
        "rootMotifRole": 11,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 24,
        "secondLayerTiles": 152,
        "totalTiles": 177,
        "coveredVoxels": 1593
      }
    ]
  },
  {
    "id": "polycube_p9_24025",
    "motifCopies": 12,
    "sourceCertificate": "data/heesch-catalog/papoutsis/solution_12982.json",
    "allRootRolesChecked": 12,
    "sameClausesInOriginalAndGenericEncoder": true,
    "formulaSHA256": "f8558c2843d626597190d7b86d3f9a8dd79c436f769780bf43b2c76f793b6aa8",
    "results": [
      {
        "rootMotifRole": 0,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 25,
        "secondLayerTiles": 105,
        "totalTiles": 131,
        "coveredVoxels": 1179
      },
      {
        "rootMotifRole": 1,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 26,
        "secondLayerTiles": 112,
        "totalTiles": 139,
        "coveredVoxels": 1251
      },
      {
        "rootMotifRole": 2,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 24,
        "secondLayerTiles": 103,
        "totalTiles": 128,
        "coveredVoxels": 1152
      },
      {
        "rootMotifRole": 3,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 23,
        "secondLayerTiles": 103,
        "totalTiles": 127,
        "coveredVoxels": 1143
      },
      {
        "rootMotifRole": 4,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 23,
        "secondLayerTiles": 102,
        "totalTiles": 126,
        "coveredVoxels": 1134
      },
      {
        "rootMotifRole": 5,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 25,
        "secondLayerTiles": 109,
        "totalTiles": 135,
        "coveredVoxels": 1215
      },
      {
        "rootMotifRole": 6,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 25,
        "secondLayerTiles": 109,
        "totalTiles": 135,
        "coveredVoxels": 1215
      },
      {
        "rootMotifRole": 7,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 23,
        "secondLayerTiles": 102,
        "totalTiles": 126,
        "coveredVoxels": 1134
      },
      {
        "rootMotifRole": 8,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 24,
        "secondLayerTiles": 103,
        "totalTiles": 128,
        "coveredVoxels": 1152
      },
      {
        "rootMotifRole": 9,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 23,
        "secondLayerTiles": 103,
        "totalTiles": 127,
        "coveredVoxels": 1143
      },
      {
        "rootMotifRole": 10,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 26,
        "secondLayerTiles": 112,
        "totalTiles": 139,
        "coveredVoxels": 1251
      },
      {
        "rootMotifRole": 11,
        "formulaAccepts": true,
        "allClausesChecked": true,
        "missingFirstLayerTileRejected": true,
        "missingSecondLayerTileRejected": true,
        "firstLayerTiles": 25,
        "secondLayerTiles": 105,
        "totalTiles": 131,
        "coveredVoxels": 1179
      }
    ]
  }
]