claim5_results.json

{
  "accuracy": 0.9746,
  "t_train_s": 34.5,
  "t_basis_s": 3697.5,
  "t_pred_s": 0.1,
  "t_total_s": 3847.2,
  "n_patterns": 59984,
  "r_built": 10000,
  "n_main_prefix": 674,
  "rows": [
    {
      "r_low": 674,
      "t_solve_s": 1.0,
      "R2": 0.5348,
      "MSE": 0.04261060253669838,
      "rel_MSE": 0.4152358408811267
    },
    {
      "r_low": 2500,
      "t_solve_s": 5.6,
      "R2": 0.7627,
      "MSE": 0.02173424653448029,
      "rel_MSE": 0.2117979469520525
    },
    {
      "r_low": 5000,
      "t_solve_s": 24.0,
      "R2": 0.8227,
      "MSE": 0.01624394332406004,
      "rel_MSE": 0.15829551951494342
    },
    {
      "r_low": 10000,
      "t_solve_s": 75.6,
      "R2": 0.8566,
      "MSE": 0.013133080319751177,
      "rel_MSE": 0.1279804866695931
    }
  ],
  "device": "cuda",
  "paper_rows": [
    {
      "r_low": 674,
      "R2": 0.54
    },
    {
      "r_low": 2500,
      "R2": 0.77
    },
    {
      "r_low": 5000,
      "R2": 0.83
    },
    {
      "r_low": 10000,
      "R2": 0.86
    }
  ]
}