Dataset Open Access

Data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"

Étienne André; Dylan Marinho; Laure Petrucci; Jaco van de Pol

Data manager(s)
Dylan Marinho

This is the experimental data for paper "Efficient Convex Zone Merging in Parametric Timed Automata"

It comes in the form of two archives:

  1. merging-artifact.zip: the whole set of benchmarks with the scripts to run
  2. merging-artifact-FORMATS22-results.zip: all results executed 5 times
Files (62.4 MB)
Name Size
merging-artifact-FORMATS22-results.zip
md5:8a3a98d39128c111db8aec4b51dc6ed6
53.8 MB Download
merging-artifact.zip
md5:06788564c469ce4342f52bb21e115302
8.7 MB Download
31
3
views
downloads
All versions This version
Views 3131
Downloads 33
Data volume 116.2 MB116.2 MB
Unique views 2727
Unique downloads 22

Share

Cite as