Key | Value |
programName | sv-benchmarks/c/eca-rers2012/Problem04_label55.c |
programSHA | 7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581 |
witnessName | results-validated/tbf-testsuite-validator-verifuzz.2019-02-06_1451.logfiles/test-comp19_prop-coverage-error-call.Problem04_label55.yml.files/test-suite.zip |
witnessSHA | cbe4ef957aed9f8eda3f2f2f9a31caf73ca3271b6a80f1d5f3c7c7c7ed28390c |
Key | Value |
architecture | 32bit |
creationtime | 2019-02-06-13:33:36 |
entryfunction | main |
error-program-sha256 | Key 'programhash' is not an SHA-256 hash. |
producer | verifuzz |
programfile | /home/benchexec/VERIFUZZ_TEMP_DIR/OUT/Problem04_label55.c |
programhash | 83b236499f683d256b0daf622a36fda02ef03d92 |
sourcecodelang | C |
specification | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) |
witness-file | fileByHash/cbe4ef957aed9f8eda3f2f2f9a31caf73ca3271b6a80f1d5f3c7c7c7ed28390c.zip |
witness-number-of-tests | 1 |
witness-sha256 | cbe4ef957aed9f8eda3f2f2f9a31caf73ca3271b6a80f1d5f3c7c7c7ed28390c |
witness-size | 22667 |
witness-type | test-suite |
Found 0 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label55.c, 7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581.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_label55.c, 7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581.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_label55.c, 7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581.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_label55.c, 7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581.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_label55.c, 7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
4061f07 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 2468 | 1999 | Sun Dec 8 21:59:03 CET 2019 | ||
4637fb1 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) | test-suite | LibKluzzer 0.6 | 2471 | 1999 | Mon Dec 9 03:54:09 CET 2019 | ||
2d0ba1a | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | Tracer-X | 2722 | 17020 | 2019-12-09T15:22:57Z | ||
89e01d5 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | Symbiotic | 7 | 676 | 2019-12-09 10:14:57 | ||
b483728 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | KLEE 2.1-pre-test-comp | 640 | 433 | 2019-12-09T07:14:51Z | ||
8f43d02 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | CPAchecker 1.8-svn-32236 / testcomp20 | 134 | 48 | 2019-12-08T22:33:52+01:00 | ||
26e3504 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Tracer-X | 2605 | 16887 | 2019-12-09T15:54:23Z | ||
3b0fc4d | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | Symbiotic | 1 | 881 | 2019-12-09 11:42:31 | ||
5ffb869 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.1-pre-test-comp | 1 | 97 | 2019-12-09T06:10:51Z | ||
42d1e56 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | CPAchecker 1.8-svn-32236 / testcomp20 | 1 | 1 | 2019-12-09T08:37:35+01:00 | ||
3e8fc0b | Inspect | COVER EDGES(@DECISIONEDGE) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 21 | 8 | 2019-12-08T23:08:58+01:00 | ||
1266e8b | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn-32283M / tigertestcomp20 | 1 | 1 | 2019-12-09T11:05:22+01:00 | ||
2cdc735 | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 166 | 72 | 2019-12-09 10:15:24.474152 | ||
3f2108f | Inspect | CHECK( LTL(G ! call(__VERIFIER_error())) ) | test-suite | Legion | 173 | 75 | 2019-12-09 10:15:10.652347 |
Found 8 witnesses for program sv-benchmarks/c/eca-rers2012/Problem04_label55.c, 7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/7e8c6b6afe7665bbf3cb669fce6cd99b0ddcb12c5c6b09990ad38090eb7a7581.json
Show Test-Suite | Inspect | Validate | Specification | Result Type | Producer | Number Tests | Size (kB) | Time stamp | Input Test-Suite |
c507564 | Inspect | test-suite | Symbiotic | 1 | 23 | 2019-02-06T14:55 CET (comp) | |||
a4e25d5 | Inspect | test-suite | Symbiotic | 1 | 1 | 2019-02-06T11:48 CET (comp) | |||
28e96b5 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | KLEE 2.0.0-pre-test-comp | 1797 | 898 | 2019-02-06T05:35:58Z | ||
8c0ddc0 | Inspect | COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) | test-suite | CPAchecker 1.8-svn 30375 | 290 | 104 | 2019-02-05T22:13:54+01:00 | ||
c2cd530 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | KLEE 2.0.0-pre-test-comp | 1 | 203 | 2019-02-06T04:02:04Z | ||
0abbe34 | Inspect | COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) | test-suite | CPAchecker 1.8-svn 30375 | 1 | 23 | 2019-02-05T23:36:24+01:00 | ||
f579df0 | Inspect | COVER EDGES(@DECISIONEDGE) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 484 | 187 | 2019-02-06T05:09:34+01:00 | ||
bc00006 | Inspect | COVER EDGES(@CALL(__VERIFIER_error)) | test-suite | CPAchecker 1.8-svn 30541M / tigertestcomp19 | 1 | 23 | 2019-02-06T05:35:42+01:00 |