SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
BenchmarkResult.h File Reference
#include <chrono>
#include <iostream>
#include <map>
#include <boost/archive/text_iarchive.hpp>
#include <boost/archive/text_oarchive.hpp>
#include <boost/serialization/map.hpp>
#include <fstream>
#include <filesystem>
#include "../settings/Settings.h"
Include dependency graph for BenchmarkResult.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  benchmax::BenchmarkResult
 Results for a single benchmark run. More...
 

Namespaces

 benchmax
 

Functions

std::ostream & benchmax::operator<< (std::ostream &os, const BenchmarkResult &results)
 Streaming operator for BenchmarkResult. More...