MiniFolio is a static portfolio solver built on top of sunny-cp portfolio solver (https://github.com/CP-Unibo/sunny-cp). It runs sunny-cp with a fixed portfolio of three back-end solvers included in the default MiniZinc bundle: Chuffed, Gecode, and OR-Tools CP-SAT. The latter is used in two multi-threaded variants, each with three workers: one relies on the default CP-SAT translation to FlatZinc, while the other uses the linear reformulation, thereby statically transforming the original CP problem into a MIP problem.

To avoid spending time on unfruitful solvers, MiniFolio uses customised thresholds on the maximum inactivity time and the number of restarts for each solver. Specifically, it runs sunny-cp with the following options: sunny-cp -f --cop-a -P chuffed,gecode,cp-sat-p3,cp-sat-p3-lin --wait-time 10 --restart-time-gecode 10 --restart-time-chuffed 30 --restart-time-cp-sat-p3-lin 30 --restart-time-cp-sat-p3 300 --max-restarts-gecode 1 --max-restarts-chuffed 1 --max-restarts-cp-sat-p3-lin 2 --max-restarts-cp-sat-p3 2 <Model> [<Data>].