{"id": "ring_octocube", "k": 1, "buildSeconds": 0.004398957826197147, "placements": 386, "variables": 2847, "clauses": 7271, "status": "SAT", "solveSeconds": 0.0006123748607933521, "stats": {"restarts": 1, "conflicts": 20, "decisions": 598, "propagations": 5859}, "witness": {"root": [[0, 0, 0], [0, 0, 1], [0, 0, 2], [0, 1, 0], [0, 1, 2], [0, 2, 0], [0, 2, 1], [0, 2, 2]], "tiles": [[[-1, -3, 2], [-1, -3, 3], [-1, -3, 4], [-1, -2, 2], [-1, -2, 4], [-1, -1, 2], [-1, -1, 3], [-1, -1, 4]], [[-1, 0, 2], [-1, 0, 3], [-1, 0, 4], [-1, 1, 2], [-1, 1, 4], [-1, 2, 2], [-1, 2, 3], [-1, 2, 4]], [[-1, 3, -2], [-1, 3, -1], [-1, 3, 0], [-1, 4, -2], [-1, 4, 0], [-1, 5, -2], [-1, 5, -1], [-1, 5, 0]], [[0, -3, 1], [0, -3, 2], [0, -3, 3], [0, -2, 1], [0, -2, 3], [0, -1, 1], [0, -1, 2], [0, -1, 3]], [[0, 2, 3], [0, 2, 4], [0, 2, 5], [0, 3, 3], [0, 3, 5], [0, 4, 3], [0, 4, 4], [0, 4, 5]], [[0, 3, -2], [0, 3, -1], [0, 3, 0], [0, 4, -2], [0, 4, 0], [0, 5, -2], [0, 5, -1], [0, 5, 0]], [[1, -3, -2], [1, -3, -1], [1, -3, 0], [1, -2, -2], [1, -2, 0], [1, -1, -2], [1, -1, -1], [1, -1, 0]], [[1, -1, 2], [1, -1, 3], [1, -1, 4], [1, 0, 2], [1, 0, 4], [1, 1, 2], [1, 1, 3], [1, 1, 4]], [[1, 1, -3], [1, 1, -2], [1, 1, -1], [1, 2, -3], [1, 2, -1], [1, 3, -3], [1, 3, -2], [1, 3, -1]], [[-2, -1, -3], [-2, -1, -2], [-2, -1, -1], [-1, -1, -3], [-1, -1, -1], [0, -1, -3], [0, -1, -2], [0, -1, -1]], [[-2, 1, -3], [-2, 1, -2], [-2, 1, -1], [-1, 1, -3], [-1, 1, -1], [0, 1, -3], [0, 1, -2], [0, 1, -1]], [[-2, 1, 3], [-2, 1, 4], [-2, 1, 5], [-1, 1, 3], [-1, 1, 5], [0, 1, 3], [0, 1, 4], [0, 1, 5]], [[-2, 2, -3], [-2, 2, -2], [-2, 2, -1], [-1, 2, -3], [-1, 2, -1], [0, 2, -3], [0, 2, -2], [0, 2, -1]], [[-1, 0, -3], [-1, 0, -2], [-1, 0, -1], [0, 0, -3], [0, 0, -1], [1, 0, -3], [1, 0, -2], [1, 0, -1]], [[0, 0, 3], [0, 0, 4], [0, 0, 5], [1, 0, 3], [1, 0, 5], [2, 0, 3], [2, 0, 4], [2, 0, 5]], [[1, 2, 2], [1, 2, 3], [1, 2, 4], [2, 2, 2], [2, 2, 4], [3, 2, 2], [3, 2, 3], [3, 2, 4]], [[-3, -2, 1], [-3, -1, 1], [-3, 0, 1], [-2, -2, 1], [-2, 0, 1], [-1, -2, 1], [-1, -1, 1], [-1, 0, 1]], [[-3, 0, 0], [-3, 1, 0], [-3, 2, 0], [-2, 0, 0], [-2, 2, 0], [-1, 0, 0], [-1, 1, 0], [-1, 2, 0]], [[-3, 3, 3], [-3, 4, 3], [-3, 5, 3], [-2, 3, 3], [-2, 5, 3], [-1, 3, 3], [-1, 4, 3], [-1, 5, 3]], [[-2, -3, 0], [-2, -2, 0], [-2, -1, 0], [-1, -3, 0], [-1, -1, 0], [0, -3, 0], [0, -2, 0], [0, -1, 0]], [[-2, 3, 2], [-2, 4, 2], [-2, 5, 2], [-1, 3, 2], [-1, 5, 2], [0, 3, 2], [0, 4, 2], [0, 5, 2]], [[-1, 1, 1], [-1, 2, 1], [-1, 3, 1], [0, 1, 1], [0, 3, 1], [1, 1, 1], [1, 2, 1], [1, 3, 1]], [[1, -2, 1], [1, -1, 1], [1, 0, 1], [2, -2, 1], [2, 0, 1], [3, -2, 1], [3, -1, 1], [3, 0, 1]], [[1, 0, 0], [1, 1, 0], [1, 2, 0], [2, 0, 0], [2, 2, 0], [3, 0, 0], [3, 1, 0], [3, 2, 0]], [[1, 3, 0], [1, 4, 0], [1, 5, 0], [2, 3, 0], [2, 5, 0], [3, 3, 0], [3, 4, 0], [3, 5, 0]], [[1, 3, 2], [1, 4, 2], [1, 5, 2], [2, 3, 2], [2, 5, 2], [3, 3, 2], [3, 4, 2], [3, 5, 2]], [[1, 3, 3], [1, 4, 3], [1, 5, 3], [2, 3, 3], [2, 5, 3], [3, 3, 3], [3, 4, 3], [3, 5, 3]]], "layerCounts": [27], "verified": true}}