cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.15468/dl.l1whcb
title: Occurrence Download

description: A dataset containing 5399 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Peromyscus aztecus (Saussure, 1860)"
 ]
}

 The dataset includes 5399 records from 60 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008428-171124123535762/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.ca8fxe
title: Occurrence Download

description: A dataset containing 926 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Italy",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Fraxinus excelsior L.",
 "Year 1970-2020"
 ]
}

 The dataset includes 926 records from 18 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0004585-240130105604617/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.arpa85
title: Occurrence Download

description: A dataset containing 521 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Continent is Africa",
 "TaxonKey is Polystichum Roth"
 ]
}

 The dataset includes 521 records from 17 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0292962-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.twq6vj
title: Occurrence Download

description: A dataset containing 12 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Hypodactylus brunneus (Lynch, 1975)",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 12 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008429-160118175350007/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.b7vf8b
title: Occurrence Download

description: A dataset containing 1892 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Caprella mutica Schurin, 1935"
 ]
}

 The dataset includes 1892 records from 71 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0003521-240229165702484/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.6mnveg
title: Occurrence Download

description: A dataset containing 527 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Cucumis prophetarum L."
 ]
}

 The dataset includes 527 records from 42 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008429-160526112335914/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.7pkstj
title: Occurrence Download

description: A dataset containing 194 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Tabebuia billbergii (Bureau & K.Schum.) Standl."
 ]
}

 The dataset includes 194 records from 22 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0315334-200613084148143/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.rgzdhn
title: Occurrence Download

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Knautia ressmannii (Pacher) Briq.",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

 The dataset includes 5 records from 4 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0004610-240130105604617/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.wzgssq
title: Occurrence Download

description: A dataset containing 15 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Eugenia lineolata Urb. & Ekman"
 ]
}

 The dataset includes 15 records from 9 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0160782-240321170329656/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.rdf7nx
title: Occurrence Download

description: A dataset containing 5450 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 {
 "or" : [
 "TaxonKey is Banisteriopsis muricata (Cav.) Cuatrec.",
 "TaxonKey is Xylophragma seemanniana (Kuntze) Sandwith",
 "TaxonKey is Bignonia neoheterophylla L.G.Lohmann"
 ]
 }
 ]
}

 The dataset includes 5450 records from 201 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0038735-210914110416597/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.dmojjl
title: Occurrence Download

description: A dataset containing 1453229 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Trifolium Tourn. ex L."
 ]
}

 The dataset includes 1453229 records from 1147 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008429-160822134323880/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.ats3ja
title: Occurrence Download

description: A dataset containing 28 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ficus eumorpha Corner"
 ]
}

 The dataset includes 28 records from 7 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018491-231002084531237/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.4j00q7
title: Occurrence Download

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "CatalogNumber is Bird.27847588",
 "Year is 1978",
 "Month is January"
 ]
}

 The dataset includes 0 records from 0 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0004630-190320150433242/datasets/export for details.
DOI: 10.15468/dl.gbjaqq
title: Occurrence Download

description: A dataset containing 13 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Ficus saurauioides Diels"
 ]
}

 The dataset includes 13 records from 6 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018507-231002084531237/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.ls6tux
title: Occurrence Download

description: A dataset containing 4885 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Spain",
 {
 "or" : [
 "TaxonKey is Echium gentianoides Webb ex Coincy",
 "TaxonKey is Echium gaditanum Boiss.",
 "TaxonKey is Echium cantabricum (Laínz) Fern.Casas & Laínz",
 "TaxonKey is Echium boissieri Steud.",
 "TaxonKey is Echium bethencourtii A.Santos",
 "TaxonKey is Omphalodes littoralis Lehm.",
 "TaxonKey is Omphalodes kuzinskyanae Willk.",
 "TaxonKey is Echium auberianum Webb & Berthel.",
 "TaxonKey is Glandora nitida (Ern) D.C.Thomas",
 "TaxonKey is Omphalodes commutata G.López",
 "TaxonKey is Onosma tricerosperma subsp. alpicola (Vayr.) O.Bolòs & Vigo",
 "TaxonKey is Onosma tornensis Javorka, 1906",
 "TaxonKey is Echium webbii Coincy",
 "TaxonKey is Echium strictum subsp. gomerae (Pit.) Bramwell",
 "TaxonKey is Echium strictum subsp. exasperatum (Webb) Bramwell",
 "TaxonKey is Echium simplex DC.",
 "TaxonKey is Echium salmanticum Lag.",
 "TaxonKey is Echium saetabense Peris, Figuerola & Stübing",
 "TaxonKey is Echium russicum Roem. & Schult., 1819",
 "TaxonKey is Echium pininana Webb & Berthel.",
 "TaxonKey is Arceuthobium azoricum Wiens & Hawksw.",
 "TaxonKey is Limonium costae (Willk.) Pignatti",
 "TaxonKey is Limonium alicunense Gómíz",
 "TaxonKey is Limonium interjectum J.X.Soler & Rosselló",
 "TaxonKey is Limonium insulare (Bég. & Landi) Arrigoni & Diana",
 "TaxonKey is Limonium insigne (Coss.) Kuntze",
 "TaxonKey is Limonium imbricatum (Webb ex Girard) F.T.Hubb. ex L.H.Bailey",
 "TaxonKey is Limonium ×coincyi Sennen",
 "TaxonKey is Limonium cofrentanum Erben",
 "TaxonKey is Limonium humile Mill.",
 "TaxonKey is Limonium toletanum Erben",
 "TaxonKey is Limoniastrum monopetalum (L.) Boiss.",
 "TaxonKey is Limonium parvibracteatum Pignatti",
 "TaxonKey is Limonium thiniense Erben",
 "TaxonKey is Limonium cavanillesii Erben",
 "TaxonKey is Limonium carpetanicum Erben",
 "TaxonKey is Limonium tabernense Erben",
 "TaxonKey is Limonium strictissimum (Salzm.) Arrigoni",
 "TaxonKey is Limonium camposanum Erben",
 "TaxonKey is Limonium stenophyllum Erben"
 ]
 }
 ]
}

 The dataset includes 4885 records from 85 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0007297-171002173027117/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.4j398t
title: Occurrence Download

description: A dataset containing 7 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Month is February",
 "OccurrenceStatus is Present",
 "TaxonKey is Physeter macrocephalus Linnaeus, 1758",
 "Year 2021-2022"
 ]
}

 The dataset includes 7 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018503-231002084531237/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.v8xw1u
title: Occurrence Download

description: A dataset containing 7419 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Plantae",
 "Country is Brazil",
 "Geometry POLYGON((-44.824218 -3.579212,-44.824218 -6.315298,-41.176757 -6.315298,-41.176757 -3.579212,-44.824218 -3.579212))"
 ]
}

 The dataset includes 7419 records from 84 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0007296-150615163101818/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.gy5y4q
title: Occurrence Download

description: A dataset containing 350509 species occurrences available in GBIF matching the query:
{
 "and" : [
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is Megaptera Gray, 1846"
 ]
}

 The dataset includes 350509 records from 527 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0018541-231002084531237/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/dl.b37vbp
title: Occurrence Download

description: A dataset listing the 2181115 species recorded in GBIF matching the query:
{
 "Year" : [
 "1901-2019"
 ]
}

 The dataset's 2181115 records were derived from 23012 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0008086-191105090559680/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.48597/9nja-4fbz
title: Measurement of Aerosol light scattering at BEO Moussala

description: Measurement of Aerosol light scattering at BEO Moussala
DOI: 10.48597/9te6-ybfk
title: Measurement of Aerosol light scattering at K-puszta

description: Measurement of Aerosol light scattering at K-puszta
DOI: 10.48597/a4ja-rxdj
title: Measurement of Ozone at Villum Research Station, Station Nord

description: Measurement of Ozone at Villum Research Station, Station Nord
DOI: 10.48597/a7su-ec4c
title: Measurement of Particle_number_concentration at Mt Cimone

description: Measurement of Particle_number_concentration at Mt Cimone
DOI: 10.48597/aaca-cnx8
title: Measurement of Ozone at Pallas (Sammaltunturi)

description: Measurement of Ozone at Pallas (Sammaltunturi)
DOI: 10.48597/b4fp-tnev
title: Measurement of Aerosol light scattering at Ispra

description: Measurement of Aerosol light scattering at Ispra
DOI: 10.48597/b7bj-6ywf
title: Measurement of Temperature at K-puszta

description: Measurement of Temperature at K-puszta
DOI: 10.48597/bfju-6z6p
title: Measurement of Aerosol_absorption_coefficient at Preila

description: Measurement of Aerosol_absorption_coefficient at Preila
DOI: 10.48597/bxac-w8d3
title: Measurement of Particle_number_concentration at Mt Cimone

description: Measurement of Particle_number_concentration at Mt Cimone
DOI: 10.48597/c3jp-gqbp
title: Measurement of Aerosol light scattering at K-puszta

description: Measurement of Aerosol light scattering at K-puszta
DOI: 10.48597/cg28-zvsh
title: Measurement of Pressure at K-puszta

description: Measurement of Pressure at K-puszta
DOI: 10.48597/cgq5-sesb
title: Measurement of Aerosol light scattering at K-puszta

description: Measurement of Aerosol light scattering at K-puszta
DOI: 10.48597/cmac-fe3x
title: Measurement of Aerosol_light_scattering_coefficient at Finokalia

description: Measurement of Aerosol_light_scattering_coefficient at Finokalia
DOI: 10.48597/cnts-29yt
title: Measurement of Attenuation_coefficient at Ispra

description: Measurement of Attenuation_coefficient at Ispra
DOI: 10.48597/cquf-ua33
title: Measurement of Heavy metals and inorganics in air and particle phase at Villum Research Station, Station Nord

description: Measurement of Heavy metals and inorganics in air and particle phase at Villum Research Station, Station Nord
DOI: 10.48597/d37p-xc8n
title: Measurement of Aerosol_absorption_coefficient at Hyytiälä

description: Measurement of Aerosol_absorption_coefficient at Hyytiälä
DOI: 10.48597/depr-n86n
title: Measurement of Temperature at K-puszta

description: Measurement of Temperature at K-puszta
DOI: 10.48597/dj9s-77bb
title: Measurement of Particle_number_concentration at Mt Cimone

description: Measurement of Particle_number_concentration at Mt Cimone
DOI: 10.48597/dkba-4kjb
title: Measurement of Reference_zero_signal at Ispra

description: Measurement of Reference_zero_signal at Ispra
DOI: 10.48597/dq56-7ksf
title: Measurement of Aerosol light scattering at Ispra

description: Measurement of Aerosol light scattering at Ispra
DOI: 10.48597/dyxw-8vu8
title: Measurement of Inorganics in air and particle phase at Villum Research Station, Station Nord

description: Measurement of Inorganics in air and particle phase at Villum Research Station, Station Nord
DOI: 10.48597/dzf8-jpuj
title: Measurement of Aerosol light scattering at Ispra

description: Measurement of Aerosol light scattering at Ispra
DOI: 10.48597/e9ys-fcg4
title: Measurement of Aerosol light scattering at Ispra

description: Measurement of Aerosol light scattering at Ispra
DOI: 10.48597/ef4b-k34b
title: Measurement of Aerosol light scattering at Ispra

description: Measurement of Aerosol light scattering at Ispra
DOI: 10.48597/efc5-wbww
title: Measurement of Aerosol_absorption_coefficient at Preila

description: Measurement of Aerosol_absorption_coefficient at Preila
DOI: 10.48597/f7zn-5pmc
title: Measurement of Aerosol light scattering at K-puszta

description: Measurement of Aerosol light scattering at K-puszta
DOI: 10.48597/ffjv-rjvu
title: Measurement of Aerosol light scattering at Melpitz

description: Measurement of Aerosol light scattering at Melpitz
DOI: 10.48597/fre4-zxc6
title: Measurement of Relative_humidity at K-puszta

description: Measurement of Relative_humidity at K-puszta
DOI: 10.48597/fzgq-8xj9
title: Measurement of Aerosol_light_scattering_coefficient at Finokalia

description: Measurement of Aerosol_light_scattering_coefficient at Finokalia
DOI: 10.48597/gvaa-93t5
title: Measurement of Aerosol_absorption_coefficient at Preila

description: Measurement of Aerosol_absorption_coefficient at Preila
DOI: 10.48597/gvsr-u5wu
title: Measurement of Aerosol_light_scattering_coefficient at Finokalia

description: Measurement of Aerosol_light_scattering_coefficient at Finokalia
DOI: 10.48597/hak7-7b9k
title: Measurement of Aerosol light scattering at Melpitz

description: Measurement of Aerosol light scattering at Melpitz
DOI: 10.48597/hceg-24yc
title: Measurement of Aerosol_absorption_coefficient at Preila

description: Measurement of Aerosol_absorption_coefficient at Preila
DOI: 10.48597/j4yd-wvfj
title: Measurement of Aerosol light scattering at Melpitz

description: Measurement of Aerosol light scattering at Melpitz
DOI: 10.48597/j8ht-dpsy
title: Measurement of Aerosol_absorption_coefficient at Preila

description: Measurement of Aerosol_absorption_coefficient at Preila
DOI: 10.48597/k95b-tyd6
title: Measurement of Temperature at K-puszta

description: Measurement of Temperature at K-puszta
DOI: 10.48597/kux4-yynf
title: Measurement of Precipitation_amount at Vysokoe

description: Measurement of Precipitation_amount at Vysokoe
DOI: 10.48597/kzb6-2wf7
title: Measurement of Inorganics in air and particle phase at Schauinsland

description: Measurement of Inorganics in air and particle phase at Schauinsland
DOI: 10.48597/m95w-uea8
title: Measurement of Aerosol_absorption_coefficient at Preila

description: Measurement of Aerosol_absorption_coefficient at Preila
DOI: 10.48597/mc38-y3x5
title: Measurement of Relative_humidity at K-puszta

description: Measurement of Relative_humidity at K-puszta
DOI: 10.48597/mjga-gq3w
title: Measurement of Aerosol light scattering at K-puszta

description: Measurement of Aerosol light scattering at K-puszta
DOI: 10.48597/mybj-8bw7
title: Measurement of Aerosol light scattering at Melpitz

description: Measurement of Aerosol light scattering at Melpitz
DOI: 10.48597/ngez-9z2e
title: Measurement of Aerosol light scattering at BEO Moussala

description: Measurement of Aerosol light scattering at BEO Moussala
DOI: 10.48597/nuau-gubw
title: Measurement of Aerosol light scattering at Ispra

description: Measurement of Aerosol light scattering at Ispra
DOI: 10.48597/p9sg-gkq8
title: Measurement of Inorganics in air and particle phase at Waldhof

description: Measurement of Inorganics in air and particle phase at Waldhof
DOI: 10.48597/pfe9-8qsy
title: Measurement of Cadmium and inorganics in air and particle phase at Villum Research Station, Station Nord

description: Measurement of Cadmium and inorganics in air and particle phase at Villum Research Station, Station Nord
DOI: 10.48597/ptaq-brxm
title: Measurement of Aerosol light scattering at K-puszta

description: Measurement of Aerosol light scattering at K-puszta
DOI: 10.48597/pxkk-e2ca
title: Measurement of Aerosol light scattering at K-puszta

description: Measurement of Aerosol light scattering at K-puszta
DOI: 10.48597/q3xk-sqz4
title: Measurement of Aerosol_absorption_coefficient at Preila

description: Measurement of Aerosol_absorption_coefficient at Preila
DOI: 10.48597/qf35-dgqp
title: Measurement of Aerosol light scattering at Melpitz

description: Measurement of Aerosol light scattering at Melpitz
DOI: 10.48597/qgce-z6uq
title: Measurement of Attenuation_coefficient at Ispra

description: Measurement of Attenuation_coefficient at Ispra
DOI: 10.48597/qprv-2uv5
title: Measurement of Aerosol_absorption_coefficient at Ispra

description: Measurement of Aerosol_absorption_coefficient at Ispra
DOI: 10.48597/qq47-mcjc
title: Measurement of Aerosol light scattering at K-puszta

description: Measurement of Aerosol light scattering at K-puszta
DOI: 10.48597/qsfw-jy8g
title: Measurement of Aerosol_absorption_coefficient at Preila

description: Measurement of Aerosol_absorption_coefficient at Preila
DOI: 10.48597/r58c-sqyw
title: Measurement of Particle_number_concentration at Mt Cimone

description: Measurement of Particle_number_concentration at Mt Cimone
DOI: 10.48597/r8v3-pvgv
title: Measurement of Aerosol light scattering at Melpitz

description: Measurement of Aerosol light scattering at Melpitz
DOI: 10.48597/rca2-hq8p
title: Measurement of Inorganics in air and particle phase at Villum Research Station, Station Nord

description: Measurement of Inorganics in air and particle phase at Villum Research Station, Station Nord
DOI: 10.48597/rqy7-amz6
title: Measurement of Particle_number_size_distribution at Anmyeon-do

description: Measurement of Particle_number_size_distribution at Anmyeon-do
DOI: 10.48597/rufx-r8g2
title: Measurement of Pressure at K-puszta

description: Measurement of Pressure at K-puszta
DOI: 10.48597/s6gd-92hd
title: Measurement of Aerosol light scattering at Ispra

description: Measurement of Aerosol light scattering at Ispra
DOI: 10.48597/s7rm-dbnj
title: Measurement of Aerosol light scattering at Melpitz

description: Measurement of Aerosol light scattering at Melpitz
DOI: 10.48597/s9sf-yxsu
title: Measurement of Attenuation_coefficient, bypass_fraction, equivalent_black_carbon, flow_rate, reference_beam_signal, reference_zero_signal, sensing_beam_signal and sensing_zero_signal at Ispra

description: Measurement of Attenuation_coefficient, bypass_fraction, equivalent_black_carbon, flow_rate, reference_beam_signal, reference_zero_signal, sensing_beam_signal and sensing_zero_signal at Ispra
DOI: 10.48597/sgcm-azkw
title: Measurement of Precipitation_amount at Vysokoe

description: Measurement of Precipitation_amount at Vysokoe
DOI: 10.48597/shkz-hq7c
title: Measurement of Aerosol_absorption_coefficient at Ispra

description: Measurement of Aerosol_absorption_coefficient at Ispra
DOI: 10.6084/m9.figshare.24785196
title: Experimental Results (CBMC, CBMC-refine, and PBEAR)

description: The script files contain information for each target program (obj (P1), elev (P2), brobot (P3), and sv (SV-COMP)) along with the corresponding execution options:<i>origin</i>: Execute only CBMC without function summary replacement.<i>refine</i>: Execute only CBMC-refine without function summary replacement.<i>pbear</i>: Execute PBEAR.<i>no_alarm</i>: Execute PBEAR without symbolic alarm filtering (PBEAR<sup>base</sup>).<i>without_cov</i>: Execute PBEAR without considering output coverage (PBEAR<sup>-cov</sup>).In Results directory,filter/: the details of (concrete) symbolic alarm filtering process.synth/: the details of PBE-based FS refinement.target.c: the abstracted program.cbmc_result.txt: the result of CBMC with target.c.result.txt: the overall result of each property falsification. We have used different terminology than what was used in the paper. For example, we used 'FS' as 'stub' and 'symbolic alarm filtering' as 'true alarm filtering,' etc.Another important point is that, due to our mistake, the input/output examples of the "<i>check</i>" function in the "<i>seq-mthreaded"</i> category were missed. As a result, new input/output examples were created, leading to differences in the experimental results of PBEAR compared to what was initially documented in the paper. Nevertheless, PBEAR still successfully solved 2 out of 3 benchmarks in the category, while PBEAR<sup>-cov</sup> failed to solve any.