Table 5: 
S2match improves upon Smatch by reducing the extent of its non-determinacy.
determinacy error
avg. msv (Eq. 5)1 restart2 restarts4 restarts
Smatch 0.0011 1.3 e−3 1.0e−3 5.3e−4 
S2match 0.0005 9.0e−4 6.1e−4 2.1e−4 
 
relative change − 54.6% − 30.7% − 39.0% − 60.3% 
determinacy error
avg. msv (Eq. 5)1 restart2 restarts4 restarts
Smatch 0.0011 1.3 e−3 1.0e−3 5.3e−4 
S2match 0.0005 9.0e−4 6.1e−4 2.1e−4 
 
relative change − 54.6% − 30.7% − 39.0% − 60.3% 
View Large
Close Modal
This Feature Is Available To Subscribers Only

or Create an Account

Close Modal
Close Modal
This site uses cookies. By continuing to use our website, you are agreeing to our privacy policy. No content on this site may be used to train artificial intelligence systems without permission in writing from the MIT Press.
Accept