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/loops/sum04_false-unreach-call_true-termination.i
programSHA 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d
witnessName results-validated/cpa-seq-validate-violation-witnesses-viap.2018-12-09_2123.logfiles/sv-comp19_prop-reachsafety.sum04_false-unreach-call_true-termination.i.files/witness.graphml
witnessSHA 7eb2a01f0b13b44f74759a95bd91120490b497ccfbf9773f440fbefb5e411d63

Information about the Witness from Competition Database

from https://sv-comp.sosy-lab.org/2019/results/witnessInfoByHash/7eb2a01f0b13b44f74759a95bd91120490b497ccfbf9773f440fbefb5e411d63.json

Key Value
architecture 32bit
creationtime 2018-12-09T21:23:37+01:00
inputwitnesshash 0690c8b19fefac657c8b1afc03c7c17ca19c87329e5afb559d651e5ac9893e01
producer CPAchecker 1.7-svn 29852
program-sha256 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d
programfile ../../sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i
programhash 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d
sourcecodelang C
specification CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) )
witness-file witnessFileByHash/7eb2a01f0b13b44f74759a95bd91120490b497ccfbf9773f440fbefb5e411d63.graphml
witness-sha256 7eb2a01f0b13b44f74759a95bd91120490b497ccfbf9773f440fbefb5e411d63
witness-size 6911
witness-type correctness_witness

This witness was created for this program (cf. table above, 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d).

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

Trying to find witnesses for program (5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d, sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i).

Found 0 witnesses for program sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i, 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d.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 (5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d, sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i).

Found 0 witnesses for program sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i, 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d.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 (5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d, sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i).

Found 0 witnesses for program sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i, 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d.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 (5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d, sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i).

Found 0 witnesses for program sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i, 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d.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 (5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d, sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i).

Found 22 witnesses for program sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i, 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download c84be1d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2019-12-01 01:59:58
Download 373c972 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Pinaka 9 2019-12-03T23:57 CET (comp)
Download 351ddb8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness GACAL 13 2019-12-07T23:19 CET (comp)
Download 254a110 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 19 2019-12-11T21:58:18+01:00 Download 6eb8c95
Download 1e7d3a9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 19 2019-12-11T21:49:54+01:00 Download fe28072
Download 52d39f2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 19 2019-12-11T21:09:43+01:00 Download c84be1d
Download 1f989d1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 19 2019-12-11T20:54:21+01:00 Download f695fad
Download 67461b4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 19 2019-12-11T20:44:28+01:00 Download 6e5f408
Download d4a360f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 19 2019-12-08T01:51:15+01:00 Download 3ab7a88
Download d97f166 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 19 2019-12-08T00:26:10+01:00 Download bde165b
Download 9e0091c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 19 2019-12-07T21:14:36+01:00 Download 6b1ef4d
Download 2d6547b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 19 2019-12-06T02:40:33+01:00 Download b0c19f7
Download 4266016 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 16 2019-12-04T02:58:26+01:00 Download 373c972
Download aecfb23 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 19 2019-12-03T08:56:48+01:00 Download 7821459
Download b276902 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 19 2019-12-03T08:09:52+01:00 Download 504b13a
Download 504b13a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / svcomp20 19 2019-11-30T01:24:07+01:00
Download 3ab7a88 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.8 19 2019-12-07T15:37:01+01:00
Download 6eb8c95 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 19 2019-12-01T16:42:58+01:00
Download 596168d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 7 2019-12-08T00:14:05+01:00 Download 351ddb8
Download f7d80f6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 7 2019-12-05T20:20:25+01:00 Download 9317fb7
Download 635eb30 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 7 2019-12-05T19:34:29+01:00 Download 0042dc9
Download 6626907 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2019-12-04T00:21 CET (comp)

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

Trying to find witnesses for program (5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d, sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i).

Found 28 witnesses for program sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i, 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 6e5eff1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2018-12-08T12:38 CET (sv-comp)
Download 7ad7d82 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness SMACK 1.9.3 3 2018-12-08T05:42:10
Download 4e95d75 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Pinaka 10 2018-12-06T20:28 CET (sv-comp)
Download 46bfab1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7 18 2018-12-10T17:37:17+01:00
Download bc190fd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn b8d6131600+ 19 2018-12-08T02:04:25+01:00
Download 1435974 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-10T20:35:50+01:00 Download 46bfab1
Download 94aeb33 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-10T10:48:43+01:00 Download d743bd9
Download 6cbd1c3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-09T20:53:08+01:00 Download 4c52254
Download 5126acd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-09T20:37:29+01:00 Download 3aa25c3
Download 2bc94aa Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-09T20:29:00+01:00 Download 373b56f
Download 34d0570 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-09T18:20:47+01:00 Download 4106d0c
Download 64531af Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-08T23:44:32+01:00 Download 6e5eff1
Download 6d05706 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-08T22:11:05+01:00 Download 7ad7d82
Download 8b5ade3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-08T08:55:36+01:00 Download bc190fd
Download bc5aa39 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-08T05:02:55+01:00 Download 2b7c76a
Download 154c73f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-08T04:19:46+01:00 Download d743bd9
Download 49c1f95 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-07T18:48:34+01:00 Download b0ef5d2
Download c416661 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 16 2018-12-07T17:44:48+01:00 Download 4e95d75
Download 74b93af Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-07T01:04:41+01:00 Download 07e635c
Download 1a0c6e2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-06T10:12:40+01:00 Download 1920055
Download bcdcb24 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-06T09:48:53+01:00 Download 230bdd9
Download 700bb6f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 16 2018-12-06T09:20:26+01:00 Download 6451197
Download 230bdd9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-05T23:57:51+01:00
Download 7eb2a01 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-09T21:23:37+01:00 Download 0690c8b
Download 1da8eb4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-06T09:41:27+01:00 Download 38d3a9e
Download ca30891 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-06T09:18:08+01:00 Download 957dff1
Download a8d76fa Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 1 2018-12-08T02:22 CET (sv-comp)
Download ff53206 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2018-12-07T13:29 CET (sv-comp)

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

Trying to find witnesses for program (5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d, sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i).

Found 22 witnesses for program sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i, 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 3bad307 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness skink 3 2017-12-01T22:11 CET (sv-comp)
Download f9137a1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness VIAP 13 2017-12-03T03:52 CET (sv-comp)
Download b68caf2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Taipan 11 2017-12-03T05:10Z
Download 6e75906 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2017-12-01T23:59 CET (sv-comp)
Download 9fdc452 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Map2Check 3 2017-12-01T20:02 CET (sv-comp)
Download 52d88e3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Kojak 11 2017-12-02T22:45Z
Download acd62dd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 4.6.0 kind 4 2017-12-01T22:01:08.077424
Download 6beed4c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 4.6.0 incr 4 2017-12-01T13:42:36.587401
Download 6dd53b5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 3.1 6 2017-12-01T15:23 CET (sv-comp)
Download 915f558 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 3.1 6 2017-11-30T20:50 CET (sv-comp)
Download fecfc80 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 17 2017-12-03T02:48:59+01:00
Download 7f9c322 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26773 18 2017-11-30T14:30:51+01:00
Download aee7c41 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26758M 21 2017-12-01T00:20:12+01:00
Download c694eb7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26725 15 2017-11-30T19:17:56+01:00
Download 51d6509 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker (unknown version) 13 2017-12-02T09:11:18+01:00
Download 27189b8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CBMC 9 2017-12-01T01:03 CET (sv-comp)
Download e4bed50 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Automizer 11 2017-12-02T07:23Z
Download 7d2ca61 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness 2LS 9 2017-11-30T15:48 CET (sv-comp)
Download 20eb433 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-02T21:34:39.788148
Download efba3c7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-02T10:57:24.853275
Download 37ba76e Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness CBMC 9 2017-12-01T17:06 CET (sv-comp)
Download a4b8ff4 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness 2LS 9 2017-12-01T15:37 CET (sv-comp)

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

Trying to find witnesses for program (5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d, sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i).

Found 0 witnesses for program sv-benchmarks/c/loops/sum04_false-unreach-call_true-termination.i, 5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/5076a3d365daac8f8b6003acebb0c961d21c949e308b55f8fef12cd90d52426d.json

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