Table 4 Comparison of EXMOTIF and RISO for different quorums and allowed substitutions. Quorum #Substitutions RISO EXMOTIF EXMOTIF(#) 5% (0, 0) 1.82s 1.42s 1.52s 30% (1, 1) 63.01s 58.91s 64.52s 60% (2, 2) 2763.31s 328.43s 2317.35s 90% (3, 3) 13682.13s 707.56s 41464.93s The template used is T MathType@MTEF@5@5@+=feaafiart1ev1aaatCvAUfKttLearuWrP9MDH5MBPbIqV92AaeXatLxBI9gBamrtHrhAL1wy0L2yHvtyaeHbnfgDOvwBHrxAJfwnaebbnrfifHhDYfgasaacH8akY=wiFfYdH8Gipec8Eeeu0xXdbba9frFj0=OqFfea0dXdd9vqai=hGuQ8kuc9pgc9s8qqaq=dirpe0xb9q8qiLsFr0=vr0=vr0dc8meaabaqaciaacaGaaeqabaWaaeGaeaaakeaaimaacqWFtepvaaa@3847@ = NNNNNN[12,22]NNNNNN. #Substitutions shows the number of errors (e1, e2) allowed for the two simple components.