Key | Value |
programName | sv-benchmarks/c/eca-rers2012/Problem06_label12.c |
programSHA | 1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8 |
witnessName | results-verified/cpa-tiger.2019-02-05_2113.logfiles/test-comp19_prop-coverage-error-call.Problem06_label12.yml.files/test-suite.zip |
witnessSHA | 2879d64446d45118a553eb29d7a258be32ea75fc0b1b6a7cf8cc3d30317b6ee2 |
Key | Value |
architecture | 32bit |
creationtime | 2019-02-06T02:45:06+01:00 |
entryfunction | main |
producer | CPAchecker 1.8-svn 30541M / tigertestcomp19 |
program-sha256 | 1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8 |
programfile | ../../sv-benchmarks/c/eca-rers2012/Problem06_label12.c |
programhash | 1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8 |
sourcecodelang | C |
specification | COVER EDGES(@CALL(__VERIFIER_error)) |
witness-file | fileByHash/2879d64446d45118a553eb29d7a258be32ea75fc0b1b6a7cf8cc3d30317b6ee2.zip |
witness-number-of-tests | 1 |
witness-sha256 | 2879d64446d45118a553eb29d7a258be32ea75fc0b1b6a7cf8cc3d30317b6ee2 |
witness-size | 1066 |
witness-type | test-suite |
This witness was created for this program (cf. table above, 1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8).
Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem06_label12.c, 1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8.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/eca-rers2012/Problem06_label12.c, 1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8.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/eca-rers2012/Problem06_label12.c, 1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8.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/eca-rers2012/Problem06_label12.c, 1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
Found 14 witnesses for program sv-benchmarks/c/eca-rers2012/Problem06_label12.c, 1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
0465e1e | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 2370 | 2565 | Sun Dec 8 21:54:30 CET 2019 | ||
83ab138 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 2407 | 2579 | Mon Dec 9 04:32:24 CET 2019 | ||
8e75140 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | Tracer-X | 3948 | 11281 | 2019-12-09T19:16:37Z | ||
402a09b | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | Symbiotic | 7 | 1200 | 2019-12-09 11:18:23 | ||
a64eb5e | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | KLEE 2.1-pre-test-comp | 389 | 426 | 2019-12-09T03:26:13Z | ||
eba874b | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | CPAchecker 1.8-svn-32236 / testcomp20 | 108 | 39 | 2019-12-09T02:50:34+01:00 | ||
15c1197 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Tracer-X | 3922 | 11213 | 2019-12-09T14:44:49Z | ||
0c950ce | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Symbiotic | 0 | 1315 | 2019-12-09 11:44:32 | ||
44b5aef | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.1-pre-test-comp | 1 | 190 | 2019-12-09T06:03:42Z | ||
f680f79 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | CPAchecker 1.8-svn-32236 / testcomp20 | 1 | 1 | 2019-12-09T02:32:53+01:00 | ||
a09f4a5 | Inspect | COVER EDGES(@DECISIONEDGE) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 41 | 16 | 2019-12-09T00:22:12+01:00 | ||
f74e262 | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 1 | 1 | 2019-12-09T00:25:55+01:00 | ||
66efa7d | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 92 | 40 | 2019-12-09 09:30:23.271715 | ||
0a79c9f | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 96 | 42 | 2019-12-09 07:12:06.408428 |
Found 8 witnesses for program sv-benchmarks/c/eca-rers2012/Problem06_label12.c, 1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/1bedc08487fcd8e94719ed388f6b549ad34054835765677435fd42c6f4e67cf8.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
94a7624 | Inspect | test-suite | Symbiotic | 1 | 52 | 2019-02-06T14:55 CET (comp) | |||
35c3365 | Inspect | test-suite | Symbiotic | 1 | 1 | 2019-02-06T12:44 CET (comp) | |||
0dde062 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | KLEE 2.0.0-pre-test-comp | 1 | 53 | 2019-02-06T01:33:12Z | ||
f7ad9ab | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | CPAchecker 1.8-svn 30375 | 100 | 36 | 2019-02-06T04:59:24+01:00 | ||
1e73538 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.0.0-pre-test-comp | 1 | 52 | 2019-02-06T05:13:53Z | ||
34b8c22 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | CPAchecker 1.8-svn 30375 | 1 | 52 | 2019-02-06T04:22:04+01:00 | ||
059feaf | Inspect | COVER EDGES(@DECISIONEDGE) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 381 | 146 | 2019-02-05T22:30:42+01:00 | ||
f8e770c | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 1 | 52 | 2019-02-06T02:45:06+01:00 |