Stabilizer: Rigorous Performance Evaluation