BDD/RelProd/Apply Transpose

[SSoelvsten]

Optimisation from #502 : Skips the transposition step of the bdd_exists by using the unreduced (and already transposed) output of bdd_and.

[codecov]

Codecov Report

Attention: Patch coverage is 96.61017% with 2 lines in your changes missing coverage. Please review.

Project coverage is 97.846%. Comparing base (183a4f3) to head (9f3bb15).
Report is 1 commits behind head on main.

Files	Patch %	Lines
src/adiar/bdd/quantify.cpp	87.500%	2 Missing ⚠️

Additional details and impacted files

@@              Coverage Diff              @@
##              main      #672       +/-   ##
=============================================
+ Coverage   97.829%   97.846%   +0.017%     
=============================================
  Files           93        93               
  Lines         6863      6917       +54     
=============================================
+ Hits          6714      6768       +54     
  Misses         149       149               

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

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of 0.15% (stdev: 0.29%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	21846.67	21814.00
Standard Deviation	62.53	47.32

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of 1.63% (stdev: 0.58%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	17163.00	16884.00
Standard Deviation	31.80	97.86

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of -0.35% (stdev: 0.42%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	29231.33	29334.67
Standard Deviation	123.14	29.26

Number of samples: 3

[github-actions]

🟡 Regression Test (Picotrav 'adder')

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of -1.35% (stdev: 1.19%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	9475.25	9603.50
Standard Deviation	112.01	114.44

Number of samples: 4

[github-actions]

🟢 Regression Test (Picotrav 'arbiter')

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of 0.34% (stdev: 1.54%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	65868.00	65644.00
Standard Deviation	1016.28	907.01

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of -1.21% (stdev: 1.83%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	4988.00	5048.50
Standard Deviation	59.35	92.31

Number of samples: 4

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of 1.95% (stdev: 2.45%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	9516.25	9330.25
Standard Deviation	232.69	56.51

Number of samples: 4

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of 0.33% (stdev: 0.56%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	12298.00	12258.00
Standard Deviation	4.58	68.74

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of 0.22% (stdev: 0.72%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	15313.33	15279.33
Standard Deviation	110.53	70.54

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of 0.32% (stdev: 1.23%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	5178.75	5162.25
Standard Deviation	63.95	55.23

Number of samples: 4

[github-actions]

🔴 Regression Test (Picotrav 'mem_ctrl')

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of -0.60% (stdev: 0.24%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	114685.33	115377.67
Standard Deviation	270.93	148.19

Number of samples: 3

[github-actions]

🟢 Regression Test (12-Queens)

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of 0.14% (stdev: 0.49%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	11628.75	11612.00
Standard Deviation	56.68	55.75

Number of samples: 4

[github-actions]

🟡 Regression Test (14-Queens)

'ssoelvsten/adiar/bdd/relprod/apply_transpose' is a change in performance of -0.41% (stdev: 0.91%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/apply_transpose
Mean	270533.00	271653.33
Standard Deviation	1187.18	2471.16

Number of samples: 3