Key | Value |
programName | sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.c |
programSHA | fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5 |
witnessName | results-verified/symbiotic.2019-02-06_0707.logfiles/test-comp19_prop-coverage-error-call.pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.yml.files/test-suite.zip |
witnessSHA | 3f2898c3309bea98ec4d9ff0bac05a52617ac6a438fd41402e76ab68cfed119b |
Key | Value |
architecture | 64bit |
creationtime | 2019-02-06T10:57 CET (comp) |
entryfunction | main |
error-specification-exists | Key 'specification' not present. |
producer | Symbiotic |
program-sha256 | fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5 |
programfile | /tmp/vcloud-vcloud-master/worker/working_dir_d1543b76-0621-4fb7-9566-2105bbca3ac8/sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.c |
programhash | fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5 |
sourcecodelang | C |
witness-file | fileByHash/3f2898c3309bea98ec4d9ff0bac05a52617ac6a438fd41402e76ab68cfed119b.zip |
witness-number-of-tests | 1 |
witness-sha256 | 3f2898c3309bea98ec4d9ff0bac05a52617ac6a438fd41402e76ab68cfed119b |
witness-size | 969 |
witness-type | test-suite |
The following keys are missing in the witness XML file: specification.
This witness was created for this program (cf. table above, fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5).
Found 0 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.c, fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
Found 0 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.c, fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
Found 0 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.c, fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
Found 0 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.c, fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
Found 7 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.c, fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
f7148e2 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 57 | 2405 | Mon Dec 9 08:43:59 CET 2019 | ||
fd85563 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Tracer-X | 1 | 41 | 2019-12-09T15:16:03Z | ||
ba79657 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Symbiotic | 0 | 35 | 2019-12-09 10:44:45 | ||
9f54b22 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.1-pre-test-comp | 1 | 9 | 2019-12-09T07:17:17Z | ||
bc7b501 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | CPAchecker 1.8-svn-32236 / testcomp20 | 1 | 1 | 2019-12-09T00:03:06+01:00 | ||
5d626d6 | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 1 | 1 | 2019-12-09T01:48:17+01:00 | ||
0d84387 | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 685 | 327 | 2019-12-09 01:37:28.147468 |
Found 5 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.4_2.ufo.UNBOUNDED.pals.c, fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/fb2ded3d5abb162a22839e362c1b81eb18bdb34bc031012ab7a0230d09ddf7a5.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
17b71b1 | Inspect | test-suite | Symbiotic | 1 | 6 | 2019-02-06T14:54 CET (comp) | |||
3f2898c | Inspect | test-suite | Symbiotic | 1 | 1 | 2019-02-06T10:57 CET (comp) | |||
c61a71c | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.0.0-pre-test-comp | 1 | 6 | 2019-02-06T02:52:44Z | ||
7130b73 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | CPAchecker 1.8-svn 30375 | 1 | 6 | 2019-02-05T23:09:31+01:00 | ||
706ccd0 | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 1 | 1 | 2019-02-06T05:16:57+01:00 |