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/dll-circular_false-unreach-call_false-valid-memcleanup.i
programSHA d6a46112eb9eebdc613dbdea7c7897f595fc678a2c1bdcd9b0b3e0f3a0c0809f
witnessName results-verified/predatorhp.2017-12-01_2024.logfiles/sv-comp18.dll-circular_false-unreach-call_false-valid-memcleanup.i.files/witness.graphml
witnessSHA a606067f1a8e3953b8753f4ae8d872d77fa7745d04492f765ebf4b0af9516aad

Information about the Witness from Competition Database

from https://sv-comp.sosy-lab.org/2018/results/witnessInfoByHash/a606067f1a8e3953b8753f4ae8d872d77fa7745d04492f765ebf4b0af9516aad.json

Key Value
architecture 32bit
creationtime 2017-12-01T20:43 CET (sv-comp)
memorymodel precise
producer PredatorHP
program-sha256 d6a46112eb9eebdc613dbdea7c7897f595fc678a2c1bdcd9b0b3e0f3a0c0809f
programfile ../../sv-benchmarks/c/forester-heap/dll-circular_false-unreach-call_false-valid-memcleanup.i
programhash 95b20088216028e3d05e3cb41d4ed5c20af6a751
sourcecodelang C
specification CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) )
witness-file witnessFileByHash/a606067f1a8e3953b8753f4ae8d872d77fa7745d04492f765ebf4b0af9516aad.graphml
witness-sha256 a606067f1a8e3953b8753f4ae8d872d77fa7745d04492f765ebf4b0af9516aad
witness-size 4190
witness-type violation_witness

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

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

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

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

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

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

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 0c4e2c5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness Symbiotic 1 2019-12-01 17:46:28
Download 99d235d Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-11T21:48:42+01:00 Download 00a4f74
Download cc6d19c Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-11T21:48:08+01:00 Download dd78534
Download a3aa910 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-11T21:09:22+01:00 Download 0c4e2c5
Download e7b4bcb Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-08T00:27:25+01:00 Download 158bf19
Download 80f949d Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-08T00:06:03+01:00 Download 602b405
Download 1df882e Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-07T21:14:46+01:00 Download 4153b6b
Download 5eb1561 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-05T19:34:04+01:00 Download 0b1fb67
Download fc37773 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 7 2019-12-03T08:08:22+01:00 Download 2ada24e
Download 2ada24e Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.9 6 2019-11-30T01:43:33+01:00
Download 00a4f74 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.8-svn-35b8bb3bb3+ 6 2019-11-30T20:43:03+01:00
Download 846f522 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2019-12-01 22:47:42
Download ff4414d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T22:00:32+01:00 Download f707657
Download d10dceb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T21:44:50+01:00 Download 56d6c46
Download d997a63 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T21:09:40+01:00 Download 846f522
Download eaf57ae Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-11T20:55:15+01:00 Download 1ad3463
Download 78e8784 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-08T00:27:08+01:00 Download 1e6da66
Download 7f6eaaa Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-08T00:06:04+01:00 Download 3caee47
Download 6be2cbd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-07T21:13:20+01:00 Download df64621
Download b4a730b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-05T19:34:04+01:00 Download 268c902
Download 664d6bc 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 6158bbe
Download 2870127 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / witnessValidation 9 2019-12-03T08:10:37+01:00 Download 802537f
Download 802537f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.9 / svcomp20 9 2019-11-30T04:49:07+01:00
Download a836ef1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.8 8 2019-12-07T13:57:48+01:00
Download 56d6c46 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 9 2019-12-01T01:40:21+01:00
Download 58faa15 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 10 2019-12-11T20:44:51+01:00 Download 0dda5cd
Download b4a030a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 10 2019-12-08T01:51:16+01:00 Download a836ef1
Download 2b29ad2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 10 2019-12-06T02:40:52+01:00 Download 0774dd6
Download 08d0e75 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 10 2019-12-05T20:21:46+01:00 Download 8492f56

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

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

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download f107717 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness Symbiotic 1 2018-12-08T20:30 CET (sv-comp)
Download 1e959b0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness SMACK 1.9.3 3 2018-12-07T22:25:41
Download 05d1d65 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 6 2018-12-08T23:43:51+01:00 Download f107717
Download 58cfa17 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 7 2018-12-08T22:10:52+01:00 Download 1e959b0
Download 3389fd9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 7 2018-12-07T09:29:15+01:00 Download aa331a6
Download 90971b1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 7 2018-12-06T10:19:49+01:00 Download 93c28b7
Download 82c4698 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 6 2018-12-06T09:48:57+01:00 Download 3d6ce04
Download 15e36bd Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 7 2018-12-06T09:41:19+01:00 Download d581238
Download 3d6ce04 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-05T19:11:55+01:00
Download ffc38e5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G valid-memcleanup) ) correctness_witness CPAchecker 1.7-svn 29852 10 2018-12-06T09:17:10+01:00 Download 573f5bb
Download c6eab09 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2018-12-08T11:36 CET (sv-comp)
Download 645974c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness SMACK 1.9.3 3 2018-12-08T06:32:55
Download f4a0247 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Pinaka 13 2018-12-06T22:38 CET (sv-comp)
Download c2dd5cc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7 7 2018-12-10T17:59:26+01:00
Download bd7330a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn b8d6131600+ 8 2018-12-06T23:24:37+01:00
Download 0e56c70 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-10T10:48:53+01:00 Download 1c7d881
Download b7b97b4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-09T20:53:08+01:00 Download cc95108
Download d5f7761 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-09T20:37:16+01:00 Download 07c4d84
Download eec3818 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-09T20:19:16+01:00 Download 872bd9b
Download 07bf308 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-08T22:08:58+01:00 Download 645974c
Download 28a21bd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-08T08:05:04+01:00 Download bd7330a
Download eea959c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-08T05:04:40+01:00 Download afff202
Download 38b09d2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-08T03:50:32+01:00 Download 1c7d881
Download e9f99d0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 20 2018-12-07T17:43:53+01:00 Download f4a0247
Download 91a3ea3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-07T09:24:07+01:00 Download a606067
Download 8f61302 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-06T10:13:34+01:00 Download 8f6dd7c
Download 3412c8f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-06T09:48:49+01:00 Download f8660ba
Download 5dc2127 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-06T09:40:42+01:00 Download 13ca573
Download e200978 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 10 2018-12-06T09:20:05+01:00 Download e8608fc
Download f8660ba Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.7-svn 29852 8 2018-12-06T07:36:41+01:00
Download e41c925 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 10 2018-12-10T20:37:17+01:00 Download c2dd5cc
Download 133350a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 10 2018-12-09T18:20:03+01:00 Download 04a5e08
Download a0b519e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 10 2018-12-08T23:43:13+01:00 Download c6eab09
Download 0af7fb1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 10 2018-12-07T01:21:49+01:00 Download 316f0f2

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

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

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 79821b0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Taipan 7 2017-12-03T04:30Z
Download 90a6e26 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Symbiotic 1 2017-12-02T02:33 CET (sv-comp)
Download a606067 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness PredatorHP 4 2017-12-01T20:43 CET (sv-comp)
Download 578dd18 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Map2Check 2 2017-12-01T20:25 CET (sv-comp)
Download 164f067 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Kojak 7 2017-12-02T13:48Z
Download fba4044 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Forester 6 2017-12-01T17:57 CET (sv-comp)
Download 11a8c15 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 4.6.0 kind 5 2017-12-01T15:25:03.700992
Download 6cf261a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 4.6.0 incr 4 2017-12-01T20:19:21.714558
Download db324cd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness ESBMC 3.1 4 2017-12-01T03:46 CET (sv-comp)
Download e9576d4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26773 7 2017-11-30T22:58:39+01:00
Download c13e808 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26758M 12 2017-11-30T14:36:43+01:00
Download 5b00ba2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker 1.6.1-svn 26725 5 2017-11-30T16:59:41+01:00
Download 99d9d7e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CPAchecker (unknown version) 14 2017-12-02T01:36:04+01:00
Download 385ffd7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness CBMC 6 2017-12-01T00:10 CET (sv-comp)
Download 1920d7d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Automizer 7 2017-12-02T20:35Z

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

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

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

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