update tricky example

results/tricky/model/tricky.tex

@@ -40,13 +40,13 @@
         \begin{tabular}{l@{~}l@{~}r@{~}}
           \textbf{Name} & \textbf{Cost} & \textbf{Time} \\
           \hline
-          \gate{a}      & \EUR{0}       & 0~d           \\
-          \gate{b}      & \EUR{0}       & 1~d           \\
-          \gate{c}      & \EUR{0}       & 1~d           \\
-          \leaf{d}      & \EUR{0}       & 1~d           \\
-          \leaf{e}      & \EUR{0}       & 3~d           \\
-          \leaf{f}      & \EUR{0}       & 1~d           \\
-          \leaf{g}      & \EUR{0}       & 1~d           \\
+          \gate{a}      & \EUR{0}       & 1~m           \\
+          \gate{b}      & \EUR{0}       & 1~m           \\
+          \gate{c}      & \EUR{0}       & 1~m           \\
+          \leaf{d}      & \EUR{0}       & 1~m           \\
+          \leaf{e}      & \EUR{0}       & 3~m           \\
+          \leaf{f}      & \EUR{0}       & 1~m           \\
+          \leaf{g}      & \EUR{0}       & 1~m           \\
         \end{tabular}
       }}
   \end{minipage}

results/tricky/model/tricky.txt

 a
 
-a and attack 0 0
+a and attack 0 1
 b and attack 0 1
 c and attack 0 1
 d leaf attack 0 1