![]() |
SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Settings for benchmarks. More...
#include <benchmarks.h>
Data Fields | |
carl::settings::binary_quantity | limit_memory |
Memory limit in megabytes. More... | |
carl::settings::duration | limit_time |
Time limit in seconds. More... | |
carl::settings::duration | grace_time |
Grace time in seconds. More... | |
std::vector< std::filesystem::path > | input_directories |
Lift of input directories. More... | |
std::filesystem::path | input_directories_common_prefix |
Common prefix of input directories (to shorten filenames in output). More... | |
std::filesystem::path | output_dir |
Output directory. More... | |
std::filesystem::path | output_file_xml |
Filename of xml file. More... | |
std::filesystem::path | output_file_csv |
Filename of xml file. More... | |
Settings for benchmarks.
Definition at line 17 of file benchmarks.h.
carl::settings::duration benchmax::settings::BenchmarkSettings::grace_time |
Grace time in seconds.
Definition at line 23 of file benchmarks.h.
std::vector<std::filesystem::path> benchmax::settings::BenchmarkSettings::input_directories |
Lift of input directories.
Definition at line 25 of file benchmarks.h.
std::filesystem::path benchmax::settings::BenchmarkSettings::input_directories_common_prefix |
Common prefix of input directories (to shorten filenames in output).
Definition at line 27 of file benchmarks.h.
carl::settings::binary_quantity benchmax::settings::BenchmarkSettings::limit_memory |
Memory limit in megabytes.
Definition at line 19 of file benchmarks.h.
carl::settings::duration benchmax::settings::BenchmarkSettings::limit_time |
Time limit in seconds.
Definition at line 21 of file benchmarks.h.
std::filesystem::path benchmax::settings::BenchmarkSettings::output_dir |
Output directory.
Definition at line 29 of file benchmarks.h.
std::filesystem::path benchmax::settings::BenchmarkSettings::output_file_csv |
Filename of xml file.
Definition at line 33 of file benchmarks.h.
std::filesystem::path benchmax::settings::BenchmarkSettings::output_file_xml |
Filename of xml file.
Definition at line 31 of file benchmarks.h.