{
  "math_checks": [
    {
      "name": "Fano_7",
      "v": 7,
      "b": 7,
      "k": 3,
      "r": 3,
      "lambda": 1,
      "row_min": 3,
      "row_max": 3,
      "pair_min": 1,
      "pair_max": 1,
      "pair_variance": 0.0,
      "mmT_identity_maxerr": 0,
      "predicted_z_norm_sq": 4,
      "observed_z_norm_sq_min": 4,
      "observed_z_norm_sq_max": 4,
      "z_norm_sq_mean": 4.0
    },
    {
      "name": "projective_13",
      "v": 13,
      "b": 13,
      "k": 4,
      "r": 4,
      "lambda": 1,
      "row_min": 4,
      "row_max": 4,
      "pair_min": 1,
      "pair_max": 1,
      "pair_variance": 0.0,
      "mmT_identity_maxerr": 0,
      "predicted_z_norm_sq": 6,
      "observed_z_norm_sq_min": 6,
      "observed_z_norm_sq_max": 6,
      "z_norm_sq_mean": 6.0
    }
  ],
  "scaling_sweep": [
    {
      "name": "Fano copies=1",
      "v": 7,
      "b": 7,
      "k": 3,
      "r": 3,
      "lambda": 1,
      "row_min": 3,
      "row_max": 3,
      "pair_min": 1,
      "pair_max": 1,
      "pair_variance": 0.0,
      "mmT_identity_maxerr": 0,
      "predicted_z_norm_sq": 4,
      "observed_z_norm_sq_min": 4,
      "observed_z_norm_sq_max": 4,
      "z_norm_sq_mean": 4.0,
      "predicted_r": 3,
      "predicted_lambda": 1
    },
    {
      "name": "Fano copies=2",
      "v": 7,
      "b": 14,
      "k": 3,
      "r": 6,
      "lambda": 2,
      "row_min": 6,
      "row_max": 6,
      "pair_min": 2,
      "pair_max": 2,
      "pair_variance": 0.0,
      "mmT_identity_maxerr": 0,
      "predicted_z_norm_sq": 8,
      "observed_z_norm_sq_min": 8,
      "observed_z_norm_sq_max": 8,
      "z_norm_sq_mean": 8.0,
      "predicted_r": 6,
      "predicted_lambda": 2
    },
    {
      "name": "Fano copies=4",
      "v": 7,
      "b": 28,
      "k": 3,
      "r": 12,
      "lambda": 4,
      "row_min": 12,
      "row_max": 12,
      "pair_min": 4,
      "pair_max": 4,
      "pair_variance": 0.0,
      "mmT_identity_maxerr": 0,
      "predicted_z_norm_sq": 16,
      "observed_z_norm_sq_min": 16,
      "observed_z_norm_sq_max": 16,
      "z_norm_sq_mean": 16.0,
      "predicted_r": 12,
      "predicted_lambda": 4
    },
    {
      "name": "Fano copies=8",
      "v": 7,
      "b": 56,
      "k": 3,
      "r": 24,
      "lambda": 8,
      "row_min": 24,
      "row_max": 24,
      "pair_min": 8,
      "pair_max": 8,
      "pair_variance": 0.0,
      "mmT_identity_maxerr": 0,
      "predicted_z_norm_sq": 32,
      "observed_z_norm_sq_min": 32,
      "observed_z_norm_sq_max": 32,
      "z_norm_sq_mean": 32.0,
      "predicted_r": 24,
      "predicted_lambda": 8
    }
  ],
  "benchmark": {
    "device": "cuda",
    "results": {
      "7": {
        "dense": {
          "median_ms": 2.3050119998515584,
          "attention_score_flops": 3136,
          "pair_coverage_variance": 0.0,
          "row_degree_variance": 0.0
        },
        "contiguous": {
          "median_ms": 14.091775999986567,
          "attention_score_flops": 4032,
          "pair_coverage_variance": 0.6666666666666666,
          "row_degree_variance": 0.0
        },
        "random": {
          "median_ms": 15.281822998076677,
          "attention_score_flops": 4032,
          "pair_coverage_variance": 0.9523809523809523,
          "row_degree_variance": 2.0
        },
        "design": {
          "median_ms": 15.879814003710635,
          "attention_score_flops": 4032,
          "pair_coverage_variance": 0.0,
          "row_degree_variance": 0.0
        }
      },
      "13": {
        "dense": {
          "median_ms": 0.2984370003105141,
          "attention_score_flops": 10816,
          "pair_coverage_variance": 0.0,
          "row_degree_variance": 0.0
        },
        "contiguous": {
          "median_ms": 30.29705699736951,
          "attention_score_flops": 13312,
          "pair_coverage_variance": 1.3333333333333333,
          "row_degree_variance": 0.0
        },
        "random": {
          "median_ms": 18.883881995861884,
          "attention_score_flops": 13312,
          "pair_coverage_variance": 0.7692307692307693,
          "row_degree_variance": 2.3076923076923075
        },
        "design": {
          "median_ms": 22.085951997723896,
          "attention_score_flops": 13312,
          "pair_coverage_variance": 0.0,
          "row_degree_variance": 0.0
        }
      }
    }
  }
}