Nightly benchexec runs of the latest SWAT against the SV-COMP Java verification tasks, under the official competition limits (15 min / 15 GB / 4 cores).
Open the latest SWAT dev vs main results table ↗
The table above is the native benchexec viewer comparing the most recent dev and main builds (dev on the left), one tab per property, with per-task verdicts, times, and clickable logs. Each individual run below is also kept (last 3 per channel).