Projective plane proofs

This page contains an archive of the DRAT proofs generated in our ongoing verification of the nonexistence of a projective plane of order ten.

There are three cases in the verification:

  1. The nonexistence of codewords of weight 15
    [DRAT certificate (with symmetry breaking), 34.5 MiB]
    [DRAT certificate (no symmetry breaking), 438.6 MiB]
  2. The nonexistence of codewords of weight 16 [ongoing]
  3. The nonexistence of primitive codewords of weight 19 [ongoing]