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 MM100. 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: 9
Optimal results: 6 (66.67%)
Upper Bounds: 6
- Average deviations:
- over CPM: 31.27%
- over best LB: 0.00%
- over best UB: 0.00%
- Best Known: 6 (66.67%)
- Closed (using best LBs): 6 (66.67%)
- Sum of time units: 197
Lower Bounds: 9
- Average deviations:
- over CPM: 38.30%
- below best LB: 0.00%
- below best UB: 0.93%
- Best Known: 9 (100.00%)
- Closed (using best UBs): 6 (66.67%)
- Sum of time units: 337
- Open time units:
- to LBs: 0 (0.00%)
- to UBs: 4 (1.17%)
Instances: 9
Optimal results: 6 (66.67%)
Upper Bounds: 6
- Average deviations:
- over CPM: 31.27%
- over best LB: 0.00%
- over best UB: 0.00%
- Best Known: 6 (66.67%)
- Closed (using best LBs): 6 (66.67%)
- Sum of time units: 197
Lower Bounds: 9
- Average deviations:
- over CPM: 38.30%
- below best LB: 0.00%
- below best UB: 0.93%
- Best Known: 9 (100.00%)
- Closed (using best UBs): 6 (66.67%)
- Sum of time units: 337
- Open time units:
- to LBs: 0 (0.00%)
- to UBs: 4 (1.17%)
Date