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_1.i
programSHA dc8c2d29778ff88358b77c0c9e4f27c277a6f8677ef10f28a9a0a78742ee1668
witnessName results-verified/2ls.2017-11-30_1120.logfiles/sv-comp18.oomInt_true-termination.c_true-unreach-call_1.i.files/witness.graphml
witnessSHA 0c224697ad61d9f2564d14c733f080fe108908981c3a1194331c493f5ccede67

Information about the Witness from Competition Database

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

Key Value
architecture 32bit
creationtime 2017-12-01T00:43 CET (sv-comp)
producer 2LS
program-sha256 dc8c2d29778ff88358b77c0c9e4f27c277a6f8677ef10f28a9a0a78742ee1668
programfile ../../sv-benchmarks/c/ldv-regression/oomInt_true-termination.c_true-unreach-call_1.i
programhash c6e67db8c16273e1bea0fabff61d65ba57872585
sourcecodelang C
specification CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) )
witness-file witnessFileByHash/0c224697ad61d9f2564d14c733f080fe108908981c3a1194331c493f5ccede67.graphml
witness-sha256 0c224697ad61d9f2564d14c733f080fe108908981c3a1194331c493f5ccede67
witness-size 9374
witness-type correctness_witness

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

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

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

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

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

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

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 7d6fb94 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2019-12-03T23:20 CET (comp)
Download f4dc45a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-11T20:30:02+01:00 Download 09f9155
Download fa1cdb0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-11T20:23:32+01:00 Download 6923095
Download a6efc87 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-11T20:08:00+01:00 Download cb8e860
Download a172e24 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-11T20:02:16+01:00 Download ed3c81f
Download ce9e09e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-08T00:36:21+01:00 Download 7c1d7a7
Download 4fd80ba Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-07T23:47:40+01:00 Download 378cbac
Download 1765820 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-07T23:26:26+01:00 Download 43d1acc
Download 2c26c0d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-07T19:44:11+01:00 Download 6b270bb
Download e61cb85 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-06T02:11:25+01:00 Download 79a47df
Download 4bdc16d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-05T19:13:02+01:00 Download 1ceae33
Download a3b48e9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-05T19:03:10+01:00 Download dbdec79
Download 6064aae Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-12-04T02:07:31+01:00 Download 7d6fb94
Download 0a9d1c6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-11-30T19:57:13+01:00 Download e1d860f
Download 1e03b05 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 6 2019-11-30T16:19:22+01:00 Download ebcb514
Download ebcb514 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / svcomp20 6 2019-11-30T12:24:56+01:00
Download 7c1d7a7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8 5 2019-12-07T13:22:42+01:00
Download cb8e860 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 6 2019-12-01T00:18:23+01:00
Download e3a1bd6 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2019-12-03T22:38 CET (comp)

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

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

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 7e48393 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2018-12-08T04:27 CET (sv-comp)
Download 865af6c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness SMACK 1.9.3 3 2018-12-08T02:35:12
Download 1511ebc Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2018-12-07T15:44 CET (sv-comp)
Download 99dc1e6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 6 2018-12-07T08:57:48+01:00
Download 2731fb2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-10T19:50:52+01:00 Download dc1c2a2
Download 16a03b2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-10T10:31:31+01:00 Download b22febc
Download 0d395d2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-09T20:30:36+01:00 Download e8baa53
Download 43271b3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-09T19:55:20+01:00 Download 472064d
Download ceeec01 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-09T17:13:03+01:00 Download 67136c7
Download 0af546d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-08T23:24:13+01:00 Download 7e48393
Download c2e27e0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-08T21:43:52+01:00 Download 865af6c
Download 44f3a30 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-08T05:09:45+01:00 Download 99dc1e6
Download 4b8b071 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-08T02:47:02+01:00 Download 6cb531a
Download 643c3f3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-08T02:03:56+01:00 Download b22febc
Download 10c1793 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-07T17:45:21+01:00 Download de2c398
Download 7038b8c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-07T16:38:34+01:00 Download 1511ebc
Download 329bd01 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-07T08:52:53+01:00 Download 8522431
Download 458c5f3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-06T09:28:42+01:00 Download 70f2332
Download a698a9b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-06T08:45:27+01:00 Download 396e4d2
Download 0a73ed6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-06T08:08:15+01:00 Download be8f630
Download a222c40 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-06T07:51:50+01:00 Download 0a3f465
Download 396e4d2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 6 2018-12-05T21:56:21+01:00
Download 5125ff1 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 1 2018-12-08T08:16 CET (sv-comp)
Download ae78f94 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2018-12-06T22:07 CET (sv-comp)

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

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

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download de2c398 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness skink 3 2017-12-01T23:07 CET (sv-comp)
Download 2d4f9d2 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Taipan 6 2017-12-03T02:38Z
Download 399d3f3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2017-12-02T14:10 CET (sv-comp)
Download 8522431 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness PredatorHP 4 2017-12-01T20:45 CET (sv-comp)
Download cc75c0a Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Map2Check 3 2017-12-01T21:42 CET (sv-comp)
Download 0d49ff0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Kojak 6 2017-12-02T02:57Z
Download 67618f7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-03T01:41:20.808413
Download bb97540 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-02T10:50:44.844467
Download 2c04f6b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 kind 3 2017-12-01T12:13:40.337892
Download 9310bff Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 incr 3 2017-12-01T13:40:06.110205
Download 0601f9e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 3.1 4 2017-12-01T19:17 CET (sv-comp)
Download 69dce53 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 6 2017-12-02T22:07:27+01:00
Download ac97986 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 4 2017-12-01T01:08:13+01:00
Download 0a97c32 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-03T06:52:58+01:00 20cd5d1
Download 195bb05 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-03T04:22:57+01:00 ad5f348
Download fc18fb5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-03T02:57:48+01:00 ad52444
Download 2570d18 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-02T23:47:13+01:00 f9d54da
Download 0d188f9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-02T20:34:06+01:00 a6013ac
Download eee1c99 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-02T15:29:55+01:00 b7828ca
Download ac451d1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-02T08:34:01+01:00 d572927
Download eb357a5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-02T00:13:47+01:00 cccad86
Download 2185ccd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T22:31:27+01:00 1077c7b
Download e767270 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T22:08:39+01:00 4d00fcf
Download 2f2f785 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T21:04:45+01:00 d81aaca
Download 3e4bb06 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T08:13:55+01:00 c951c29
Download aeb95bb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T06:31:42+01:00 bf37aad
Download e060c20 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T06:09:53+01:00 62b05ad
Download ca31213 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T06:07:42+01:00 b558343
Download e5d8ee8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T05:29:45+01:00 b4548c3
Download 33494e0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T05:00:32+01:00 79df704
Download af28a2d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 6 2017-12-01T03:54:34+01:00
Download 4f7fbf0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26758M 9 2017-12-01T03:55:16+01:00
Download bc6399d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26725 6 2017-11-30T16:44:14+01:00
Download ad0d726 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker (unknown version) 4 2017-12-02T01:27:11+01:00
Download f0c02d9 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CBMC 4 2017-11-30T18:29 CET (sv-comp)
Download bce5ead Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Automizer 6 2017-12-02T14:03Z
Download 0c22469 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness 2LS 9 2017-12-01T00:43 CET (sv-comp)
Download a4f0f52 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness CBMC 4 2017-12-01T19:23 CET (sv-comp)
Download 0d7d6c4 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness 2LS 9 2017-12-01T14:35 CET (sv-comp)

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

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

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

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