Docs/examples

[SSoelvsten]

Closes #555 .

[github-actions]

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

'origin/docs/examples' is a change in performance of 0.18% (stdev: 0.80%).

...	origin/main	origin/docs/examples
Mean	12982.80	12959.80
Standard Deviation	103.68	73.74

Number of samples: 5

[github-actions]

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

'origin/docs/examples' is a change in performance of 1.74% (stdev: 4.01%).

...	origin/main	origin/docs/examples
Mean	17049.40	16752.20
Standard Deviation	683.59	72.76

Number of samples: 5

[github-actions]

🟡 Regression Test (Picotrav 'adder')

'origin/docs/examples' is a change in performance of -1.55% (stdev: 9.69%).

...	origin/main	origin/docs/examples
Mean	9487.60	9635.10
Standard Deviation	817.51	933.61

Number of samples: 10

[github-actions]

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

'origin/docs/examples' is a change in performance of 1.42% (stdev: 3.25%).

...	origin/main	origin/docs/examples
Mean	42691.40	42086.20
Standard Deviation	1385.88	57.79

Number of samples: 5

[github-actions]

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

'origin/docs/examples' is a change in performance of -0.12% (stdev: 0.25%).

...	origin/main	origin/docs/examples
Mean	46550.20	46604.00
Standard Deviation	117.83	97.00

Number of samples: 5

[github-actions]

🟡 Regression Test (Picotrav 'arbiter')

'origin/docs/examples' is a change in performance of -0.26% (stdev: 14.12%).

...	origin/main	origin/docs/examples
Mean	65794.40	65963.70
Standard Deviation	9292.55	9199.73

Number of samples: 10

[github-actions]

🟡 Regression Test (Picotrav 'mem_ctrl')

'origin/docs/examples' is a change in performance of -0.14% (stdev: 0.88%).

...	origin/main	origin/docs/examples
Mean	113274.57	113431.43
Standard Deviation	998.37	830.93

Number of samples: 7

[github-actions]

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

'origin/docs/examples' is a change in performance of 0.46% (stdev: 0.82%).

...	origin/main	origin/docs/examples
Mean	13013.00	12953.20
Standard Deviation	106.71	35.67

Number of samples: 5

[github-actions]

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

'origin/docs/examples' is a change in performance of 1.35% (stdev: 3.96%).

...	origin/main	origin/docs/examples
Mean	17239.60	17006.20
Standard Deviation	682.30	50.81

Number of samples: 5

[github-actions]

🟢 Regression Test (Picotrav 'adder')

'origin/docs/examples' is a change in performance of 5.00% (stdev: 11.27%).

...	origin/main	origin/docs/examples
Mean	9776.90	9287.90
Standard Deviation	1102.00	52.42

Number of samples: 10

[github-actions]

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

'origin/docs/examples' is a change in performance of 1.74% (stdev: 3.18%).

...	origin/main	origin/docs/examples
Mean	43211.20	42458.00
Standard Deviation	1373.46	196.41

Number of samples: 5

[github-actions]

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

'origin/docs/examples' is a change in performance of 0.22% (stdev: 0.95%).

...	origin/main	origin/docs/examples
Mean	46782.40	46679.00
Standard Deviation	443.11	247.30

Number of samples: 5

[github-actions]

🟡 Regression Test (Picotrav 'arbiter')

'origin/docs/examples' is a change in performance of -0.19% (stdev: 0.68%).

...	origin/main	origin/docs/examples
Mean	63165.80	63286.90
Standard Deviation	431.25	241.51

Number of samples: 10

[github-actions]

🟢 Regression Test (Picotrav 'mem_ctrl')

'origin/docs/examples' is a change in performance of 0.28% (stdev: 0.65%).

...	origin/main	origin/docs/examples
Mean	114379.17	114063.67
Standard Deviation	738.32	559.44

Number of samples: 6