Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up

Zenodo is currently experiencing slowness and intermittent outages due to heavy automated traffic from bots and AI crawlers. We are aware of the problem, and our team is focused on stabilizing the service. Thank you for your patience. More info here. 

Published September 2024 | Version v2
Dataset Open

Benchmarks for program termination

Authors/Creators

  • Anonymous, Anonymous

Description

Benchmarks for program termination

Files

TermBenchmarks.zip

Files (9.9 MB)

Name Size Download all
TermBenchmarks.zip
md5:4715ced67e074150a470cbeb37af8ca9
9.9 MB Preview Download
127
Views
23
Downloads
Show more details
All versions This version
Views

Total views

127 58
Downloads

Total downloads

23 14
Data volume

Total data volume

227.2 MB 138.3 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.5281/zenodo.13756495
DOI Badge

DOI 

10.5281/zenodo.13756495

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.13756495.svg)](https://doi.org/10.5281/zenodo.13756495)

reStructuredText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.13756495.svg
  :target: https://doi.org/10.5281/zenodo.13756495

HTML 

<a href="https://doi.org/10.5281/zenodo.13756495"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.13756495.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.13756495.svg

Target URL 

https://doi.org/10.5281/zenodo.13756495
Resource type
Dataset
Publisher
Zenodo

Rights

License
cc-by-4.0 icon Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more

Citation

Export

Technical metadata

Created
September 13, 2024
Modified
September 13, 2024

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies