// multi-objective query
multi ( Rmax=? [ F true ] , P>=1-0.10833260973166493 [ G (c1=0) ], P>=1-0.10833260973166493 [ G (c2=0) ] ) // k=2
multi ( Rmax=? [ F true ] , P>=1-0.061518025457429924 [ G (c1=0) ], P>=1-0.061518025457429924 [ G (c2=0) ] ) // k=4
multi ( Rmax=? [ F true ] , P>=1-0.031242851478116937 [ G (c1=0) ], P>=1-0.031242851478116937 [ G (c2=0) ] ) // k=8
multi ( Rmax=? [ F true ] , P>=1-0.020828194647463896 [ G (c1=0) ], P>=1-0.020828194647463896 [ G (c2=0) ] ) // k=12
multi ( Rmax=? [ F true ] , P>=1-0.015618082185381363 [ G (c1=0) ], P>=1-0.015618082185381363 [ G (c2=0) ] ) // k=16
multi ( Rmax=? [ F true ] , P>=1-0.012491262448108213 [ G (c1=0) ], P>=1-0.012491262448108213 [ G (c2=0) ] ) // k=20