Searched refs:branchDepthHist (Results 1 – 8 of 8) sorted by relevance
| /dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | searchhist.h | 39 AvgCalc<uint32_t> branchDepthHist; ///< Avg branch depth in current restart
88 branchDepthHist.clear();
139 << " " << std::right << branchDepthHist.avgPrint(1, 5)
|
| H A D | sqlitestats.cpp | 616 bind_null_or_double(stmt, bindAt, searchHist.branchDepthHist,avg); in restart()
617 sqlite3_bind_double(stmt, bindAt++, std:: sqrt(searchHist.branchDepthHist.var())); in restart()
618 bind_null_or_double(stmt, bindAt, searchHist.branchDepthHist,getMin); in restart()
619 bind_null_or_double(stmt, bindAt, searchHist.branchDepthHist,getMax); in restart()
|
| H A D | solver.cpp | 3313 satzilla_feat.avg_branch_depth = hist.branchDepthHist.avg(); in calculate_satzilla_features()
3320 satzilla_feat.branch_depth_min = hist.branchDepthHist.getMin(); in calculate_satzilla_features()
3321 satzilla_feat.branch_depth_max = hist.branchDepthHist.getMax(); in calculate_satzilla_features()
|
| H A D | searcher.cpp | 1444 hist.branchDepthHist.push(decisionLevel()); in update_history_stats()
|
| /dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
| H A D | searchhist.h | 39 AvgCalc<uint32_t> branchDepthHist; ///< Avg branch depth in current restart member
88 branchDepthHist.clear(); in clear()
139 << " " << std::right << branchDepthHist.avgPrint(1, 5) in print()
|
| H A D | sqlitestats.cpp | 616 bind_null_or_double(stmt, bindAt, searchHist.branchDepthHist,avg); in restart()
617 sqlite3_bind_double(stmt, bindAt++, std:: sqrt(searchHist.branchDepthHist.var())); in restart()
618 bind_null_or_double(stmt, bindAt, searchHist.branchDepthHist,getMin); in restart()
619 bind_null_or_double(stmt, bindAt, searchHist.branchDepthHist,getMax); in restart()
|
| H A D | solver.cpp | 3313 satzilla_feat.avg_branch_depth = hist.branchDepthHist.avg(); in calculate_satzilla_features()
3320 satzilla_feat.branch_depth_min = hist.branchDepthHist.getMin(); in calculate_satzilla_features()
3321 satzilla_feat.branch_depth_max = hist.branchDepthHist.getMax(); in calculate_satzilla_features()
|
| H A D | searcher.cpp | 1444 hist.branchDepthHist.push(decisionLevel()); in update_history_stats()
|