BDD/RelPrev/Renaming

[SSoelvsten]

Final optimisation in #502 . This may not be merged due to an undesirable overhead.

[github-actions]

🟡 Regression Test (12-Queens)

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of -0.02% (stdev: 0.35%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	11392.67	11394.67
Standard Deviation	40.27	22.05

Number of samples: 3

[github-actions]

🟡 Regression Test (Picotrav 'adder')

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of -0.61% (stdev: 0.86%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	9418.67	9475.67
Standard Deviation	30.44	81.56

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'breakthrough/3x4_19_bwnib')

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of -0.10% (stdev: 0.65%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	21674.33	21695.00
Standard Deviation	140.27	31.00

Number of samples: 3

[github-actions]

🟡 Regression Test (Picotrav 'arbiter')

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of 0.38% (stdev: 0.43%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	65228.00	64981.33
Standard Deviation	278.91	59.21

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'breakthrough_dual/3x6_10_bwnib')

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of -0.08% (stdev: 0.77%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	5218.33	5222.33
Standard Deviation	40.10	20.23

Number of samples: 3

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 98.033%. Comparing base (95510bc) to head (dcc5e56).

Additional details and impacted files

@@              Coverage Diff              @@
##              main      #680       +/-   ##
=============================================
+ Coverage   97.937%   98.033%   +0.097%     
=============================================
  Files           93        93               
  Lines         7027      7067       +40     
=============================================
+ Hits          6882      6928       +46     
+ Misses         145       139        -6     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[github-actions]

🟡 Regression Test (Picotrav 'mem_ctrl')

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of -0.07% (stdev: 0.52%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	114689.00	114763.67
Standard Deviation	421.80	599.87

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'connect4/6x6_11_connect4_bwnib')

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of -0.07% (stdev: 0.68%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	11961.33	11970.00
Standard Deviation	81.13	35.55

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'ep_dual/8x8_6_e-8-1_p-2-3_bwnib')

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of 0.69% (stdev: 1.21%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	5074.67	5039.67
Standard Deviation	61.23	43.62

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'domineering/5x5_13_bwnib')

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of -0.05% (stdev: 0.43%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	15255.67	15263.00
Standard Deviation	66.30	46.18

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'httt/4x4_9_tippy_bwnib')

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of -0.01% (stdev: 0.84%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	9362.00	9363.00
Standard Deviation	79.05	12.12

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'ep/8x8_7_e-8-1_p-3-4_bwnib')

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of -0.30% (stdev: 0.63%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	29486.00	29575.67
Standard Deviation	186.24	145.57

Number of samples: 3

[github-actions]

🟡 Regression Test (QBF 'hex/hein_08_5x5-11_bwnib')

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of -0.62% (stdev: 1.09%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	17681.33	17790.67
Standard Deviation	192.39	48.43

Number of samples: 3

[github-actions]

🟡 Regression Test (14-Queens)

'ssoelvsten/adiar/bdd/relprev/renaming' is a change in performance of -0.05% (stdev: 0.20%).

...	origin/main	ssoelvsten/adiar/bdd/relprev/renaming
Mean	265331.00	265452.33
Standard Deviation	537.63	267.79

Number of samples: 3