4) redundancy, validation, and credit
		purposes: correct results, correct credit
		no redundancy
			(still can validate)
			may bound credit
		redundancy
			exact match
				exact computation
					sixtrack example: compiler,
						compiler options (disable DP hardware),
						numerical libraries
				homogeneous redundancy
				exact checkpointing
			fuzzy matching