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_opt-floodmax.3.4.ufo.BOUNDED-6.pals.c
programSHA a18fe3d7f204c3dde95a6397cda22702fcbf125836bd03d508e964a757bc2881
witnessName results-verified/fairfuzz.2019-02-08_0939.logfiles/test-comp19_prop-coverage-branches.pals_opt-floodmax.3.4.ufo.BOUNDED-6.pals.yml.files/test-suite.zip
witnessSHA 84bf386858391d9911c6e9c32d39f8cf13b88acfaada6dca4838e5accd29038d

Information about the Test-Suite from Competition Database

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

Key Value
architecture 32bit
creationtime 2019-02-08T11:15:45+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/seq-mthreaded/pals_opt-floodmax.3.4.ufo.BOUNDED-6.pals.c
programhash a18fe3d7f204c3dde95a6397cda22702fcbf125836bd03d508e964a757bc2881 -
sourcecodelang C
specification COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )
witness-file fileByHash/84bf386858391d9911c6e9c32d39f8cf13b88acfaada6dca4838e5accd29038d.zip
witness-number-of-tests 0
witness-sha256 84bf386858391d9911c6e9c32d39f8cf13b88acfaada6dca4838e5accd29038d
witness-size 534
witness-type test-suite

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

Trying to find witnesses for program (a18fe3d7f204c3dde95a6397cda22702fcbf125836bd03d508e964a757bc2881, sv-benchmarks/c/seq-mthreaded/pals_opt-floodmax.3.4.ufo.BOUNDED-6.pals.c).

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

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

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

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

Found 14 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_opt-floodmax.3.4.ufo.BOUNDED-6.pals.c, a18fe3d7f204c3dde95a6397cda22702fcbf125836bd03d508e964a757bc2881
from https://test-comp.sosy-lab.org/2020/results/witnessListByProgramHashJSON/a18fe3d7f204c3dde95a6397cda22702fcbf125836bd03d508e964a757bc2881.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download b038cfd Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 71 69 Mon Dec 9 06:01:24 CET 2019
Download f67666a Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 68 68 Mon Dec 9 01:30:01 CET 2019
Download f8d645a Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 0 39 2019-12-09T16:47:54Z
Download bfbc07a Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 25 56 2019-12-09 11:51:07
Download 62f69c9 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 23 18 2019-12-09T09:19:02Z
Download 512feb0 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 122 48 2019-12-09T00:01:19+01:00
Download 00c4486 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 0 39 2019-12-09T15:26:18Z
Download 42a7b95 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 0 1 2019-12-09 11:51:21
Download 1c44b34 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 8 2019-12-09T08:27:11Z
Download f2f1d0b 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:57:29+01:00
Download d919181 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 22 11 2019-12-09T09:45:50+01:00
Download 1d644bf Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-09T08:05:22+01:00
Download b17b76f Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 503 241 2019-12-09 10:31:13.804650
Download 99b8ccb Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 505 242 2019-12-09 09:18:20.784600

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

Trying to find witnesses for program (a18fe3d7f204c3dde95a6397cda22702fcbf125836bd03d508e964a757bc2881, sv-benchmarks/c/seq-mthreaded/pals_opt-floodmax.3.4.ufo.BOUNDED-6.pals.c).

Found 9 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_opt-floodmax.3.4.ufo.BOUNDED-6.pals.c, a18fe3d7f204c3dde95a6397cda22702fcbf125836bd03d508e964a757bc2881
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/a18fe3d7f204c3dde95a6397cda22702fcbf125836bd03d508e964a757bc2881.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 8a82ace Inspect Inspect
Validate
test-suite Symbiotic 1 6 2019-02-06T14:55 CET (comp)
Download cd68cd7 Inspect Inspect
Validate
test-suite Symbiotic 14 6 2019-02-06T14:00 CET (comp)
Download 96d881e Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T11:59 CET (comp)
Download 1ea86c8 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 1 6 2019-02-06T00:16:18Z
Download 720f991 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 122 49 2019-02-06T03:45:31+01:00
Download beaa8d7 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 1 12 2019-02-06T01:37:05Z
Download 61bd7c5 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 1 2019-02-05T21:06:54+01:00
Download 4246d68 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 32 17 2019-02-05T22:15:12+01:00
Download a23843e Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 6 2019-02-05T23:19:35+01:00