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/nested_structure_ptr_true-termination.c_true-unreach-call.i
programSHA a2c933fe2a0b6634c7575e339aacb6e55c218dcce042a64d7645510825e1c5e5
witnessName results-verified/uautomizer.2017-12-02_0106.logfiles/sv-comp18.nested_structure_ptr_true-termination.c_true-unreach-call.i.files/witness.graphml
witnessSHA 7dfd7064aa429b835e0efb5319fa60342edab961682dd3fc1a9b19040735d43a

Information about the Witness from Competition Database

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

Key Value
architecture 32bit
creationtime 2017-12-02T02:00Z
producer Automizer
program-sha256 a2c933fe2a0b6634c7575e339aacb6e55c218dcce042a64d7645510825e1c5e5
programfile /tmp/vcloud-vcloud-master/worker/working_dir_da415a16-987a-4334-affa-e0c9207f3716/sv-benchmarks/c/ldv-regression/nested_structure_ptr_true-termination.c_true-unreach-call.i
programhash ba8c3ab7692cdfe311be2a8c99aab063ad0366de
sourcecodelang C
specification CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) )
witness-file witnessFileByHash/7dfd7064aa429b835e0efb5319fa60342edab961682dd3fc1a9b19040735d43a.graphml
witness-sha256 7dfd7064aa429b835e0efb5319fa60342edab961682dd3fc1a9b19040735d43a
witness-size 7962
witness-type correctness_witness

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

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

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

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

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

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

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 67852d8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2019-12-03T22:02 CET (comp)
Download b940365 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-11T20:25:30+01:00 Download 182b78b
Download 31bbe40 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-11T20:21:12+01:00 Download a3c85db
Download 3552a7e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-11T20:07:24+01:00 Download 5ad0737
Download 0ecf679 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-11T20:02:20+01:00 Download 8e2eb85
Download af5b581 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-08T00:36:31+01:00 Download bde030d
Download 8a589df Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-07T23:47:32+01:00 Download 7e11f9e
Download f165320 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-07T23:31:26+01:00 Download 7a47e12
Download e39aeb0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-07T19:39:45+01:00 Download 24afab4
Download cc1f149 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-06T01:53:26+01:00 Download f885bb5
Download a4ab237 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-05T19:13:26+01:00 Download 4a9a5dd
Download 0515abd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-12-05T19:02:49+01:00 Download 66fd7fe
Download 900f58f 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 67852d8
Download 5b76f0f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-11-30T19:09:44+01:00 Download 29dd07c
Download 54d6fbb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / witnessValidation 4 2019-11-30T16:35:40+01:00 Download 130fd76
Download 130fd76 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.9 / svcomp20 4 2019-11-29T15:44:17+01:00
Download bde030d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8 4 2019-12-07T14:18:42+01:00
Download 5ad0737 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.8-svn-35b8bb3bb3+ / svcomp20-pesco 4 2019-11-30T21:18:17+01:00
Download ff1ca1e Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2019-12-04T01:02 CET (comp)

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

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

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download f4352c5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2018-12-08T03:17 CET (sv-comp)
Download c7f1bc0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness SMACK 1.9.3 3 2018-12-08T10:56:48
Download bb4564c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Pinaka 3 2018-12-07T01:18 CET (sv-comp)
Download f4153c7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn b8d6131600+ 4 2018-12-06T13:19:38+01:00
Download fed8eef Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-10T20:14:13+01:00 Download 4123e42
Download d4139f3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-10T10:30:43+01:00 Download 8c9c7c2
Download eab5254 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-09T20:22:17+01:00 Download c424110
Download 4d71169 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-09T19:52:59+01:00 Download 1ce9a90
Download 34d36bb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-09T17:14:00+01:00 Download f68db8a
Download 645395e Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-08T23:23:49+01:00 Download f4352c5
Download 5395071 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-08T21:26:37+01:00 Download c7f1bc0
Download 438cea8 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-08T05:11:35+01:00 Download f4153c7
Download 70cd7d0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-08T03:42:08+01:00 Download 20fdeb3
Download 603a034 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-08T02:52:37+01:00 Download 8c9c7c2
Download 7df1bac Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-07T17:46:00+01:00 Download 7b33609
Download 04f2ac1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-07T16:37:54+01:00 Download bb4564c
Download 9ba70ac Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-07T08:08:42+01:00 Download 2e0bde1
Download 2188e76 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-06T09:28:15+01:00 Download 67d615f
Download 4c0e210 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-06T08:45:29+01:00 Download 295e74b
Download a2c2204 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-06T08:30:02+01:00 Download 71d5fe2
Download eabf86f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-06T08:04:59+01:00 Download 483f399
Download 295e74b Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.7-svn 29852 4 2018-12-06T00:34:15+01:00
Download ba8d2e6 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Symbiotic 1 2018-12-08T09:56 CET (sv-comp)
Download eb0368d Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness Pinaka 3 2018-12-07T04:07 CET (sv-comp)

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

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

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

Show Witness Inspect Validate Specification Result Type Producer Size (kB) Time stamp Input Witness
Download 7b33609 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness skink 3 2017-12-01T22:43 CET (sv-comp)
Download 57cda56 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Taipan 8 2017-12-02T19:03Z
Download 6e8e30d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Symbiotic 1 2017-12-02T04:09 CET (sv-comp)
Download 2e0bde1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness PredatorHP 4 2017-12-01T20:30 CET (sv-comp)
Download 70f03d0 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Map2Check 3 2017-12-01T20:59 CET (sv-comp)
Download 7b9b88d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Kojak 8 2017-12-02T03:29Z
Download 244103f Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Forester 4 2017-12-01T17:59 CET (sv-comp)
Download 5f6f884 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-03T01:22:03.250051
Download 6c51fcd Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 3 2017-12-02T10:27:04.284172
Download 3de9241 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 kind 3 2017-12-02T04:20:48.756510
Download 2b68ffe Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 4.6.0 incr 3 2017-12-01T11:39:52.767013
Download 857c417 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness ESBMC 3.1 4 2017-12-01T20:20 CET (sv-comp)
Download b99f6d1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 4 2017-12-02T21:18:17+01:00
Download 4f4458d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 4 2017-12-01T05:41:56+01:00
Download 0e1298c Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-03T06:57:27+01:00 591991d
Download 0a93955 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-03T04:18:41+01:00 7e1ac02
Download 3b8a9b5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-03T02:35:26+01:00 9153733
Download b8ad5c6 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-03T02:01:32+01:00 9dcaee9
Download 08cb714 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-02T20:43:29+01:00 fdea401
Download 6af9888 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-02T15:21:15+01:00 9a81567
Download 08b6da7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-02T08:19:11+01:00 68e0209
Download f48d442 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-02T00:13:39+01:00 6924bf3
Download b560423 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T22:28:58+01:00 effe346
Download 734cda3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T22:17:13+01:00 5d71e28
Download 158554d Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T21:03:56+01:00 6f2d69d
Download 54b43a5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T18:32:38+01:00 4a67e6d
Download 22f70e7 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T08:13:07+01:00 42cddab
Download 9150273 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T06:59:13+01:00 8624e69
Download 22cd229 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T06:24:08+01:00 d384409
Download ca49e22 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T06:15:53+01:00 217c68c
Download 1507a76 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T05:28:09+01:00 74352b0
Download b3a27b1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-12-01T04:34:24+01:00 b45af1c
Download d41e2d3 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26773 4 2017-11-30T20:53:08+01:00
Download e9f9239 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26758M 7 2017-11-30T23:21:49+01:00
Download 851dab5 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker 1.6.1-svn 26725 4 2017-11-30T14:33:54+01:00
Download a6fa2bb Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CPAchecker (unknown version) 4 2017-12-02T03:32:45+01:00
Download db61ab1 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness CBMC 5 2017-11-30T12:04 CET (sv-comp)
Download 7dfd706 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness Automizer 8 2017-12-02T02:00Z
Download 9aa4280 Inspect Inspect
Validate
CHECK( init(main()), LTL(G ! call(__VERIFIER_error())) ) correctness_witness 2LS 8 2017-11-30T22:31 CET (sv-comp)
Download a8c5e7b Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness CBMC 5 2017-12-01T16:49 CET (sv-comp)
Download 88f0243 Inspect Inspect
Validate
CHECK( init(main()), LTL(F end) ) correctness_witness 2LS 8 2017-12-01T14:23 CET (sv-comp)

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

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

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

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