...

Each user has a set of permissions for each space they have access to. They are as follows:

Space leader: In addition to the permissions defined above, a user can be a space leader. This gives him or her all the permissions above by default. Space leaders can also set the space's default permissions (see below) or remove the space. The creator of a space is that space's leader by default. Space leaders are designated by other space leaders and can not be removed by fellow leaders, not even the original creator of the space.  A leader can change non-leaders' permissions by modifying them in the tool tip that appears when the mouse hovers over a user in the user table on the space explorer page.

...

As you can see in the script above, $1 is a special environment variable whose value is passed to your run script when it is executed. Here is a list of arguments and environment variables your script can utilize (more will be added in the future).

Benchmarks

Benchmarks are single text files that are fed to solvers when jobs are created. The name of a benchmark can be any legal file name in Linux, with a maximum length of 255 characters.

...

• benchmarks:
  Select the file to upload from your local machine. Like solvers, benchmarks must be uploaded as a .zip, .tar or .tar.gz archive file. The archive can contain multiple files and directories. Every file contained in the archive will be treated as a benchmark. Please remove any readme files or metadata files before uploading your benchmarks to StarExec or they will be added to StarExec as a benchmark.
• upload source
  You can chose to upload either a local archive or one on the web.  In the second case you must provide the archive's URL.
  upload method
  As mentioned previously, your archive may contain directories in addition to files. StarExec has two methods of dealing with directories.
  • Convert directory structure to space structure
    For every directory (and subdirectory) in your archive, StarExec will create a space whose name is the directory's name. It will then place all files within that directory into that space as benchmarks. Any files that are in the top level directory of the archive are placed into your chosen destination space.
  • Place all benchmarks in space
    This method ignores directories and recursively finds all files within the archive and adds them into the selected destination space. This option essentially flattens your archive.
• default (permissions)
  If you selected the convert file structure to space structure option, you will need to set the default permissions for all spaces that are created as a result of the benchmark upload (see default permission for spaces above for more details).
• benchmark type
  This is the type of benchmark you are uploading. The benchmark will be validated by the benchmark processor created by a community leader for that type. See Benchmark types below for more details.
• downloadable
  Select yes to allow other users who can see your benchmarks to download the benchmarks you are uploading (or otherwise see their contents). Otherwise, select no.
• dependencies
  Select yes if this set of benchmarks might be dependent on a previously uploaded set of benchmarks --- such as a set of axioms.
• dependency root space
  This is the space containing the benchmarks that yours dependent on.  These benchmarks must be in the space tree rooted at this space.  The paths that reference benchmarks in this tree must begin with this space or a direct child of it.
• first directory in path corresponds to dependent bench space
  If you have chosen a space called Axioms as your dependency root space and the references to this space are of the form include('Axioms/Axiom1.txt') or include('Axioms/SETTHEORY/Choice.ax'), then click yes.  In contrast, if you have include statements like include('SETTHEORY/Choice.ax') and include('Geometry/ParallelP.ax') then choose no. In the latter case, Geometry and SETTHEORY must be subspaces of the dependency root space you selected.

...

Note: Python 2.7 is available on the head node and compute nodes.  However, if you want to use it you have to load that version explicitly using the Linux modules system.  Just add these lines to the start of a wrapper shell script before calling your solver:

source /usr/share/Modules/init/sh
module load python/python27

...

 GCC 7.2 can be enabled by adding the following to a solver build script:

scl enable devtoolset-7 bash