Test-Suite Inspection

View and Validate the Test-Suite

Input Given to this Service about the Test-Suite (URL Query)

Key Value
programName sv-benchmarks/c/eca-rers2012/Problem04_label06.c
programSHA 5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836
witnessName results-validated/tbf-testsuite-validator-esbmc-falsi.2019-02-06_0616.logfiles/test-comp19_prop-coverage-error-call.Problem04_label06.yml.files/test-suite.zip
witnessSHA dc6dbc6b8b06e3a826070ade5cc6b7ea281c52deb4fe4ee1a74cb71ec4a13bcf

Information about the Test-Suite from Competition Database

from https://test-comp.sosy-lab.org/2019/results/witnessInfoByHash/dc6dbc6b8b06e3a826070ade5cc6b7ea281c52deb4fe4ee1a74cb71ec4a13bcf.json

Key Value
architecture 32bit
creationtime 2019-02-06T00:20:19.493735
entryfunction main
error-program-sha256 Key 'programhash' is not an SHA-256 hash.
programfile ../../sv-benchmarks/c/eca-rers2012/Problem04_label06.c
programhash aa444b65f259dc2fb4e51ddc439c87dbd1e3e5b9
sourcecodelang C
specification COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
witness-file fileByHash/dc6dbc6b8b06e3a826070ade5cc6b7ea281c52deb4fe4ee1a74cb71ec4a13bcf.zip
witness-number-of-tests 1
witness-sha256 dc6dbc6b8b06e3a826070ade5cc6b7ea281c52deb4fe4ee1a74cb71ec4a13bcf
witness-size 22638
witness-type test-suite

The following keys are missing in the witness XML file: producer.

Available Results for the Program from Test-Suite Store Test-Comp '24

Trying to find witnesses for program (5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836, sv-benchmarks/c/eca-rers2012/Problem04_label06.c).

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

Available Results for the Program from Test-Suite Store Test-Comp '23

Trying to find witnesses for program (5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836, sv-benchmarks/c/eca-rers2012/Problem04_label06.c).

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

Available Results for the Program from Test-Suite Store Test-Comp '22

Trying to find witnesses for program (5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836, sv-benchmarks/c/eca-rers2012/Problem04_label06.c).

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

Available Results for the Program from Test-Suite Store Test-Comp '21

Trying to find witnesses for program (5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836, sv-benchmarks/c/eca-rers2012/Problem04_label06.c).

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

Available Results for the Program from Test-Suite Store Test-Comp '20

Trying to find witnesses for program (5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836, sv-benchmarks/c/eca-rers2012/Problem04_label06.c).

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
Download 5465849 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 2527 2022 Sun Dec 8 23:18:24 CET 2019
Download 08aabbc Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 2504 2008 Sun Dec 8 22:20:36 CET 2019
Download 92265f3 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 2609 16912 2019-12-09T18:22:12Z
Download d37c4eb Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 7 676 2019-12-09 11:42:02
Download 2998a43 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 637 432 2019-12-08T22:01:08Z
Download 00ebced Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 133 48 2019-12-08T23:19:24+01:00
Download 7f240ec Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 2595 16823 2019-12-09T18:28:53Z
Download 5791635 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 1 883 2019-12-09 11:01:42
Download 02981bb Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 110 2019-12-09T03:44:38Z
Download b56f4ca Inspect Inspect
Validate
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
Download 1f76622 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 34 13 2019-12-09T03:27:52+01:00
Download facdd84 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-09T11:22:51+01:00
Download cece1d6 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 156 68 2019-12-09 02:30:30.556519
Download 8db1d18 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 164 71 2019-12-08 23:24:46.691487

Available Results for the Program from Test-Suite Store Test-Comp '19

Trying to find witnesses for program (5262f706f6e256cc28414fe52cbc99ab01441c4fa56830b98e4c7c7c09a06836, sv-benchmarks/c/eca-rers2012/Problem04_label06.c).

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
Download 20d4486 Inspect Inspect
Validate
test-suite Symbiotic 1 23 2019-02-06T14:54 CET (comp)
Download b784e00 Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T12:14 CET (comp)
Download 8456fcd Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 1799 899 2019-02-06T00:32:29Z
Download bab3954 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 280 100 2019-02-05T21:19:44+01:00
Download b62a8b0 Inspect Inspect
Validate
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
Download 9b013b7 Inspect Inspect
Validate
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
Download cace874 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 484 187 2019-02-06T02:41:57+01:00
Download 4cea23f Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 1 2019-02-06T02:07:29+01:00