I have been using Uppaal Stratego for some time now. I have generate strategies using verifyta cli and used command like --print-strategies pathtoShowStrategy file. Now my strategy produced is of 416.56 Mb text file.
I have used --generate-strategy O to generate some strategies and also to get the printed result in a folder. Below is what I used in cli. My machine is Linux 64bit ( if in any case is need)
pathToVerifyta/verifyta --print-strategies folderlocation/ --generate-strategy 0 pathToModelLocation.
The output text file seems so as huge as the original one ie file is of same size. I also tried reversing the --print-strategies and --generate-strategy but doesnot help much. Can somebody please help me ?
I am not entirely sure what your question is, but a number of usage-examples are given in a recent repeatability package: https://zenodo.org/record/3268381
Strategies are inherently large as they refer to the entire state space - and the current textual output format is not compact either.
If you are looking for a way to parse (learned) strategies, take a look at https://github.com/DEIS-Tools/libstrategy/