Solver Benchmarks

Performance analysis and comparison of different combinatorial solvers on a collection of benchmark suites. Experiments made possible by the CPMpy Python library, a constraint programming modeling framework.

🔬 Comprehensive Analysis

MSE Benchmarks

MSE 2024 Exact Weighted - All Solvers Comparison

Comprehensive performance comparison of all solvers on MSE 2024 (MaxSAT Evaluation) exact weighted track benchmark instances

📅 Sun Oct 27 2024 00:00:00 GMT+0000 (Coordinated Universal Time) 🔧 8 solvers ⏱️ 600s timeout
👆 Click to see performance profiles and comparison charts across all solvers

Other Benchmarks

JSPlib - All Solvers Comparison

Comprehensive performance comparison of all solvers on JSPlib (Job Shop Problem) benchmark instances

📅 Sun Oct 27 2024 00:00:00 GMT+0000 (Coordinated Universal Time) 🔧 11 solvers ⏱️ 600s timeout
👆 Click to see performance profiles and comparison charts across all solvers

PSPLib Benchmarks

PSPLib RCPSP J30 - Resource-Constrained Project Scheduling

Performance comparison of constraint programming solvers on PSPLib J30 instances for Resource-Constrained Project Scheduling Problems

📅 Sun Oct 27 2024 00:00:00 GMT+0000 (Coordinated Universal Time) 🔧 8 solvers ⏱️ 600s timeout
👆 Click to see performance profiles and comparison charts across all solvers

PSPLib RCPSP J60 - Resource-Constrained Project Scheduling

Performance comparison of constraint programming solvers on PSPLib J60 instances for Resource-Constrained Project Scheduling Problems

📅 Mon Oct 28 2024 00:00:00 GMT+0000 (Coordinated Universal Time) 🔧 8 solvers ⏱️ 600s timeout
👆 Click to see performance profiles and comparison charts across all solvers

PSPLib RCPSP J90 - Resource-Constrained Project Scheduling

Performance comparison of constraint programming solvers on PSPLib J90 instances for Resource-Constrained Project Scheduling Problems

📅 Tue Oct 29 2024 00:00:00 GMT+0000 (Coordinated Universal Time) 🔧 8 solvers ⏱️ 600s timeout
👆 Click to see performance profiles and comparison charts across all solvers

PSPLib RCPSP J120 - Resource-Constrained Project Scheduling

Performance comparison of constraint programming solvers on PSPLib J120 instances for Resource-Constrained Project Scheduling Problems

📅 Wed Oct 30 2024 00:00:00 GMT+0000 (Coordinated Universal Time) 🔧 8 solvers ⏱️ 600s timeout
👆 Click to see performance profiles and comparison charts across all solvers

XCSP3 Benchmarks

XCSP3 2024 COP - All Solvers Comparison

Comprehensive performance comparison of all constraint optimization solvers on XCSP3 2024 competition instances

📅 Sat Oct 26 2024 00:00:00 GMT+0000 (Coordinated Universal Time) 🔧 8 solvers ⏱️ 600s timeout
👆 Click to see performance profiles and comparison charts across all solvers

XCSP3 2024 CSP - All Solvers Comparison

Comprehensive performance comparison of all constraint programming solvers on XCSP3 2024 competition instances

📅 Sat Oct 26 2024 00:00:00 GMT+0000 (Coordinated Universal Time) 🔧 11 solvers ⏱️ 600s timeout
👆 Click to see performance profiles and comparison charts across all solvers