cometadata/datacite-titles-descriptions-related-identifiers huggingface dataset:
DOI: 10.5281/zenodo.14198792
title: Using Monoscopic Multispectral Earth Observation Images to Predict Terrain Features With Deep Neural Networks - Supplementary material

description: This is supplementary material to the journal paper, "Using Monoscopic Multispectral Earth Observation Images to Predict Terrain Features With Deep Neural Networks", published in IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing (JSTARS) 25 August 2025.

---------------------------

Contents:

Source_code.zip: Contains the Python source code for training the R2U-Net for predicting terrain slopes in optical Sentinel-2 L2A images, with AW3D30 DSM as targets. The Python files for downloading and processing the raw images have already been used to produce the provided merged L2A and DSM images in Data.zip ready for using as input to the R2U-Net for training and evaluation.requirements.txt contains the Python environment libraries needed to train and run the source codes.The YAML files contain the folder paths to the merged images used as input to the network.

Data.zip: Contains the merged L2A and DSM images used to train and evaluate the deep learning models. It also contains supplementary material related to the Sentinel-2 image data used; like the Sentinel-2 image file names and ids for downloading from the Copernicus Browser, for both training and testing with the deep learning model, and image location maps.NB! Full unzipped Data-folder is 57.1GB.

Results.zip: Contains some of the results achieved with the trained R2U-Net models. For each of the two trained models, tensorflow event files from training and evaluation are provided to be visualized with tensorboard. A final folder contains images used in the article for this supplementary material, with corresponding names to match the article figures.Provided are also the best model checkpoints from training the multispectral and RGB models, used to evaluate the trained models and produce the images and results in Results.zip.
DOI: 10.15468/dl.fuwh4s
title: Occurrence Download

description: A dataset containing 792621 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is one of (Australia)",
 "HasCoordinate is true",
 "Year is greater than or equal to 1981",
 "Year is less than or equal to 1981"
 ]
}

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

description: A dataset containing 827723 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Betula pendula"
 ]
}

 The dataset includes 827723 records from 3042 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0052768-250827131500795/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5284/1118795
title: Data from an Archaeological Excavation and Monitoring at a Former Car Park off Ravensdale, Clacton-on-Sea, Essex, October 2019

description: This collection comprises images, a site plan, and site records from an archaeological excavation and monitoring conducted by Colchester Archaeological Trust at the former car park off Ravensdale, Clacton-on-Sea, Essex in October 2019.
DOI: 10.15468/dl.yy5m8h
title: Occurrence Download

description: A dataset containing 6623 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Cortinarius anomalus (Fr.) Fr.)",
 "Geometry POLYGON((-9.36035 44.71551,-10.59082 42.81152,-11.82129 36.80928,-7.69043 36.17336,-3.38379 35.88905,3.12012 38.13456,9.18457 38.20366,11.7334 37.16032,12.78809 34.74161,17.09473 33.79741, 23.15918 34.23451,30.10254 32.62087,33.2666 32.99024,35.72754 35.03,33.00293 35.53223,28.69629 35.17381,28.34473 36.31513,25.7959 37.50973,24.91699 39.90974,28.78418 40.6473,30.71777 41.17865,36.87012 45.213,38.18848 46.98025,38.71582 47.7541,39.94629 47.93107,40.20996 49.61071,37.0459 50.34546,35.72754 50.40152,33.79395 52.26816,31.68457 51.94426,31.4209 53.27835,32.56348 53.43572,30.98145 54.77535,30.89355 55.52863,28.43262 56.02295,27.20215 57.65716,27.37793 58.30949,27.90527 59.17593,29.66309 59.88894,27.6416 60.58697,31.50879 62.75473,28.78418 69.83962,30.89355 70.28912,29.22363 71.55274,21.75293 71.30079,14.28223 70.14036,11.38184 67.47492,4.87793 63.66576,-5.53711 71.52491,-10.63477 71.69129,-21.5332 67.74276,-28.56445 65.36684,-24.3457 61.35461,-9.36035 44.71551))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "Year is less than or equal to 2021"
 ]
}

 The dataset includes 6623 records from 102 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0237620-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.h4k3m6
title: Occurrence Download

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Thlaspi watsonii P.H.Davis"
 ]
}

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

description: A dataset containing 4424 species occurrences available in GBIF matching the query:
{
 "and" : [
 {
 "or" : [
 "Country is United States of America",
 "Country is Mexico",
 "Country is Canada"
 ]
 },
 {
 "or" : [
 "TaxonKey is Loligo opalescens S.S.Berry, 1911",
 "TaxonKey is Doryteuthis opalescens (S.S.Berry, 1911)"
 ]
 }
 ]
}

 The dataset includes 4424 records from 31 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0304375-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.5hnw88
title: Occurrence Download

description: A dataset containing 3 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Lepidodasyidae",
 "Continent is one of (North America, South America)"
 ]
}

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

description: A dataset containing 12901 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Erigeron philadelphicus L.",
 "Year 1994-2023"
 ]
}

 The dataset includes 12901 records from 194 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0017447-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.qwkwj4
title: Occurrence Download

description: A dataset containing 29 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Cryptoblabes gnidiella Millière, 1867",
 {
 "not" : {
 "DatasetKey" : [
 "is Global database of alien macrofungi"
 ]
 }
 },
 {
 "or" : [
 "Country is United States of America",
 "Country is United States",
 "Country is United States of America",
 "Country is Canada",
 "Continent is North America"
 ]
 }
 ]
}

 The dataset includes 29 records from 3 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0368393-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.53xj2x
title: Occurrence Download

description: A dataset containing 69 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Acanthopsoides gracilentus (Smith, 1945)"
 ]
}

 The dataset includes 69 records from 10 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0329531-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.tsbqdf
title: Occurrence Download

description: A dataset containing 9 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Buchnera baumii Engl. & Gilg"
 ]
}

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

description: A dataset containing 13044331 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Geometry POLYGON((-131.86848 -59.67134,-24.98995 -59.67134,-24.98995 50.81288,-131.86848 50.81288,-131.86848 -59.67134))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "OccurrenceStatus is Present",
 "TaxonKey is one of (Magnoliopsida, Liliopsida)",
 "Year 1960-2022"
 ]
}

 The dataset includes 13044331 records from 948 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0233801-220831081235567/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/hsyqs9
title: Animation du Plan d'Actions pour la préservation et la valorisation des zones humides des lacs Médocains-Inventaire et suivi Amphibiens

description: Les Amphibiens sont suivis par point d'écoute depuis 2016 dans le cadre de l'animation du plan d'Actions "ZH" sur un réseau de plusieurs sites en bordure des lacs Médocains.
DOI: 10.15468/dl.6enwsp
title: Occurrence Download

description: A dataset containing 36 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "Country is one of (Viet Nam, India)",
 "TaxonKey is Pyracantha Roem."
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Cephalaria laevigata (Waldst. & Kit.) Schrad.",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 481 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Specimen",
 "PublishingOrg is 90fd6680-349f-11d8-aa2d-b8a03c50a862",
 "TaxonKey is Mangifera L."
 ]
}

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

description: A dataset containing 5 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Noccaea zangezurica (Tzvelev) Al-Shehbaz"
 ]
}

 The dataset includes 5 records from 2 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0013580-230810091245214/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.15468/jups46
title: The InBIO Barcoding Initiative Database: Portuguese Earwigs (Dermaptera)

description: The dataset contains 56 records of Earwigs (Dermaptera) species collected from 2006 to 2019 in continental Portugal. All captured specimens were identified to species level, belonging to ten of the fourteen species of Dermaptera present in Portugal. Specimens were detected and captured by direct search of the environment. Captured specimens were preserved in 96% ethanol. From each specimen one leg (tissue sample) was removed to be used for DNA extraction. Preserved specimens and DNA extracts are deposited in the within the InBIO Barcoding Initiative (IBI) collection at the CIBIO (Research Center in Biodiversity and Genetic Resources). Samples of each species were selected for DNA sequencing based on geographic provenance of the corresponding specimen. Sequencing of the 658 bp DNA barcodes was conducted within the InBIO Barcoding Initiative (IBI) and all DNA sequences were submitted to BOLD (Barcode of Life Data System) and GenBank databases.
DOI: 10.15468/dl.96pzt8
title: Occurrence Download

description: A dataset containing 825 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Cortinarius balteatus (Fr.) Fr.)",
 "Geometry POLYGON((-9.36035 44.71551,-10.59082 42.81152,-11.82129 36.80928,-7.69043 36.17336,-3.38379 35.88905,3.12012 38.13456,9.18457 38.20366,11.7334 37.16032,12.78809 34.74161,17.09473 33.79741, 23.15918 34.23451,30.10254 32.62087,33.2666 32.99024,35.72754 35.03,33.00293 35.53223,28.69629 35.17381,28.34473 36.31513,25.7959 37.50973,24.91699 39.90974,28.78418 40.6473,30.71777 41.17865,36.87012 45.213,38.18848 46.98025,38.71582 47.7541,39.94629 47.93107,40.20996 49.61071,37.0459 50.34546,35.72754 50.40152,33.79395 52.26816,31.68457 51.94426,31.4209 53.27835,32.56348 53.43572,30.98145 54.77535,30.89355 55.52863,28.43262 56.02295,27.20215 57.65716,27.37793 58.30949,27.90527 59.17593,29.66309 59.88894,27.6416 60.58697,31.50879 62.75473,28.78418 69.83962,30.89355 70.28912,29.22363 71.55274,21.75293 71.30079,14.28223 70.14036,11.38184 67.47492,4.87793 63.66576,-5.53711 71.52491,-10.63477 71.69129,-21.5332 67.74276,-28.56445 65.36684,-24.3457 61.35461,-9.36035 44.71551))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "Year is less than or equal to 2021"
 ]
}

 The dataset includes 825 records from 43 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0237622-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.dh7c6g
title: Occurrence Download

description: A dataset containing 174 species occurrences available in GBIF matching the query:
{
 "and" : [
 "BasisOfRecord is Human Observation",
 "Country is China",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "TaxonKey is Nettapus coromandelianus (J.F.Gmelin, 1789)",
 "Year 2000-2023"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Litoria vagabunda (Peters & Doria, 1878)"
 ]
}

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

description: A dataset containing 2 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Noccaea triangularis (F.K.Mey.) Al-Shehbaz"
 ]
}

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

description: A dataset containing 75 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Leptodactylus cunicularius Sazima & Bokermann, 1978"
 ]
}

 The dataset includes 75 records from 6 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0309192-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.d36q6a
title: Occurrence Download

description: A dataset containing 74 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Lotononis viminea (E.Mey.) B.-E.van Wyk"
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Polix coloradella (Walsingham, 1888)",
 {
 "not" : {
 "DatasetKey" : [
 "is Global database of alien macrofungi"
 ]
 }
 },
 {
 "or" : [
 "Country is Poland",
 "Country is Poland"
 ]
 }
 ]
}

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

description: A dataset containing 521 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Geometry POLYGON((-100.406 21.536,-100.372 21.536,-100.372 21.554,-100.406 21.554,-100.406 21.536))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false"
 ]
}

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

description: A dataset containing 33 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Utricularia cymbantha Welw. ex Oliv."
 ]
}

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

description: A dataset containing 0 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is one of (Brachyhypopomus degy Dutra, Peixoto, Ochoa, Ohara, de Santana, Menezes & Datovo, 2021)"
 ]
}

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

description: A dataset containing 70 species occurrences available in GBIF matching the query:
{
 "and" : [
 "Country is Argentina",
 "TaxonKey is Rhynchosia balansae Micheli"
 ]
}

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

description: A dataset containing 8 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Thompsonella colliculosa Moran"
 ]
}

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

description: A dataset containing 4 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is Dichaeturidae",
 "Continent is one of (North America, South America)"
 ]
}

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

description: A dataset containing 41 species occurrences available in GBIF matching the query:
{
 "and" : [
 "VerbatimScientificName is Coracina schistacea",
 "BasisOfRecord is one of (Machine Observation, Human Observation)",
 "Year 2011-2021",
 "HasCoordinate is true",
 "OccurrenceStatus is Present",
 {
 "not" : {
 "BasisOfRecord" : [
 "is one of (Fossil, Living Specimen, Specimen, Material citation, Material sample)"
 ]
 }
 }
 ]
}

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

description: A dataset containing 6373 species occurrences available in GBIF matching the query:
{
 "and" : [
 "TaxonKey is one of (Cortinarius bolaris (Pers.) Fr.)",
 "Geometry POLYGON((-9.36035 44.71551,-10.59082 42.81152,-11.82129 36.80928,-7.69043 36.17336,-3.38379 35.88905,3.12012 38.13456,9.18457 38.20366,11.7334 37.16032,12.78809 34.74161,17.09473 33.79741, 23.15918 34.23451,30.10254 32.62087,33.2666 32.99024,35.72754 35.03,33.00293 35.53223,28.69629 35.17381,28.34473 36.31513,25.7959 37.50973,24.91699 39.90974,28.78418 40.6473,30.71777 41.17865,36.87012 45.213,38.18848 46.98025,38.71582 47.7541,39.94629 47.93107,40.20996 49.61071,37.0459 50.34546,35.72754 50.40152,33.79395 52.26816,31.68457 51.94426,31.4209 53.27835,32.56348 53.43572,30.98145 54.77535,30.89355 55.52863,28.43262 56.02295,27.20215 57.65716,27.37793 58.30949,27.90527 59.17593,29.66309 59.88894,27.6416 60.58697,31.50879 62.75473,28.78418 69.83962,30.89355 70.28912,29.22363 71.55274,21.75293 71.30079,14.28223 70.14036,11.38184 67.47492,4.87793 63.66576,-5.53711 71.52491,-10.63477 71.69129,-21.5332 67.74276,-28.56445 65.36684,-24.3457 61.35461,-9.36035 44.71551))",
 "HasCoordinate is true",
 "HasGeospatialIssue is false",
 "Year is greater than or equal to 1980",
 "Year is less than or equal to 2021"
 ]
}

 The dataset includes 6373 records from 96 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0237635-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.at7yzz
title: Occurrence Download

description: A dataset containing 5446 species occurrences available in GBIF matching the query:
{
 "TaxonKey" : [
 "is Vitis flexuosa Thunb."
 ]
}

 The dataset includes 5446 records from 160 constituent datasets; see https://api.gbif.org/v1/occurrence/download/0032680-230810091245214/datasets/export for details.
 
Data from some individual datasets included in this download may be licensed under less restrictive terms.
DOI: 10.5281/zenodo.15620180
title: Reproduction Package for Evaluation of Bachleors Thesis 'Integrate Solver Indepenedent Quantifier Elimination using UltimateEliminator in JavaSMT with Subsequent Evaluation in CPAchecker'

description: This artifact contains the the benchmark results for the UltimateEliminator integration in JavaSMT, each solver tested has a folder containing logfiles and tables with the full results.

The benchmarks were following the SMT-COMP25.