// multi-objective query
multi ( Pmax=? [ F s1=5 | s2=5 ] , P>=1-0.10833260973166493 [ G (c1=0) ] ) // K=2
multi ( Pmax=? [ F s1=5 | s2=5 ] , P>=1-0.01249126244810821 [ G (c1=0) ] ) // K=20