Key | Value |
programName | sv-benchmarks/c/eca-rers2012/Problem04_label06.c |
programSHA | 5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836 |
witnessName | results-verified/fairfuzz.2019-02-08_0939.logfiles/test-comp19_prop-coverage-error-call.Problem04_label06.yml.files/test-suite.zip |
witnessSHA | b9ed7e0536ed28fcdf198ff177153af2602fab9044c2914a3451b03b3f667e3b |
Key | Value |
architecture | 32bit |
creationtime | 2019-02-08T10:05:25+00:00 |
entryfunction | main |
error-program-sha256 | Key 'programhash' is not an SHA-256 hash. |
producer | FairFuzz TC-0.0.2 |
programfile | ../../sv-benchmarks/c/eca-rers2012/Problem04_label06.c |
programhash | 5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836 - |
sourcecodelang | C |
specification | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) |
witness-file | fileByHash/b9ed7e0536ed28fcdf198ff177153af2602fab9044c2914a3451b03b3f667e3b.zip |
witness-number-of-tests | 439 |
witness-sha256 | b9ed7e0536ed28fcdf198ff177153af2602fab9044c2914a3451b03b3f667e3b |
witness-size | 190490 |
witness-type | test-suite |
Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label06.c, 5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836.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/Problem04_label06.c, 5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836.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/Problem04_label06.c, 5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836.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/Problem04_label06.c, 5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836.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/Problem04_label06.c, 5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
5465849 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 2527 | 2022 | Sun Dec 8 23:18:24 CET 2019 | ||
08aabbc | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 2504 | 2008 | Sun Dec 8 22:20:36 CET 2019 | ||
92265f3 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | Tracer-X | 2609 | 16912 | 2019-12-09T18:22:12Z | ||
d37c4eb | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | Symbiotic | 7 | 676 | 2019-12-09 11:42:02 | ||
2998a43 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | KLEE 2.1-pre-test-comp | 637 | 432 | 2019-12-08T22:01:08Z | ||
00ebced | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | CPAchecker 1.8-svn-32236 / testcomp20 | 133 | 48 | 2019-12-08T23:19:24+01:00 | ||
7f240ec | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Tracer-X | 2595 | 16823 | 2019-12-09T18:28:53Z | ||
5791635 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Symbiotic | 1 | 883 | 2019-12-09 11:01:42 | ||
02981bb | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.1-pre-test-comp | 1 | 110 | 2019-12-09T03:44:38Z | ||
b56f4ca | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | CPAchecker 1.8-svn-32236 / testcomp20 | 1 | 1 | 2019-12-08T23:52:00+01:00 | ||
1f76622 | Inspect | COVER EDGES(@DECISIONEDGE) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 34 | 13 | 2019-12-09T03:27:52+01:00 | ||
facdd84 | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 1 | 1 | 2019-12-09T11:22:51+01:00 | ||
cece1d6 | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 156 | 68 | 2019-12-09 02:30:30.556519 | ||
8db1d18 | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 164 | 71 | 2019-12-08 23:24:46.691487 |
Found 8 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label06.c, 5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
20d4486 | Inspect | test-suite | Symbiotic | 1 | 23 | 2019-02-06T14:54 CET (comp) | |||
b784e00 | Inspect | test-suite | Symbiotic | 1 | 1 | 2019-02-06T12:14 CET (comp) | |||
8456fcd | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | KLEE 2.0.0-pre-test-comp | 1799 | 899 | 2019-02-06T00:32:29Z | ||
bab3954 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | CPAchecker 1.8-svn 30375 | 280 | 100 | 2019-02-05T21:19:44+01:00 | ||
b62a8b0 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.0.0-pre-test-comp | 1 | 23 | 2019-02-06T02:32:28Z | ||
9b013b7 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | CPAchecker 1.8-svn 30375 | 1 | 23 | 2019-02-06T00:51:50+01:00 | ||
cace874 | Inspect | COVER EDGES(@DECISIONEDGE) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 484 | 187 | 2019-02-06T02:41:57+01:00 | ||
4cea23f | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 1 | 1 | 2019-02-06T02:07:29+01:00 |