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: 478 (99.58%)
Upper Bounds: 480
- Average deviations:
- over CPM: 102.43%
- over best LB: 0.00%
- over best UB: 0.00%
- Best Known: 480 (100.00%)
- Closed (using best LBs): 480 (100.00%)
- Sum of time units: 51097
- Open time units:
- to LBs: 0 (0.00%)
- to UBs: 0 (0.00%)
Lower Bounds: 480
- Average deviations:
- over CPM: 102.42%
- below best LB: 0.01%
- below best UB: 0.01%
- Best Known: 478 (99.58%)
- Closed (using best UBs): 478 (99.58%)
- Sum of time units: 51093
- Open time units:
- to LBs: 4 (0.01%)
- to UBs: 4 (0.01%)
Instances: 480
Optimal results: 478 (99.58%)
Upper Bounds: 480
- Average deviations:
- over CPM: 102.43%
- over best LB: 0.00%
- over best UB: 0.00%
- Best Known: 480 (100.00%)
- Closed (using best LBs): 480 (100.00%)
- Sum of time units: 51097
- Open time units:
- to LBs: 0 (0.00%)
- to UBs: 0 (0.00%)
Lower Bounds: 480
- Average deviations:
- over CPM: 102.42%
- below best LB: 0.01%
- below best UB: 0.01%
- Best Known: 478 (99.58%)
- Closed (using best UBs): 478 (99.58%)
- Sum of time units: 51093
- Open time units:
- to LBs: 4 (0.01%)
- to UBs: 4 (0.01%)
Date