![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Settings for the Slurm backend. More...
#include <SlurmSettings.h>
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... | |
Settings for the Slurm backend.
Definition at line 9 of file SlurmSettings.h.
std::string benchmax::settings::SlurmBackendSettings::archive_log_file |
Puts logs to some archive.
Definition at line 19 of file SlurmSettings.h.
std::size_t benchmax::settings::SlurmBackendSettings::array_size |
Number of array jobs within one job.
Definition at line 11 of file SlurmSettings.h.
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.
std::string benchmax::settings::SlurmBackendSettings::sbatch_options |
Additional options passed on to slurm.
Definition at line 21 of file SlurmSettings.h.
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.
carl::settings::duration benchmax::settings::SlurmBackendSettings::submission_delay |
Delay between job submissions.
Definition at line 23 of file SlurmSettings.h.
std::string benchmax::settings::SlurmBackendSettings::tmp_dir |
Temporary directory for output files.
Definition at line 15 of file SlurmSettings.h.