BDD / Cube

[SSoelvsten]

Closes #533 .

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (5ba29d9) 96.947% compared to head (6946b7a) 96.948%.

Additional details and impacted files

@@              Coverage Diff              @@
##              main      #580       +/-   ##
=============================================
+ Coverage   96.947%   96.948%   +0.001%     
=============================================
  Files           84        84               
  Lines         5864      5865        +1     
=============================================
+ Hits          5685      5686        +1     
  Misses         179       179               

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

[github-actions]

Benchmark Report 🟢

origin/bdd/cube is a regression of 0.25% (compared to origin/main).

Minimum running time (s) for 9-Queens:

origin/main	origin/bdd/cube
0.23	0.23

Raw Data

Running times (s) for 9-Queens:

origin/main	origin/bdd/cube
0.23	0.23
0.23	0.23
0.23	0.24
0.24	0.24
0.23	0.23
0.24	0.25
0.23	0.23
0.26	0.23
0.23	0.23
0.23	0.23
0.23	0.24
0.23	0.23
0.23	0.23
0.23	0.23
0.23	0.24
0.23	0.25

[github-actions]

Benchmark Report 🟢

origin/bdd/cube is an improvement of 0.18% (compared to origin/main).

Minimum running time (s) for 12-Queens:

origin/main	origin/bdd/cube
11.48	11.46

Raw Data

Running times (s) for 12-Queens:

origin/main	origin/bdd/cube
11.65	11.50
11.52	11.51
11.55	11.47
11.49	11.57
11.52	11.50
11.51	11.46
11.48	11.52
11.57	11.53
11.60	11.46
11.55	11.53
11.51	11.48
11.54	11.57
11.65	11.54
11.58	11.54
11.60	11.54
11.60	11.61

[github-actions]

Benchmark Report 🟢

origin/bdd/cube is an improvement of 0.47% (compared to origin/main).

Minimum running time (s) for 14-Queens:

origin/main	origin/bdd/cube
271.48	270.21

Raw Data

Running times (s) for 14-Queens:

origin/main	origin/bdd/cube
382.79	271.01
273.84	273.59
272.88	270.21
271.48	271.13