Docs/citation

[SSoelvsten]

Closes #449 .

[github-actions]

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

'origin/docs/citation' is a change in performance of 2.14% (stdev: 3.82%).

...	origin/main	origin/docs/citation
Mean	16984.40	16620.60
Standard Deviation	648.59	62.47

Number of samples: 5

[github-actions]

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

'origin/docs/citation' is a change in performance of 0.69% (stdev: 1.64%).

...	origin/main	origin/docs/citation
Mean	13007.20	12918.00
Standard Deviation	213.53	23.74

Number of samples: 5

[github-actions]

🟡 Regression Test (Picotrav 'adder')

'origin/docs/citation' is a change in performance of -2.77% (stdev: 8.52%).

...	origin/main	origin/docs/citation
Mean	9300.80	9558.00
Standard Deviation	45.38	813.92

Number of samples: 10

[github-actions]

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

'origin/docs/citation' is a change in performance of 1.64% (stdev: 3.47%).

...	origin/main	origin/docs/citation
Mean	43042.80	42338.40
Standard Deviation	1491.68	86.06

Number of samples: 5

[github-actions]

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

'origin/docs/citation' is a change in performance of 0.27% (stdev: 1.11%).

...	origin/main	origin/docs/citation
Mean	47659.20	47531.80
Standard Deviation	529.74	213.98

Number of samples: 5

[github-actions]

🟢 Regression Test (Picotrav 'arbiter')

'origin/docs/citation' is a change in performance of 3.87% (stdev: 20.07%).

...	origin/main	origin/docs/citation
Mean	71723.70	68945.60
Standard Deviation	14392.84	12488.25

Number of samples: 10

[github-actions]

🟡 Regression Test (Picotrav 'mem_ctrl')

'origin/docs/citation' is a change in performance of -0.18% (stdev: 0.79%).

...	origin/main	origin/docs/citation
Mean	112213.14	112417.14
Standard Deviation	884.32	729.41

Number of samples: 7