peppermint and sledtools for evaluating smp systems