{
  "schema_version": 1,
  "manifest": {
    "schema": 1,
    "date": "2026-09-09",
    "fixed_before_measurement": true,
    "case_count": 12,
    "seeds": [
      7,
      19,
      43
    ],
    "seconds": 20,
    "workers": 4,
    "cpu_affinity": [
      0,
      2,
      4,
      6
    ],
    "methods": [
      "cp_sat",
      "refined_custom"
    ],
    "profile": "custom",
    "objective_aggregation": "Separate makespan and weighted-tardiness groups; paired percentages only.",
    "timing": "20-second end-to-end solve budget including model building/seeding. Dataset compilation and imports happen before the clock. Native solving is terminated at the deadline; the latest complete checkpoint is retained. Result decoding, validation and file output are outside the solve deadline and reported separately.",
    "selection": "Six original OR-Library cases and six predeclared production cases. Three solver RNG seeds per fixed dataset. Alternating method order. All failures retained; no per-method tuning or excluding slow cases.",
    "hardware": {
      "model": "AMD Ryzen 7 5700X3D 8-Core Processor",
      "logical_cpus": 12,
      "total_memory_bytes": 42059018240,
      "os_release": "6.18.33.2-microsoft-standard-WSL2"
    },
    "source_commit": "3d8efbcd1e5e991f0a06351c344e022265c4b780",
    "or_library_sha256": "7f36d103332f94cfdeb76358e40927a57cfa7a426ebeaabd4de666350c69f028",
    "native_sha256": "40ee8c769e26f5fc17b2a25b844868041b9b4ac2850ad7afe3198c769695860f",
    "worker_sha256": "6c98165a48f869ccb80e7c0a2374a47e926e20b997b62a9de1b69bd199f74c27",
    "cases": [
      {
        "id": "ft06",
        "group": "or-library",
        "source": "https://people.brunel.ac.uk/~mastjjb/jeb/orlib/files/jobshop1.txt",
        "objective": "makespan",
        "jobs": 6,
        "machines": 6,
        "operations": 36,
        "sha256": "46923ade6f4ba1ea2eef3c13dc592217d3bcdb9c2949d08fa9bcbff848dd7a14",
        "unit": "units",
        "refined_valid": 3,
        "cp_valid": 3,
        "refined_median": 55,
        "cp_median": 55,
        "refined_time": 0.5245626130000001,
        "cp_time": 0.511834244,
        "paired_delta_median": 0,
        "outcomes": [
          "equal",
          "equal",
          "equal"
        ]
      },
      {
        "id": "ft10",
        "group": "or-library",
        "source": "https://people.brunel.ac.uk/~mastjjb/jeb/orlib/files/jobshop1.txt",
        "objective": "makespan",
        "jobs": 10,
        "machines": 10,
        "operations": 100,
        "sha256": "b98ec28d837c960a407a47d94041649a4529678bc6210939b1935b6dec16ffe8",
        "unit": "units",
        "refined_valid": 3,
        "cp_valid": 3,
        "refined_median": 930,
        "cp_median": 930,
        "refined_time": 2.6769564339999996,
        "cp_time": 3.291682112,
        "paired_delta_median": 0,
        "outcomes": [
          "equal",
          "equal",
          "equal"
        ]
      },
      {
        "id": "ft20",
        "group": "or-library",
        "source": "https://people.brunel.ac.uk/~mastjjb/jeb/orlib/files/jobshop1.txt",
        "objective": "makespan",
        "jobs": 20,
        "machines": 5,
        "operations": 100,
        "sha256": "ae9ee9e2b8de76887a83167acebc168ae525910a2c4a36ad0f732c7fa698855b",
        "unit": "units",
        "refined_valid": 3,
        "cp_valid": 3,
        "refined_median": 1165,
        "cp_median": 1165,
        "refined_time": 2.6290138659999998,
        "cp_time": 1.242621177,
        "paired_delta_median": 0,
        "outcomes": [
          "equal",
          "equal",
          "equal"
        ]
      },
      {
        "id": "la15",
        "group": "or-library",
        "source": "https://people.brunel.ac.uk/~mastjjb/jeb/orlib/files/jobshop1.txt",
        "objective": "makespan",
        "jobs": 20,
        "machines": 5,
        "operations": 100,
        "sha256": "86b38f9fd8e1f1b644abedfd3f3a0d19a73372b2baeb63115a4df64b9e119848",
        "unit": "units",
        "refined_valid": 3,
        "cp_valid": 3,
        "refined_median": 1207,
        "cp_median": 1207,
        "refined_time": 1.3212437479999999,
        "cp_time": 0.6159830359999999,
        "paired_delta_median": 0,
        "outcomes": [
          "equal",
          "equal",
          "equal"
        ]
      },
      {
        "id": "la25",
        "group": "or-library",
        "source": "https://people.brunel.ac.uk/~mastjjb/jeb/orlib/files/jobshop1.txt",
        "objective": "makespan",
        "jobs": 15,
        "machines": 10,
        "operations": 150,
        "sha256": "ef151b8a0934ffcc6cdf57489c2f8de5f35045c2834445c05b58f6ad6d57d1bd",
        "unit": "units",
        "refined_valid": 3,
        "cp_valid": 3,
        "refined_median": 977,
        "cp_median": 977,
        "refined_time": 15.178775719999999,
        "cp_time": 15.534687554,
        "paired_delta_median": 0,
        "outcomes": [
          "equal",
          "equal",
          "equal"
        ]
      },
      {
        "id": "la35",
        "group": "or-library",
        "source": "https://people.brunel.ac.uk/~mastjjb/jeb/orlib/files/jobshop1.txt",
        "objective": "makespan",
        "jobs": 30,
        "machines": 10,
        "operations": 300,
        "sha256": "3a2261ab3b44b9e38c64a545290dba3a6838c3220780968d9d5344778c49ce89",
        "unit": "units",
        "refined_valid": 3,
        "cp_valid": 3,
        "refined_median": 1888,
        "cp_median": 1888,
        "refined_time": 6.019493572,
        "cp_time": 0.741448717,
        "paired_delta_median": 0,
        "outcomes": [
          "equal",
          "equal",
          "equal"
        ]
      },
      {
        "id": "factory-small",
        "group": "factory",
        "source": "RoboPol Random Factory",
        "parameters": {
          "preset": "small",
          "seed": 20260909
        },
        "objective": "makespan",
        "jobs": 11,
        "machines": 5,
        "operations": 36,
        "sha256": "c2eecfdde133aa0fe390899db91bc09884c41367653fb1a10743c7866d3e3176",
        "unit": "min",
        "refined_valid": 3,
        "cp_valid": 3,
        "refined_median": 56,
        "cp_median": 56,
        "refined_time": 0.5462878539999999,
        "cp_time": 0.531124611,
        "paired_delta_median": 0,
        "outcomes": [
          "equal",
          "equal",
          "equal"
        ]
      },
      {
        "id": "factory-industrial",
        "group": "factory",
        "source": "RoboPol Random Factory",
        "parameters": {
          "preset": "industrial",
          "seed": 20260909
        },
        "objective": "makespan",
        "jobs": 548,
        "machines": 32,
        "operations": 6576,
        "sha256": "d800628a47baaffc39e0069f94852e605454ecbfa007810dbfc4b4a733559a63",
        "unit": "min",
        "refined_valid": 3,
        "cp_valid": 3,
        "refined_median": 2608,
        "cp_median": 2607,
        "refined_time": 20.050114690999997,
        "cp_time": 20.094127085999997,
        "paired_delta_median": 0.038358266206367474,
        "outcomes": [
          "cp_better",
          "cp_better",
          "cp_better"
        ]
      },
      {
        "id": "factory-large",
        "group": "factory",
        "source": "RoboPol Random Factory",
        "parameters": {
          "preset": "industrial",
          "seed": 20260909,
          "machineCount": 96,
          "productCount": 96,
          "planLineCount": 96,
          "routeMin": 12,
          "routeMax": 18,
          "quantityMin": 120,
          "quantityMax": 120,
          "batchSizeMin": 12,
          "batchSizeMax": 12,
          "downtimeCount": 96
        },
        "objective": "makespan",
        "jobs": 960,
        "machines": 96,
        "operations": 14160,
        "sha256": "271adf364ee506c7871a6bf2bc3fd8119854f1791555079cb835068d8c32a5d5",
        "unit": "min",
        "refined_valid": 3,
        "cp_valid": 3,
        "refined_median": 1762,
        "cp_median": 1762,
        "refined_time": 20.021290755,
        "cp_time": 9.510125997000001,
        "paired_delta_median": 0,
        "outcomes": [
          "equal",
          "equal",
          "equal"
        ]
      },
      {
        "id": "factory-huge",
        "group": "factory",
        "source": "RoboPol Random Factory",
        "parameters": {
          "preset": "huge",
          "seed": 20260909,
          "machineCount": 128,
          "productCount": 96,
          "planLineCount": 192,
          "routeMin": 24,
          "routeMax": 24,
          "quantityMin": 160,
          "quantityMax": 160,
          "batchSizeMin": 16,
          "batchSizeMax": 16,
          "downtimeCount": 96
        },
        "objective": "makespan",
        "jobs": 1920,
        "machines": 128,
        "operations": 46080,
        "sha256": "c1b37afe1e41cb5bfd382964e899d2b68f8501fb0b953c8d924e83cb5c9e0578",
        "unit": "min",
        "refined_valid": 3,
        "cp_valid": 0,
        "refined_median": 4015,
        "cp_median": null,
        "refined_time": 20.251234558,
        "cp_time": 20.289357644,
        "paired_delta_median": null,
        "outcomes": [
          "refined_only",
          "refined_only",
          "refined_only"
        ]
      },
      {
        "id": "calendar-makespan",
        "group": "calendar",
        "source": "RoboPol Random Factory with fixed shifts and priorities",
        "parameters": {
          "preset": "industrial",
          "seed": 20260909
        },
        "objective": "makespan",
        "jobs": 548,
        "machines": 32,
        "operations": 6576,
        "sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
        "unit": "s",
        "refined_valid": 3,
        "cp_valid": 3,
        "refined_median": 629340,
        "cp_median": 631080,
        "refined_time": 20.018193098,
        "cp_time": 16.794224584,
        "paired_delta_median": -0.27571781707548965,
        "outcomes": [
          "refined_better",
          "refined_better",
          "refined_better"
        ]
      },
      {
        "id": "calendar-weighted_tardiness",
        "group": "calendar",
        "source": "RoboPol Random Factory with fixed shifts and priorities",
        "parameters": {
          "preset": "industrial",
          "seed": 20260909
        },
        "objective": "weighted_tardiness",
        "jobs": 548,
        "machines": 32,
        "operations": 6576,
        "sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
        "unit": "s",
        "refined_valid": 3,
        "cp_valid": 3,
        "refined_median": 215138580,
        "cp_median": 218589840,
        "refined_time": 20.010908783999998,
        "cp_time": 18.01080357,
        "paired_delta_median": -1.5788748461502145,
        "outcomes": [
          "refined_better",
          "refined_better",
          "refined_better"
        ]
      }
    ],
    "scenario_count": 12,
    "distinct_input_hashes": 11,
    "timer_note": "20 s is the requested deadline; process shutdown and delivery can overshoot slightly. Actual elapsed times are included for every run. No speedup claim is made.",
    "solver_source": "The online Linux runtime from the same shared desktop/online source; no protected PC entitlement is used in this offline computational benchmark. Product edition size limits still apply to users."
  },
  "statistics": {
    "makespan": {
      "pairs": 33,
      "comparable_pairs": 30,
      "refined_better": 3,
      "equal": 24,
      "cp_better": 3,
      "refined_only": 3,
      "cp_only": 0,
      "neither": 0,
      "mean_delta_percent": -0.02310212102466971,
      "median_delta_percent": 0,
      "min_delta_percent": -0.2852253280091272,
      "max_delta_percent": 0.038358266206367474
    },
    "weighted_tardiness": {
      "pairs": 3,
      "comparable_pairs": 3,
      "refined_better": 3,
      "equal": 0,
      "cp_better": 0,
      "refined_only": 0,
      "cp_only": 0,
      "neither": 0,
      "mean_delta_percent": -1.5341975638025993,
      "median_delta_percent": -1.5788748461502145,
      "min_delta_percent": -1.6397285436505191,
      "max_delta_percent": -1.3839893016070646
    },
    "refined_valid": 36,
    "cp_valid": 33,
    "refined_proven": 23,
    "cp_proven": 24,
    "max_observed_solve_seconds": 20.295474673999998
  },
  "pairs": [
    {
      "case": "ft06",
      "seed": 7,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "ft06",
      "seed": 19,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "ft06",
      "seed": 43,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "ft10",
      "seed": 7,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "ft10",
      "seed": 19,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "ft10",
      "seed": 43,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "ft20",
      "seed": 7,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "ft20",
      "seed": 19,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "ft20",
      "seed": 43,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "la15",
      "seed": 7,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "la15",
      "seed": 19,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "la15",
      "seed": 43,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "la25",
      "seed": 7,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "la25",
      "seed": 19,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "la25",
      "seed": 43,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "la35",
      "seed": 7,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "la35",
      "seed": 19,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "la35",
      "seed": 43,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "factory-small",
      "seed": 7,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "factory-small",
      "seed": 19,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "factory-small",
      "seed": 43,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "factory-industrial",
      "seed": 7,
      "objective_kind": "makespan",
      "outcome": "cp_better",
      "delta_percent": 0.038358266206367474
    },
    {
      "case": "factory-industrial",
      "seed": 19,
      "objective_kind": "makespan",
      "outcome": "cp_better",
      "delta_percent": 0.038358266206367474
    },
    {
      "case": "factory-industrial",
      "seed": 43,
      "objective_kind": "makespan",
      "outcome": "cp_better",
      "delta_percent": 0.038358266206367474
    },
    {
      "case": "factory-large",
      "seed": 7,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "factory-large",
      "seed": 19,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "factory-large",
      "seed": 43,
      "objective_kind": "makespan",
      "outcome": "equal",
      "delta_percent": 0
    },
    {
      "case": "factory-huge",
      "seed": 7,
      "objective_kind": "makespan",
      "outcome": "refined_only",
      "delta_percent": null
    },
    {
      "case": "factory-huge",
      "seed": 19,
      "objective_kind": "makespan",
      "outcome": "refined_only",
      "delta_percent": null
    },
    {
      "case": "factory-huge",
      "seed": 43,
      "objective_kind": "makespan",
      "outcome": "refined_only",
      "delta_percent": null
    },
    {
      "case": "calendar-makespan",
      "seed": 7,
      "objective_kind": "makespan",
      "outcome": "refined_better",
      "delta_percent": -0.2852253280091272
    },
    {
      "case": "calendar-makespan",
      "seed": 19,
      "objective_kind": "makespan",
      "outcome": "refined_better",
      "delta_percent": -0.27571781707548965
    },
    {
      "case": "calendar-makespan",
      "seed": 43,
      "objective_kind": "makespan",
      "outcome": "refined_better",
      "delta_percent": -0.2471952842745769
    },
    {
      "case": "calendar-weighted_tardiness",
      "seed": 7,
      "objective_kind": "weighted_tardiness",
      "outcome": "refined_better",
      "delta_percent": -1.6397285436505191
    },
    {
      "case": "calendar-weighted_tardiness",
      "seed": 19,
      "objective_kind": "weighted_tardiness",
      "outcome": "refined_better",
      "delta_percent": -1.3839893016070646
    },
    {
      "case": "calendar-weighted_tardiness",
      "seed": 43,
      "objective_kind": "weighted_tardiness",
      "outcome": "refined_better",
      "delta_percent": -1.5788748461502145
    }
  ],
  "rows": [
    {
      "case": "ft06",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 7,
      "jobs": 6,
      "machines": 6,
      "operations": 36,
      "input_sha256": "46923ade6f4ba1ea2eef3c13dc592217d3bcdb9c2949d08fa9bcbff848dd7a14",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.004738608999999997,
      "solve_elapsed_seconds": 0.5315210029999999,
      "makespan": 55,
      "objective": 55,
      "bound": 55,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.543569025
    },
    {
      "case": "ft06",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 7,
      "jobs": 6,
      "machines": 6,
      "operations": 36,
      "input_sha256": "46923ade6f4ba1ea2eef3c13dc592217d3bcdb9c2949d08fa9bcbff848dd7a14",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 0.522318525,
      "makespan": 55,
      "objective": 55,
      "bound": 55,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.5307506200000001
    },
    {
      "case": "ft06",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 19,
      "jobs": 6,
      "machines": 6,
      "operations": 36,
      "input_sha256": "46923ade6f4ba1ea2eef3c13dc592217d3bcdb9c2949d08fa9bcbff848dd7a14",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 0.532621461,
      "makespan": 55,
      "objective": 55,
      "bound": 55,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.5430698660000001
    },
    {
      "case": "ft06",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 19,
      "jobs": 6,
      "machines": 6,
      "operations": 36,
      "input_sha256": "46923ade6f4ba1ea2eef3c13dc592217d3bcdb9c2949d08fa9bcbff848dd7a14",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.004932833999999986,
      "solve_elapsed_seconds": 0.511834244,
      "makespan": 55,
      "objective": 55,
      "bound": 55,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.524520701
    },
    {
      "case": "ft06",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 43,
      "jobs": 6,
      "machines": 6,
      "operations": 36,
      "input_sha256": "46923ade6f4ba1ea2eef3c13dc592217d3bcdb9c2949d08fa9bcbff848dd7a14",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.004822903999999994,
      "solve_elapsed_seconds": 0.507251471,
      "makespan": 55,
      "objective": 55,
      "bound": 55,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.520175018
    },
    {
      "case": "ft06",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 43,
      "jobs": 6,
      "machines": 6,
      "operations": 36,
      "input_sha256": "46923ade6f4ba1ea2eef3c13dc592217d3bcdb9c2949d08fa9bcbff848dd7a14",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 0.5245626130000001,
      "makespan": 55,
      "objective": 55,
      "bound": 55,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.53319538
    },
    {
      "case": "ft10",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 7,
      "jobs": 10,
      "machines": 10,
      "operations": 100,
      "input_sha256": "b98ec28d837c960a407a47d94041649a4529678bc6210939b1935b6dec16ffe8",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 3.192282781,
      "makespan": 930,
      "objective": 930,
      "bound": 930,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 3.20093601
    },
    {
      "case": "ft10",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 7,
      "jobs": 10,
      "machines": 10,
      "operations": 100,
      "input_sha256": "b98ec28d837c960a407a47d94041649a4529678bc6210939b1935b6dec16ffe8",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.008774163000000015,
      "solve_elapsed_seconds": 4.026155114,
      "makespan": 930,
      "objective": 930,
      "bound": 930,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 4.039618891999999
    },
    {
      "case": "ft10",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 19,
      "jobs": 10,
      "machines": 10,
      "operations": 100,
      "input_sha256": "b98ec28d837c960a407a47d94041649a4529678bc6210939b1935b6dec16ffe8",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.007986667000000012,
      "solve_elapsed_seconds": 3.244049305,
      "makespan": 930,
      "objective": 930,
      "bound": 930,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 3.25732365
    },
    {
      "case": "ft10",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 19,
      "jobs": 10,
      "machines": 10,
      "operations": 100,
      "input_sha256": "b98ec28d837c960a407a47d94041649a4529678bc6210939b1935b6dec16ffe8",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 2.4158709240000005,
      "makespan": 930,
      "objective": 930,
      "bound": 930,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 2.424739293
    },
    {
      "case": "ft10",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 43,
      "jobs": 10,
      "machines": 10,
      "operations": 100,
      "input_sha256": "b98ec28d837c960a407a47d94041649a4529678bc6210939b1935b6dec16ffe8",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 2.6769564339999996,
      "makespan": 930,
      "objective": 930,
      "bound": 930,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 2.685325609
    },
    {
      "case": "ft10",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 43,
      "jobs": 10,
      "machines": 10,
      "operations": 100,
      "input_sha256": "b98ec28d837c960a407a47d94041649a4529678bc6210939b1935b6dec16ffe8",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.00882695000000001,
      "solve_elapsed_seconds": 3.291682112,
      "makespan": 930,
      "objective": 930,
      "bound": 930,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 3.305674216
    },
    {
      "case": "ft20",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 7,
      "jobs": 20,
      "machines": 5,
      "operations": 100,
      "input_sha256": "ae9ee9e2b8de76887a83167acebc168ae525910a2c4a36ad0f732c7fa698855b",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.008361806000000001,
      "solve_elapsed_seconds": 1.242621177,
      "makespan": 1165,
      "objective": 1165,
      "bound": 1165,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 1.2557743270000001
    },
    {
      "case": "ft20",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 7,
      "jobs": 20,
      "machines": 5,
      "operations": 100,
      "input_sha256": "ae9ee9e2b8de76887a83167acebc168ae525910a2c4a36ad0f732c7fa698855b",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 2.486568585,
      "makespan": 1165,
      "objective": 1165,
      "bound": 1165,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 2.494953301
    },
    {
      "case": "ft20",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 19,
      "jobs": 20,
      "machines": 5,
      "operations": 100,
      "input_sha256": "ae9ee9e2b8de76887a83167acebc168ae525910a2c4a36ad0f732c7fa698855b",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 2.899524126,
      "makespan": 1165,
      "objective": 1165,
      "bound": 1165,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 2.9107729
    },
    {
      "case": "ft20",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 19,
      "jobs": 20,
      "machines": 5,
      "operations": 100,
      "input_sha256": "ae9ee9e2b8de76887a83167acebc168ae525910a2c4a36ad0f732c7fa698855b",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.008260817000000004,
      "solve_elapsed_seconds": 1.229886323,
      "makespan": 1165,
      "objective": 1165,
      "bound": 1165,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 1.243232831
    },
    {
      "case": "ft20",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 43,
      "jobs": 20,
      "machines": 5,
      "operations": 100,
      "input_sha256": "ae9ee9e2b8de76887a83167acebc168ae525910a2c4a36ad0f732c7fa698855b",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.008391261999999983,
      "solve_elapsed_seconds": 1.37523735,
      "makespan": 1165,
      "objective": 1165,
      "bound": 1165,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 1.388516243
    },
    {
      "case": "ft20",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 43,
      "jobs": 20,
      "machines": 5,
      "operations": 100,
      "input_sha256": "ae9ee9e2b8de76887a83167acebc168ae525910a2c4a36ad0f732c7fa698855b",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 2.6290138659999998,
      "makespan": 1165,
      "objective": 1165,
      "bound": 1165,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 2.637814959
    },
    {
      "case": "la15",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 7,
      "jobs": 20,
      "machines": 5,
      "operations": 100,
      "input_sha256": "86b38f9fd8e1f1b644abedfd3f3a0d19a73372b2baeb63115a4df64b9e119848",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 1.236082809,
      "makespan": 1207,
      "objective": 1207,
      "bound": 1207,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_lower_bound",
      "total_elapsed_seconds": 1.2444070249999999
    },
    {
      "case": "la15",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 7,
      "jobs": 20,
      "machines": 5,
      "operations": 100,
      "input_sha256": "86b38f9fd8e1f1b644abedfd3f3a0d19a73372b2baeb63115a4df64b9e119848",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.008916571000000005,
      "solve_elapsed_seconds": 0.592836221,
      "makespan": 1207,
      "objective": 1207,
      "bound": 1207,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.6066859430000001
    },
    {
      "case": "la15",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 19,
      "jobs": 20,
      "machines": 5,
      "operations": 100,
      "input_sha256": "86b38f9fd8e1f1b644abedfd3f3a0d19a73372b2baeb63115a4df64b9e119848",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.008532616999999987,
      "solve_elapsed_seconds": 0.6159830359999999,
      "makespan": 1207,
      "objective": 1207,
      "bound": 1207,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.6298892349999999
    },
    {
      "case": "la15",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 19,
      "jobs": 20,
      "machines": 5,
      "operations": 100,
      "input_sha256": "86b38f9fd8e1f1b644abedfd3f3a0d19a73372b2baeb63115a4df64b9e119848",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 1.3212437479999999,
      "makespan": 1207,
      "objective": 1207,
      "bound": 1207,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_lower_bound",
      "total_elapsed_seconds": 1.329577627
    },
    {
      "case": "la15",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 43,
      "jobs": 20,
      "machines": 5,
      "operations": 100,
      "input_sha256": "86b38f9fd8e1f1b644abedfd3f3a0d19a73372b2baeb63115a4df64b9e119848",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 1.532019129,
      "makespan": 1207,
      "objective": 1207,
      "bound": 1207,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_lower_bound",
      "total_elapsed_seconds": 1.541025362
    },
    {
      "case": "la15",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 43,
      "jobs": 20,
      "machines": 5,
      "operations": 100,
      "input_sha256": "86b38f9fd8e1f1b644abedfd3f3a0d19a73372b2baeb63115a4df64b9e119848",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.008375634999999989,
      "solve_elapsed_seconds": 0.620569814,
      "makespan": 1207,
      "objective": 1207,
      "bound": 1207,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.635930134
    },
    {
      "case": "la25",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 7,
      "jobs": 15,
      "machines": 10,
      "operations": 150,
      "input_sha256": "ef151b8a0934ffcc6cdf57489c2f8de5f35045c2834445c05b58f6ad6d57d1bd",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.011596690000000024,
      "solve_elapsed_seconds": 15.534687554,
      "makespan": 977,
      "objective": 977,
      "bound": 977,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 15.548533169
    },
    {
      "case": "la25",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 7,
      "jobs": 15,
      "machines": 10,
      "operations": 150,
      "input_sha256": "ef151b8a0934ffcc6cdf57489c2f8de5f35045c2834445c05b58f6ad6d57d1bd",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 15.178775719999999,
      "makespan": 977,
      "objective": 977,
      "bound": 977,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 15.187842756
    },
    {
      "case": "la25",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 19,
      "jobs": 15,
      "machines": 10,
      "operations": 150,
      "input_sha256": "ef151b8a0934ffcc6cdf57489c2f8de5f35045c2834445c05b58f6ad6d57d1bd",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 13.786350572,
      "makespan": 977,
      "objective": 977,
      "bound": 977,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 13.795400498
    },
    {
      "case": "la25",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 19,
      "jobs": 15,
      "machines": 10,
      "operations": 150,
      "input_sha256": "ef151b8a0934ffcc6cdf57489c2f8de5f35045c2834445c05b58f6ad6d57d1bd",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.011166494,
      "solve_elapsed_seconds": 14.018609650999998,
      "makespan": 977,
      "objective": 977,
      "bound": 977,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 14.032889627
    },
    {
      "case": "la25",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 43,
      "jobs": 15,
      "machines": 10,
      "operations": 150,
      "input_sha256": "ef151b8a0934ffcc6cdf57489c2f8de5f35045c2834445c05b58f6ad6d57d1bd",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.011494655999999992,
      "solve_elapsed_seconds": 17.682611285,
      "makespan": 977,
      "objective": 977,
      "bound": 977,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 17.696641477999997
    },
    {
      "case": "la25",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 43,
      "jobs": 15,
      "machines": 10,
      "operations": 150,
      "input_sha256": "ef151b8a0934ffcc6cdf57489c2f8de5f35045c2834445c05b58f6ad6d57d1bd",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.009546191000002,
      "makespan": 977,
      "objective": 977,
      "bound": 889,
      "gap_percent": 9.007164790174002,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.022591621
    },
    {
      "case": "la35",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 7,
      "jobs": 30,
      "machines": 10,
      "operations": 300,
      "input_sha256": "3a2261ab3b44b9e38c64a545290dba3a6838c3220780968d9d5344778c49ce89",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 6.320161508999999,
      "makespan": 1888,
      "objective": 1888,
      "bound": 1888,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_lower_bound",
      "total_elapsed_seconds": 6.329904879
    },
    {
      "case": "la35",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 7,
      "jobs": 30,
      "machines": 10,
      "operations": 300,
      "input_sha256": "3a2261ab3b44b9e38c64a545290dba3a6838c3220780968d9d5344778c49ce89",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.018100866999999993,
      "solve_elapsed_seconds": 0.741448717,
      "makespan": 1888,
      "objective": 1888,
      "bound": 1888,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.758563086
    },
    {
      "case": "la35",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 19,
      "jobs": 30,
      "machines": 10,
      "operations": 300,
      "input_sha256": "3a2261ab3b44b9e38c64a545290dba3a6838c3220780968d9d5344778c49ce89",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.016739183999999994,
      "solve_elapsed_seconds": 0.73566679,
      "makespan": 1888,
      "objective": 1888,
      "bound": 1888,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.7533385530000001
    },
    {
      "case": "la35",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 19,
      "jobs": 30,
      "machines": 10,
      "operations": 300,
      "input_sha256": "3a2261ab3b44b9e38c64a545290dba3a6838c3220780968d9d5344778c49ce89",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 5.959804632,
      "makespan": 1888,
      "objective": 1888,
      "bound": 1888,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_lower_bound",
      "total_elapsed_seconds": 5.970491639
    },
    {
      "case": "la35",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 43,
      "jobs": 30,
      "machines": 10,
      "operations": 300,
      "input_sha256": "3a2261ab3b44b9e38c64a545290dba3a6838c3220780968d9d5344778c49ce89",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 6.019493572,
      "makespan": 1888,
      "objective": 1888,
      "bound": 1888,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_lower_bound",
      "total_elapsed_seconds": 6.029713417
    },
    {
      "case": "la35",
      "group": "or-library",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 43,
      "jobs": 30,
      "machines": 10,
      "operations": 300,
      "input_sha256": "3a2261ab3b44b9e38c64a545290dba3a6838c3220780968d9d5344778c49ce89",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.015880188000000003,
      "solve_elapsed_seconds": 0.769942262,
      "makespan": 1888,
      "objective": 1888,
      "bound": 1888,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.7868024829999999
    },
    {
      "case": "factory-small",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 7,
      "jobs": 11,
      "machines": 5,
      "operations": 36,
      "input_sha256": "c2eecfdde133aa0fe390899db91bc09884c41367653fb1a10743c7866d3e3176",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.005214095000000015,
      "solve_elapsed_seconds": 0.5303552129999999,
      "makespan": 56,
      "objective": 56,
      "bound": 56,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.5426627119999999
    },
    {
      "case": "factory-small",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 7,
      "jobs": 11,
      "machines": 5,
      "operations": 36,
      "input_sha256": "c2eecfdde133aa0fe390899db91bc09884c41367653fb1a10743c7866d3e3176",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 0.545438539,
      "makespan": 56,
      "objective": 56,
      "bound": 56,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.554197715
    },
    {
      "case": "factory-small",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 19,
      "jobs": 11,
      "machines": 5,
      "operations": 36,
      "input_sha256": "c2eecfdde133aa0fe390899db91bc09884c41367653fb1a10743c7866d3e3176",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 0.557119152,
      "makespan": 56,
      "objective": 56,
      "bound": 56,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.5651478369999999
    },
    {
      "case": "factory-small",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 19,
      "jobs": 11,
      "machines": 5,
      "operations": 36,
      "input_sha256": "c2eecfdde133aa0fe390899db91bc09884c41367653fb1a10743c7866d3e3176",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.005694990999999988,
      "solve_elapsed_seconds": 0.531124611,
      "makespan": 56,
      "objective": 56,
      "bound": 56,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.543822775
    },
    {
      "case": "factory-small",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 43,
      "jobs": 11,
      "machines": 5,
      "operations": 36,
      "input_sha256": "c2eecfdde133aa0fe390899db91bc09884c41367653fb1a10743c7866d3e3176",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.005964217000000019,
      "solve_elapsed_seconds": 0.5318523740000001,
      "makespan": 56,
      "objective": 56,
      "bound": 56,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.54460737
    },
    {
      "case": "factory-small",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 43,
      "jobs": 11,
      "machines": 5,
      "operations": 36,
      "input_sha256": "c2eecfdde133aa0fe390899db91bc09884c41367653fb1a10743c7866d3e3176",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 0.5462878539999999,
      "makespan": 56,
      "objective": 56,
      "bound": 56,
      "gap_percent": 0,
      "status": "OK",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 0.55424812
    },
    {
      "case": "factory-industrial",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 7,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "d800628a47baaffc39e0069f94852e605454ecbfa007810dbfc4b4a733559a63",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.050114690999997,
      "makespan": 2608,
      "objective": 2608,
      "bound": 2595,
      "gap_percent": 0.49846625766871167,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.101251092
    },
    {
      "case": "factory-industrial",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 7,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "d800628a47baaffc39e0069f94852e605454ecbfa007810dbfc4b4a733559a63",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.16163780000000003,
      "solve_elapsed_seconds": 20.095531101,
      "makespan": 2607,
      "objective": 2607,
      "bound": 2595,
      "gap_percent": 0.4603,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.256319905
    },
    {
      "case": "factory-industrial",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 19,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "d800628a47baaffc39e0069f94852e605454ecbfa007810dbfc4b4a733559a63",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.16164558900000003,
      "solve_elapsed_seconds": 20.086717557999997,
      "makespan": 2607,
      "objective": 2607,
      "bound": 2595,
      "gap_percent": 0.4603,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.248274553999998
    },
    {
      "case": "factory-industrial",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 19,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "d800628a47baaffc39e0069f94852e605454ecbfa007810dbfc4b4a733559a63",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.046875864999997,
      "makespan": 2608,
      "objective": 2608,
      "bound": 2595,
      "gap_percent": 0.49846625766871167,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.089648995
    },
    {
      "case": "factory-industrial",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 43,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "d800628a47baaffc39e0069f94852e605454ecbfa007810dbfc4b4a733559a63",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.054924845,
      "makespan": 2608,
      "objective": 2608,
      "bound": 2595,
      "gap_percent": 0.49846625766871167,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.094354
    },
    {
      "case": "factory-industrial",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 43,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "d800628a47baaffc39e0069f94852e605454ecbfa007810dbfc4b4a733559a63",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.15911932,
      "solve_elapsed_seconds": 20.094127085999997,
      "makespan": 2607,
      "objective": 2607,
      "bound": 2595,
      "gap_percent": 0.4603,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.25229456
    },
    {
      "case": "factory-large",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 7,
      "jobs": 960,
      "machines": 96,
      "operations": 14160,
      "input_sha256": "271adf364ee506c7871a6bf2bc3fd8119854f1791555079cb835068d8c32a5d5",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.304141473,
      "solve_elapsed_seconds": 9.510125997000001,
      "makespan": 1762,
      "objective": 1762,
      "bound": 1762,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 9.819163434
    },
    {
      "case": "factory-large",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 7,
      "jobs": 960,
      "machines": 96,
      "operations": 14160,
      "input_sha256": "271adf364ee506c7871a6bf2bc3fd8119854f1791555079cb835068d8c32a5d5",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.021290755,
      "makespan": 1762,
      "objective": 1762,
      "bound": 1762,
      "gap_percent": 0,
      "status": "STOPPED",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 20.093030173
    },
    {
      "case": "factory-large",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 19,
      "jobs": 960,
      "machines": 96,
      "operations": 14160,
      "input_sha256": "271adf364ee506c7871a6bf2bc3fd8119854f1791555079cb835068d8c32a5d5",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.017461635,
      "makespan": 1762,
      "objective": 1762,
      "bound": 1762,
      "gap_percent": 0,
      "status": "STOPPED",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 20.086411810999998
    },
    {
      "case": "factory-large",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 19,
      "jobs": 960,
      "machines": 96,
      "operations": 14160,
      "input_sha256": "271adf364ee506c7871a6bf2bc3fd8119854f1791555079cb835068d8c32a5d5",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.302160293,
      "solve_elapsed_seconds": 9.248947598,
      "makespan": 1762,
      "objective": 1762,
      "bound": 1762,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 9.551059221
    },
    {
      "case": "factory-large",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 43,
      "jobs": 960,
      "machines": 96,
      "operations": 14160,
      "input_sha256": "271adf364ee506c7871a6bf2bc3fd8119854f1791555079cb835068d8c32a5d5",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.30122206099999993,
      "solve_elapsed_seconds": 9.653372937999999,
      "makespan": 1762,
      "objective": 1762,
      "bound": 1762,
      "gap_percent": 0,
      "status": "OPTIMAL",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 9.980354657
    },
    {
      "case": "factory-large",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 43,
      "jobs": 960,
      "machines": 96,
      "operations": 14160,
      "input_sha256": "271adf364ee506c7871a6bf2bc3fd8119854f1791555079cb835068d8c32a5d5",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.026946573,
      "makespan": 1762,
      "objective": 1762,
      "bound": 1762,
      "gap_percent": 0,
      "status": "STOPPED",
      "proof": "optimal_by_cp_sat",
      "total_elapsed_seconds": 20.104711258
    },
    {
      "case": "factory-huge",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 7,
      "jobs": 1920,
      "machines": 128,
      "operations": 46080,
      "input_sha256": "c1b37afe1e41cb5bfd382964e899d2b68f8501fb0b953c8d924e83cb5c9e0578",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.251234558,
      "makespan": 4015,
      "objective": 4015,
      "bound": 3780,
      "gap_percent": 5.853051058530511,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.432249473
    },
    {
      "case": "factory-huge",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 7,
      "jobs": 1920,
      "machines": 128,
      "operations": 46080,
      "input_sha256": "c1b37afe1e41cb5bfd382964e899d2b68f8501fb0b953c8d924e83cb5c9e0578",
      "budget_seconds": 20,
      "workers": 4,
      "valid": false,
      "model_build_seconds": 0.9055407590000001,
      "solve_elapsed_seconds": 20.295474673999998,
      "error": "Calculation stopped before a feasible schedule was found.",
      "status": "NO_VALID_SCHEDULE",
      "total_elapsed_seconds": 20.298121777
    },
    {
      "case": "factory-huge",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 19,
      "jobs": 1920,
      "machines": 128,
      "operations": 46080,
      "input_sha256": "c1b37afe1e41cb5bfd382964e899d2b68f8501fb0b953c8d924e83cb5c9e0578",
      "budget_seconds": 20,
      "workers": 4,
      "valid": false,
      "model_build_seconds": 0.8990584730000001,
      "solve_elapsed_seconds": 20.286471643000002,
      "error": "Calculation stopped before a feasible schedule was found.",
      "status": "NO_VALID_SCHEDULE",
      "total_elapsed_seconds": 20.289236684
    },
    {
      "case": "factory-huge",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 19,
      "jobs": 1920,
      "machines": 128,
      "operations": 46080,
      "input_sha256": "c1b37afe1e41cb5bfd382964e899d2b68f8501fb0b953c8d924e83cb5c9e0578",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.247100268,
      "makespan": 4015,
      "objective": 4015,
      "bound": 3780,
      "gap_percent": 5.853051058530511,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.423198205000002
    },
    {
      "case": "factory-huge",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 43,
      "jobs": 1920,
      "machines": 128,
      "operations": 46080,
      "input_sha256": "c1b37afe1e41cb5bfd382964e899d2b68f8501fb0b953c8d924e83cb5c9e0578",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.258808734000002,
      "makespan": 4015,
      "objective": 4015,
      "bound": 3780,
      "gap_percent": 5.853051058530511,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.434985451
    },
    {
      "case": "factory-huge",
      "group": "factory",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 43,
      "jobs": 1920,
      "machines": 128,
      "operations": 46080,
      "input_sha256": "c1b37afe1e41cb5bfd382964e899d2b68f8501fb0b953c8d924e83cb5c9e0578",
      "budget_seconds": 20,
      "workers": 4,
      "valid": false,
      "model_build_seconds": 0.91632661,
      "solve_elapsed_seconds": 20.289357644,
      "error": "Calculation stopped before a feasible schedule was found.",
      "status": "NO_VALID_SCHEDULE",
      "total_elapsed_seconds": 20.292244734
    },
    {
      "case": "calendar-makespan",
      "group": "calendar",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 7,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.6808491289999999,
      "solve_elapsed_seconds": 16.794224584,
      "makespan": 631080,
      "objective": 631080,
      "bound": 627480,
      "gap_percent": 0.5705,
      "status": "FEASIBLE",
      "proof": "not_proven",
      "total_elapsed_seconds": 17.024941294
    },
    {
      "case": "calendar-makespan",
      "group": "calendar",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 7,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.01775923,
      "makespan": 629280,
      "objective": 629280,
      "bound": 627480,
      "gap_percent": 0.28604118993135014,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.073269936
    },
    {
      "case": "calendar-makespan",
      "group": "calendar",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 19,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.018193098,
      "makespan": 629340,
      "objective": 629340,
      "bound": 627480,
      "gap_percent": 0.2955477166555439,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.064661477
    },
    {
      "case": "calendar-makespan",
      "group": "calendar",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 19,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.687715554,
      "solve_elapsed_seconds": 17.069015625,
      "makespan": 631080,
      "objective": 631080,
      "bound": 627480,
      "gap_percent": 0.5705,
      "status": "FEASIBLE",
      "proof": "not_proven",
      "total_elapsed_seconds": 17.301116182999998
    },
    {
      "case": "calendar-makespan",
      "group": "calendar",
      "objective_kind": "makespan",
      "method": "cp_sat",
      "seed": 43,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.6618080740000001,
      "solve_elapsed_seconds": 16.480145604999997,
      "makespan": 631080,
      "objective": 631080,
      "bound": 627480,
      "gap_percent": 0.5705,
      "status": "FEASIBLE",
      "proof": "not_proven",
      "total_elapsed_seconds": 16.716101868
    },
    {
      "case": "calendar-makespan",
      "group": "calendar",
      "objective_kind": "makespan",
      "method": "refined_custom",
      "seed": 43,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.029539503,
      "makespan": 629520,
      "objective": 629520,
      "bound": 627480,
      "gap_percent": 0.3240564239420511,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.080207223000002
    },
    {
      "case": "calendar-weighted_tardiness",
      "group": "calendar",
      "objective_kind": "weighted_tardiness",
      "method": "refined_custom",
      "seed": 7,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.010247959,
      "makespan": 632940,
      "objective": 215005560,
      "bound": 0,
      "gap_percent": 100,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.060237894999997
    },
    {
      "case": "calendar-weighted_tardiness",
      "group": "calendar",
      "objective_kind": "weighted_tardiness",
      "method": "cp_sat",
      "seed": 7,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.6833662460000001,
      "solve_elapsed_seconds": 17.088252906,
      "makespan": 633180,
      "objective": 218589840,
      "bound": 0,
      "gap_percent": 100,
      "status": "FEASIBLE",
      "proof": "not_proven",
      "total_elapsed_seconds": 17.342779991
    },
    {
      "case": "calendar-weighted_tardiness",
      "group": "calendar",
      "objective_kind": "weighted_tardiness",
      "method": "cp_sat",
      "seed": 19,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.6910538530000001,
      "solve_elapsed_seconds": 18.01080357,
      "makespan": 633180,
      "objective": 218589840,
      "bound": 0,
      "gap_percent": 100,
      "status": "FEASIBLE",
      "proof": "not_proven",
      "total_elapsed_seconds": 18.264666157
    },
    {
      "case": "calendar-weighted_tardiness",
      "group": "calendar",
      "objective_kind": "weighted_tardiness",
      "method": "refined_custom",
      "seed": 19,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.010978732999998,
      "makespan": 632880,
      "objective": 215564580,
      "bound": 0,
      "gap_percent": 100,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.052679795999996
    },
    {
      "case": "calendar-weighted_tardiness",
      "group": "calendar",
      "objective_kind": "weighted_tardiness",
      "method": "refined_custom",
      "seed": 43,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "solve_elapsed_seconds": 20.010908783999998,
      "makespan": 632700,
      "objective": 215138580,
      "bound": 0,
      "gap_percent": 100,
      "status": "STOPPED",
      "proof": "not_proven",
      "total_elapsed_seconds": 20.053659234999998
    },
    {
      "case": "calendar-weighted_tardiness",
      "group": "calendar",
      "objective_kind": "weighted_tardiness",
      "method": "cp_sat",
      "seed": 43,
      "jobs": 548,
      "machines": 32,
      "operations": 6576,
      "input_sha256": "5431f7ffd78817e370b01eed301b80496189be5edb447a2c780fd692914bf9d9",
      "budget_seconds": 20,
      "workers": 4,
      "valid": true,
      "model_build_seconds": 0.680144585,
      "solve_elapsed_seconds": 19.378868033,
      "makespan": 633180,
      "objective": 218589840,
      "bound": 0,
      "gap_percent": 100,
      "status": "FEASIBLE",
      "proof": "not_proven",
      "total_elapsed_seconds": 19.634769819
    }
  ]
}