All YAML witness examples from sv-witnesses' examples/ directory. Clicking one loads the witness and resolves its own task.input_files to load the matching program.
examples/
task.input_files
All categories under c/ in sv-benchmarks. Lists each category's task (.yml) files; clicking one resolves its input_files and loads that program. No witness exists upstream for these.
c/
input_files