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/bitvector/gcd_2_true-unreach-call_true-no-overflow.i
programSHA e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b
witnessName results-verified/utaipan.2017-12-03_0843.logfiles/sv-comp18.gcd_2_true-unreach-call_true-no-overflow.i.files/witness.graphml
witnessSHA 3808fb0695081907bf6c15659ed9d2769bf23875f00aa2a3cf38b5aa6955b10d

Information about the Witness from Competition Database

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

Key Value
architecture 32bit
creationtime 2017-12-03T07:43Z
producer Taipan
program-sha256 e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b
programfile /tmp/vcloud-vcloud-master/worker/working_dir_6d997a8d-d713-43fd-aa29-1528bd3cac6d/sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i
programhash ca12b384c8180063e3f1c5738f7063e9219b0df5
sourcecodelang C
specification CHECK( init(main()), LTL(G ! overflow) )
witness-file witnessFileByHash/3808fb0695081907bf6c15659ed9d2769bf23875f00aa2a3cf38b5aa6955b10d.graphml
witness-sha256 3808fb0695081907bf6c15659ed9d2769bf23875f00aa2a3cf38b5aa6955b10d
witness-size 10310
witness-type correctness_witness

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

Trying to find witnesses for program (e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b, sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i).

Found 0 witnesses for program sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i, e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b.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 (e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b, sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i).

Found 0 witnesses for program sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i, e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b.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 (e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b, sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i).

Found 0 witnesses for program sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i, e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b.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 (e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b, sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i).

Found 0 witnesses for program sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i, e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b.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 (e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b, sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i).

Found 16 witnesses for program sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i, e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download aa1c052 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Pinaka 3 2019-12-03T22:48 CET (comp)
Download be81de7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 1.9 7 2019-11-29T16:30:56+01:00
Download a186bad Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ 7 2019-12-01T07:49:23+01:00
Download 77348df Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2019-12-04T01:22 CET (comp)
Download be30f18 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 7 2019-12-11T20:20:15+01:00 Download 2d00dac
Download 8d962d7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 7 2019-12-11T20:18:18+01:00 Download e713ce7
Download fdcb13c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 7 2019-12-11T20:02:25+01:00 Download 946e544
Download 8334d84 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 7 2019-12-08T00:37:30+01:00 Download ea56b1f
Download d0031bc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 7 2019-12-06T01:59:45+01:00 Download 540cece
Download cd1dab4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 7 2019-12-05T19:12:47+01:00 Download 26dd58d
Download b1d1db0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 7 2019-12-05T19:03:06+01:00 Download 97fdaa7
Download d243833 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 7 2019-12-04T02:07:26+01:00 Download 77348df
Download 50c26c7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 7 2019-11-30T16:39:23+01:00 Download a9534ee
Download a9534ee Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / svcomp20 7 2019-11-29T20:54:54+01:00
Download ea56b1f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8 8 2019-12-07T11:29:35+01:00
Download 2d00dac Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 8 2019-12-01T11:54:28+01:00

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

Trying to find witnesses for program (e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b, sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i).

Found 23 witnesses for program sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i, e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 7d24943 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 1 2018-12-08T16:22 CET (sv-comp)
Download c823330 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness SMACK 1.9.3 3 2018-12-08T04:57:49
Download e1a459b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Pinaka 3 2018-12-07T07:55 CET (sv-comp)
Download a05de92 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 7 2018-12-08T01:58:28+01:00
Download 33b6a41 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-06T07:20:17+01:00
Download cc1f534 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2018-12-08T00:55 CET (sv-comp)
Download 5d3d501 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness SMACK 1.9.3 3 2018-12-08T09:51:26
Download c539a12 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2018-12-07T08:41 CET (sv-comp)
Download c9cf361 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7 8 2018-12-10T19:05:46+01:00
Download dc6feec Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 8 2018-12-07T01:41:48+01:00
Download 7a106df Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 8 2018-12-10T19:51:13+01:00 Download c9cf361
Download beffb2d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-08T23:11:09+01:00 Download cc1f534
Download a882c62 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-08T21:40:29+01:00 Download 5d3d501
Download e903245 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 8 2018-12-08T06:44:02+01:00 Download dc6feec
Download 8e03e37 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-08T04:17:59+01:00 Download 9bd7ca0
Download 72aa587 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-07T17:45:33+01:00 Download 9f21a37
Download c23c248 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-07T16:40:11+01:00 Download c539a12
Download f66f3be Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-06T09:30:26+01:00 Download 5cc02d4
Download 9f11a91 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-06T08:47:56+01:00 Download c6ecd5f
Download 7b8faf4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-06T08:24:04+01:00 Download dea0586
Download c08c723 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-06T08:17:58+01:00 Download 0b7f3c4
Download e4916fb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-06T07:56:16+01:00 Download 023fb8e
Download c6ecd5f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-05T14:13:36+01:00

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

Trying to find witnesses for program (e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b, sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i).

Found 35 witnesses for program sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i, e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 3808fb0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Taipan 10 2017-12-03T07:43Z
Download b0acad5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 1 2017-12-03T04:35 CET (sv-comp)
Download a1ce34b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Map2Check 5 2017-12-02T01:53 CET (sv-comp)
Download 73242d4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Kojak 10 2017-12-03T10:26Z
Download fe85e8c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness ESBMC 4.6.0 kind 3 2017-12-02T18:26:40.039723
Download b8069b0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness ESBMC 4.6.0 incr 3 2017-12-02T05:52:43.628013
Download 5e3f5ca Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-01T11:40:27+01:00
Download 2485292 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CBMC 22 2017-12-01T12:01 CET (sv-comp)
Download 0f64ca2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Automizer 10 2017-12-03T10:23Z
Download 897affc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness 2LS 13 2017-12-01T10:30 CET (sv-comp)
Download b09aed5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker (unknown version) 7 2017-12-02T02:22:49+01:00
Download 9f21a37 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness skink 3 2017-12-01T22:25 CET (sv-comp)
Download 8db6216 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2017-12-02T05:52 CET (sv-comp)
Download 6caafa3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Map2Check 5 2017-12-01T20:48 CET (sv-comp)
Download bd7b9e2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 kind 3 2017-12-01T15:11:29.978959
Download ac443cb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 incr 3 2017-12-01T11:53:06.581996
Download 57adf9e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.12-svcomp17 4 2017-11-02T13:16:17+05:30
Download 1ef68a2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 4 2017-11-30T23:47:00+01:00
Download 4a87491 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-03T04:04:49+01:00 06ddf81
Download 51dfa3d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-02T20:22:32+01:00 f1c7d38
Download 090eaf5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-02T08:58:47+01:00 49698ab
Download b8e223d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-02T00:11:24+01:00 568748b
Download e421520 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-01T22:32:21+01:00 3bbdc32
Download d8225ca Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-01T22:09:19+01:00 f4c4967
Download c4cfd62 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-01T08:16:00+01:00 ca6f51a
Download 0cccdb1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-01T07:15:46+01:00 254410f
Download 46606ba Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-01T06:23:07+01:00 c3b03cc
Download 39b45a2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-01T05:54:42+01:00 069f3c2
Download 247b05c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-01T05:44:03+01:00 64b886f
Download 62f934e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-01T05:04:53+01:00 782a9bb
Download a5e6a5e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-01T00:29:20+01:00
Download ab67dc3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26758M 12 2017-11-30T23:07:48+01:00
Download dd11953 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26725 7 2017-11-30T19:51:57+01:00
Download 80fa0ed Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CBMC 22 2017-11-30T13:08 CET (sv-comp)
Download f1ba8c8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness 2LS 27 2017-11-30T13:05 CET (sv-comp)

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

Trying to find witnesses for program (e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b, sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i).

Found 0 witnesses for program sv-benchmarks/c/bitvector/gcd_2_true-unreach-call_true-no-overflow.i, e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/e4a1ee1baac3464d4504c5a8ba829fc05aba45745c8c74727a061b137538412b.json

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