...
| No Format |
|---|
./runPR --dataset=$HOME/Data/<dataset name without extension> --run=<run number> --maxevn=1000000 >& LOG/log_<run number>.txt |
A dataset is a set of files whose names have an extension .i<serial number>. The option dataset does not require to specify the extension.
The executable produces a set of data files in the OUTPUT directory and log files in the LOG directory.