ProB Operation Caching ifm2022 Artefact

<p>The artefact accompanies the paper &quot;Operation Caching and State Compression for Model Checking of High-Level Models&quot;&nbsp;to appear in the proceedings of the ifm2022 conference.&nbsp;The artefact enables one to reproduce the results in the paper.</p> <p>The aftefact contains the models and it contains a Makefile which<br> - can download and install ProB<br> - can run the regular benchmarks<br> - can run the TLC benchmarks<br> - can install LTSMin and run the LTSMin benchmarks</p> <p>Before running make bench_prob please remove line 102 (make clean) from the Makefile! This line accidentally erases benchmark results for previously run configurations.</p> <p>The source of the models can be found in the README and in the accompanying ifm2022 paper.</p> <p>The SHA of the archive&nbsp;should be</p> <p>shasum -a 256 ../ifm2022_prob_artifact.tgz&nbsp;</p> <p>8ee2aecc915143e56ac39b501d282d1d8ab099f0b13f9df35304829c0b4f2f32&nbsp; ../ifm2022_prob_artifact.tgz</p>