La taille moyenne des fichiers est 2 MB, la plupart des fichiers ayant une taille comprise entre 2 MB et 3 MB. Les mots clés suivants sont caractéristiques : CLFB et FFUH. Le nom de fichier Translations.huf est typique pour ces fichiers. Tous les autres fichiers HUF (75%) ont...
Les fichiers ont souvent une taille comprise entre 110 bytes et 1 KB. Les mots clés suivants sont caractéristiques : //This file was generated from (Academic) UPPAAL 4.1.24 (rev. 29A3ECA4E5FB0808), November 2019 et deadlock. Les 72% restants de tous les fichiers Q sont des ...