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 Competition 2007 Industrial Track Benchmarks
<p>These are the 234 CNF files in DIMACS format from the industrial track of the SAT competition 2007.</p> <p> </p>
SAT Competition 2009 Application Track Benchmarks
<p>These are the 292 CNF files in DIMACS format from the application track of the SAT competition 2009.</p>
Distributed SAT Competition 2002 Industrial Track Benchmarks
<p>These are the 183 CNF files in DIMACS format from the industrial track of the SAT competition 2002 which were distributed after the competition.</p>
Distributed SAT Competition 2004 Industrial Track Benchmarks
<p>These are the 324 CNF files in DIMACS format from the industrial track of the SAT competition 2004 which were distributed after the competition.</p> <p> </p>
Distributed SAT Competition 2005 Industrial Track Benchmarks
<p>These are 176 CNF files in DIMACS format from the industrial track of the SAT competition 2005 which were distributed after the competition. Some benchmarks were only available on webpages of submitters. See also <a href="../records/6528885">https://zenodo.org/records/6528885</a></p> <p> </p>
Distributed SAT Competition 2003 Industrial Track Benchmarks
<p>These are the 100 CNF files in DIMACS format from the industrial track of the SAT competition 2003 which were distributed after the competition.</p>
The datasets analysed in the manuscript "Decadal Relationship between Arctic SAT and AMOC Changes Modulated by the North Pacific Oscillation"
Open the record for dataset details and reuse information.
CFF SAT-solver dataset
<p>Dataset created by using CFF SAT-solver created as a part of Master's Thesis.</p>
Large SAT Benchmark Suite for Certified SAT Solving with GPU Accelerated Inprocessing
<p>This submission includes the SAT benchmark dataset for "Certified SAT Solving with GPU Accelerated Inprocessing" article. The dataset is intended to evaluate the performance of ParaFROST GPU solver and to compare with the state of the art.</p>
ParaFROST Proofs for Certified SAT Solving with GPU Accelerated Inprocessing
<p>This submission includes all the proofs of ParaFROST GPU SAT solver for the "Certified SAT Solving with GPU Accelerated Inprocessing" article.</p>
Sampled and Normalized Satisfiable Instances from the main track of the SAT Competition 2004 to 2022
<p>We collected all benchmarks in DIMACS format from the main track of the SAT Competitions from 2004 to 2022, normalized them by pretty printing in a standardized way and stripped comments using the included 'normalize.c' program. Then we computed the MD5 checksum and removed duplicates. The final benchmark set of 1798 benchmarks consists only of those Kissat 3.0.0 showed to be satisfiable within a time limit of 5000 seconds (running on an AMD Ryzen Threadripper 3970X processor). Each benchmark is individually compressed with '.xz' and then all compressed benchmarks are packed into one zip file.</p>
The SAT Museum POS'23 Artifact
<p>This dataset provides the artifact for our POS'23 paper on "The SAT Museum" effort. It includes the original sources of solvers winning the SAT competitions together with patches to fix, compile and run them with modern compilers, as well as log files and other experimental data when running these solvers on 6 SAT Competition benchmark sets.</p>
An Investigator-initiated, Explorative Trial Evaluating the Effect of SAT-008 in Healthy Adults
ClinicalTrials.gov study NCT04916145. IPD Sharing: Not stated. Countries: 1. Publications: 1.
Pivotal Study of SAT-001 in Treatment of Pediatric Patient With Myopia
ClinicalTrials.gov study NCT06344572. IPD Sharing: Not stated. Countries: 1. Publications: 1.
SAT vs Escitalopram for Rectal Hypersensitivity
ClinicalTrials.gov study NCT00584571. IPD Sharing: Not stated. Countries: 1. Publications: 1.
Electronic Pillbox-enabled SAT Versus DOT for TB Medication Adherence and Treatment Outcomes
ClinicalTrials.gov study NCT04216420. IPD Sharing: YES. Countries: 1. Publications: 5.
Polar Radiant Energy in the Far InfraRed Experiment (PREFIRE) Spectral Flux from PREFIRE Satellite 1 R01
Polar Radiant Energy in the Far InfraRed Experiment (PREFIRE) Spectral Flux from PREFIRE Satellite 1 (PREFIRE_SAT1_2B-FLX) contains surface emissivity 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 contains spectral flux at the top of atmosphere for all available TIRS-PREFIRE channels as derived from PREFIRE Spectral Radiance (PREFIRE_SAT1_1B-RAD) data using an Optimal Estimation retrieval with inputs from the PREFIRE_SAT1_2B-MSK (cloud mask), PREFIRE_SAT1_AUX-MET (Auxiliary Meteorology), and PREFIRE_SAT1_AUX-SAT collections. PREFIRE_SAT1_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 July 24, 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-SAT2 can be found in the PREFIRE_SAT2_2B-FLX collection.
NFM24 SAT 2022 instances
Open the record for dataset details and reuse information.
Twin-Width Benchmark Results for Branch & Bound and SAT Encodings
<p>Benchmark results on TWLIB and PACE 2023 benchmarks for different twin-width algorithms.</p>
SAT-based Decision Tree Learning for Large Data Sets - Results and Source code
Open the record for dataset details and reuse information.
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.