From 72b09a693c37bf01cefc63af108eaefd5e197b40 Mon Sep 17 00:00:00 2001 From: Mavo Date: Tue, 9 Feb 2016 18:09:06 +0100 Subject: [PATCH] More examples Former-commit-id: e4ea9cf5dc3bd60844d91fae4c6a8a5d9da71188 --- benchmark_dft.py | 1 + examples/dft/fdep2.dft | 5 +++++ 2 files changed, 6 insertions(+) create mode 100644 examples/dft/fdep2.dft diff --git a/benchmark_dft.py b/benchmark_dft.py index 7fe59a276..54dadeacc 100644 --- a/benchmark_dft.py +++ b/benchmark_dft.py @@ -20,6 +20,7 @@ benchmarks = [ ("cps", False, ["inf", 0.333333]), ("deathegg", False, [46.667, 1]), ("fdep", False, [0.666667, 1]), + ("fdep2", False, [2, 1]), #("ftpp_complex", False, [0, 1]), # Compute #("ftpp_large", False, [0, 1]), # Compute #("ftpp_standard", False, [0, 1]), # Compute diff --git a/examples/dft/fdep2.dft b/examples/dft/fdep2.dft new file mode 100644 index 000000000..a444ed4be --- /dev/null +++ b/examples/dft/fdep2.dft @@ -0,0 +1,5 @@ +toplevel "A"; +"A" and "B" "C"; +"F" fdep "B" "C"; +"B" lambda=0.5 dorm=0; +"C" lambda=0.5 dorm=0;