BDD/RelProd/Quantification Pruning

[SSoelvsten]

Optimisation from #502 : Integrates the pruning optimisation directly within the bdd_and transposition sweep.

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of -1.40% (stdev: 1.28%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	5154.67	5226.67
Standard Deviation	7.64	66.83

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of -0.66% (stdev: 0.26%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	16618.00	16727.33
Standard Deviation	43.59	35.28

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of -1.33% (stdev: 0.26%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	21595.00	21882.67
Standard Deviation	27.87	57.35

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of 0.89% (stdev: 4.20%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	9593.33	9508.33
Standard Deviation	403.00	41.48

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of -0.92% (stdev: 0.87%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	15220.67	15360.33
Standard Deviation	132.91	71.22

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of -1.78% (stdev: 2.00%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	12249.00	12467.00
Standard Deviation	94.03	248.82

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of -0.88% (stdev: 0.56%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	29723.33	29986.00
Standard Deviation	165.08	114.59

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of 0.45% (stdev: 2.34%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	5046.25	5023.50
Standard Deviation	118.01	21.75

Number of samples: 4

[github-actions]

🟢 Regression Test (12-Queens)

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of 1.58% (stdev: 0.41%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	11611.25	11427.75
Standard Deviation	29.78	46.61

Number of samples: 4

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 97.862%. Comparing base (1923c68) to head (f249c72).

Additional details and impacted files

@@              Coverage Diff              @@
##              main      #673       +/-   ##
=============================================
+ Coverage   97.846%   97.862%   +0.016%     
=============================================
  Files           93        93               
  Lines         6917      6970       +53     
=============================================
+ Hits          6768      6821       +53     
  Misses         149       149               

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

[github-actions]

🟢 Regression Test (14-Queens)

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of 2.84% (stdev: 0.11%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	268508.00	260870.67
Standard Deviation	237.65	299.54

Number of samples: 3

[github-actions]

🟢 Regression Test (Picotrav 'adder')

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of 5.92% (stdev: 11.51%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	10034.80	9440.30
Standard Deviation	1155.06	67.75

Number of samples: 10

[github-actions]

🟡 Regression Test (Picotrav 'arbiter')

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of -4.77% (stdev: 19.51%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	68747.22	72028.56
Standard Deviation	10894.94	14056.19

Number of samples: 9

[github-actions]

🟡 Regression Test (Picotrav 'mem_ctrl')

'ssoelvsten/adiar/bdd/relprod/prune' is a change in performance of -1.34% (stdev: 5.37%).

...	origin/main	ssoelvsten/adiar/bdd/relprod/prune
Mean	124135.00	125804.50
Standard Deviation	6232.78	6755.25

Number of samples: 8