diff --git a/benchmarks/SOSP/TPS/tps-new.pdf b/benchmarks/SOSP/TPS/tps-new.pdf new file mode 100644 index 0000000..de74762 Binary files /dev/null and b/benchmarks/SOSP/TPS/tps-new.pdf differ