Comparison of EXMOTIF and RISO for different quorums and allowed substitutions.