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 (d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e, sv-benchmarks/c/termination-libowfat/strspn_true-termination.c.i).

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download ad2358d Inspect Inspect
Validate
valid-memsafety violation_witness DIVINE 4 2 2023-12-18T09:21:35+01:00
Download 20f2905 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Symbiotic 3 2023-12-17T02:12:12Z
Download 50982d9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.3 8 2023-12-18T12:07:58+01:00 Download ad2358d
Download ab19051 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.3 8 2023-11-30T06:52:49+01:00
Download fc4e274 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2.1-svn-e677b7cd46+ 8 2023-12-03T23:19:09+01:00
Download 69a9a18 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-38892M 11 2023-12-18T02:02:27+01:00
Download dc1bb1c Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 8 2023-12-18T22:53:33+01:00
Download 5a1d2eb 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 18 2023-12-02T11:27:31Z
Download d7700ee 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 18 2023-11-29T03:25:35Z
Download a5713c3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-deref) ) correctness_witness CPAchecker 2.0 8 2023-12-19T13:09:57+01:00
Download 7c7bc99 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness sv-comp-24 4 2023-12-03T17:15:56+01:00
Download bd17da0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness frama-c-sv version 0.4.0 3 2023-12-03T07:55:46Z
Download 4a58d81 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Taipan 17 2023-12-02T13:26:38Z
Download 5e9fbfe Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2023-12-17T03:47:15Z
Download f15affb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2023-11-29T16:59:33Z
Download 60947e7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Pinaka 3 2023-12-19T20:52:16
Download 748f360 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Mopsa (v1.0~pre2) 3 2023-11-29T09:19:20Z
Download 50d5ce0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Kojak 17 2023-12-02T20:50:00Z
Download 4ab985e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Goblint (tags/svcomp24-0-gc2e9465a7) 9 2023-11-30T22:32:28Z
Download 706d74e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-12-20T02:32:27+01:00 Download 60947e7
Download 4a79650 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-12-19T15:16:56+01:00 Download 6e22ebd
Download fa588df Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-12-19T03:49:51+01:00 Download f48d40c
Download 316184f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-12-17T06:10:55+01:00 Download 5e9fbfe
Download acf130b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-12-04T11:46:05+01:00 Download 4a58d81
Download 4088ecf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-12-04T02:02:05+01:00 Download cfda8dd
Download c758f50 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-12-03T18:35:39+01:00 Download 7c7bc99
Download d6b7630 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-12-03T09:54:14+01:00 Download bd17da0
Download 6fcbc26 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-12-03T06:03:10+01:00 Download 50d5ce0
Download 553642d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-12-01T03:41:16+01:00 Download 4ab985e
Download 7a73857 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-11-30T11:45:55+01:00 Download 50b0f20
Download 50b0f20 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-11-30T06:00:33+01:00
Download c3425c7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-11-30T02:38:21+01:00 Download f15affb
Download bb99606 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-11-29T18:17:48+01:00 Download 748f360
Download 81e3cbe Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 8 2023-11-29T08:06:33+01:00 Download f84a322
Download cfda8dd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2.1-svn-e677b7cd46+ 8 2023-12-04T00:28:58+01:00
Download 6e22ebd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 8 2023-12-19T11:47:37+01:00
Download f48d40c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 8 2023-12-18T20:55:35+01:00
Download f84a322 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Automizer 17 2023-11-29T03:38:31Z
Download 9337f38 Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: '2.0' uuid: e15d238a-4a9b-4ce4-9f7a-77d284918eda creation_time: '2023-11-29T04:38:31+01:00' producer: name: Automizer version: 0.2.4-dev-0e0057c task: input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_c484db6a-6f9a-408d-8037-51998f97c1a0/sv-benchmarks/c/termination-dietlibc/strspn.i input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_c484db6a-6f9a-408d-8037-51998f97c1a0/sv-benchmarks/c/termination-dietlibc/strspn.i : d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e specification: |+ CHECK( init(main()), LTL(G ! overflow) ) data_model: 64bit language: C content: [ ] correctness_witness CPAchecker 2.3 9 2023-11-29T07:48:03+01:00
Download dd94a9f Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: '2.0' uuid: 73764796-4221-43d8-9063-d12d54abc4ef creation_time: '2023-12-02T14:26:38+01:00' producer: name: Taipan version: 0.2.4-dev-0e0057c task: input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e355eac2-6c4f-433c-b4d4-91f8f622be79/sv-benchmarks/c/termination-dietlibc/strspn.i input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_e355eac2-6c4f-433c-b4d4-91f8f622be79/sv-benchmarks/c/termination-dietlibc/strspn.i : d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e specification: |+ CHECK( init(main()), LTL(G ! overflow) ) data_model: 64bit language: C content: [ ] correctness_witness CPAchecker 2.3 9 2023-12-04T12:04:18+01:00
Download c434026 Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: '2.0' uuid: 2b2b2ba3-5880-4bac-8eed-ff10763c78ec creation_time: 2023-12-02T21:50+01:00 producer: name: Kojak version: 0.2.4-dev-0e0057c task: input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_03b4dbe3-967a-4542-af22-a4d0aec1b347/sv-benchmarks/c/termination-dietlibc/strspn.i input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_03b4dbe3-967a-4542-af22-a4d0aec1b347/sv-benchmarks/c/termination-dietlibc/strspn.i : d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e specification: |+ CHECK( init(main()), LTL(G ! overflow) ) data_model: 64bit language: C content: [ ] correctness_witness CPAchecker 2.3 9 2023-12-03T05:32:49+01:00
Download dbf3c55 Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: "2.0" uuid: 98ea4513-d017-4b1c-92d9-7d1bfd72e6a0 creation_time: 2023-11-30T22:32:28Z 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/strspn.i''' task: input_files: - ../../sv-benchmarks/c/termination-dietlibc/strspn.i input_file_hashes: ../../sv-benchmarks/c/termination-dietlibc/strspn.i: d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e data_model: LP64 language: C specification: CHECK( init(main()), LTL(G ! overflow) ) content: - invariant: type: loop_invariant location: file_name: ../../sv-benchmarks/c/termination-dietlibc/strspn.i file_hash: d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e line: 510 column: 6 function: strspn value: 0 == l format: c_expression - invariant: type: loop_invariant location: file_name: ../../sv-benchmarks/c/termination-dietlibc/strspn.i file_hash: d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e line: 510 column: 6 function: strspn value: l == 0UL format: c_expression correctness_witness CPAchecker 2.3 9 2023-12-01T04:18:11+01:00

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

Trying to find witnesses for program (d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e, sv-benchmarks/c/termination-libowfat/strspn_true-termination.c.i).

Found 38 witnesses for program sv-benchmarks/c/termination-libowfat/strspn_true-termination.c.i, d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download c282b53 Inspect Inspect
Validate
valid-memsafety violation_witness DIVINE 4 2 2022-12-09T05:24:11+01:00
Download ce295f3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Symbiotic 3 2022-12-25T12:04:34Z
Download 2f02151 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2 8 2023-01-28T14:19:44+01:00 Download c282b53
Download 663904c Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2 8 2022-12-10T19:50:07+01:00
Download 621c80d Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2.1-svn-1715bd67dc+ 8 2022-12-11T21:31:19+01:00
Download 8c65235 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-38892M 11 2022-12-09T02:52:47+01:00
Download 837074d 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 17 2022-12-14T07:48:58Z
Download d6f4ad4 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 17 2022-12-13T13:53:18Z
Download 30b3cdf Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-deref) ) correctness_witness CPAchecker 2.0 8 2022-12-11T03:45:24+01:00
Download 549c919 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-deref) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 8 2022-12-10T03:15:21+01:00
Download 9ff05ee Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness sv-comp-22 4 2022-12-11T01:45:16+01:00
Download 926990d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness frama-c-sv version 0.4.0 3 2022-12-09T13:15:30Z
Download 2adfb54 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Taipan 16 2022-12-14T13:07:46Z
Download f08b11a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2022-12-25T09:56:56Z
Download 2c9f900 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2022-12-12T15:43:48Z
Download 0b38c04 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Pinaka 3 2022-12-11T16:35:32
Download f40353c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Mopsa (v1.0~pre2) 3 2022-12-11T09:01:33Z
Download e25bb78 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Kojak 16 2022-12-14T21:11:59Z
Download 4398f89 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Goblint (tags/svcomp23-0-g4f5dcf38f) 13 2022-12-10T09:12:13Z
Download 638467f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-29T11:01:48+01:00 Download 2adfb54
Download c78e09f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-29T07:31:34+01:00 Download 2cbf301
Download 48a4de2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-29T06:25:15+01:00 Download e25bb78
Download 59e09c5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-29T05:24:28+01:00 Download 2c9f900
Download 6c08f90 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-29T04:49:57+01:00 Download 0b38c04
Download 19da3b6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-29T03:47:04+01:00 Download f40353c
Download c028f7b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-29T03:09:58+01:00 Download 077c520
Download 6f2dfa2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-29T00:08:50+01:00 Download 2a1e880
Download 2e7134c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-28T22:52:38+01:00 Download 9ff05ee
Download 53f83af Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-28T22:34:57+01:00 Download 4398f89
Download e299798 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-28T18:44:26+01:00 Download c20e699
Download 58f6930 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-28T17:38:32+01:00 Download 926990d
Download 5555eb9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-28T10:53:12+01:00 Download f5f5d3e
Download 9ad3786 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2023-01-28T00:31:07+01:00 Download f08b11a
Download f5f5d3e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 8 2022-12-10T19:59:48+01:00
Download 077c520 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2.1-svn-1715bd67dc+ 8 2022-12-11T21:52:16+01:00
Download 2a1e880 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 8 2022-12-11T03:42:19+01:00
Download c20e699 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 8 2022-12-10T01:57:41+01:00
Download 2cbf301 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Automizer 16 2022-12-13T12:42:52Z

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

Trying to find witnesses for program (d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e, sv-benchmarks/c/termination-libowfat/strspn_true-termination.c.i).

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

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

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

Trying to find witnesses for program (d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e, sv-benchmarks/c/termination-libowfat/strspn_true-termination.c.i).

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 263727b Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 2 2020-12-11T18:14:11
Download 0ea7673 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 2 2020-12-09T00:50:03

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

Trying to find witnesses for program (d2c6859ca90ff0da205f4fa2f88d8f61c0c2d9f9f437471b81ea8abc3f9fd19e, sv-benchmarks/c/termination-libowfat/strspn_true-termination.c.i).

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

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

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

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

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