...
| Tip |
|---|
Tamarin koristi multi-threading tehnologiju za paralelizaciju te automatski postavlja broj dretvi jednak broju zatraženih CPU jezgara. Aplikacije se pokreće pomoću run_tamarin.sh wrapper skripte. |
| Warning |
|---|
Tamarin prover alat nema MPI podršku te je korištenje ograničeno na jedan čvor.! |
| Code Block | ||
|---|---|---|
| ||
#PBS -q cpu
#PBS -l select=1:ncpus=2:mem=8gb
#PBS -j oe
cd ${PBS_O_WORKDIR}
module load scientific/tamarin/1.9.0_3f6f2c
run_tamarin.sh tamarin-prover Tutorial.spthy |
...