SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
benchmax::settings::SlurmBackendSettings Struct Reference

Settings for the Slurm backend. More...

#include <SlurmSettings.h>

Collaboration diagram for benchmax::settings::SlurmBackendSettings:

Data Fields

std::size_t array_size
 Number of array jobs within one job. More...
 
std::size_t slice_size
 Size of one slice that is handled in one array job. More...
 
std::string tmp_dir
 Temporary directory for output files. More...
 
bool keep_logs
 Do not remove logs from file system if set to true. More...
 
std::string archive_log_file
 Puts logs to some archive. More...
 
std::string sbatch_options
 Additional options passed on to slurm. More...
 
carl::settings::duration submission_delay
 Delay between job submissions. More...
 

Detailed Description

Settings for the Slurm backend.

Definition at line 9 of file SlurmSettings.h.

Field Documentation

◆ archive_log_file

std::string benchmax::settings::SlurmBackendSettings::archive_log_file

Puts logs to some archive.

Definition at line 19 of file SlurmSettings.h.

◆ array_size

std::size_t benchmax::settings::SlurmBackendSettings::array_size

Number of array jobs within one job.

Definition at line 11 of file SlurmSettings.h.

◆ keep_logs

bool benchmax::settings::SlurmBackendSettings::keep_logs

Do not remove logs from file system if set to true.

Definition at line 17 of file SlurmSettings.h.

◆ sbatch_options

std::string benchmax::settings::SlurmBackendSettings::sbatch_options

Additional options passed on to slurm.

Definition at line 21 of file SlurmSettings.h.

◆ slice_size

std::size_t benchmax::settings::SlurmBackendSettings::slice_size

Size of one slice that is handled in one array job.

Definition at line 13 of file SlurmSettings.h.

◆ submission_delay

carl::settings::duration benchmax::settings::SlurmBackendSettings::submission_delay

Delay between job submissions.

Definition at line 23 of file SlurmSettings.h.

◆ tmp_dir

std::string benchmax::settings::SlurmBackendSettings::tmp_dir

Temporary directory for output files.

Definition at line 15 of file SlurmSettings.h.


The documentation for this struct was generated from the following file: