// multi-objective query without async rule
multi ( Pmax=? [ F s1=5 | s2=5 ] , P>=1-0.10833260973166493 [ G (c1=0) ] , P>=1-0.10833260973166493 [ G (c2=0) ]  , P>=1-0.10833260973166493 [ G (c3=0) ] ) // K=2
multi ( Pmax=? [ F s1=5 | s2=5 ] , P>=1-0.01249126244810821 [ G (c1=0) ]  , P>=1-0.01249126244810821 [ G (c2=0) ] , P>=1-0.01249126244810821 [ G (c3=0) ] ) // K=20
// the above returns 0.5 (by assuming the coin protocols are dependent)
// using the async rule we can instead write the objective as below to obtain the correct result
multi ( Pmax=? [ F s1=5 | s2=5 ] , P>=1-0.10833260973166493*0.10833260973166493*0.10833260973166493 [ G (c1=0 | c2=0 | c3=0) ] ) // K=2
multi ( Pmax=? [ F s1=5 | s2=5 ] , P>=1-0.01249126244810821*0.01249126244810821*0.01249126244810821 [ G (c1=0 | c2=0 | c3=0) ] ) // K=20