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/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c
programSHA 38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe
witnessName results-verified/depthk.2017-11-30_1601.logfiles/sv-comp18.test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c.files/witness.graphml
witnessSHA 0e5c407080b9b125d53ba7443f5e51d29afe8b89aaf64bf9b44f8d14c9f87ec2

Information about the Witness from Competition Database

from https://sv-comp.sosy-lab.org/2018/results/witnessInfoByHash/0e5c407080b9b125d53ba7443f5e51d29afe8b89aaf64bf9b44f8d14c9f87ec2.json

Key Value
architecture 32bit
creationtime 2017-12-01T01:06:55+01:00
producer CPAchecker 1.6.1-svn
program-sha256 38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe
programfile /tmp/vcloud-vcloud-master/worker/working_dir_79c95e4a-46d8-436b-b898-fa3fac6a3ca7/sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c
programhash 129b0578c0c64625cef50fbcfd5d128651ff3275
sourcecodelang C
specification CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) )
witness-file witnessFileByHash/0e5c407080b9b125d53ba7443f5e51d29afe8b89aaf64bf9b44f8d14c9f87ec2.graphml
witness-sha256 0e5c407080b9b125d53ba7443f5e51d29afe8b89aaf64bf9b44f8d14c9f87ec2
witness-size 3957
witness-type correctness_witness

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

Trying to find witnesses for program (38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe, sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c).

Found 0 witnesses for program sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c, 38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe.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 (38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe, sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c).

Found 0 witnesses for program sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c, 38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe.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 (38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe, sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c).

Found 0 witnesses for program sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c, 38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe.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 (38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe, sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c).

Found 0 witnesses for program sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c, 38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe.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 (38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe, sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c).

Found 15 witnesses for program sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c, 38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 2c4e9cc Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) correctness_witness CPAchecker 1.9 27 2019-11-29T17:07:50+01:00
Download 7b9d32c Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-deref) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ 27 2019-11-30T21:27:10+01:00
Download 4044857 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 27 2019-12-11T20:30:35+01:00 Download 899e361
Download 5e1e999 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 27 2019-12-11T20:21:34+01:00 Download b56a4dc
Download 303eb56 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 27 2019-12-11T20:02:17+01:00 Download 1ac0372
Download 993ea88 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 27 2019-12-08T00:50:49+01:00 Download af079ae
Download c6700b8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 27 2019-12-07T23:15:41+01:00 Download 15ba6e9
Download 3fe6ff3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 27 2019-12-07T19:47:23+01:00 Download 37b44bd
Download 9b17f32 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 27 2019-12-05T19:02:54+01:00 Download 8acc3f3
Download 0fc6a45 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 27 2019-11-30T16:53:49+01:00 Download 7aff0b0
Download 7aff0b0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / svcomp20 27 2019-11-29T16:28:13+01:00
Download af079ae Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8 27 2019-12-07T22:31:01+01:00
Download b56a4dc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 27 2019-12-01T19:27:03+01:00
Download 0fb8fc8 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness CPAchecker 1.9 50 2019-11-30T09:35:37+01:00
Download 5d04010 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness CPAchecker 1.8-svn-35b8bb3bb3+ 50 2019-11-30T22:55:53+01:00

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

Trying to find witnesses for program (38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe, sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c).

Found 22 witnesses for program sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c, 38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 2cc3cdc Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Symbiotic 1 2018-12-08T02:23 CET (sv-comp)
Download 6cc1304 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 27 2018-12-07T09:53:09+01:00
Download aafb448 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-deref) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-06T07:06:52+01:00
Download 59b1da5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2018-12-08T17:19 CET (sv-comp)
Download 2a5a7cb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness SMACK 1.9.3 3 2018-12-08T04:04:24
Download 152ec56 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7 27 2018-12-10T19:05:15+01:00
Download 6defc18 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 27 2018-12-08T03:54:26+01:00
Download 270144d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-10T19:40:54+01:00 Download 152ec56
Download 183b826 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-09T20:33:35+01:00 Download 5c3a530
Download f9d310b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-09T19:48:12+01:00 Download f23a324
Download ed82caf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-09T17:13:57+01:00 Download 8bbb3b2
Download 6c2a1ef Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-08T23:14:15+01:00 Download 59b1da5
Download 5aecc09 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-08T21:46:09+01:00 Download 2a5a7cb
Download 4f67a0f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-08T07:12:06+01:00 Download 6defc18
Download 7d4d83a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-08T03:26:39+01:00 Download 2dac678
Download 094d2c4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-07T17:32:28+01:00 Download aa5c53c
Download 889c74c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-06T09:28:38+01:00 Download 71e65e3
Download 5807391 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-06T09:14:57+01:00 Download 5b0d7ac
Download 3adb0d4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-06T08:08:36+01:00 Download 8b007c4
Download 5b0d7ac Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 27 2018-12-06T06:54:14+01:00
Download 5ebdb9a Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness CPAchecker 1.7-svn b8d6131600+ 49 2018-12-08T00:54:58+01:00
Download 88aca20 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness CPAchecker 1.7-svn 29852 50 2018-12-05T22:55:42+01:00

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

Trying to find witnesses for program (38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe, sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c).

Found 35 witnesses for program sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c, 38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 2a2136b Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Symbiotic 1 2017-12-03T00:22 CET (sv-comp)
Download cae36b1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) correctness_witness ESBMC 4.6.0 kind 3 2017-12-02T11:55:14.139310
Download aabec41 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) correctness_witness ESBMC 3.1 94 2017-12-01T09:42 CET (sv-comp)
Download a3366da Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Taipan 42 2017-12-03T06:53Z
Download 546a3e6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Kojak 44 2017-12-03T03:54Z
Download aba580f Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Automizer 42 2017-12-03T04:11Z
Download 4d91609 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) CHECK( init(main()), LTL(G valid-deref) ) CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness 2LS 66 2017-12-01T08:21 CET (sv-comp)
Download aa5c53c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness skink 3 2017-12-01T23:51 CET (sv-comp)
Download 21e8158 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Taipan 43 2017-12-03T01:43Z
Download efe097b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2017-12-02T07:39 CET (sv-comp)
Download f4b940a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Kojak 44 2017-12-02T14:15Z
Download 6117248 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 kind 3 2017-12-01T21:19:47.839788
Download e0d4f0d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 3.1 95 2017-12-01T17:58 CET (sv-comp)
Download b3ca8af Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 28 2017-12-02T19:48:55+01:00
Download 0e5c407 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 4 2017-12-01T01:06:55+01:00
Download 245efd9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 27 2017-12-03T06:51:24+01:00 8da4711
Download b7b029c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 28 2017-12-03T04:15:19+01:00 97cb424
Download 4ead34b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 27 2017-12-03T02:42:09+01:00 ec53003
Download 216ba82 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 27 2017-12-03T01:38:03+01:00 bc9147e
Download 177a7b1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 27 2017-12-02T20:33:06+01:00 15b062f
Download af1f3cf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 27 2017-12-02T08:56:10+01:00 fc9218f
Download 77f0605 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 27 2017-12-02T00:16:19+01:00 1554e1e
Download 0ea1937 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 27 2017-12-01T08:14:05+01:00 c7ef5c5
Download 5b1a5b4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 27 2017-12-01T06:18:06+01:00 1d42ff4
Download 09ae931 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 27 2017-12-01T05:27:45+01:00 3ca5b5e
Download 4fc8f26 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 27 2017-12-01T05:17:14+01:00 2523d4c
Download 6bcba6c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 27 2017-12-01T04:55:12+01:00 6f077b1
Download 8205e6c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 27 2017-11-30T13:57:21+01:00
Download fa71a4d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26758M 28 2017-12-01T01:02:20+01:00
Download 75c220d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26725 27 2017-11-30T14:56:16+01:00
Download 689bce9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Automizer 43 2017-12-02T02:50Z
Download ab36303 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness 2LS 66 2017-11-30T18:16 CET (sv-comp)
Download fe8b8df Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness CPAchecker 1.6.1-svn 26773 49 2017-12-01T16:31:15+01:00
Download 6b84ef5 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness Automizer 34 2017-12-03T11:14Z
Download 91d9381 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) violation_witness 2LS 27 2017-12-01T13:36 CET (sv-comp)

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

Trying to find witnesses for program (38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe, sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c).

Found 0 witnesses for program sv-benchmarks/c/locks/test_locks_15_true-unreach-call_true-valid-memsafety_false-termination.c, 38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/38012c6fd9010b95cb453d061d6d78724cf269ace5309358f8dab44ee4ab3afe.json

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