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 (ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f, sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c, ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f
from https://sv-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f.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 (ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f, sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c, ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f
from https://sv-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f.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 (ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f, sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c, ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f
from https://sv-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f.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 (ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f, sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c, ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f
from https://sv-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f.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 (ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f, sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c).

Found 19 witnesses for program sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c, ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f
from https://sv-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 90c6d06 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2019-12-03T23:51 CET (comp)
Download 2a920b6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-11T20:30:41+01:00 Download aa6052e
Download e68ddaf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-11T20:18:30+01:00 Download 728b65a
Download 7017551 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-11T20:07:12+01:00 Download bc8419b
Download 121df2f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-11T20:02:16+01:00 Download ea34765
Download 0570d7b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-08T00:36:52+01:00 Download fd43e18
Download 333ca12 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-07T23:46:22+01:00 Download bc08796
Download 29ba6e3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-07T23:27:30+01:00 Download c3f9eff
Download ea8181f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-07T19:44:22+01:00 Download 8667bdc
Download 582ec57 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-06T02:03:56+01:00 Download 061eef5
Download 2a6944d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-05T19:12:51+01:00 Download 8509209
Download 694bc2f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-05T19:02:57+01:00 Download 7736474
Download 22279a6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-04T02:07:50+01:00 Download 90c6d06
Download 7414ef1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-11-30T19:01:10+01:00 Download 5293978
Download 87533df Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-11-30T16:47:43+01:00 Download d9f5f72
Download d9f5f72 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / svcomp20 4 2019-11-30T11:50:11+01:00
Download fd43e18 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8 4 2019-12-07T22:16:58+01:00
Download bc8419b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 4 2019-12-01T01:31:07+01:00
Download bf90a68 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2019-12-03T23:06 CET (comp)

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

Trying to find witnesses for program (ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f, sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c).

Found 24 witnesses for program sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c, ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f
from https://sv-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 0ec9872 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2018-12-08T13:25 CET (sv-comp)
Download c9d1960 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness SMACK 1.9.3 3 2018-12-08T05:59:45
Download c3c66e3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2018-12-07T13:23 CET (sv-comp)
Download e6b23fa Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 4 2018-12-07T02:51:19+01:00
Download 2a348b2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-10T19:56:11+01:00 Download 4aabecd
Download bfeb1d7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-10T10:31:22+01:00 Download 926ceb9
Download b0c88d5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-09T20:27:38+01:00 Download f1cfd1f
Download e3966c6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-09T19:52:52+01:00 Download 3fef88b
Download 5cf9a6a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-09T17:13:59+01:00 Download 0167be3
Download dbd2c43 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-08T23:14:00+01:00 Download 0ec9872
Download 2e3c2b7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-08T21:43:55+01:00 Download c9d1960
Download 6bab953 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-08T06:46:03+01:00 Download e6b23fa
Download 19d5532 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-08T03:45:05+01:00 Download 19ccde2
Download 1baeaf2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-08T02:20:00+01:00 Download 926ceb9
Download 118cfd8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-07T17:45:49+01:00 Download 48153d2
Download 2d8b9b9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-07T16:37:46+01:00 Download c3c66e3
Download fb972a7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-07T08:52:10+01:00 Download 5691a5d
Download b438270 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-06T09:28:32+01:00 Download 95a2aae
Download 282483a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-06T09:08:05+01:00 Download 100e2c8
Download 11f354a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-06T08:02:32+01:00 Download c3e92a9
Download 64202aa Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-06T07:29:07+01:00 Download 660f9ba
Download 100e2c8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-06T04:09:08+01:00
Download 0a54e3a Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 1 2018-12-08T03:53 CET (sv-comp)
Download 7e8e921 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2018-12-07T08:09 CET (sv-comp)

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

Trying to find witnesses for program (ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f, sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c).

Found 38 witnesses for program sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c, ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f
from https://sv-comp.sosy-lab.org/2018/results/witnessListByProgramHashJSON/ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f.json

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 8afb44b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) violation_witness Forester 5 2017-12-01T17:55 CET (sv-comp)
Download 48153d2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness skink 3 2017-12-01T22:26 CET (sv-comp)
Download 4ff81fd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Taipan 6 2017-12-03T04:31Z
Download 52b42bc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2017-12-01T23:51 CET (sv-comp)
Download 5691a5d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness PredatorHP 4 2017-12-01T20:38 CET (sv-comp)
Download 0ecd5f0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Kojak 6 2017-12-02T15:24Z
Download c1434a1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-02T22:31:17.766890
Download 056aed6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-02T10:03:06.413301
Download ff10250 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 kind 3 2017-12-02T00:59:14.439073
Download bb40ed4 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 incr 3 2017-12-01T19:51:53.164542
Download f824e28 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 3.1 4 2017-12-01T15:28 CET (sv-comp)
Download d16e1ea Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 4 2017-12-02T19:54:58+01:00
Download 9917744 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 4 2017-12-01T03:52:09+01:00
Download 26f6acf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-03T06:50:48+01:00 f989e51
Download 53c77c6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-03T04:14:30+01:00 697ec22
Download f1ca5d6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-03T02:41:28+01:00 28b13ef
Download 583f3a8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-03T00:17:43+01:00 07b6236
Download fc83da2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-02T20:28:35+01:00 e3e5a0f
Download 8dcc27c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-02T15:26:22+01:00 85b25dc
Download 45ddbe6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-02T08:21:52+01:00 bf0d96a
Download c1ae8c8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-02T00:08:59+01:00 9a42baf
Download b1213f6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T22:33:21+01:00 478f32c
Download 580989d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T21:03:54+01:00 c5d7e5a
Download e243f7e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T08:13:52+01:00 ae10e14
Download eab58e2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T07:09:37+01:00 8d20269
Download 4f22481 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T06:58:38+01:00 5050492
Download ff079b3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T06:00:35+01:00 064c773
Download 84365ae Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T05:56:04+01:00 7fc58fc
Download 3532ce8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T04:42:58+01:00 f2eb1e4
Download b9fbed3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T03:18:47+01:00
Download 10f741c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26758M 7 2017-11-30T20:23:18+01:00
Download 848c944 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26725 4 2017-11-30T23:04:24+01:00
Download 622ed7f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker (unknown version) 4 2017-12-02T13:41:30+01:00
Download 13c1bc2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CBMC 4 2017-11-30T16:23 CET (sv-comp)
Download 466b9be Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Automizer 6 2017-12-02T16:58Z
Download c0005aa Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness 2LS 8 2017-11-30T13:34 CET (sv-comp)
Download b2dfe7e Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness CBMC 4 2017-12-01T15:55 CET (sv-comp)
Download c7f403a Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness 2LS 8 2017-12-01T13:56 CET (sv-comp)

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

Trying to find witnesses for program (ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f, sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c).

Found 0 witnesses for program sv-benchmarks/c/ldv-regression/test26_true-unreach-call_true-termination.c, ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f
from https://sv-comp.sosy-lab.org/2017/results/witnessListByProgramHashJSON/ca6ada06418027dc68a76a2bbd13ec96b5dd791e57881d7e519e6ac3d809626f.json

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