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 (f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898, sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c).

Found 30 witnesses for program sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c, f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download d8db2e2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness sv-comp-24 4 2023-12-03T17:44:18+01:00
Download dbf7524 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness frama-c-sv version 0.4.0 3 2023-12-03T07:31:28Z
Download 7603592 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Taipan 15 2023-12-02T13:08:17Z
Download 92c8c54 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2023-12-17T01:49:22Z
Download b559608 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2023-11-29T16:55:16Z
Download 9c8be1b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Pinaka 3 2023-12-19T19:48:29
Download efe5ae3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Mopsa (v1.0~pre2) 3 2023-11-29T15:47:55Z
Download 70e830e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Kojak 15 2023-12-02T20:54:00Z
Download 45f7980 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Goblint (tags/svcomp24-0-gc2e9465a7) 11 2023-12-01T01:44:51Z
Download 8196978 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-12-20T02:17:37+01:00 Download 9c8be1b
Download b302b17 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-12-19T03:58:41+01:00 Download 05da4ff
Download 7a7861e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-12-17T06:24:41+01:00 Download 92c8c54
Download 3c29969 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-12-04T11:47:11+01:00 Download 7603592
Download 03410bb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-12-04T01:30:25+01:00 Download 2b8250f
Download 245b1ff Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-12-03T18:35:20+01:00 Download d8db2e2
Download 279724c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-12-03T09:53:54+01:00 Download dbf7524
Download edfb40d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-12-03T05:58:53+01:00 Download 70e830e
Download 0fcd9ee Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-12-01T03:45:04+01:00 Download 45f7980
Download 64b2e69 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-11-30T12:44:13+01:00 Download fee0495
Download fee0495 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-11-30T04:39:26+01:00
Download 52337c9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-11-30T02:34:24+01:00 Download b559608
Download fe4e08d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-11-29T18:16:25+01:00 Download efe5ae3
Download d4c214e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.3 7 2023-11-29T08:17:28+01:00 Download a27bc9b
Download 2b8250f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2.1-svn-e677b7cd46+ 7 2023-12-03T20:39:47+01:00
Download 05da4ff Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 7 2023-12-19T01:27:22+01:00
Download a27bc9b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Automizer 15 2023-11-29T00:46:09Z
Download 85ea30a Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: '2.0' uuid: a4a6380f-0825-484d-9b70-781e97b41569 creation_time: '2023-11-29T01:46:09+01:00' producer: name: Automizer version: 0.2.4-dev-0e0057c task: input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_ecab30cb-23cb-4658-bc80-b1109fa57ec8/sv-benchmarks/c/termination-crafted-lit/cstrcmp.c input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_ecab30cb-23cb-4658-bc80-b1109fa57ec8/sv-benchmarks/c/termination-crafted-lit/cstrcmp.c : f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898 specification: |+ CHECK( init(main()), LTL(G ! overflow) ) data_model: 64bit language: C content: [ ] correctness_witness CPAchecker 2.3 8 2023-11-29T07:50:08+01:00
Download 4237407 Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: '2.0' uuid: 77ab69d1-87a1-40c2-83ff-e221359355e4 creation_time: 2023-12-02T21:54+01:00 producer: name: Kojak version: 0.2.4-dev-0e0057c task: input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_ff3fe1f0-6106-47c3-950b-fe54a313ef30/sv-benchmarks/c/termination-crafted-lit/cstrcmp.c input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_ff3fe1f0-6106-47c3-950b-fe54a313ef30/sv-benchmarks/c/termination-crafted-lit/cstrcmp.c : f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898 specification: |+ CHECK( init(main()), LTL(G ! overflow) ) data_model: 64bit language: C content: [ ] correctness_witness CPAchecker 2.3 8 2023-12-03T05:43:51+01:00
Download c05f74b Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: '2.0' uuid: 2359ac70-3ed2-4e79-84a1-052725ece8ce creation_time: '2023-12-02T14:08:17+01:00' producer: name: Taipan version: 0.2.4-dev-0e0057c task: input_files: - /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_65587f6c-231b-4a3f-8b82-3d8e9b1a1c60/sv-benchmarks/c/termination-crafted-lit/cstrcmp.c input_file_hashes: ? /tmp/vcloud_worker_vcloud-master_on_vcloud-master/run_dir_65587f6c-231b-4a3f-8b82-3d8e9b1a1c60/sv-benchmarks/c/termination-crafted-lit/cstrcmp.c : f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898 specification: |+ CHECK( init(main()), LTL(G ! overflow) ) data_model: 64bit language: C content: [ ] correctness_witness CPAchecker 2.3 8 2023-12-04T11:57:07+01:00
Download c668640 Inspect Inspect
Validate
- entry_type: invariant_set metadata: format_version: "2.0" uuid: 1d878885-1250-4531-8e83-9be7fc162fe9 creation_time: 2023-12-01T01:44:51Z 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-crafted-lit/cstrcmp.c''' task: input_files: - ../../sv-benchmarks/c/termination-crafted-lit/cstrcmp.c input_file_hashes: ../../sv-benchmarks/c/termination-crafted-lit/cstrcmp.c: f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898 data_model: LP64 language: C specification: CHECK( init(main()), LTL(G ! overflow) ) content: [] correctness_witness CPAchecker 2.3 8 2023-12-01T04:13:20+01:00

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

Trying to find witnesses for program (f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898, sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c).

Found 27 witnesses for program sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c, f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 3e4c752 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) violation_witness verifuzz 2 2022-12-15T09:12:33+01:00
Download bfaf311 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness sv-comp-22 4 2022-12-10T22:08:28+01:00
Download 12f5b48 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness frama-c-sv version 0.4.0 3 2022-12-09T10:20:09Z
Download 5710c23 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Taipan 14 2022-12-14T14:22:28Z
Download 1e6a50b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2022-12-25T08:44:34Z
Download ec4a882 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2022-12-12T11:58:32Z
Download 980d2c3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Pinaka 3 2022-12-11T16:13:12
Download 67ea04f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Mopsa (v1.0~pre2) 3 2022-12-11T11:30:28Z
Download 3ce2c15 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Kojak 14 2022-12-14T21:28:59Z
Download d92daf1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Goblint (tags/svcomp23-0-g4f5dcf38f) 15 2022-12-10T07:41:49Z
Download de2e051 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-29T10:51:53+01:00 Download 5710c23
Download 0c84580 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-29T07:37:55+01:00 Download a11b26b
Download 5a56365 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-29T06:29:18+01:00 Download 3ce2c15
Download 6c6d4f1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-29T05:18:33+01:00 Download ec4a882
Download 497f826 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-29T04:47:08+01:00 Download 980d2c3
Download 56eb0d7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-29T03:46:00+01:00 Download 67ea04f
Download 3abc6ac Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-29T03:03:58+01:00 Download 1941072
Download 513bf6f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-28T22:53:39+01:00 Download bfaf311
Download 46e1cf8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-28T22:31:35+01:00 Download d92daf1
Download 192ec91 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-28T18:43:22+01:00 Download 9a902de
Download 35dbffd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-28T17:38:09+01:00 Download 12f5b48
Download 90b2af2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-28T11:30:10+01:00 Download b0317af
Download e4d3790 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2023-01-28T00:31:05+01:00 Download 1e6a50b
Download b0317af Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2 7 2022-12-10T19:55:14+01:00
Download 1941072 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.2.1-svn-1715bd67dc+ 7 2022-12-11T23:56:57+01:00
Download 9a902de Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 7 2022-12-10T02:26:15+01:00
Download a11b26b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Automizer 14 2022-12-13T14:04:45Z

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

Trying to find witnesses for program (f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898, sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c).

Found 25 witnesses for program sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c, f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download f1259be Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness sv-comp-22 4 2021-12-06T13:42:48+01:00
Download 8828ec0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness frama-c-sv version 0.2.8 3 2021-12-13T21:21:51Z
Download 68d521d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Taipan 15 2021-12-10T03:28:25Z
Download 29bc412 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 2 2021-12-10T18:32:05
Download 957fb17 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 3 2021-12-07T15:43:20Z
Download 72ef69d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Pinaka 3 2021-12-09T06:12:51
Download 128873b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Kojak 15 2021-12-10T13:21:30Z
Download f866d83 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Goblint (tags/svcomp22-0-ge852ac510) 13 2021-12-07T21:27:38Z
Download a0477b8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-14T00:10:08+01:00 Download 8828ec0
Download acaa3f2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-10T21:24:28+01:00 Download 29bc412
Download 63f50c6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-10T17:28:05+01:00 Download 128873b
Download 31e7421 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-10T08:48:02+01:00 Download 68d521d
Download a4eec94 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-09T15:29:08+01:00 Download e736570
Download a3266c1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-09T10:09:49+01:00 Download 72ef69d
Download 9980156 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-08T21:30:44+01:00 Download 7150ced
Download 4ddc229 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-07T23:35:45+01:00 Download f866d83
Download 043de05 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-07T18:56:46+01:00 Download 957fb17
Download 86c1c0d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-07T02:54:33+01:00 Download d0a35f7
Download 58e5593 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-06T15:05:11+01:00 Download f1259be
Download 897b597 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-05T20:20:10+01:00 Download 05892fa
Download 05892fa Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.1 7 2021-12-05T19:03:34+01:00
Download 7150ced Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0.1-svn-fe6f522dd3+ 7 2021-12-08T20:18:04+01:00
Download e736570 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0.1-svn-eda176372c+ 7 2021-12-09T14:27:45+01:00
Download d0a35f7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Automizer 15 2021-12-06T20:36:59Z
Download 078fe99 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 2 2021-12-10T19:05:31

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

Trying to find witnesses for program (f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898, sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c).

Found 18 witnesses for program sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c, f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 1edfef0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) violation_witness frama-c-sv version 0.2.1 3 2020-12-06T23:35:26
Download 82837a2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 2 2020-12-11T16:16:28
Download c421cfb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 2 2020-12-08T19:41:45
Download e3900ce Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Pinaka 3 2020-12-08T10:11:38
Download 34e7cf3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Goblint (svcomp21-0-g82e03b87) 14 2020-12-07T16:49:14
Download 5a33340 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 7 2020-12-12T01:31:37+01:00 Download 82837a2
Download 85d4369 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 7 2020-12-09T22:06:53+01:00 Download 35e4113
Download 2eea220 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 7 2020-12-09T21:06:31+01:00 Download 8ebb0af
Download f04cb82 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 7 2020-12-09T03:56:12+01:00 Download c421cfb
Download 23e8914 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 7 2020-12-09T01:57:16+01:00 Download e4e41a9
Download 876e19e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 7 2020-12-08T13:50:21+01:00 Download e3900ce
Download 7d78d91 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 7 2020-12-08T07:46:41+01:00 Download d70c3d8
Download 860e721 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 7 2020-12-07T21:12:18+01:00 Download 34e7cf3
Download 2ebb368 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 7 2020-12-06T13:13:02+01:00 Download b627b84
Download b627b84 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0 7 2020-12-05T16:04:20+01:00
Download d70c3d8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 2.0.1-svn-eda176372c+ 7 2020-12-08T02:26:07+01:00
Download 0972481 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 2 2020-12-11T23:42:20
Download 2d0c7f5 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 2 2020-12-09T00:22:57

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

Trying to find witnesses for program (f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898, sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c).

Found 2 witnesses for program sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c, f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 530432f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 1.9 7 2019-11-30T10:36:00+01:00
Download 7d2bfc4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ 7 2019-12-01T15:50:57+01:00

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

Trying to find witnesses for program (f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898, sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c).

Found 4 witnesses for program sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c, f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 00a4515 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Symbiotic 1 2018-12-08T08:11 CET (sv-comp)
Download 2817c79 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness SMACK 1.9.3 3 2018-12-08T09:50:16
Download 3e1bc39 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 7 2018-12-06T20:09:19+01:00
Download 943bf3e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 1.7-svn 29852 7 2018-12-06T00:11:27+01:00

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

Trying to find witnesses for program (f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898, sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c).

Found 7 witnesses for program sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c, f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download b36f697 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Taipan 14 2017-12-03T07:43Z
Download fc1dd58 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Kojak 14 2017-12-03T10:34Z
Download 28fd2b4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness ESBMC 4.6.0 kind 3 2017-12-02T17:42:40.059973
Download b035300 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness ESBMC 3.1 7 2017-12-01T13:10 CET (sv-comp)
Download 8a265d4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness CPAchecker 1.6.1-svn 26773 7 2017-12-01T11:32:29+01:00
Download 5afdd2c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! overflow) ) correctness_witness Automizer 14 2017-12-03T10:38Z
Download 69cfc52 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 3.1 7 2017-12-01T18:41 CET (sv-comp)

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

Trying to find witnesses for program (f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898, sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c).

Found 0 witnesses for program sv-benchmarks/c/termination-crafted-lit/cstrcmp_true-termination_true-no-overflow.c, f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/f94b058015be4fc42a3d40d63b8ed2b8d3be3933ae3f7b0cb4e17bd99a68e898.json

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