Format 'binary_op' and its tests

[SSoelvsten]

Missing formatting in #624

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 97.306%. Comparing base (5ac21d0) to head (cd3e039).
Report is 2 commits behind head on main.

Additional details and impacted files

@@              Coverage Diff              @@
##              main      #641       +/-   ##
=============================================
- Coverage   97.306%   97.306%   -0.001%     
=============================================
  Files           90        90               
  Lines         6534      6532        -2     
=============================================
- Hits          6358      6356        -2     
  Misses         176       176               

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

[github-actions]

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

'origin/internal/bool_op/format' is a change in performance of -1.10% (stdev: 0.65%).

...	origin/main	origin/internal/bool_op/format
Mean	24629.17	24899.33
Standard Deviation	136.85	161.43

Number of samples: 6

[github-actions]

🟢 Regression Test (Picotrav 'mem_ctrl')

'origin/internal/bool_op/format' is a change in performance of 0.43% (stdev: 0.33%).

...	origin/main	origin/internal/bool_op/format
Mean	114464.00	113974.00
Standard Deviation	374.19	329.55

Number of samples: 3

[github-actions]

🟢 Regression Test (Picotrav 'arbiter')

'origin/internal/bool_op/format' is a change in performance of 0.41% (stdev: 0.62%).

...	origin/main	origin/internal/bool_op/format
Mean	62630.50	62373.00
Standard Deviation	387.36	225.98

Number of samples: 4

[github-actions]

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

'origin/internal/bool_op/format' is a change in performance of -0.41% (stdev: 1.31%).

...	origin/main	origin/internal/bool_op/format
Mean	11491.71	11539.00
Standard Deviation	146.62	151.24

Number of samples: 7

[github-actions]

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

'origin/internal/bool_op/format' is a change in performance of -1.22% (stdev: 0.58%).

...	origin/main	origin/internal/bool_op/format
Mean	22799.67	23078.50
Standard Deviation	101.38	133.15

Number of samples: 6

[github-actions]

🟡 Regression Test (12-Queens)

'origin/internal/bool_op/format' is a change in performance of -0.80% (stdev: 1.08%).

...	origin/main	origin/internal/bool_op/format
Mean	11685.29	11779.14
Standard Deviation	126.49	55.97

Number of samples: 7

[github-actions]

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

'origin/internal/bool_op/format' is a change in performance of -1.39% (stdev: 0.59%).

...	origin/main	origin/internal/bool_op/format
Mean	7331.75	7433.38
Standard Deviation	30.02	43.70

Number of samples: 8

[github-actions]

🟡 Regression Test (Picotrav 'adder')

'origin/internal/bool_op/format' is a change in performance of -5.28% (stdev: 12.18%).

...	origin/main	origin/internal/bool_op/format
Mean	9297.00	9788.30
Standard Deviation	101.50	1192.28

Number of samples: 10

[github-actions]

🔴 Regression Test (14-Queens)

'origin/internal/bool_op/format' is a change in performance of -2.27% (stdev: 0.78%).

...	origin/main	origin/internal/bool_op/format
Mean	269041.67	275141.00
Standard Deviation	2099.95	596.22

Number of samples: 3