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).
Key | Value |
programName | sv-benchmarks/c/termination-crafted/Binary_Search_false-no-overflow.c |
programSHA | c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212 |
witnessName | results-verified/esbmc-kind.2017-12-02_1823.logfiles/sv-comp18.Binary_Search_false-no-overflow.c.files/witness.graphml |
witnessSHA | 71372e7475a4da90e6ccba02093dedcf0a44b0314c6e521f222945e2b824f6c2 |
Key | Value |
architecture | 64bit |
creationtime | 2017-12-02T18:05:41.770148 |
producer | ESBMC 4.6.0 kind |
program-sha256 | c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212 |
programfile | ../../sv-benchmarks/c/termination-crafted/Binary_Search_false-no-overflow.c |
programhash | e9bc34da83f4eeeb9eac38365b588592722a41bf |
sourcecodelang | C |
specification | CHECK( init(main()), LTL(G ! overflow) ) |
witness-file | witnessFileByHash/71372e7475a4da90e6ccba02093dedcf0a44b0314c6e521f222945e2b824f6c2.graphml |
witness-sha256 | 71372e7475a4da90e6ccba02093dedcf0a44b0314c6e521f222945e2b824f6c2 |
witness-size | 4193 |
witness-type | violation_witness |
Found 0 witnesses for program sv-benchmarks/c/termination-crafted/Binary_Search_false-no-overflow.c, c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
Found 0 witnesses for program sv-benchmarks/c/termination-crafted/Binary_Search_false-no-overflow.c, c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
Found 27 witnesses for program sv-benchmarks/c/termination-crafted/Binary_Search_false-no-overflow.c, c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
7efd8f8 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | verifuzz | 3 | 2021-12-11T12:14:43+01:00 | ||
04ceb9d | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | frama-c-sv version 0.2.8 | 3 | 2021-12-13T20:26:40Z | ||
1255311 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | crux-llvm-0.5.0.99 | 4 | 2021-12-07T07:44:16+01:00 | ||
31546ce | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Taipan | 5 | 2021-12-10T00:55:02Z | ||
556a537 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 3 | 2021-12-07T15:59:51Z | ||
76a7e29 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Pinaka | 4 | 2021-12-09T06:47:13 | ||
0b021d6 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Kojak | 5 | 2021-12-10T15:52:40Z | ||
7802e75 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | ESBMC 6.8.0 kind | 4 | 2021-12-08T10:19:07Z | ||
249f148 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-14T00:08:15+01:00 | 04ceb9d | |
9c9d118 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-10T21:27:11+01:00 | f21dbdd | |
e0f84af | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-10T17:27:41+01:00 | 0b021d6 | |
fbb7056 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-10T08:33:03+01:00 | 31546ce | |
c985d15 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-09T16:02:11+01:00 | 41931e5 | |
9b3d06e | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-09T10:13:53+01:00 | 76a7e29 | |
4db7c6b | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-08T21:09:18+01:00 | ec27fc5 | |
c5d6a50 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-08T13:49:34+01:00 | 7802e75 | |
9a2c9f5 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-07T19:11:16+01:00 | 556a537 | |
81dd84f | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-07T08:14:46+01:00 | 1255311 | |
2a64ab6 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-07T02:35:03+01:00 | 51af096 | |
49230fe | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-05T20:40:31+01:00 | e101e21 | |
e101e21 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.1 | 5 | 2021-12-05T19:19:14+01:00 | ||
ec27fc5 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0.1-svn-fe6f522dd3+ | 5 | 2021-12-08T18:08:22+01:00 | ||
41931e5 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0.1-svn-eda176372c+ | 5 | 2021-12-09T11:21:42+01:00 | ||
3094c8f | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CBMC | 8 | 2021-12-06T09:21:32+01:00 | ||
51af096 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Automizer | 5 | 2021-12-06T18:51:27Z | ||
807c14d | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | sv-comp-22 | 4 | 2021-12-06T12:19:10+01:00 | ||
106165c | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 2.1 | 5 | 2021-12-06T11:49:16+01:00 | 3094c8f |
Found 19 witnesses for program sv-benchmarks/c/termination-crafted/Binary_Search_false-no-overflow.c, c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
172f822 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | frama-c-sv version 0.2.1 | 3 | 2020-12-06T23:49:23 | ||
abfd63c | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 3 | 2020-12-11T23:51:26 | ||
d1830a8 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 2 | 2020-12-08T21:53:08 | ||
835a096 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Pinaka | 4 | 2020-12-08T08:40:00 | ||
7e93ea4 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-12T01:28:11+01:00 | abfd63c | |
a27b209 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-09T22:05:55+01:00 | f049264 | |
23d7d0f | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-09T21:45:52+01:00 | 237d93a | |
bbc199e | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-09T03:58:21+01:00 | d1830a8 | |
e147326 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-09T02:31:37+01:00 | 4bfa2b3 | |
d243978 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-08T13:09:39+01:00 | 835a096 | |
3fb0a69 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-08T07:44:19+01:00 | 98519a4 | |
d36a1f0 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-07T16:55:53+01:00 | 61451b8 | |
e1b6c55 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-07T00:11:19+01:00 | 172f822 | |
11c932d | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-06T18:28:20+01:00 | c750fed | |
d9780c3 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-06T18:02:08+01:00 | 790d667 | |
09552b2 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-06T07:38:53+01:00 | c750fed | |
3ca18a8 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-05T18:01:48+01:00 | 790d667 | |
790d667 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0 | 5 | 2020-12-05T15:00:26+01:00 | ||
98519a4 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 2.0.1-svn-eda176372c+ | 5 | 2020-12-07T22:59:42+01:00 |
Found 14 witnesses for program sv-benchmarks/c/termination-crafted/Binary_Search_false-no-overflow.c, c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
7aa8b7c | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 1 | 2019-12-01 23:07:04 | ||
ac1750b | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Pinaka | 4 | 2019-12-04T00:09 CET (comp) | ||
ec6ff44 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.9 | 5 | 2019-12-11T21:44:57+01:00 | 68e3752 | |
06b17d3 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.9 | 5 | 2019-12-11T21:43:58+01:00 | 44ed2c1 | |
bf18e27 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.9 | 5 | 2019-12-11T21:09:02+01:00 | 7aa8b7c | |
f79a9e0 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.9 | 7 | 2019-12-11T20:44:47+01:00 | 2ae89bc | |
be1b9fc | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.9 | 5 | 2019-12-08T00:26:01+01:00 | ee520a9 | |
0b0b644 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.9 | 5 | 2019-12-07T21:18:09+01:00 | feffb77 | |
d56b0b9 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.9 | 17 | 2019-12-05T20:22:00+01:00 | 231d7c8 | |
e2f7ad0 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.9 | 5 | 2019-12-04T02:58:05+01:00 | ac1750b | |
754daa4 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.9 | 5 | 2019-12-03T08:09:46+01:00 | 4ca1fca | |
4ca1fca | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.9 | 5 | 2019-11-30T04:31:13+01:00 | ||
44ed2c1 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.8-svn-35b8bb3bb3+ | 5 | 2019-12-01T15:01:46+01:00 | ||
56d9292 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | correctness_witness | CPAchecker 1.9 | 5 | 2019-12-11T20:54:19+01:00 | f40c529 |
Found 17 witnesses for program sv-benchmarks/c/termination-crafted/Binary_Search_false-no-overflow.c, c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
dc12e5c | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 2 | 2018-12-08T11:58 CET (sv-comp) | ||
d642e43 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | SMACK 1.9.3 | 4 | 2018-12-08T08:22:48 | ||
a709ea7 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Pinaka | 4 | 2018-12-07T09:26 CET (sv-comp) | ||
d07daea | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn b8d6131600+ | 5 | 2018-12-07T17:12:44+01:00 | ||
f8a428a | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 5 | 2018-12-09T20:53:13+01:00 | 337e9b3 | |
3093c9c | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 5 | 2018-12-09T20:36:39+01:00 | 1b7644a | |
3888b9b | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 5 | 2018-12-09T20:29:07+01:00 | 94f883e | |
427bc3f | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 5 | 2018-12-09T18:19:58+01:00 | 459fa17 | |
1061ccd | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 5 | 2018-12-08T23:43:06+01:00 | dc12e5c | |
3f61b4a | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 5 | 2018-12-08T22:10:45+01:00 | d642e43 | |
d1feb5f | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 5 | 2018-12-08T08:25:32+01:00 | d07daea | |
1c142ac | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 5 | 2018-12-08T05:03:58+01:00 | 8f4c40f | |
7959e82 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 5 | 2018-12-07T17:44:06+01:00 | a709ea7 | |
7b3fc5f | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 5 | 2018-12-06T09:48:49+01:00 | d9ed8da | |
3a5ead1 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 18 | 2018-12-06T09:19:02+01:00 | eb6be3d | |
4cd14d3 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 5 | 2018-12-06T09:19:01+01:00 | e543253 | |
d9ed8da | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.7-svn 29852 | 5 | 2018-12-05T11:00:57+01:00 |
Found 18 witnesses for program sv-benchmarks/c/termination-crafted/Binary_Search_false-no-overflow.c, c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |
4da6c65 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Taipan | 4 | 2017-12-03T07:44Z | ||
d96cb84 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Symbiotic | 2 | 2017-12-03T04:56 CET (sv-comp) | ||
b330985 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Map2Check | 3 | 2017-12-02T01:26 CET (sv-comp) | ||
99c35e3 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Kojak | 4 | 2017-12-03T10:34Z | ||
71372e7 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | ESBMC 4.6.0 kind | 4 | 2017-12-02T18:05:41.770148 | ||
1b54a7b | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | ESBMC 4.6.0 incr | 4 | 2017-12-02T05:41:04.863813 | ||
92a336f | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | ESBMC 3.1 | 5 | 2017-12-01T13:17 CET (sv-comp) | ||
15f4833 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.6.1-svn 26773 | 5 | 2017-12-03T11:53:00+01:00 | 38549a3 | |
48618f4 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.6.1-svn 26773 | 5 | 2017-12-03T11:52:12+01:00 | 20f2496 | |
45d7a46 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.6.1-svn 26773 | 5 | 2017-12-03T08:58:56+01:00 | 2a19a6d | |
5ded156 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.6.1-svn 26773 | 5 | 2017-12-03T05:14:35+01:00 | 4424412 | |
62d5712 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.6.1-svn 26773 | 7 | 2017-12-02T20:08:25+01:00 | 5489477 | |
671082a | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.6.1-svn 26773 | 5 | 2017-12-02T08:12:53+01:00 | 5937209 | |
81fcecf | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.6.1-svn 26773 | 17 | 2017-12-01T12:33:22+01:00 | c2aa789 | |
9becb06 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.6.1-svn 26773 | 5 | 2017-12-01T12:02:35+01:00 | 8013e3c | |
9cc9495 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CPAchecker 1.6.1-svn 26773 | 5 | 2017-12-01T11:26:08+01:00 | ||
8c485f9 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | CBMC | 8 | 2017-12-01T11:18 CET (sv-comp) | ||
5c6d690 | Inspect | CHECK( init(main()), LTL(G ! overflow) ) | violation_witness | Automizer | 4 | 2017-12-03T10:38Z |
Found 0 witnesses for program sv-benchmarks/c/termination-crafted/Binary_Search_false-no-overflow.c, c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/c6505425cd1e45c6064dedf1716947351546cb8586f72c511ad2fbd9080ad212.json
Show Witness | Inspect | Validate | Specification | Result Type | Producer | Size (kB) | Time stamp | Input Witness |