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 (6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c, sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i).

Found 0 witnesses for program sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i, 6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c.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 '23

Trying to find witnesses for program (6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c, sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i).

Found 0 witnesses for program sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i, 6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c.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 '22

Trying to find witnesses for program (6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c, sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i).

Found 0 witnesses for program sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i, 6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c.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 '21

Trying to find witnesses for program (6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c, sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i).

Found 0 witnesses for program sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i, 6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c.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 '20

Trying to find witnesses for program (6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c, sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i).

Found 26 witnesses for program sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i, 6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 6d5d128 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness Symbiotic 2 2019-12-01 23:04:35
Download 671b7da Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 19 2019-12-11T21:43:51+01:00 Download 512ea80
Download 2874996 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 22 2019-12-11T21:09:03+01:00 Download 6d5d128
Download 77b75a8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 19 2019-12-08T00:26:02+01:00 Download 9e7d7b9
Download 4a30feb Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 19 2019-12-08T00:06:03+01:00 Download a4cffd4
Download 71c698b Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 19 2019-12-07T21:17:40+01:00 Download 8576cdf
Download 51c8c3c Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 19 2019-12-03T08:10:06+01:00 Download 9d1e1d0
Download 9d1e1d0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 23 2019-11-29T19:44:17+01:00
Download 512ea80 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.8-svn-35b8bb3bb3+ 23 2019-12-01T00:36:05+01:00
Download f7c4da2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) correctness_witness CPAchecker 1.9 11 2019-12-06T02:39:25+01:00 Download b4557e8
Download 8145194 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) correctness_witness CPAchecker 1.9 11 2019-12-05T20:20:14+01:00 Download 166fbc2
Download 3e9b39d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 2 2019-12-02 04:28:10
Download 7ca7902 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 38 2019-12-11T21:42:46+01:00 Download 8eabb08
Download d3241dc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 38 2019-12-11T21:09:04+01:00 Download 3e9b39d
Download 6f74519 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 48 2019-12-11T20:54:29+01:00 Download 17e13d1
Download 76add54 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 38 2019-12-08T01:51:58+01:00 Download 9be45ea
Download 439af1d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 38 2019-12-08T00:26:05+01:00 Download 5ffecd9
Download 3e29cc1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 38 2019-12-08T00:06:04+01:00 Download 821c058
Download 5c36af3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 38 2019-12-07T21:14:39+01:00 Download 711768f
Download de02e4b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 38 2019-12-06T02:38:54+01:00 Download e30eeec
Download 475164d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 38 2019-12-03T08:57:03+01:00 Download 12dfa8f
Download 64c9336 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 38 2019-12-03T08:10:11+01:00 Download 0318263
Download 0318263 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / svcomp20 38 2019-11-30T03:03:39+01:00
Download 9be45ea Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.8 35 2019-12-07T14:59:04+01:00
Download 8eabb08 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 38 2019-11-30T20:26:28+01:00
Download 25513e5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 11 2019-12-05T20:20:43+01:00 Download ff242f5

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

Trying to find witnesses for program (6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c, sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i).

Found 32 witnesses for program sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i, 6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download fc31413 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness Symbiotic 1 2018-12-08T04:39 CET (sv-comp)
Download adcae80 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness SMACK 1.9.3 4 2018-12-08T13:31:49
Download c5a2f54 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 20 2018-12-08T23:43:29+01:00 Download fc31413
Download 590dde8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 20 2018-12-08T22:08:25+01:00 Download adcae80
Download 38262d3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 20 2018-12-07T09:18:13+01:00 Download 86ae18c
Download db37639 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 26 2018-12-06T10:18:46+01:00 Download f41e868
Download 4c36455 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 20 2018-12-06T09:48:58+01:00 Download b34e825
Download b34e825 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 36 2018-12-05T08:20:09+01:00
Download f0e35a6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) correctness_witness CPAchecker 1.7-svn 29852 11 2018-12-06T09:15:40+01:00 Download f6fc621
Download 782b6cb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2018-12-08T09:04 CET (sv-comp)
Download 21bf8db Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness SMACK 1.9.3 4 2018-12-08T00:32:49
Download 34b209d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Pinaka 25 2018-12-06T20:47 CET (sv-comp)
Download 92ac496 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7 33 2018-12-10T19:15:44+01:00
Download 12c966b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn b8d6131600+ 38 2018-12-07T13:24:38+01:00
Download df13d2d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 35 2018-12-10T20:37:09+01:00 Download 92ac496
Download 971e0b4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 35 2018-12-10T10:48:42+01:00 Download 4afaa68
Download 0c68a72 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 36 2018-12-09T20:53:19+01:00 Download 11252ab
Download 49e72cd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 36 2018-12-09T20:39:26+01:00 Download f1588b3
Download f56e4bd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 23 2018-12-09T18:01:37+01:00 Download 5203250
Download 5a508dd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 35 2018-12-08T23:44:32+01:00 Download 782b6cb
Download 58c57cb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 35 2018-12-08T22:07:35+01:00 Download 21bf8db
Download 5a18fd1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 48 2018-12-08T05:05:07+01:00 Download abfcfde
Download 3187689 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 35 2018-12-08T03:36:01+01:00 Download 4afaa68
Download ea54fb2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 49 2018-12-07T17:45:05+01:00 Download 34b209d
Download ec3a879 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 36 2018-12-07T09:15:32+01:00 Download 1eb92a2
Download d0ecae5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 25 2018-12-07T01:08:02+01:00 Download 046560b
Download 25a7590 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 48 2018-12-06T10:19:20+01:00 Download 8c6acd6
Download 2e16795 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 36 2018-12-06T09:14:12+01:00 Download 2cfc265
Download e4be734 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 38 2018-12-05T16:53:53+01:00
Download 4d86757 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 11 2018-12-08T09:00:30+01:00 Download 12c966b
Download 8d365af Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 11 2018-12-06T09:49:21+01:00 Download e4be734
Download d01239a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 11 2018-12-06T09:04:16+01:00 Download e9fe1c4

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

Trying to find witnesses for program (6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c, sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i).

Found 0 witnesses for program sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i, 6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c.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 (6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c, sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i).

Found 0 witnesses for program sv-benchmarks/c/list-ext3-properties/dll_nullified_false-unreach-call_false-valid-memcleanup.i, 6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/6f5493cc206cb2cde585053a1ae88a364fc7a4dcb47c416a1f8827d5d76e820c.json

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