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).

View and Validate the Witness

Input Given to this Service about the Witness (URL Query)

Key Value
programName sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i
programSHA e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283
witnessName results-validated/cpa-seq-validate-violation-witnesses-symbiotic.2018-12-08_2340.logfiles/sv-comp19_prop-memsafety.sll-circular_false-unreach-call_false-valid-memcleanup.i.files/witness.graphml
witnessSHA 0a4b469ecf936abbb98cb475f2717461908000ffb0ca810e8400a802faf48c8e

Information about the Witness from Competition Database

from https://sv-comp.sosy-lab.org/2019/results/witnessInfoByHash/0a4b469ecf936abbb98cb475f2717461908000ffb0ca810e8400a802faf48c8e.json

Key Value
architecture 32bit
creationtime 2018-12-08T23:43:21+01:00
inputwitnesshash 76c0c74cdef9eb7fa3aae72a4160df59ddb3352b0dbb20d698ccc3f3c4645715
producer CPAchecker 1.7-svn 29852
program-sha256 e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283
programfile ../../sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i
programhash e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283
sourcecodelang C
specification CHECK( init(main()), LTL(G valid-memcleanup) )
witness-file witnessFileByHash/0a4b469ecf936abbb98cb475f2717461908000ffb0ca810e8400a802faf48c8e.graphml
witness-sha256 0a4b469ecf936abbb98cb475f2717461908000ffb0ca810e8400a802faf48c8e
witness-size 6385
witness-type violation_witness

This witness was created for this program (cf. table above, e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283).

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

Trying to find witnesses for program (e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283, sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i).

Found 0 witnesses for program sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i, e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283.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 (e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283, sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i).

Found 0 witnesses for program sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i, e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283.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 (e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283, sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i).

Found 0 witnesses for program sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i, e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283.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 (e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283, sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i).

Found 0 witnesses for program sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i, e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283.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 (e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283, sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i).

Found 29 witnesses for program sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i, e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 8eb1f29 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness Symbiotic 1 2019-12-01 01:32:19
Download 94c3a57 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-11T21:56:46+01:00 Download facd8cd
Download f85e40a Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-11T21:53:27+01:00 Download 912ea2b
Download 1beb56f Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-11T21:09:34+01:00 Download 8eb1f29
Download c584c47 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-08T00:27:14+01:00 Download 79fecf7
Download bd79365 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-08T00:06:07+01:00 Download bc8dfa8
Download 301ee0d Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-07T21:13:53+01:00 Download 2b18abf
Download 691cbeb Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-05T19:34:29+01:00 Download 842b513
Download b9dc684 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-03T08:10:23+01:00 Download ba70cd9
Download ba70cd9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 6 2019-11-29T17:54:06+01:00
Download facd8cd Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.8-svn-35b8bb3bb3+ 6 2019-11-30T21:27:19+01:00
Download c2aa7d9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2019-12-02 01:19:12
Download 363d959 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T21:59:30+01:00 Download 80c4596
Download cf4d323 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T21:40:19+01:00 Download d528448
Download 1dfdd6f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T21:09:01+01:00 Download c2aa7d9
Download 8fa0e54 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T20:55:19+01:00 Download 9f5f413
Download e230de6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-08T00:26:03+01:00 Download afe7230
Download c3dd6a5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-08T00:07:39+01:00 Download e87571b
Download bbfced1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-07T21:14:12+01:00 Download 7a8815e
Download e6b4c4d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-05T19:34:00+01:00 Download 8459d56
Download 52d7eeb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-03T08:57:21+01:00 Download 912a45b
Download a401cb1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-03T08:08:33+01:00 Download 57e74a1
Download 57e74a1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / svcomp20 9 2019-11-29T15:05:07+01:00
Download efd6759 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.8 9 2019-12-07T23:59:20+01:00
Download 80c4596 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 9 2019-12-01T14:24:28+01:00
Download 2b39eab Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 10 2019-12-11T20:44:25+01:00 Download 5d88081
Download c2fd036 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 10 2019-12-08T01:52:01+01:00 Download efd6759
Download 80e5f96 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 10 2019-12-06T02:38:31+01:00 Download 97cdef7
Download 567a523 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 10 2019-12-05T20:21:36+01:00 Download a1dad90

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

Trying to find witnesses for program (e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283, sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i).

Found 34 witnesses for program sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i, e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 76c0c74 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness Symbiotic 1 2018-12-08T02:22 CET (sv-comp)
Download 18ddb08 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness SMACK 1.9.3 3 2018-12-08T09:37:35
Download 0a4b469 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 6 2018-12-08T23:43:21+01:00 Download 76c0c74
Download f5a718b Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 7 2018-12-08T22:09:40+01:00 Download 18ddb08
Download fbaa37f Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 7 2018-12-07T09:18:52+01:00 Download df6ffdc
Download b6463ce Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 7 2018-12-06T10:19:54+01:00 Download 4c1bb6f
Download 0fd3a46 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 6 2018-12-06T09:49:13+01:00 Download d4920d3
Download 4db02c8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 7 2018-12-06T09:42:30+01:00 Download 98a411e
Download d4920d3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-05T15:45:51+01:00
Download 2c15dca Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) correctness_witness CPAchecker 1.7-svn 29852 10 2018-12-06T09:17:39+01:00 Download d0792d0
Download 988881d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2018-12-08T18:14 CET (sv-comp)
Download 7008f30 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness SMACK 1.9.3 3 2018-12-08T10:34:53
Download d37b48a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Pinaka 12 2018-12-07T12:10 CET (sv-comp)
Download 9592bd1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7 8 2018-12-10T17:12:35+01:00
Download db04910 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn b8d6131600+ 8 2018-12-07T23:30:05+01:00
Download 39e846a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-10T10:48:47+01:00 Download 9db261e
Download edcccb8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-09T20:53:18+01:00 Download 1c82ff3
Download 8827118 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-09T20:36:23+01:00 Download 9121982
Download 3751152 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-09T20:34:46+01:00 Download 7dbceaa
Download c3c7762 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-08T23:44:01+01:00 Download 988881d
Download 7d3ed97 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-08T22:10:47+01:00 Download 7008f30
Download efe2a68 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-08T08:18:00+01:00 Download db04910
Download d3a8e9e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-08T05:01:17+01:00 Download 3172085
Download 8b0dd16 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-08T03:58:18+01:00 Download 9db261e
Download 4652789 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 19 2018-12-07T17:43:23+01:00 Download d37b48a
Download 6bbcd6c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-07T09:28:04+01:00 Download 420dfd3
Download 5f73edd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-07T01:23:11+01:00 Download 18ea939
Download 9bc8bf6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-06T10:18:43+01:00 Download bb5da36
Download 1996c80 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-06T09:48:01+01:00 Download f7cc685
Download 4d39449 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-06T09:41:01+01:00 Download 6a77117
Download 1b40dc6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 10 2018-12-06T09:17:58+01:00 Download 48d399b
Download f7cc685 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-06T05:08:29+01:00
Download 7ba260e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 10 2018-12-10T20:37:35+01:00 Download 9592bd1
Download 630bc8d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 10 2018-12-09T18:21:51+01:00 Download 13665d5

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

Trying to find witnesses for program (e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283, sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i).

Found 16 witnesses for program sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i, e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download d970f20 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Taipan 7 2017-12-02T16:52Z
Download 15f2626 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2017-12-02T11:44 CET (sv-comp)
Download 420dfd3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness PredatorHP 4 2017-12-01T20:53 CET (sv-comp)
Download e5e8a96 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Map2Check 2 2017-12-01T21:07 CET (sv-comp)
Download 40e5932 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Kojak 7 2017-12-02T08:49Z
Download 88bdaf6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Forester 6 2017-12-01T18:21 CET (sv-comp)
Download 98997d9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 4.6.0 kind 5 2017-12-01T22:58:48.011962
Download 2140007 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 4.6.0 incr 4 2017-12-01T10:06:50.526316
Download e968ca0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 3.1 4 2017-12-01T00:35 CET (sv-comp)
Download 9a7f0e7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26773 7 2017-11-30T16:57:36+01:00
Download 03110d6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26758M 12 2017-11-30T13:00:19+01:00
Download 786a4dd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26725 5 2017-11-30T22:22:57+01:00
Download a685096 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker (unknown version) 14 2017-12-01T21:58:23+01:00
Download 4c383e4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CBMC 6 2017-12-01T03:32 CET (sv-comp)
Download 6c98e0a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Automizer 7 2017-12-02T16:36Z
Download 903d1c8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness 2LS 5 2017-11-30T15:19 CET (sv-comp)

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

Trying to find witnesses for program (e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283, sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i).

Found 0 witnesses for program sv-benchmarks/c/forester-heap/sll-circular_false-unreach-call_false-valid-memcleanup.i, e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/e879bb8d16e4cdd79bc52a7031927c38c31078f01637dcc98b818251b647d283.json

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