Skip to main content
Powered by ShareScore

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.

73

datasets available to search

ShareScore release 0.9.0

Reset

Dataset results

73 results for “Application timing”

Learn how ShareScore rates datasets ↗
dryad40/100

Data from: Continuous-time spatially explicit capture-recapture models, with an application to a jaguar camera-trap survey

<ol> <li>Many capture-recapture surveys of wildlife populations operate in continuous time but detections are typically aggregated into occasions for analysis, even when exact detection times are available. This discards information and introduces subjectivity, in the form of decisions about occasion definition.</li> <li>We develop a spatio-temporal Poisson process model for spatially explicit capture-recapture (SECR) surveys that operate continuously and record exact detection times. We show that, except in some special cases (including the case in which detection probability does not change within occasion), temporally aggregated data do not provide sufficient statistics for density and related parameters, and that when detection probability is constant over time our continuous-time (CT) model is equivalent to an existing model based on detection frequencies. We use the model to estimate jaguar density from a camera-trap survey and conduct a simulation study to investigate the properties of a CT estimator and discrete-occasion estimators with various levels of temporal aggregation. This includes investigation of the effect on the estimators of spatio-temporal correlation induced by animal movement.</li> <li>The CT estimator is found to be unbiased and more precise than discrete-occasion estimators based on binary capture data (rather than detection frequencies) when there is no spatio-temporal correlation. It is also found to be only slightly biased when there is correlation induced by animal movement, and to be more robust to inadequate detector spacing, while discrete-occasion estimators with binary data can be sensitive to occasion length, particularly in the presence of inadequate detector spacing.</li> <li>Our model includes as a special case a discrete-occasion estimator based on detection frequencies, and at the same time lays a foundation for the development of more sophisticated CT models and estimators. It allows modelling within-occasion changes in detectability, readily accommodates variation in detector effort, removes subjectivity associated with user-defined occasions, and fully utilises CT data. We identify a need for developing CT methods that incorporate spatio-temporal dependence in detections and see potential for CT models being combined with telemetry-based animal movement models to provide a richer inference framework.</li> </ol>

opencc-zeroDec 2013View details →
zenodo40/100

Data for Hogan et al. 2024: "Basal bark herbicide treatment of Lonicera maackii (Amur honeysuckle) is effective regardless of application timing, with limited nontarget effects on native plant diversity"

<p>Data to accompany the following publication, currently in press:</p> <p>Hogan, K.F.E., K.Baker, E.M. Bach, N.A. Barber. Basal bark herbicide treatment&nbsp;of Lonicera maackii (Amur honeysuckle) is e ective regardless of application&nbsp;timing, with limited nontarget e ects on native plant diversity. In press,&nbsp;Ecological Solutions and Evidence</p> <p>&nbsp;</p> <p>Paper abstract:&nbsp;</p> <p><span>Managers tasked with controlling invasive species require effective methods that are quick and easy to use without inflicting extensive nontarget damage, while also being compatible with other scheduled management responsibilities.&nbsp;<em>Lonicera maackii</em> (Amur honeysuckle) is a non-native shrub that has invaded eastern and midwestern North American deciduous forests, altering ecosystem function and reducing biodiversity. </span><span>This study explores prescribed fire and seasonal basal applications of triclopyr ester as control methods and examines the extent of nontarget damage. We used paired-split plots to implement basal bark treatments in different seasons within burned and unburned units, and we tracked individual<em> L. maackii</em> to determine mortality and hyperlocal impacts of management.&nbsp;</span><span>Basal bark treatments killed 98.4% of&nbsp;<em>L. maackii</em> across seasonal timings. Nontarget plant cover immediately declined similarly for all herbicide application seasons, but the early- and late-spring treatments showing signs of recovery within four years. Meanwhile, species richness showed biologically small but statistically different declines across all treatment times. Prescribed fire did not impact <em>L. maackii </em>mortality or interact with herbicide efficacy. </span><span>Basal bark applications of triclopyr are an effective means of&nbsp;<em>L. maackii</em> control regardless of application timing, which allows managers to implement it at their convenience to avoid interfering with other management tasks that have time constraints.</span></p>

opencc-by-4.0Apr 2024View details →
zenodo40/100

quickSparseM: a library for memory- and time-efficient computation on large, sparse matrices with application to omics data

<p>This page contains the code and datasets used in "quickSparseM: a library for memory- and time-efficient computation on large, sparse matrices with application to omics data".</p> <p>File <strong>test_datasets.zip</strong> containes three datasets:</p> <ul> <li><em>D1.RData</em>: scRNA-seq omics data derived from Salcher et. al (2022)</li> <li><em>D2.RData</em>: scRNA-seq omics data derived from Pineda et al. (2024)</li> <li><em>D3.RData</em>: in silico WGS SNP data.</li> </ul> <p>File <strong>test_scripts.zip</strong> containes the code to reproduce the results.</p>

opencc-by-4.0Nov 2024View details →
zenodo40/100

Dataset of "Hysteresis, Rectification and Relaxation Times of Nanofluidic Pores for Neuromorphic Circuit Applications"

<p>This dataset supports the article published<em>&nbsp;</em>in Advanced Physics Research:</p> <p>"Hysteresis, Rectification and Relaxation Times of Nanofluidic Pores for Neuromorphic Circuit Applications"</p> <p>&nbsp;</p> <p>Raw data for the article "Hysteresis, Rectification and Relaxation Times of Nanofluidic Pores for Neuromorphic Circuit Applications". For further details see the readme.txt file.</p>

opencc-by-4.0Apr 2024View details →
zenodo40/100

Stable Modeling on Resource Usage Parameters of MapReduce Application-Figure 8. Minimum sample time of statistical metrics of MapReduce applications

<p>Figure 8 presents the minimum sampling time distribution of statistic metrics which ensures the stable modeling. Overall, the minimum sampling time of statistic metrics is smaller than sampling time of estimated coefficients. For different applications, a time-consuming application like Terasort needs the largest sampling time to tend to be stable. The Pi application shows the smallest minimum sampling time to reach stability.</p>

opencc-by-4.0May 2018View details →
zenodo40/100

Stable Modeling on Resource Usage Parameters of MapReduce Application-Figure 7. Minimum sampling time of MapReduce applications on various response variable

<p>Pi application needs the smallest sampling time. The remaining applications need the similar minimum sampling time. Overall, the stable regression models on memory usage as response show the least need for sampling time. The results show that various applications have different minimum sampling time to get stable. The application which performs more read/write operations shows larger sampling time need.</p>

opencc-by-4.0Apr 2018View details →
zenodo40/100

Annual crop-specific management history of phosphorus fertilizer input (CMH-P) in the croplands of United States from 1850 to 2022: Application rate, timing, and method

<p>This dataset presents spatiotemporal dynamics of phosphorus (P) fertilizer management (application rate, timing, and method) at a 4km &times; 4 km resolution in agricultural land of the contiguous U.S. from 1850 to 2022. By harmonizing multiple data sources, we reconstructed the county-level crop-specific P fertilizer use history. We then spatialized and resampled P fertilizer use data to 4 km &times; 4 km gridded maps based on historical U.S. cropland distribution and crop type database developed by Ye et al. (2024).</p> <p>This dataset contains (1) P fertilizer total consumption and mean application rate at the national level (Tabular); (2) P fertilizer consumption of 11 crops at the state level (Tabular); (3) P fertilizer consumption of permanent pasture (Tabular); (4) P fertilizer consumption of non-farm at the state level (Tabular); (5) P fertilizer application rate of 11 crop types at the state level (Tabular); (6) P fertilizer application rate of 11 crop types at the county level (Tabular); (7) P fertilizer application timing ratio at the state level (Tabular); (8) P fertilizer application method ratio at the state level (Tabular); (9) Gridded maps of P fertilizer application rate based on state-level data; (10) and (11) Gridded maps of P fertilizer application rate based on county-level data; (12)-(20) Gridded maps of P fertilizer application rate for each crop.</p> <p>A detailed description of the data development processes, key findings, and uncertainties can be found in Cao, P., Yi, B., Bilotto, F., Gonzalez Fischer, C., Herrero, M., Lu, C.: Crop-specific Management History of Phosphorus fertilizer input (CMH-P) in the croplands of United States: Reconciliation of top-down and bottom-up data sources, is under review for the journal Earth System Science Data (ESSD). https://essd.copernicus.org/preprints/essd-2024-67/#discussion.&nbsp;</p> <p>This work is supported by the Iowa Nutrient Research Center, the ISU College of Liberal Arts and Sciences Dean's Faculty Fellowship, and NSF CAREER grant (1945036).</p> <p>&nbsp;</p>

opencc-by-4.0Feb 2024View details →
zenodo40/100

Late-time spectral line formation in Type IIb supernovae, with application to SN 1993J, SN 2008ax, and SN 2011dh

<p>Spectral models for stripped cores of M_ZAMS=12, 13, 17 Msun progenitors, 100-500d. Distance 7.8 Mpc assumed.</p>

opencc-by-4.0Oct 2021View details →
dryad40/100

Data from: Continuous-time spatially explicit capture-recapture models, with an application to a jaguar camera-trap survey

Open the record for dataset details and reuse information.

publicApr 2014View details →
zenodo36/100

Teleseismic reverse time migration image dataset of southwest Japan in "Three-dimensional teleseismic elastic reverse-time migration with deconvolution imaging condition and its application to southwest Japan"

<p>This&nbsp;dataset&nbsp;contains the teleseismic elastic reverse time migration results of southwest Japan used in the manuscript entitled "Three-dimensional teleseismic elastic reverse-time migration with deconvolution imaging condition and its application to southwest Japan". submitted to&nbsp;Journal of Geophysical Research Letters.</p>

opencc-by-4.0Nov 2023View details →
dryad36/100

Data from: Predicting habitat suitability and connectivity for management and conservation of urban wildlife: A real-time web application for grassland water voles

<ol> <li>Natural habitats in urban areas provide benefits for both humans and biodiversity. However, to achieve biodiversity gains we require new techniques to determine habitat suitability and ecological connectivity that will inform urban planning and development.</li> <li>Using an example of an urban population of water voles (<i>Arvicola amphibius</i>) we developed a habitat suitability model and a resistance-surface-based model of landscape connectivity to identify potential connectivity between areas of suitable habitat. We then updated the environmental variables according to new urban development plans and used our models to generate spatially explicit predictions of both habitat suitability and connectivity.</li> <li>To make models accessible to urban and conservation planners we developed an interactive mapping tool that provided users with a graphical user interface (GUI) to inform conservation planning for this species.</li> <li>The model found that habitat suitability for water voles was related to distance from key environmental variables, such as built-up areas and urban green spaces, while the connectivity model identified important corridors connecting areas of potential distribution for this species.</li> <li>Future development plans altered the potential spatial distribution of the water vole population, reducing the extent of suitable habitat in some core areas. The interactive mapping tool made available suitable habitat and connectivity maps for conservation managers to assess new planning applications and for the development of a conservation action plan for water voles.</li> <li>Synthesis and applications: We believe this approach provides a framework for future development of nature conservation tools that can be used by planners to inform ecological decision making, increase biodiversity and reduce human-wildlife conflict in urban environments.</li> </ol>

opencc-zeroJan 2022View details →
zenodo36/100

Metameric evolutionary data from eCS (EVONANO) including application times

<p>Data-set produced by and depicted in <a href="https://doi.org/10.1016/j.cmpb.2020.105886">https://doi.org/10.1016/j.cmpb.2020.105886</a></p>

opencc-by-4.0Mar 2021View details →
zenodo36/100

On the Timed Analysis of Big-Data Applications - Experimental Data

<p>This archive includes experimental data associated to the paper:</p> <p>On the Timed Analysis of Big-Data Applications. Accepted in <em>Proceedings&nbsp;of Nasa Formal Methods</em> (NFM 2018).&nbsp;<br> Marconi, F., Quattrocchi, G., Baresi, L., Bersani, M.M., Rossi, M.. 2018</p> <p>Specifically, it includes detailed data regarding the verification tasks reported in Section 4 (Implementation and Validation of the Model).<br> In reference to Table 1 of the paper, the archive is organized in the following way: there is one folder for each case study (sort_by_key, pagerank, kmeans) and, for each of these folders, there is a subfolder for each configuration considered in the paper.</p> <p>Here we report an overview of the verification tasks performed. The name of the tables correspond to the code of the setting and to the name&nbsp; of the folder, while the id of each entry corresponds to the folder name of each experiment.</p> <pre><code class="language-markdown">## SortByKey Experiments ### sort_by_key_C12_T100_rec260000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | sort_by_key | 12 | 91000 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91000_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91100 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91100_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91200 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91200_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91300 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91300_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91360 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91360_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91370 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91370_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91380 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91380_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91381 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91381_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91382 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91382_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91383 | timeout | None | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91383_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91384 | sat | 3.81 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91384_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91385 | sat | 3.34 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91385_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91386 | sat | 3.52 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91386_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91387 | sat | 3.42 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91387_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91388 | sat | 3.4 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91388_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91389 | sat | 3.43 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91389_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91390 | sat | 2.37 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91390_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91400 | sat | 3.38 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91400_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91500 | sat | 16.52 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91500_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91600 | sat | 6.8 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91600_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91700 | sat | 12.03 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91700_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91800 | sat | 5.62 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91800_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 91900 | sat | 5.54 | C1_t100_c12_c12_t100_nr260000000_tb20_no_l_d91900_tc_12_8_n_rounds_by1_t_task | the minimum SAT deadline is: 91384 ### sort_by_key_C12_T100_rec280000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | sort_by_key | 12 | 98200 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98200_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98300 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98300_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98400 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98400_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98402 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98402_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98403 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98403_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98404 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98404_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98405 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98405_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98406 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98406_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98407 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98407_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98408 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98408_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98409 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98409_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98410 | timeout | None | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98410_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98420 | sat | 3.48 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98420_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98430 | sat | 3.57 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98430_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98440 | sat | 6.68 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98440_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98450 | sat | 7.1 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98450_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98460 | sat | 37.07 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98460_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98470 | sat | 10.33 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98470_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98480 | sat | 18.14 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98480_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98490 | sat | 10.78 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98490_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 98500 | sat | 3.43 | C1_t100_c12_c12_t100_nr280000000_tb20_no_l_d98500_tc_12_8_n_rounds_by1_t_task | the minimum SAT deadline is: 98420 ### sort_by_key_C12_T100_rec300000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | sort_by_key | 12 | 105200 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105200_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105300 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105300_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105400 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105400_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105420 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105420_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105430 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105430_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105440 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105440_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105441 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105441_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105442 | timeout | None | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105442_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105443 | sat | 3.33 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105443_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105444 | sat | 3.35 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105444_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105445 | sat | 3.3 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105445_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105446 | sat | 3.31 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105446_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105447 | sat | 3.37 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105447_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105448 | sat | 3.37 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105448_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105449 | sat | 3.3 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105449_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105450 | sat | 3.02 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105450_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105460 | sat | 3.03 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105460_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105470 | sat | 4.52 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105470_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105480 | sat | 4.54 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105480_tc_12_8_n_rounds_by1_t_task | | sort_by_key | 12 | 105490 | sat | 9.48 | C1_t100_c12_c12_t100_nr300000000_tb20_no_l_d105490_tc_12_8_n_rounds_by1_t_task | the minimum SAT deadline is: 105443 ### sort_by_key_C22_T100_rec260000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | sort_by_key | 22 | 70000 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d70000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 70500 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d70500_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 71000 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d71000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 71500 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d71500_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72000 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72250 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72250_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72500 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72500_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72750 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72750_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72885 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72885_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72890 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72890_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72895 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72895_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72898 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72898_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72899 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72899_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72900 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72900_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72901 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72901_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72902 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72902_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72903 | timeout | None | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72903_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72904 | sat | 9.35 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72904_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72905 | sat | 8.16 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72905_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72910 | sat | 8.15 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72910_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72915 | sat | 7.72 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72915_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72920 | sat | 7.55 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72920_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72925 | sat | 5.29 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72925_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72930 | sat | 10.23 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72930_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72935 | sat | 11.21 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72935_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72940 | sat | 10.98 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72940_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72945 | sat | 12.62 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72945_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72950 | sat | 12.55 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72950_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72955 | sat | 3.19 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72955_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72960 | sat | 2.62 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72960_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72965 | sat | 2.62 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72965_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72970 | sat | 2.63 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72970_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72975 | sat | 2.62 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72975_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72980 | sat | 2.72 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72980_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72985 | sat | 2.6 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72985_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72990 | sat | 2.55 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72990_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72995 | sat | 2.56 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d72995_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 73000 | sat | 3.2 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d73000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 74000 | sat | 6.34 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d74000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 75000 | sat | 3.88 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d75000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 76000 | sat | 4.6 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d76000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 77000 | sat | 4.15 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d77000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78000 | sat | 1.89 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d78000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 79000 | sat | 3.28 | C2_t100_c22_c22_t100_nr260000000_tb20_no_l_d79000_tc_22_10_n_rounds_by1_t_task | the minimum SAT deadline is: 72904 ### sort_by_key_C22_T100_rec280000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | sort_by_key | 22 | 78000 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78480 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78480_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78485 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78485_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78490 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78490_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78492 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78492_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78494 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78494_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78495 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78495_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78496 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78496_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78497 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78497_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78498 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78498_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78499 | timeout | None | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78499_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78500 | sat | 40.11 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78500_tc_22_10_n_rounds_by1_t_task_num_v | | sort_by_key | 22 | 78750 | sat | 1.33 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d78750_tc_22_10_n_rounds_by1_t_task_num_v | | sort_by_key | 22 | 79000 | sat | 9.14 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d79000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 80000 | sat | 2.27 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d80000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 81000 | sat | 1.98 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d81000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 82000 | sat | 5.89 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d82000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 83000 | sat | 8.81 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d83000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84000 | sat | 1.86 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d84000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 85000 | sat | 2.46 | C2_t100_c22_c22_t100_nr280000000_tb20_no_l_d85000_tc_22_10_n_rounds_by1_t_task | the minimum SAT deadline is: 78500 ### sort_by_key_C22_T100_rec300000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | sort_by_key | 22 | 5000 | unsat | 0.56 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d5000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 10000 | unsat | 0.44 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d10000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 12000 | unsat | 1.07 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d12000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 15000 | unsat | 1.72 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d15000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 20000 | unsat | 1.13 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d20000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 25000 | unsat | 3.71 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d25000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 30000 | unsat | 4.27 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d30000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 35000 | unsat | 15.73 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d35000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 40000 | unsat | 8.82 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d40000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 45000 | unsat | 15.27 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d45000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 50000 | unsat | 19.42 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d50000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 55000 | unsat | 39.81 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d55000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 60000 | unsat | 39.71 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d60000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 65000 | unsat | 87.48 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d65000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 70000 | unsat | 120.21 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d70000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 72500 | unsat | 172.18 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d72500_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 74000 | unsat | 186.82 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d74000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 75000 | unsat | 120.49 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d75000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 76000 | unsat | 1175.84 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d76000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 76250 | unsat | 1167.23 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d76250_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 77500 | unsat | 2091.15 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d77500_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 78250 | unsat | 3000.66 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d78250_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 80000 | unsat | 34239.41 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d80000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 81250 | unsat | 79433.55 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d81250_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 82500 | unsat | 198577.62 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d82500_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 83000 | unsat | 183847.9 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d83000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 83750 | unsat | 245288.49 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d83750_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84000 | unsat | 276617.22 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84000_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84100 | timeout | None | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84100_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84101 | unsat | 253379.92 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84101_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84102 | timeout | None | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84102_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84103 | unsat | 254808.3 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84103_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84104 | timeout | None | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84104_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84105 | unsat | 269304.76 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84105_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84106 | timeout | None | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84106_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84107 | unsat | 242278.6 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84107_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84108 | timeout | None | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84108_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84109 | unsat | 260411.26 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84109_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84110 | timeout | None | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84110_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84111 | unsat | 259311.3 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84111_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84112 | timeout | None | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84112_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84113 | timeout | None | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84113_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84114 | timeout | None | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84114_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84115 | unsat | 230687.19 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84115_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84116 | timeout | None | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84116_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84117 | unsat | 281773.79 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84117_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84118 | timeout | None | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84118_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84119 | unsat | 272785.32 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84119_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84120 | sat | 4.09 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84120_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84121 | sat | 3.98 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84121_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84122 | sat | 4.01 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84122_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84123 | sat | 4.28 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84123_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84124 | sat | 4.24 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84124_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84125 | sat | 4.22 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84125_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84126 | sat | 4.25 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84126_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84127 | sat | 4.39 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84127_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84128 | sat | 4.23 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84128_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84129 | sat | 4.14 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84129_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84130 | sat | 4.07 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84130_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84131 | sat | 4.24 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84131_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84132 | sat | 4.42 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84132_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84133 | sat | 4.32 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84133_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84134 | sat | 4.31 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84134_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84135 | sat | 4.33 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84135_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84136 | sat | 4.26 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84136_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84137 | sat | 4.01 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84137_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84138 | sat | 3.82 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84138_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84139 | sat | 4.07 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84139_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84140 | sat | 4.38 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84140_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84141 | sat | 8.74 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84141_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84142 | sat | 8.98 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84142_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84143 | sat | 9.1 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84143_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84144 | sat | 9.09 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84144_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84145 | sat | 9.19 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84145_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84146 | sat | 9.1 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84146_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84147 | sat | 8.82 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84147_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84148 | sat | 6.54 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84148_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84149 | sat | 6.56 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84149_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84150 | sat | 6.59 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84150_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84151 | sat | 6.84 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84151_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84152 | sat | 6.87 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84152_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84153 | sat | 6.97 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84153_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84154 | sat | 6.88 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84154_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84155 | sat | 6.98 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84155_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84156 | sat | 6.71 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84156_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84157 | sat | 6.75 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84157_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84158 | sat | 6.42 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84158_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84159 | sat | 6.62 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84159_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84160 | sat | 6.75 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84160_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84161 | sat | 6.95 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84161_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84162 | sat | 7.03 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84162_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84163 | sat | 6.98 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84163_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84164 | sat | 7.08 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84164_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84165 | sat | 6.93 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84165_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84166 | sat | 6.81 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84166_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84167 | sat | 6.47 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84167_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84168 | sat | 6.66 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84168_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84169 | sat | 6.73 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84169_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84171 | sat | 6.8 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84171_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84172 | sat | 6.81 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84172_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84173 | sat | 6.71 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84173_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84174 | sat | 3.56 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84174_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84175 | sat | 3.26 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84175_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84176 | sat | 3.52 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84176_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84177 | sat | 3.6 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84177_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84178 | sat | 3.02 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84178_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84179 | sat | 3.6 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84179_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84180 | sat | 3.62 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84180_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84181 | sat | 3.59 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84181_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84182 | sat | 3.62 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84182_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84183 | sat | 6.72 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84183_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84184 | sat | 6.58 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84184_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84186 | sat | 6.59 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84186_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84187 | sat | 6.85 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84187_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84188 | sat | 6.56 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84188_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84189 | sat | 6.88 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84189_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84190 | sat | 6.84 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84190_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84191 | sat | 6.86 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84191_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84192 | sat | 6.94 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84192_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84193 | sat | 6.93 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84193_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84194 | sat | 6.91 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84194_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84195 | sat | 6.84 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84195_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84196 | sat | 6.99 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84196_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84197 | sat | 6.89 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84197_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84198 | sat | 6.95 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84198_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84200 | sat | 8.04 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84200_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 | 84300 | sat | 11.06 | C2_t100_c22_c22_t100_nr300000000_tb20_no_l_d84300_tc_22_10_n_rounds_by1_t_task | | sort_by_key | 22 </code></pre> <p>&nbsp;</p> <pre><code class="language-markdown"> ## PageRank Experiments ### pagerank_C28_T128_rec200000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | pagerank | 28 | 61000 | timeout | None | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr200000000_tb45_no_l_d61000_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 61500 | timeout | None | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr200000000_tb45_no_l_d61500_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 62000 | timeout | None | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr200000000_tb45_no_l_d62000_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 62500 | sat | 7805.0 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr200000000_tb45_no_l_d62500_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 63000 | sat | 330.87 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr200000000_tb45_no_l_d63000_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 63500 | sat | 79.78 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr200000000_tb45_no_l_d63500_tc_28_12_n_rounds_by1_t_task_num_v | the minimum SAT deadline is: 62500 ### pagerank_C28_T128_rec300000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | pagerank | 28 | 93000 | timeout | None | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr300000000_tb45_no_l_d93000_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 94000 | sat | 192.86 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr300000000_tb45_no_l_d94000_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 94001 | sat | 7331.63 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr300000000_tb45_no_l_d94001_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 94501 | sat | 1934.68 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr300000000_tb45_no_l_d94501_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 94502 | sat | 2856.96 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr300000000_tb55_no_l_d94502_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 95000 | sat | 221.22 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr300000000_tb45_no_l_d95000_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 95001 | sat | 173.91 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr300000000_tb45_no_l_d95001_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 96001 | sat | 87.89 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr300000000_tb45_no_l_d96001_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 97001 | sat | 70.07 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr300000000_tb45_no_l_d97001_tc_28_12_n_rounds_by1_t_task_num_v | the minimum SAT deadline is: 94000 ### pagerank_C28_T128_rec400000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | pagerank | 28 | 118000 | timeout | None | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d118000_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 119000 | timeout | None | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d119000_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 119001 | timeout | None | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d119001_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 120000 | timeout | None | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d120000_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 120001 | timeout | None | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d120001_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 120002 | sat | 138.84 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d120002_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 120003 | sat | 272.19 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d120003_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 120004 | sat | 2072.06 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d120004_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 121000 | sat | 580.28 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d121000_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 121001 | sat | 55.8 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d121001_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 122000 | sat | 301.84 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d122000_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 122001 | sat | 187.93 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d122001_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 124000 | sat | 51.47 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d124000_tc_28_12_n_rounds_by1_t_task_num_v | | pagerank | 28 | 131000 | sat | 46.01 | exp_n4_c28_p140_SPARKSEQ_5_rounds_replica_c28_t128_nr400000000_tb45_no_l_d131000_tc_28_12_n_rounds_by1_t_task_num_v | the minimum SAT deadline is: 120002 ### pagerank_C48_T128_rec200000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | pagerank | 48 | 5000 | unsat | 20.91 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d5000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 10000 | unsat | 1002.53 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d10000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 15000 | unsat | 407.96 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d15000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 20000 | unsat | 667.32 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d20000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 25000 | unsat | 1263.14 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d25000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 30000 | unsat | 3561.83 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d30000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 35000 | unsat | 12742.87 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d35000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 37000 | unsat | 44051.41 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d37000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 40000 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d40000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 43000 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d43000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 45000 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d45000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 46000 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d46000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 46050 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d46050_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 46100 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d46100_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 46200 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d46200_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 46250 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d46250_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 46750 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d46750_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 46900 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d46900_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 47000 | sat | 59.41 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d47000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 48000 | sat | 39.88 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d48000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 49000 | sat | 31.35 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d49000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 50000 | sat | 45.02 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d50000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 51000 | sat | 43.73 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d51000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 52000 | sat | 36.25 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d52000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 52500 | sat | 40.5 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d52500_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 53500 | sat | 40.61 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d53500_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 54000 | sat | 39.9 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr200000000_tb45_no_l_d54000_tc_48_16_n_rounds_by1_t_task_num_v | the minimum SAT deadline is: 47000 ### pagerank_C48_T128_rec300000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | pagerank | 48 | 64000 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d64000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 65000 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d65000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 65050 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d65050_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 65100 | sat | 1282.46 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d65100_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 65200 | sat | 102.8 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d65200_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 65250 | sat | 75.45 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d65250_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 65500 | sat | 39.15 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d65500_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 65750 | sat | 78.42 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d65750_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 65900 | sat | 33.61 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d65900_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 66000 | sat | 96.91 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d66000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 67000 | sat | 56.04 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d67000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 68000 | sat | 65.88 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d68000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 69000 | sat | 40.79 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d69000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 70000 | sat | 51.82 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d70000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 72000 | sat | 49.1 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d72000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 73000 | sat | 26.86 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr300000000_tb45_no_l_d73000_tc_48_16_n_rounds_by1_t_task_num_v | the minimum SAT deadline is: 65100 ### pagerank_C48_T128_rec400000000 | Application | Cores | Deadline | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:| | pagerank | 48 | 85000 | timeout | None | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr400000000_tb45_no_l_d85000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 86000 | sat | 278.68 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr400000000_tb45_no_l_d86000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 87000 | sat | 55.3 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr400000000_tb45_no_l_d87000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 88000 | sat | 55.59 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr400000000_tb45_no_l_d88000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 89000 | sat | 42.06 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr400000000_tb45_no_l_d89000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 90000 | sat | 51.77 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr400000000_tb45_no_l_d90000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 91000 | sat | 45.12 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr400000000_tb45_no_l_d91000_tc_48_16_n_rounds_by1_t_task_num_v | | pagerank | 48 | 92000 | sat | 38.55 | exp_n4_c48_p128_SPARKSEQ_3_rounds_c48_t128_nr400000000_tb45_no_l_d92000_tc_48_16_n_rounds_by1_t_task_num_v | the minimum SAT deadline is: 86000 </code></pre> <p>&nbsp;</p> <pre><code class="language-markdown">## K-Means Experiments ### kmeans_C24_T18_rec80000000 | Application | Cores | Deadline |Time Bound | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:|:------:| | kmeans | 24 | 79000 | 50 | sat | 61854.62 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr80000000_tb50_no_l_d79000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 79500 | 50 | sat | 18414.51 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr80000000_tb50_no_l_d79500_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 80000 | 50 | sat | 14840.75 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr80000000_tb50_no_l_d80000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 85000 | 50 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr80000000_tb50_no_l_d85000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 90000 | 50 | sat | 14590.33 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr80000000_tb50_no_l_d90000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 100000 | 50 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr80000000_tb50_no_l_d100000_tc_24_6_n_rounds_by1_t_task_num_v | the minimum SAT deadline is: 79000 ### kmeans_C24_T18_rec120000000 | Application | Cores | Deadline |Time Bound | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:|:------:| | kmeans | 24 | 105000 | 50 | sat | 152363.81 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb50_no_l_d105000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 105000 | 80 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb80_no_l_d105000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 106000 | 50 | sat | 43759.32 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb50_no_l_d106000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 106500 | 50 | sat | 22230.43 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb50_no_l_d106500_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 107000 | 50 | sat | 25027.5 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb50_no_l_d107000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 108000 | 50 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb50_no_l_d108000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 110000 | 50 | sat | 40917.73 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb50_no_l_d110000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 110000 | 80 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb80_no_l_d110000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 115000 | 50 | sat | 12142.65 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb50_no_l_d115000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 115000 | 80 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb80_no_l_d115000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 120000 | 50 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb50_no_l_d120000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 120000 | 80 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb80_no_l_d120000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 150000 | 50 | sat | 14259.95 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb50_no_l_d150000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 150000 | 60 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb60_no_l_d150000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 150000 | 70 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb70_no_l_d150000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 150000 | 80 | sat | 14189.62 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb80_no_l_d150000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 150000 | 90 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr120000000_tb90_no_l_d150000_tc_24_6_n_rounds_by1_t_task_num_v | the minimum SAT deadline is: 105000 ### kmeans_C24_T18_rec160000000 | Application | Cores | Deadline |Time Bound | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:|:------:| | kmeans | 24 | 140000 | 50 | sat | 40930.77 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr160000000_tb50_no_l_d140000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 140000 | 80 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr160000000_tb80_no_l_d140000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 150000 | 50 | sat | 21741.22 | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr160000000_tb50_no_l_d150000_tc_24_6_n_rounds_by1_t_task_num_v | | kmeans | 24 | 150000 | 80 | err/timeout | None | kmeans_exp_n2_c24_p24_SPARK_FSEQ_4_rounds_c24_t18_nr160000000_tb80_no_l_d150000_tc_24_6_n_rounds_by1_t_task_num_v | the minimum SAT deadline is: 140000 ### kmeans_C32_T24_rec80000000 | Application | Cores | Deadline |Time Bound | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:|:------:| | kmeans | 32 | 63000 | 80 | sat | 26400.12 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr80000000_tb80_no_l_d63000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 65000 | 80 | sat | 10414.91 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr80000000_tb80_no_l_d65000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 70000 | 80 | sat | 5554.03 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr80000000_tb80_no_l_d70000_tc_32_8_n_rounds_by1_t_task_num_v | the minimum SAT deadline is: 63000 ### kmeans_C32_T24_rec120000000 | Application | Cores | Deadline |Time Bound | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:|:------:| | kmeans | 32 | 82000 | 60 | sat | 2692.91 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr120000000_tb60_no_l_d82000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 82000 | 100 | running | None | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr120000000_tb100_no_l_d82000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 83000 | 60 | err/timeout | None | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr120000000_tb60_no_l_d83000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 83000 | 100 | err/timeout | None | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr120000000_tb100_no_l_d83000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 90000 | 60 | err/timeout | None | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr120000000_tb60_no_l_d90000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 90000 | 100 | sat | 60535.12 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr120000000_tb100_no_l_d90000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 150000 | 50 | err/timeout | None | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr120000000_tb50_no_l_d150000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 150000 | 60 | sat | 1240.52 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr120000000_tb60_no_l_d150000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 150000 | 70 | err/timeout | None | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr120000000_tb70_no_l_d150000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 150000 | 80 | err/timeout | None | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr120000000_tb80_no_l_d150000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 150000 | 90 | err/timeout | None | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr120000000_tb90_no_l_d150000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 150000 | 100 | sat | 1957.42 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr120000000_tb100_no_l_d150000_tc_32_8_n_rounds_by1_t_task_num_v | the minimum SAT deadline is: 82000 ### kmeans_C32_T24_rec160000000 | Application | Cores | Deadline |Time Bound | Outcome | Verification Time | id | |-------|:-------:|:------:|:--------:|:--------:|:------:|:------:| | kmeans | 32 | 103000 | 50 | sat | 47624.75 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb50_no_l_d103000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 103000 | 80 | err/timeout | None | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb80_no_l_d103000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 105000 | 50 | sat | 38614.93 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb50_no_l_d105000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 105000 | 80 | err/timeout | None | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb80_no_l_d105000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 110000 | 50 | sat | 11604.73 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb50_no_l_d110000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 120000 | 50 | sat | 11559.37 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb50_no_l_d120000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 120000 | 80 | sat | 27413.19 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb80_no_l_d120000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 200000 | 50 | sat | 1811.52 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb50_no_l_d200000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 200000 | 60 | err/timeout | None | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb60_no_l_d200000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 200000 | 70 | sat | 2423.68 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb70_no_l_d200000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 200000 | 80 | sat | 952.42 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb80_no_l_d200000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 200000 | 90 | sat | 1300.52 | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb90_no_l_d200000_tc_32_8_n_rounds_by1_t_task_num_v | | kmeans | 32 | 200000 | 100 | err/timeout | None | kmeans_exp_n2_c32_p32_SPARKSEQ_4_rounds_c32_t24_nr160000000_tb100_no_l_d200000_tc_32_8_n_rounds_by1_t_task_num_v | the minimum SAT deadline is: 103000 </code></pre> <p>&nbsp;</p>

opencc-by-4.0Apr 2018View details →
zenodo36/100

Supplementary material for the paper: Application of Time-Averaged and Integral-Based Measure for Measurement Results Variability Reduction in GSM/DCS/UMTS Systems

<p>Supplementary material for the paper: Application of Time-Averaged and Integral-Based Measure for Measurement Results Variability Reduction in GSM/DCS/UMTS Systems</p>

opencc-by-4.0Feb 2019View details →
dryad36/100

Putting green clipping yield, canopy reflectance, and vegetative indices by time from colorant and spray oil combination product application

<p>Multispectral radiometry resolutely quantifies canopy attributes of similarly managed monocultures over wide and varied temporal arrays. Likewise, liquid phthalocyanine-containing products are commonly applied to turfgrass as a spray pattern indicator, dormancy colorant, and/or product synergist. While perturbed multispectral radiometric characterization of putting greens within 24 h of treatment by synthetic phthalocyanine colorant has been reported, explicit guidance on subsequent use is absent from the literature. Our objective was to assess creeping bentgrass (Agrostis stolonifera L. 'Penn G2') putting green reflectance and growth one to 14 d following semi-monthly treatment by synthetic Cu II phthalocyanine colorant (Col) and petroleum-derived spray oil (PDSO) combination product at a 27 L ha–1 rate and/or 7.32 hg ha–1 soluble N treatment by one of two commercial liquid fertilizers. As observed in a bentgrass fairway companion study, mean daily shoot growth and canopy dark green color index (DGCI) increased with Col+PDSO complimented N treatment. Yet contrary to the fairway study results, deflated mean normalized differential red edge (NDRE) or vegetative index (NDVI) resulted from an associated Col+PDSO artifact that severely impeded near infrared (810-nm) putting green canopy reflectance. Regardless of time from Col+PDSO combination product treatment, the authors strongly discourage turfgrass scientists from employing vegetative indices that rely on 760- or 810-nm canopy reflectance when evaluating such putting green systems.</p>

opencc-zeroNov 2022View details →
zenodo36/100

Multi-photon time-of-flight MLEM application for the positronium imaging in J-PET

<p>Data from the simulation for the J-PET detector with four sources, designed to test positronium imaging reconstruction algorithm.<br> Data generated with the J-PET Geant4 and analyzed with the J-PET Framework.<br> Data in form:<br> Deexcitation Hit2 X[cm], Deexcitation Hit2 Y[cm], Deexcitation Hit2 Z[cm], Deexcitation Hit2 time[ps],<br> Annihilation Hit1 X[cm], Annihilation Hit1 Y[cm], Annihilation Hit1 Z[cm], Annihilation Hit1 time[ps],<br> Annihilation Hit2 X[cm], Annihilation Hit2 Y[cm], Annihilation Hit2 Z[cm], Annihilation Hit2 time[ps]</p>

opencc-by-4.0Oct 2023View details →
ClinicalTrials.gov36/100

Cognitive Behavioral Therapy and Real-Time Pain Management Intervention for Sickle Cell Via Mobile Applications

ClinicalTrials.gov study NCT04419168. IPD Sharing: NO. Countries: 1. Publications: 3.

closedIPD-NOFeb 2026View details →
dryad36/100

Putting green clipping yield, canopy reflectance, and vegetative indices by time from colorant and spray oil combination product application

Open the record for dataset details and reuse information.

publicDec 2022View details →
dryad36/100

Data from: Predicting habitat suitability and connectivity for management and conservation of urban wildlife: A real-time web application for grassland water voles

Open the record for dataset details and reuse information.

publicJan 2022View details →
zenodo32/100

A digital mapping application for quantifying and displaying air temperatures at high spatiotemporal resolutions in near real-time across Australia

<p>This repository hosts the raw data and source code for the paper entitled &quot;&nbsp;A digital mapping application for quantifying and displaying air temperatures at high spatiotemporal resolutions in near real-time across Australia&quot; [DOI: 10.7717/peerj.10106].</p> <p>Two zip archives are available:</p> <p>Raw data and methods evaluation.zip - Retains empirical data and method evaluation code (R scripts) that relate to data presented in the results and discussion sections of the article, specifically, Figures 3 -11 and Tables 1 and 2.</p> <p>RTmap_source_code_and_data_structure.zip -&nbsp;This repository hosts the source code for <a href="http://austemperature.live/">http://austemperature.live/</a>, as described in the methods section of the article. A&nbsp;README.docx presents the contents and subsequent procedures&nbsp;for deploying the mapping code and web map application.</p> <p>For further information about this files please email:</p> <p>mweb7041@uni.sydney.edu.au</p> <p>&nbsp;</p>

opencc-by-4.0Sep 2020View details →

ScienceDex guides

Understand access before you commit

These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.

Compare curated 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.

allen-brain-atlas
neuroscienceopenDocumentation, web resources, and API references are available online.
Last verified 2026-04-30Open record

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.

abode-home-cage
behavioral-neuroscienceopenThe DataShare record exposes download links for annotations, documentation, license text, and the zipped per-snippet data directory.
Last verified 2026-04-30Open record

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.

dandi-nwb
electrophysiologyopenPublished Dandiset metadata and archive endpoints are available through the production DANDI API.
Last verified 2026-04-30Open record

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.

ibl
behavioral-neuroscienceopenPublic sessions can be searched and loaded from the IBL public data server through ONE.
Last verified 2026-04-29Open record

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.

openneuro
neuroscienceopenPublished datasets are available on demand over the internet.
Last verified 2026-04-29Open record