Stratified Universality

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 \newcommand{\BlockFifteenValidationAssertions}{197,099}
2 \newcommand{\BlockFifteenValidationFailures}{0}
3 \newcommand{\BlockFifteenLaneAssertions}{197,099}
4 \newcommand{\BlockFifteenLaneFailures}{0}
5 \newcommand{\BlockFifteenIntegerMatrixAssertions}{28,490}
6 \newcommand{\BlockFifteenRationalRefinementAssertions}{16,674}
7 \newcommand{\BlockFifteenFoldAssertions}{1,000}
8 \newcommand{\BlockFifteenSupportAssertions}{300}
9 \newcommand{\BlockFifteenFactorialAssertions}{150,630}
10 \newcommand{\BlockFifteenNegativeControlAssertions}{5}

Back to source controls

Back to Stratified Universality