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/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i
programSHA 5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138
witnessName results-verified/map2check.2017-12-01_1946.logfiles/sv-comp18.test_while_int_true-termination.c_false-unreach-call_1.i.files/witness.graphml
witnessSHA 81329c384469e380702c76a884724f4ecf9a27613cdc4449a33f06296455cb43

Information about the Witness from Competition Database

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

Key Value
architecture 32bit
creationtime 2017-12-01T20:45 CET (sv-comp)
producer Map2Check
program-sha256 5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138
programfile ../../sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i
programhash 87afddccfd1da763b81be9f487d95a8fd1750032
sourcecodelang C
specification CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) )
witness-file witnessFileByHash/81329c384469e380702c76a884724f4ecf9a27613cdc4449a33f06296455cb43.graphml
witness-sha256 81329c384469e380702c76a884724f4ecf9a27613cdc4449a33f06296455cb43
witness-size 2813
witness-type violation_witness

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

Trying to find witnesses for program (5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138, sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i, 5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138.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 (5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138, sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i, 5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138.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 (5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138, sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i, 5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138.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 (5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138, sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i, 5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138.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 (5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138, sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i).

Found 21 witnesses for program sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i, 5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 5aa2db2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2019-12-01 08:04:30
Download 2f32586 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Pinaka 6 2019-12-03T23:31 CET (comp)
Download 2e7aeb3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T21:59:43+01:00 Download dd17d72
Download b0da58c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T21:45:08+01:00 Download 35f80c8
Download a39216e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T21:09:17+01:00 Download 5aa2db2
Download ce42e64 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T20:55:10+01:00 Download b42bb70
Download b384d9b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T20:44:31+01:00 Download c2407fe
Download 5aff219 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-08T01:52:26+01:00 Download bb9f25d
Download b2f0f01 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-08T00:26:09+01:00 Download 64894df
Download f32f36b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-08T00:08:34+01:00 Download b01e8f2
Download 926037c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-07T21:14:09+01:00 Download d93766f
Download 03d3f77 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-06T02:42:37+01:00 Download cecabf6
Download c83b4f6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-05T20:20:13+01:00 Download 210e79f
Download 9adb1a9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-04T02:58:21+01:00 Download 2f32586
Download 6545622 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-03T08:56:53+01:00 Download 39c3628
Download 7dbf597 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-03T08:09:52+01:00 Download ff9dfb8
Download ff9dfb8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / svcomp20 9 2019-11-30T11:54:52+01:00
Download bb9f25d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.8 9 2019-12-07T23:57:37+01:00
Download 35f80c8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 9 2019-11-30T20:58:05+01:00
Download e77652c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-05T19:34:16+01:00 Download 549ad2a
Download 4e06a2a Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2019-12-04T01:22 CET (comp)

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

Trying to find witnesses for program (5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138, sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i).

Found 28 witnesses for program sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i, 5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 3267c88 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2018-12-08T05:11 CET (sv-comp)
Download ba20090 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness SMACK 1.9.3 4 2018-12-08T16:06:05
Download a6e9cac Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Pinaka 6 2018-12-07T10:28 CET (sv-comp)
Download 56c8cf2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7 8 2018-12-10T17:40:04+01:00
Download dd7d4f6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn b8d6131600+ 9 2018-12-08T02:18:27+01:00
Download 7115095 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-10T20:36:17+01:00 Download 56c8cf2
Download f763aaf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-10T10:48:59+01:00 Download f046014
Download ac4d92a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-09T20:53:15+01:00 Download 0c414ec
Download 49eab0e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-09T20:39:36+01:00 Download 33ef530
Download f391306 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-09T20:31:36+01:00 Download 0be70d0
Download d938b98 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-09T18:21:38+01:00 Download 04739a6
Download 0a9f86f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-08T23:44:49+01:00 Download 3267c88
Download 58c40bb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-08T22:08:41+01:00 Download ba20090
Download 5632a1c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-08T08:56:23+01:00 Download dd7d4f6
Download e09bd44 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-08T05:01:21+01:00 Download a248433
Download fc76646 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-08T03:47:26+01:00 Download f046014
Download 3762bde Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-07T18:33:50+01:00 Download 7a8ae18
Download c667886 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-07T17:06:05+01:00 Download a6e9cac
Download 48b52dc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-07T09:26:54+01:00 Download 1333d0e
Download af72872 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-07T01:19:48+01:00 Download 4e62e12
Download b614119 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-06T10:19:12+01:00 Download a3452a5
Download 965be0a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-06T09:48:54+01:00 Download 8238929
Download 9cd666c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-06T09:18:59+01:00 Download bd3ef0f
Download 5170f28 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-06T09:16:37+01:00 Download 6691cf0
Download 8238929 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 9 2018-12-06T07:33:04+01:00
Download 554a516 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-06T09:42:51+01:00 Download 6060659
Download 2ac8dbd Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 1 2018-12-08T07:43 CET (sv-comp)
Download 421e928 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2018-12-07T02:48 CET (sv-comp)

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

Trying to find witnesses for program (5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138, sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i).

Found 23 witnesses for program sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i, 5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 8ce24d8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness skink 3 2017-12-01T23:18 CET (sv-comp)
Download 93ec7d6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Taipan 7 2017-12-03T03:13Z
Download ff02296 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2017-12-01T23:54 CET (sv-comp)
Download 1333d0e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness PredatorHP 4 2017-12-01T20:49 CET (sv-comp)
Download 81329c3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Map2Check 3 2017-12-01T20:45 CET (sv-comp)
Download ef2d281 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Kojak 7 2017-12-02T22:48Z
Download c093dc6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Forester 5 2017-12-01T17:56 CET (sv-comp)
Download b41b22a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 4.6.0 kind 4 2017-12-01T14:13:02.086560
Download 9dc3b7a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 4.6.0 incr 4 2017-12-01T09:54:39.215913
Download aed9e38 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 3.1 4 2017-12-01T15:44 CET (sv-comp)
Download 56450fd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 3.1 4 2017-12-01T03:58 CET (sv-comp)
Download fc08820 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 8 2017-12-02T19:35:38+01:00
Download d323835 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26773 9 2017-11-30T13:41:46+01:00
Download 42ff33e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26758M 9 2017-11-30T13:38:19+01:00
Download eba3ec1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26725 7 2017-11-30T23:11:54+01:00
Download e7be1b7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker (unknown version) 7 2017-12-01T20:14:37+01:00
Download 2cb411a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CBMC 4 2017-11-30T17:58 CET (sv-comp)
Download ef62704 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Automizer 7 2017-12-02T03:53Z
Download 5c5f9d1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness 2LS 6 2017-11-30T13:39 CET (sv-comp)
Download 30edce1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-03T00:18:06.005898
Download 9e6d900 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-02T11:29:43.539489
Download 9ceab37 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness CBMC 5 2017-12-01T13:10 CET (sv-comp)
Download 57b6efb Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness 2LS 8 2017-12-01T16:25 CET (sv-comp)

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

Trying to find witnesses for program (5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138, sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test_while_int_true-termination.c_false-unreach-call_1.i, 5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/5fa9ad0de651e813a37ea91dcce27ec5f03b7d3de509ca5a0c0c944cb840d138.json

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