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/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c
programSHA b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23
witnessName results-validated/tbf-testsuite-validator-verifuzz.2019-02-06_1451.logfiles/test-comp19_prop-coverage-error-call.pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.yml.files/test-suite.zip
witnessSHA 16996901c47449212bd452fdbad91a3449a91d8830d9f4ce08ddb5a084d96c0e

Information about the Test-Suite from Competition Database

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

Key Value
architecture 32bit
creationtime 2019-02-06-14:16:14
entryfunction main
error-program-sha256 Key 'programhash' is not an SHA-256 hash.
producer verifuzz
programfile /home/benchexec/VERIFUZZ_TEMP_DIR/OUT/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c
programhash d6409bb72f28214681f5a8722f38f012d00b9e6d
sourcecodelang C
specification COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
witness-file fileByHash/16996901c47449212bd452fdbad91a3449a91d8830d9f4ce08ddb5a084d96c0e.zip
witness-number-of-tests 1
witness-sha256 16996901c47449212bd452fdbad91a3449a91d8830d9f4ce08ddb5a084d96c0e
witness-size 5950
witness-type test-suite

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

Trying to find witnesses for program (b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23, sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c).

Found 0 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c, b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23
from https://test-comp.sosy-lab.org/2024/results/witnessListByProgramHashJSON/b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23.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 (b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23, sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c).

Found 0 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c, b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23
from https://test-comp.sosy-lab.org/2023/results/witnessListByProgramHashJSON/b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23.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 (b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23, sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c).

Found 0 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c, b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23
from https://test-comp.sosy-lab.org/2022/results/witnessListByProgramHashJSON/b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23.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 (b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23, sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c).

Found 0 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c, b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23
from https://test-comp.sosy-lab.org/2021/results/witnessListByProgramHashJSON/b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23.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 (b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23, sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c).

Found 14 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c, b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download ea216bf Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 97 84 Sun Dec 8 23:13:31 CET 2019
Download fa79428 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 98 85 Mon Dec 9 01:36:49 CET 2019
Download 5467b5e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 25 52 2019-12-09T14:23:23Z
Download 3c750ec Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 4 36 2019-12-09 11:48:54
Download 9196abf Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 9 98 2019-12-09T03:56:16Z
Download c58f085 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 112 42 2019-12-08T22:54:22+01:00
Download 7d9a186 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 25 52 2019-12-09T16:14:59Z
Download 4401887 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 1 36 2019-12-09 11:44:14
Download 68db8b3 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 8 2019-12-09T05:08:21Z
Download d6957ea 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:46:45+01:00
Download 821c50f Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 64 32 2019-12-09T11:13:18+01:00
Download edf2025 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-09T05:38:45+01:00
Download d92ed4d Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 690 328 2019-12-09 04:20:11.924675
Download f53bc56 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 682 324 2019-12-09 00:15:51.264754

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

Trying to find witnesses for program (b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23, sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c).

Found 8 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_STARTPALS_ActiveStandby.1.ufo.BOUNDED-10.pals.c, b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/b8ad7169559aa9b47f2ec0042781c45c12256c55ff8d7665e40c13bc192ddd23.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 052f8f9 Inspect Inspect
Validate
test-suite Symbiotic 1 6 2019-02-06T14:55 CET (comp)
Download cebc566 Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T14:10 CET (comp)
Download aeca62d Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 1 6 2019-02-06T03:38:13Z
Download b86dc94 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 1 6 2019-02-06T00:08:47+01:00
Download 110bd74 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 1 6 2019-02-06T01:34:01Z
Download b8e7d76 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 1 2019-02-06T02:09:05+01:00
Download 0e825c8 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 30 16 2019-02-06T04:18:42+01:00
Download b558005 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 6 2019-02-06T03:06:00+01:00