home.md

+# Benchmark results
+
+## Valmari figure 4:
+
+[benchmark.pdf](/uploads/ae11eeb1b8c95ca38792a08fd8010b1b/benchmark.pdf)
+
+## PRISM
+
+[benchmark.pdf](/uploads/16ca44b936387843a05b76f81cbe70da/benchmark.pdf)
\ No newline at end of file