OKlibrary  0.2.1.6
ComputeAnalysis.cpp File Reference

Analyse a file with competition data by printing out for all benchmarks the number of succesful solvers, the result problem purse, the speed factor and the SAT status (as determined by the solver results). More...

Go to the source code of this file.

Functions

int main (const int argc, const char *const argv[])

Detailed Description

Analyse a file with competition data by printing out for all benchmarks the number of succesful solvers, the result problem purse, the speed factor and the SAT status (as determined by the solver results).

Todo:

Usage of ProgramOptions.

Classes PrintStandard and PrintLatex should inherit from some common base class.

Definition in file ComputeAnalysis.cpp.


Function Documentation

int main ( const int  argc,
const char *const  argv[] 
)

Definition at line 202 of file ComputeAnalysis.cpp.