SMT-RAT
24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
|
Results for a single benchmark run. More...
#include <BenchmarkResult.h>
Public Member Functions | |
template<typename TimeLimit > | |
void | cleanup (const TimeLimit &limit) |
Properly detect timeouts. More... | |
auto | get_path () const |
void | store (size_t id) const |
void | store () const |
void | restore () const |
void | forget () const |
Data Fields | |
int | exitCode |
Shell exit code. More... | |
std::chrono::milliseconds | time |
Runtime in milliseconds. More... | |
std::string | answer |
Answer string. More... | |
std::size_t | peak_memory_kbytes |
Peak memory usage. More... | |
std::string | stdout |
Standard output (mostly for parsing the answer and additional information). More... | |
std::string | stderr |
Error output (mostly for parsing the answer and additional information). More... | |
std::map< std::string, std::string > | additional |
Arbitrary additional information that can be provided by the tool class. More... | |
size_t | stored_id = 0 |
Identifier for temporary file. More... | |
Results for a single benchmark run.
Definition at line 20 of file BenchmarkResult.h.
|
inline |
Properly detect timeouts.
Most backends give processes a bit more time to avoid having race-condition-like situations.
Definition at line 43 of file BenchmarkResult.h.
|
inline |
|
inline |
|
inline |
|
inline |
Definition at line 64 of file BenchmarkResult.h.
|
inline |
|
mutable |
Arbitrary additional information that can be provided by the tool class.
Definition at line 34 of file BenchmarkResult.h.
std::string benchmax::BenchmarkResult::answer |
Answer string.
Definition at line 26 of file BenchmarkResult.h.
int benchmax::BenchmarkResult::exitCode |
Shell exit code.
Definition at line 22 of file BenchmarkResult.h.
std::size_t benchmax::BenchmarkResult::peak_memory_kbytes |
Peak memory usage.
Definition at line 28 of file BenchmarkResult.h.
std::string benchmax::BenchmarkResult::stderr |
Error output (mostly for parsing the answer and additional information).
Definition at line 32 of file BenchmarkResult.h.
std::string benchmax::BenchmarkResult::stdout |
Standard output (mostly for parsing the answer and additional information).
Definition at line 30 of file BenchmarkResult.h.
|
mutable |
Identifier for temporary file.
Definition at line 36 of file BenchmarkResult.h.
std::chrono::milliseconds benchmax::BenchmarkResult::time |
Runtime in milliseconds.
Definition at line 24 of file BenchmarkResult.h.