Results File
Dataset
File Header
Author(s): Coelho, Jose and Vanhoucke, Mario
Reference: Coelho, Jose and Vanhoucke, Mario. 2024. Working paper 'Comparing and extending satisfiability solution methods for the resource-constrained project scheduling problem'
Date: 2024/10/20
Hardware / software: STEVIN HPC-UGent infrastructure, C++, compiler intel/2017.02, Linux
Stop criteria(s):Several procedures and stop criteria, the last one with 20 hours.
Submission date: 2024/10/20
Statistics
Nothing changed since there are no new lower bounds, upper bounds nor optimal solutions.
Instances: 480
Optimal results: 443 (92.29%)
Upper Bounds: 480
- Average deviations:
- over CPM: 10.47%
- over best LB: 0.17%
- over best UB: 0.06%
- Best Known: 467 (97.29%)
- Closed (using best LBs): 455 (94.79%)
- Sum of time units: 38338
- Open time units:
- to LBs: 86 (0.22%)
- to UBs: 32 (0.08%)
Lower Bounds: 480
- Average deviations:
- over CPM: 9.83%
- below best LB: 0.22%
- below best UB: 0.32%
- Best Known: 450 (93.75%)
- Closed (using best UBs): 443 (92.29%)
- Sum of time units: 38132
- Open time units:
- to LBs: 120 (0.31%)
- to UBs: 174 (0.45%)
Instances: 480
Optimal results: 443 (92.29%)
Upper Bounds: 480
- Average deviations:
- over CPM: 10.47%
- over best LB: 0.17%
- over best UB: 0.06%
- Best Known: 467 (97.29%)
- Closed (using best LBs): 455 (94.79%)
- Sum of time units: 38338
- Open time units:
- to LBs: 86 (0.22%)
- to UBs: 32 (0.08%)
Lower Bounds: 480
- Average deviations:
- over CPM: 9.83%
- below best LB: 0.22%
- below best UB: 0.32%
- Best Known: 450 (93.75%)
- Closed (using best UBs): 443 (92.29%)
- Sum of time units: 38132
- Open time units:
- to LBs: 120 (0.31%)
- to UBs: 174 (0.45%)
Date