← Back to 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) 🔧 Solvers: cpo, exact, gurobi, hexaly, ortools, pindakaas, pumpkin, z3 ⏱️ Timeout: 600s 📊 Dataset: MSE 2024 Exact Weighted
Loading benchmark data...