{
  "active_repetitions": 2,
  "artifact_sha256": "d70c02af9fc01f24537ab446bd09be8d6c10b28ef10d66506f1cdae69dea3081",
  "claim_boundary": "repeated real-CaDiCaL MPI mechanism oracle; no fuzzing coverage, defect-yield, multi-node speedup, or public-benchmark claim",
  "clauses": 860,
  "elapsed_us": 6803544,
  "library": "/tmp/f434-review/libsymcc_qfbv_cadical_realtime.so",
  "library_sha256": "fb1d08ed0c3039ddf4e5ed4ddb3d89c8ea09423b4fceb100c10fd5bc39325ba9",
  "processes": 5,
  "publishers": 2,
  "rounds": 2,
  "schema": "symcc-f434-multirank-oracle-suite-v1",
  "seed": 62516,
  "status": "pass",
  "total_delivered_imports": 24,
  "total_expected_imports": 24,
  "trials": [
    {
      "active_delivery_rate": 0.0,
      "artifact_sha256": "775e7bc1e3696ca9122e34ced9686d0211c0afe326651d99bc30ee45f5aadde6",
      "consumers": 2,
      "delivered_imports": 8,
      "epoch_median_us": 774580,
      "expected_imports": 8,
      "mode": "preloaded",
      "publish_median_us": 27095,
      "publishers": 2,
      "result_file": "trial-01-preloaded.json",
      "result_file_sha256": "7e5a2b665bc4d087d764b149bcbd22c605bdfc8355076aeb6ecc684ff1923853",
      "rounds": 2,
      "scope": "local-host-mpi-mechanism",
      "solve_median_us": 699198,
      "stderr_file": "trial-01-preloaded.stderr.txt",
      "stderr_file_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "stdout_file": "trial-01-preloaded.stdout.txt",
      "stdout_file_sha256": "7e5a2b665bc4d087d764b149bcbd22c605bdfc8355076aeb6ecc684ff1923853",
      "world_size": 5
    },
    {
      "active_delivery_rate": 1.0,
      "artifact_sha256": "7ad3279c2866253e085b29b7bf5abd4196a08850ad1f7549cc514e02b2e2d9b1",
      "consumers": 2,
      "delivered_imports": 8,
      "epoch_median_us": 698241,
      "expected_imports": 8,
      "mode": "active",
      "publish_median_us": 27100,
      "publishers": 2,
      "result_file": "trial-02-active.json",
      "result_file_sha256": "0d6038c580a7070ba5f9b9c93ca453e3f2f90c0436ec9b62c05dd9e241d22910",
      "rounds": 2,
      "scope": "local-host-mpi-mechanism",
      "solve_median_us": 692084,
      "stderr_file": "trial-02-active.stderr.txt",
      "stderr_file_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "stdout_file": "trial-02-active.stdout.txt",
      "stdout_file_sha256": "0d6038c580a7070ba5f9b9c93ca453e3f2f90c0436ec9b62c05dd9e241d22910",
      "world_size": 5
    },
    {
      "active_delivery_rate": 1.0,
      "artifact_sha256": "fbc12f40b7fe01056aa14e045576385be63d90f51a8ced6660c56ea45bf9da74",
      "consumers": 2,
      "delivered_imports": 8,
      "epoch_median_us": 698626,
      "expected_imports": 8,
      "mode": "active",
      "publish_median_us": 27319,
      "publishers": 2,
      "result_file": "trial-03-active.json",
      "result_file_sha256": "00842bf644ec668ebf65dcc957ae0401d18507efbc39153d94ce16c92060c7c8",
      "rounds": 2,
      "scope": "local-host-mpi-mechanism",
      "solve_median_us": 694693,
      "stderr_file": "trial-03-active.stderr.txt",
      "stderr_file_sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "stdout_file": "trial-03-active.stdout.txt",
      "stdout_file_sha256": "00842bf644ec668ebf65dcc957ae0401d18507efbc39153d94ce16c92060c7c8",
      "world_size": 5
    }
  ],
  "variables": 200
}