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).
Found 23 witnesses for program sv-benchmarks/c/termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c, 744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
dc3768f | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | frama-c-sv version 0.4.0 | 3 | 2023-12-03T07:48:59Z | ||
612e0ff | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | crux-llvm-0.5.0.99 | 56 | 2023-12-18T04:39:27+01:00 | ||
840540e | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Taipan | 24 | 2023-12-02T18:14:46Z | ||
9f95dfd | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 3 | 2023-11-29T16:55:20Z | ||
5bba8a2 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | ESBMC 7.4.0 kind | 6 | 2023-12-01T13:03:06Z | ||
75bccc8 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CBMC | 21 | 2023-12-17T11:52:26+01:00 | ||
4b46c6b | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Bubaak | 3 | 2023-12-05T10:22:25Z | ||
c92f577 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Automizer | 23 | 2023-11-29T02:34:38Z | ||
62cc18d | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | sv-comp-24 | 4 | 2023-12-03T18:01:53+01:00 | ||
a928162 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | VeriOover | 1 | 2023-12-20T03:37 CET (comp) | ||
5421558 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.3 | 7 | 2023-12-20T03:56:09+01:00 | a928162 | |
83030bf | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.3 | 6 | 2023-12-18T06:09:26+01:00 | 612e0ff | |
43234ce | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.3 | 7 | 2023-12-05T14:41:29+01:00 | 4b46c6b | |
7090248 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.3 | 6 | 2023-12-04T12:14:50+01:00 | 840540e | |
6768104 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.3 | 7 | 2023-12-03T18:45:27+01:00 | 62cc18d | |
dbe2827 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.3 | 7 | 2023-12-03T09:59:22+01:00 | dc3768f | |
6ee24cd | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.3 | 6 | 2023-12-01T18:29:54+01:00 | 5bba8a2 | |
760de73 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.3 | 6 | 2023-11-30T06:13:40+01:00 | ||
c07a552 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.3 | 7 | 2023-11-30T03:04:07+01:00 | 9f95dfd | |
e506c37 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.3 | 6 | 2023-11-29T08:35:25+01:00 | c92f577 | |
41d7035 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.2.1-svn-e677b7cd46+ | 6 | 2023-12-03T20:41:45+01:00 | ||
3a25c61 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.0.1-svn-a45b42da2f+ | 6 | 2023-12-18T17:38:31+01:00 | ||
39a862b | Inspect | - content: - segment: - waypoint: action: follow constraint: format: C value: \result == 13 location: column: 32 file_name: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_53420c7d-ed9d-44ef-9373-47ae3cbb1834/sv-benchmarks/c/termination-numeric/TerminatorRec02.c line: 26 type: function_return - segment: - waypoint: action: follow constraint: format: C value: \result == 0 location: column: 32 file_name: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_53420c7d-ed9d-44ef-9373-47ae3cbb1834/sv-benchmarks/c/termination-numeric/TerminatorRec02.c line: 29 type: function_return - segment: - waypoint: action: follow constraint: format: C value: \result == 0 location: column: 32 file_name: /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_53420c7d-ed9d-44ef-9373-47ae3cbb1834/sv-benchmarks/c/termination-numeric/TerminatorRec02.c line: 32 type: function_return - segment: - waypoint: action: follow location: column: 11 file_name: vcloud_worker_vcloud-master_on_vcloud-master/run_dir_53420c7d-ed9d-44ef-9373-47ae3cbb1834/sv-benchmarks/c/termination-numeric/TerminatorRec02.c line: 20 type: target entry_type: violation_sequence metadata: creation_time: '2023-11-29T16:55:20Z' format_version: '0.1' producer: name: symbiotic task: data_model: LP64 input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_53420c7d-ed9d-44ef-9373-47ae3cbb1834/sv-benchmarks/c/termination-numeric/TerminatorRec02.c : 744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3 input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_53420c7d-ed9d-44ef-9373-47ae3cbb1834/sv-benchmarks/c/termination-numeric/TerminatorRec02.c language: C specification: CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.3 | 9 | 2023-11-30T03:02:14+01:00 |
Found 21 witnesses for program sv-benchmarks/c/termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c, 744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
fcda2dd | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | verifuzz | 3 | 2022-12-15T05:09:42+01:00 | ||
ea9e7f0 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | frama-c-sv version 0.4.0 | 3 | 2022-12-09T10:19:32Z | ||
fb2410c | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | crux-llvm-0.5.0.99 | 56 | 2022-12-09T05:00:12+01:00 | ||
2e56f94 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 3 | 2022-12-12T14:22:13Z | ||
ee106f2 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | ESBMC 7.0.0 kind | 6 | 2022-12-18T21:16:51Z | ||
5bf834d | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | ESBMC 6.8.0 kind | 6 | 2022-12-25T12:28:25Z | ||
f79a0e3 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CBMC | 21 | 2022-12-08T08:07:20+01:00 | ||
1c3ee33 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Bubaak | 3 | 2022-12-08T18:20:47Z | ||
6ae9474 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | sv-comp-22 | 4 | 2022-12-11T01:52:57+01:00 | ||
a928162 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | VeriOover | 1 | 2022-12-12T11:01 CET (comp) | ||
f17f794 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.2 | 7 | 2023-01-29T11:47:09+01:00 | a928162 | |
6d17949 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.2 | 7 | 2023-01-29T05:58:19+01:00 | 2e56f94 | |
7b01bf2 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.2 | 7 | 2023-01-28T23:06:21+01:00 | 6ae9474 | |
0db2221 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.2 | 7 | 2023-01-28T17:49:02+01:00 | ea9e7f0 | |
6902523 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.2 | 6 | 2023-01-28T15:46:03+01:00 | ee106f2 | |
e674bf3 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.2 | 6 | 2023-01-28T08:29:55+01:00 | fb2410c | |
86664da | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.2 | 6 | 2023-01-28T02:22:35+01:00 | 5bf834d | |
5298a0b | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.2 | 7 | 2023-01-28T00:31:04+01:00 | 1c3ee33 | |
166ff65 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.2 | 6 | 2022-12-10T17:18:55+01:00 | ||
12a8312 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.2.1-svn-1715bd67dc+ | 6 | 2022-12-11T21:20:32+01:00 | ||
1d08e32 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.0.1-svn-a45b42da2f+ | 6 | 2022-12-10T00:03:17+01:00 |
Found 18 witnesses for program sv-benchmarks/c/termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c, 744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
3374172 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | verifuzz | 3 | 2021-12-11T04:43:25+01:00 | ||
0fa7ada | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | frama-c-sv version 0.2.8 | 3 | 2021-12-13T22:34:26Z | ||
3cba0da | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | crux-llvm-0.5.0.99 | 56 | 2021-12-07T06:30:28+01:00 | ||
8d66d63 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Taipan | 25 | 2021-12-09T22:58:07Z | ||
cbf263b | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 3 | 2021-12-07T15:58:53Z | ||
7b430c5 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | ESBMC 6.8.0 kind | 6 | 2021-12-08T11:04:42Z | ||
0f74956 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CBMC | 22 | 2021-12-06T02:30:11+01:00 | ||
e234d32 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | sv-comp-22 | 4 | 2021-12-06T13:44:01+01:00 | ||
4fec4c2 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.1 | 7 | 2021-12-14T00:10:02+01:00 | 0fa7ada | |
431afa7 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.1 | 6 | 2021-12-10T21:29:30+01:00 | c743086 | |
2ea5c9a | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.1 | 6 | 2021-12-10T08:34:41+01:00 | 8d66d63 | |
5742f80 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.1 | 6 | 2021-12-08T13:48:38+01:00 | 7b430c5 | |
e2d0ab3 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.1 | 7 | 2021-12-07T19:13:47+01:00 | cbf263b | |
14410a4 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.1 | 6 | 2021-12-07T08:15:57+01:00 | 3cba0da | |
15d8882 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.1 | 6 | 2021-12-05T17:53:06+01:00 | ||
96f93f6 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.0.1-svn-fe6f522dd3+ | 6 | 2021-12-08T17:00:09+01:00 | ||
1c66b3a | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.0.1-svn-eda176372c+ | 6 | 2021-12-09T12:39:30+01:00 | ||
1bd44de | Inspect | CHECK( init(main()), LTL(F end) ) | correctness_witness | Symbiotic | 2 | 2021-12-10T18:16:20 |
Found 13 witnesses for program sv-benchmarks/c/termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c, 744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
08433e8 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | frama-c-sv version 0.2.1 | 3 | 2020-12-06T23:51:49 | ||
d319726 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 3 | 2020-12-11T18:16:31 | ||
1a398bb | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 3 | 2020-12-08T23:23:30 | ||
2aa3338 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.0 | 7 | 2020-12-12T01:22:56+01:00 | d319726 | |
440bd33 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.0 | 7 | 2020-12-09T04:15:28+01:00 | 1a398bb | |
3d97312 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.0 | 6 | 2020-12-07T16:30:31+01:00 | 515db8c | |
f91b5e7 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.0 | 7 | 2020-12-07T00:12:34+01:00 | 08433e8 | |
d8c95ea | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.0 | 6 | 2020-12-06T18:27:02+01:00 | 1943861 | |
b0f93de | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.0 | 6 | 2020-12-06T07:57:45+01:00 | 1943861 | |
2f94d27 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.0 | 6 | 2020-12-05T13:08:41+01:00 | ||
93604aa | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.0.1-svn-eda176372c+ | 6 | 2020-12-08T06:10:54+01:00 | ||
b5297f7 | Inspect | CHECK( init(main()), LTL(F end) ) | correctness_witness | Symbiotic | 2 | 2020-12-11T17:54:25 | ||
e7c438c | Inspect | CHECK( init(main()), LTL(F end) ) | correctness_witness | Symbiotic | 2 | 2020-12-08T20:06:42 |
Found 4 witnesses for program sv-benchmarks/c/termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c, 744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
b8ea894 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 1 | 2019-12-01 21:37:18 | ||
1b247b6 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Pinaka | 16 | 2019-12-03T23:24 CET (comp) | ||
b5fc92b | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 1.9 | 6 | 2019-12-05T20:21:52+01:00 | 5890606 | |
f08755a | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 1.9 | 6 | 2019-12-04T02:59:51+01:00 | 1b247b6 |
Found 5 witnesses for program sv-benchmarks/c/termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c, 744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
9a57007 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 2 | 2018-12-08T13:48 CET (sv-comp) | ||
5f404c0 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | SMACK 1.9.3 | 7 | 2018-12-08T05:10:44 | ||
c0ebeff | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 18 | 2018-12-08T05:06:46+01:00 | 30b08a5 | |
13cd313 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 6 | 2018-12-06T09:20:52+01:00 | 338f34d | |
40fdfa6 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 1.7-svn 29852 | 6 | 2018-12-06T09:17:46+01:00 | 8c67487 |
Found 8 witnesses for program sv-benchmarks/c/termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c, 744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
93e0890 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 2 | 2017-12-03T04:50 CET (sv-comp) | ||
b10b9e5 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Map2Check | 3 | 2017-12-02T01:38 CET (sv-comp) | ||
77f12c2 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | ESBMC 4.6.0 kind | 6 | 2017-12-02T18:51:01.430569 | ||
ed9ca5e | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | ESBMC 4.6.0 incr | 6 | 2017-12-02T06:17:35.264445 | ||
13be730 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | ESBMC 3.1 | 13 | 2017-12-01T13:44 CET (sv-comp) | ||
2ad1fd9 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CBMC | 24 | 2017-12-01T11:52 CET (sv-comp) | ||
6e1cdcd | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | Taipan | 9 | 2017-12-03T07:44Z | ||
0c6cecd | Inspect | CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) | correctness_witness | ESBMC 3.1 | 7 | 2017-12-01T19:17 CET (sv-comp) |
Found 0 witnesses for program sv-benchmarks/c/termination-numeric/TerminatorRec02_true-termination_false-no-overflow.c, 744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/744c3d26555bbd53a7a0d9e7c64efe010ba06d0f67ec9ca21eb74ed1148222d3.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |