Prism-modeling Get 'prism-games-3.0-linux64.tar.gz' and untar in root directory, then go to criterion-runner, and use cargo bench