Project/2023/boolean optimisation

[SSoelvsten]

Merge of MSc course project by Erik Funder Carstensen ( @halvko ) into main. I have added unit tests.

[github-actions]

Cppcheck

nofile:0:0: information: Cppcheck cannot find all the include files (use --check-config for details) [missingInclude]

[codecov]

Codecov Report

Attention: 2 lines in your changes are missing coverage. Please review.

Comparison is base (ac7b771) 97.185% compared to head (419b94d) 97.159%.

Files	Patch %	Lines
src/adiar/statistics.cpp	84.615%	2 Missing ⚠️

Additional details and impacted files

@@              Coverage Diff              @@
##              main      #612       +/-   ##
=============================================
- Coverage   97.185%   97.159%   -0.027%     
=============================================
  Files           88        88               
  Lines         6111      6124       +13     
=============================================
+ Hits          5939      5950       +11     
- Misses         172       174        +2     

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

[github-actions]

🔴 Regression Test (Picotrav 'mem_ctrl')

'origin/project/2023/boolean-optimisation' is a change in performance of -0.87% (stdev: 0.40%).

...	origin/main	origin/project/2023/boolean-optimisation
Mean	111590.67	112556.67
Standard Deviation	449.79	183.83

Number of samples: 3

[github-actions]

🟢 Regression Test (Picotrav 'adder')

'origin/project/2023/boolean-optimisation' is a change in performance of 4.87% (stdev: 12.42%).

...	origin/main	origin/project/2023/boolean-optimisation
Mean	10042.40	9553.60
Standard Deviation	1247.01	845.61

Number of samples: 10

[github-actions]

🟡 Regression Test (Picotrav 'arbiter')

'origin/project/2023/boolean-optimisation' is a change in performance of -0.56% (stdev: 0.86%).

...	origin/main	origin/project/2023/boolean-optimisation
Mean	63066.50	63416.75
Standard Deviation	541.55	281.27

Number of samples: 4

[github-actions]

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

'origin/project/2023/boolean-optimisation' is a change in performance of 0.64% (stdev: 1.89%).

...	origin/main	origin/project/2023/boolean-optimisation
Mean	9979.60	9915.60
Standard Deviation	188.25	63.61

Number of samples: 5

[github-actions]

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

'origin/project/2023/boolean-optimisation' is a change in performance of -0.07% (stdev: 0.81%).

...	origin/main	origin/project/2023/boolean-optimisation
Mean	28506.60	28525.40
Standard Deviation	168.04	230.40

Number of samples: 5

[github-actions]

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

'origin/project/2023/boolean-optimisation' is a change in performance of 1.50% (stdev: 3.69%).

...	origin/main	origin/project/2023/boolean-optimisation
Mean	30587.20	30128.40
Standard Deviation	1129.66	170.91

Number of samples: 5

[github-actions]

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

'origin/project/2023/boolean-optimisation' is a change in performance of 1.48% (stdev: 5.64%).

...	origin/main	origin/project/2023/boolean-optimisation
Mean	44503.60	43843.00
Standard Deviation	2509.82	593.70

Number of samples: 10