![]() |
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.