#pragma once

const double SP = 0.0001;
const int MAX_STEPS = 1000000000;

const int SAMPLING_COUNT = 25;

const int STEM_INC = 2;
const int STEM_WEIGHT_MAX = 1e9;

const int FAULT_INC = 1;
const int FAULT_WEIGHT_MAX = 20;

const int CLAUSE_FALSIFIED_INC = 2;
const int CLAUSE_FALSIFIED_MAX = 1e9;