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/ldv-regression/oomInt_true-termination.c_true-unreach-call.i
programSHA 073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c
witnessName results-validated/cpa-seq-validate-correctness-witnesses-pinaka.2018-12-07_1617.logfiles/sv-comp19_prop-reachsafety.oomInt_true-termination.c_true-unreach-call.i.files/witness.graphml
witnessSHA a161b9901450b945b4ce71da62ee144cea3a2a5dcbb259c60dfd1387a1bf8921

Information about the Witness from Competition Database

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

Key Value
architecture 32bit
creationtime 2018-12-07T16:37:28+01:00
inputwitnesshash ca92061b320c5bdacecfffdb2abf4431867419f705a717943b3b2bfd2e7f4989
producer CPAchecker 1.7-svn 29852
program-sha256 073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c
programfile ../../sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i
programhash 073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c
sourcecodelang C
specification CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) )
witness-file witnessFileByHash/a161b9901450b945b4ce71da62ee144cea3a2a5dcbb259c60dfd1387a1bf8921.graphml
witness-sha256 a161b9901450b945b4ce71da62ee144cea3a2a5dcbb259c60dfd1387a1bf8921
witness-size 5677
witness-type correctness_witness

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

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

Trying to find witnesses for program (073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c, sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i, 073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c.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 (073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c, sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i, 073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c.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 (073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c, sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i, 073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c.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 (073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c, sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i, 073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c.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 (073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c, sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i).

Found 19 witnesses for program sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i, 073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 9f769ab Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2019-12-03T22:32 CET (comp)
Download d760d9d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-11T20:28:55+01:00 Download c3a93e8
Download 8749a77 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-11T20:18:22+01:00 Download 0ac99c0
Download 2d894aa Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-11T20:07:36+01:00 Download 605e4dd
Download 56e6b30 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-11T20:02:26+01:00 Download 7b12956
Download 8769fed Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-08T00:36:18+01:00 Download c21cbb8
Download d393a99 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-07T23:46:32+01:00 Download 1072619
Download fcb47a6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-07T23:37:22+01:00 Download ebbf565
Download a7e2425 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-07T19:44:06+01:00 Download 04c99e6
Download 21977a0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-06T02:20:38+01:00 Download d858c84
Download d6a87df Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-05T19:12:51+01:00 Download f160f79
Download 8d29c40 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-05T19:02:51+01:00 Download f911f47
Download e8f5c67 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-04T02:07:45+01:00 Download 9f769ab
Download abf715f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-11-30T19:03:38+01:00 Download 9fe01b8
Download b241ec3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-11-30T16:54:49+01:00 Download c01dfd2
Download c01dfd2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / svcomp20 6 2019-11-30T07:29:06+01:00
Download c21cbb8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8 5 2019-12-07T13:03:28+01:00
Download 605e4dd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 6 2019-12-01T02:07:22+01:00
Download ce060c4 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2019-12-03T23:10 CET (comp)

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

Trying to find witnesses for program (073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c, sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i).

Found 24 witnesses for program sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i, 073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 4d7ebbf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2018-12-08T10:58 CET (sv-comp)
Download 8294e13 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness SMACK 1.9.3 3 2018-12-07T21:36:20
Download ca92061 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2018-12-07T00:59 CET (sv-comp)
Download 395dfb2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 6 2018-12-07T11:14:23+01:00
Download 95bd23f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-10T20:11:20+01:00 Download 9129a1d
Download 26d40bd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-10T10:31:33+01:00 Download ac56c2a
Download 1036872 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-09T20:27:11+01:00 Download 40ce66a
Download b7fb2e6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-09T20:09:40+01:00 Download c6b0e9e
Download e735f89 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-09T19:47:18+01:00 Download e590579
Download fb57135 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-08T23:22:09+01:00 Download 4d7ebbf
Download e29e0e3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-08T21:27:08+01:00 Download 8294e13
Download 13b2dd6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-08T05:12:38+01:00 Download 395dfb2
Download e4bb85d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-08T04:00:47+01:00 Download b5b6ff8
Download e2d38b1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-08T02:08:56+01:00 Download ac56c2a
Download 988d9ad Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-07T17:45:55+01:00 Download b18e29d
Download a161b99 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-07T16:37:28+01:00 Download ca92061
Download 38d6db8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-07T08:18:11+01:00 Download f76912c
Download ef80ccf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-06T09:28:49+01:00 Download 1565e80
Download 0391acd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-06T08:55:44+01:00 Download 864b01a
Download 93442bd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-06T08:27:51+01:00 Download b1b2810
Download aa7a3c4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-06T08:12:47+01:00 Download ce01f27
Download 864b01a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-06T06:01:34+01:00
Download 4950280 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 1 2018-12-08T17:04 CET (sv-comp)
Download 10b15d9 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2018-12-07T07:51 CET (sv-comp)

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

Trying to find witnesses for program (073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c, sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i).

Found 39 witnesses for program sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i, 073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download b18e29d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness skink 3 2017-12-01T22:37 CET (sv-comp)
Download 8da04b3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Taipan 6 2017-12-02T23:32Z
Download 61267e7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2017-12-01T22:58 CET (sv-comp)
Download f76912c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness PredatorHP 4 2017-12-01T20:45 CET (sv-comp)
Download 9d34163 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Map2Check 4 2017-12-01T20:46 CET (sv-comp)
Download b9cda0d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Kojak 6 2017-12-02T10:40Z
Download bea6b14 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-03T00:06:01.624905
Download c03056a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-02T12:54:47.242453
Download 6c038f3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 kind 3 2017-12-01T21:21:23.872006
Download dea0914 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 incr 3 2017-12-01T10:28:34.511973
Download 5c98c62 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 3.1 4 2017-12-01T18:56 CET (sv-comp)
Download 49750f8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 6 2017-12-02T22:03:47+01:00
Download a9105b6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 4 2017-11-30T18:47:26+01:00
Download 66558d5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-03T06:57:19+01:00 bc445e8
Download 88a4109 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-03T04:19:43+01:00 230e3a1
Download 83edffd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-03T02:47:40+01:00 0a0b1cb
Download b595afd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-03T01:36:41+01:00 894dc17
Download 882b5b7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-02T20:43:17+01:00 0a2b26e
Download 28853a3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-02T15:02:21+01:00 dc7a733
Download 44f84a0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-02T09:02:22+01:00 71277cb
Download 427f857 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-02T00:16:17+01:00 5fa1a1e
Download 3846f46 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T22:34:33+01:00 adc24a2
Download eba7b88 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T22:12:06+01:00 b0289f4
Download 2f5a416 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T21:04:46+01:00 99fc48d
Download 4bf7f54 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T08:13:09+01:00 34b1aa2
Download d314d0b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T06:50:57+01:00 cbfdabc
Download 24fb547 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T06:45:35+01:00 68f7c2e
Download 8ccf42f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T06:22:16+01:00 fedb2f0
Download 9627170 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T06:14:44+01:00 2965858
Download d364bf6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T05:38:22+01:00 963957d
Download ca29f87 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-11-30T18:54:22+01:00
Download d89ea41 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26758M 10 2017-11-30T14:15:43+01:00
Download a4a1ae4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26725 6 2017-11-30T17:02:33+01:00
Download 290aefe Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker (unknown version) 4 2017-12-01T20:55:35+01:00
Download d061301 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CBMC 4 2017-11-30T12:06 CET (sv-comp)
Download ac44c1a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Automizer 6 2017-12-02T07:46Z
Download 448715e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness 2LS 10 2017-11-30T18:27 CET (sv-comp)
Download d79ed8d Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness CBMC 4 2017-12-01T18:39 CET (sv-comp)
Download 4c4c5c3 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness 2LS 10 2017-12-01T14:13 CET (sv-comp)

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

Trying to find witnesses for program (073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c, sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call.i, 073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/073c058d941d0b0fd9dd58d2eba6f1dcdb50867230f9bf2242ef6a9fe0610e6c.json

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