// multi-objective query multi ( Pmax=? [ F s1=5 | s2=5 | s3=5 ] , P>=1-0.22908869186890432 [ G (c1=0) ] ) // K=2 multi ( Pmax=? [ F s1=5 | s2=5 | s3=5 ] , P>=1-0.04164301267240658 [ G (c1=0) ] ) // K=12 multi ( Pmax=? [ F s1=5 | s2=5 | s3=5 ] , P>=1-0.024959924028741844 [ G (c1=0) ] ) // K=20