// multi-objective query
multi ( Rmax=? [ F true ] , P>=1-0.22908875545788154 [ G (c1=0) ] ,  P>=1-0.22908875545788154 [ G (c2=0) ] ) // k=2
multi ( Rmax=? [ F true ] , P>=1-0.12450138796380233 [ G (c1=0) ] ,  P>=1-0.12450138796380233 [ G (c2=0) ] ) // k=4
multi ( Rmax=? [ F true ] , P>=1-0.06248479880890647 [ G (c1=0) ] ,  P>=1-0.06248479880890647 [ G (c2=0) ] ) // k=8
multi ( Rmax=? [ F true ] , P>=1-0.04164365757451993 [ G (c1=0) ] ,  P>=1-0.04164365757451993 [ G (c2=0) ] ) // k=12
multi ( Rmax=? [ F true ] , P>=1-0.031218839562495434 [ G (c1=0) ], P>=1-0.031218839562495434 [ G (c2=0) ] ) // k=16
multi ( Rmax=? [ F true ] , P>=1-0.024960596483605976 [ G (c1=0) ], P>=1-0.024960596483605976 [ G (c2=0) ] ) // k=20