Criteria for revision r1 · fixed when you start an Attempt
A result is verified when the submitted assignment file, parsed as SAT-competition v-line format, assigns every variable of the bound CNF instance and satisfies all of its clauses. Assignments mentioning variables outside the instance are rejected. This establishes that the instance is satisfiable and that this assignment witnesses it. It does not establish that the assignment is unique or minimal.
Checks run in this order. Open a step to inspect its rules, checker or review rubric.
Parses the assignment and evaluates every clause of the bound instance. Establishes clause satisfaction only.
A conforming checker is configured. Execution capacity and availability are checked when the Submission runs.
TfP builtin checker
This checker executes code inside the TfP Worker. It is not a pullable OCI image.
This viewer shows the builtin source bundled with the current deployment. It is not a historical execution or build attestation.
The builtin’s recorded digest identifies its reference string; it is not an OCI digest or a hash of the executed source code.
tfp-builtin/sat-assignment-check:1sha256:d2af299eb3f6cd7e46b95d54405df46e71fa5c89af4722eaa395ea277b00e1e0["/tfp/verify"]Declared source
Open recorded source repository ↗
No exact source commit is recorded.
Declared license: MIT. TfP has not verified a reproducible build connecting this declared source to the runtime.
Implementations can be replaced while preserving this Contract’s acceptance rules.
{
"verifier_implementation_id": "vfi_o8ew00w00f",
"version": 1,
"content_hash": "sha256:30cce2ad3709a1a92a2b31e16c1a99cad4c1a3c93fc407c05d2095025f1bed2e",
"conformance": {
"checked_at": "2026-09-02T15:13:49Z",
"differential_against_implementation_id": null,
"failures": [],
"fixtures_passed": 4,
"fixtures_total": 4,
"status": "passed"
},
"runtime_image_digest": "sha256:d2af299eb3f6cd7e46b95d54405df46e71fa5c89af4722eaa395ea277b00e1e0",
"limits": {
"disk_mb": 64,
"memory_mb": 512,
"network": "none",
"timeout_seconds": 60,
"vcpu": 1
}
}{
"properties": {
"clauses_satisfied": {
"type": "integer"
},
"clauses_total": {
"type": "integer"
}
},
"required": [
"clauses_total",
"clauses_satisfied"
],
"type": "object"
}assignment — A satisfying assignment in SAT-competition v-line format.text/plain · up to 1 MBA text-only Submission is not accepted.
instance · requiredinstance ↗text/plain · 1 KBRevision prv_n5cfi8w9rh
Contract vct_wacbq9qe4y
Complete evaluation Contract →
[
{
"key": "instance",
"content_hash": "sha256:eef24648920b3ca871342d0b1554341c350de9bf3ec1230aa0b4a578a6ced3cf",
"size_bytes": 1066,
"media_type": "text/plain"
}
]