52 lines
1.2 KiB
JSON
52 lines
1.2 KiB
JSON
{
|
|
"pattern": [
|
|
".#.#.",
|
|
"#####",
|
|
"#####",
|
|
".###.",
|
|
"..#.."
|
|
],
|
|
"seed48": 22428888508636,
|
|
"chunk_x": -5,
|
|
"chunk_z": -147,
|
|
"block_origin": [
|
|
-80,
|
|
-2352
|
|
],
|
|
"verified_rows": [
|
|
".#.#.",
|
|
"#####",
|
|
"#####",
|
|
".###.",
|
|
"..#.."
|
|
],
|
|
"verification": {
|
|
"method": "independent Python implementation of Java int overflow and Random.nextInt(10) rejection loop",
|
|
"verified_search_sample_count": 1000,
|
|
"verified_single_anchor_count": 1181,
|
|
"slime_cells": 16,
|
|
"non_slime_cells": 9
|
|
},
|
|
"search": {
|
|
"center": [
|
|
0,
|
|
0
|
|
],
|
|
"radius_chunks": 256,
|
|
"anchors": 131585,
|
|
"matches": 1456,
|
|
"scan_wall_ms": 2438.534811,
|
|
"elapsed_ms": 2619.994137,
|
|
"gpu": "NVIDIA GeForce RTX 3060 Laptop GPU",
|
|
"rejection_tail_included": false
|
|
},
|
|
"single_anchor": {
|
|
"matches": 1181,
|
|
"root_jobs": 405
|
|
},
|
|
"source_sha256": {
|
|
"bench/slime_bench.cu": "3c70cbe2e5babc3e737199fb5e62b78ea9c5daadc0020af77292c2d59516259e",
|
|
"include/slime/solver_core.hpp": "feb1200518716b4d796fb60f60a83b6b798155bbd4e795531793181a5c7f9eba",
|
|
"include/slime/upper_interval.hpp": "af3fddf7705295d91ffd6e2190f542004a3ecff847fce9d4c9b13125bdbdc2d5"
|
|
}
|
|
}
|