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.2.ufo.BOUNDED-6.pals.c
programSHA 6a2cb957e90bd2acf1453419324d534f6e1badbafeeb226dc1a4fba4b03305a3
witnessName results-verified/fairfuzz.2019-02-08_0939.logfiles/test-comp19_prop-coverage-branches.pals_opt-floodmax.3.2.ufo.BOUNDED-6.pals.yml.files/test-suite.zip
witnessSHA 75bd5c9da0af3cf9c05e0945bd4f42778dc2f6252e42747e281b74319cd47c08

Information about the Test-Suite from Competition Database

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

Key Value
architecture 32bit
creationtime 2019-02-08T10:43:29+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.2.ufo.BOUNDED-6.pals.c
programhash 6a2cb957e90bd2acf1453419324d534f6e1badbafeeb226dc1a4fba4b03305a3 -
sourcecodelang C
specification COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) )
witness-file fileByHash/75bd5c9da0af3cf9c05e0945bd4f42778dc2f6252e42747e281b74319cd47c08.zip
witness-number-of-tests 0
witness-sha256 75bd5c9da0af3cf9c05e0945bd4f42778dc2f6252e42747e281b74319cd47c08
witness-size 532
witness-type test-suite

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

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

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

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

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

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

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download 5c80300 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 66 67 Mon Dec 9 04:29:35 CET 2019
Download e9d1a23 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 67 67 Mon Dec 9 04:21:45 CET 2019
Download a18c69d Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 0 39 2019-12-09T18:01:13Z
Download 76a411c Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 29 60 2019-12-09 11:49:50
Download a4e5c4d Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 26 27 2019-12-09T01:09:26Z
Download c7a2e8d Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 112 44 2019-12-09T08:40:01+01:00
Download 247e6ef Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 0 39 2019-12-09T17:56:07Z
Download 92b51e3 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 0 1 2019-12-09 11:41:04
Download 7d3b25c Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 9 2019-12-09T08:34:22Z
Download 0b22ab3 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 1 1 2019-12-09T03:18:09+01:00
Download 7530fa1 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 71 35 2019-12-09T11:20:22+01:00
Download e7c1ac5 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-09T11:09:55+01:00
Download 3b41982 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 513 246 2019-12-09 07:11:33.194948
Download a51c6e4 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 516 248 2019-12-09 04:39:53.260331

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

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

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download b7db279 Inspect Inspect
Validate
test-suite Symbiotic 1 6 2019-02-06T14:54 CET (comp)
Download 8722d4f Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T14:30 CET (comp)
Download 962d9bf Inspect Inspect
Validate
test-suite Symbiotic 2 1 2019-02-06T14:20 CET (comp)
Download a557018 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 62 44 2019-02-06T05:25:42Z
Download 2bdab24 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 112 45 2019-02-06T02:08:53+01:00
Download 122b46f 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-06T00:56:39Z
Download 28c74cb Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 6 2019-02-05T22:29:45+01:00
Download 8b91db2 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 6 2019-02-05T23:23:27+01:00
Download 303a475 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 6 2019-02-06T04:40:43+01:00