diff --git a/reports/smtcomp2023.pdf b/reports/smtcomp2023.pdf
new file mode 100644
index 0000000..d1aa292
Binary files /dev/null and b/reports/smtcomp2023.pdf differ