{
 "schema": "exact-invariant-coverings-v1",
 "environment": {
  "python": "3.10.11",
  "ortools": "9.11.4210",
  "scip": "9.0.0 through OR-Tools linear-solver interface",
  "cp_sat_workers": 8,
  "host": "Windows, 12 logical cores",
  "note": "Timings and selected optimal recipes may vary; exactness requires OPTIMAL status with objective equal to best bound."
 },
 "entries": [
  {
   "cell": [
    16,
    5,
    3
   ],
   "group": "regular cyclic Z_16",
   "kind": "cyclic",
   "exact_minimum_blocks": 80,
   "schoenheim": 61,
   "unrestricted_record": 65,
   "base_blocks": [
    [
     0,
     1,
     2,
     7,
     14
    ],
    [
     0,
     1,
     3,
     10,
     14
    ],
    [
     0,
     1,
     4,
     5,
     11
    ],
    [
     0,
     1,
     4,
     8,
     14
    ],
    [
     0,
     1,
     6,
     9,
     14
    ]
   ],
   "cp_sat": {
    "status": "OPTIMAL",
    "objective": 80,
    "best_bound": 80,
    "wall_time": 1.7442833000000002,
    "branches": 438
   },
   "scip": {
    "status": "OPTIMAL",
    "objective": 79.99999999999997,
    "best_bound": 80,
    "wall_time_seconds": 1.9992713928222656,
    "nodes": 795
   },
   "independent_bnb": {
    "decision_orbits": 4,
    "decision_blocks": 64,
    "sat": false,
    "timed_out": false,
    "nodes": 34888,
    "elapsed_seconds": 1.1280009746551514
   }
  },
  {
   "cell": [
    16,
    5,
    3
   ],
   "group": "1-rotational Z_15 fixing 15",
   "kind": "rot1",
   "exact_minimum_blocks": 75,
   "schoenheim": 61,
   "unrestricted_record": 65,
   "base_blocks": [
    [
     0,
     1,
     2,
     4,
     8
    ],
    [
     0,
     1,
     5,
     6,
     12
    ],
    [
     0,
     1,
     9,
     13,
     15
    ],
    [
     0,
     2,
     5,
     8,
     10
    ],
    [
     0,
     2,
     5,
     9,
     15
    ]
   ],
   "cp_sat": {
    "status": "OPTIMAL",
    "objective": 75,
    "best_bound": 75,
    "wall_time": 3.6828003000000002,
    "branches": 292
   },
   "scip": {
    "status": "OPTIMAL",
    "objective": 74.99999999999999,
    "best_bound": 74.99999999999999,
    "wall_time_seconds": 1.3129198551177979,
    "nodes": 32
   }
  },
  {
   "cell": [
    13,
    5,
    4
   ],
   "group": "regular cyclic Z_13",
   "kind": "cyclic",
   "exact_minimum_blocks": 169,
   "schoenheim": 149,
   "unrestricted_record": 157,
   "base_blocks": [
    [
     0,
     1,
     2,
     3,
     10
    ],
    [
     0,
     1,
     2,
     4,
     11
    ],
    [
     0,
     1,
     2,
     5,
     8
    ],
    [
     0,
     1,
     2,
     6,
     7
    ],
    [
     0,
     1,
     3,
     4,
     9
    ],
    [
     0,
     1,
     3,
     5,
     9
    ],
    [
     0,
     1,
     3,
     6,
     7
    ],
    [
     0,
     1,
     3,
     6,
     10
    ],
    [
     0,
     1,
     3,
     8,
     11
    ],
    [
     0,
     1,
     3,
     9,
     11
    ],
    [
     0,
     1,
     4,
     5,
     10
    ],
    [
     0,
     1,
     4,
     6,
     8
    ],
    [
     0,
     1,
     5,
     7,
     11
    ]
   ],
   "cp_sat": {
    "status": "OPTIMAL",
    "objective": 169,
    "best_bound": 169,
    "wall_time": 0.6458309,
    "branches": 140
   },
   "scip": {
    "status": "OPTIMAL",
    "objective": 168.99999999999994,
    "best_bound": 168.99999999999994,
    "wall_time_seconds": 2.151445150375366,
    "nodes": 360
   },
   "independent_bnb": {
    "decision_orbits": 12,
    "decision_blocks": 156,
    "sat": false,
    "timed_out": false,
    "nodes": 8850906,
    "elapsed_seconds": 157.12070035934448
   }
  },
  {
   "cell": [
    13,
    5,
    4
   ],
   "group": "1-rotational Z_12 fixing 12",
   "kind": "rot1",
   "exact_minimum_blocks": 171,
   "schoenheim": 149,
   "unrestricted_record": 157,
   "base_blocks": [
    [
     0,
     1,
     2,
     3,
     6
    ],
    [
     0,
     1,
     2,
     4,
     8
    ],
    [
     0,
     1,
     2,
     4,
     12
    ],
    [
     0,
     1,
     2,
     7,
     10
    ],
    [
     0,
     1,
     2,
     9,
     10
    ],
    [
     0,
     1,
     3,
     4,
     6
    ],
    [
     0,
     1,
     3,
     7,
     8
    ],
    [
     0,
     1,
     4,
     7,
     9
    ],
    [
     0,
     1,
     5,
     7,
     10
    ],
    [
     0,
     1,
     5,
     9,
     12
    ],
    [
     0,
     1,
     6,
     7,
     12
    ],
    [
     0,
     1,
     6,
     8,
     10
    ],
    [
     0,
     1,
     8,
     10,
     12
    ],
    [
     0,
     2,
     4,
     9,
     12
    ],
    [
     0,
     2,
     6,
     8,
     12
    ],
    [
     0,
     3,
     6,
     9,
     12
    ]
   ],
   "cp_sat": {
    "status": "OPTIMAL",
    "objective": 171,
    "best_bound": 171,
    "wall_time": 6.734812600000001,
    "branches": 120
   },
   "scip": {
    "status": "OPTIMAL",
    "objective": 171,
    "best_bound": 171,
    "wall_time_seconds": 17.67000150680542,
    "nodes": 5378
   }
  },
  {
   "cell": [
    14,
    5,
    4
   ],
   "group": "regular cyclic Z_14",
   "kind": "cyclic",
   "exact_minimum_blocks": 238,
   "schoenheim": 219,
   "unrestricted_record": 229,
   "base_blocks": [
    [
     0,
     1,
     2,
     3,
     12
    ],
    [
     0,
     1,
     2,
     4,
     6
    ],
    [
     0,
     1,
     2,
     5,
     9
    ],
    [
     0,
     1,
     2,
     7,
     10
    ],
    [
     0,
     1,
     2,
     8,
     10
    ],
    [
     0,
     1,
     3,
     4,
     8
    ],
    [
     0,
     1,
     3,
     6,
     7
    ],
    [
     0,
     1,
     3,
     6,
     12
    ],
    [
     0,
     1,
     3,
     7,
     11
    ],
    [
     0,
     1,
     3,
     9,
     10
    ],
    [
     0,
     1,
     4,
     5,
     10
    ],
    [
     0,
     1,
     4,
     7,
     11
    ],
    [
     0,
     1,
     4,
     9,
     12
    ],
    [
     0,
     1,
     5,
     7,
     8
    ],
    [
     0,
     1,
     6,
     10,
     12
    ],
    [
     0,
     2,
     4,
     7,
     9
    ],
    [
     0,
     2,
     4,
     8,
     11
    ]
   ],
   "cp_sat": {
    "status": "OPTIMAL",
    "objective": 238,
    "best_bound": 238,
    "wall_time": 4.840059,
    "branches": 286
   },
   "scip": {
    "status": "OPTIMAL",
    "objective": 238,
    "best_bound": 238,
    "wall_time_seconds": 30.912432432174683,
    "nodes": 2764
   }
  },
  {
   "cell": [
    14,
    5,
    4
   ],
   "group": "1-rotational Z_13 fixing 13",
   "kind": "rot1",
   "exact_minimum_blocks": 234,
   "schoenheim": 219,
   "unrestricted_record": 229,
   "base_blocks": [
    [
     0,
     1,
     2,
     3,
     6
    ],
    [
     0,
     1,
     2,
     4,
     13
    ],
    [
     0,
     1,
     2,
     6,
     11
    ],
    [
     0,
     1,
     2,
     7,
     9
    ],
    [
     0,
     1,
     2,
     8,
     10
    ],
    [
     0,
     1,
     3,
     4,
     10
    ],
    [
     0,
     1,
     3,
     5,
     8
    ],
    [
     0,
     1,
     3,
     6,
     9
    ],
    [
     0,
     1,
     3,
     7,
     13
    ],
    [
     0,
     1,
     3,
     11,
     13
    ],
    [
     0,
     1,
     4,
     5,
     8
    ],
    [
     0,
     1,
     4,
     6,
     7
    ],
    [
     0,
     1,
     5,
     6,
     13
    ],
    [
     0,
     1,
     5,
     7,
     13
    ],
    [
     0,
     1,
     5,
     9,
     11
    ],
    [
     0,
     1,
     6,
     10,
     13
    ],
    [
     0,
     2,
     4,
     6,
     10
    ],
    [
     0,
     2,
     7,
     10,
     13
    ]
   ],
   "cp_sat": {
    "status": "OPTIMAL",
    "objective": 234,
    "best_bound": 234,
    "wall_time": 14.9097159,
    "branches": 68
   },
   "scip": {
    "status": "OPTIMAL",
    "objective": 234,
    "best_bound": 234,
    "wall_time_seconds": 60.405046224594116,
    "nodes": 6092
   }
  }
 ],
 "source_sha256": {
  "rot1_cpsat.py": "63f9cedfcc9756551072d44914e2d9947880012a0fc0681e0639888940beafdb",
  "cyclic_bnb.py": "18936b59c3a1e4e9b5bb7446ea1ba0d8638097dfe7a4ffeafc7bae153463f5f3",
  "verify_all.py": "4e4c1d58d5a7ed4929f73ee97c8bc5d10ae80d03b1fb6d573df58e1bad49a2df",
  "rot1_scip.py": "f272a9ba91af84883e3268232a939cbd5d225da4b55f0d4457f0d8b74a2a41a2",
  "cyclic_exact.py": "a51bef0a4d25deb388699a1a958b2201bd9ee50b191e8a8b15f4345f7180dad7",
  "cyclic_scip.py": "1e53edf54df9b4baf6d4f6ede42c2f04ef1fe7c850ab415e2ffd5ac17d961814"
 },
 "reference_commands": [
  "python verify_all.py exact_results.json",
  "python cyclic_exact.py 16 5 3 120 8",
  "python cyclic_scip.py 16 5 3 120",
  "python rot1_cpsat.py 16 5 3 120 8",
  "python rot1_scip.py 16 5 3 120",
  "python cyclic_bnb.py 16 5 3 5 240",
  "python cyclic_bnb.py 13 5 4 13 300"
 ]
}