{ "experiment": "sha256_local_collision_9step", "timestamp_utc": "2026-11-01T06:07:10+00:00", "command": "experiments/reduced_round_sha256/local_collision.py --seed 2 --n 100000 --sat-bits 31,0 --sat-timeout 900 --out results/reduced_round_sha256/local_collision_bits31_0_seed2.json", "cwd": "/Users/simon-pierreboucher/Desktop/UQO/Recherche/Recherche-UQO/mathematiques/beyond-square-root-barrier", "seed": 2, "host": { "hostname": "MacBookPro-de-simon-pierre-2.local", "os": "Darwin 27.0.0 (27.0)", "machine": "arm64", "python": "3.12.13", "cpu": "Apple M5 Max", "cores": 18, "ram_gb": 48.0 }, "software": { "numpy": "2.5.4", "scipy": "1.18.1", "sympy": "1.14.0", "gmpy2": "2.3.2", "z3": "5.3.3", "pysat": "1.9.dev17", "ecdsa": "0.19.2", "coincurve": "21.0.0" }, "params": { "n_per_bit": 100000, "start_step": 0, "sat_bits": [ 31, 0 ], "sat_timeout_s": 900.0, "model": "GH03 structure, absorbing Boolean functions" }, "measurements": { "linear_model": { "0": { "cancels_after_9_steps": true, "pattern_hex": [ "00000001", "44280480", "850a2130", "00000000", "00000001", "44280480", "00000000", "00000000", "00000001" ], "register_difference_trajectory_hex": [ [ "00000001", "00000000", "00000000", "00000000", "00000001", "00000000", "00000000", "00000000" ], [ "00000000", "00000001", "00000000", "00000000", "40080400", "00000001", "00000000", "00000000" ], [ "00000000", "00000000", "00000001", "00000000", "00000000", "40080400", "00000001", "00000000" ], [ "00000000", "00000000", "00000000", "00000001", "00000000", "00000000", "40080400", "00000001" ], [ "00000000", "00000000", "00000000", "00000000", "00000001", "00000000", "00000000", "40080400" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000001", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000001", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000001" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "1": { "cancels_after_9_steps": true, "pattern_hex": [ "00000002", "88500900", "0a144261", "00000000", "00000002", "88500900", "00000000", "00000000", "00000002" ], "register_difference_trajectory_hex": [ [ "00000002", "00000000", "00000000", "00000000", "00000002", "00000000", "00000000", "00000000" ], [ "00000000", "00000002", "00000000", "00000000", "80100800", "00000002", "00000000", "00000000" ], [ "00000000", "00000000", "00000002", "00000000", "00000000", "80100800", "00000002", "00000000" ], [ "00000000", "00000000", "00000000", "00000002", "00000000", "00000000", "80100800", "00000002" ], [ "00000000", "00000000", "00000000", "00000000", "00000002", "00000000", "00000000", "80100800" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000002", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000002", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000002" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "2": { "cancels_after_9_steps": true, "pattern_hex": [ "00000004", "10a01201", "142884c2", "00000000", "00000004", "10a01201", "00000000", "00000000", "00000004" ], "register_difference_trajectory_hex": [ [ "00000004", "00000000", "00000000", "00000000", "00000004", "00000000", "00000000", "00000000" ], [ "00000000", "00000004", "00000000", "00000000", "00201001", "00000004", "00000000", "00000000" ], [ "00000000", "00000000", "00000004", "00000000", "00000000", "00201001", "00000004", "00000000" ], [ "00000000", "00000000", "00000000", "00000004", "00000000", "00000000", "00201001", "00000004" ], [ "00000000", "00000000", "00000000", "00000000", "00000004", "00000000", "00000000", "00201001" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000004", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000004", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000004" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "3": { "cancels_after_9_steps": true, "pattern_hex": [ "00000008", "21402402", "28510984", "00000000", "00000008", "21402402", "00000000", "00000000", "00000008" ], "register_difference_trajectory_hex": [ [ "00000008", "00000000", "00000000", "00000000", "00000008", "00000000", "00000000", "00000000" ], [ "00000000", "00000008", "00000000", "00000000", "00402002", "00000008", "00000000", "00000000" ], [ "00000000", "00000000", "00000008", "00000000", "00000000", "00402002", "00000008", "00000000" ], [ "00000000", "00000000", "00000000", "00000008", "00000000", "00000000", "00402002", "00000008" ], [ "00000000", "00000000", "00000000", "00000000", "00000008", "00000000", "00000000", "00402002" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000008", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000008", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000008" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "4": { "cancels_after_9_steps": true, "pattern_hex": [ "00000010", "42804804", "50a21308", "00000000", "00000010", "42804804", "00000000", "00000000", "00000010" ], "register_difference_trajectory_hex": [ [ "00000010", "00000000", "00000000", "00000000", "00000010", "00000000", "00000000", "00000000" ], [ "00000000", "00000010", "00000000", "00000000", "00804004", "00000010", "00000000", "00000000" ], [ "00000000", "00000000", "00000010", "00000000", "00000000", "00804004", "00000010", "00000000" ], [ "00000000", "00000000", "00000000", "00000010", "00000000", "00000000", "00804004", "00000010" ], [ "00000000", "00000000", "00000000", "00000000", "00000010", "00000000", "00000000", "00804004" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000010", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000010", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000010" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "5": { "cancels_after_9_steps": true, "pattern_hex": [ "00000020", "85009008", "a1442610", "00000000", "00000020", "85009008", "00000000", "00000000", "00000020" ], "register_difference_trajectory_hex": [ [ "00000020", "00000000", "00000000", "00000000", "00000020", "00000000", "00000000", "00000000" ], [ "00000000", "00000020", "00000000", "00000000", "01008008", "00000020", "00000000", "00000000" ], [ "00000000", "00000000", "00000020", "00000000", "00000000", "01008008", "00000020", "00000000" ], [ "00000000", "00000000", "00000000", "00000020", "00000000", "00000000", "01008008", "00000020" ], [ "00000000", "00000000", "00000000", "00000000", "00000020", "00000000", "00000000", "01008008" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000020", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000020", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000020" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "6": { "cancels_after_9_steps": true, "pattern_hex": [ "00000040", "0a012011", "42884c21", "00000000", "00000040", "0a012011", "00000000", "00000000", "00000040" ], "register_difference_trajectory_hex": [ [ "00000040", "00000000", "00000000", "00000000", "00000040", "00000000", "00000000", "00000000" ], [ "00000000", "00000040", "00000000", "00000000", "02010010", "00000040", "00000000", "00000000" ], [ "00000000", "00000000", "00000040", "00000000", "00000000", "02010010", "00000040", "00000000" ], [ "00000000", "00000000", "00000000", "00000040", "00000000", "00000000", "02010010", "00000040" ], [ "00000000", "00000000", "00000000", "00000000", "00000040", "00000000", "00000000", "02010010" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000040", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000040", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000040" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "7": { "cancels_after_9_steps": true, "pattern_hex": [ "00000080", "14024022", "85109842", "00000000", "00000080", "14024022", "00000000", "00000000", "00000080" ], "register_difference_trajectory_hex": [ [ "00000080", "00000000", "00000000", "00000000", "00000080", "00000000", "00000000", "00000000" ], [ "00000000", "00000080", "00000000", "00000000", "04020020", "00000080", "00000000", "00000000" ], [ "00000000", "00000000", "00000080", "00000000", "00000000", "04020020", "00000080", "00000000" ], [ "00000000", "00000000", "00000000", "00000080", "00000000", "00000000", "04020020", "00000080" ], [ "00000000", "00000000", "00000000", "00000000", "00000080", "00000000", "00000000", "04020020" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000080", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000080", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000080" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "8": { "cancels_after_9_steps": true, "pattern_hex": [ "00000100", "28048044", "0a213085", "00000000", "00000100", "28048044", "00000000", "00000000", "00000100" ], "register_difference_trajectory_hex": [ [ "00000100", "00000000", "00000000", "00000000", "00000100", "00000000", "00000000", "00000000" ], [ "00000000", "00000100", "00000000", "00000000", "08040040", "00000100", "00000000", "00000000" ], [ "00000000", "00000000", "00000100", "00000000", "00000000", "08040040", "00000100", "00000000" ], [ "00000000", "00000000", "00000000", "00000100", "00000000", "00000000", "08040040", "00000100" ], [ "00000000", "00000000", "00000000", "00000000", "00000100", "00000000", "00000000", "08040040" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000100", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000100", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000100" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "9": { "cancels_after_9_steps": true, "pattern_hex": [ "00000200", "50090088", "1442610a", "00000000", "00000200", "50090088", "00000000", "00000000", "00000200" ], "register_difference_trajectory_hex": [ [ "00000200", "00000000", "00000000", "00000000", "00000200", "00000000", "00000000", "00000000" ], [ "00000000", "00000200", "00000000", "00000000", "10080080", "00000200", "00000000", "00000000" ], [ "00000000", "00000000", "00000200", "00000000", "00000000", "10080080", "00000200", "00000000" ], [ "00000000", "00000000", "00000000", "00000200", "00000000", "00000000", "10080080", "00000200" ], [ "00000000", "00000000", "00000000", "00000000", "00000200", "00000000", "00000000", "10080080" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000200", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000200", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000200" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "10": { "cancels_after_9_steps": true, "pattern_hex": [ "00000400", "a0120110", "2884c214", "00000000", "00000400", "a0120110", "00000000", "00000000", "00000400" ], "register_difference_trajectory_hex": [ [ "00000400", "00000000", "00000000", "00000000", "00000400", "00000000", "00000000", "00000000" ], [ "00000000", "00000400", "00000000", "00000000", "20100100", "00000400", "00000000", "00000000" ], [ "00000000", "00000000", "00000400", "00000000", "00000000", "20100100", "00000400", "00000000" ], [ "00000000", "00000000", "00000000", "00000400", "00000000", "00000000", "20100100", "00000400" ], [ "00000000", "00000000", "00000000", "00000000", "00000400", "00000000", "00000000", "20100100" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000400", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000400", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000400" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "11": { "cancels_after_9_steps": true, "pattern_hex": [ "00000800", "40240221", "51098428", "00000000", "00000800", "40240221", "00000000", "00000000", "00000800" ], "register_difference_trajectory_hex": [ [ "00000800", "00000000", "00000000", "00000000", "00000800", "00000000", "00000000", "00000000" ], [ "00000000", "00000800", "00000000", "00000000", "40200200", "00000800", "00000000", "00000000" ], [ "00000000", "00000000", "00000800", "00000000", "00000000", "40200200", "00000800", "00000000" ], [ "00000000", "00000000", "00000000", "00000800", "00000000", "00000000", "40200200", "00000800" ], [ "00000000", "00000000", "00000000", "00000000", "00000800", "00000000", "00000000", "40200200" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000800", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000800", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000800" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "12": { "cancels_after_9_steps": true, "pattern_hex": [ "00001000", "80480442", "a2130850", "00000000", "00001000", "80480442", "00000000", "00000000", "00001000" ], "register_difference_trajectory_hex": [ [ "00001000", "00000000", "00000000", "00000000", "00001000", "00000000", "00000000", "00000000" ], [ "00000000", "00001000", "00000000", "00000000", "80400400", "00001000", "00000000", "00000000" ], [ "00000000", "00000000", "00001000", "00000000", "00000000", "80400400", "00001000", "00000000" ], [ "00000000", "00000000", "00000000", "00001000", "00000000", "00000000", "80400400", "00001000" ], [ "00000000", "00000000", "00000000", "00000000", "00001000", "00000000", "00000000", "80400400" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00001000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00001000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00001000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "13": { "cancels_after_9_steps": true, "pattern_hex": [ "00002000", "00900885", "442610a1", "00000000", "00002000", "00900885", "00000000", "00000000", "00002000" ], "register_difference_trajectory_hex": [ [ "00002000", "00000000", "00000000", "00000000", "00002000", "00000000", "00000000", "00000000" ], [ "00000000", "00002000", "00000000", "00000000", "00800801", "00002000", "00000000", "00000000" ], [ "00000000", "00000000", "00002000", "00000000", "00000000", "00800801", "00002000", "00000000" ], [ "00000000", "00000000", "00000000", "00002000", "00000000", "00000000", "00800801", "00002000" ], [ "00000000", "00000000", "00000000", "00000000", "00002000", "00000000", "00000000", "00800801" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00002000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00002000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00002000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "14": { "cancels_after_9_steps": true, "pattern_hex": [ "00004000", "0120110a", "884c2142", "00000000", "00004000", "0120110a", "00000000", "00000000", "00004000" ], "register_difference_trajectory_hex": [ [ "00004000", "00000000", "00000000", "00000000", "00004000", "00000000", "00000000", "00000000" ], [ "00000000", "00004000", "00000000", "00000000", "01001002", "00004000", "00000000", "00000000" ], [ "00000000", "00000000", "00004000", "00000000", "00000000", "01001002", "00004000", "00000000" ], [ "00000000", "00000000", "00000000", "00004000", "00000000", "00000000", "01001002", "00004000" ], [ "00000000", "00000000", "00000000", "00000000", "00004000", "00000000", "00000000", "01001002" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00004000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00004000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00004000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "15": { "cancels_after_9_steps": true, "pattern_hex": [ "00008000", "02402214", "10984285", "00000000", "00008000", "02402214", "00000000", "00000000", "00008000" ], "register_difference_trajectory_hex": [ [ "00008000", "00000000", "00000000", "00000000", "00008000", "00000000", "00000000", "00000000" ], [ "00000000", "00008000", "00000000", "00000000", "02002004", "00008000", "00000000", "00000000" ], [ "00000000", "00000000", "00008000", "00000000", "00000000", "02002004", "00008000", "00000000" ], [ "00000000", "00000000", "00000000", "00008000", "00000000", "00000000", "02002004", "00008000" ], [ "00000000", "00000000", "00000000", "00000000", "00008000", "00000000", "00000000", "02002004" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00008000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00008000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00008000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "16": { "cancels_after_9_steps": true, "pattern_hex": [ "00010000", "04804428", "2130850a", "00000000", "00010000", "04804428", "00000000", "00000000", "00010000" ], "register_difference_trajectory_hex": [ [ "00010000", "00000000", "00000000", "00000000", "00010000", "00000000", "00000000", "00000000" ], [ "00000000", "00010000", "00000000", "00000000", "04004008", "00010000", "00000000", "00000000" ], [ "00000000", "00000000", "00010000", "00000000", "00000000", "04004008", "00010000", "00000000" ], [ "00000000", "00000000", "00000000", "00010000", "00000000", "00000000", "04004008", "00010000" ], [ "00000000", "00000000", "00000000", "00000000", "00010000", "00000000", "00000000", "04004008" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00010000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00010000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00010000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "17": { "cancels_after_9_steps": true, "pattern_hex": [ "00020000", "09008850", "42610a14", "00000000", "00020000", "09008850", "00000000", "00000000", "00020000" ], "register_difference_trajectory_hex": [ [ "00020000", "00000000", "00000000", "00000000", "00020000", "00000000", "00000000", "00000000" ], [ "00000000", "00020000", "00000000", "00000000", "08008010", "00020000", "00000000", "00000000" ], [ "00000000", "00000000", "00020000", "00000000", "00000000", "08008010", "00020000", "00000000" ], [ "00000000", "00000000", "00000000", "00020000", "00000000", "00000000", "08008010", "00020000" ], [ "00000000", "00000000", "00000000", "00000000", "00020000", "00000000", "00000000", "08008010" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00020000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00020000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00020000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "18": { "cancels_after_9_steps": true, "pattern_hex": [ "00040000", "120110a0", "84c21428", "00000000", "00040000", "120110a0", "00000000", "00000000", "00040000" ], "register_difference_trajectory_hex": [ [ "00040000", "00000000", "00000000", "00000000", "00040000", "00000000", "00000000", "00000000" ], [ "00000000", "00040000", "00000000", "00000000", "10010020", "00040000", "00000000", "00000000" ], [ "00000000", "00000000", "00040000", "00000000", "00000000", "10010020", "00040000", "00000000" ], [ "00000000", "00000000", "00000000", "00040000", "00000000", "00000000", "10010020", "00040000" ], [ "00000000", "00000000", "00000000", "00000000", "00040000", "00000000", "00000000", "10010020" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00040000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00040000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00040000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "19": { "cancels_after_9_steps": true, "pattern_hex": [ "00080000", "24022140", "09842851", "00000000", "00080000", "24022140", "00000000", "00000000", "00080000" ], "register_difference_trajectory_hex": [ [ "00080000", "00000000", "00000000", "00000000", "00080000", "00000000", "00000000", "00000000" ], [ "00000000", "00080000", "00000000", "00000000", "20020040", "00080000", "00000000", "00000000" ], [ "00000000", "00000000", "00080000", "00000000", "00000000", "20020040", "00080000", "00000000" ], [ "00000000", "00000000", "00000000", "00080000", "00000000", "00000000", "20020040", "00080000" ], [ "00000000", "00000000", "00000000", "00000000", "00080000", "00000000", "00000000", "20020040" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00080000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00080000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00080000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "20": { "cancels_after_9_steps": true, "pattern_hex": [ "00100000", "48044280", "130850a2", "00000000", "00100000", "48044280", "00000000", "00000000", "00100000" ], "register_difference_trajectory_hex": [ [ "00100000", "00000000", "00000000", "00000000", "00100000", "00000000", "00000000", "00000000" ], [ "00000000", "00100000", "00000000", "00000000", "40040080", "00100000", "00000000", "00000000" ], [ "00000000", "00000000", "00100000", "00000000", "00000000", "40040080", "00100000", "00000000" ], [ "00000000", "00000000", "00000000", "00100000", "00000000", "00000000", "40040080", "00100000" ], [ "00000000", "00000000", "00000000", "00000000", "00100000", "00000000", "00000000", "40040080" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00100000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00100000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00100000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "21": { "cancels_after_9_steps": true, "pattern_hex": [ "00200000", "90088500", "2610a144", "00000000", "00200000", "90088500", "00000000", "00000000", "00200000" ], "register_difference_trajectory_hex": [ [ "00200000", "00000000", "00000000", "00000000", "00200000", "00000000", "00000000", "00000000" ], [ "00000000", "00200000", "00000000", "00000000", "80080100", "00200000", "00000000", "00000000" ], [ "00000000", "00000000", "00200000", "00000000", "00000000", "80080100", "00200000", "00000000" ], [ "00000000", "00000000", "00000000", "00200000", "00000000", "00000000", "80080100", "00200000" ], [ "00000000", "00000000", "00000000", "00000000", "00200000", "00000000", "00000000", "80080100" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00200000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00200000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00200000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "22": { "cancels_after_9_steps": true, "pattern_hex": [ "00400000", "20110a01", "4c214288", "00000000", "00400000", "20110a01", "00000000", "00000000", "00400000" ], "register_difference_trajectory_hex": [ [ "00400000", "00000000", "00000000", "00000000", "00400000", "00000000", "00000000", "00000000" ], [ "00000000", "00400000", "00000000", "00000000", "00100201", "00400000", "00000000", "00000000" ], [ "00000000", "00000000", "00400000", "00000000", "00000000", "00100201", "00400000", "00000000" ], [ "00000000", "00000000", "00000000", "00400000", "00000000", "00000000", "00100201", "00400000" ], [ "00000000", "00000000", "00000000", "00000000", "00400000", "00000000", "00000000", "00100201" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00400000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00400000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00400000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "23": { "cancels_after_9_steps": true, "pattern_hex": [ "00800000", "40221402", "98428510", "00000000", "00800000", "40221402", "00000000", "00000000", "00800000" ], "register_difference_trajectory_hex": [ [ "00800000", "00000000", "00000000", "00000000", "00800000", "00000000", "00000000", "00000000" ], [ "00000000", "00800000", "00000000", "00000000", "00200402", "00800000", "00000000", "00000000" ], [ "00000000", "00000000", "00800000", "00000000", "00000000", "00200402", "00800000", "00000000" ], [ "00000000", "00000000", "00000000", "00800000", "00000000", "00000000", "00200402", "00800000" ], [ "00000000", "00000000", "00000000", "00000000", "00800000", "00000000", "00000000", "00200402" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00800000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00800000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00800000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "24": { "cancels_after_9_steps": true, "pattern_hex": [ "01000000", "80442804", "30850a21", "00000000", "01000000", "80442804", "00000000", "00000000", "01000000" ], "register_difference_trajectory_hex": [ [ "01000000", "00000000", "00000000", "00000000", "01000000", "00000000", "00000000", "00000000" ], [ "00000000", "01000000", "00000000", "00000000", "00400804", "01000000", "00000000", "00000000" ], [ "00000000", "00000000", "01000000", "00000000", "00000000", "00400804", "01000000", "00000000" ], [ "00000000", "00000000", "00000000", "01000000", "00000000", "00000000", "00400804", "01000000" ], [ "00000000", "00000000", "00000000", "00000000", "01000000", "00000000", "00000000", "00400804" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "01000000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "01000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "01000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "25": { "cancels_after_9_steps": true, "pattern_hex": [ "02000000", "00885009", "610a1442", "00000000", "02000000", "00885009", "00000000", "00000000", "02000000" ], "register_difference_trajectory_hex": [ [ "02000000", "00000000", "00000000", "00000000", "02000000", "00000000", "00000000", "00000000" ], [ "00000000", "02000000", "00000000", "00000000", "00801008", "02000000", "00000000", "00000000" ], [ "00000000", "00000000", "02000000", "00000000", "00000000", "00801008", "02000000", "00000000" ], [ "00000000", "00000000", "00000000", "02000000", "00000000", "00000000", "00801008", "02000000" ], [ "00000000", "00000000", "00000000", "00000000", "02000000", "00000000", "00000000", "00801008" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "02000000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "02000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "02000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "26": { "cancels_after_9_steps": true, "pattern_hex": [ "04000000", "0110a012", "c2142884", "00000000", "04000000", "0110a012", "00000000", "00000000", "04000000" ], "register_difference_trajectory_hex": [ [ "04000000", "00000000", "00000000", "00000000", "04000000", "00000000", "00000000", "00000000" ], [ "00000000", "04000000", "00000000", "00000000", "01002010", "04000000", "00000000", "00000000" ], [ "00000000", "00000000", "04000000", "00000000", "00000000", "01002010", "04000000", "00000000" ], [ "00000000", "00000000", "00000000", "04000000", "00000000", "00000000", "01002010", "04000000" ], [ "00000000", "00000000", "00000000", "00000000", "04000000", "00000000", "00000000", "01002010" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "04000000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "04000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "04000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "27": { "cancels_after_9_steps": true, "pattern_hex": [ "08000000", "02214024", "84285109", "00000000", "08000000", "02214024", "00000000", "00000000", "08000000" ], "register_difference_trajectory_hex": [ [ "08000000", "00000000", "00000000", "00000000", "08000000", "00000000", "00000000", "00000000" ], [ "00000000", "08000000", "00000000", "00000000", "02004020", "08000000", "00000000", "00000000" ], [ "00000000", "00000000", "08000000", "00000000", "00000000", "02004020", "08000000", "00000000" ], [ "00000000", "00000000", "00000000", "08000000", "00000000", "00000000", "02004020", "08000000" ], [ "00000000", "00000000", "00000000", "00000000", "08000000", "00000000", "00000000", "02004020" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "08000000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "08000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "08000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "28": { "cancels_after_9_steps": true, "pattern_hex": [ "10000000", "04428048", "0850a213", "00000000", "10000000", "04428048", "00000000", "00000000", "10000000" ], "register_difference_trajectory_hex": [ [ "10000000", "00000000", "00000000", "00000000", "10000000", "00000000", "00000000", "00000000" ], [ "00000000", "10000000", "00000000", "00000000", "04008040", "10000000", "00000000", "00000000" ], [ "00000000", "00000000", "10000000", "00000000", "00000000", "04008040", "10000000", "00000000" ], [ "00000000", "00000000", "00000000", "10000000", "00000000", "00000000", "04008040", "10000000" ], [ "00000000", "00000000", "00000000", "00000000", "10000000", "00000000", "00000000", "04008040" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "10000000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "10000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "10000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "29": { "cancels_after_9_steps": true, "pattern_hex": [ "20000000", "08850090", "10a14426", "00000000", "20000000", "08850090", "00000000", "00000000", "20000000" ], "register_difference_trajectory_hex": [ [ "20000000", "00000000", "00000000", "00000000", "20000000", "00000000", "00000000", "00000000" ], [ "00000000", "20000000", "00000000", "00000000", "08010080", "20000000", "00000000", "00000000" ], [ "00000000", "00000000", "20000000", "00000000", "00000000", "08010080", "20000000", "00000000" ], [ "00000000", "00000000", "00000000", "20000000", "00000000", "00000000", "08010080", "20000000" ], [ "00000000", "00000000", "00000000", "00000000", "20000000", "00000000", "00000000", "08010080" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "20000000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "20000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "20000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "30": { "cancels_after_9_steps": true, "pattern_hex": [ "40000000", "110a0120", "2142884c", "00000000", "40000000", "110a0120", "00000000", "00000000", "40000000" ], "register_difference_trajectory_hex": [ [ "40000000", "00000000", "00000000", "00000000", "40000000", "00000000", "00000000", "00000000" ], [ "00000000", "40000000", "00000000", "00000000", "10020100", "40000000", "00000000", "00000000" ], [ "00000000", "00000000", "40000000", "00000000", "00000000", "10020100", "40000000", "00000000" ], [ "00000000", "00000000", "00000000", "40000000", "00000000", "00000000", "10020100", "40000000" ], [ "00000000", "00000000", "00000000", "00000000", "40000000", "00000000", "00000000", "10020100" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "40000000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "40000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "40000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] }, "31": { "cancels_after_9_steps": true, "pattern_hex": [ "80000000", "22140240", "42851098", "00000000", "80000000", "22140240", "00000000", "00000000", "80000000" ], "register_difference_trajectory_hex": [ [ "80000000", "00000000", "00000000", "00000000", "80000000", "00000000", "00000000", "00000000" ], [ "00000000", "80000000", "00000000", "00000000", "20040200", "80000000", "00000000", "00000000" ], [ "00000000", "00000000", "80000000", "00000000", "00000000", "20040200", "80000000", "00000000" ], [ "00000000", "00000000", "00000000", "80000000", "00000000", "00000000", "20040200", "80000000" ], [ "00000000", "00000000", "00000000", "00000000", "80000000", "00000000", "00000000", "20040200" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "80000000", "00000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "80000000", "00000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "80000000" ], [ "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000", "00000000" ] ] } }, "linear_model_random_multibit_ok": true, "empirical": [ { "bit": 0, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25224, 14, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25224, 0.00014, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00000001", "44280480", "850a2130", "00000000", "00000001", "44280480", "00000000", "00000000", "00000001" ], "pattern_weight": 24 }, { "bit": 1, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25137, 51, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25137, 0.00051, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00000002", "88500900", "0a144261", "00000000", "00000002", "88500900", "00000000", "00000000", "00000002" ], "pattern_weight": 24 }, { "bit": 2, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 24900, 16, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.249, 0.00016, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00000004", "10a01201", "142884c2", "00000000", "00000004", "10a01201", "00000000", "00000000", "00000004" ], "pattern_weight": 24 }, { "bit": 3, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25218, 13, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25218, 0.00013, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00000008", "21402402", "28510984", "00000000", "00000008", "21402402", "00000000", "00000000", "00000008" ], "pattern_weight": 24 }, { "bit": 4, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25013, 9, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25013, 9e-05, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00000010", "42804804", "50a21308", "00000000", "00000010", "42804804", "00000000", "00000000", "00000010" ], "pattern_weight": 24 }, { "bit": 5, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25221, 19, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25221, 0.00019, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00000020", "85009008", "a1442610", "00000000", "00000020", "85009008", "00000000", "00000000", "00000020" ], "pattern_weight": 24 }, { "bit": 6, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25187, 11, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25187, 0.00011, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00000040", "0a012011", "42884c21", "00000000", "00000040", "0a012011", "00000000", "00000000", "00000040" ], "pattern_weight": 24 }, { "bit": 7, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 24932, 14, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.24932, 0.00014, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00000080", "14024022", "85109842", "00000000", "00000080", "14024022", "00000000", "00000000", "00000080" ], "pattern_weight": 24 }, { "bit": 8, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25104, 14, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25104, 0.00014, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00000100", "28048044", "0a213085", "00000000", "00000100", "28048044", "00000000", "00000000", "00000100" ], "pattern_weight": 24 }, { "bit": 9, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25140, 15, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.2514, 0.00015, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00000200", "50090088", "1442610a", "00000000", "00000200", "50090088", "00000000", "00000000", "00000200" ], "pattern_weight": 24 }, { "bit": 10, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25089, 20, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25089, 0.0002, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00000400", "a0120110", "2884c214", "00000000", "00000400", "a0120110", "00000000", "00000000", "00000400" ], "pattern_weight": 24 }, { "bit": 11, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25284, 11, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25284, 0.00011, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00000800", "40240221", "51098428", "00000000", "00000800", "40240221", "00000000", "00000000", "00000800" ], "pattern_weight": 24 }, { "bit": 12, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25222, 43, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25222, 0.00043, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00001000", "80480442", "a2130850", "00000000", "00001000", "80480442", "00000000", "00000000", "00001000" ], "pattern_weight": 24 }, { "bit": 13, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25019, 13, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25019, 0.00013, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00002000", "00900885", "442610a1", "00000000", "00002000", "00900885", "00000000", "00000000", "00002000" ], "pattern_weight": 24 }, { "bit": 14, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25010, 7, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.2501, 7e-05, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00004000", "0120110a", "884c2142", "00000000", "00004000", "0120110a", "00000000", "00000000", "00004000" ], "pattern_weight": 24 }, { "bit": 15, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25079, 13, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25079, 0.00013, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00008000", "02402214", "10984285", "00000000", "00008000", "02402214", "00000000", "00000000", "00008000" ], "pattern_weight": 24 }, { "bit": 16, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25053, 11, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25053, 0.00011, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00010000", "04804428", "2130850a", "00000000", "00010000", "04804428", "00000000", "00000000", "00010000" ], "pattern_weight": 24 }, { "bit": 17, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25124, 11, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25124, 0.00011, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00020000", "09008850", "42610a14", "00000000", "00020000", "09008850", "00000000", "00000000", "00020000" ], "pattern_weight": 24 }, { "bit": 18, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25073, 10, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25073, 0.0001, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00040000", "120110a0", "84c21428", "00000000", "00040000", "120110a0", "00000000", "00000000", "00040000" ], "pattern_weight": 24 }, { "bit": 19, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25058, 18, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25058, 0.00018, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00080000", "24022140", "09842851", "00000000", "00080000", "24022140", "00000000", "00000000", "00080000" ], "pattern_weight": 24 }, { "bit": 20, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 24978, 8, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.24978, 8e-05, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00100000", "48044280", "130850a2", "00000000", "00100000", "48044280", "00000000", "00000000", "00100000" ], "pattern_weight": 24 }, { "bit": 21, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25024, 45, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25024, 0.00045, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00200000", "90088500", "2610a144", "00000000", "00200000", "90088500", "00000000", "00000000", "00200000" ], "pattern_weight": 24 }, { "bit": 22, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 24884, 13, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.24884, 0.00013, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00400000", "20110a01", "4c214288", "00000000", "00400000", "20110a01", "00000000", "00000000", "00400000" ], "pattern_weight": 24 }, { "bit": 23, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25053, 6, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25053, 6e-05, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "00800000", "40221402", "98428510", "00000000", "00800000", "40221402", "00000000", "00000000", "00800000" ], "pattern_weight": 24 }, { "bit": 24, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 24949, 20, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.24949, 0.0002, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "01000000", "80442804", "30850a21", "00000000", "01000000", "80442804", "00000000", "00000000", "01000000" ], "pattern_weight": 24 }, { "bit": 25, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 24828, 14, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.24828, 0.00014, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "02000000", "00885009", "610a1442", "00000000", "02000000", "00885009", "00000000", "00000000", "02000000" ], "pattern_weight": 24 }, { "bit": 26, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25154, 8, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25154, 8e-05, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "04000000", "0110a012", "c2142884", "00000000", "04000000", "0110a012", "00000000", "00000000", "04000000" ], "pattern_weight": 24 }, { "bit": 27, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25138, 15, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25138, 0.00015, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "08000000", "02214024", "84285109", "00000000", "08000000", "02214024", "00000000", "00000000", "08000000" ], "pattern_weight": 24 }, { "bit": 28, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 25109, 8, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.25109, 8e-05, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "10000000", "04428048", "0850a213", "00000000", "10000000", "04428048", "00000000", "00000000", "10000000" ], "pattern_weight": 24 }, { "bit": 29, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 24848, 9, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.24848, 9e-05, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "20000000", "08850090", "10a14426", "00000000", "20000000", "08850090", "00000000", "00000000", "20000000" ], "pattern_weight": 24 }, { "bit": 30, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 24995, 17, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 0.24995, 0.00017, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "40000000", "110a0120", "2142884c", "00000000", "40000000", "110a0120", "00000000", "00000000", "40000000" ], "pattern_weight": 24 }, { "bit": 31, "n": 100000, "n_collisions": 0, "p_collision": 0.0, "p_upper95_rule_of_three": 3e-05, "survival_by_step": [ 100000, 49, 0, 0, 0, 0, 0, 0, 0 ], "survival_fraction_by_step": [ 1.0, 0.00049, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0, 0.0 ], "pattern_hex": [ "80000000", "22140240", "42851098", "00000000", "80000000", "22140240", "00000000", "00000000", "80000000" ], "pattern_weight": 24 } ], "sat": [ { "bit": 31, "n_vars": 15218, "n_clauses": 66208, "status": "sat", "wall_s": 9.043, "conflicts": 615822, "decisions": 3984334, "propagations": 48042457, "restarts": 18410, "solver_real_s": 9.04, "cadical_rss_mb": 83.59, "seed": 2, "state_hex": "63a6280055eafb0837bb7ed68348efce63c83c4b3855e5378f380b6c54925c92", "W_hex": [ "27d5e1a8", "56e2666b", "b9f1b974", "fca4a04e", "e717893a", "be2cad72", "885b3c2b", "ff8d1042", "d49f8b65" ], "W_prime_hex": [ "a7d5e1a8", "74f6642b", "fb74a9ec", "fca4a04e", "6717893a", "9c38af32", "885b3c2b", "ff8d1042", "549f8b65" ], "verified": true, "final_state_hex": "8f1a96925c3271723bbca3d3218fc8d94a088a33000394dda43988c207c2efe7" }, { "bit": 0, "n_vars": 15218, "n_clauses": 66208, "status": "sat", "wall_s": 52.215, "conflicts": 3270049, "decisions": 17031636, "propagations": 216029645, "restarts": 90977, "solver_real_s": 52.21, "cadical_rss_mb": 132.0, "seed": 2, "state_hex": "50548fe70405027d385ad0841d40748708ba4cc0511e70bc7c96b68608865021", "W_hex": [ "86840142", "882a7096", "94763fc7", "050d5ea0", "3945f5df", "522208c2", "d5394935", "396add95", "00000001" ], "W_prime_hex": [ "86840143", "cc027416", "117c1ef7", "050d5ea0", "3945f5de", "160a0c42", "d5394935", "396add95", "00000000" ], "verified": true, "final_state_hex": "ecd94463e1195afa82a0d5567d7d4f89f9735a5f020000003c0007ff05ac2000" } ], "pattern_formula": "(d, S0(d)^S1(d), S1(S0(d)), 0, d, S0(d)^S1(d), 0, 0, d)" }, "elapsed_s": 62.144, "op_stats": { "wall_s": 61.927, "peak_rss_mb": 64.8, "step_evaluations_real": 57600000 } }