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 (f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed, sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c).

Found 26 witnesses for program sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c, f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download bd24f89 Inspect Inspect
Validate
valid-memsafety violation_witness DIVINE 4 2 2023-12-18T07:58:38+01:00
Download cae955b Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Symbiotic 3 2023-11-29T19:31:48Z
Download 57bea7d Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.3 3 2023-12-18T12:04:32+01:00 Download bd24f89
Download 1c848d2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.3 3 2023-11-30T05:16:09+01:00
Download 29af283 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2.1-svn-e677b7cd46+ 3 2023-12-03T20:56:31+01:00
Download c4a9d01 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0 3 2023-12-19T13:07:55+01:00
Download 5b683be Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 3 2023-12-19T00:14:00+01:00
Download 70b8071 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-38892M 3 2023-12-18T01:44:38+01:00
Download d27cd4d Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Bubaak 3 2023-12-05T11:49:35Z
Download 7b26f0b Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Bubaak 3 2023-12-04T08:59:52Z
Download ea9e126 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Bubaak 3 2023-12-01T20:59:42Z
Download 9282dc6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) correctness_witness ESBMC 7.4.0 incr 3 2023-12-01T14:28:36Z
Download acdf188 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 5 2023-12-02T13:02:03Z
Download 244be06 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 PredatorHP 4 2023-11-30T08:25:27Z
Download a65b08d 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:03:18Z
Download d4ea4a5 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 5 2023-12-03T02:26:46Z
Download eaccdb0 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 Goblint (tags/svcomp24-0-gc2e9465a7) 4 2023-12-01T00:56:27Z
Download f498d9a 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 CBMC 4 2023-12-17T08:27:12+01:00
Download f68072e 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 5 2023-11-28T23:02:32Z
Download b34ea92 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 7.4.0 3 2023-12-01T13:21:28Z
Download 4ee7f1e Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 3 2023-11-29T16:44:21Z
Download 961fa20 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Goblint (tags/svcomp24-0-gc2e9465a7) 3 2023-12-01T01:24:23Z
Download ed526a8 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness CBMC 3 2023-12-17T09:13:42+01:00
Download 1ede1b0 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Bubaak 3 2023-12-05T11:16:07Z
Download 76c405c Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Bubaak 3 2023-12-04T14:27:40Z
Download de90b10 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Bubaak 3 2023-12-01T20:36:48Z

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

Trying to find witnesses for program (f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed, sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c).

Found 20 witnesses for program sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c, f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download e3c7e92 Inspect Inspect
Validate
valid-memsafety violation_witness DIVINE 4 2 2022-12-09T06:52:16+01:00
Download d5616f8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2 3 2023-01-28T14:21:14+01:00 Download e3c7e92
Download 7a1666c Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2 3 2022-12-10T21:20:31+01:00
Download fac1bb4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.2.1-svn-1715bd67dc+ 3 2022-12-12T00:38:50+01:00
Download e38d4d1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0 3 2022-12-11T05:47:09+01:00
Download 5624d80 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-38892M 3 2022-12-09T02:41:51+01:00
Download 2fa11a1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Bubaak 3 2022-12-08T16:18:27Z
Download a117c63 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) correctness_witness ESBMC 7.0.0 incr 3 2022-12-18T19:14:16Z
Download f83f33d Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) correctness_witness ESBMC 6.8.0 incr 3 2022-12-25T10:29:26Z
Download a655efd 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 4 2022-12-14T14:09:28Z
Download a640082 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 2022-12-11T10:10:16Z
Download 156342b 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 4 2022-12-15T00:38:23Z
Download 8fb7f67 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 CBMC 4 2022-12-08T08:41:12+01:00
Download 5bf00f7 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 4 2022-12-13T18:27:07Z
Download 3a1df5d Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-deref) ) correctness_witness CPAchecker 2.0.1-svn-a45b42da2f+ 3 2022-12-10T00:41:32+01:00
Download 511b20b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(reach_error())) ) correctness_witness ESBMC 6.8.0 3 2022-12-25T09:57:49Z
Download 9db7d41 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 7.0.0 3 2022-12-18T18:22:18Z
Download ed1815e Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 3 2022-12-12T12:56:19Z
Download 446864b Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness CBMC 3 2022-12-08T12:18:10+01:00
Download 29e67ac Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Bubaak 2 2022-12-08T18:55:03Z

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

Trying to find witnesses for program (f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed, sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c).

Found 13 witnesses for program sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c, f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 27f3931 Inspect Inspect
Validate
valid-memsafety violation_witness DIVINE 4 2 2021-12-07T09:33:48+01:00
Download 1fa4383 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.1 3 2021-12-05T14:27:08+01:00
Download 475d848 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-eda176372c+ 3 2021-12-09T10:31:48+01:00
Download 294c1c5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 2.0.1-svn-38892M 3 2021-12-07T02:01:59+01:00
Download aa1b6c7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) correctness_witness ESBMC 6.8.0 incr 3 2021-12-08T09:24:55Z
Download 138c8ef Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) correctness_witness CPAchecker 2.0.1-svn-fe6f522dd3+ 3 2021-12-08T20:27:26+01:00
Download cbfcdb8 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 4 2021-12-10T05:27:38Z
Download 184ffdb 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 4 2021-12-10T09:23:03Z
Download 9d02a7f 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 CBMC 4 2021-12-06T09:05:52+01:00
Download ffe9769 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 4 2021-12-06T22:13:07Z
Download b1358f6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(reach_error())) ) correctness_witness ESBMC 6.8.0 3 2021-12-08T03:42:09Z
Download 17c4155 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 3 2021-12-07T14:59:12Z
Download ad4898b Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness CBMC 3 2021-12-06T04:10:46+01:00

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

Trying to find witnesses for program (f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed, sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c).

Found 5 witnesses for program sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c, f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download a9b3df9 Inspect Inspect
Validate
valid-memsafety violation_witness DIVINE 4 2 2020-12-06T12:06:41+01:00
Download 72ce799 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) correctness_witness CPAchecker 2.0 3 2020-12-05T15:27:56+01:00
Download 1834d33 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-deref) ) correctness_witness CPAchecker 2.0.1-svn-eda176372c+ 3 2020-12-08T03:54:41+01:00
Download efe3969 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 2 2020-12-11T21:33:14
Download e64c2a5 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 2 2020-12-08T21:56:46

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

Trying to find witnesses for program (f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed, sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c).

Found 2 witnesses for program sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c, f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 3736f96 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 1.9 3 2019-11-29T22:55:04+01:00
Download 05c83fe Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ 3 2019-12-01T12:37:05+01:00

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

Trying to find witnesses for program (f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed, sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c).

Found 4 witnesses for program sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c, f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download c08d8e0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Symbiotic 1 2018-12-08T16:44 CET (sv-comp)
Download 1761edb Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 3 2018-12-08T00:31:33+01:00
Download e7025f2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free) ) correctness_witness CPAchecker 1.7-svn 29852 3 2018-12-06T06:30:19+01:00
Download a00e146 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 1 2018-12-07T22:40 CET (sv-comp)

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

Trying to find witnesses for program (f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed, sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c).

Found 15 witnesses for program sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c, f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download e66f5f4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Symbiotic 1 2017-12-02T23:17 CET (sv-comp)
Download b270214 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 1.6.1-svn 4 2017-12-01T09:41:59+01:00
Download 98e987b Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 1.6.1-svn 26773 3 2017-12-01T08:34:13+01:00
Download 23346fb 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:26:49.170141
Download 81134e3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-free|valid-deref|valid-memtrack) ) correctness_witness ESBMC 4.6.0 incr 3 2017-12-01T23:24:42.459354
Download 4a3957c 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 4 2017-12-03T06:53Z
Download 3c6805d 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 Map2Check 2 2017-12-01T23:47 CET (sv-comp)
Download b2af641 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 3 2017-12-03T04:27Z
Download ee4320b 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 Forester 5 2017-12-01T19:27 CET (sv-comp)
Download 6677882 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 CBMC 4 2017-12-01T08:21 CET (sv-comp)
Download b45ded0 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 4 2017-12-03T03:54Z
Download 71bc1bc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-02T20:49:55.398107
Download d450e03 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-02T09:56:03.969179
Download f1fe0e5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 3.1 5 2017-12-01T21:30 CET (sv-comp)
Download d97cdf6 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness CBMC 3 2017-12-01T18:43 CET (sv-comp)

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

Trying to find witnesses for program (f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed, sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c).

Found 0 witnesses for program sv-benchmarks/c/ldv-memsafety/memset_true-valid-memsafety_true-termination.c, f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/f0b671136c3b8e0a332730a51eabbaea09295c9938fd6e5af99480d4d2b7c8ed.json

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