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).

This link does not point to a witness, but below is a list of witnesses for the same program.

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

Trying to find witnesses for program (cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414, sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i).

Found 42 witnesses for program sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i, cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download ddad0c4 Inspect Inspect
Validate
valid-memsafety violation_witness DIVINE 4 2 2023-12-18T09:51:40+01:00
Download 82d7c19 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.3 6 2023-12-18T12:06:38+01:00 Download ddad0c4
Download ea5959a Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.3 6 2023-11-30T06:55:46+01:00
Download c517a71 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2.1-svn-e677b7cd46+ 6 2023-12-03T20:21:18+01:00
Download 28e29a6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.1 6 2023-12-17T02:04:31+01:00
Download 737bf2b Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-38892M 10 2023-12-18T01:56:49+01:00
Download d803b58 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 6 2023-12-18T18:18:24+01:00
Download 26ae42e 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 14 2023-12-02T18:25:04Z
Download 18d9988 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 14 2023-12-03T01:11:04Z
Download 685de4e 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 13 2023-11-29T04:12:25Z
Download 26d2e0d Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-deref) ) correctness_witness CPAchecker 2.0 6 2023-12-19T11:05:40+01:00
Download a3f9e6d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness sv-comp-24 4 2023-12-03T17:17:46+01:00
Download fdbf408 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness frama-c-sv version 0.4.0 3 2023-12-03T07:01:28Z
Download 57d8ad5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Taipan 14 2023-12-02T17:48:49Z
Download aa9df2b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2023-12-17T03:22:44Z
Download 40fecc6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2023-11-29T23:31:34Z
Download 658a124 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Mopsa (v1.0~pre2) 3 2023-11-29T14:13:40Z
Download 37f167d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Kojak 14 2023-12-02T20:55:49Z
Download 6786741 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Goblint (tags/svcomp24-0-gc2e9465a7) 11 2023-12-01T01:47:42Z
Download 5f9d20b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-19T14:30:22+01:00 Download fe70f71
Download 49a1f88 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-19T04:25:40+01:00 Download 7635182
Download ad70c3c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-17T06:27:41+01:00 Download aa9df2b
Download 5cb7c0c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-04T11:25:19+01:00 Download 57d8ad5
Download 6a4d2ec Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-04T01:41:14+01:00 Download c1e10cf
Download 31dd1a4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-03T18:32:34+01:00 Download a3f9e6d
Download f1850cb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-03T09:54:44+01:00 Download fdbf408
Download fb39eaf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-03T06:08:04+01:00 Download 37f167d
Download e787ab7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-01T03:42:08+01:00 Download 6786741
Download a794677 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-11-30T11:37:58+01:00 Download 1e0b760
Download 2d5166b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-11-30T02:38:23+01:00 Download 40fecc6
Download 1e0b760 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-11-30T02:22:38+01:00
Download 0455833 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-11-29T18:26:15+01:00 Download 658a124
Download 72f77b7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-11-29T08:22:04+01:00 Download 9b3c026
Download c1e10cf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2.1-svn-e677b7cd46+ 6 2023-12-03T23:18:06+01:00
Download fe70f71 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 6 2023-12-19T13:15:48+01:00
Download 7635182 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 6 2023-12-18T20:52:31+01:00
Download 9b3c026 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Automizer 14 2023-11-29T06:04:25Z
Download 9798e31 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Goblint (tags/svcomp24-0-gc2e9465a7) 3 2023-12-01T02:08:49Z
Download d1475ca Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: '2.0' uuid: da180eff-44ff-4ba5-8c0d-830ec4d8dd88 creation_time: '2023-12-02T18:48:49+01:00' producer: name: Taipan version: 0.2.4-dev-0e0057c task: input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7fcd205f-9b52-4a74-ab4d-834153b0202d/sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca.i input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_7fcd205f-9b52-4a74-ab4d-834153b0202d/sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca.i : cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414 specification: |+ CHECK( init(main()), LTL(G ! overflow) ) data_model: 64bit language: C content: [ ] correctness_witness CPAchecker 2.3 7 2023-12-04T12:00:10+01:00
Download 3a5be20 Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: '2.0' uuid: b922b9f5-7fa2-4542-8908-6338ab77c025 creation_time: '2023-12-02T21:55:49+01:00' producer: name: Kojak version: 0.2.4-dev-0e0057c task: input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_d7f8dbdb-655b-41f7-b64c-c14cef48908d/sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca.i input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_d7f8dbdb-655b-41f7-b64c-c14cef48908d/sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca.i : cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414 specification: |+ CHECK( init(main()), LTL(G ! overflow) ) data_model: 64bit language: C content: [ ] correctness_witness CPAchecker 2.3 7 2023-12-03T05:34:11+01:00
Download cf68554 Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: '2.0' uuid: 4eb945c0-a137-4875-bd3c-0960faa4f78d creation_time: '2023-11-29T07:04:25+01:00' producer: name: Automizer version: 0.2.4-dev-0e0057c task: input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_6b67105e-b21d-41e9-98b5-1d308b287d9f/sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca.i input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_6b67105e-b21d-41e9-98b5-1d308b287d9f/sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca.i : cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414 specification: |+ CHECK( init(main()), LTL(G ! overflow) ) data_model: 64bit language: C content: [ ] correctness_witness CPAchecker 2.3 7 2023-11-29T07:43:52+01:00
Download f67e6ca Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: "2.0" uuid: 443f105f-bf4d-497f-a157-ee2f86acb520 creation_time: 2023-12-01T01:47:42Z producer: name: Goblint version: tags/svcomp24-0-gc2e9465a7 command_line: '''./goblint'' ''--conf'' ''conf/svcomp24.json'' ''--sets'' ''ana.specification'' ''../../sv-benchmarks/c/properties/no-overflow.prp'' ''--sets'' ''exp.architecture'' ''64bit'' ''../../sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca.i''' task: input_files: - ../../sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca.i input_file_hashes: ../../sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca.i: cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414 data_model: LP64 language: C specification: CHECK( init(main()), LTL(G ! overflow) ) content: [] correctness_witness CPAchecker 2.3 7 2023-12-01T04:39:17+01:00

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

Trying to find witnesses for program (cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414, sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i).

Found 37 witnesses for program sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i, cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download c6a9505 Inspect Inspect
Validate
valid-memsafety violation_witness DIVINE 4 2 2022-12-09T07:10:00+01:00
Download 33efe3b Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2 6 2023-01-28T14:19:00+01:00 Download c6a9505
Download 767c813 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2 6 2022-12-10T17:08:53+01:00
Download 6524a24 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2.1-svn-1715bd67dc+ 6 2022-12-12T02:46:26+01:00
Download 176a4f4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.1 6 2022-12-25T12:14:44+01:00
Download b44df4c Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 6 2022-12-10T04:11:06+01:00
Download 93774af Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-38892M 10 2022-12-09T02:50:02+01:00
Download 0a4a9e4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) correctness_witness CPAchecker 2.0 6 2022-12-11T04:10:14+01:00
Download 4dafde8 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 13 2022-12-14T05:44:15Z
Download 362b1c6 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 13 2022-12-14T20:45:45Z
Download f4a07a3 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 12 2022-12-13T13:52:17Z
Download e326589 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness sv-comp-22 4 2022-12-10T22:02:16+01:00
Download 847dca4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness frama-c-sv version 0.4.0 3 2022-12-09T13:39:30Z
Download 1f98aaa Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Taipan 13 2022-12-14T11:02:06Z
Download 6e072ad Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2022-12-25T09:11:16Z
Download dfc1a13 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2022-12-12T14:52:38Z
Download 8f55319 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Mopsa (v1.0~pre2) 3 2022-12-11T10:56:28Z
Download 61d5291 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Kojak 13 2022-12-15T01:56:22Z
Download 8939cab Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Goblint (tags/svcomp23-0-g4f5dcf38f) 18 2022-12-10T08:01:31Z
Download 06e000d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T10:51:23+01:00 Download 1f98aaa
Download 9d5dc51 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T07:18:56+01:00 Download 685e22c
Download 589d3ca Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T06:23:23+01:00 Download 61d5291
Download f80ec95 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T05:18:22+01:00 Download dfc1a13
Download bf4321b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T03:45:55+01:00 Download 8f55319
Download fec15fc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T03:03:49+01:00 Download 03b472a
Download 0f00218 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T00:06:46+01:00 Download 655c10a
Download 331f4ed Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T22:52:33+01:00 Download e326589
Download d05d74e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T22:39:15+01:00 Download 8939cab
Download 3cc8c22 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T18:07:55+01:00 Download 46ceb21
Download f481efd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T17:38:09+01:00 Download 847dca4
Download 2afb6cf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T10:53:23+01:00 Download cff158c
Download a89a9f7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T00:46:49+01:00 Download 6e072ad
Download cff158c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2022-12-10T21:25:47+01:00
Download 03b472a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2.1-svn-1715bd67dc+ 6 2022-12-12T02:33:08+01:00
Download 655c10a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 6 2022-12-11T05:14:55+01:00
Download 46ceb21 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 6 2022-12-09T23:52:29+01:00
Download 685e22c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Automizer 13 2022-12-13T17:25:54Z

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

Trying to find witnesses for program (cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414, sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i).

Found 1 witnesses for program sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i, cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 29cfac4 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 2 2021-12-10T18:39:41

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

Trying to find witnesses for program (cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414, sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i).

Found 2 witnesses for program sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i, cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download e592786 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 2 2020-12-11T21:24:59
Download 794c519 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 2 2020-12-09T02:37:03

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

Trying to find witnesses for program (cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414, sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i).

Found 0 witnesses for program sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i, cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414.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 '19

Trying to find witnesses for program (cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414, sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i).

Found 0 witnesses for program sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i, cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414.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 '18

Trying to find witnesses for program (cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414, sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i).

Found 0 witnesses for program sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i, cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414.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 '17

Trying to find witnesses for program (cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414, sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i).

Found 0 witnesses for program sv-benchmarks/c/termination-15/cstrcpy_reverse_alloca_true-termination.c.i, cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/cf36d0c9351c4c2fb1711d3f7c837e0253db9403415afa1c4469ec7ba9a72414.json

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