const int k;

<<1>> Pmax=? [ F "succ" ]

<<1>> Pmax=? [ G !"coll" ]

<<1>> Pmax=? [ F<=k "succ" ]

<<1>> R{"energy"}min=? [ Fc "succ" ]

<<1>> R{"time"}min=? [ Fc "succ" ]

<<1>> ((((((((R{"time"}<=3.4 [ C ]&R{"energy"}<=5.7 [ C ]))))))))

<<1>> ((((((((R{"success"}>=0.7 [ C ]&R{"collision"}<=0.1 [ C ]))))))))

<<1>> ((((((((R{"success"}>=0.7 [ C ]&R{"collision"}<=0.13 [ C ]&R{"energy"}<=5.7 [ C ]))))))))