Verification results
Recorded GPU kernel checks and synchronization-removal measurements.
Loading verification results…
Kernel results
Synchronization removal NVIDIA B200
Removal counts and timings apply only to the selected input scenario.
| Kernel | Result | Removable syncs | Kernel time after removal | Analysis time |
|---|
No matching kernels
Try a shorter name or select a different library or result.
About the data
A verdict applies to the recorded input configuration and the verifier’s model. It is not a claim about every shape, execution environment, or version of a library.
How verification worksSynchronization-removal methodology
“Removable syncs” counts synchronization sites removed together while the reduced kernel still passed race-freedom verification. Kernel timing is measured on an NVIDIA B200. “Faster” and “slower” describe runtime changes relative to the original kernel, not throughput speedups. Missing values remain distinct from measured zero or no measurable change.
Verification outcomes
Verified records passed synchronization, memory, and reference-equivalence checks. Reported findings groups potential races, invalid lifecycles, and inconsistent synchronization; these are verifier findings, not necessarily reproduced hardware failures. Inconclusive groups unsupported analyses and time, memory, or analysis limits.
Per-check outcomes and analysis statistics appear when supplied by the results JSON. Missing fields are labeled “Not recorded”; “Not run” and “Incomplete” do not mean passed. Each record links to its verifier output for further detail.
Conditional analyses
Some records use configured branch decisions. Their verdicts apply only to those scenarios. Open a marked record to see every recorded branch decision.
Warnings and their collection status are reported independently of the overall verdict.
Source and provenance
This page loads the latest results directly from gpu-verifier/sentryward on each visit. Reload to refresh.
Kernel records load input configurations from the source repository’s main branch. The results JSON may omit per-check outcomes, analysis times, input hashes, or analysis scope; missing values are not filled from an older snapshot.