SMT Rules

The mathematical expectations for each test (both individual and team) can be found in the document below. It outlines the content that each test might include, and can serve as a useful guide for those debating which test to take.

The specific test rules, parameters (i.e. duration), and scoring can be found in the document below. It further outlines total scoring for the tournament, as well as awards and protests.

By participating in the tournament, one agrees to maintain and uphold academic honesty, and abide by the Code of Conduct and The Stanford Honor Code. These can be reviewed below.

Only answers in the specified format will be labelled as correct, most notably on tests that are not proof-based. Please take time to review the answer formatting rules, as well as common mathematical notation used in the tests in the documents below.