packaged_replay/finite_native_algorithms.json

{
  "lemma1": {
    "N": 5000,
    "T": 3,
    "d": 8,
    "runs": 20,
    "spurious_explained_by_Gplus": 38,
    "spurious_with_evolution": 46,
    "spurious_without_selection": 8
  },
  "theorem2": {
    "N": 5000,
    "T": 3,
    "d": 10,
    "finite_sample_orientations": 160,
    "oracle_premise_sound_orientations": 58,
    "precision_oriented_only": 0.6806811609443187,
    "precision_standard": 0.7284282384282383,
    "runs": 20
  },
  "theorem4_cdnod": {
    "K": 4,
    "N_per_domain": 5000,
    "d": 8,
    "mean_correct_oriented_multi": 4.65,
    "mean_correct_oriented_single": 3.55,
    "runs": 20,
    "runs_multi_at_least_single": 16
  }
}