Witness Inspection

A description of this web service can be found in the CAV paper "Verification-Aided Debugging: An Interactive Web-Service for Exploring Error Witnesses" (more material).

View and Validate the Witness

Input Given to this Service about the Witness (URL Query)

Key Value
programName sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c
programSHA af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601
witnessName results-verified/depthk.2017-11-30_1601.logfiles/sv-comp18.test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c.files/witness.graphml
witnessSHA abd2c4135d5a47d377a6869e467d9434b5b52fb91c9ca83b8b8531ce63d0fdb8

Information about the Witness from Competition Database

from https://sv-comp.sosy-lab.org/2018/results/witnessInfoByHash/abd2c4135d5a47d377a6869e467d9434b5b52fb91c9ca83b8b8531ce63d0fdb8.json

Key Value
architecture 32bit
creationtime 2017-11-30T17:56 CET (sv-comp)
memoryModel precise
producer ESBMC 3.1
program-sha256 af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601
programfile /tmp/vcloud-vcloud-master/worker/working_dir_79249b99-5df6-4934-8ec8-ffbf3700f385/sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c
programhash 4892275a211cad54ffe3d940980c258aec58e47d
sourcecodelang C
specification CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) )
witness-file witnessFileByHash/abd2c4135d5a47d377a6869e467d9434b5b52fb91c9ca83b8b8531ce63d0fdb8.graphml
witness-sha256 abd2c4135d5a47d377a6869e467d9434b5b52fb91c9ca83b8b8531ce63d0fdb8
witness-size 10044
witness-type violation_witness

Available Results for the Program from Witness Store SV-COMP '24

Trying to find witnesses for program (af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601, sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c).

Found 0 witnesses for program sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c, af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness

Available Results for the Program from Witness Store SV-COMP '23

Trying to find witnesses for program (af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601, sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c).

Found 0 witnesses for program sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c, af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness

Available Results for the Program from Witness Store SV-COMP '22

Trying to find witnesses for program (af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601, sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c).

Found 0 witnesses for program sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c, af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness

Available Results for the Program from Witness Store SV-COMP '21

Trying to find witnesses for program (af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601, sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c).

Found 0 witnesses for program sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c, af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness

Available Results for the Program from Witness Store SV-COMP '20

Trying to find witnesses for program (af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601, sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c).

Found 21 witnesses for program sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c, af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 88d0e67 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) correctness_witness CPAchecker 1.9 27 2019-11-30T02:23:52+01:00
Download 3e9bc7e Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ 27 2019-12-01T03:27:40+01:00
Download f11ff64 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 4 2019-12-01 21:31:29
Download 4e109ae Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Pinaka 16 2019-12-04T00:35 CET (comp)
Download fdd3359 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 26 2019-12-11T21:54:17+01:00 Download 5c6767c
Download 421e99d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 46 2019-12-11T21:52:56+01:00 Download 22fe275
Download 30075a0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 24 2019-12-11T21:09:40+01:00 Download f11ff64
Download 550e9c9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 28 2019-12-11T20:44:35+01:00 Download 37c4699
Download 4094320 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 46 2019-12-08T01:51:17+01:00 Download acfdeae
Download 3b146b4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 26 2019-12-08T00:26:20+01:00 Download d670099
Download 0c02054 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 27 2019-12-07T21:16:40+01:00 Download 6ebd701
Download 00cab4b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 23 2019-12-05T20:20:52+01:00 Download e2306af
Download adaa1c0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 23 2019-12-04T02:58:18+01:00 Download 4e109ae
Download f5339d6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 39 2019-12-03T08:07:42+01:00 Download f1d57ab
Download f1d57ab Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / svcomp20 34 2019-11-30T08:08:09+01:00
Download acfdeae Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.8 46 2019-12-07T22:34:19+01:00
Download 22fe275 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 46 2019-12-01T01:36:44+01:00
Download 51a47f4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 27 2019-12-11T20:54:20+01:00 Download d1adee7
Download dcffa1f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 27 2019-12-05T19:34:17+01:00 Download 660ccdf
Download 17bb9d7 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness CPAchecker 1.9 49 2019-11-30T04:02:04+01:00
Download b940d99 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness CPAchecker 1.8-svn-35b8bb3bb3+ 49 2019-12-01T01:50:51+01:00

Available Results for the Program from Witness Store SV-COMP '19

Trying to find witnesses for program (af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601, sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c).

Found 25 witnesses for program sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c, af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download e6f6d91 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Symbiotic 1 2018-12-08T05:47 CET (sv-comp)
Download e5ee413 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 27 2018-12-08T02:03:56+01:00
Download c7fbce7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-06T02:49:52+01:00
Download eba4c6c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 8 2018-12-08T09:40 CET (sv-comp)
Download ad827c4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness SMACK 1.9.3 7 2018-12-08T10:44:40
Download 41a24c8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7 42 2018-12-10T17:16:19+01:00
Download cd2cf99 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn b8d6131600+ 22 2018-12-08T00:59:45+01:00
Download 6887358 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 46 2018-12-10T20:37:36+01:00 Download 41a24c8
Download 7cc9821 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 26 2018-12-09T20:17:11+01:00 Download b853efc
Download ac41b51 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 28 2018-12-09T18:20:41+01:00 Download 6c96e3a
Download 92ebde4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 28 2018-12-08T23:42:10+01:00 Download eba4c6c
Download 9c38c25 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 40 2018-12-08T22:11:00+01:00 Download ad827c4
Download 61a4b6e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 27 2018-12-08T09:04:36+01:00 Download cd2cf99
Download f12ae74 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 32 2018-12-08T04:57:12+01:00 Download 8fa2b3c
Download 8933674 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 24 2018-12-07T18:47:18+01:00 Download 8004505
Download a196278 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 32 2018-12-06T10:20:10+01:00 Download efcdf42
Download fabb1d8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 39 2018-12-06T09:47:58+01:00 Download 0fb2f22
Download 62ef79f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 24 2018-12-06T09:20:16+01:00 Download 7cdc05c
Download 0fb2f22 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 35 2018-12-05T15:58:24+01:00
Download 406633e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-09T20:53:11+01:00 Download 4ba55ce
Download 8777062 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-09T20:35:25+01:00 Download 537c722
Download 4ad972a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-06T09:41:35+01:00 Download d995cdf
Download cb01d86 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness CPAchecker 1.7-svn b8d6131600+ 48 2018-12-08T02:11:22+01:00
Download 932d96e Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness CPAchecker 1.7-svn 29852 45 2018-12-09T20:36:56+01:00
Download 5d5b268 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness CPAchecker 1.7-svn 29852 49 2018-12-06T01:43:23+01:00

Available Results for the Program from Witness Store SV-COMP '18

Trying to find witnesses for program (af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601, sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c).

Found 26 witnesses for program sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c, af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download a1906bf Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Symbiotic 1 2017-12-02T23:40 CET (sv-comp)
Download de0be94 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) correctness_witness ESBMC 4.6.0 kind 3 2017-12-02T11:50:53.011201
Download 6c0a1ac Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) correctness_witness ESBMC 3.1 101 2017-12-01T09:46 CET (sv-comp)
Download 3454f0d Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Taipan 42 2017-12-03T06:54Z
Download 37e94f3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Kojak 44 2017-12-03T04:24Z
Download fe7de68 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Automizer 42 2017-12-03T04:08Z
Download b64c6ea Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness 2LS 67 2017-12-01T08:24 CET (sv-comp)
Download 830f177 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness skink 3 2017-12-01T23:20 CET (sv-comp)
Download 5d68c23 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Taipan 33 2017-12-02T20:16Z
Download 8fb3d43 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 2 2017-12-02T14:54 CET (sv-comp)
Download 002ad6c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Kojak 31 2017-12-02T18:12Z
Download b24a92b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 4.6.0 kind 7 2017-12-01T23:29:45.744488
Download 7a0ce51 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 4.6.0 incr 7 2017-12-01T11:05:20.237855
Download 5d1a956 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 3.1 10 2017-12-01T21:10 CET (sv-comp)
Download abd2c41 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 3.1 10 2017-11-30T17:56 CET (sv-comp)
Download e77d77b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 42 2017-12-02T20:23:47+01:00
Download f9d1363 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26773 32 2017-11-30T15:30:47+01:00
Download fdc0aec Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26758M 48 2017-11-30T16:01:03+01:00
Download 394d6c0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26725 13 2017-11-30T18:11:14+01:00
Download 9748df8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker (unknown version) 13 2017-12-01T22:26:06+01:00
Download 69e7a0e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CBMC 20 2017-12-01T01:36 CET (sv-comp)
Download bb1b8e9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Automizer 33 2017-12-02T14:44Z
Download 69040f1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness 2LS 25 2017-11-30T22:20 CET (sv-comp)
Download 928e0ed Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness CPAchecker 1.6.1-svn 26773 48 2017-12-01T14:20:38+01:00
Download bb2c674 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness Automizer 37 2017-12-03T11:14Z
Download 028dfe3 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness 2LS 27 2017-12-01T14:13 CET (sv-comp)

Available Results for the Program from Witness Store SV-COMP '17

Trying to find witnesses for program (af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601, sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c).

Found 0 witnesses for program sv-benchmarks/c/locks/test_locks_15_false-unreach-call_true-valid-memsafety_false-termination.c, af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/af580c85929f0ce2231633c74050b4f874b6060bba20de2c6fa78a3539add601.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness