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 (84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30, sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i).

Found 0 witnesses for program sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i, 84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30.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 (84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30, sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i).

Found 0 witnesses for program sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i, 84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30.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 (84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30, sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i).

Found 0 witnesses for program sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i, 84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30.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 (84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30, sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i).

Found 0 witnesses for program sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i, 84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30.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 (84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30, sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i).

Found 18 witnesses for program sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i, 84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 19e4fff Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ 9 2019-11-30T22:56:53+01:00
Download 135494d Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-deref) ) correctness_witness CPAchecker 1.9 9 2019-11-30T13:40:03+01:00
Download 7918f43 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2019-12-03T22:17 CET (comp)
Download aa369cd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T20:25:25+01:00 Download 170d21d
Download 4ea649e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T20:24:56+01:00 Download 81faf3a
Download 336db92 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T20:20:54+01:00 Download e0f9ef2
Download d3a113b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T20:02:18+01:00 Download 97317b1
Download 8dcd4e1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 9 2019-12-08T00:49:04+01:00 Download c306c82
Download d0a9da2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 9 2019-12-07T23:47:17+01:00 Download 95bacb9
Download 9cd9348 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 9 2019-12-07T19:44:11+01:00 Download 20e5d4e
Download a31a725 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 9 2019-12-06T01:48:36+01:00 Download 209832f
Download d8c4b26 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 9 2019-12-05T19:12:51+01:00 Download 14bbc9f
Download 48b9d17 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 9 2019-12-04T02:07:40+01:00 Download 7918f43
Download cef15e2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 9 2019-11-30T19:35:17+01:00 Download 95302dd
Download 915ce0c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 9 2019-11-30T16:39:13+01:00 Download 58e7252
Download 58e7252 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / svcomp20 10 2019-11-29T17:23:07+01:00
Download c306c82 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8 9 2019-12-07T12:34:19+01:00
Download e0f9ef2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 10 2019-12-01T07:35:01+01:00

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

Trying to find witnesses for program (84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30, sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i).

Found 26 witnesses for program sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i, 84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download c37e5f7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness Symbiotic 1 2018-12-08T07:02 CET (sv-comp)
Download f3c5367 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memtrack) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-05T11:49:52+01:00
Download c7d0ce2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-deref) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 9 2018-12-08T04:33:07+01:00
Download 2d945f9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2018-12-08T07:18 CET (sv-comp)
Download a829b3e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness SMACK 1.9.3 3 2018-12-08T11:41:45
Download 0749146 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2018-12-06T23:53 CET (sv-comp)
Download ab55820 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7 10 2018-12-10T17:25:25+01:00
Download 8a0441c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 10 2018-12-07T19:04:03+01:00
Download cd56073 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-10T20:11:49+01:00 Download ab55820
Download 744cdb5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-10T10:31:10+01:00 Download a2b3b9c
Download 09855e9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-09T20:11:06+01:00 Download 8a1242e
Download 9b71584 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-09T19:48:02+01:00 Download 595bdc2
Download 3f2a902 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-08T23:13:32+01:00 Download 2d945f9
Download af16d23 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-08T21:33:24+01:00 Download a829b3e
Download ab06e6d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-08T05:56:20+01:00 Download 8a0441c
Download 8ec5a06 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-08T03:19:16+01:00 Download e7cfdfe
Download bd386d1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-08T03:12:04+01:00 Download a2b3b9c
Download ba8fa8c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-07T17:44:24+01:00 Download 5bcd6b7
Download 2021964 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-07T16:37:26+01:00 Download 0749146
Download 65ac2fe Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-07T08:52:18+01:00 Download f200139
Download ab3b449 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-07T00:46:46+01:00 Download bf53ac6
Download 7f7f411 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-06T09:28:32+01:00 Download 0d224a7
Download d8af991 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-06T08:45:25+01:00 Download e4f35ab
Download 8be45b9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-06T08:27:11+01:00 Download c244e62
Download 391d751 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 9 2018-12-06T08:11:12+01:00 Download a572894
Download e4f35ab Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 10 2018-12-05T11:39:18+01:00

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

Trying to find witnesses for program (84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30, sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i).

Found 0 witnesses for program sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i, 84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30.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 (84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30, sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i).

Found 0 witnesses for program sv-benchmarks/c/list-simple/sll2n_remove_all_true-unreach-call_true-valid-memsafety.i, 84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/84cdb1cfad869c84758e21341726315f8afc6735fd5be81bb20485494b034b30.json

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