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;