add some benchmarks

[talk/coalgebraic-mu-calculus-cool-2.git] / images / montali_sat1.pdf

diff --git a/images/montali_sat1.pdf b/images/montali_sat1.pdf
new file mode 100644 (file)
index 0000000..b2cec5e
Binary files /dev/null and b/images/montali_sat1.pdf differ