{ "protocol": "wai.quantum.landscape/2", "about": "What a member of the second version is held to: extensions/quantum-landscape-2.md, section 6. Its exponential, schedule and generator are the first version's, pinned by that version's set. Frozen: a test pins this file's digest, and any change to it is a new version of the protocol. Rebuilt by `wai-quantum landscape vectors --protocol 2`.", "settle": [ { "name": "recall/n=16/costs-of-0", "landscape": { "n": 16, "couplings": [ [ 0, 1, -1 ], [ 0, 2, -1 ], [ 0, 3, 1 ], [ 0, 4, 1 ], [ 0, 5, -1 ], [ 0, 6, -1 ], [ 0, 7, -1 ], [ 0, 8, -1 ], [ 0, 9, 1 ], [ 0, 10, -1 ], [ 0, 11, 1 ], [ 0, 12, 1 ], [ 0, 13, -1 ], [ 0, 14, -1 ], [ 0, 15, -1 ], [ 1, 2, 1 ], [ 1, 3, -1 ], [ 1, 4, -1 ], [ 1, 5, 1 ], [ 1, 6, 1 ], [ 1, 7, 1 ], [ 1, 8, 1 ], [ 1, 9, -1 ], [ 1, 10, 1 ], [ 1, 11, -1 ], [ 1, 12, -1 ], [ 1, 13, 1 ], [ 1, 14, 1 ], [ 1, 15, 1 ], [ 2, 3, -1 ], [ 2, 4, -1 ], [ 2, 5, 1 ], [ 2, 6, 1 ], [ 2, 7, 1 ], [ 2, 8, 1 ], [ 2, 9, -1 ], [ 2, 10, 1 ], [ 2, 11, -1 ], [ 2, 12, -1 ], [ 2, 13, 1 ], [ 2, 14, 1 ], [ 2, 15, 1 ], [ 3, 4, 1 ], [ 3, 5, -1 ], [ 3, 6, -1 ], [ 3, 7, -1 ], [ 3, 8, -1 ], [ 3, 9, 1 ], [ 3, 10, -1 ], [ 3, 11, 1 ], [ 3, 12, 1 ], [ 3, 13, -1 ], [ 3, 14, -1 ], [ 3, 15, -1 ], [ 4, 5, -1 ], [ 4, 6, -1 ], [ 4, 7, -1 ], [ 4, 8, -1 ], [ 4, 9, 1 ], [ 4, 10, -1 ], [ 4, 11, 1 ], [ 4, 12, 1 ], [ 4, 13, -1 ], [ 4, 14, -1 ], [ 4, 15, -1 ], [ 5, 6, 1 ], [ 5, 7, 1 ], [ 5, 8, 1 ], [ 5, 9, -1 ], [ 5, 10, 1 ], [ 5, 11, -1 ], [ 5, 12, -1 ], [ 5, 13, 1 ], [ 5, 14, 1 ], [ 5, 15, 1 ], [ 6, 7, 1 ], [ 6, 8, 1 ], [ 6, 9, -1 ], [ 6, 10, 1 ], [ 6, 11, -1 ], [ 6, 12, -1 ], [ 6, 13, 1 ], [ 6, 14, 1 ], [ 6, 15, 1 ], [ 7, 8, 1 ], [ 7, 9, -1 ], [ 7, 10, 1 ], [ 7, 11, -1 ], [ 7, 12, -1 ], [ 7, 13, 1 ], [ 7, 14, 1 ], [ 7, 15, 1 ], [ 8, 9, -1 ], [ 8, 10, 1 ], [ 8, 11, -1 ], [ 8, 12, -1 ], [ 8, 13, 1 ], [ 8, 14, 1 ], [ 8, 15, 1 ], [ 9, 10, -1 ], [ 9, 11, 1 ], [ 9, 12, 1 ], [ 9, 13, -1 ], [ 9, 14, -1 ], [ 9, 15, -1 ], [ 10, 11, -1 ], [ 10, 12, -1 ], [ 10, 13, 1 ], [ 10, 14, 1 ], [ 10, 15, 1 ], [ 11, 12, 1 ], [ 11, 13, -1 ], [ 11, 14, -1 ], [ 11, 15, -1 ], [ 12, 13, -1 ], [ 12, 14, -1 ], [ 12, 15, -1 ], [ 13, 14, 1 ], [ 13, 15, 1 ], [ 14, 15, 1 ] ], "field": [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ], "costs": [ 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ] }, "field_bound": 15, "start": "++-++-+--+-++---", "bound": 40, "expect": { "state": "+--++----+-++---", "sweeps": 2, "term": "fixed-point", "accumulates": 480, "state_hash": "61d7e02dd238079d" } }, { "name": "a-cost-below-0-at-a-field-of-0-goes-to-plus", "landscape": { "n": 1, "couplings": [], "field": [ 0 ], "costs": [ -1 ] }, "field_bound": 0, "start": "0", "bound": 3, "expect": { "state": "+", "sweeps": 2, "term": "fixed-point", "accumulates": 0, "state_hash": "af63bf4c8601bb45" } }, { "name": "costs-below-0-take-their-field-s-sign", "landscape": { "n": 5, "couplings": [], "field": [ -2, -1, 0, 1, 5 ], "costs": [ -1, -1, -1, -3, -1 ] }, "field_bound": 5, "start": "0+-00", "bound": 5, "expect": { "state": "--+++", "sweeps": 2, "term": "fixed-point", "accumulates": 0, "state_hash": "f61613d92f01b05d" } }, { "name": "each-cell-at-its-own-threshold", "landscape": { "n": 8, "couplings": [], "field": [ 2, -2, 0, 1, -1, 3, -4, 0 ], "costs": [ 2, 2, 0, 0, 0, 3, 4, -5 ] }, "field_bound": 4, "start": "+-+-0+--", "bound": 4, "expect": { "state": "000+-00+", "sweeps": 2, "term": "fixed-point", "accumulates": 0, "state_hash": "61d1952b8b533f9c" } }, { "name": "a-one-hot-group-from-0-flips-for-ever", "landscape": { "n": 3, "couplings": [ [ 0, 1, -1 ], [ 0, 2, -1 ], [ 1, 2, -1 ] ], "field": [ -1, -1, -1 ], "costs": [ -1, -1, -1 ] }, "field_bound": 3, "start": "000", "bound": 20, "expect": { "state": "---", "sweeps": 3, "term": "two-cycle", "accumulates": 18, "state_hash": "d94d12186c0f2fb7" } }, { "name": "an-assignment-rests", "landscape": { "n": 9, "couplings": [ [ 0, 1, -1 ], [ 0, 2, -1 ], [ 0, 3, -1 ], [ 0, 6, -1 ], [ 1, 2, -1 ], [ 1, 4, -1 ], [ 1, 7, -1 ], [ 2, 5, -1 ], [ 2, 8, -1 ], [ 3, 4, -1 ], [ 3, 5, -1 ], [ 3, 6, -1 ], [ 4, 5, -1 ], [ 4, 7, -1 ], [ 5, 8, -1 ], [ 6, 7, -1 ], [ 6, 8, -1 ], [ 7, 8, -1 ] ], "field": [ -2, -2, -2, -2, -2, -2, -2, -2, -2 ], "costs": [ -1, -1, -1, -1, -1, -1, -1, -1, -1 ] }, "field_bound": 6, "start": "+---+---+", "bound": 10, "expect": { "state": "+---+---+", "sweeps": 1, "term": "fixed-point", "accumulates": 36, "state_hash": "f37b68a053274485" } }, { "name": "an-assignment-from-0-flips-for-ever", "landscape": { "n": 9, "couplings": [ [ 0, 1, -1 ], [ 0, 2, -1 ], [ 0, 3, -1 ], [ 0, 6, -1 ], [ 1, 2, -1 ], [ 1, 4, -1 ], [ 1, 7, -1 ], [ 2, 5, -1 ], [ 2, 8, -1 ], [ 3, 4, -1 ], [ 3, 5, -1 ], [ 3, 6, -1 ], [ 4, 5, -1 ], [ 4, 7, -1 ], [ 5, 8, -1 ], [ 6, 7, -1 ], [ 6, 8, -1 ], [ 7, 8, -1 ] ], "field": [ -2, -2, -2, -2, -2, -2, -2, -2, -2 ], "costs": [ -1, -1, -1, -1, -1, -1, -1, -1, -1 ] }, "field_bound": 6, "start": "000000000", "bound": 30, "expect": { "state": "---------", "sweeps": 3, "term": "two-cycle", "accumulates": 108, "state_hash": "e604823a249029bf" } }, { "name": "a-chain-stopped-at-its-bound", "landscape": { "n": 6, "couplings": [ [ 0, 1, 1 ], [ 1, 2, 1 ], [ 2, 3, 1 ], [ 3, 4, 1 ], [ 4, 5, 1 ] ], "field": [ 3, 0, 0, 0, 0, 0 ], "costs": [ 0, 0, 0, -1, 0, 0 ] }, "field_bound": 4, "start": "000000", "bound": 3, "expect": { "state": "++++++", "sweeps": 3, "term": "bound", "accumulates": 30, "state_hash": "fbbea7c5b66112a5" } }, { "name": "a-chain-arrives", "landscape": { "n": 6, "couplings": [ [ 0, 1, 1 ], [ 1, 2, 1 ], [ 2, 3, 1 ], [ 3, 4, 1 ], [ 4, 5, 1 ] ], "field": [ 3, 0, 0, 0, 0, 0 ], "costs": [ 0, 0, 0, -1, 0, 0 ] }, "field_bound": 4, "start": "000000", "bound": 20, "expect": { "state": "++++++", "sweeps": 4, "term": "fixed-point", "accumulates": 40, "state_hash": "fbbea7c5b66112a5" } }, { "name": "costs-and-fields-at-2-40", "landscape": { "n": 6, "couplings": [ [ 0, 1, 1 ] ], "field": [ 1099511627775, -1099511627775, 1099511627776, 0, -1099511627776, 1099511627776 ], "costs": [ 1099511627776, 1099511627776, 1099511627775, -1099511627776, -1099511627776, -1099511627776 ] }, "field_bound": 1099511627776, "start": "000000", "bound": 4, "expect": { "state": "00++-+", "sweeps": 2, "term": "fixed-point", "accumulates": 4, "state_hash": "b6b52fe102bfa255" } }, { "name": "random/n=200/mixed-costs", "landscape": { "n": 200, "couplings": [ [ 0, 2, -1 ], [ 0, 13, -1 ], [ 0, 138, 1 ], [ 0, 174, 1 ], [ 1, 9, -1 ], [ 1, 136, 1 ], [ 1, 175, -1 ], [ 2, 78, 1 ], [ 2, 109, 1 ], [ 2, 118, -1 ], [ 2, 170, 1 ], [ 3, 20, 1 ], [ 3, 37, 1 ], [ 3, 54, 1 ], [ 3, 105, 1 ], [ 3, 141, 1 ], [ 4, 21, -1 ], [ 4, 76, 1 ], [ 4, 101, -1 ], [ 4, 130, 1 ], [ 4, 136, -1 ], [ 4, 162, -1 ], [ 4, 173, -1 ], [ 5, 15, 1 ], [ 5, 32, 1 ], [ 5, 45, -1 ], [ 5, 57, 1 ], [ 5, 63, 1 ], [ 5, 80, -1 ], [ 5, 94, 1 ], [ 5, 108, 1 ], [ 5, 136, -1 ], [ 5, 150, -1 ], [ 5, 155, -1 ], [ 5, 174, -1 ], [ 5, 178, 1 ], [ 6, 23, -1 ], [ 6, 25, -1 ], [ 6, 140, 1 ], [ 6, 142, -1 ], [ 6, 157, -1 ], [ 7, 21, -1 ], [ 7, 52, 1 ], [ 7, 131, 1 ], [ 7, 154, 1 ], [ 8, 61, 1 ], [ 8, 172, -1 ], [ 8, 180, 1 ], [ 8, 181, 1 ], [ 9, 22, -1 ], [ 9, 27, -1 ], [ 9, 86, -1 ], [ 9, 117, 1 ], [ 9, 139, 1 ], [ 9, 179, 1 ], [ 9, 190, -1 ], [ 10, 128, 1 ], [ 10, 144, -1 ], [ 10, 150, 1 ], [ 10, 178, 1 ], [ 11, 71, -1 ], [ 11, 85, -1 ], [ 11, 87, 1 ], [ 11, 145, -1 ], [ 12, 42, -1 ], [ 12, 47, -1 ], [ 12, 101, -1 ], [ 12, 108, -1 ], [ 13, 34, 1 ], [ 13, 36, -1 ], [ 13, 46, 1 ], [ 13, 53, -1 ], [ 13, 79, 1 ], [ 13, 99, 1 ], [ 13, 150, -1 ], [ 13, 191, 1 ], [ 14, 56, 1 ], [ 14, 118, 1 ], [ 14, 195, -1 ], [ 15, 43, -1 ], [ 15, 124, 1 ], [ 16, 33, 1 ], [ 16, 48, 1 ], [ 16, 97, 1 ], [ 16, 98, -1 ], [ 16, 106, -1 ], [ 16, 126, -1 ], [ 16, 155, 1 ], [ 17, 52, 1 ], [ 17, 96, -1 ], [ 17, 119, -1 ], [ 17, 129, 1 ], [ 17, 177, 1 ], [ 17, 194, 1 ], [ 18, 73, 1 ], [ 18, 83, 1 ], [ 18, 105, 1 ], [ 18, 159, -1 ], [ 19, 70, -1 ], [ 19, 99, -1 ], [ 19, 110, 1 ], [ 19, 148, -1 ], [ 19, 161, -1 ], [ 19, 164, -1 ], [ 19, 195, -1 ], [ 19, 199, -1 ], [ 20, 86, -1 ], [ 20, 97, 1 ], [ 20, 114, 1 ], [ 20, 122, 1 ], [ 20, 128, 1 ], [ 20, 134, -1 ], [ 20, 177, 1 ], [ 21, 25, 1 ], [ 21, 67, -1 ], [ 21, 101, 1 ], [ 21, 122, 1 ], [ 21, 195, -1 ], [ 21, 199, 1 ], [ 22, 34, -1 ], [ 22, 60, 1 ], [ 22, 121, -1 ], [ 22, 123, -1 ], [ 22, 183, 1 ], [ 23, 38, -1 ], [ 23, 136, -1 ], [ 23, 192, -1 ], [ 23, 196, 1 ], [ 24, 26, 1 ], [ 24, 48, -1 ], [ 24, 59, 1 ], [ 24, 65, 1 ], [ 24, 86, 1 ], [ 24, 92, -1 ], [ 24, 115, 1 ], [ 24, 134, 1 ], [ 24, 151, 1 ], [ 24, 161, 1 ], [ 25, 66, -1 ], [ 25, 80, -1 ], [ 25, 102, 1 ], [ 25, 164, 1 ], [ 26, 62, -1 ], [ 26, 94, -1 ], [ 26, 99, -1 ], [ 26, 134, -1 ], [ 26, 186, -1 ], [ 27, 129, -1 ], [ 27, 136, 1 ], [ 27, 166, 1 ], [ 28, 55, 1 ], [ 28, 80, -1 ], [ 28, 144, 1 ], [ 29, 68, 1 ], [ 29, 112, 1 ], [ 29, 124, -1 ], [ 29, 173, -1 ], [ 29, 185, -1 ], [ 30, 117, 1 ], [ 30, 132, -1 ], [ 30, 147, -1 ], [ 30, 157, 1 ], [ 31, 48, 1 ], [ 31, 103, 1 ], [ 31, 152, 1 ], [ 31, 156, 1 ], [ 31, 157, 1 ], [ 31, 188, 1 ], [ 32, 65, 1 ], [ 32, 66, -1 ], [ 32, 93, 1 ], [ 32, 98, 1 ], [ 32, 156, -1 ], [ 32, 191, 1 ], [ 33, 51, -1 ], [ 33, 60, -1 ], [ 33, 75, 1 ], [ 33, 79, 1 ], [ 33, 103, 1 ], [ 33, 110, 1 ], [ 34, 57, 1 ], [ 34, 132, 1 ], [ 34, 182, -1 ], [ 35, 54, 1 ], [ 35, 74, 1 ], [ 35, 88, -1 ], [ 35, 100, 1 ], [ 35, 112, -1 ], [ 35, 117, -1 ], [ 35, 127, 1 ], [ 35, 195, 1 ], [ 36, 51, 1 ], [ 36, 95, 1 ], [ 36, 133, -1 ], [ 36, 143, 1 ], [ 37, 72, 1 ], [ 37, 168, -1 ], [ 37, 172, 1 ], [ 37, 177, 1 ], [ 38, 80, -1 ], [ 38, 116, 1 ], [ 38, 130, 1 ], [ 38, 133, 1 ], [ 38, 161, 1 ], [ 39, 75, 1 ], [ 39, 76, 1 ], [ 39, 92, 1 ], [ 39, 96, -1 ], [ 39, 155, -1 ], [ 40, 44, -1 ], [ 40, 51, -1 ], [ 40, 99, -1 ], [ 40, 149, 1 ], [ 40, 160, 1 ], [ 41, 50, -1 ], [ 41, 55, -1 ], [ 41, 79, 1 ], [ 41, 142, -1 ], [ 41, 153, -1 ], [ 41, 171, 1 ], [ 42, 146, 1 ], [ 42, 163, 1 ], [ 42, 181, -1 ], [ 42, 196, -1 ], [ 43, 56, 1 ], [ 43, 109, -1 ], [ 43, 157, 1 ], [ 43, 160, -1 ], [ 44, 109, -1 ], [ 44, 117, -1 ], [ 44, 151, 1 ], [ 44, 166, -1 ], [ 45, 56, -1 ], [ 45, 121, -1 ], [ 45, 138, -1 ], [ 46, 62, 1 ], [ 46, 111, -1 ], [ 46, 147, 1 ], [ 46, 180, 1 ], [ 47, 76, -1 ], [ 47, 135, 1 ], [ 48, 78, -1 ], [ 48, 127, -1 ], [ 48, 142, 1 ], [ 49, 53, -1 ], [ 49, 114, 1 ], [ 49, 121, -1 ], [ 49, 164, 1 ], [ 49, 169, 1 ], [ 49, 196, 1 ], [ 50, 104, 1 ], [ 50, 114, -1 ], [ 50, 115, 1 ], [ 50, 161, -1 ], [ 51, 57, -1 ], [ 51, 84, -1 ], [ 51, 98, 1 ], [ 51, 165, 1 ], [ 52, 72, -1 ], [ 52, 149, -1 ], [ 52, 158, 1 ], [ 52, 165, 1 ], [ 52, 191, 1 ], [ 53, 111, 1 ], [ 53, 119, -1 ], [ 53, 124, -1 ], [ 53, 165, 1 ], [ 53, 166, -1 ], [ 54, 71, 1 ], [ 54, 86, 1 ], [ 54, 97, 1 ], [ 54, 99, 1 ], [ 54, 122, 1 ], [ 54, 136, 1 ], [ 54, 165, -1 ], [ 54, 167, -1 ], [ 55, 70, -1 ], [ 55, 102, -1 ], [ 55, 107, 1 ], [ 55, 161, 1 ], [ 55, 177, -1 ], [ 56, 68, 1 ], [ 56, 124, 1 ], [ 56, 194, -1 ], [ 57, 65, 1 ], [ 57, 74, -1 ], [ 57, 75, -1 ], [ 57, 105, 1 ], [ 57, 111, -1 ], [ 57, 152, 1 ], [ 57, 189, -1 ], [ 58, 148, 1 ], [ 58, 170, 1 ], [ 58, 181, 1 ], [ 59, 71, -1 ], [ 59, 133, -1 ], [ 59, 139, 1 ], [ 60, 100, -1 ], [ 60, 115, -1 ], [ 60, 126, 1 ], [ 60, 154, 1 ], [ 60, 172, -1 ], [ 61, 95, -1 ], [ 61, 112, 1 ], [ 61, 114, 1 ], [ 61, 120, -1 ], [ 62, 89, -1 ], [ 62, 134, -1 ], [ 62, 165, -1 ], [ 62, 188, -1 ], [ 63, 65, -1 ], [ 63, 99, 1 ], [ 63, 129, -1 ], [ 64, 76, 1 ], [ 64, 82, 1 ], [ 64, 105, -1 ], [ 64, 198, -1 ], [ 65, 102, 1 ], [ 65, 171, 1 ], [ 65, 175, -1 ], [ 66, 69, 1 ], [ 66, 118, -1 ], [ 66, 149, -1 ], [ 66, 198, -1 ], [ 67, 76, 1 ], [ 67, 99, -1 ], [ 67, 106, 1 ], [ 67, 144, -1 ], [ 68, 103, 1 ], [ 68, 142, 1 ], [ 68, 146, -1 ], [ 68, 186, 1 ], [ 69, 81, -1 ], [ 69, 119, 1 ], [ 69, 134, -1 ], [ 69, 148, -1 ], [ 69, 166, -1 ], [ 70, 111, -1 ], [ 70, 134, 1 ], [ 70, 150, 1 ], [ 70, 182, -1 ], [ 71, 78, 1 ], [ 71, 83, 1 ], [ 72, 107, -1 ], [ 72, 118, -1 ], [ 73, 93, -1 ], [ 73, 107, -1 ], [ 74, 95, 1 ], [ 74, 180, -1 ], [ 75, 76, 1 ], [ 75, 82, 1 ], [ 75, 111, -1 ], [ 75, 141, -1 ], [ 75, 191, 1 ], [ 76, 113, 1 ], [ 76, 180, -1 ], [ 77, 83, 1 ], [ 77, 88, -1 ], [ 77, 105, 1 ], [ 77, 126, 1 ], [ 77, 154, 1 ], [ 77, 169, 1 ], [ 78, 100, 1 ], [ 78, 170, 1 ], [ 79, 86, -1 ], [ 79, 125, 1 ], [ 79, 153, 1 ], [ 80, 137, -1 ], [ 80, 159, -1 ], [ 80, 162, 1 ], [ 80, 172, -1 ], [ 81, 103, 1 ], [ 81, 110, 1 ], [ 81, 162, -1 ], [ 81, 194, -1 ], [ 82, 90, 1 ], [ 82, 115, 1 ], [ 83, 107, 1 ], [ 83, 163, 1 ], [ 84, 110, -1 ], [ 84, 120, -1 ], [ 84, 154, 1 ], [ 84, 165, -1 ], [ 84, 189, 1 ], [ 85, 94, 1 ], [ 85, 122, -1 ], [ 85, 137, -1 ], [ 85, 173, 1 ], [ 85, 180, 1 ], [ 86, 143, 1 ], [ 86, 159, 1 ], [ 86, 178, 1 ], [ 87, 141, -1 ], [ 87, 147, 1 ], [ 87, 169, -1 ], [ 87, 193, -1 ], [ 88, 95, -1 ], [ 88, 127, 1 ], [ 88, 144, -1 ], [ 88, 147, 1 ], [ 89, 135, -1 ], [ 89, 141, -1 ], [ 89, 149, -1 ], [ 90, 108, -1 ], [ 90, 113, 1 ], [ 90, 114, 1 ], [ 90, 191, -1 ], [ 91, 159, 1 ], [ 91, 160, -1 ], [ 91, 184, -1 ], [ 91, 198, -1 ], [ 92, 158, 1 ], [ 92, 163, -1 ], [ 92, 176, -1 ], [ 92, 185, 1 ], [ 92, 197, -1 ], [ 93, 105, 1 ], [ 93, 153, -1 ], [ 93, 160, 1 ], [ 93, 176, 1 ], [ 94, 139, -1 ], [ 95, 120, 1 ], [ 96, 176, -1 ], [ 97, 168, 1 ], [ 97, 173, -1 ], [ 98, 115, 1 ], [ 98, 131, -1 ], [ 98, 159, -1 ], [ 98, 165, 1 ], [ 99, 103, -1 ], [ 99, 120, 1 ], [ 99, 185, -1 ], [ 100, 107, 1 ], [ 100, 117, -1 ], [ 100, 145, 1 ], [ 100, 149, 1 ], [ 100, 184, -1 ], [ 101, 103, -1 ], [ 101, 148, -1 ], [ 101, 153, -1 ], [ 101, 190, -1 ], [ 102, 112, -1 ], [ 102, 130, 1 ], [ 102, 150, 1 ], [ 102, 154, -1 ], [ 103, 175, -1 ], [ 104, 110, -1 ], [ 104, 136, -1 ], [ 104, 164, 1 ], [ 105, 122, -1 ], [ 105, 175, -1 ], [ 105, 179, 1 ], [ 106, 107, -1 ], [ 106, 163, -1 ], [ 107, 138, 1 ], [ 108, 113, -1 ], [ 108, 123, -1 ], [ 109, 149, 1 ], [ 109, 152, -1 ], [ 109, 193, 1 ], [ 110, 134, 1 ], [ 111, 138, 1 ], [ 111, 178, 1 ], [ 113, 122, 1 ], [ 113, 176, 1 ], [ 113, 179, -1 ], [ 113, 193, -1 ], [ 113, 197, 1 ], [ 114, 142, -1 ], [ 114, 156, 1 ], [ 114, 174, -1 ], [ 114, 195, 1 ], [ 115, 162, 1 ], [ 115, 171, 1 ], [ 115, 179, -1 ], [ 116, 123, 1 ], [ 117, 124, 1 ], [ 117, 198, -1 ], [ 119, 145, 1 ], [ 119, 147, 1 ], [ 120, 146, 1 ], [ 120, 161, 1 ], [ 120, 193, 1 ], [ 121, 124, -1 ], [ 121, 133, 1 ], [ 121, 160, 1 ], [ 121, 174, 1 ], [ 121, 179, -1 ], [ 122, 127, -1 ], [ 122, 184, 1 ], [ 123, 129, 1 ], [ 123, 187, -1 ], [ 123, 188, -1 ], [ 124, 126, -1 ], [ 124, 139, -1 ], [ 124, 182, 1 ], [ 125, 139, -1 ], [ 125, 144, 1 ], [ 125, 185, -1 ], [ 127, 144, 1 ], [ 127, 149, -1 ], [ 127, 151, 1 ], [ 127, 192, 1 ], [ 128, 146, -1 ], [ 128, 182, 1 ], [ 129, 142, -1 ], [ 130, 134, -1 ], [ 130, 165, 1 ], [ 130, 184, -1 ], [ 131, 134, -1 ], [ 131, 162, 1 ], [ 132, 141, -1 ], [ 132, 176, -1 ], [ 133, 141, 1 ], [ 133, 146, -1 ], [ 133, 190, 1 ], [ 134, 170, -1 ], [ 135, 140, -1 ], [ 135, 148, -1 ], [ 135, 160, -1 ], [ 135, 161, -1 ], [ 137, 198, 1 ], [ 138, 141, 1 ], [ 138, 180, 1 ], [ 139, 146, -1 ], [ 139, 159, 1 ], [ 139, 162, -1 ], [ 139, 195, 1 ], [ 140, 171, -1 ], [ 141, 157, 1 ], [ 142, 148, 1 ], [ 142, 163, -1 ], [ 143, 179, 1 ], [ 143, 184, 1 ], [ 144, 163, -1 ], [ 145, 176, 1 ], [ 146, 157, 1 ], [ 146, 199, 1 ], [ 147, 153, -1 ], [ 147, 188, 1 ], [ 148, 174, -1 ], [ 149, 176, 1 ], [ 150, 160, -1 ], [ 151, 175, -1 ], [ 151, 178, -1 ], [ 151, 199, 1 ], [ 152, 153, 1 ], [ 153, 192, -1 ], [ 154, 164, 1 ], [ 154, 190, 1 ], [ 155, 164, -1 ], [ 157, 181, -1 ], [ 158, 172, -1 ], [ 159, 163, -1 ], [ 160, 183, -1 ], [ 160, 189, 1 ], [ 161, 162, 1 ], [ 162, 192, 1 ], [ 162, 193, 1 ], [ 163, 166, 1 ], [ 163, 197, 1 ], [ 165, 169, 1 ], [ 166, 193, -1 ], [ 167, 179, -1 ], [ 167, 193, 1 ], [ 168, 187, -1 ], [ 168, 193, 1 ], [ 170, 172, 1 ], [ 170, 183, 1 ], [ 170, 189, -1 ], [ 170, 194, -1 ], [ 171, 174, -1 ], [ 172, 186, -1 ], [ 173, 187, -1 ], [ 173, 194, 1 ], [ 175, 191, -1 ], [ 176, 190, -1 ], [ 176, 196, 1 ], [ 179, 187, -1 ], [ 186, 192, 1 ], [ 186, 199, 1 ], [ 187, 197, 1 ], [ 187, 199, 1 ], [ 192, 193, -1 ], [ 194, 197, 1 ], [ 195, 199, -1 ] ], "field": [ 3, 3, 3, 1, 1, 3, -3, 3, 3, -2, 1, -1, 2, -2, 2, 2, -1, 2, -3, -2, 2, -2, 1, 3, -3, 0, -3, 2, -2, -1, -3, -3, 3, -1, 1, -2, 0, 3, 3, 0, 0, 2, -3, -1, 1, 1, 3, 3, 0, 0, -1, 1, -1, -2, 3, -1, -1, -1, 3, -2, 2, -1, 3, 0, -1, -2, 3, -1, 2, 0, -1, 2, 2, 2, -3, 0, 2, -1, -1, 1, -2, 2, -3, 3, 0, -2, -2, 1, -2, 0, -2, 2, -3, -2, 0, 3, 0, 3, 2, 1, -2, 2, -1, -1, 1, 3, -3, -2, -1, -1, -2, -1, -1, 0, 0, -1, 3, -1, 1, 3, -3, -2, -3, -3, -3, -2, 1, 0, -2, 3, -2, 1, -1, -2, 3, 3, -1, 3, 3, 0, -2, 1, -3, -2, 0, -3, 0, -2, 0, 2, 3, 0, 2, 0, 3, -3, 0, -2, -1, 2, 0, 0, -2, -2, 0, 0, -1, 1, 0, 0, 3, 1, -1, 3, -1, 2, 3, 1, 2, 0, -2, 3, 1, 0, -2, -3, 1, -1, -2, -1, 0, -3, 3, 1, 3, 2, 0, -3, 1, -3 ], "costs": [ -1, -1, -3, -3, 3, -2, 0, 0, 2, -2, 1, 1, 2, -1, -3, 2, -1, -2, -1, -2, 0, -2, -1, 0, 1, 0, 2, 3, 0, -2, 1, 1, -3, -3, 0, -1, 2, 3, 0, 1, 2, -1, 2, -3, 1, 0, -1, 3, -2, -2, -1, 1, -1, -1, 1, 3, 0, 0, -3, 3, -1, -2, 1, -3, 2, 3, 0, 2, 2, -1, -1, 1, 2, -2, -3, 1, 0, 0, -2, -3, -3, 2, -3, 3, 3, -1, 1, 0, -2, 1, -2, -1, -1, 3, 1, 2, 2, -2, -3, 3, 3, 2, -3, -2, -1, 2, 0, 2, 3, -2, 1, -1, 0, 0, 2, -1, 3, -3, -3, 1, 1, 2, 0, -3, 3, 2, -1, 0, -3, 1, -1, 1, -3, 3, 2, 3, 0, 3, -2, 0, -1, -2, -1, -1, 0, -1, -1, 0, 2, -1, 0, 3, -3, 3, -3, 0, 3, -2, 1, 2, 1, 2, -1, -1, -2, 2, -1, 3, 3, -2, -2, -2, 2, -1, 1, -3, 3, -2, -3, -3, -2, -2, 1, 3, 0, 1, -3, -1, 3, -2, 0, -1, 3, -1, -3, -3, 2, -1, 3, 3 ] }, "field_bound": 16, "start": "-0+-+-++--0---0-++0--+-0++0--+-+-0-0+0-+0------0-000+++0-0+0+-0++0+000+--+0+-00---0--0+0----+0-+0+-0---++000--0000-0++0++++0--0++----+-0+000+00+-00---+--0000+-+0-++--0++0-00++++-+---00-++-000+-0-+--++", "bound": 60, "expect": { "state": "++++0+-+0-+-+--0-+--+-++-0-0-+--+---0++-0+--++++-+-+--+-+++0++++--+00++++++-++++-0-00-0----+-0++0+++00--++0-0--+--+-+--++---0-++-+-0-00+-0++-+------0++--0+-0+-+-0--+--00+++0+-+++++++00--+---+-0++++-00", "sweeps": 14, "term": "two-cycle", "accumulates": 16408, "state_hash": "b01f0e4fcaad4474" } }, { "name": "random/n=40/mixed-costs/one-sweep", "landscape": { "n": 40, "couplings": [ [ 0, 4, 1 ], [ 0, 9, 1 ], [ 0, 19, 1 ], [ 0, 23, -1 ], [ 0, 26, -1 ], [ 0, 29, -1 ], [ 1, 8, 1 ], [ 1, 22, 1 ], [ 1, 25, -1 ], [ 1, 28, 1 ], [ 1, 29, -1 ], [ 2, 3, 1 ], [ 2, 20, 1 ], [ 2, 22, -1 ], [ 2, 23, -1 ], [ 2, 28, -1 ], [ 2, 29, -1 ], [ 2, 30, 1 ], [ 2, 39, 1 ], [ 3, 4, 1 ], [ 3, 11, 1 ], [ 3, 15, 1 ], [ 3, 16, 1 ], [ 3, 26, 1 ], [ 3, 28, 1 ], [ 3, 33, 1 ], [ 4, 17, -1 ], [ 4, 20, -1 ], [ 4, 21, -1 ], [ 4, 22, 1 ], [ 4, 24, -1 ], [ 4, 30, 1 ], [ 4, 36, -1 ], [ 4, 38, -1 ], [ 5, 7, -1 ], [ 5, 8, 1 ], [ 5, 15, -1 ], [ 5, 20, 1 ], [ 5, 26, 1 ], [ 5, 27, 1 ], [ 5, 34, 1 ], [ 6, 17, -1 ], [ 6, 26, 1 ], [ 6, 31, 1 ], [ 6, 35, -1 ], [ 6, 37, 1 ], [ 6, 38, -1 ], [ 7, 13, -1 ], [ 7, 20, -1 ], [ 7, 29, 1 ], [ 7, 31, -1 ], [ 7, 32, -1 ], [ 8, 22, 1 ], [ 8, 24, -1 ], [ 9, 12, 1 ], [ 9, 20, 1 ], [ 9, 21, 1 ], [ 9, 25, -1 ], [ 9, 28, 1 ], [ 9, 38, 1 ], [ 10, 12, 1 ], [ 10, 17, 1 ], [ 10, 19, 1 ], [ 10, 21, 1 ], [ 11, 15, 1 ], [ 11, 16, 1 ], [ 11, 19, 1 ], [ 11, 21, -1 ], [ 11, 23, 1 ], [ 11, 39, 1 ], [ 12, 17, 1 ], [ 12, 23, -1 ], [ 12, 25, 1 ], [ 13, 14, 1 ], [ 13, 15, -1 ], [ 13, 18, 1 ], [ 13, 20, 1 ], [ 13, 22, 1 ], [ 14, 18, 1 ], [ 14, 20, 1 ], [ 14, 21, 1 ], [ 14, 22, 1 ], [ 14, 25, 1 ], [ 14, 29, -1 ], [ 14, 32, 1 ], [ 14, 35, -1 ], [ 15, 21, 1 ], [ 15, 27, 1 ], [ 15, 29, -1 ], [ 15, 32, 1 ], [ 15, 37, -1 ], [ 16, 17, -1 ], [ 16, 19, 1 ], [ 16, 32, 1 ], [ 16, 35, 1 ], [ 16, 36, -1 ], [ 16, 38, 1 ], [ 17, 23, 1 ], [ 17, 24, 1 ], [ 17, 26, 1 ], [ 17, 34, -1 ], [ 17, 36, 1 ], [ 18, 23, 1 ], [ 18, 30, -1 ], [ 18, 33, 1 ], [ 18, 35, -1 ], [ 18, 37, 1 ], [ 19, 22, 1 ], [ 19, 28, -1 ], [ 19, 31, 1 ], [ 19, 37, 1 ], [ 20, 30, 1 ], [ 21, 22, -1 ], [ 21, 28, -1 ], [ 22, 23, -1 ], [ 22, 39, -1 ], [ 24, 28, -1 ], [ 24, 35, -1 ], [ 25, 26, 1 ], [ 25, 27, -1 ], [ 25, 31, 1 ], [ 26, 30, -1 ], [ 27, 35, 1 ], [ 27, 39, -1 ], [ 28, 35, -1 ], [ 28, 38, 1 ], [ 28, 39, 1 ], [ 29, 33, -1 ], [ 29, 34, -1 ], [ 29, 36, 1 ], [ 30, 38, 1 ], [ 31, 32, -1 ], [ 31, 34, -1 ], [ 31, 35, -1 ], [ 31, 36, -1 ], [ 31, 38, 1 ], [ 31, 39, -1 ], [ 32, 33, 1 ], [ 32, 34, -1 ], [ 33, 38, -1 ], [ 33, 39, -1 ] ], "field": [ 2, 0, 3, -1, 3, 3, -2, -3, -2, -3, -1, -2, 3, -3, 0, 2, 2, 2, -1, 2, -2, -3, 1, 3, 2, -3, 3, -3, 1, -2, 0, 2, -1, -2, -3, 1, -3, 1, -1, -1 ], "costs": [ 2, 0, 2, -2, 1, -2, -2, 1, -1, 0, 2, -1, -2, 3, 2, 1, 0, -3, 1, -1, 2, 3, 0, -3, 3, -3, -1, 2, -3, 2, -2, -1, 1, 1, 1, -1, 3, -2, 1, -3 ] }, "field_bound": 13, "start": "0--+-+++++--++000-+-+-00+0++0+0++0+0+0++", "bound": 1, "expect": { "state": "00+-+++----++000++0+00++0-+-+0------0+0-", "sweeps": 1, "term": "bound", "accumulates": 282, "state_hash": "fc3c81a6a05ab2a7" } } ], "cells": [ { "field": -17, "cost": -17, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740992, "cut_b": 9007199254740992 }, { "field": -17, "cost": -17, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9007199254740960, "cut_b": 9007199254740976 }, { "field": -17, "cost": -17, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 9007199024143734, "cut_b": 9007199139442363 }, { "field": -17, "cost": -17, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 8859720332702149, "cut_b": 8933459793721571 }, { "field": -17, "cost": -17, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 5951940109150033, "cut_b": 7479569681945513 }, { "field": -17, "cost": -8, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740992, "cut_b": 9007199254740992 }, { "field": -17, "cost": -8, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9007199254615884, "cut_b": 9007199254740976 }, { "field": -17, "cost": -8, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 9007184978735037, "cut_b": 9007199139442543 }, { "field": -17, "cost": -8, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 8678383099655689, "cut_b": 8934969063690087 }, { "field": -17, "cost": -8, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 5544460613684816, "cut_b": 7584153685844258 }, { "field": -17, "cost": -3, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740992, "cut_b": 9007199254740992 }, { "field": -17, "cost": -3, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9007199236175754, "cut_b": 9007199254740976 }, { "field": -17, "cost": -3, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 9006994128722535, "cut_b": 9007199139444986 }, { "field": -17, "cost": -3, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 8432807631540311, "cut_b": 8937012988552092 }, { "field": -17, "cost": -3, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 5279749952709302, "cut_b": 7652094529758123 }, { "field": -17, "cost": -2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740992, "cut_b": 9007199254740992 }, { "field": -17, "cost": -2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9007199204275472, "cut_b": 9007199254740976 }, { "field": -17, "cost": -2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 9006849266988665, "cut_b": 9007199139446840 }, { "field": -17, "cost": -2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 8362010918508678, "cut_b": 8937602229664097 }, { "field": -17, "cost": -2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 5223602129594330, "cut_b": 7666505473663062 }, { "field": -17, "cost": -1, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740992, "cut_b": 9007199254740992 }, { "field": -17, "cost": -1, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9007199117561516, "cut_b": 9007199254740976 }, { "field": -17, "cost": -1, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 9006602051920128, "cut_b": 9007199139450005 }, { "field": -17, "cost": -1, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 8281964390914949, "cut_b": 8938268456991776 }, { "field": -17, "cost": -1, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 5166417300258730, "cut_b": 7681182576390294 }, { "field": -17, "cost": 0, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740992, "cut_b": 9007199254740992 }, { "field": -17, "cost": 0, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9007198881848551, "cut_b": 9007199254740976 }, { "field": -17, "cost": 0, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 9006180177842631, "cut_b": 9007199139455405 }, { "field": -17, "cost": 0, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 8191688160783945, "cut_b": 8939019826143707 }, { "field": -17, "cost": 0, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 5108213471221238, "cut_b": 7696121216372729 }, { "field": -17, "cost": 2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740992, "cut_b": 9007199254740992 }, { "field": -17, "cost": 2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9007196499418665, "cut_b": 9007199254740976 }, { "field": -17, "cost": 2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 9004231957405963, "cut_b": 9007199139480344 }, { "field": -17, "cost": 2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 7976358870428141, "cut_b": 8940812012038551 }, { "field": -17, "cost": 2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 4988832390707712, "cut_b": 7726761657250885 }, { "field": -8, "cost": -17, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740992, "cut_b": 9007199254740992 }, { "field": -8, "cost": -17, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9007198240989272, "cut_b": 9007198241114364 }, { "field": -8, "cost": -17, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 9005446244862600, "cut_b": 9005460402836543 }, { "field": -8, "cost": -17, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 7938692133204796, "cut_b": 8173408318325900 }, { "field": -8, "cost": -17, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 4752708406064048, "cut_b": 6501132118537707 }, { "field": -8, "cost": -8, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740992, "cut_b": 9007199254740992 }, { "field": -8, "cost": -8, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9007197227487964, "cut_b": 9007198241114478 }, { "field": -8, "cost": -8, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 9003722216713567, "cut_b": 9005460735727279 }, { "field": -8, "cost": -8, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 7443612562050422, "cut_b": 8225405908395707 }, { "field": -8, "cost": -8, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 4383950978287145, "cut_b": 6695575116514069 }, { "field": -8, "cost": -3, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740992, "cut_b": 9007199254740992 }, { "field": -8, "cost": -3, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9007047808113799, "cut_b": 9007198241131293 }, { "field": -8, "cost": -3, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 8980360724099123, "cut_b": 9005465246572696 }, { "field": -8, "cost": -3, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 6836966588877177, "cut_b": 8289121178563310 }, { "field": -8, "cost": -3, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 4148242802999987, "cut_b": 6819862251627998 }, { "field": -8, "cost": -2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740992, "cut_b": 9007199254740992 }, { "field": -8, "cost": -2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9006789333557252, "cut_b": 9007198241160381 }, { "field": -8, "cost": -2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 8962708661751699, "cut_b": 9005468654990380 }, { "field": -8, "cost": -2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 6674221322806057, "cut_b": 8306214110940293 }, { "field": -8, "cost": -2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 4098629479663664, "cut_b": 6846022981154840 }, { "field": -8, "cost": -1, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740990, "cut_b": 9007199254740992 }, { "field": -8, "cost": -1, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9006086801831638, "cut_b": 9007198241239440 }, { "field": -8, "cost": -1, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 8932742807283942, "cut_b": 9005474441064906 }, { "field": -8, "cost": -1, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 6496199797572352, "cut_b": 8324911489769964 }, { "field": -8, "cost": -1, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 4048236297376837, "cut_b": 6872594924398103 }, { "field": -8, "cost": 0, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254740878, "cut_b": 9007199254740992 }, { "field": -8, "cost": 0, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 9004177676348876, "cut_b": 9007198241454284 }, { "field": -8, "cost": 0, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 8882062252044319, "cut_b": 9005484226918666 }, { "field": -8, "cost": 0, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 6302662703371308, "cut_b": 8345238449462731 }, { "field": -8, "cost": 0, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3997085972793492, "cut_b": 6899566103038244 }, { "field": -8, "cost": 2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254400958, "cut_b": 9007199254740992 }, { "field": -8, "cost": 2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 8984926836667105, "cut_b": 9007198243620680 }, { "field": -8, "cost": 2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 8655230052395801, "cut_b": 9005528025703493 }, { "field": -8, "cost": 2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 5869580559632896, "cut_b": 8390724527032354 }, { "field": -8, "cost": 2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3892614327599601, "cut_b": 6954653210076296 }, { "field": -3, "cost": -17, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254400958, "cut_b": 9007199254400958 }, { "field": -3, "cost": -17, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 8984927826813771, "cut_b": 8984927845333088 }, { "field": -3, "cost": -17, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 8656646901761550, "cut_b": 8656843938132394 }, { "field": -3, "cost": -17, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 6047868258435231, "cut_b": 6409475887547905 }, { "field": -3, "cost": -17, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 4028342208262757, "cut_b": 5838393039811143 }, { "field": -3, "cost": -8, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254400958, "cut_b": 9007199254400958 }, { "field": -3, "cost": -8, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 8984778155255374, "cut_b": 8984928216331789 }, { "field": -3, "cost": -8, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 8633639822816414, "cut_b": 8657775089942042 }, { "field": -3, "cost": -8, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 5485756912253436, "cut_b": 6650917948873263 }, { "field": -3, "cost": -8, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3705653356116694, "cut_b": 6092229081364821 }, { "field": -3, "cost": -3, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199254060924, "cut_b": 9007199254400958 }, { "field": -3, "cost": -3, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 8962766301782006, "cut_b": 8984982778261499 }, { "field": -3, "cost": -3, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 8332709659819539, "cut_b": 8669954457280266 }, { "field": -3, "cost": -3, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 4845043877622403, "cut_b": 6926121566181697 }, { "field": -3, "cost": -3, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3500312532978437, "cut_b": 6253755893859715 }, { "field": -3, "cost": -2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007199235835736, "cut_b": 9007199254400958 }, { "field": -3, "cost": -2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 8924940760589237, "cut_b": 8985076538404064 }, { "field": -3, "cost": -2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 8117929220022598, "cut_b": 8678647138157786 }, { "field": -3, "cost": -2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 4681451257636335, "cut_b": 6996389031258407 }, { "field": -3, "cost": -2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3457182134482661, "cut_b": 6287683466975395 }, { "field": -3, "cost": -1, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007198240774330, "cut_b": 9007199254400958 }, { "field": -3, "cost": -1, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 8823715464717828, "cut_b": 8985327450826539 }, { "field": -3, "cost": -1, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 7775872766562509, "cut_b": 8692490985366760 }, { "field": -3, "cost": -1, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 4506284055036473, "cut_b": 7071628093340300 }, { "field": -3, "cost": -1, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3413406103036294, "cut_b": 6322118912958032 }, { "field": -3, "cost": 0, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007143912596064, "cut_b": 9007199254400960 }, { "field": -3, "cost": 0, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 8559813574558485, "cut_b": 8985981598211198 }, { "field": -3, "cost": 0, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 7254217870146732, "cut_b": 8713603613439529 }, { "field": -3, "cost": 0, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 4320185533191774, "cut_b": 7151562453372333 }, { "field": -3, "cost": 0, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3369005625298665, "cut_b": 6357045565791117 }, { "field": -3, "cost": 2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 8845193877446913, "cut_b": 9007199254407074 }, { "field": -3, "cost": 2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 6572879483964902, "cut_b": 8990906715413149 }, { "field": -3, "cost": 2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 5538047580245942, "cut_b": 8783061151917863 }, { "field": -3, "cost": 2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3919324409636781, "cut_b": 7323743172786268 }, { "field": -3, "cost": 2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3278424160036927, "cut_b": 6428299470062232 }, { "field": -2, "cost": -17, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007198241114364, "cut_b": 9007198241114364 }, { "field": -2, "cost": -17, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 8845193829108362, "cut_b": 8845193878666183 }, { "field": -2, "cost": -17, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 8057115252005273, "cut_b": 8057428231898181 }, { "field": -2, "cost": -17, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 5498512747135148, "cut_b": 5876997802030621 }, { "field": -2, "cost": -17, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3882731092703193, "cut_b": 5698554069867975 }, { "field": -2, "cost": -8, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007198241114364, "cut_b": 9007198241114364 }, { "field": -2, "cost": -8, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 8844799546918205, "cut_b": 8845201100196398 }, { "field": -2, "cost": -8, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 8023154075564641, "cut_b": 8061431568114196 }, { "field": -2, "cost": -8, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 4965918433529849, "cut_b": 6180193879010020 }, { "field": -2, "cost": -8, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3570794209120696, "cut_b": 5964369147762275 }, { "field": -2, "cost": -3, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007198222549146, "cut_b": 9007198241114366 }, { "field": -2, "cost": -3, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 8787052090491128, "cut_b": 8846258781755059 }, { "field": -2, "cost": -3, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 7588516069702891, "cut_b": 8112666603295173 }, { "field": -2, "cost": -3, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 4364433217595958, "cut_b": 6522608270552721 }, { "field": -2, "cost": -3, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3372378265228137, "cut_b": 6133448061982188 }, { "field": -2, "cost": -2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007197227487964, "cut_b": 9007198241114478 }, { "field": -2, "cost": -2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 8688913259546225, "cut_b": 8848056257143609 }, { "field": -2, "cost": -2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 7288795860238633, "cut_b": 8147997557489813 }, { "field": -2, "cost": -2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 4211799912640300, "cut_b": 6609499583690646 }, { "field": -2, "cost": -2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3330710582795153, "cut_b": 6168954918768072 }, { "field": -2, "cost": -1, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9007142899321922, "cut_b": 9007198241120592 }, { "field": -2, "cost": -1, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 8432896193921103, "cut_b": 8852745373266952 }, { "field": -2, "cost": -1, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 6828512332912619, "cut_b": 8202255681256544 }, { "field": -2, "cost": -1, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 4048789664653682, "cut_b": 6702298298274011 }, { "field": -2, "cost": -1, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3288422071407904, "cut_b": 6204990811091343 }, { "field": -2, "cost": 0, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9004177676348876, "cut_b": 9007198241454284 }, { "field": -2, "cost": 0, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 7807560399767389, "cut_b": 8864198797856871 }, { "field": -2, "cost": 0, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 6164180368853423, "cut_b": 8280566991108373 }, { "field": -2, "cost": 0, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3876083234186207, "cut_b": 6800616869932025 }, { "field": -2, "cost": 0, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3245533324967324, "cut_b": 6241538189987230 }, { "field": -2, "cost": 2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 4503599373963825, "cut_b": 9007198747927651 }, { "field": -2, "cost": 2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 4462730744979151, "cut_b": 8925461489958302 }, { "field": -2, "cost": 2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 4252932255017597, "cut_b": 8505864510035195 }, { "field": -2, "cost": 2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3505726927446614, "cut_b": 7011453854893229 }, { "field": -2, "cost": 2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3158045288455020, "cut_b": 6316090576910040 }, { "field": -1, "cost": -17, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9004178689295778, "cut_b": 9004178689295778 }, { "field": -1, "cost": -17, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 7933514677916123, "cut_b": 7933514798743390 }, { "field": -1, "cost": -17, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 6704765624882177, "cut_b": 6705210113483126 }, { "field": -1, "cost": -17, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 4911894965368863, "cut_b": 5301137962048513 }, { "field": -1, "cost": -17, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3737630859197152, "cut_b": 5556931111856974 }, { "field": -1, "cost": -8, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9004178689295776, "cut_b": 9004178689295778 }, { "field": -1, "cost": -8, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 7932652512985902, "cut_b": 7933631480078418 }, { "field": -1, "cost": -8, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 6664700874059471, "cut_b": 6718965795113338 }, { "field": -1, "cost": -8, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 4423941515934451, "cut_b": 5669302469704847 }, { "field": -1, "cost": -8, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3436822511524510, "cut_b": 5834612214723145 }, { "field": -1, "cost": -3, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9004177676348876, "cut_b": 9004178689635584 }, { "field": -1, "cost": -3, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 7807560399767389, "cut_b": 7950560856651510 }, { "field": -1, "cost": -3, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 6164180368853423, "cut_b": 6890812632486042 }, { "field": -1, "cost": -3, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3876083234186207, "cut_b": 6082665618995174 }, { "field": -1, "cost": -3, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3245533324967324, "cut_b": 6011194389721086 }, { "field": -1, "cost": -2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9004123384602305, "cut_b": 9004178707848436 }, { "field": -1, "cost": -2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 7600227303574695, "cut_b": 7978620339949074 }, { "field": -1, "cost": -2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 5831737622209405, "cut_b": 7004952281159879 }, { "field": -1, "cost": -2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3737596716398395, "cut_b": 6187154726916202 }, { "field": -1, "cost": -2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3205367028965434, "cut_b": 6048272554134235 }, { "field": -1, "cost": -1, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 9001160149065440, "cut_b": 9004179701903216 }, { "field": -1, "cost": -1, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 7088540092449512, "cut_b": 8047869673595252 }, { "field": -1, "cost": -1, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 5340218191707862, "cut_b": 7173708723224427 }, { "field": -1, "cost": -1, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3589934572004101, "cut_b": 6298566913372547 }, { "field": -1, "cost": -1, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3164603961443745, "cut_b": 6085901608092369 }, { "field": -1, "cost": 0, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 8842280974644277, "cut_b": 9004232999928586 }, { "field": -1, "cost": 0, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 5991957841078160, "cut_b": 8196275943176836 }, { "field": -1, "cost": 0, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 4668671523378449, "cut_b": 7404275043485528 }, { "field": -1, "cost": 0, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3433758424239959, "cut_b": 6416402978710121 }, { "field": -1, "cost": 0, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3123264046941700, "cut_b": 6124063158927432 }, { "field": -1, "cost": 2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 162004399480016, "cut_b": 9007144908319411 }, { "field": -1, "cost": 2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 2337336324204163, "cut_b": 8690875181285599 }, { "field": -1, "cost": 2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 2953209750340897, "cut_b": 7993255269598176 }, { "field": -1, "cost": 2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3099780693503146, "cut_b": 6668391661129356 }, { "field": -1, "cost": 2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3038940867406136, "cut_b": 6201903264336005 }, { "field": 0, "cost": -17, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 4503599627370496, "cut_b": 4503599627370496 }, { "field": 0, "cost": -17, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 4503599534147388, "cut_b": 4503599720593604 }, { "field": 0, "cost": -17, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 4503344872554158, "cut_b": 4503854382186833 }, { "field": 0, "cost": -17, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 4307128902856090, "cut_b": 4700070351884902 }, { "field": 0, "cost": -17, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3593368784371224, "cut_b": 5413830470369768 }, { "field": 0, "cost": -8, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 4503599627370468, "cut_b": 4503599627370525 }, { "field": 0, "cost": -8, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 4502844359369581, "cut_b": 4504354895371411 }, { "field": 0, "cost": -8, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 4472525317614982, "cut_b": 4534673937126009 }, { "field": 0, "cost": -8, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3875595432572010, "cut_b": 5131603822168981 }, { "field": 0, "cost": -8, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3304001040386816, "cut_b": 5703198214354175 }, { "field": 0, "cost": -3, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 4503585791876768, "cut_b": 4503613462864225 }, { "field": 0, "cost": -3, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 4394212156832927, "cut_b": 4612987097908066 }, { "field": 0, "cost": -3, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 4091991250082505, "cut_b": 4915208004658486 }, { "field": 0, "cost": -3, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3392052541642566, "cut_b": 5615146713098426 }, { "field": 0, "cost": -3, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3120002595216468, "cut_b": 5887196659524523 }, { "field": 0, "cost": -2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 4502844359369581, "cut_b": 4504354895371411 }, { "field": 0, "cost": -2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 4218166264310690, "cut_b": 4789032990430302 }, { "field": 0, "cost": -2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 3843750218735044, "cut_b": 5163449036005948 }, { "field": 0, "cost": -2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3269985452228774, "cut_b": 5737213802512218 }, { "field": 0, "cost": -2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3081368713180062, "cut_b": 5925830541560930 }, { "field": 0, "cost": -1, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 4462730744979151, "cut_b": 4544468509761841 }, { "field": 0, "cost": -1, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 3803909564874186, "cut_b": 5203289689866806 }, { "field": 0, "cost": -1, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 3483131018025207, "cut_b": 5524068236715785 }, { "field": 0, "cost": -1, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3139902490380695, "cut_b": 5867296764360297 }, { "field": 0, "cost": -1, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3042161369408208, "cut_b": 5965037885332784 }, { "field": 0, "cost": 0, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 3002399751580330, "cut_b": 6004799503160661 }, { "field": 0, "cost": 0, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 3002399751580330, "cut_b": 6004799503160661 }, { "field": 0, "cost": 0, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 3002399751580330, "cut_b": 6004799503160661 }, { "field": 0, "cost": 0, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3002399751580330, "cut_b": 6004799503160661 }, { "field": 0, "cost": 0, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3002399751580330, "cut_b": 6004799503160661 }, { "field": 0, "cost": 2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 3019552837776, "cut_b": 9004179701903216 }, { "field": 0, "cost": 2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 959329581145739, "cut_b": 8047869673595252 }, { "field": 0, "cost": 2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 1833490531516565, "cut_b": 7173708723224427 }, { "field": 0, "cost": 2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2708632341368445, "cut_b": 6298566913372547 }, { "field": 0, "cost": 2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2921297646648624, "cut_b": 6085901608092369 }, { "field": 1, "cost": -17, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 3020565445214, "cut_b": 3020565445214 }, { "field": 1, "cost": -17, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 1073684455997602, "cut_b": 1073684576824870 }, { "field": 1, "cost": -17, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 2301989141257866, "cut_b": 2302433629858815 }, { "field": 1, "cost": -17, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3706061292692479, "cut_b": 4095304289372128 }, { "field": 1, "cost": -17, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3450268142884017, "cut_b": 5269568395543839 }, { "field": 1, "cost": -8, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 3020565445214, "cut_b": 3020565445217 }, { "field": 1, "cost": -8, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 1073567774662574, "cut_b": 1074546741755089 }, { "field": 1, "cost": -8, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 2288233459627654, "cut_b": 2342498380681521 }, { "field": 1, "cost": -8, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3337896785036145, "cut_b": 4583257738806541 }, { "field": 1, "cost": -8, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3172587040017847, "cut_b": 5570376743216481 }, { "field": 1, "cost": -3, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 3020565105409, "cut_b": 3021578392117 }, { "field": 1, "cost": -3, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 1056638398089481, "cut_b": 1199638854973601 }, { "field": 1, "cost": -3, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 2116386622254950, "cut_b": 2843018885887569 }, { "field": 1, "cost": -3, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2924533635745818, "cut_b": 5131116020554785 }, { "field": 1, "cost": -3, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2996004865019906, "cut_b": 5761665929773668 }, { "field": 1, "cost": -2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 3020546892557, "cut_b": 3075870138687 }, { "field": 1, "cost": -2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 1028578914791918, "cut_b": 1406971951166298 }, { "field": 1, "cost": -2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 2002246973581113, "cut_b": 3175461632531588 }, { "field": 1, "cost": -2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2820044527824790, "cut_b": 5269602538342597 }, { "field": 1, "cost": -2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2958926700606757, "cut_b": 5801832225775558 }, { "field": 1, "cost": -1, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 3019552837776, "cut_b": 6039105675553 }, { "field": 1, "cost": -1, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 959329581145739, "cut_b": 1918659162291479 }, { "field": 1, "cost": -1, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 1833490531516565, "cut_b": 3666981063033130 }, { "field": 1, "cost": -1, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2708632341368445, "cut_b": 5417264682736891 }, { "field": 1, "cost": -1, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2921297646648624, "cut_b": 5842595293297248 }, { "field": 1, "cost": 0, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 2966254812406, "cut_b": 164918280096715 }, { "field": 1, "cost": 0, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 810923311564155, "cut_b": 3015241413662831 }, { "field": 1, "cost": 0, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 1602924211255464, "cut_b": 4338527731362543 }, { "field": 1, "cost": 0, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2590796276030870, "cut_b": 5573440830501033 }, { "field": 1, "cost": 0, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2883136095813560, "cut_b": 5883935207799292 }, { "field": 1, "cost": 2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 54346421581, "cut_b": 8845194855260975 }, { "field": 1, "cost": 2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 316324073455393, "cut_b": 6669862930536829 }, { "field": 1, "cost": 2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 1013943985142816, "cut_b": 6053989504400095 }, { "field": 1, "cost": 2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2338807593611636, "cut_b": 5907418561237846 }, { "field": 1, "cost": 2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2805295990404986, "cut_b": 5968258387334856 }, { "field": 2, "cost": -17, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 1013626627, "cut_b": 1013626627 }, { "field": 2, "cost": -17, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 162005376074808, "cut_b": 162005425632629 }, { "field": 2, "cost": -17, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 949771022842811, "cut_b": 950084002735719 }, { "field": 2, "cost": -17, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 3130201452710371, "cut_b": 3508686507605843 }, { "field": 2, "cost": -17, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3308645184873016, "cut_b": 5124468162037799 }, { "field": 2, "cost": -8, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 1013626627, "cut_b": 1013626627 }, { "field": 2, "cost": -8, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 161998154544593, "cut_b": 162399707822786 }, { "field": 2, "cost": -8, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 945767686626795, "cut_b": 984045179176351 }, { "field": 2, "cost": -8, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2827005375730973, "cut_b": 4041280821211143 }, { "field": 2, "cost": -8, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3042830106978716, "cut_b": 5436405045620295 }, { "field": 2, "cost": -3, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 1013626625, "cut_b": 1032191844 }, { "field": 2, "cost": -3, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 160940472985932, "cut_b": 220147164249864 }, { "field": 2, "cost": -3, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 894532651445819, "cut_b": 1418683185038100 }, { "field": 2, "cost": -3, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2484590984188270, "cut_b": 4642766037145034 }, { "field": 2, "cost": -3, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2873751192758804, "cut_b": 5634820989512854 }, { "field": 2, "cost": -2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 1013626513, "cut_b": 2027253027 }, { "field": 2, "cost": -2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 159142997597382, "cut_b": 318285995194765 }, { "field": 2, "cost": -2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 859201697251179, "cut_b": 1718403394502359 }, { "field": 2, "cost": -2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2397699671050346, "cut_b": 4795399342100693 }, { "field": 2, "cost": -2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2838244335972919, "cut_b": 5676488671945839 }, { "field": 2, "cost": -1, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 1013620399, "cut_b": 56355419070 }, { "field": 2, "cost": -1, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 154453881474039, "cut_b": 574303060819889 }, { "field": 2, "cost": -1, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 804943573484447, "cut_b": 2178686921828373 }, { "field": 2, "cost": -1, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2304900956466981, "cut_b": 4958409590087310 }, { "field": 2, "cost": -1, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2802208443649649, "cut_b": 5718777183333087 }, { "field": 2, "cost": 0, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 1013286708, "cut_b": 3021578392117 }, { "field": 2, "cost": 0, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 143000456884120, "cut_b": 1199638854973601 }, { "field": 2, "cost": 0, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 726632263632619, "cut_b": 2843018885887569 }, { "field": 2, "cost": 0, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2206582384808967, "cut_b": 5131116020554785 }, { "field": 2, "cost": 0, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2765661064753762, "cut_b": 5761665929773668 }, { "field": 2, "cost": 2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 506813342, "cut_b": 4503599880777167 }, { "field": 2, "cost": 2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 81737764782689, "cut_b": 4544468509761841 }, { "field": 2, "cost": 2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 501334744705797, "cut_b": 4754266999723395 }, { "field": 2, "cost": 2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 1995745399847763, "cut_b": 5501472327294377 }, { "field": 2, "cost": 2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2691108677830952, "cut_b": 5849153966285972 }, { "field": 3, "cost": -17, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 340033, "cut_b": 340033 }, { "field": 3, "cost": -17, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 22271409407904, "cut_b": 22271427927221 }, { "field": 3, "cost": -17, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 350355316608598, "cut_b": 350552352979442 }, { "field": 3, "cost": -17, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2597723367193087, "cut_b": 2959330996305761 }, { "field": 3, "cost": -17, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 3168806214929849, "cut_b": 4978857046478235 }, { "field": 3, "cost": -8, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 340033, "cut_b": 340033 }, { "field": 3, "cost": -8, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 22271038409203, "cut_b": 22421099485619 }, { "field": 3, "cost": -8, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 349424164798950, "cut_b": 373559431924579 }, { "field": 3, "cost": -8, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2356281305867728, "cut_b": 3521442342487555 }, { "field": 3, "cost": -8, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2914970173376170, "cut_b": 5301545898624297 }, { "field": 3, "cost": -3, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 340033, "cut_b": 680067 }, { "field": 3, "cost": -3, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 22216476479494, "cut_b": 44432952958988 }, { "field": 3, "cost": -3, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 337244797460726, "cut_b": 674489594921453 }, { "field": 3, "cost": -3, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2081077688559294, "cut_b": 4162155377118589 }, { "field": 3, "cost": -3, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2753443360881277, "cut_b": 5506886721762555 }, { "field": 3, "cost": -2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 340033, "cut_b": 18905255 }, { "field": 3, "cost": -2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 22122716336928, "cut_b": 82258494151756 }, { "field": 3, "cost": -2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 328552116583206, "cut_b": 889270034718393 }, { "field": 3, "cost": -2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 2010810223482584, "cut_b": 4325747997104656 }, { "field": 3, "cost": -2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2719515787765597, "cut_b": 5550017120258331 }, { "field": 3, "cost": -1, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 340033, "cut_b": 1013966661 }, { "field": 3, "cost": -1, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 21871803914453, "cut_b": 183483790023164 }, { "field": 3, "cost": -1, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 314708269374232, "cut_b": 1231326488178483 }, { "field": 3, "cost": -1, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 1935571161400692, "cut_b": 4500915199704519 }, { "field": 3, "cost": -1, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2685080341782959, "cut_b": 5593793151704698 }, { "field": 3, "cost": 0, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 340031, "cut_b": 55342144927 }, { "field": 3, "cost": 0, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 21217656529795, "cut_b": 447385680182508 }, { "field": 3, "cost": 0, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 293595641301463, "cut_b": 1752981384594260 }, { "field": 3, "cost": 0, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 1855636801368659, "cut_b": 4687013721549217 }, { "field": 3, "cost": 0, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2650153688949875, "cut_b": 5638193629442327 }, { "field": 3, "cost": 2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 333917, "cut_b": 162005377294078 }, { "field": 3, "cost": 2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 16292539327843, "cut_b": 2434319770776090 }, { "field": 3, "cost": 2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 224138102823128, "cut_b": 3469151674495050 }, { "field": 3, "cost": 2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 1683456081954724, "cut_b": 5087874845104211 }, { "field": 3, "cost": 2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2578899784678760, "cut_b": 5728775094704065 }, { "field": 8, "cost": -17, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 0 }, { "field": 8, "cost": -17, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 1013626627, "cut_b": 1013751719 }, { "field": 8, "cost": -17, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 1738851904448, "cut_b": 1753009878392 }, { "field": 8, "cost": -17, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 833790936415092, "cut_b": 1068507121536196 }, { "field": 8, "cost": -17, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2506067136203285, "cut_b": 4254490848676944 }, { "field": 8, "cost": -8, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 0 }, { "field": 8, "cost": -8, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 1013626513, "cut_b": 2027253027 }, { "field": 8, "cost": -8, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 1738519013712, "cut_b": 3477038027424 }, { "field": 8, "cost": -8, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 781793346345284, "cut_b": 1563586692690569 }, { "field": 8, "cost": -8, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2311624138226923, "cut_b": 4623248276453846 }, { "field": 8, "cost": -3, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 0 }, { "field": 8, "cost": -3, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 1013609698, "cut_b": 151446627193 }, { "field": 8, "cost": -3, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 1734008168295, "cut_b": 26838530641869 }, { "field": 8, "cost": -3, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 718078076177682, "cut_b": 2170232665863815 }, { "field": 8, "cost": -3, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2187337003112993, "cut_b": 4858956451741004 }, { "field": 8, "cost": -2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 0 }, { "field": 8, "cost": -2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 1013580611, "cut_b": 409921183740 }, { "field": 8, "cost": -2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 1730599750611, "cut_b": 44490592989292 }, { "field": 8, "cost": -2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 700985143800698, "cut_b": 2332977931934934 }, { "field": 8, "cost": -2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2161176273586152, "cut_b": 4908569775077328 }, { "field": 8, "cost": -1, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 2 }, { "field": 8, "cost": -1, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 1013501551, "cut_b": 1112452909353 }, { "field": 8, "cost": -1, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 1724813676085, "cut_b": 74456447457049 }, { "field": 8, "cost": -1, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 682287764971028, "cut_b": 2510999457168640 }, { "field": 8, "cost": -1, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2134604330342888, "cut_b": 4958962957364154 }, { "field": 8, "cost": 0, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 114 }, { "field": 8, "cost": 0, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 1013286708, "cut_b": 3021578392117 }, { "field": 8, "cost": 0, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 1715027822325, "cut_b": 125137002696673 }, { "field": 8, "cost": 0, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 661960805278260, "cut_b": 2704536551369683 }, { "field": 8, "cost": 0, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2107633151702747, "cut_b": 5010113281947499 }, { "field": 8, "cost": 2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 340033 }, { "field": 8, "cost": 2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 1011120311, "cut_b": 22272418073887 }, { "field": 8, "cost": 2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 1671229037498, "cut_b": 351969202345191 }, { "field": 8, "cost": 2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 616474727708638, "cut_b": 3137618695108096 }, { "field": 8, "cost": 2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 2052546044664695, "cut_b": 5114584927141390 }, { "field": 17, "cost": -17, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 0 }, { "field": 17, "cost": -17, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 15, "cut_b": 30 }, { "field": 17, "cost": -17, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 115298628, "cut_b": 230597257 }, { "field": 17, "cost": -17, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 73739461019421, "cut_b": 147478922038842 }, { "field": 17, "cost": -17, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 1527629572795479, "cut_b": 3055259145590959 }, { "field": 17, "cost": -8, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 0 }, { "field": 17, "cost": -8, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 15, "cut_b": 125106 }, { "field": 17, "cost": -8, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 115298449, "cut_b": 14276005955 }, { "field": 17, "cost": -8, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 72230191050904, "cut_b": 328816155085303 }, { "field": 17, "cost": -8, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 1423045568896734, "cut_b": 3462738641056176 }, { "field": 17, "cost": -3, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 0 }, { "field": 17, "cost": -3, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 15, "cut_b": 18565236 }, { "field": 17, "cost": -3, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 115296006, "cut_b": 205126018457 }, { "field": 17, "cost": -3, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 70186266188900, "cut_b": 574391623200681 }, { "field": 17, "cost": -3, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 1355104724982869, "cut_b": 3727449302031689 }, { "field": 17, "cost": -2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 0 }, { "field": 17, "cost": -2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 15, "cut_b": 50465519 }, { "field": 17, "cost": -2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 115294151, "cut_b": 349987752326 }, { "field": 17, "cost": -2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 69597025076894, "cut_b": 645188336232312 }, { "field": 17, "cost": -2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 1340693781077929, "cut_b": 3783597125146663 }, { "field": 17, "cost": -1, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 0 }, { "field": 17, "cost": -1, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 15, "cut_b": 137179475 }, { "field": 17, "cost": -1, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 115290987, "cut_b": 597202820863 }, { "field": 17, "cost": -1, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 68930797749215, "cut_b": 725234863826042 }, { "field": 17, "cost": -1, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 1326016678350698, "cut_b": 3840781954482261 }, { "field": 17, "cost": 0, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 0 }, { "field": 17, "cost": 0, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 15, "cut_b": 372892439 }, { "field": 17, "cost": 0, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 115285586, "cut_b": 1019076898359 }, { "field": 17, "cost": 0, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 68179428597285, "cut_b": 815511093957046 }, { "field": 17, "cost": 0, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 1311078038368263, "cut_b": 3898985783519755 }, { "field": 17, "cost": 2, "temperature": 0.25, "temperature_bits": "3fd0000000000000", "cut_a": 0, "cut_b": 0 }, { "field": 17, "cost": 2, "temperature": 1.0, "temperature_bits": "3ff0000000000000", "cut_a": 15, "cut_b": 2755322325 }, { "field": 17, "cost": 2, "temperature": 1.8708286933869707, "temperature_bits": "3ffdeeea11683f49", "cut_a": 115260648, "cut_b": 2967297335029 }, { "field": 17, "cost": 2, "temperature": 7.1, "temperature_bits": "401c666666666666", "cut_a": 66387242702441, "cut_b": 1030840384312850 }, { "field": 17, "cost": 2, "temperature": 25.0, "temperature_bits": "4039000000000000", "cut_a": 1280437597490107, "cut_b": 4018366864033280 } ], "chains": [ { "name": "colour-four/its-own-plan", "landscape": { "n": 12, "couplings": [ [ 0, 1, -1 ], [ 0, 2, -1 ], [ 0, 3, -1 ], [ 0, 6, -1 ], [ 1, 2, -1 ], [ 1, 4, -1 ], [ 1, 7, -1 ], [ 2, 5, -1 ], [ 2, 8, -1 ], [ 3, 4, -1 ], [ 3, 5, -1 ], [ 3, 6, -1 ], [ 3, 9, -1 ], [ 4, 5, -1 ], [ 4, 7, -1 ], [ 4, 10, -1 ], [ 5, 8, -1 ], [ 5, 11, -1 ], [ 6, 7, -1 ], [ 6, 8, -1 ], [ 6, 9, -1 ], [ 7, 8, -1 ], [ 7, 10, -1 ], [ 8, 11, -1 ], [ 9, 10, -1 ], [ 9, 11, -1 ], [ 10, 11, -1 ] ], "field": [ -3, -3, -3, -4, -4, -4, -4, -4, -4, -3, -3, -3 ], "costs": [ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 ] }, "field_bound": 9, "seed": "1", "chains": [ { "chain": "10451216379200822465", "start": "--+--00-0++-", "expect": { "state": "+---+---++--", "accumulates": 2160, "draws": 468, "term": "fixed-point", "state_hash": "524178197309b82d" } }, { "chain": "13757245211066428519", "start": "++--+0+00-0-", "expect": { "state": "--++---+---+", "accumulates": 2160, "draws": 468, "term": "fixed-point", "state_hash": "9328d9475247c3ed" } }, { "chain": "17911839290282890590", "start": "--0+++0000++", "expect": { "state": "+---+---++--", "accumulates": 2160, "draws": 468, "term": "fixed-point", "state_hash": "524178197309b82d" } }, { "chain": "8196980753821780235", "start": "0--+-0-+-00-", "expect": { "state": "--++---+---+", "accumulates": 2160, "draws": 468, "term": "fixed-point", "state_hash": "9328d9475247c3ed" } }, { "chain": "8195237237126968761", "start": "+++0000--+0-", "expect": { "state": "--+-+-+----+", "accumulates": 2160, "draws": 468, "term": "fixed-point", "state_hash": "00e92f34e9b5a4bd" } }, { "chain": "14072917602864530048", "start": "-0-000000+++", "expect": { "state": "+----+-+-+--", "accumulates": 2160, "draws": 468, "term": "fixed-point", "state_hash": "c188deda8585a43d" } }, { "chain": "16184226688143867045", "start": "-0--0-++++00", "expect": { "state": "--++---+---+", "accumulates": 2160, "draws": 468, "term": "fixed-point", "state_hash": "9328d9475247c3ed" } }, { "chain": "9648886400068060533", "start": "0+++-000-00+", "expect": { "state": "+-------+-+-", "accumulates": 2160, "draws": 468, "term": "fixed-point", "state_hash": "ff002c0a26472327" } } ], "t0": 2.1213203435596424, "t0_bits": "4000f876ccdf6cd9", "sweeps": 40 }, { "name": "colour-four/held-hot", "landscape": { "n": 12, "couplings": [ [ 0, 1, -1 ], [ 0, 2, -1 ], [ 0, 3, -1 ], [ 0, 6, -1 ], [ 1, 2, -1 ], [ 1, 4, -1 ], [ 1, 7, -1 ], [ 2, 5, -1 ], [ 2, 8, -1 ], [ 3, 4, -1 ], [ 3, 5, -1 ], [ 3, 6, -1 ], [ 3, 9, -1 ], [ 4, 5, -1 ], [ 4, 7, -1 ], [ 4, 10, -1 ], [ 5, 8, -1 ], [ 5, 11, -1 ], [ 6, 7, -1 ], [ 6, 8, -1 ], [ 6, 9, -1 ], [ 7, 8, -1 ], [ 7, 10, -1 ], [ 8, 11, -1 ], [ 9, 10, -1 ], [ 9, 11, -1 ], [ 10, 11, -1 ] ], "field": [ -3, -3, -3, -4, -4, -4, -4, -4, -4, -3, -3, -3 ], "costs": [ -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1 ] }, "field_bound": 9, "seed": "2", "chains": [ { "chain": "10905525725756348110", "start": "-0+-+-++--0-", "expect": { "state": "-0-+-0------", "accumulates": 1080, "draws": 240, "term": "bound", "state_hash": "c22c1fb12484093f" } }, { "chain": "13819372491320860226", "start": "00+00++00--0", "expect": { "state": "-+------+-+-", "accumulates": 1080, "draws": 240, "term": "bound", "state_hash": "b30660d92e562daf" } }, { "chain": "10987583248141275951", "start": "-0--0++0+---", "expect": { "state": "--+----+-000", "accumulates": 1080, "draws": 240, "term": "bound", "state_hash": "9669a336196a60b8" } }, { "chain": "14119491246550939236", "start": "0+0-0+0--+00", "expect": { "state": "--++-------+", "accumulates": 1080, "draws": 240, "term": "bound", "state_hash": "ac869b9c4ce691e7" } }, { "chain": "5747796768693156649", "start": "00--+-+000-0", "expect": { "state": "--+--0+0--00", "accumulates": 1080, "draws": 240, "term": "bound", "state_hash": "8637bde72b0cebab" } }, { "chain": "6394052312532759219", "start": "-+-00-+0++++", "expect": { "state": "-0---+--00+-", "accumulates": 1080, "draws": 240, "term": "bound", "state_hash": "3053bcd5a9867468" } }, { "chain": "13398859234004329862", "start": "+00-++0++0+0", "expect": { "state": "0----+00----", "accumulates": 1080, "draws": 240, "term": "bound", "state_hash": "b9b0a556d68c2d70" } }, { "chain": "13633754720362554755", "start": "0-0000-+++-+", "expect": { "state": "-+-+-0--+-+-", "accumulates": 1080, "draws": 240, "term": "bound", "state_hash": "1488900a05b846fa" } } ], "held": [ { "temperature": 1.5, "temperature_bits": "3ff8000000000000", "sweeps": 20 } ] }, { "name": "assignment-3x3/cooling", "landscape": { "n": 9, "couplings": [ [ 0, 1, -1 ], [ 0, 2, -1 ], [ 0, 3, -1 ], [ 0, 6, -1 ], [ 1, 2, -1 ], [ 1, 4, -1 ], [ 1, 7, -1 ], [ 2, 5, -1 ], [ 2, 8, -1 ], [ 3, 4, -1 ], [ 3, 5, -1 ], [ 3, 6, -1 ], [ 4, 5, -1 ], [ 4, 7, -1 ], [ 5, 8, -1 ], [ 6, 7, -1 ], [ 6, 8, -1 ], [ 7, 8, -1 ] ], "field": [ -2, -2, -2, -2, -2, -2, -2, -2, -2 ], "costs": [ -1, -1, -1, -1, -1, -1, -1, -1, -1 ] }, "field_bound": 6, "seed": "3", "chains": [ { "chain": "2092789425003139053", "start": "0--+-++++", "expect": { "state": "--+-+-+--", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "689ea8f9d768f805" } }, { "chain": "12918135221727111561", "start": "0++--00--", "expect": { "state": "-+---++--", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "f9574238c4ed0bf5" } }, { "chain": "11307387092600937729", "start": "0---0-0-0", "expect": { "state": "--++---+-", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "29cf75b4a4159595" } }, { "chain": "1344154044715485647", "start": "--+-00--+", "expect": { "state": "--++---+-", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "29cf75b4a4159595" } }, { "chain": "3992596847233833366", "start": "-0-++0+00", "expect": { "state": "+----+-+-", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "4cc7b905fa2bc8b5" } }, { "chain": "11736230232210755335", "start": "-00+-+0+-", "expect": { "state": "--++---+-", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "29cf75b4a4159595" } }, { "chain": "2493001065868230072", "start": "0--0+-+--", "expect": { "state": "-+---++--", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "f9574238c4ed0bf5" } }, { "chain": "16393961507643560470", "start": "+0-++00++", "expect": { "state": "+----+-+-", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "4cc7b905fa2bc8b5" } }, { "chain": "9058503432725982842", "start": "+-000-+0-", "expect": { "state": "-+-+----+", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "613bbe8dea952555" } }, { "chain": "16390474474253937522", "start": "0+-0-00-+", "expect": { "state": "-+-+----+", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "613bbe8dea952555" } }, { "chain": "12883872826046839500", "start": "000++00-0", "expect": { "state": "-+-+----+", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "613bbe8dea952555" } }, { "chain": "13131983656473872511", "start": "--++0-+0-", "expect": { "state": "+----+-+-", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "4cc7b905fa2bc8b5" } }, { "chain": "8857471719570398452", "start": "0+0+0+00+", "expect": { "state": "--+-+-+--", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "689ea8f9d768f805" } }, { "chain": "6198117012983816131", "start": "-+--0-0+-", "expect": { "state": "-+-+----+", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "613bbe8dea952555" } }, { "chain": "13233401231234309212", "start": "00++--+0+", "expect": { "state": "--++---+-", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "29cf75b4a4159595" } }, { "chain": "14736924128774886378", "start": "0-+-0+--+", "expect": { "state": "+---+---+", "accumulates": 1476, "draws": 360, "term": "fixed-point", "state_hash": "f37b68a053274485" } } ], "t0": 1.8708286933869707, "t0_bits": "3ffdeeea11683f49", "sweeps": 41 }, { "name": "assignment-3x3/quench", "landscape": { "n": 9, "couplings": [ [ 0, 1, -1 ], [ 0, 2, -1 ], [ 0, 3, -1 ], [ 0, 6, -1 ], [ 1, 2, -1 ], [ 1, 4, -1 ], [ 1, 7, -1 ], [ 2, 5, -1 ], [ 2, 8, -1 ], [ 3, 4, -1 ], [ 3, 5, -1 ], [ 3, 6, -1 ], [ 4, 5, -1 ], [ 4, 7, -1 ], [ 5, 8, -1 ], [ 6, 7, -1 ], [ 6, 8, -1 ], [ 7, 8, -1 ] ], "field": [ -2, -2, -2, -2, -2, -2, -2, -2, -2 ], "costs": [ -1, -1, -1, -1, -1, -1, -1, -1, -1 ] }, "field_bound": 6, "seed": "4", "chains": [ { "chain": "7958955049054603978", "start": "+--00++0+", "expect": { "state": "---------", "accumulates": 324, "draws": 0, "term": "bound", "state_hash": "e604823a249029bf" } }, { "chain": "16462000697783136304", "start": "+00+0-++-", "expect": { "state": "---------", "accumulates": 324, "draws": 0, "term": "bound", "state_hash": "e604823a249029bf" } }, { "chain": "15847914186252977247", "start": "0--00-0--", "expect": { "state": "+++++++++", "accumulates": 324, "draws": 0, "term": "bound", "state_hash": "f94d5ce7940ff145" } }, { "chain": "9071633986856679582", "start": "---++0-0+", "expect": { "state": "---------", "accumulates": 324, "draws": 0, "term": "bound", "state_hash": "e604823a249029bf" } }, { "chain": "7278725300257082041", "start": "-+-0+00--", "expect": { "state": "---------", "accumulates": 324, "draws": 0, "term": "bound", "state_hash": "e604823a249029bf" } }, { "chain": "10823043122334066145", "start": "----+++0-", "expect": { "state": "+-+--++--", "accumulates": 324, "draws": 0, "term": "bound", "state_hash": "30ebe7cff3e2f9b7" } }, { "chain": "16983547147878014814", "start": "00--+0000", "expect": { "state": "---------", "accumulates": 324, "draws": 0, "term": "bound", "state_hash": "e604823a249029bf" } }, { "chain": "8277778672505814866", "start": "-+-+0+0+-", "expect": { "state": "---------", "accumulates": 324, "draws": 0, "term": "bound", "state_hash": "e604823a249029bf" } } ], "held": [ { "temperature": 0.0, "temperature_bits": "0000000000000000", "sweeps": 9 } ] }, { "name": "one-hot/hot-then-cold", "landscape": { "n": 3, "couplings": [ [ 0, 1, -1 ], [ 0, 2, -1 ], [ 1, 2, -1 ] ], "field": [ -1, -1, -1 ], "costs": [ -1, -1, -1 ] }, "field_bound": 3, "seed": "5", "chains": [ { "chain": "7134611160154358618", "start": "+--", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "13877614986023876344", "start": "--0", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "4292726422858613063", "start": "0+-", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "1832488697174800709", "start": "0+-", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "3467252261107883461", "start": "00-", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "7020995479949754436", "start": "0-+", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "18180438093026040609", "start": "---", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "9428158358266441515", "start": "+-+", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "7866638711627835880", "start": "---", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "11131513475650148195", "start": "0++", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "8309798722296661671", "start": "+-+", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "2521712920250132284", "start": "---", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "16127077031574211323", "start": "++-", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "8350974385709173517", "start": "00+", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "17610715268997278231", "start": "00+", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "17321035185964259926", "start": "-0+", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "15331127259246571883", "start": "00+", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "8504888770524129531", "start": "+00", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "2901948000661377399", "start": "--+", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "8397546882949181656", "start": "+-0", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "2118876895552091609", "start": "-++", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "18215514986651943371", "start": "-0+", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "3321900961691967264", "start": "00+", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "16152935607477678831", "start": "---", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "2878334409782671587", "start": "0++", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "13145571946871622659", "start": "+00", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "17272931820311340502", "start": "000", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "2251387921655030561", "start": "--+", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "8459004827984962783", "start": "-0+", "expect": { "state": "+++", "accumulates": 42, "draws": 18, "term": "bound", "state_hash": "eaa6d61875e4f6c5" } }, { "chain": "15573946042763465654", "start": "0-0", "expect": { "state": "---", "accumulates": 42, "draws": 18, "term": "bound", "state_hash": "d94d12186c0f2fb7" } }, { "chain": "5016337374866362263", "start": "+00", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "3587313383887939317", "start": "+0-", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "18030560307439986815", "start": "+-+", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "7215423488864950990", "start": "+00", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "17907216375910023823", "start": "0+0", "expect": { "state": "+++", "accumulates": 42, "draws": 18, "term": "bound", "state_hash": "eaa6d61875e4f6c5" } }, { "chain": "13073693472648079333", "start": "---", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "6875732695648591182", "start": "++-", "expect": { "state": "---", "accumulates": 42, "draws": 18, "term": "bound", "state_hash": "d94d12186c0f2fb7" } }, { "chain": "8262079123043837679", "start": "---", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "2265102262976169548", "start": "0--", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "31002999674627787", "start": "0+0", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "9758956069653505826", "start": "++-", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "11601270487930522370", "start": "0++", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "8595077898308944351", "start": "---", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "5233465955765427657", "start": "00+", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "12018245013774620561", "start": "-++", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "14056675366028464483", "start": "++-", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "3977958425965241155", "start": "0-+", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "18063548262106118451", "start": "0-0", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "2650235709409442032", "start": "-+0", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "7631284001425687757", "start": "000", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "8700720198753019399", "start": "--+", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "1139889335287271400", "start": "00-", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "7040411534404294322", "start": "-0-", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "14195109191457840633", "start": "0-0", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "16841386989313086867", "start": "--0", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "7782423814473325461", "start": "0+0", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } }, { "chain": "7419479482384258925", "start": "---", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "12555660441742485356", "start": "+++", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "16152257390848967920", "start": "000", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "5115703330753455706", "start": "--0", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "16041106722492552761", "start": "0--", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "5821461145773409003", "start": "---", "expect": { "state": "--+", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94d14186c0f331d" } }, { "chain": "6250708678346511485", "start": "+++", "expect": { "state": "+--", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "eaa0081875df2d0d" } }, { "chain": "11016363197749275", "start": "000", "expect": { "state": "-+-", "accumulates": 42, "draws": 18, "term": "fixed-point", "state_hash": "d94646186c096965" } } ], "held": [ { "temperature": 4.0, "temperature_bits": "4010000000000000", "sweeps": 3 }, { "temperature": 0.5, "temperature_bits": "3fe0000000000000", "sweeps": 3 }, { "temperature": 0.0, "temperature_bits": "0000000000000000", "sweeps": 1 } ] }, { "name": "random/n=32/mixed-costs/cooling", "landscape": { "n": 32, "couplings": [ [ 0, 9, 1 ], [ 0, 18, 1 ], [ 0, 23, -1 ], [ 0, 28, 1 ], [ 1, 3, -1 ], [ 1, 4, -1 ], [ 1, 11, 1 ], [ 1, 23, -1 ], [ 2, 5, -1 ], [ 2, 9, 1 ], [ 2, 10, 1 ], [ 2, 22, 1 ], [ 2, 25, -1 ], [ 2, 31, -1 ], [ 3, 9, -1 ], [ 3, 12, 1 ], [ 3, 13, 1 ], [ 3, 16, 1 ], [ 3, 19, -1 ], [ 3, 27, 1 ], [ 3, 29, 1 ], [ 3, 30, 1 ], [ 4, 16, 1 ], [ 4, 17, 1 ], [ 4, 28, -1 ], [ 5, 19, 1 ], [ 5, 22, 1 ], [ 5, 25, -1 ], [ 6, 8, 1 ], [ 6, 19, -1 ], [ 6, 24, -1 ], [ 7, 16, -1 ], [ 7, 17, -1 ], [ 7, 21, -1 ], [ 7, 24, 1 ], [ 7, 28, 1 ], [ 8, 10, 1 ], [ 8, 13, 1 ], [ 8, 23, -1 ], [ 9, 14, 1 ], [ 9, 18, -1 ], [ 9, 29, -1 ], [ 10, 15, 1 ], [ 10, 19, 1 ], [ 10, 21, 1 ], [ 10, 25, 1 ], [ 10, 27, 1 ], [ 10, 30, 1 ], [ 11, 15, 1 ], [ 11, 16, 1 ], [ 11, 21, 1 ], [ 11, 24, 1 ], [ 11, 27, -1 ], [ 12, 13, -1 ], [ 12, 14, 1 ], [ 12, 19, 1 ], [ 12, 22, -1 ], [ 12, 30, 1 ], [ 13, 24, 1 ], [ 13, 25, 1 ], [ 13, 31, -1 ], [ 14, 23, -1 ], [ 14, 24, 1 ], [ 14, 28, 1 ], [ 14, 30, -1 ], [ 14, 31, -1 ], [ 15, 16, 1 ], [ 15, 26, -1 ], [ 15, 31, -1 ], [ 17, 19, 1 ], [ 17, 22, 1 ], [ 17, 28, 1 ], [ 17, 29, -1 ], [ 18, 20, -1 ], [ 18, 23, -1 ], [ 18, 30, 1 ], [ 19, 20, -1 ], [ 19, 24, 1 ], [ 20, 24, 1 ], [ 20, 25, -1 ], [ 21, 25, 1 ], [ 21, 26, -1 ], [ 22, 23, -1 ], [ 22, 27, -1 ], [ 23, 26, -1 ], [ 23, 28, -1 ] ], "field": [ 1, 1, -3, 0, 3, 1, 0, -2, -2, -2, -1, 2, -1, 1, -2, 2, -1, 3, 0, -1, 1, 3, 1, -1, 0, 3, 1, -1, -2, -2, 1, 0 ], "costs": [ -1, -1, -2, -1, 0, 3, 0, 1, 1, -3, -3, 2, -1, 1, 0, 0, 0, -1, 2, -2, 1, -1, 0, 3, -2, -2, -3, -2, 3, -1, -2, 2 ] }, "field_bound": 9, "seed": "6", "chains": [ { "chain": "13647215125184110592", "start": "000+++-++-0--+0-+++-0-+----0-0+0", "expect": { "state": "---++0+----+-+-+++0-0+++-+----+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "60a5c33be6cb673f" } }, { "chain": "8233034982601383833", "start": "000--+--+-+-+0+---0++0+--0-0+--+", "expect": { "state": "-+-++0+-0-++-+-+++0-0++0-+----+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "4d2768b2c57e5e03" } }, { "chain": "1039343067777871686", "start": "+0+++0-0-+++--+-00+000+0--000+++", "expect": { "state": "++--+0--0-++-+-+++++0++0++--0-+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "14067e4a5c80d04b" } }, { "chain": "1946848145997617808", "start": "-+-+-+--0++--0-0+-+--00--+-+++--", "expect": { "state": "---++0+----+-+-+++0-0+++-+----+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "60a5c33be6cb673f" } }, { "chain": "10159400350932864807", "start": "--0-+-0+0-+0+0+-+-0--0000+0-++++", "expect": { "state": "---++0+----+-+-+++0-0+++-+----+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "60a5c33be6cb673f" } }, { "chain": "15194362148048808560", "start": "-0---+-0--0+-++00-++00+0-00-00-+", "expect": { "state": "++--+0--0-++-+-+++++0++0++--0-+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "14067e4a5c80d04b" } }, { "chain": "3553216667817520020", "start": "0+--000-0++00+00+--0-+0+--00++-+", "expect": { "state": "-+-++0+-0-++-+-+++0-0++0-+----+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "4d2768b2c57e5e03" } }, { "chain": "3738407306160466512", "start": "0--0-0-+0-+0---0+++00-+++++0+++0", "expect": { "state": "-+--+0+----+-0-+++0-0++0-+-----0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "2367e72d4fc44d19" } }, { "chain": "2174459033575661147", "start": "----+0-00++0++-+--+--+--+-+-++--", "expect": { "state": "-+--+0-----+-+-+++0+0++0++-----0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "e857292d1f4db4ae" } }, { "chain": "16763386040539770622", "start": "--+-000--+-+++000+0-++0++0-+-+-+", "expect": { "state": "-+-++0+-0-++-+-+++0-0++0-+----+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "4d2768b2c57e5e03" } }, { "chain": "2295243371986251617", "start": "0++-0-000-00-0++0+000-0+-+-+++0-", "expect": { "state": "-+--+0--0-++-+-+++0+0++0++----+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "f512fd5b0d1ee70f" } }, { "chain": "9187981958480619105", "start": "00+-+-0+++0-0-+0-+0+-+-++++----0", "expect": { "state": "++--+0--0-++-+-+++++0++-+++-0-+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "f5a963877bf204ea" } }, { "chain": "3667511711285709012", "start": "++0-+++-0--+0+-0++0++++---++0+--", "expect": { "state": "-+--+0--0-++-+-+++0+0++0++----+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "f512fd5b0d1ee70f" } }, { "chain": "16370961070820843737", "start": "-++0-+0+-+-++0+-0-00-+-+0+-++-++", "expect": { "state": "---++0+----+-+-+++0-0+++-+----+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "60a5c33be6cb673f" } }, { "chain": "7551476197616124343", "start": "0+0+-0--++0-0++++-+-+-+0-00++0-0", "expect": { "state": "-+--+0--0-++-+-+++0+0++0++----+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "f512fd5b0d1ee70f" } }, { "chain": "625667783288752810", "start": "+-+0000++-+---0+++--0++0+-0-00++", "expect": { "state": "++-++0+-0-++-+-++++-0++0-+--0-+0", "accumulates": 5160, "draws": 928, "term": "fixed-point", "state_hash": "fd063732ea5f9423" } } ], "t0": 2.5, "t0_bits": "4004000000000000", "sweeps": 30 }, { "name": "random/n=32/mixed-costs/stops-hot", "landscape": { "n": 32, "couplings": [ [ 0, 3, -1 ], [ 0, 7, 1 ], [ 0, 23, -1 ], [ 0, 25, 1 ], [ 1, 4, 1 ], [ 1, 7, -1 ], [ 1, 8, -1 ], [ 1, 9, 1 ], [ 1, 12, -1 ], [ 1, 16, 1 ], [ 1, 18, -1 ], [ 1, 23, 1 ], [ 1, 28, -1 ], [ 1, 30, -1 ], [ 2, 5, -1 ], [ 2, 6, -1 ], [ 2, 10, -1 ], [ 2, 18, -1 ], [ 2, 22, 1 ], [ 3, 8, -1 ], [ 3, 21, 1 ], [ 3, 25, -1 ], [ 3, 27, 1 ], [ 4, 8, 1 ], [ 4, 24, 1 ], [ 5, 8, 1 ], [ 5, 9, -1 ], [ 5, 20, 1 ], [ 5, 25, 1 ], [ 5, 27, -1 ], [ 6, 13, -1 ], [ 6, 20, 1 ], [ 6, 21, 1 ], [ 6, 27, -1 ], [ 7, 9, -1 ], [ 7, 20, 1 ], [ 8, 14, -1 ], [ 8, 23, 1 ], [ 8, 29, -1 ], [ 9, 11, 1 ], [ 9, 13, -1 ], [ 9, 14, -1 ], [ 9, 17, -1 ], [ 9, 30, 1 ], [ 9, 31, 1 ], [ 10, 12, -1 ], [ 10, 14, -1 ], [ 10, 16, 1 ], [ 10, 19, 1 ], [ 10, 28, -1 ], [ 11, 19, 1 ], [ 11, 22, 1 ], [ 11, 30, 1 ], [ 11, 31, 1 ], [ 12, 14, 1 ], [ 12, 15, 1 ], [ 12, 17, 1 ], [ 12, 27, 1 ], [ 13, 16, -1 ], [ 13, 21, 1 ], [ 13, 29, -1 ], [ 14, 24, -1 ], [ 15, 16, 1 ], [ 15, 19, -1 ], [ 15, 25, 1 ], [ 15, 31, 1 ], [ 16, 18, -1 ], [ 17, 18, -1 ], [ 17, 27, 1 ], [ 17, 29, -1 ], [ 18, 22, 1 ], [ 18, 26, -1 ], [ 18, 27, 1 ], [ 20, 29, 1 ], [ 20, 31, -1 ], [ 21, 23, -1 ], [ 21, 24, 1 ], [ 22, 25, -1 ], [ 22, 27, 1 ], [ 22, 30, 1 ], [ 23, 26, 1 ], [ 23, 29, -1 ], [ 24, 25, 1 ], [ 25, 26, -1 ], [ 25, 27, -1 ], [ 25, 31, 1 ], [ 26, 27, 1 ], [ 26, 30, 1 ], [ 28, 29, -1 ], [ 28, 31, -1 ] ], "field": [ -2, 1, 1, -1, 0, 1, 2, 0, 1, -1, -1, 3, 1, -3, 2, -1, -2, -2, -1, -2, 2, -3, 1, 0, 1, -1, -2, 3, 0, 2, 0, 0 ], "costs": [ 1, 1, 2, -1, 3, 2, 3, -1, -1, -2, 3, 0, -1, -2, -1, 2, 0, 2, 0, -2, -1, 3, -2, 1, -2, 3, -2, -1, 2, 1, 0, -1 ] }, "field_bound": 12, "seed": "7", "chains": [ { "chain": "7191089600892374487", "start": "++0+-0+---0+-00--+00-00--00+++-0", "expect": { "state": "-00+0-+--+-++-+0--+-+-+----+0++-", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "91f10dd0a3f0c338" } }, { "chain": "309689372594955804", "start": "-+0-00-+0+++--+++-0+++-+-+++00-+", "expect": { "state": "0-0-0+0++--++-+--0+-+-+----+++--", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "e87a5124c59fe646" } }, { "chain": "16616101746815609346", "start": "+00+-00+0-++0+0-----0+0+00+00++-", "expect": { "state": "-+++0-0--+-++-+++0---0++--++-+++", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "346c673e31ae9785" } }, { "chain": "10753165928301472203", "start": "0+++0++-+-+0-00+-++0-00-----++++", "expect": { "state": "-+++0-0--+-++-+0+0--+-++--++0+++", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "82de18ef752f5df0" } }, { "chain": "8346079845500723674", "start": "++-0++----0+++-++-00000---0--0+0", "expect": { "state": "--0+000++--++-+0-0+-+-+----+0++-", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "584caff41f19dbce" } }, { "chain": "4601199455465548305", "start": "0+-+-+-+0+++--+-000++0-0-+-0-0-+", "expect": { "state": "+---0++++-0-+-+0--+-+---++--0+--", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "fa5cf4de911e229b" } }, { "chain": "8632209307422871798", "start": "+-00+++-0+-0000+000+-0+-0--0----", "expect": { "state": "-+0+000--+0++-+0+0--+-++--++0++-", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "3490de320449ae2f" } }, { "chain": "6051947643683389182", "start": "+0+-0-0-00+--0+0+0+0-++0000+-00+", "expect": { "state": "-+++0-0--+-++-+0+---+-++--++0++-", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "a0c0a72b4ba790dd" } }, { "chain": "2476628477891077985", "start": "---00-++0+--0-++0-000-+000----00", "expect": { "state": "+---0++++-0-+-+0--+-+----0--0+--", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "cc69815ac44f8dc8" } }, { "chain": "7621113624420504425", "start": "++0-00-+00-+-+-0-+0-+--0---+00++", "expect": { "state": "-+0+0-0--+-++-+0--+-+-++--++0++0", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "0917f088d466f889" } }, { "chain": "1910343844960271083", "start": "-++0-+++-0-++-++-++-++-+++0+--+0", "expect": { "state": "-0++000--+-++-+0--0-+-+0---+0++0", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "1aa2574de5372a5c" } }, { "chain": "17706551433532105516", "start": "0+0-0+--0-+++------++--+0-+-0+0-", "expect": { "state": "0-0+000+---++-+--0+-+0+-+--++++-", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "bdbb69f5c6944910" } }, { "chain": "16934472341843718990", "start": "--0+++0---+----0+0+00+-0-+0+-0-0", "expect": { "state": "-+0-000--+0++-+000----++--++-+++", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "29be902124153cef" } }, { "chain": "16073233977741239344", "start": "0-0-0-0-+-+----0+00-0++0++++000-", "expect": { "state": "-+0+0-0--+-++-+0-0+---++-0-+-+++", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "913ae4c93bc518d9" } }, { "chain": "15938128224054089190", "start": "+0+-0000-000+0-+++-+-+00-0+-+---", "expect": { "state": "--++-00+---++-+0-0+-+0+----+0++-", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "08886b4d0f9e934d" } }, { "chain": "10114117652854834680", "start": "0--0+0-0+0-+++--0++--+-----++0-0", "expect": { "state": "0-0-0+0++--++-+0-0+-+-+0---+++0-", "accumulates": 2160, "draws": 384, "term": "bound", "state_hash": "dd530af5285c5923" } } ], "held": [ { "temperature": 2.9, "temperature_bits": "4007333333333333", "sweeps": 7 }, { "temperature": 0.7, "temperature_bits": "3fe6666666666666", "sweeps": 5 } ] }, { "name": "forty-distinct-costs", "landscape": { "n": 40, "couplings": [ [ 0, 1, -1 ], [ 0, 39, -1 ], [ 1, 2, 1 ], [ 2, 3, 1 ], [ 3, 4, -1 ], [ 4, 5, 1 ], [ 5, 6, 1 ], [ 6, 7, -1 ], [ 7, 8, 1 ], [ 8, 9, 1 ], [ 9, 10, -1 ], [ 10, 11, 1 ], [ 11, 12, 1 ], [ 12, 13, -1 ], [ 13, 14, 1 ], [ 14, 15, 1 ], [ 15, 16, -1 ], [ 16, 17, 1 ], [ 17, 18, 1 ], [ 18, 19, -1 ], [ 19, 20, 1 ], [ 20, 21, 1 ], [ 21, 22, -1 ], [ 22, 23, 1 ], [ 23, 24, 1 ], [ 24, 25, -1 ], [ 25, 26, 1 ], [ 26, 27, 1 ], [ 27, 28, -1 ], [ 28, 29, 1 ], [ 29, 30, 1 ], [ 30, 31, -1 ], [ 31, 32, 1 ], [ 32, 33, 1 ], [ 33, 34, -1 ], [ 34, 35, 1 ], [ 35, 36, 1 ], [ 36, 37, -1 ], [ 37, 38, 1 ], [ 38, 39, 1 ] ], "field": [ -2, -1, 0, 1, 2, -2, -1, 0, 1, 2, -2, -1, 0, 1, 2, -2, -1, 0, 1, 2, -2, -1, 0, 1, 2, -2, -1, 0, 1, 2, -2, -1, 0, 1, 2, -2, -1, 0, 1, 2 ], "costs": [ -20, -19, -18, -17, -16, -15, -14, -13, -12, -11, -10, -9, -8, -7, -6, -5, -4, -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19 ] }, "field_bound": 4, "seed": "8", "chains": [ { "chain": "11409396526365357622", "start": "0----0+---0+-0++0--00-0+-0+0++-0--0++++-", "expect": { "state": "-++++--+++---+++---+--000000000000000000", "accumulates": 1600, "draws": 760, "term": "fixed-point", "state_hash": "6ef4f0a41a6365f9" } }, { "chain": "11288449918072354817", "start": "00+---++++++++0--0--0+++-----++0-+--+-+-", "expect": { "state": "-++++--+++---++-++++--000000000000000000", "accumulates": 1600, "draws": 760, "term": "fixed-point", "state_hash": "3dc25eb365498f69" } }, { "chain": "12710348155395669505", "start": "00-++-++++0+--0--0----+0-0--0+0-0--+--0-", "expect": { "state": "----+--+++---+++---+--000000000000000000", "accumulates": 1600, "draws": 760, "term": "fixed-point", "state_hash": "046c4cd83ebfeed7" } }, { "chain": "9889543983210544564", "start": "-+++--0++-+00+--+++0--+0-+++0--++++-+0++", "expect": { "state": "-++++--+++---++-++++--000000000000000000", "accumulates": 1600, "draws": 760, "term": "fixed-point", "state_hash": "3dc25eb365498f69" } }, { "chain": "1177231695481881802", "start": "+0+0++0--+0--0---+++-00-++00++0+-+0-++00", "expect": { "state": "-++++--+++---++-++++--000000000000000000", "accumulates": 1600, "draws": 760, "term": "fixed-point", "state_hash": "3dc25eb365498f69" } }, { "chain": "6915105739825135632", "start": "-+0+-+-0+---00+000+-0-+++0+-00+++0+0+-+0", "expect": { "state": "-++++--+++---++-++++--000000000000000000", "accumulates": 1600, "draws": 760, "term": "fixed-point", "state_hash": "3dc25eb365498f69" } }, { "chain": "17600687008453613099", "start": "0-+0+-++--++++0++-00+++00+0+++-0--0----+", "expect": { "state": "----+--+++---+++---+--000000000000000000", "accumulates": 1600, "draws": 760, "term": "fixed-point", "state_hash": "046c4cd83ebfeed7" } }, { "chain": "6584036627333980314", "start": "+--000-++--0---+-00+0--+0-0-+++0000+-+--", "expect": { "state": "-++++--+++---+++---+--000000000000000000", "accumulates": 1600, "draws": 760, "term": "fixed-point", "state_hash": "6ef4f0a41a6365f9" } } ], "t0": 3.0, "t0_bits": "4008000000000000", "sweeps": 20 }, { "name": "costs-past-32-bits/hot", "landscape": { "n": 4, "couplings": [ [ 0, 1, 1 ], [ 2, 3, -1 ] ], "field": [ 8589934595, -8589934595, 8589934593, 1 ], "costs": [ 8589934595, -8589934595, 8589934594, -1 ] }, "field_bound": 8589934596, "seed": "9", "chains": [ { "chain": "12587370737594032228", "start": "0+00", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "13847876567842155106", "start": "++0-", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "4894335158745139638", "start": "00+0", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "14477257330446655584", "start": "0+++", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "4843255778055325601", "start": "000-", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "2114146066760625150", "start": "0-++", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "11913068463950444748", "start": "+---", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "18143267973713359165", "start": "-+-+", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "4040493311852077417", "start": "++--", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "14557450600514164083", "start": "+-0-", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "10878741101378410912", "start": "00--", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "3961813278987999897", "start": "++-+", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "18183903893062645341", "start": "-000", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "4433118356046984572", "start": "0--+", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "14020189155454773137", "start": "++0-", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "16340275119749100665", "start": "0-+0", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "10427686540933886021", "start": "+0--", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "3634840744406687988", "start": "0+0+", "expect": { "state": "+-0+", "accumulates": 20, "draws": 16, "term": "bound", "state_hash": "8d1766904a36a688" } }, { "chain": "11198763135473246119", "start": "----", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "12477057583214888394", "start": "+-++", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "14141501785586613628", "start": "0-+0", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "1492608901074386085", "start": "-+--", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "8646286385107323101", "start": "+-00", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "6896847493461380906", "start": "0++-", "expect": { "state": "+-0+", "accumulates": 20, "draws": 16, "term": "bound", "state_hash": "8d1766904a36a688" } }, { "chain": "8703395401976310681", "start": "+--+", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "12317768625655733981", "start": "-+-+", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "17722220329188899893", "start": "000+", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "4786413942034077654", "start": "-0+-", "expect": { "state": "+-0+", "accumulates": 20, "draws": 16, "term": "bound", "state_hash": "8d1766904a36a688" } }, { "chain": "11722916994748660828", "start": "0-00", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "12957900633574960211", "start": "-0-0", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "5668365654269925049", "start": "000+", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "16978039243485852", "start": "0+-0", "expect": { "state": "0-0+", "accumulates": 20, "draws": 16, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } } ], "held": [ { "temperature": 8589934592.0, "temperature_bits": "4200000000000000", "sweeps": 4 }, { "temperature": 0.0, "temperature_bits": "0000000000000000", "sweeps": 1 } ] }, { "name": "costs-past-32-bits/at-0", "landscape": { "n": 4, "couplings": [ [ 0, 1, 1 ], [ 2, 3, -1 ] ], "field": [ 8589934595, -8589934595, 8589934593, 1 ], "costs": [ 8589934595, -8589934595, 8589934594, -1 ] }, "field_bound": 8589934596, "seed": "10", "chains": [ { "chain": "614480483733483466", "start": "++--", "expect": { "state": "0-0+", "accumulates": 12, "draws": 0, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "13546682927695711814", "start": "--00", "expect": { "state": "0-0+", "accumulates": 12, "draws": 0, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "2416021196092754493", "start": "+000", "expect": { "state": "0-0+", "accumulates": 12, "draws": 0, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "15528008691430953736", "start": "0-++", "expect": { "state": "0-0+", "accumulates": 12, "draws": 0, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "15795910506479492296", "start": "++-0", "expect": { "state": "0-0+", "accumulates": 12, "draws": 0, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "17505121123262786554", "start": "0++-", "expect": { "state": "0-0+", "accumulates": 12, "draws": 0, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "14524527821618535909", "start": "+0--", "expect": { "state": "0-0+", "accumulates": 12, "draws": 0, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } }, { "chain": "14473837464419252285", "start": "00++", "expect": { "state": "0-0+", "accumulates": 12, "draws": 0, "term": "fixed-point", "state_hash": "ad2e2e77479b3727" } } ], "held": [ { "temperature": 0.0, "temperature_bits": "0000000000000000", "sweeps": 3 } ] } ], "jobs": [ { "name": "colour-four", "request": { "program": "#! title Three colours, four regions\n#! about Four regions, two triangles sharing a side, coloured with three colours so that regions that touch differ: the first version's colour-four, written with one variable for each region and colour. Each region holds exactly one colour, and two regions that touch hold no colour both. There are six good colourings, and every state of lowest energy is one of them.\n#! expect works\n#! item colour choice\n#! plus this region has this colour\n#! minus this region does not have this colour\n#! check exactly 1 0-1-2 3-4-5 6-7-8 9-10-11\n#! check atmost 1 0-3 1-4 2-5 0-6 1-7 2-8 3-6 4-7 5-8 3-9 4-10 5-11 6-9 7-10 8-11\n#\n# Variable 3·r + c says whether region r has colour c: + it has, - it has not.\n# Each region has exactly one colour; two regions that touch share none.\nvars 12\nexactly 1 0 1 2\nexactly 1 3 4 5\nexactly 1 6 7 8\nexactly 1 9 10 11\natmost 1 0 3\natmost 1 1 4\natmost 1 2 5\natmost 1 0 6\natmost 1 1 7\natmost 1 2 8\natmost 1 3 6\natmost 1 4 7\natmost 1 5 8\natmost 1 3 9\natmost 1 4 10\natmost 1 5 11\natmost 1 6 9\natmost 1 7 10\natmost 1 8 11\nsolve restarts=8 steps=40\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "+---+---++--", "energy": -35, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 17280, "draws": 3744, "replay": "584fca0b3d022c2cc50b3a01971164c14cab53d93865317463d8e4baa89507a2", "lowest": -35.0, "at_lowest": 6, "at_lowest_passing": 6 }, "reach": { "seeds": { "from": 1, "count": 100 }, "verdicts": { "solved": 100 } } }, { "name": "colour-five-ring", "request": { "program": "#! title Three colours, five regions in a ring\n#! about Five regions in a ring, each touching the two beside it: an odd ring, which two colours cannot colour. With three there are thirty good colourings, and every state of lowest energy is one of them.\n#! expect works\n#! item colour choice\n#! plus this region has this colour\n#! minus this region does not have this colour\n#! check exactly 1 0-1-2 3-4-5 6-7-8 9-10-11 12-13-14\n#! check atmost 1 0-3 1-4 2-5 3-6 4-7 5-8 6-9 7-10 8-11 9-12 10-13 11-14 12-0 13-1 14-2\n#\n# Variable 3·r + c says whether region r has colour c: + it has, - it has not.\n# Each region has exactly one colour; two regions that touch share none.\nvars 15\nexactly 1 0 1 2\nexactly 1 3 4 5\nexactly 1 6 7 8\nexactly 1 9 10 11\nexactly 1 12 13 14\natmost 1 0 3\natmost 1 1 4\natmost 1 2 5\natmost 1 3 6\natmost 1 4 7\natmost 1 5 8\natmost 1 6 9\natmost 1 7 10\natmost 1 8 11\natmost 1 9 12\natmost 1 10 13\natmost 1 11 14\natmost 1 12 0\natmost 1 13 1\natmost 1 14 2\nsolve restarts=8 steps=40\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "+----++---+---+", "energy": -40, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 19200, "draws": 4680, "replay": "2230c9143dd17c965347a07caa14eb1f38f55ad1fe8ca69e490c5e34449cdf3d", "lowest": -40.0, "at_lowest": 30, "at_lowest_passing": 30 }, "reach": { "seeds": { "from": 1, "count": 100 }, "verdicts": { "solved": 100 } } }, { "name": "colour-six", "request": { "program": "#! title Three colours, six regions\n#! about The first version's colour-six: six regions, two rows of three, each touching the ones beside it and across from it, written with one variable for each region and colour. There are twelve good colourings. With eighteen variables there are too many arrangements to check them all here, so the problem's own check grades each answer; an answer that passes it is a state of lowest energy, since the constraints cost nothing there and something everywhere else.\n#! expect works\n#! item colour choice\n#! plus this region has this colour\n#! minus this region does not have this colour\n#! check exactly 1 0-1-2 3-4-5 6-7-8 9-10-11 12-13-14 15-16-17\n#! check atmost 1 0-3 1-4 2-5 3-6 4-7 5-8 0-6 1-7 2-8 9-12 10-13 11-14 12-15 13-16 14-17 9-15 10-16 11-17 0-9 1-10 2-11 3-12 4-13 5-14 6-15 7-16 8-17\n#\n# Variable 3·r + c says whether region r has colour c: + it has, - it has not.\n# Each region has exactly one colour; two regions that touch share none.\nvars 18\nexactly 1 0 1 2\nexactly 1 3 4 5\nexactly 1 6 7 8\nexactly 1 9 10 11\nexactly 1 12 13 14\nexactly 1 15 16 17\natmost 1 0 3\natmost 1 1 4\natmost 1 2 5\natmost 1 3 6\natmost 1 4 7\natmost 1 5 8\natmost 1 0 6\natmost 1 1 7\natmost 1 2 8\natmost 1 9 12\natmost 1 10 13\natmost 1 11 14\natmost 1 12 15\natmost 1 13 16\natmost 1 14 17\natmost 1 9 15\natmost 1 10 16\natmost 1 11 17\natmost 1 0 9\natmost 1 1 10\natmost 1 2 11\natmost 1 3 12\natmost 1 4 13\natmost 1 5 14\natmost 1 6 15\natmost 1 7 16\natmost 1 8 17\nsolve restarts=8 steps=40\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "-+-+----++----+-+-", "energy": -57, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 28800, "draws": 5616, "replay": "62d38a9a89f1e14e5e072e54151f99009f0e5cea0288955f650a2950ca4af567", "lowest": null, "at_lowest": null, "at_lowest_passing": null }, "reach": { "seeds": { "from": 1, "count": 100 }, "verdicts": { "solved": 100 } } }, { "name": "colour-four-all-touching", "request": { "program": "#! title Three colours, four regions that all touch: this fails\n#! about Four regions, each touching the other three, need four colours, and only three are given. No colouring passes, so every state of lowest energy fails the check: here a region is left with no colour, which costs less than two touching regions sharing one. The landscape is right; the problem has no answer.\n#! expect fails\n#! item colour choice\n#! plus this region has this colour\n#! minus this region does not have this colour\n#! check exactly 1 0-1-2 3-4-5 6-7-8 9-10-11\n#! check atmost 1 0-3 1-4 2-5 0-6 1-7 2-8 0-9 1-10 2-11 3-6 4-7 5-8 3-9 4-10 5-11 6-9 7-10 8-11\n#\n# Variable 3·r + c says whether region r has colour c: + it has, - it has not.\n# Each region has exactly one colour; two regions that touch share none.\nvars 12\nexactly 1 0 1 2\nexactly 1 3 4 5\nexactly 1 6 7 8\nexactly 1 9 10 11\natmost 1 0 3\natmost 1 1 4\natmost 1 2 5\natmost 1 0 6\natmost 1 1 7\natmost 1 2 8\natmost 1 0 9\natmost 1 1 10\natmost 1 2 11\natmost 1 3 6\natmost 1 4 7\natmost 1 5 8\natmost 1 3 9\natmost 1 4 10\natmost 1 5 11\natmost 1 6 9\natmost 1 7 10\natmost 1 8 11\nsolve restarts=8 steps=40\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "-+---+---+--", "energy": -36, "verdict": "failed", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 19200, "draws": 3744, "replay": "96461f11d154d04dbc6a436aca6dc39fc0ba831b0b5191ad31249ec0a0ac4ff0", "lowest": -36.0, "at_lowest": 24, "at_lowest_passing": 0 }, "reach": { "seeds": { "from": 1, "count": 100 }, "verdicts": { "failed": 100 } } }, { "name": "assign-3x3", "request": { "program": "#! title Three workers, three jobs\n#! about A 3×3 grid: row r is a worker, column c a job, and + means worker r takes job c. Each row and each column holds exactly one +, every other cell -. The first version could not write this above 2×2; here each cell takes only + and -, and every state of lowest energy is one of the six assignments.\n#! expect works\n#! item cell\n#! plus chosen\n#! minus not chosen\n#! check exactly 1 0-1-2 3-4-5 6-7-8 0-3-6 1-4-7 2-5-8\n#\n# Variable 3·r + c is the cell of row r and column c: + chosen, - not.\nvars 9\nexactly 1 0 1 2\nexactly 1 3 4 5\nexactly 1 6 7 8\nexactly 1 0 3 6\nexactly 1 1 4 7\nexactly 1 2 5 8\nsolve restarts=8 steps=40\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "--+-+-+--", "energy": -21, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 11520, "draws": 2808, "replay": "b2f31444d0854232ada08db77519719ce458838bea16e6ad05490f4eea1af149", "lowest": -21.0, "at_lowest": 6, "at_lowest_passing": 6 }, "reach": { "seeds": { "from": 1, "count": 100 }, "verdicts": { "solved": 100 } } }, { "name": "assign-4x4", "request": { "program": "#! title Four workers, four jobs\n#! about The same on a 4×4 grid: twenty-four assignments, and every state of lowest energy is one of them. Every one of the 3^16 arrangements is checked, which takes a few seconds.\n#! expect works\n#! item cell\n#! plus chosen\n#! minus not chosen\n#! check exactly 1 0-1-2-3 4-5-6-7 8-9-10-11 12-13-14-15 0-4-8-12 1-5-9-13 2-6-10-14 3-7-11-15\n#\n# Variable 4·r + c is the cell of row r and column c: + chosen, - not.\nvars 16\nexactly 1 0 1 2 3\nexactly 1 4 5 6 7\nexactly 1 8 9 10 11\nexactly 1 12 13 14 15\nexactly 1 0 4 8 12\nexactly 1 1 5 9 13\nexactly 1 2 6 10 14\nexactly 1 3 7 11 15\nsolve restarts=8 steps=40\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "+----+----+----+", "energy": -48, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 30720, "draws": 4992, "replay": "d4fd816609caafccccdbb89e46c007f952dd2001512498282b0ab5b4f63c8e05", "lowest": -48.0, "at_lowest": 24, "at_lowest_passing": 24 }, "reach": { "seeds": { "from": 1, "count": 100 }, "verdicts": { "solved": 100 } } }, { "name": "assign-5x5", "request": { "program": "#! title Five workers, five jobs\n#! about The same on a 5×5 grid: a hundred and twenty assignments. With twenty-five variables there are too many arrangements to check them all here, so the problem's own check grades each answer; an answer that passes it is a state of lowest energy, since the constraints cost nothing there and something everywhere else.\n#! expect works\n#! item cell\n#! plus chosen\n#! minus not chosen\n#! check exactly 1 0-1-2-3-4 5-6-7-8-9 10-11-12-13-14 15-16-17-18-19 20-21-22-23-24 0-5-10-15-20 1-6-11-16-21 2-7-12-17-22 3-8-13-18-23 4-9-14-19-24\n#\n# Variable 5·r + c is the cell of row r and column c: + chosen, - not.\nvars 25\nexactly 1 0 1 2 3 4\nexactly 1 5 6 7 8 9\nexactly 1 10 11 12 13 14\nexactly 1 15 16 17 18 19\nexactly 1 20 21 22 23 24\nexactly 1 0 5 10 15 20\nexactly 1 1 6 11 16 21\nexactly 1 2 7 12 17 22\nexactly 1 3 8 13 18 23\nexactly 1 4 9 14 19 24\nsolve restarts=8 steps=40\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "+-------+---+------+-+---", "energy": -95, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 64000, "draws": 7800, "replay": "25ab2178f5975f8eac9d47b955bd6673f841a79f3bbe8b5be83272e85a4a92a1", "lowest": null, "at_lowest": null, "at_lowest_passing": null }, "reach": { "seeds": { "from": 1, "count": 100 }, "verdicts": { "solved": 100 } } }, { "name": "two-in-each-row-and-column", "request": { "program": "#! title Two in each row and column\n#! about A cardinality constraint: a 4×4 grid in which every row and every column holds exactly two +. There are ninety such grids, and every state of lowest energy is one of them.\n#! expect works\n#! item cell\n#! plus chosen\n#! minus not chosen\n#! check exactly 2 0-1-2-3 4-5-6-7 8-9-10-11 12-13-14-15 0-4-8-12 1-5-9-13 2-6-10-14 3-7-11-15\n#\n# Variable 4·r + c is the cell of row r and column c: + chosen, - not.\nvars 16\nexactly 2 0 1 2 3\nexactly 2 4 5 6 7\nexactly 2 8 9 10 11\nexactly 2 12 13 14 15\nexactly 2 0 4 8 12\nexactly 2 1 5 9 13\nexactly 2 2 6 10 14\nexactly 2 3 7 11 15\nsolve restarts=8 steps=40\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "++--+-+---++-+-+", "energy": -32, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 30720, "draws": 4992, "replay": "6335d451719d82acde9d610aaca6dee93c7fd0bcd037ed964c339260cac3ddd3", "lowest": -32.0, "at_lowest": 90, "at_lowest_passing": 90 }, "reach": { "seeds": { "from": 1, "count": 100 }, "verdicts": { "solved": 100 } } }, { "name": "four-queens", "request": { "program": "#! title Four queens\n#! about Queens on a 4×4 board: no two in a row, a column or a diagonal, written as at most one + in each, and each queen placed worth 1, so the most queens that can be placed is the aim. Four is the most, in two ways, and every state of lowest energy is one of them. The check asks for one queen in each row too.\n#! expect works\n#! item square\n#! plus a queen\n#! minus empty\n#! check atmost 1 0-1-2-3 4-5-6-7 8-9-10-11 12-13-14-15 0-4-8-12 1-5-9-13 2-6-10-14 3-7-11-15 2-7 1-6-11 0-5-10-15 4-9-14 8-13 1-4 2-5-8 3-6-9-12 7-10-13 11-14\n#! check exactly 1 0-1-2-3 4-5-6-7 8-9-10-11 12-13-14-15\n#\n# Variable 4·r + c is the square of row r and column c: + a queen, - empty.\n# No two queens share a row, a column or a diagonal, and each queen placed is worth 1.\nvars 16\natmost 1 0 1 2 3\natmost 1 4 5 6 7\natmost 1 8 9 10 11\natmost 1 12 13 14 15\natmost 1 0 4 8 12\natmost 1 1 5 9 13\natmost 1 2 6 10 14\natmost 1 3 7 11 15\natmost 1 2 7\natmost 1 1 6 11\natmost 1 0 5 10 15\natmost 1 4 9 14\natmost 1 8 13\natmost 1 1 4\natmost 1 2 5 8\natmost 1 3 6 9 12\natmost 1 7 10 13\natmost 1 11 14\nlean 0 +\nlean 1 +\nlean 2 +\nlean 3 +\nlean 4 +\nlean 5 +\nlean 6 +\nlean 7 +\nlean 8 +\nlean 9 +\nlean 10 +\nlean 11 +\nlean 12 +\nlean 13 +\nlean 14 +\nlean 15 +\nsolve restarts=8 steps=40\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "--+-+------+-+--", "energy": -84, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 48640, "draws": 4992, "replay": "daf4ae75ab5c7edc953e90843db7e1716c8300189cd512d9120587bf61736832", "lowest": -84.0, "at_lowest": 2, "at_lowest_passing": 2 }, "reach": { "seeds": { "from": 1, "count": 100 }, "verdicts": { "solved": 100 } } }, { "name": "assign-3x3-settled", "request": { "program": "#! title Three workers, three jobs, deterministic: this fails\n#! about The 3×3 assignment at temperature 0. Every cell starts at 0 and takes the sign of its field: all -, then all +, then all - again. It never comes to rest. Constraint problems need the temperature, in this version as in the first.\n#! expect fails\n#! item cell\n#! plus chosen\n#! minus not chosen\n#! check exactly 1 0-1-2 3-4-5 6-7-8 0-3-6 1-4-7 2-5-8\n#\n# Variable 3·r + c is the cell of row r and column c: + chosen, - not.\nvars 9\nexactly 1 0 1 2\nexactly 1 3 4 5\nexactly 1 6 7 8\nexactly 1 0 3 6\nexactly 1 1 4 7\nexactly 1 2 5 8\nminimize\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "---------", "energy": -9, "verdict": "failed", "mode": "settle", "restarts": 1, "sweeps": 60, "accumulates": 108, "draws": 0, "replay": "655f874220d4836c6f8c4d2ab3187489f084f5b18d450b923e44f2614e675ce8", "lowest": -21.0, "at_lowest": 6, "at_lowest_passing": 6 }, "reach": { "seeds": { "from": 1, "count": 100 }, "verdicts": { "failed": 100 } } }, { "name": "a-cost-for-one-variable", "request": { "program": "vars 3\ncost 1\ncost 0 -1\nagree 0 1\noppose 1 2\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "--0", "energy": -1, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 1280, "draws": 936, "replay": "687bf0bb648355c03e388ba939349520486d05986b7c0c0cbae1688c9226a6ca", "lowest": -1.0, "at_lowest": 6, "at_lowest_passing": null } }, { "name": "every-cost-below-0", "request": { "program": "vars 4\ncost -2\nagree 0 1\noppose 1 2\nagree 2 3\nminimize\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "++++", "energy": -9, "verdict": "missed", "mode": "settle", "restarts": 1, "sweeps": 60, "accumulates": 12, "draws": 0, "replay": "a872f71a6be5dc5ed29cbb7b17471c1899e318e420c03183ed6a50b54c7b13c8", "lowest": -11.0, "at_lowest": 2, "at_lowest_passing": null } }, { "name": "exactly-none", "request": { "program": "vars 3\nexactly 0 0 1 2\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "---", "energy": -9, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 1920, "draws": 936, "replay": "69cace0bf73f72f2005fefa1ca969f4a61613db0c951e08b4f445b10581cd8af", "lowest": -9.0, "at_lowest": 1, "at_lowest_passing": null } }, { "name": "exactly-all", "request": { "program": "vars 3\nexactly 3 0 1 2\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "+++", "energy": -9, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 1920, "draws": 936, "replay": "32a51122b79330174d1e0d7448410121ad36c61752411cf215607a1d57abca82", "lowest": -9.0, "at_lowest": 1, "at_lowest_passing": null } }, { "name": "a-field-beside-a-constraint", "request": { "program": "vars 3\nexactly 1 0 1 2\nlean 2 +\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "--+", "energy": -6, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 1920, "draws": 936, "replay": "3819089689c1f288186b2afd768f870c68a15d0e9b25f77a70c77246066c21fe", "lowest": -6.0, "at_lowest": 1, "at_lowest_passing": null } }, { "name": "a-constrained-variable-s-own-cost", "request": { "program": "vars 3\ncost 0 -5\nexactly 1 0 1 2\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "--+", "energy": -9, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 40, "accumulates": 1920, "draws": 936, "replay": "311bdeacb07290875317a35912ad1c858de0846f5f31d07379a7c2d3895b4758", "lowest": -9.0, "at_lowest": 3, "at_lowest_passing": null } }, { "name": "the-program-s-cost-below-0-in-a-constraint", "request": { "program": "vars 3\ncost -4\nexactly 1 0 1 2\nminimize\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "---", "energy": -12, "verdict": "failed", "mode": "settle", "restarts": 1, "sweeps": 60, "accumulates": 18, "draws": 0, "replay": "6a119132256d1bfbd671e904a8d2a54d4bfd65af8ef22a946b6a782c09d1685e", "lowest": -14.0, "at_lowest": 3, "at_lowest_passing": null } }, { "name": "a-pin-beside-a-constraint", "request": { "program": "vars 4\nexactly 1 0 1 2\nagree 2 3\npin 3 +\ncost 3 -2\nminimize\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "---+", "energy": -11, "verdict": "failed", "mode": "settle", "restarts": 1, "sweeps": 60, "accumulates": 24, "draws": 0, "replay": "56cf03c4747cbf41d06268e74fd4a3646d84e0913018368f0f7ab44e3f01e87e", "lowest": -15.0, "at_lowest": 1, "at_lowest_passing": null } }, { "name": "a-free-variable-whose-cost-is-below-0", "request": { "program": "vars 2\ncost 1 -1\nfield 0 1\nminimize\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "state": "++", "energy": -2, "verdict": "solved", "mode": "settle", "restarts": 1, "sweeps": 60, "accumulates": 0, "draws": 0, "replay": "73bb84fec6d820e66856a6fdc74cc748dab9ff473cccaaa7d455fbaeac18e684", "lowest": -2.0, "at_lowest": 2, "at_lowest_passing": null } }, { "name": "a-settle-above-0", "request": { "program": "#! title Three workers, three jobs, deterministic: this fails\n#! about The 3×3 assignment at temperature 0. Every cell starts at 0 and takes the sign of its field: all -, then all +, then all - again. It never comes to rest. Constraint problems need the temperature, in this version as in the first.\n#! expect fails\n#! item cell\n#! plus chosen\n#! minus not chosen\n#! check exactly 1 0-1-2 3-4-5 6-7-8 0-3-6 1-4-7 2-5-8\n#\n# Variable 3·r + c is the cell of row r and column c: + chosen, - not.\nvars 9\nexactly 1 0 1 2\nexactly 1 3 4 5\nexactly 1 6 7 8\nexactly 1 0 3 6\nexactly 1 1 4 7\nexactly 1 2 5 8\nminimize\n", "seed": "1", "protocol": "wai.quantum.landscape/2", "temperature": "0.5" }, "expect": { "state": "-+-+----+", "energy": -21, "verdict": "solved", "mode": "sample", "restarts": 8, "sweeps": 60, "accumulates": 17280, "draws": 4248, "replay": "9497db335fe018bde1b97481ed8c6124b825b8616b115c8cefa0c7d233c58c16", "lowest": -21.0, "at_lowest": 6, "at_lowest_passing": 6 } }, { "name": "atmost-two", "request": { "program": "vars 3\natmost 2 0 1 2\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 2: `atmost` takes 1: at most K of a group for K above 1 cannot be written with couplings of one sign and no other variables, since an energy of pairs over a group's count is 0 at no more than two counts.", "line": 2 } }, { "name": "a-constrained-variable-with-a-cost-of-0", "request": { "program": "vars 3\ncost 1 0\nexactly 1 0 1 2\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 2: Variable 1 is in the constraint on line 3, which takes only + and −: its own cost must be below 0, not 0.", "line": 2 } }, { "name": "a-pair-in-two-constraints", "request": { "program": "vars 3\nexactly 1 0 1 2\natmost 1 0 1\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 3: Variables 0 and 1 are already joined by the constraint on line 2, and a pair holds one coupling of ±1.", "line": 3 } }, { "name": "a-constraint-over-a-coupled-pair", "request": { "program": "vars 3\nagree 0 1\nexactly 1 0 1 2\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 3: Variables 0 and 1 are already coupled on line 2, and a pair holds one coupling of ±1.", "line": 3 } }, { "name": "a-coupling-over-a-constraint", "request": { "program": "vars 3\nexactly 1 0 1 2\noppose 0 2\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 3: Variables 0 and 2 are joined by the constraint on line 2, and a pair holds one coupling of ±1.", "line": 3 } }, { "name": "a-constraint-of-one", "request": { "program": "vars 3\nexactly 1 0\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 2: `exactly` takes a count and two or more variables, like `exactly 1 0 1 2`.", "line": 2 } }, { "name": "a-variable-named-twice", "request": { "program": "vars 3\nexactly 1 0 1 0\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 2: Variable 0 is named twice in this `exactly`.", "line": 2 } }, { "name": "more-than-a-group-holds", "request": { "program": "vars 3\nexactly 4 0 1 2\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 2: `exactly 4` of 3 variables cannot hold.", "line": 2 } }, { "name": "weight-beside-a-constraint", "request": { "program": "vars 3\nexactly 1 0 1 2\nweight 0 1 2.5\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 3: A program uses `weight`, or a constraint, a variable's own cost and a cost below 0, and not both: `weight` goes through quantisation, which has one cost of 0 or more.", "line": 3 } }, { "name": "weight-beside-a-cost-below-0", "request": { "program": "vars 2\ncost -1\nweight 0 1 2.5\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 3: A program uses `weight`, or a constraint, a variable's own cost and a cost below 0, and not both: `weight` goes through quantisation, which has one cost of 0 or more.", "line": 3 } }, { "name": "a-pin-in-a-constraint", "request": { "program": "vars 3\npin 0 +\nexactly 1 0 1 2\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 3: Variable 0 is pinned on line 2, which this `exactly` contradicts.", "line": 3 } }, { "name": "a-cost-too-large", "request": { "program": "vars 1\ncost 0 -1099511627777\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 2: That `cost` is too large to run here.", "line": 2 } }, { "name": "a-check-that-does-not-fit", "request": { "program": "#! check exactly 1 0-1-9\nvars 3\nexactly 1 0 1 2\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "A `#! check` line does not fit this program's 3 variables.", "line": null } }, { "name": "a-misspelt-constraint", "request": { "program": "vars 3\nexacty 1 0 1 2\nsolve\n", "seed": "1", "protocol": "wai.quantum.landscape/2" }, "expect": { "refused": "Line 2: `exacty` is not a statement epuML knows. Did you mean `exactly`?", "line": 2 } }, { "name": "a-protocol-it-does-not-read", "request": { "program": "vars 1\nsolve\n", "seed": "1", "protocol": "landscape/3" }, "expect": { "refused": "This reads wai.quantum.landscape/1 and wai.quantum.landscape/2, not \"landscape/3\".", "line": null } } ] }