{
  "measured_at_utc": "2026-10-20T08:17:06.831261+00:00",
  "hardware": "AMD Ryzen 9 5900X 12-Core Processor",
  "platform": "Linux-7.2.11-arch1-1-x86_64-with-glibc2.44",
  "logical_cpu_affinity": 0,
  "threads_per_library": 1,
  "symbolica": {
    "package_version": "3.0.1",
    "git_branch": "community",
    "git_revision": "3bbffc2ecb328dec4429b85165869d3d7c88cf96",
    "source_changes": false,
    "untracked_files_present": false,
    "source_checkout": "clean detached checkout of the local community branch; unrelated working-tree edits excluded"
  },
  "flint_version": "3.6.0",
  "flint3_sys_version": "3.6.1",
  "compiler": "rustc 1.99.0 (b940084d7 2026-09-28)",
  "build_command": "cargo bench --bench flint_comparison --features flint_system_benchmarks --no-run",
  "rustflags": "-C target-cpu=native -C link-arg=-fuse-ld=mold",
  "bench_profile": {
    "opt-level": 3,
    "debug": true,
    "debug-assertions": false,
    "codegen-units": 16,
    "lto": "off",
    "incremental": true
  },
  "samples_per_backend": 3,
  "warmups_per_backend": 1,
  "measurement": "median wall-clock milliseconds; alternating backend order; construction, input verification, and result destruction excluded; output allocation included",
  "polybench": {
    "revision": "f3a25498883a80462c6278a87c9dfc93630d8a06",
    "seed": 42,
    "scope": "fixed fixture selection of historical percentile anchors and outliers, not full upstream suite"
  },
  "polynomial_fixtures": {
    "source_revision": "07806e55609d999f4103a33a0ee2d2aa1ba2ae57",
    "factorizations": 36,
    "derived_gcds": 18,
    "multivariate_resultants_and_discriminants": 25,
    "segmentation_encoded_resultants": 1,
    "domains": "Fixture factorization and GCD use Q in Symbolica and Z in FLINT; GCD equality checked after monic normalization; resultants and discriminants use integer inputs."
  },
  "rational_gcd_controls": 12,
  "source_sha256": {
    "Cargo.lock": "00bad15d3f47c11909e434f068395907e3446acf5b14a8607a937e1e23b55e18",
    "Cargo.toml": "378529a82470f23f6a2671dda81f85fe3f4ffd07eb5935b85e50f5fc5a284d46",
    "benches/fixtures/polynomial/cases.rs": "e2ab9ced6ae0bf76ce975016f243171b30a20bccd15ae3a4f779dc1660304ca6",
    "benches/fixtures/polynomial/manifest.json": "d05f4eb85f305f9180e3711ede4512e795511a4e871317eed1dc76a938a17d2f",
    "benches/flint_comparison.rs": "8811d71bbf1610287bb045265dca313d1ecc0bc0d8bc3b743c84ec955c2161da",
    "benches/slow_fac_operations.rs": "57864e0828b9a0a0d0206a3d49dfc6ada80fec907cc664952dfb69115d30c47b",
    "benches/support/cases.rs": "0979b50737df8ae75d796a1a2aff47c4aaa30a58029357d79d825b716d2dd206",
    "benches/support/flint.rs": "c8bad41aec1619e5f06a906bbb0abc0e40a9153119ace1fc4aba2aff7be0e523",
    "benches/support/mod.rs": "4772eb7f4da7088944d05829316b4c379e870e504a0ba919d43c206995e9796c",
    "benches/support/paired.rs": "c4bc35f8bb2f4f792c71e1e5a11821fbea644bd5142b2653037a857b2369688a",
    "benches/support/polybench_cases.rs": "313cf257903f38307847dfbda90dc7f1b716270d7cac98bd35a0439cdb11455a",
    "benches/support/polynomial_fixtures.rs": "0f0b9aa635c6da84e1501b572c554017b37a87b01f163057b2c149a50859708a",
    "benches/support/rational_shapes.rs": "99f23465e64636b3cf264f62c377b6a96fa08d1a38c0321eab554eb58b230c75",
    "benches/support/symbolica.rs": "202828443a5a5a9e64ceb21646edfcf1d50c909ca93aaf26f47f134c83b5c346",
    "benches/symbolica_polynomial.rs": "f207693d78618b725f504450e8b5b3b4bd81a9c64aa4576e5a7b73aa117b7b88",
    "build.rs": "a98b2f963c4873f64e49b2333da43c991e5420cc2c0e515b189f9968a1b46a05",
    "lib/numerica/Cargo.toml": "d926d83fa3cfa1cd4cf82b5e7f73800113e0fafc0809831b39b789b8b94492d8"
  },
  "binary_sha256": "2f43ac8c5b86096f6930e79be6dc5b324c9f68902160036f6feec43f85c7d9f1",
  "expected_cases": 291,
  "run_command": "SYMBOLICA_FLINT_BENCH_PAIRED=1 SYMBOLICA_FLINT_BENCH_CSV=1 SYMBOLICA_FLINT_BENCH_SAMPLES=3 taskset -c 0 /home/ben/Sync/Work/symbolica/target/release/deps/flint_comparison-96971e4ce03414f4",
  "completed_at_utc": "2026-10-20T08:24:19.248703+00:00",
  "run_exit_code": 0,
  "verification": "Suite correctness assertions passed; complete unfiltered paired run",
  "csv_sha256": "8310f1e69d6ccc7b915e8445ced3d25f72716b535478c5df0bce9ba27017d67a",
  "cases": 291,
  "groups": {
    "multiplication": 100,
    "division": 33,
    "gcd": 61,
    "factorization": 53,
    "resultant": 38,
    "discriminant": 6
  }
}