Results File
Dataset
File Header
Author(s):Alfonso Gippini Requeijo (Team Banzai S.L., Madrid, Spain)
Reference:Alfonso Gippini Requeijo, Team Banzai S.L. (2026). Exact constraint-programming results for MMplus. Certificates and schedules: https://doi.org/10.5281/zenodo.22261196
Date:11/09/2026
Hardware / software:exact CP approach (CP-SAT), cloud x86 8-16 threads
Stop criteria:proof of optimality / proof of bound
Submission date:11/09/2026
Statistics
Nothing changed since there are no new lower bounds, upper bounds nor optimal solutions.
Instances: 23
Optimal results: 13 (56.52%)
Upper Bounds: 13
- Average deviations:
- over CPM: 22.88%
- over best LB: 0.00%
- over best UB: 0.00%
- Best Known: 13 (56.52%)
- Closed (using best LBs): 13 (56.52%)
- Sum of time units: 657
Lower Bounds: 23
- Average deviations:
- over CPM: 33.00%
- below best LB: 0.12%
- below best UB: 2.30%
- Best Known: 21 (91.30%)
- Closed (using best UBs): 13 (56.52%)
- Sum of time units: 1282
- Open time units:
- to LBs: 2 (0.16%)
- to UBs: 36 (2.73%)
Instances: 23
Optimal results: 13 (56.52%)
Upper Bounds: 13
- Average deviations:
- over CPM: 22.88%
- over best LB: 0.00%
- over best UB: 0.00%
- Best Known: 13 (56.52%)
- Closed (using best LBs): 13 (56.52%)
- Sum of time units: 657
Lower Bounds: 23
- Average deviations:
- over CPM: 33.00%
- below best LB: 0.12%
- below best UB: 2.30%
- Best Known: 21 (91.30%)
- Closed (using best UBs): 13 (56.52%)
- Sum of time units: 1282
- Open time units:
- to LBs: 2 (0.16%)
- to UBs: 36 (2.73%)
Date