Add 'quantify pred-profile' to have more information for heuristics #661
Conversation
SSoelvsten
added
✨ optimisation
SSoelvsten
force-pushed
the
internal/quantify/pred-profile
branch
from
f94fde8 to
7b3579c
Compare
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## main #661 +/- ##
=============================================
+ Coverage 97.371% 97.375% +0.004%
=============================================
Files 90 90
Lines 6505 6515 +10
=============================================
+ Hits 6334 6344 +10
Misses 171 171 ☔ View full report in Codecov by Sentry. |
🟡 Regression Test (QBF 'ep/8x8_7_e-8-1_p-3-4_bwnib')'ssoelvsten/adiar/internal/quantify/pred-profile' is a change in performance of -0.44% (stdev: 0.45%).
Number of samples: 3 |
🟡 Regression Test (QBF 'breakthrough_dual/3x6_10_bwnib')'ssoelvsten/adiar/internal/quantify/pred-profile' is a change in performance of -0.63% (stdev: 1.44%).
Number of samples: 4 |
🟡 Regression Test (QBF 'httt/4x4_9_tippy_bwnib')'ssoelvsten/adiar/internal/quantify/pred-profile' is a change in performance of -0.73% (stdev: 1.65%).
Number of samples: 4 |
🟢 Regression Test (QBF 'ep_dual/8x8_6_e-8-1_p-2-3_bwnib')'ssoelvsten/adiar/internal/quantify/pred-profile' is a change in performance of 2.63% (stdev: 4.48%).
Number of samples: 4 |
This comment was marked as off-topic.
This comment was marked as off-topic.
🟢 Regression Test (QBF 'connect4/6x6_11_connect4_bwnib')'ssoelvsten/adiar/internal/quantify/pred-profile' is a change in performance of 0.53% (stdev: 0.53%).
Number of samples: 4 |
🟡 Regression Test (QBF 'domineering/5x5_13_bwnib')'ssoelvsten/adiar/internal/quantify/pred-profile' is a change in performance of -0.36% (stdev: 0.50%).
Number of samples: 3 |
🟢 Regression Test (QBF 'breakthrough/3x4_19_bwnib')'ssoelvsten/adiar/internal/quantify/pred-profile' is a change in performance of 0.84% (stdev: 0.97%).
Number of samples: 3 |
This comment was marked as off-topic.
This comment was marked as off-topic.
This comment was marked as off-topic.
This comment was marked as off-topic.
This comment was marked as off-topic.
This comment was marked as off-topic.
This comment was marked as off-topic.
This comment was marked as off-topic.
This comment was marked as off-topic.
This comment was marked as off-topic.
SSoelvsten
force-pushed
the
internal/quantify/pred-profile
branch
from
cc6a9e8 to
91490c7
Compare
Compared to using 'seen_widest' in the previous commit, this better encapsulate a diamond-shaped but BDD that gets wide early. The 'deep' variables are then symmetrically only the ones as deep as the ones at the top (measured in number of nodes, not number of levels).
SSoelvsten
force-pushed
the
internal/quantify/pred-profile
branch
from
91490c7 to
6f272c3
Compare
Deals with pre-requisites for #655 .