diff --git a/Additional_Results_PPSN_2024.pdf b/Additional_Results_PPSN_2024.pdf new file mode 100644 index 0000000000000000000000000000000000000000..5ed93f5f7ff71becfcec026b54296a3276c04f29 Binary files /dev/null and b/Additional_Results_PPSN_2024.pdf differ