Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
201
datasets available to search
ShareScore release 0.9.0
Dataset results
201 results for “SAT”
SAT Race 2015 Benchmarks
<p>These are the 300 CNF files in DIMACS format from the main track of the SAT race 2015.</p>
SAT Competition 2017 Main Track Benchmarks
<p>These are the 350 CNF files in DIMACS format from the main track of the SAT competition 2017.</p>
SAT Race 2019 Benchmarks
<p>These are the 400 CNF files in DIMACS format from the SAT race 2019.</p>
SAT Competition 2018 Main Track Benchmarks
<p>These are the 400 CNF files in DIMACS format from the main track of the SAT competition 2018.</p>
SAT Competition 2023 Main Track Benchmarks
<p>These are the 400 CNF files in DIMACS format from the main track of the SAT competition 2023.</p>
SAT Competition 2020 Main Track Benchmarks
<p>These are the 400 CNF files in DIMACS format from the main track of the SAT competition 2020.</p>
SAT Competition 2021 Main Track Benchmarks
<p>These are the 400 CNF files in DIMACS format from the main track of the SAT competition 2021.</p>
SAT Challenge 2012 Application Track Benchmarks
<div> <div> <p>These are the 600 CNF files in DIMACS format from the application track of the SAT challenge 2012.</p> </div> </div>
SAT Race 2006 Benchmarks
<p>These are the 100 CNF files in DIMACS format from the main track of the SAT race 2006.</p>
SAT Race 2008 Benchmarks
<p>These are the 100 CNF files in DIMACS format from the main track of the SAT race 2008.</p>
SAT Race 2010 Benchmarks
<p>These are the 100 CNF files in DIMACS format from the main track of the SAT race 2010.</p>
A Benchmark Collection of #SAT Instances and Tree Decompositions
<p>Benchmarks used for the paper</p> <p>Johannes K. Fichte, Markus Hecher, Stefan Woltran, Markus Hecher: Weighted Model Counting on the GPU by Exploiting Small Treewidth, Proceedings of the 26th Annual European Symposium on Algorithms (ESA'2018).</p> <p>For details we refer to the original sources of the benchmarks (https://tinyurl.com/countingbenchmarks), which contains benchmarks from the following sources:</p> <ul> <li><strong>ApproxMC</strong>(165 Instances): <a href="https://www.cs.rice.edu/CS/Verification/Projects/ApproxMC/">https://www.cs.rice.edu/CS/Verification/Projects/ApproxMC/</a></li> <li><strong>C2D</strong>(14 Instances): <a href="http://reasoning.cs.ucla.edu/c2d/results.html">http://reasoning.cs.ucla.edu/c2d/results.html</a></li> <li><strong>Cachet</strong>(1090 Instances): <a href="https://www.cs.rochester.edu/u/kautz/Cachet/Model_Counting_Benchmarks/index.html">https://www.cs.rochester.edu/u/kautz/Cachet/Model<em>Counting</em>Benchmarks/index.html</a></li> <li><strong>counting-benchmarks</strong>(1451 Instances): <a href="https://github.com/dfremont/counting-benchmarks">https://github.com/dfremont/counting-benchmarks</a></li> </ul>
Text-fig. 9. Protothymallus elongatus (KRAMBERGER, 1885): Pharyngeal bone (medial view) with attached teeth (SMMGD SaT-620). in Revision Of The Cyprinids From The Early Oligocene Of The České Středohoří Mountains, And The Phylogenetic Relationships Of Protothymallus Laube, 1901 (Teleostei, Cyprinidae, Gobioninae)
Text-fig. 9. Protothymallus elongatus (KRAMBERGER, 1885): Pharyngeal bone (medial view) with attached teeth (SMMGD SaT-620).
Text-fig. 8. Protothymallus elongatus (KRAMBERGER, 1885): A – dental in lingual view (SMMGD SaT-156), B – dental in labial view (SMMGD SaT-172), C – epihyal (SMMGD SaT-168), D – ceratohyal (SMMGD SaT-168), E – basipterygial (SMMGD SaT-413), F – vomer (SMMGD SaT-156). in Revision Of The Cyprinids From The Early Oligocene Of The České Středohoří Mountains, And The Phylogenetic Relationships Of Protothymallus Laube, 1901 (Teleostei, Cyprinidae, Gobioninae)
Text-fig. 8. Protothymallus elongatus (KRAMBERGER, 1885): A – dental in lingual view (SMMGD SaT-156), B – dental in labial view (SMMGD SaT-172), C – epihyal (SMMGD SaT-168), D – ceratohyal (SMMGD SaT-168), E – basipterygial (SMMGD SaT-413), F – vomer (SMMGD SaT-156).
Scalability for SAT-based combinatorial problem solving - Results
<p>The experimental results for the referenced thesis.</p>
SAT-Boosted Tabu Search for Coloring Massive Graphs - Experiments
<p>The experimental data for the paper of the same name.</p>
Computing twin-width with SAT and branch & bound - Results
<p>The experimental results, including instances.</p>
Data from: Factors influencing clinical trial site selection in Europe: the survey of attitudes towards trial sites in Europe (the SAT-EU StudyTM)
Open the record for dataset details and reuse information.
Polar Radiant Energy in the Far InfraRed Experiment (PREFIRE) Spectral Flux from PREFIRE Satellite 2 R01
Polar Radiant Energy in the Far InfraRed Experiment (PREFIRE) Spectral Flux from PREFIRE Satellite 2 (PREFIRE_SAT2_2B-FLX) contains surface emissivity derived from data collected by the PREFIRE Thermal Infrared Spectrometer (TIRS-PREFIRE) aboard PREFIRE-SAT2. Dual CubeSats each carry a PREFIRE Thermal Infrared Spectrometer (TIRS-PREFIRE), a push broom spectrometer with 63 channels measuring mid- and far-infrared (FIR) radiation from approximately 5 to 53 µm. Most polar emissions are in the FIR but have not been measured on a large scale. PREFIRE aims to fill knowledge gaps in the global energy budget by more accurately characterizing polar emissions. This information will then be assimilated into global circulation and other models to predict future conditions more accurately.PREFIRE_SAT2_2B-FLX contains spectral flux at the top of atmosphere for all available TIRS-PREFIRE channels as derived from PREFIRE Spectral Radiance (PREFIRE_SAT2_1B-RAD) data using an Optimal Estimation retrieval with inputs from the PREFIRE_SAT2_2B-MSK (cloud mask), PREFIRE_SAT2_AUX-MET (Auxiliary Meteorology), and PREFIRE_SAT2_AUX-SAT collections. PREFIRE_SAT2_2B-FLX also contains the top-of-atmosphere Outgoing Longwave Radiation (OLR) broadband flux. The primary purpose of this collection is to assess the radiative activities over the polar regions to better quantify the energy budget there.Science data retrieval started June 29, 2024 and is ongoing. Geographic coverage is global, with the greatest concentration of data in the polar regions. Within the orbital swath there are eight distinct tracks of data associated with the eight separate spatial scenes for each PREFIRE-TIRS. At the beginning of the mission, the approximate scene footprint sizes were 11.8 km x 34.8 km (cross-track x along-track), with gaps between each scene of approximately 24.2 km. The entire swath was ~264 km across. Note that the scene footprint and swath sizes quoted here are for the orbit altitude soon after launch. However, the footprint size will slowly become smaller as the orbit altitude decreases with time. This data has a temporal resolution of 0.707 seconds and is available in netCDF-4.The spectral flux data for the sister instrument aboard PREFIRE-SAT1 can be found in the PREFIRE_SAT1_2B-FLX collection.
Polar Radiant Energy in the Far InfraRed Experiment (PREFIRE) Spectral Flux from PREFIRE Satellite 1 COG R01
Polar Radiant Energy in the Far InfraRed Experiment (PREFIRE) Spectral Flux from PREFIRE Satellite 1 COG (PREFIRE_SAT1_2B-FLX_COG) is derived from data collected by the PREFIRE Thermal Infrared Spectrometer (TIRS-PREFIRE) aboard PREFIRE-SAT1. Dual CubeSats each carry a PREFIRE Thermal Infrared Spectrometer (TIRS-PREFIRE), a push broom spectrometer with 63 channels measuring mid- and far-infrared (FIR) radiation from approximately 5 to 53 µm. Most polar emissions are in the FIR but have not been measured on a large scale. PREFIRE aims to fill knowledge gaps in the global energy budget by more accurately characterizing polar emissions. This information will then be assimilated into global circulation and other models to predict future conditions more accurately.PREFIRE_SAT1_2B-FLX_COG contains Cloud-Optimized GeoTIFF (COG) files that each contain a georeferenced rendering of derived outgoing longwave radiation (OLR) values. Those OLR data values are computed from a single granule of PREFIRE Spectral Radiance (PREFIRE_SAT1_1B-RAD) data, along with inputs from PREFIRE_SAT1_2B-MSK (cloud mask), PREFIRE_SAT1_AUX-MET, PREFIRE_SAT1_AUX-SAT, and PREFIRE_SAT1_2B-CLD. As part of the rendering process, mean derived OLR values are computed for a global grid of raster elements (each approximately 2.23 km in width), based on which raster elements each PREFIRE ground footprint overlaps. This procedure is done in order to better visualize the PREFIRE data despite substantial overlap of adjacent along-track ground footprints – but it is important to remember that the individual PREFIRE ground footprints are much bigger (by about 80x, in terms of area) than each of the GeoTIFF raster elements. These cloud-optimized GeoTIFF images may be viewed using many geographic information systems (GIS), such as the freely available QGIS.Science data retrieval started July 24, 2024 and is ongoing. Currently, the geographic coverage is for latitudes between approximately 60° to 84° in both polar regions, although future releases may include data for all latitudes equatorward of about 84°. Within the orbital swath there are eight distinct tracks of data associated with the eight separate spatial scenes for each TIRS-PREFIRE. At the beginning of the mission, the approximate scene footprint sizes were 11.8 km x 34.8 km (cross-track x along-track), with gaps between each scene of approximately 24.2 km. The entire swath was about 264 km across. Note that the scene footprint and swath sizes quoted here are for the orbit altitude soon after launch. However, the footprint and swath sizes will slowly become smaller as the orbit altitude decreases with time.Similar OLR GeoTIFF renderings for the sister instrument aboard PREFIRE-SAT2 can be found in the PREFIRE_SAT2_2B-FLX_COG collection.
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.