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

Settings for benchmarks. More...

#include <benchmarks.h>

Collaboration diagram for benchmax::settings::BenchmarkSettings:

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...
 

Detailed Description

Settings for benchmarks.

Definition at line 17 of file benchmarks.h.

Field Documentation

◆ grace_time

carl::settings::duration benchmax::settings::BenchmarkSettings::grace_time

Grace time in seconds.

Definition at line 23 of file benchmarks.h.

◆ input_directories

std::vector<std::filesystem::path> benchmax::settings::BenchmarkSettings::input_directories

Lift of input directories.

Definition at line 25 of file benchmarks.h.

◆ input_directories_common_prefix

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.

◆ limit_memory

carl::settings::binary_quantity benchmax::settings::BenchmarkSettings::limit_memory

Memory limit in megabytes.

Definition at line 19 of file benchmarks.h.

◆ limit_time

carl::settings::duration benchmax::settings::BenchmarkSettings::limit_time

Time limit in seconds.

Definition at line 21 of file benchmarks.h.

◆ output_dir

std::filesystem::path benchmax::settings::BenchmarkSettings::output_dir

Output directory.

Definition at line 29 of file benchmarks.h.

◆ output_file_csv

std::filesystem::path benchmax::settings::BenchmarkSettings::output_file_csv

Filename of xml file.

Definition at line 33 of file benchmarks.h.

◆ output_file_xml

std::filesystem::path benchmax::settings::BenchmarkSettings::output_file_xml

Filename of xml file.

Definition at line 31 of file benchmarks.h.


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