engine/testdata/mosaic-2-14.json - main

main

mosaic / engine / testdata / mosaic-2-14.json

mosaic-2-14.json 5.6K wrap lines

1{"manifest":{"version":3,"id":"d76be464b4f4ef3e4564549e371262aac7fa885361e98fae4f0d6f3da11cd7a0","seed_commit":"d76be464b4f4ef3e4564549e371262aac7fa885361e98fae4f0d6f3da11cd7a0","G":27,"packer":{"kind":"grid","params":{"compound":0,"coverage":0,"n":14}},"m_by_n":{"10":3,"12":3,"14":3,"16":4,"6":2,"8":2},"rules":{"overlaps":true,"cross_tile":false,"seam_clues":true,"band_unique":false},"seed_tile":0,"tiles":[{"id":0,"x0":0,"y0":0,"w":14,"h":14,"rects":[[0,0,14,14]],"cells":196,"hash":"7036dd9b46d6d120e60f5ffd2b1fd3d2d4febeb1de9090f50913032df001b413","m":3,"overlaps":[{"with":1,"cells":14},{"with":2,"cells":14},{"with":3,"cells":1}],"pins":[0,1]},{"id":1,"x0":13,"y0":0,"w":14,"h":14,"rects":[[0,0,14,14]],"cells":196,"hash":"edff59771ad88ca8fbfdf44c36b4d75f07aae7c0e48dbac285809696dd0b631f","m":3,"overlaps":[{"with":0,"cells":14},{"with":2,"cells":1},{"with":3,"cells":14}],"pins":[0]},{"id":2,"x0":0,"y0":13,"w":14,"h":14,"rects":[[0,0,14,14]],"cells":196,"hash":"530ab2d1cc40f02405b294721ef38fc61d0881cc4263e30257e0dd382960aec5","m":3,"overlaps":[{"with":0,"cells":14},{"with":1,"cells":1},{"with":3,"cells":14}],"pins":[0,2]},{"id":3,"x0":13,"y0":13,"w":14,"h":14,"rects":[[0,0,14,14]],"cells":196,"hash":"b5bfb483f17a851ee7fdfca9ec60524992ea66d7ec3c756aa803a7cff6ea9f73","m":3,"overlaps":[{"with":0,"cells":1},{"with":1,"cells":14},{"with":2,"cells":14}],"pins":[1,2]}],"k":"unmeasured","generator":"1f06f1a2d5e8df1e","library":null,"hash_scheme":"mosaic-tile-v1","hash_key_commit":"0e699403d0690c8bad67c48d5275e94a95b46aa50cef1e45aab586b72fa7be53"},"solution":["001101101010101101010010011","100100110101010110100110010","011011001001101001101001101","010110011010011010011010010","101101100101000101100101011","110010010110101101001100101","010011011001010010011011010","101100100110010100110100101","011001010110101011001101100","100110101001101100110011010","011010010110010011001010101","101001001011011010100100110","100101101001100101011011001","010010110100110010110101100","101010011010010100100110011","001101101001101011001001011","010010010110110110110010100","110101101001001101101100100","101011011001001001011001011","010100100110110110010110100","001001010110111010101010010","110110101001001001010101101","001010110100110110110100100","101101001011000101001011011","110101100101001001100101011","001010010110110110011010100","110101001011001001001011011"],"tiles":[{"id":0,"givens":[[0,0],[1,0],[3,1],[6,1],[8,1],[12,1],[28,0],[33,1],[38,1],[54,0],[60,0],[65,1],[81,0],[82,1],[86,0],[87,0],[92,0],[93,0],[114,1],[116,0],[118,0],[144,1],[162,0],[164,0],[166,1],[168,0],[170,1],[172,0],[175,1],[194,0],[217,1],[226,1],[249,1],[251,1],[252,0],[255,1],[272,1],[277,1],[297,1],[299,1],[302,1],[304,0],[307,1],[308,1],[325,0],[328,0],[331,0],[333,0],[335,1],[336,1]],"blank":0.7448979591836735,"needs_unique":true,"needs_bifurcation":true,"flip":[201,202,228,229],"ladder":{"used_unique":false,"used_bifurcation":true,"bifurcations":3,"complete":false}},{"id":1,"givens":[[14,1],[15,1],[25,1],[26,1],[46,0],[48,1],[50,0],[52,1],[68,1],[70,0],[72,1],[80,1],[95,1],[97,1],[100,1],[104,0],[105,0],[127,0],[132,0],[134,1],[150,1],[152,1],[155,1],[157,0],[159,1],[160,0],[161,1],[175,1],[182,1],[205,0],[211,0],[214,0],[230,1],[239,1],[257,1],[260,0],[263,0],[266,1],[268,1],[285,0],[292,1],[293,0],[313,1],[316,0],[317,0],[321,1],[338,0],[346,1],[349,0]],"blank":0.75,"needs_unique":true,"needs_bifurcation":true,"flip":[94,98,121,125],"ladder":{"used_unique":false,"used_bifurcation":true,"bifurcations":1,"complete":false}},{"id":2,"givens":[[380,1],[383,0],[385,1],[386,1],[387,0],[389,0],[410,1],[417,1],[433,1],[438,0],[459,1],[460,1],[464,1],[468,0],[470,1],[486,1],[493,1],[517,0],[518,0],[522,1],[523,1],[540,0],[548,0],[570,1],[572,0],[573,1],[605,0],[621,1],[623,1],[624,1],[626,1],[631,1],[633,0],[648,1],[650,0],[651,1],[656,0],[679,1],[680,0],[681,0],[683,0],[685,1],[702,1],[703,1],[706,0],[707,1],[712,1],[713,1],[714,0]],"blank":0.75,"needs_unique":true,"needs_bifurcation":true,"flip":[362,363,659,660],"ladder":{"used_unique":true,"used_bifurcation":true,"bifurcations":4,"complete":false}},{"id":3,"givens":[[395,0],[400,1],[402,0],[419,1],[420,0],[421,1],[430,1],[447,1],[453,0],[458,0],[473,1],[474,1],[478,0],[479,1],[485,0],[502,0],[505,1],[511,1],[512,1],[528,1],[532,1],[533,0],[535,1],[538,0],[539,0],[556,1],[562,1],[563,0],[564,0],[565,1],[566,0],[586,1],[587,0],[592,0],[609,1],[613,1],[618,1],[619,0],[636,1],[639,0],[643,1],[647,1],[671,1],[673,1],[691,1],[693,0],[701,0],[716,1],[720,0]],"blank":0.75,"needs_unique":true,"needs_bifurcation":true,"flip":[607,617,634,644],"ladder":{"used_unique":false,"used_bifurcation":true,"bifurcations":1,"complete":false}}],"stats":{"ms":1047,"attempts":1,"refills":0,"backjumps":0,"regivens":0,"releases":0,"waves":4,"wave_retries":0,"redraws":0,"fill_retries":0,"fill_ms":30,"givens_ms":978,"settle_ms":39,"wasted_ms":0,"wasted":0,"sat_calls":2917,"sat_ms":547,"ladder_ms":137,"remove_ms":8387,"tile_timers":[{"id":0,"cells":196,"fill_ms":0,"givens_ms":239,"rounds":1,"trials":10,"sat_calls":547,"ladder_ms":37,"remove_ms":2090},{"id":1,"cells":196,"fill_ms":0,"givens_ms":234,"rounds":1,"trials":10,"sat_calls":953,"ladder_ms":42,"remove_ms":1998},{"id":2,"cells":196,"fill_ms":0,"givens_ms":255,"rounds":1,"trials":10,"sat_calls":649,"ladder_ms":37,"remove_ms":2198},{"id":3,"cells":196,"fill_ms":0,"givens_ms":248,"rounds":1,"trials":10,"sat_calls":658,"ladder_ms":21,"remove_ms":2101}]},"layout":{"tiles":4,"coverage":1,"holes":0,"hole_cells":0,"mean_hole":0,"by_cells":{"129-256":4},"overlaps":6,"mean_overlap":9.666666666666666,"compound":0},"day_seed":"a","hash_key":"9a803d54a4955960281a230815ca074d8fc223277b1adf0c370a886ff1a9ee06"}