MOSI_SMP_bcast-msg.sm
MOSI_SMP_bcast_1level-cache.sm
MOSI_SMP_bcast-dir.sm
standard_1level_SMP-protocol.sm