OKlibrary  0.2.1.6
Scoring.hpp File Reference

Given an "indexed database", computing the solver scores. More...

Go to the source code of this file.

Classes

class  OKlib::SATCompetition::ConstantSeriesPurse
 Policy for PurseScoring, which does not change the series purse. More...
class  OKlib::SATCompetition::SAT2005SeriesPurse
 Policy for PurseScoring, which does divides the series purse by 3, if only 4 or less benchmarks are in the series. More...
class  OKlib::SATCompetition::PurseScoring< IndexedDatabase, SeriesPursePolicy, NumberType >
 Computing score(solver) = problem_purse(solver) + speed_award(solver) + series_purse(solver). More...
class  OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >
 Given a file with competition results, computes sorted lists of scores for the SAT, UNSAT and SAT+UNSAT categories. More...
struct  OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::series_info
struct  OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::solved_series
class  OKlib::SATCompetition::Scoring_from_file< ParserExtension, ResultClass, SeriesPursePolicy >::scoring
 Contains scoring related data for one solver. More...

Namespaces

namespace  OKlib
 

All components of the OKlibrary.


namespace  OKlib::SATCompetition
 

Tools for evaluating SAT competition (under various circumstances)



Detailed Description

Given an "indexed database", computing the solver scores.

Definition in file Scoring.hpp.