MiniZinc Challenge 2023 Results: Missing Solvers

45 views
Skip to first unread message

Mako

unread,
Aug 31, 2023, 11:42:30 AM8/31/23
to MiniZinc
SCIP and PicatSAT Parallel are missing from the list of solvers on the "MiniZinc Challenge 2023 Results" webpage. https://www.minizinc.org/challenge2023/results2023.html

Cyderize

unread,
Sep 13, 2023, 7:46:44 PM9/13/23
to MiniZinc
We've now added SCIP to the results. PicatSAT has now removed support for parallel solving, so the results from FREE are re-used for the PAR entry class instead.

Thanks for letting us know.
Reply all
Reply to author
Forward
0 new messages