All 16 frozen-input regression cases passed.
This report records reproduction from archived inputs. It does not independently certify external table labels or replace mathematical proofs.
| Case | k | Status | Seconds |
|---|---|---|---|
| L6a4 | 2 | PASS | 0.543472 |
| L8a16 | 2 | PASS | 3.997624 |
| L8a19 | 2 | PASS | 4.01429 |
| L8a20 | 2 | PASS | 4.289533 |
| L8n5 | 2 | PASS | 2.789936 |
| L8n6 | 2 | PASS | 3.164812 |
| L9a32 | 2 | PASS | 5.215528 |
| L9a33 | 2 | PASS | 4.200514 |
| L9a41 | 2 | PASS | 4.447247 |
| L9n13 | 2 | PASS | 3.909056 |
| L9n18 | 2 | PASS | 6.007736 |
| L9n19 | 2 | PASS | 3.379419 |
| L9a4 | 2 | PASS | 4.148678 |
| L10n35 | 2 | PASS | 5.603792 |
| L10n56 | 2 | PASS | 12.67178 |
| L10n57 | 2 | PASS | 7.126091 |