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 (469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c, sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i).

Found 44 witnesses for program sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i, 469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 7cb97b8 Inspect Inspect
Validate
valid-memsafety violation_witness DIVINE 4 2 2023-12-18T08:04:44+01:00
Download 581086f Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Symbiotic 3 2023-12-16T23:02:00Z
Download 1aac1f2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.3 6 2023-12-18T12:01:14+01:00 Download 7cb97b8
Download 8fac150 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.3 6 2023-11-30T05:20:34+01:00
Download 80ded7d Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2.1-svn-e677b7cd46+ 6 2023-12-03T18:20:37+01:00
Download 56a0fd0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-38892M 8 2023-12-18T01:44:19+01:00
Download e367fb4 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 12 2023-12-02T13:07:51Z
Download e5cec9d 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 Mopsa (v1.0~pre2) 3 2023-11-29T09:40:30Z
Download b723837 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 2023-11-29T02:37:13Z
Download 8f59d0b Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-deref) ) correctness_witness CPAchecker 2.0 6 2023-12-19T13:13:27+01:00
Download 8828ff0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-deref) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 6 2023-12-19T00:59:14+01:00
Download 4a01a80 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) violation_witness crux-llvm-0.5.0.99 5 2023-12-18T05:12:32+01:00
Download ff1059b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness sv-comp-24 4 2023-12-03T18:01:31+01:00
Download f69a96c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness frama-c-sv version 0.4.0 3 2023-12-03T06:56:11Z
Download 996585a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Taipan 12 2023-12-02T12:56:20Z
Download fe2261f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2023-12-17T00:40:01Z
Download 5b46b69 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2023-11-29T22:55:49Z
Download 75557d4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Pinaka 3 2023-12-19T20:39:07
Download 40d9695 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Kojak 12 2023-12-03T02:41:19Z
Download 70afdd0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Goblint (tags/svcomp24-0-gc2e9465a7) 10 2023-12-01T01:51:18Z
Download 85b37a9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-20T02:17:12+01:00 Download 75557d4
Download b906fe4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-19T14:56:42+01:00 Download 40b472c
Download 78dbb64 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-19T03:57:36+01:00 Download af86c86
Download d3fa12b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-18T06:12:56+01:00 Download 4a01a80
Download 20cd677 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-17T06:08:51+01:00 Download fe2261f
Download a0f7e91 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-04T11:47:16+01:00 Download 996585a
Download 378a3c2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-04T01:33:41+01:00 Download 3515f11
Download 378c845 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-03T18:31:15+01:00 Download ff1059b
Download 3299549 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-03T09:54:53+01:00 Download f69a96c
Download 259b755 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-03T06:01:51+01:00 Download 40d9695
Download d930ba3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-12-01T03:48:16+01:00 Download 70afdd0
Download 248fe69 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-11-30T11:54:44+01:00 Download 8f72c16
Download 8f72c16 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-11-30T07:16:46+01:00
Download c4226f9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-11-30T02:42:06+01:00 Download 5b46b69
Download 3875a1b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 6 2023-11-29T08:23:45+01:00 Download 5bf71f4
Download 3515f11 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2.1-svn-e677b7cd46+ 6 2023-12-03T21:56:02+01:00
Download 40b472c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 6 2023-12-19T10:58:14+01:00
Download af86c86 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 6 2023-12-18T17:12:35+01:00
Download 5bf71f4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Automizer 12 2023-11-28T23:34:37Z
Download 8288ec9 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Goblint (tags/svcomp24-0-gc2e9465a7) 3 2023-12-01T01:32:06Z
Download 582cc06 Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: '2.0' uuid: 8c6f4270-781c-467c-bc08-2ed1af1bbb1d creation_time: '2023-12-02T13:56:20+01:00' producer: name: Taipan version: 0.2.4-dev-0e0057c task: input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e7aee6f8-87a6-447e-ae72-0193734a2202/sv-benchmarks/c/termination-dietlibc/stpcpy.i input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e7aee6f8-87a6-447e-ae72-0193734a2202/sv-benchmarks/c/termination-dietlibc/stpcpy.i : 469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c specification: |+ CHECK( init(main()), LTL(G ! overflow) ) data_model: 64bit language: C content: [ ] correctness_witness CPAchecker 2.3 7 2023-12-04T12:03:37+01:00
Download d82eb23 Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: '2.0' uuid: 36ddc9f6-9397-4a8a-a88a-53ba8d35e637 creation_time: '2023-12-03T03:41:19+01:00' producer: name: Kojak version: 0.2.4-dev-0e0057c task: input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_286cc3ad-5c65-4dad-99d6-0b837b4ec757/sv-benchmarks/c/termination-dietlibc/stpcpy.i input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_286cc3ad-5c65-4dad-99d6-0b837b4ec757/sv-benchmarks/c/termination-dietlibc/stpcpy.i : 469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c specification: |+ CHECK( init(main()), LTL(G ! overflow) ) data_model: 64bit language: C content: [ ] correctness_witness CPAchecker 2.3 7 2023-12-03T05:33:52+01:00
Download f72fce1 Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: '2.0' uuid: 35c4a0c6-f71f-4d64-93b1-9a34569660b0 creation_time: '2023-11-29T00:34:37+01:00' producer: name: Automizer version: 0.2.4-dev-0e0057c task: input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e422ab03-b555-4b22-80fe-9f1c8910170e/sv-benchmarks/c/termination-dietlibc/stpcpy.i input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e422ab03-b555-4b22-80fe-9f1c8910170e/sv-benchmarks/c/termination-dietlibc/stpcpy.i : 469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c specification: |+ CHECK( init(main()), LTL(G ! overflow) ) data_model: 64bit language: C content: [ ] correctness_witness CPAchecker 2.3 7 2023-11-29T07:46:38+01:00
Download 829416f Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: "2.0" uuid: 0470dfd0-e8d1-42da-9fd2-fa70d498834f creation_time: 2023-12-01T01:51:18Z 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-dietlibc/stpcpy.i''' task: input_files: - ../../sv-benchmarks/c/termination-dietlibc/stpcpy.i input_file_hashes: ../../sv-benchmarks/c/termination-dietlibc/stpcpy.i: 469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c data_model: LP64 language: C specification: CHECK( init(main()), LTL(G ! overflow) ) content: [] correctness_witness CPAchecker 2.3 7 2023-12-01T04:44:04+01:00

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

Trying to find witnesses for program (469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c, sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i).

Found 39 witnesses for program sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i, 469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 9232c98 Inspect Inspect
Validate
valid-memsafety violation_witness DIVINE 4 2 2022-12-09T07:17:33+01:00
Download 42be1c7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Symbiotic 3 2022-12-25T08:40:08Z
Download 36a8e9b Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2 6 2023-01-29T04:19:12+01:00 Download db46093
Download 8e85a21 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2 6 2023-01-28T14:19:17+01:00 Download 9232c98
Download 2a719af Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2 6 2022-12-10T11:53:21+01:00
Download 5955823 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2.1-svn-1715bd67dc+ 6 2022-12-11T23:29:53+01:00
Download 071f42e Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0 6 2022-12-11T03:51:24+01:00
Download a05b6a5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 6 2022-12-10T01:40:16+01:00
Download a4e6a4a Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-38892M 8 2022-12-09T03:00:13+01:00
Download e2a641f 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 11 2022-12-14T03:55:31Z
Download bfbbf15 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 11 2022-12-13T15:55:23Z
Download e4af674 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) violation_witness crux-llvm-0.5.0.99 5 2022-12-09T04:49:55+01:00
Download f58fe5f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness sv-comp-22 4 2022-12-10T22:07:26+01:00
Download 9b2fb60 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness frama-c-sv version 0.4.0 3 2022-12-09T13:14:07Z
Download cbfc32a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Taipan 11 2022-12-14T08:04:37Z
Download 6ba6fe2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2022-12-25T10:52:25Z
Download 33c9a96 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2022-12-12T13:30:15Z
Download 8ad40aa Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Pinaka 3 2022-12-11T14:13:29
Download 69a2f0f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Kojak 11 2022-12-14T18:45:23Z
Download 008da9d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Goblint (tags/svcomp23-0-g4f5dcf38f) 14 2022-12-10T07:52:46Z
Download 25eabdf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T10:52:24+01:00 Download cbfc32a
Download fec0c0c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T07:16:37+01:00 Download 52db54f
Download a4bb750 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T06:28:42+01:00 Download 69a2f0f
Download 22672d3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T05:19:55+01:00 Download 33c9a96
Download 1c7e62f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T04:50:38+01:00 Download 8ad40aa
Download adb993a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T02:34:05+01:00 Download fe71c36
Download cbedf2e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-29T00:06:28+01:00 Download fc7faaf
Download e83cad1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T22:51:24+01:00 Download f58fe5f
Download 5d58508 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T22:24:31+01:00 Download 008da9d
Download 89daf16 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T18:03:02+01:00 Download 78f2820
Download ba8ff8e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T17:38:01+01:00 Download 9b2fb60
Download 95c0356 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T11:37:12+01:00 Download 89e63fc
Download 55a9a03 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T08:33:35+01:00 Download e4af674
Download 5d23628 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2023-01-28T00:33:44+01:00 Download 6ba6fe2
Download 89e63fc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 6 2022-12-10T18:56:43+01:00
Download fe71c36 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2.1-svn-1715bd67dc+ 6 2022-12-11T23:24:16+01:00
Download fc7faaf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 6 2022-12-11T03:57:56+01:00
Download 78f2820 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 6 2022-12-09T23:33:53+01:00
Download 52db54f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Automizer 11 2022-12-13T19:25:17Z

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

Trying to find witnesses for program (469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c, sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i).

Found 1 witnesses for program sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i, 469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c.json

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

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

Trying to find witnesses for program (469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c, sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i).

Found 2 witnesses for program sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i, 469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download c95a826 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 2 2020-12-11T20:21:48
Download f397bcb Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 2 2020-12-09T02:12:03

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

Trying to find witnesses for program (469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c, sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i).

Found 0 witnesses for program sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i, 469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c.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 (469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c, sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i).

Found 0 witnesses for program sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i, 469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c.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 (469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c, sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i).

Found 0 witnesses for program sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i, 469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c.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 (469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c, sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i).

Found 0 witnesses for program sv-benchmarks/c/termination-libowfat/stpcpy_true-termination.c.i, 469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/469311c0017f986a05caefa2da4fc5bc0c8b955df01c1466f03ef72ee537722c.json

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