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: 1800
Optimal results: 1786 (99.22%)
Upper Bounds: 1800
- Average deviations:
- over CPM: 39.25%
- over best LB: 0.01%
- over best UB: 0.00%
- Best Known: 1799 (99.94%)
- Closed (using best LBs): 1795 (99.72%)
- Sum of time units: 178428
- Open time units:
- to LBs: 7 (0.00%)
- to UBs: 1 (0.00%)
Lower Bounds: 1800
- Average deviations:
- over CPM: 39.20%
- below best LB: 0.01%
- below best UB: 0.02%
- Best Known: 1789 (99.39%)
- Closed (using best UBs): 1786 (99.22%)
- Sum of time units: 178408
- Open time units:
- to LBs: 13 (0.01%)
- to UBs: 19 (0.01%)
Instances: 1800
Optimal results: 1786 (99.22%)
Upper Bounds: 1800
- Average deviations:
- over CPM: 39.25%
- over best LB: 0.01%
- over best UB: 0.00%
- Best Known: 1799 (99.94%)
- Closed (using best LBs): 1795 (99.72%)
- Sum of time units: 178428
- Open time units:
- to LBs: 7 (0.00%)
- to UBs: 1 (0.00%)
Lower Bounds: 1800
- Average deviations:
- over CPM: 39.20%
- below best LB: 0.01%
- below best UB: 0.02%
- Best Known: 1789 (99.39%)
- Closed (using best UBs): 1786 (99.22%)
- Sum of time units: 178408
- Open time units:
- to LBs: 13 (0.01%)
- to UBs: 19 (0.01%)
Date