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 (68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4, sv-benchmarks/c/ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i).

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

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

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

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

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 59c8fe2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2019-12-03T23:38 CET (comp)
Download 24bdaab Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-11T20:31:05+01:00 Download 1514d0c
Download 76fa65e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-11T20:29:28+01:00 Download 2b6dafb
Download 74bcaa3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-11T20:08:20+01:00 Download b7fde13
Download faeb47f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-11T20:02:42+01:00 Download bacdcc0
Download 047c991 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-08T00:58:28+01:00 Download 1bb8ce6
Download b6aa718 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-07T23:45:05+01:00 Download 21b6cec
Download 59f2d1c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-07T23:44:21+01:00 Download 0699a1d
Download e970d0d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-07T19:40:58+01:00 Download 7989c1d
Download ba51ece Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-06T02:05:48+01:00 Download b3a073f
Download 8f76070 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-05T19:12:45+01:00 Download edd01e0
Download faceae2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-05T19:03:04+01:00 Download ed2517c
Download c93346b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-12-04T02:07:39+01:00 Download 59c8fe2
Download b5b0cb8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-11-30T19:52:59+01:00 Download 152947c
Download 9322871 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 5 2019-11-30T17:15:17+01:00 Download ce8bc68
Download ce8bc68 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / svcomp20 5 2019-11-29T17:33:06+01:00
Download 1bb8ce6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8 5 2019-12-07T11:16:48+01:00
Download b7fde13 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 5 2019-12-01T01:37:06+01:00
Download bbf3f36 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2019-12-03T23:43 CET (comp)

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

Trying to find witnesses for program (68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4, sv-benchmarks/c/ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i).

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download e8cdb61 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2018-12-08T14:08 CET (sv-comp)
Download c68d73f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness SMACK 1.9.3 3 2018-12-08T16:26:04
Download 5397c47 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2018-12-07T15:45 CET (sv-comp)
Download 166a56c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 5 2018-12-08T03:53:04+01:00
Download 41c473d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-10T19:38:19+01:00 Download 43752ce
Download 1f11ed9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-10T10:30:44+01:00 Download fbae6ee
Download c7718db Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-09T20:28:15+01:00 Download c6e8634
Download fd9acee Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-09T20:09:11+01:00 Download 4ab49ea
Download 4fbc59a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-09T19:55:52+01:00 Download c90ed83
Download cb86713 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-08T23:15:10+01:00 Download e8cdb61
Download 0564c8e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-08T21:32:56+01:00 Download c68d73f
Download fb10144 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-08T06:32:42+01:00 Download 166a56c
Download dd87d76 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-08T03:33:23+01:00 Download 5ba79f5
Download 73ca6c0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-08T03:03:15+01:00 Download fbae6ee
Download 7c98169 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-07T17:44:53+01:00 Download 0e25401
Download a778188 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-07T16:38:00+01:00 Download 5397c47
Download e4e6d1a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-07T08:53:08+01:00 Download 7719708
Download 19bf2d2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-06T09:28:16+01:00 Download cc52bd1
Download 0678e1f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-06T09:09:37+01:00 Download f08eeb0
Download 047b464 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-06T08:30:07+01:00 Download cff178b
Download ecdc8e8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-06T07:56:16+01:00 Download e98bc18
Download f08eeb0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 5 2018-12-06T03:20:30+01:00
Download fd8b4df Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 1 2018-12-08T15:48 CET (sv-comp)
Download 5a75c95 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2018-12-07T13:17 CET (sv-comp)

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

Trying to find witnesses for program (68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4, sv-benchmarks/c/ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i).

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 0e25401 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness skink 3 2017-12-01T22:40 CET (sv-comp)
Download 2eaf4a6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Taipan 7 2017-12-03T05:09Z
Download 36856f0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2017-12-02T00:15 CET (sv-comp)
Download 7719708 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness PredatorHP 4 2017-12-01T20:30 CET (sv-comp)
Download 4f71bcc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Map2Check 3 2017-12-01T19:57 CET (sv-comp)
Download 5257866 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Kojak 7 2017-12-02T13:04Z
Download 54976e5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-02T23:29:35.349947
Download 2664662 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-02T14:41:11.004593
Download cebd664 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 kind 3 2017-12-01T15:24:15.534583
Download bbe9a0b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 incr 3 2017-12-01T09:08:48.244958
Download f83fb5f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 3.1 5 2017-12-01T16:56 CET (sv-comp)
Download 3b9addb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 5 2017-12-02T21:06:28+01:00
Download 9e8ba8c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 4 2017-12-01T00:37:13+01:00
Download 7393b6d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-03T06:51:23+01:00 8eec89a
Download 80e8132 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-03T04:07:04+01:00 629346f
Download be3bbf1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-03T01:44:29+01:00 cc2fb5e
Download 059f8d1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-02T23:26:09+01:00 f0e3706
Download 776d727 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-02T20:42:00+01:00 daac857
Download 51b5420 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-02T14:20:24+01:00 1e76e70
Download 8acbfc9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-02T08:32:59+01:00 7669958
Download 0e1c44b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-02T00:06:23+01:00 e047c76
Download b9ce4dc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-01T22:23:21+01:00 06e9057
Download c0e1c61 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-01T22:04:45+01:00 32c140b
Download 87cc936 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-01T21:04:11+01:00 d4e6e1b
Download 604008a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-01T08:13:50+01:00 7aadf96
Download 9394baf Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-01T06:15:41+01:00 2362b29
Download c100fc5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-01T05:58:54+01:00 54e262d
Download 627f703 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-01T05:33:06+01:00 c37fc5a
Download 1f63929 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-01T05:13:30+01:00 cd58ebc
Download f8bbf05 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-12-01T04:50:33+01:00 4851657
Download 931e1aa Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 5 2017-11-30T23:15:21+01:00
Download 7076f9a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26758M 10 2017-11-30T23:38:31+01:00
Download 0f05042 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26725 5 2017-11-30T21:33:56+01:00
Download 9cff76f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker (unknown version) 5 2017-12-02T07:34:02+01:00
Download eeeb702 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CBMC 5 2017-11-30T17:50 CET (sv-comp)
Download 35c6582 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Automizer 7 2017-12-02T00:09Z
Download d188768 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness 2LS 11 2017-11-30T19:31 CET (sv-comp)
Download 5eb8c28 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness CBMC 5 2017-12-01T14:07 CET (sv-comp)
Download e0f6536 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness 2LS 11 2017-12-01T15:07 CET (sv-comp)

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

Trying to find witnesses for program (68ccd27bcdc464da226746570f628a00864ac9724c7ac338a1894c7040c983b4, sv-benchmarks/c/ldv-regression/alias_of_return_2_true-termination.c_true-unreach-call.i).

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

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