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_lcr.3.1.ufo.BOUNDED-6.pals.c
programSHA cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023
witnessName results-validated/tbf-testsuite-validator-verifuzz.2019-02-06_1451.logfiles/test-comp19_prop-coverage-error-call.pals_lcr.3.1.ufo.BOUNDED-6.pals.yml.files/test-suite.zip
witnessSHA 7160fcd4967d7e9baaca61cf2af6fe768a2979cff12fa0619636739dd2aa87b8

Information about the Test-Suite from Competition Database

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

Key Value
architecture 32bit
creationtime 2019-02-06-08:51:35
entryfunction main
error-program-sha256 Key 'programhash' is not an SHA-256 hash.
producer verifuzz
programfile /home/benchexec/VERIFUZZ_TEMP_DIR/OUT/pals_lcr.3.1.ufo.BOUNDED-6.pals.c
programhash 23ede3c4b9ee18a39888af6dfb308fb06e476965
sourcecodelang C
specification COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) )
witness-file fileByHash/7160fcd4967d7e9baaca61cf2af6fe768a2979cff12fa0619636739dd2aa87b8.zip
witness-number-of-tests 1
witness-sha256 7160fcd4967d7e9baaca61cf2af6fe768a2979cff12fa0619636739dd2aa87b8
witness-size 4813
witness-type test-suite

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

Trying to find witnesses for program (cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023, sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c).

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

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

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

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

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

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download e4ad4e7 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 29 33 Mon Dec 9 09:54:19 CET 2019
Download 5bed9a3 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) test-suite LibKluzzer 0.6 29 33 Mon Dec 9 08:14:57 CET 2019
Download b517bc2 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Tracer-X 5 30 2019-12-09T14:30:17Z
Download 1ed4f4e Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite Symbiotic 3 19 2019-12-09 10:02:51
Download ffe715d Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.1-pre-test-comp 7 10 2019-12-08T22:19:22Z
Download 2cf67db Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 45 17 2019-12-08T22:43:19+01:00
Download 982f9ce Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Tracer-X 2 29 2019-12-09T13:37:58Z
Download 2a2d64d Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite Symbiotic 1 19 2019-12-09 11:36:21
Download 057f83c Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.1-pre-test-comp 1 7 2019-12-09T00:25:12Z
Download 99afe6a Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn-32236 / testcomp20 1 1 2019-12-09T02:41:18+01:00
Download 07ae6dd Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 27 12 2019-12-09T11:03:12+01:00
Download 9b03969 Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn-32283M / tigertestcomp20 1 1 2019-12-08T22:29:26+01:00
Download a196d1d Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 685 320 2019-12-09 03:33:39.475428
Download eeaf223 Inspect Inspect
Validate
CHECK( LTL(G ! call(__VERIFIER_error())) ) test-suite Legion 681 318 2019-12-09 02:52:00.711776

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

Trying to find witnesses for program (cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023, sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c).

Found 10 witnesses for program sv-benchmarks/c/seq-mthreaded/pals_lcr.3.1.ufo.BOUNDED-6.pals.c, cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023
from https://test-comp.sosy-lab.org/2019/results/witnessListByProgramHashJSON/cc2882bb4eaef06298ecfade7265075278d65fd9aaeb206ad2b512d230ec0023.json

Show Test-Suite Inspect Validate Specification Result Type Producer Number Tests Size (kB) Time stamp Input Test-Suite
Download f258da0 Inspect Inspect
Validate
test-suite Symbiotic 1 5 2019-02-06T14:55 CET (comp)
Download dda22c0 Inspect Inspect
Validate
test-suite Symbiotic 1 5 2019-02-06T14:54 CET (comp)
Download 6b1819b Inspect Inspect
Validate
test-suite Symbiotic 5 2 2019-02-06T11:59 CET (comp)
Download a72e6b0 Inspect Inspect
Validate
test-suite Symbiotic 1 1 2019-02-06T11:37 CET (comp)
Download 7d1a0d1 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite KLEE 2.0.0-pre-test-comp 1 5 2019-02-06T00:36:09Z
Download 4bf463a Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@DECISIONEDGE)) ) test-suite CPAchecker 1.8-svn 30375 1 5 2019-02-06T01:32:01+01:00
Download 9ed04cf Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite KLEE 2.0.0-pre-test-comp 1 7 2019-02-06T02:31:27Z
Download 4674569 Inspect Inspect
Validate
COVER( init(main()), FQL(COVER EDGES(@CALL(__VERIFIER_error))) ) test-suite CPAchecker 1.8-svn 30375 1 5 2019-02-06T03:39:21+01:00
Download b5c9101 Inspect Inspect
Validate
COVER EDGES(@DECISIONEDGE) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 5 2019-02-06T05:39:55+01:00
Download 4bdbb4f Inspect Inspect
Validate
COVER EDGES(@CALL(__VERIFIER_error)) test-suite CPAchecker 1.8-svn 30541M / tigertestcomp19 1 1 2019-02-06T03:33:58+01:00