STP binary b5198265f8ef

The statically linked STP that produced campaign full-001. Attached rather than committed, so the repository history stays small enough to clone.

sha256	b5198265f8ef1f9373404fc43df45113d991074bf6309cd25f62a553f2098ee8
STP commit	cf06c295d99db602a89c08d1e13c574a2f1b0f11
compiler	gcc 12.3.0
SAT backend	CaDiCaL 3.0.1 (c6073042)
real literals	LibBF 50a0eb26
size	24,443,432 bytes

Full provenance, including the sha256 of each library it was linked against, is in binaries/b5198265….json.

Verify what you downloaded before trusting a measurement made with it:

sha256sum stp-b5198265f8ef

This binary is a static STP, so it embeds the third-party code STP is built from; see the repository README for what that means for redistribution.