Index

A

AbstractConsumer (class in DikeBenchmarker.resultconsumers.abstract_consumer) AbstractExecutable (class in DikeBenchmarker.solveradaptors.abstractexecutable)

AbstractInstanceAdaptor (class in DikeBenchmarker.benchmarkadaptors.abstractinstance) AbstractPerformanceModel (class in DikeBenchmarker.performancemodels.abstractperformancemodel) AbstractResult (class in DikeBenchmarker.benchmarkatoms)

B

benchmark_id (DikeBenchmarker.benchmarkatoms.Job attribute)

C

cancel_local() (DikeBenchmarker.benchmarkatoms.Job method) CANCELLED (DikeBenchmarker.benchmarkatoms.JobState attribute) checker_id (DikeBenchmarker.benchmarkatoms.Job attribute) CheckerAdaptor (class in DikeBenchmarker.solveradaptors.checkeradaptor) CheckerResult (class in DikeBenchmarker.benchmarkatoms) CheckerResult.State (class in DikeBenchmarker.benchmarkatoms)

clone_retry() (DikeBenchmarker.benchmarkatoms.Job method) consume_result() (DikeBenchmarker.resultconsumers.abstract_consumer.AbstractConsumer method) (DikeBenchmarker.resultconsumers.lambda_consumer.LambdaConsumer method) (DikeBenchmarker.resultconsumers.then_result_consumer.ThenResultConsumer method) cputime (DikeBenchmarker.benchmarkatoms.ResourceResult attribute) CREATED (DikeBenchmarker.benchmarkatoms.JobState attribute) created_at (DikeBenchmarker.benchmarkatoms.Job attribute)

D

DEFAULT_VARIANT (DikeBenchmarker.solveradaptors.checkeradaptor.CheckerAdaptor attribute) detail (DikeBenchmarker.benchmarkatoms.AbstractResult attribute) (DikeBenchmarker.benchmarkatoms.Result property) DikeBenchmarker module DikeBenchmarker.benchmarkadaptors module DikeBenchmarker.benchmarkadaptors.abstractinstance module DikeBenchmarker.benchmarkatoms module DikeBenchmarker.data module DikeBenchmarker.data.db module DikeBenchmarker.dataadaptors module DikeBenchmarker.infrastructureadaptors module DikeBenchmarker.performancemodels module

DikeBenchmarker.performancemodels.abstractperformancemodel module DikeBenchmarker.resultconsumers module DikeBenchmarker.resultconsumers.abstract_consumer module DikeBenchmarker.resultconsumers.lambda_consumer module DikeBenchmarker.resultconsumers.then_result_consumer module DikeBenchmarker.solveradaptors module DikeBenchmarker.solveradaptors.abstractexecutable module DikeBenchmarker.solveradaptors.checkeradaptor module DikeBenchmarker.solveradaptors.executionwrapper module DikeBenchmarker.solveradaptors.solveradaptor module

E

ERROR (DikeBenchmarker.benchmarkatoms.CheckerResult.State attribute) (DikeBenchmarker.benchmarkatoms.ExecutionResult.State attribute) (DikeBenchmarker.benchmarkatoms.ResourceResult.State attribute) (DikeBenchmarker.benchmarkatoms.SolverResult.State attribute)

ExecutionResult (class in DikeBenchmarker.benchmarkatoms) ExecutionResult.State (class in DikeBenchmarker.benchmarkatoms) ExecutionWrapper (class in DikeBenchmarker.solveradaptors.executionwrapper)

F

FAILED (DikeBenchmarker.benchmarkatoms.JobState attribute) FINISHED (DikeBenchmarker.benchmarkatoms.JobState attribute) finished_at (DikeBenchmarker.benchmarkatoms.Job attribute) format_command() (DikeBenchmarker.solveradaptors.abstractexecutable.AbstractExecutable method) (DikeBenchmarker.solveradaptors.checkeradaptor.CheckerAdaptor method) (DikeBenchmarker.solveradaptors.executionwrapper.ExecutionWrapper method) (DikeBenchmarker.solveradaptors.solveradaptor.SolverAdaptor method)

from_dict() (DikeBenchmarker.solveradaptors.abstractexecutable.AbstractExecutable class method) (DikeBenchmarker.solveradaptors.executionwrapper.ExecutionWrapper class method)

G

get_binaries() (DikeBenchmarker.solveradaptors.abstractexecutable.AbstractExecutable method) (DikeBenchmarker.solveradaptors.checkeradaptor.CheckerAdaptor method) get_checker() (DikeBenchmarker.solveradaptors.abstractexecutable.AbstractExecutable method) get_detail (DikeBenchmarker.benchmarkatoms.AbstractResult property) get_format_string() (DikeBenchmarker.solveradaptors.abstractexecutable.AbstractExecutable method)

get_ids() (DikeBenchmarker.solveradaptors.abstractexecutable.AbstractExecutable method) get_job() (DikeBenchmarker.benchmarkatoms.Result method) get_log_prefix() (DikeBenchmarker.benchmarkatoms.Job method) get_path() (DikeBenchmarker.benchmarkadaptors.abstractinstance.AbstractInstanceAdaptor method) GRAT_MAXHEAP (DikeBenchmarker.solveradaptors.checkeradaptor.CheckerAdaptor attribute)

H

has_detail (DikeBenchmarker.benchmarkatoms.AbstractResult property) has_error (DikeBenchmarker.benchmarkatoms.AbstractResult property) (DikeBenchmarker.benchmarkatoms.Result property)

has_result (DikeBenchmarker.benchmarkatoms.AbstractResult property) (DikeBenchmarker.benchmarkatoms.Result property) HEAP_VARIANTS (DikeBenchmarker.solveradaptors.checkeradaptor.CheckerAdaptor attribute)

I

is_empty (DikeBenchmarker.benchmarkatoms.AbstractResult property) (DikeBenchmarker.benchmarkatoms.Result property)

J

Job (class in DikeBenchmarker.benchmarkatoms) job_producer (DikeBenchmarker.benchmarkatoms.Job attribute)

JobState (class in DikeBenchmarker.benchmarkatoms) JobStateError

L

LambdaConsumer (class in DikeBenchmarker.resultconsumers.lambda_consumer)

logroot (DikeBenchmarker.benchmarkatoms.Job attribute)

M

mark_running() (DikeBenchmarker.benchmarkatoms.Job method) mark_submitted() (DikeBenchmarker.benchmarkatoms.Job method) memory (DikeBenchmarker.benchmarkatoms.ResourceResult attribute) MEMOUT (DikeBenchmarker.benchmarkatoms.ResourceResult.State attribute) module DikeBenchmarker DikeBenchmarker.benchmarkadaptors DikeBenchmarker.benchmarkadaptors.abstractinstance DikeBenchmarker.benchmarkatoms DikeBenchmarker.data DikeBenchmarker.data.db DikeBenchmarker.dataadaptors DikeBenchmarker.infrastructureadaptors DikeBenchmarker.performancemodels DikeBenchmarker.performancemodels.abstractperformancemodel DikeBenchmarker.resultconsumers DikeBenchmarker.resultconsumers.abstract_consumer DikeBenchmarker.resultconsumers.lambda_consumer DikeBenchmarker.resultconsumers.then_result_consumer DikeBenchmarker.solveradaptors DikeBenchmarker.solveradaptors.abstractexecutable DikeBenchmarker.solveradaptors.checkeradaptor DikeBenchmarker.solveradaptors.executionwrapper DikeBenchmarker.solveradaptors.solveradaptor

N

NONE (DikeBenchmarker.benchmarkatoms.CheckerResult.State attribute) (DikeBenchmarker.benchmarkatoms.ExecutionResult.State attribute) (DikeBenchmarker.benchmarkatoms.ResourceResult.State attribute) (DikeBenchmarker.benchmarkatoms.SolverResult.State attribute)

P

parse_result() (DikeBenchmarker.solveradaptors.abstractexecutable.AbstractExecutable method) (DikeBenchmarker.solveradaptors.checkeradaptor.CheckerAdaptor method) (DikeBenchmarker.solveradaptors.executionwrapper.ExecutionWrapper method) (DikeBenchmarker.solveradaptors.solveradaptor.SolverAdaptor method)

predict() (DikeBenchmarker.performancemodels.abstractperformancemodel.AbstractPerformanceModel method)

R

read_registry() (DikeBenchmarker.solveradaptors.abstractexecutable.AbstractExecutable method) register() (DikeBenchmarker.solveradaptors.abstractexecutable.AbstractExecutable method) registry (DikeBenchmarker.solveradaptors.abstractexecutable.AbstractExecutable attribute) ResourceResult (class in DikeBenchmarker.benchmarkatoms)

ResourceResult.State (class in DikeBenchmarker.benchmarkatoms) Result (class in DikeBenchmarker.benchmarkatoms) result (DikeBenchmarker.benchmarkatoms.Job attribute) RUNNING (DikeBenchmarker.benchmarkatoms.JobState attribute)

S

SAT (DikeBenchmarker.benchmarkatoms.SolverResult.State attribute) SCALABLE_BINARIES (DikeBenchmarker.solveradaptors.checkeradaptor.CheckerAdaptor attribute) set_failed() (DikeBenchmarker.benchmarkatoms.Job method) set_finished() (DikeBenchmarker.benchmarkatoms.Job method) set_resource_limits() (DikeBenchmarker.solveradaptors.executionwrapper.ExecutionWrapper method) solver_id (DikeBenchmarker.benchmarkatoms.Job attribute) SolverAdaptor (class in DikeBenchmarker.solveradaptors.solveradaptor) SolverResult (class in DikeBenchmarker.benchmarkatoms) SolverResult.State (class in DikeBenchmarker.benchmarkatoms) started_at (DikeBenchmarker.benchmarkatoms.Job attribute)

state (DikeBenchmarker.benchmarkatoms.AbstractResult attribute) (DikeBenchmarker.benchmarkatoms.CheckerResult attribute) (DikeBenchmarker.benchmarkatoms.ExecutionResult attribute) (DikeBenchmarker.benchmarkatoms.Job attribute) (DikeBenchmarker.benchmarkatoms.ResourceResult attribute) (DikeBenchmarker.benchmarkatoms.SolverResult attribute) SUBMITTED (DikeBenchmarker.benchmarkatoms.JobState attribute) submitted_at (DikeBenchmarker.benchmarkatoms.Job attribute) SUCCESS (DikeBenchmarker.benchmarkatoms.ExecutionResult.State attribute) (DikeBenchmarker.benchmarkatoms.ResourceResult.State attribute)

T

ThenResultConsumer (class in DikeBenchmarker.resultconsumers.then_result_consumer) TIMEOUT (DikeBenchmarker.benchmarkatoms.ResourceResult.State attribute) to_dict() (DikeBenchmarker.solveradaptors.abstractexecutable.AbstractExecutable method) (DikeBenchmarker.solveradaptors.executionwrapper.ExecutionWrapper method)

to_eval_record() (DikeBenchmarker.benchmarkatoms.Result method) train() (DikeBenchmarker.performancemodels.abstractperformancemodel.AbstractPerformanceModel method)

U

UNKNOWN (DikeBenchmarker.benchmarkatoms.CheckerResult.State attribute) (DikeBenchmarker.benchmarkatoms.SolverResult.State attribute)

UNSAT (DikeBenchmarker.benchmarkatoms.SolverResult.State attribute) UNVERIFIED (DikeBenchmarker.benchmarkatoms.CheckerResult.State attribute)

V

VERIFIED (DikeBenchmarker.benchmarkatoms.CheckerResult.State attribute)

W

walltime (DikeBenchmarker.benchmarkatoms.ResourceResult attribute)