Competition Pre-Release with fixed SZS status.
The competition pre-release SZS status match does now correctly support 3 states "correct", "no success", "unsound".