BDD/RelProd

[SSoelvsten]

Adds the foundations of #502 , i.e. it provides the trivial implementation.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 97.829%. Comparing base (e82ec26) to head (30fd7a4).

Additional details and impacted files

@@              Coverage Diff              @@
##              main      #671       +/-   ##
=============================================
+ Coverage   97.818%   97.829%   +0.011%     
=============================================
  Files           92        93        +1     
  Lines         6829      6863       +34     
=============================================
+ Hits          6680      6714       +34     
  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' is a change in performance of -0.68% (stdev: 1.97%).

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	22390.60	22542.20
Standard Deviation	104.93	444.74

Number of samples: 5

[github-actions]

🟢 Regression Test (Picotrav 'adder')

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

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	9438.33	9407.17
Standard Deviation	101.04	70.38

Number of samples: 6

[github-actions]

🟢 Regression Test (Picotrav 'arbiter')

'ssoelvsten/adiar/bdd/relprod' is a change in performance of 14.96% (stdev: 24.10%).

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	77667.60	66045.30
Standard Deviation	18714.71	268.06

Number of samples: 10

[github-actions]

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

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

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	5122.50	5159.17
Standard Deviation	38.22	26.09

Number of samples: 6

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod' is a change in performance of -0.07% (stdev: 0.25%).

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	15209.20	15220.40
Standard Deviation	37.36	23.87

Number of samples: 5

[github-actions]

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

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

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	30537.50	30709.25
Standard Deviation	138.52	361.42

Number of samples: 4

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod' is a change in performance of -1.39% (stdev: 2.41%).

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	5091.83	5162.67
Standard Deviation	33.95	124.49

Number of samples: 6

[github-actions]

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

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

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	17430.20	17376.80
Standard Deviation	45.52	53.68

Number of samples: 5

[github-actions]

🟢 Regression Test (12-Queens)

'ssoelvsten/adiar/bdd/relprod' is a change in performance of 0.21% (stdev: 0.46%).

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	11654.83	11629.83
Standard Deviation	54.00	37.16

Number of samples: 6

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod' is a change in performance of -0.37% (stdev: 0.67%).

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	12129.83	12175.00
Standard Deviation	54.65	81.37

Number of samples: 6

[github-actions]

🟡 Regression Test (Picotrav 'mem_ctrl')

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

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	114192.67	114381.00
Standard Deviation	401.41	353.49

Number of samples: 3

[github-actions]

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

'ssoelvsten/adiar/bdd/relprod' is a change in performance of 1.01% (stdev: 2.27%).

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	9479.50	9383.83
Standard Deviation	215.43	20.66

Number of samples: 6

[github-actions]

🟢 Regression Test (14-Queens)

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

...	origin/main	ssoelvsten/adiar/bdd/relprod
Mean	276866.00	275740.33
Standard Deviation	9093.74	10744.65

Number of samples: 3