petrus-gteval/run --stackelberg-solution /dev/null --mixed-strategy-config configs/full-c01-45000-psu5et-ah500-fas-rs-bnv-cm.json --game-path games/game1.json --round-limit 5

petrus-gteval/run --stackelberg-solution /dev/null --mixed-strategy-config configs/full-c01-45000-psu5et-ah500-fas-rs-bnv-cm.json --moving-targets-game /home/jan/git/securitygamesmovingtargets/TestSets/ManualTests01/manual01_0000.sgmt

petrus-gteval/ensimeRunDebug pl.edu.pw.mini.jk.sg.gteval.App --stackelberg-solution /dev/null --mixed-strategy-config ../configs/full-c01-45000-psu5et-ah500-fas-rs-bnv-cm.json --moving-targets-game /home/jan/git/securitygamesmovingtargets/TestSets/ManualTests01/manual01_0000.sgmt

set ensimeJavaFlags:=Seq("-Dpetrus.averagedAttackerStrategyLog=aas.log")
