LTLf2Tiles evaluation campaign: simulation data and reproducibility package

This dataset contains the frozen stochastic NetTAS campaign used to evaluate the LTLf2Tiles compiler. It comprises six formula families, twelve scenarios, seven parameter sets, 56 scenario-parameter cells, and 5,600 seeded runs. The archive contains the source and runtime catalogs, materialized experiments, raw run results, per-run metrics, CSV summaries, catalog lock, and recorded execution environment. The accompanying manifest and checksums bind the dataset to compiler revision 8aad492, modified NetTAS revision 76e7ab7, and source-catalog semantic SHA-256 f2479cd9526b0c51d9839800fde215a9236fc9ac9fb9f42efb1328e42c085077.