CINXE.COM

<!DOCTYPE html><html class="h-full bg-gray-50 antialiased" lang="en"><head><meta charSet="utf-8" data-next-head=""/><meta name="viewport" content="width=device-width" data-next-head=""/><title data-next-head="">MiniZinc - Challenge 2024 Results</title><link rel="icon" href="/favicon.ico"/><meta name="description" content="MiniZinc is a free and open-source constraint modeling language."/><link rel="preload" href="/_next/static/css/6bea87be2084e413.css" as="style"/><link rel="stylesheet" href="/_next/static/css/6bea87be2084e413.css" data-n-g=""/><noscript data-n-css=""></noscript><script defer="" nomodule="" src="/_next/static/chunks/polyfills-42372ed130431b0a.js"></script><script src="/_next/static/chunks/webpack-37adf8b4f1247a69.js" defer=""></script><script src="/_next/static/chunks/framework-2a3b65b977e2ed6b.js" defer=""></script><script src="/_next/static/chunks/main-648c85077f3132ec.js" defer=""></script><script src="/_next/static/chunks/pages/_app-f4b96c230d8a9d18.js" defer=""></script><script src="/_next/static/chunks/c16184b3-c784991d79d8bcd2.js" defer=""></script><script src="/_next/static/chunks/2cca2479-2ee4e4a09e4e9d64.js" defer=""></script><script src="/_next/static/chunks/5c0b189e-f9bbf7892a620669.js" defer=""></script><script src="/_next/static/chunks/8606-2ab4ff7781f6bf5e.js" defer=""></script><script src="/_next/static/chunks/793-cc41593bd0344a27.js" defer=""></script><script src="/_next/static/chunks/2842-ff7c125bd22be4c1.js" defer=""></script><script src="/_next/static/chunks/pages/challenge/2024/results-55851aec6e5c29c1.js" defer=""></script><script src="/_next/static/pRjVy258E-q-as7EfT0PJ/_buildManifest.js" defer=""></script><script src="/_next/static/pRjVy258E-q-as7EfT0PJ/_ssgManifest.js" defer=""></script></head><body class="flex h-full flex-col"><div id="__next"><header><section id="announcement-banner" class="bg-emerald-500 py-4 text-center text-sm text-white sm:text-base"><div class="mx-auto max-w-7xl px-4 sm:px-6 lg:px-8"><div class="flex items-center justify-center gap-2"><span class="hidden sm:block"><svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="puzzle-piece" class="svg-inline--fa fa-puzzle-piece " role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M192 104.8c0-9.2-5.8-17.3-13.2-22.8C167.2 73.3 160 61.3 160 48c0-26.5 28.7-48 64-48s64 21.5 64 48c0 13.3-7.2 25.3-18.8 34c-7.4 5.5-13.2 13.6-13.2 22.8c0 12.8 10.4 23.2 23.2 23.2l56.8 0c26.5 0 48 21.5 48 48l0 56.8c0 12.8 10.4 23.2 23.2 23.2c9.2 0 17.3-5.8 22.8-13.2c8.7-11.6 20.7-18.8 34-18.8c26.5 0 48 28.7 48 64s-21.5 64-48 64c-13.3 0-25.3-7.2-34-18.8c-5.5-7.4-13.6-13.2-22.8-13.2c-12.8 0-23.2 10.4-23.2 23.2L384 464c0 26.5-21.5 48-48 48l-56.8 0c-12.8 0-23.2-10.4-23.2-23.2c0-9.2 5.8-17.3 13.2-22.8c11.6-8.7 18.8-20.7 18.8-34c0-26.5-28.7-48-64-48s-64 21.5-64 48c0 13.3 7.2 25.3 18.8 34c7.4 5.5 13.2 13.6 13.2 22.8c0 12.8-10.4 23.2-23.2 23.2L48 512c-26.5 0-48-21.5-48-48L0 343.2C0 330.4 10.4 320 23.2 320c9.2 0 17.3 5.8 22.8 13.2C54.7 344.8 66.7 352 80 352c26.5 0 48-28.7 48-64s-21.5-64-48-64c-13.3 0-25.3 7.2-34 18.8C40.5 250.2 32.4 256 23.2 256C10.4 256 0 245.6 0 232.8L0 176c0-26.5 21.5-48 48-48l120.8 0c12.8 0 23.2-10.4 23.2-23.2z"></path></svg></span><span>Results for the <a class="text-gray-100 underline hover:text-white" href="/challenge/2024/results/">2024 MiniZinc Challenge</a> have now been announced!</span></div></div></section><nav><div class="mx-auto max-w-7xl px-4 sm:px-6 lg:px-8 relative z-50 flex justify-between py-8"><div class="relative z-10 flex items-center gap-16"><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" aria-label="Home" href="/"><svg viewBox="0 0 1280 1280" aria-hidden="true" class="h-10 w-auto"><defs><clipPath id="clipPath16" clipPathUnits="userSpaceOnUse"><path d="m 0,1024 1024,0 L 1024,0 0,0 0,1024 Z"></path></clipPath></defs><g transform="matrix(1.25,0,0,-1.25,0,1280)"><g><g clip-path="url(#clipPath16)"><g transform="translate(132.5234,968.6421)"><path style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none" d="m 0,0 c -42.484,0 -76.924,-34.438 -76.924,-76.929 l 0,-759.445 c 0,-42.49 34.44,-76.919 76.924,-76.919 l 759.445,0 c 42.49,0 76.929,34.429 76.929,76.919 l 0,759.445 C 836.374,-34.438 801.935,0 759.445,0 L 0,0 Z"></path></g><g transform="translate(490.0073,764.9961)"><path style="fill:#4a4a49;fill-opacity:1;fill-rule:nonzero;stroke:none" d="m 0,0 -341.772,0 0,-101.043 183.631,0 -195.053,-426.129 369.02,0 0,101.041 -214.387,0 L 0,0 Z"></path></g><g transform="translate(543.4619,468.0146)"><path style="fill:#4a4a49;fill-opacity:1;fill-rule:nonzero;stroke:none" d="m 0,0 0,-230.19 100.161,0 0,238.104 c 0,0 34.265,75.558 87.865,75.558 43.933,0 49.196,-35.135 49.196,-67.646 l 0,-246.016 100.165,0 0,293.459 c 0,74.684 -63.259,125.644 -135.299,125.644 -70.283,0 -133.558,-65.023 -133.558,-65.023 0,0 -31.624,45.688 -50.954,59.74 L -66.768,133.553 C -21.084,98.406 0,57.995 0,0"></path></g><g transform="translate(975.4307,758.4355)"><path style="fill:#000000;fill-opacity:1;fill-rule:nonzero;stroke:none" d="m 0,0 -357.376,-0.375 c -44.462,0.319 -74.898,39.821 -74.918,73.428 L -432.375,210.262 0,210.262 0,0 Z"></path></g><g transform="translate(649.8535,800.1694)"><path style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none" d="M 0,0 21.593,0 44.572,81.96 55.565,-2.038 79.149,1.427 56.36,122.325 l -21.583,0 -23.986,-88.073 -23.975,88.073 -21.587,0 L -57.557,1.427 -33.973,-2.038 -22.979,81.96 0,0 Z"></path></g><path style="fill:#ffffff;fill-opacity:1;fill-rule:evenodd;stroke:none" d="m 766.74,893.957 -23.189,0 0,-93.787 23.189,0 0,93.787 z m 2.194,29.355 c 0,7.743 -6.196,14.067 -13.789,14.067 -7.592,0 -13.788,-6.324 -13.788,-14.067 0,-7.749 6.196,-14.069 13.788,-14.069 7.593,0 13.789,6.32 13.789,14.069"></path><g transform="translate(800.248,853.5835)"><path style="fill:#ffffff;fill-opacity:1;fill-rule:nonzero;stroke:none" d="m 0,0 0,-53.414 22.779,0 0,55.251 c 0,0 7.803,17.536 19.992,17.536 9.999,0 11.194,-8.157 11.194,-15.7 l 0,-57.087 22.78,0 0,68.093 c 0,17.333 -14.391,29.159 -30.775,29.159 -15.991,0 -30.381,-15.087 -30.381,-15.087 0,0 -7.201,10.599 -11.596,13.862 L -15.188,30.994 C -4.797,22.834 0,13.459 0,0"></path></g><path style="fill:#ffffff;fill-opacity:1;fill-rule:evenodd;stroke:none" d="m 925.33,893.957 -23.183,0 0,-93.787 23.183,0 0,93.787 z m 2.201,29.355 c 0,7.743 -6.194,14.067 -13.788,14.067 -7.602,0 -13.797,-6.324 -13.797,-14.067 0,-7.749 6.195,-14.069 13.797,-14.069 7.594,0 13.788,6.32 13.788,14.069"></path><g transform="translate(132.5234,968.6421)"><path style="fill:#1491eb;fill-opacity:1;fill-rule:nonzero;stroke:none" d="m 0,0 c -42.484,0 -76.924,-34.438 -76.924,-76.929 l 0,-759.445 c 0,-42.49 34.44,-76.919 76.924,-76.919 l 759.445,0 c 42.49,0 76.929,34.429 76.929,76.919 l 0,759.445 C 836.374,-34.438 801.935,0 759.445,0 L 0,0 Z m 0,55.355 759.445,0 c 73.063,0 132.284,-59.225 132.284,-132.284 l 0,-759.445 c 0,-73.063 -59.221,-132.275 -132.284,-132.275 l -759.445,0 c -73.059,0 -132.279,59.212 -132.279,132.275 l 0,759.445 c 0,73.059 59.22,132.284 132.279,132.284"></path></g></g></g></g></svg></a><div class="hidden lg:flex lg:gap-10"><a class="relative -mx-3 -my-2 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/resources/"><span class="relative z-10">Resources</span></a><a class="relative -mx-3 -my-2 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/team/"><span class="relative z-10">Team</span></a><a class="relative -mx-3 -my-2 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="https://play.minizinc.dev"><span class="relative z-10">Playground</span></a><a class="relative -mx-3 -my-2 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/challenge/"><span class="relative z-10">Challenge</span></a><a class="relative -mx-3 -my-2 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="https://groups.google.com/forum/#!forum/minizinc"><span class="relative z-10">Discussions</span></a></div></div><div class="flex items-center gap-6"><div class="lg:hidden" data-headlessui-state=""><button class="relative z-10 -m-2 inline-flex items-center rounded-lg stroke-gray-900 p-2 hover:bg-gray-200/50 hover:stroke-gray-600 active:stroke-gray-900 [&:not(:focus-visible)]:focus:outline-none" aria-label="Toggle site navigation" type="button" aria-expanded="false" data-headlessui-state=""><svg viewBox="0 0 24 24" fill="none" aria-hidden="true" class="h-6 w-6"><path d="M5 6h14M5 18h14M5 12h14" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"></path></svg></button></div><span hidden="" style="position:fixed;top:1px;left:1px;width:1px;height:0;padding:0;margin:-1px;overflow:hidden;clip:rect(0, 0, 0, 0);white-space:nowrap;border-width:0;display:none"></span></div></div></nav></header><main><div class="mx-auto max-w-7xl px-4 sm:px-6 lg:px-8"><article class="prose prose-minizinc max-w-none py-6"><h2>MiniZinc Challenge 2024 Results</h2><ul class="flex items-center my-4 not-prose"><li class="flex items-center"><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/">MiniZinc Challenge</a></li><li class="flex items-center"><span class="px-1 text-gray-400">»</span><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/">Challenge 2024</a></li><li class="flex items-center"><span class="px-1 text-gray-400">»</span><span>Results</span></li></ul><h3>Entrants</h3><p>The entrants for this year (with their descriptions, when provided):</p><ul><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="http://choco-solver.org">Choco-solver (CP)</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_choco-solver__cp_.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="http://choco-solver.org">Choco-solver (CP-SAT)</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_choco-solver__cp-sat_.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://uu.diva-portal.org/smash/record.jsf?pid=diva2:1876143">Gecode/Dexter</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_gecode_dexter.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="http://www.constraint.org/en/izc_download/">iZplus</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_izplus.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/radsz/jacop">JaCoP</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_jacop.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="http://optimathsat.disi.unitn.it">OptiMathSAT INT</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_optimathsat.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="http://optimathsat.disi.unitn.it">OptiMathSAT INT-SMT2</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_optimathsat.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="http://optimathsat.disi.unitn.it">OptiMathSAT BV</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_optimathsat.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://developers.google.com/optimization/">OR-Tools CP-SAT</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_or-tools_cp-sat.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://developers.google.com/optimization/">OR-Tools CP-SAT LS</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_or-tools_cp-sat_ls.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="http://picat-lang.org">PicatSAT</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_picatsat.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/ConSol-Lab/pumpkin">Pumpkin</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_pumpkin.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://sicstus.sics.se">SICStus Prolog</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_sicstus_prolog.txt">description</a>).</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/informarte/yuck">Yuck</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_yuck.txt">description</a>).</li></ul><p>In addition, the challenge organisers entered the following FlatZinc and MiniZinc implementations:</p><ul><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/chuffed/chuffed">Chuffed</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_chuffed.txt">description</a>). A C++ FD solver using lazy clause generation.</li><li><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://www.gecode.org">Gecode</a> (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_gecode.txt">description</a>). A C++ FD solver.</li><li>CpoFzn (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_cpofzn.txt">description</a>). Uses <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://github.com/IBMDecisionOptimization/cpofzn">IBM ILOG CP Optimizer</a> version 22.11.</li><li>MZN/Cbc (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_mzn-cbc.txt">description</a>). Translates to MILP, uses <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://projects.coin-or.org/Cbc">Cbc</a> version 2.10.11.</li><li>MZN/CPLEX (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_mzn-cplex.txt">description</a>). Translates to MILP, uses <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://www.ibm.com/analytics/cplex-optimizer">IBM ILOG CPLEX Optimizer</a> version 22.11.</li><li>MZN/Gurobi (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_mzn-gurobi.txt">description</a>). Translates to MILP, uses <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://www.gurobi.com/">Gurobi</a> version 11.0.3.</li><li>MZN/HiGHS (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_mzn-highs.txt">description</a>). Translates to MILP, uses <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://highs.dev/">HiGHS</a> version 1.7.2.</li><li>MZN/SCIP (<a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/description_mzn-scip.txt">description</a>). Translates to MILP, uses <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="https://www.scipopt.org/">SCIP</a> version 9.1.0.</li></ul><p>As per the challenge <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/rules/">rules</a>, these entries are not eligible for prizes, but do modify the scoring results.</p><h3>Summary of Results</h3><p>The results for the MiniZinc Challenge 2024 are</p><table><thead><tr class="border-b"><th class="px-2 py-1">Category</th><th class="px-2 py-1 text-yellow-500">Gold</th><th class="px-2 py-1 text-gray-500">Silver</th><th class="px-2 py-1 text-orange-800">Bronze</th></tr></thead><tbody><tr><td class="px-2 py-1">Fixed</td><td class="px-2 py-1 text-yellow-500">OR-Tools CP-SAT</td><td class="px-2 py-1 text-gray-500">Choco-solver CP-SAT</td><td class="px-2 py-1 text-orange-800">SICStus Prolog</td></tr><tr><td class="px-2 py-1">Free</td><td class="px-2 py-1 text-yellow-500">OR-Tools CP-SAT</td><td class="px-2 py-1 text-gray-500">PicatSAT</td><td class="px-2 py-1 text-orange-800">iZplus</td></tr><tr><td class="px-2 py-1">Parallel</td><td class="px-2 py-1 text-yellow-500">OR-Tools CP-SAT</td><td class="px-2 py-1 text-gray-500">PicatSAT</td><td class="px-2 py-1 text-orange-800">Choco-solver CP</td></tr><tr><td class="px-2 py-1">Open</td><td class="px-2 py-1 text-yellow-500">OR-Tools CP-SAT</td><td class="px-2 py-1 text-gray-500">PicatSAT</td><td class="px-2 py-1 text-orange-800">Choco-solver CP</td></tr><tr><td class="px-2 py-1">Local Search</td><td class="px-2 py-1 text-yellow-500">OR-Tools CP-SAT LS</td><td class="px-2 py-1 text-gray-500">Yuck</td><td class="px-2 py-1 text-orange-800"></td></tr></tbody></table><h3>Description of Results</h3><p>All times are given in milliseconds.</p><p>A score of 0.0 indicates a worse answer in quality (worse objective, no proof of optimality, or no answer for satisfaction problems).<br/>A score of 1.0 indicates a better solution in quality. When the quality is the same, the 1.0 purse is split with respect to time used.</p><p>If a promoted entry does not recognize an option (or states that it is just ignored), times and solutions from the previous category are used for scoring. The suffixes <i>-fd</i>, <i>-free</i>, <i>-par</i> or <i>-open</i> (for the parallel portfolio solver entered) at the end of the solver names indicate which configuration the solvers were run with.</p><p>The time limit includes both MiniZinc compilation and solving.</p><p>In the Status column: <br/></p><ul><li><b>S</b> indicates that a solution was found,</li><li><b>C</b> indicates that the search was complete,</li><li><b>ERR</b> indicates an incorrect answer or the solver aborted,</li><li><b>ERR</b> indicates that flattening aborted (time-out or out-of-memory),</li><li><b>UNK</b> indicates that no answer was returned in the time limit.</li></ul><h3>Download all problems</h3><p>All problems are available in a zipped tar-ball <a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" href="/challenge/2024/mznc2024_probs.tar.gz">here</a>.</p><h3>Detailed Results</h3><p>Select a list of solvers and benchmarks and click on “Compute Results” to score the solvers against each other on the selected benchmarks. The entrants for each of the FD search, free search and parallel search categories can be selected with the corresponding buttons.</p><table valign="top"><tbody><tr><td><table valign="top" border="2"><colgroup><col valign="top"/><col valign="top"/></colgroup><thead></thead><tbody><tr><td valign="top"> Solver selection: </td><td valign="top"> Problem selection: </td></tr><tr><td id="solver_selection" valign="top"></td><td id="problem_selection" valign="top"></td></tr></tbody></table></td><td valign="top"><table border="2"><thead></thead><tbody><tr><td><form name="score"><button class="inline-flex justify-center rounded-lg py-2 px-3 text-sm font-semibold outline-2 outline-offset-2 transition-colors bg-primary text-white hover:bg-primary-dark active:bg-primary-light w-full" type="button" name="compute_results">Compute Results</button></form></td></tr><tr><td><form name="score"><button class="inline-flex justify-center rounded-lg border py-[calc(theme(spacing.2)-1px)] px-[calc(theme(spacing.3)-1px)] text-sm outline-2 outline-offset-2 transition-colors border-gray-300 text-gray-700 hover:border-gray-400 active:bg-gray-100 active:text-gray-700/80 w-full" type="button" name="clear_selection">Clear Selection</button></form></td></tr><tr><td><form name="score"><button class="inline-flex justify-center rounded-lg border py-[calc(theme(spacing.2)-1px)] px-[calc(theme(spacing.3)-1px)] text-sm outline-2 outline-offset-2 transition-colors border-gray-300 text-gray-700 hover:border-gray-400 active:bg-gray-100 active:text-gray-700/80 w-full" type="button" name="select_all">Select all problems</button></form></td></tr><tr id="control-fd"><td><form name="score"><button class="inline-flex justify-center rounded-lg border py-[calc(theme(spacing.2)-1px)] px-[calc(theme(spacing.3)-1px)] text-sm outline-2 outline-offset-2 transition-colors border-gray-300 text-gray-700 hover:border-gray-400 active:bg-gray-100 active:text-gray-700/80 w-full" type="button" name="select_fd">Add FD category solvers</button></form></td></tr><tr id="control-free"><td><form name="score"><button class="inline-flex justify-center rounded-lg border py-[calc(theme(spacing.2)-1px)] px-[calc(theme(spacing.3)-1px)] text-sm outline-2 outline-offset-2 transition-colors border-gray-300 text-gray-700 hover:border-gray-400 active:bg-gray-100 active:text-gray-700/80 w-full" type="button" name="select_free">Add Free category solvers</button></form></td></tr><tr id="control-par"><td><form name="score"><button class="inline-flex justify-center rounded-lg border py-[calc(theme(spacing.2)-1px)] px-[calc(theme(spacing.3)-1px)] text-sm outline-2 outline-offset-2 transition-colors border-gray-300 text-gray-700 hover:border-gray-400 active:bg-gray-100 active:text-gray-700/80 w-full" type="button" name="select_par">Add Par category solvers</button></form></td></tr><tr id="control-open"><td><form name="score"><button class="inline-flex justify-center rounded-lg border py-[calc(theme(spacing.2)-1px)] px-[calc(theme(spacing.3)-1px)] text-sm outline-2 outline-offset-2 transition-colors border-gray-300 text-gray-700 hover:border-gray-400 active:bg-gray-100 active:text-gray-700/80 w-full" type="button" name="select_open">Add Open category solvers</button></form></td></tr><tr id="control-local"><td><form name="score"><button class="inline-flex justify-center rounded-lg border py-[calc(theme(spacing.2)-1px)] px-[calc(theme(spacing.3)-1px)] text-sm outline-2 outline-offset-2 transition-colors border-gray-300 text-gray-700 hover:border-gray-400 active:bg-gray-100 active:text-gray-700/80 w-full" type="button" name="select_local">Add Local category solvers</button></form></td></tr></tbody></table></td><td valign="top"><table valign="top" border="2"><thead></thead><tbody><tr><td valign="top"> Plot settings: </td></tr><tr><td><form name="plot"><strong><font color="red">Note that plotting takes time.</font></strong><br/><label><input class="mr-1" type="checkbox" id="plot_instance"/>Create plots for each instance</label><br/></form>Time axis scale:<br/><form name="plot"><label><input type="radio" class="mr-1" name="xaxis_type" id="xaxis_default" checked="" value="-"/>Default</label><label class="ml-2"><input type="radio" class="mr-1" name="xaxis_type" id="xaxis_linear" value="linear"/>Linear</label><label class="ml-2"><input type="radio" class="mr-1" name="xaxis_type" id="xaxis_log" value="log"/>Log</label></form>Plot lines shape:<br/><form name="plot"><label><input type="radio" class="mr-1" name="lineshape" id="lineshape_steps" checked="" value="steps"/>Steps</label><label class="ml-2"><input type="radio" class="mr-1" name="lineshape" id="lineshape_lines" value="lines"/>Lines</label></form></td></tr><tr><td valign="top"> Area scoring settings: </td></tr><tr><td><form name="score"><label><input class="mr-1" type="checkbox" id="area_scoring"/>Normalise</label><br/></form></td></tr></tbody></table></td></tr></tbody></table><div id="results-section" style="display:none"><table cellSpacing="15"><tbody><tr></tr><tr><td><h3> Overall</h3></td><td><h3> Total per problem</h3></td></tr><tr><td valign="top"><table rules="groups" cellpading="20" name="total_table" id="total_table" cellSpacing="20" border="2"><colgroup></colgroup><colgroup></colgroup><colgroup></colgroup><colgroup></colgroup><thead><tr><td><b>Solver </b></td><td><b>Score </b></td><td><b>Score Incomplete </b></td><td><b>Score Area </b></td></tr></thead><tbody></tbody></table></td><td valign="top"><table rules="groups" cellpading="20" name="problem_table" cellSpacing="20" border="2"><colgroup span="2"></colgroup><colgroup span="1"></colgroup><colgroup span="1"></colgroup><colgroup span="1"></colgroup><thead><tr><td><b>Problem </b></td><td><b>Solver </b></td><td><b>Score </b></td><td><b>Score Incomplete</b></td><td><b>Score Area</b></td></tr></thead><tbody></tbody></table></td></tr></tbody></table><h3>Individual results</h3><table frame="box" rules="groups" cellpading="20" name="instance_table" cellSpacing="20" border="2"><colgroup span="2"></colgroup><colgroup></colgroup><colgroup></colgroup><colgroup></colgroup><colgroup></colgroup><colgroup></colgroup><colgroup></colgroup><colgroup></colgroup><thead><tr><td><b> Problem </b></td><td><b> Instance </b></td><td><b> Solver </b></td><td><b> Status </b></td><td><b> Time </b></td><td><b> Objective </b></td><td><b> Score </b></td><td><b> Score Incomplete</b></td><td><b> Score Area</b></td></tr></thead><tbody></tbody></table></div><div id="plots-section" style="display:none"><h3>Objective plots for each instance</h3><table frame="box" border="2" rules="groups" cellpading="20" cellSpacing="20" name="objective_plots"><colgroup span="2"></colgroup><colgroup width="1200"></colgroup><thead><tr><td><b> Problem </b></td><td><b> Instance </b></td><td><b> Plot </b></td></tr></thead><tbody></tbody></table></div><h3>Global constraint per model</h3><p>The following table lists the global constraints used by each model in this year's challenge. In addition, the columns RC and SBC, respectively, indicate whether the model contains redundant or/and symmetry breaking constraints.</p><table class="mt-4 table-auto"><thead><tr class="border-b"><th class="p-2">Problem</th><th class="p-2">Type</th><th class="p-2">Kind</th><th class="p-2" title="Redundant constraints">RC</th><th class="p-2" title="Symmetry breaking constraints">SBC</th><th class="p-2">MiniZinc Globals</th></tr></thead><tbody><tr id="problem-accap" class="border-b bg-neutral-100"><td class="p-2">accap</td><td class="p-2">real</td><td class="p-2">min</td><td class="p-2"></td><td class="p-2"></td><td class="p-2">diffn</td></tr><tr id="problem-aircraft-disassembly" class="border-b "><td class="p-2">aircraft-disassembly</td><td class="p-2">real</td><td class="p-2">min</td><td class="p-2"></td><td class="p-2"></td><td class="p-2">cumulative</td></tr><tr id="problem-cable-tree-wiring" class="border-b bg-neutral-100"><td class="p-2">cable-tree-wiring</td><td class="p-2">real</td><td class="p-2">min</td><td class="p-2">✓</td><td class="p-2"></td><td class="p-2">all_different</td></tr><tr id="problem-community-detection" class="border-b "><td class="p-2">community-detection</td><td class="p-2">combi</td><td class="p-2">max</td><td class="p-2"></td><td class="p-2"></td><td class="p-2">value_precede_chain, global_cardinality_low_up</td></tr><tr id="problem-compression" class="border-b bg-neutral-100"><td class="p-2">compression</td><td class="p-2">combi</td><td class="p-2">min</td><td class="p-2"></td><td class="p-2"></td><td class="p-2">global_cardinality</td></tr><tr id="problem-concert-hall-cap" class="border-b "><td class="p-2">concert-hall-cap</td><td class="p-2">combi</td><td class="p-2">max</td><td class="p-2"></td><td class="p-2">✓</td><td class="p-2">all_different_except_0, value_precede_chain</td></tr><tr id="problem-fox-geese-corn" class="border-b bg-neutral-100"><td class="p-2">fox-geese-corn</td><td class="p-2">puzzle</td><td class="p-2">max</td><td class="p-2">✓</td><td class="p-2"></td><td class="p-2"></td></tr><tr id="problem-graph-clear" class="border-b "><td class="p-2">graph-clear</td><td class="p-2">combi</td><td class="p-2">min</td><td class="p-2"></td><td class="p-2"></td><td class="p-2">all_different</td></tr><tr id="problem-harmony" class="border-b bg-neutral-100"><td class="p-2">harmony</td><td class="p-2">puzzle</td><td class="p-2">min</td><td class="p-2"></td><td class="p-2"></td><td class="p-2">all_equal, count_eq, min, strictly_decreasing</td></tr><tr id="problem-hoist-benchmark" class="border-b "><td class="p-2">hoist-benchmark</td><td class="p-2">real</td><td class="p-2">min</td><td class="p-2">✓</td><td class="p-2"></td><td class="p-2"></td></tr><tr id="problem-monitor-placement-1id" class="border-b bg-neutral-100"><td class="p-2">monitor-placement-1id</td><td class="p-2">real</td><td class="p-2">min</td><td class="p-2"></td><td class="p-2"></td><td class="p-2"></td></tr><tr id="problem-neighbours" class="border-b "><td class="p-2">neighbours</td><td class="p-2">puzzle</td><td class="p-2">max</td><td class="p-2">✓</td><td class="p-2">✓</td><td class="p-2">lex_lesseq</td></tr><tr id="problem-network_50_cstr" class="border-b bg-neutral-100"><td class="p-2">network_50_cstr</td><td class="p-2">real</td><td class="p-2">min</td><td class="p-2"></td><td class="p-2"></td><td class="p-2"></td></tr><tr id="problem-peacable_queens" class="border-b "><td class="p-2">peacable_queens</td><td class="p-2">puzzle</td><td class="p-2">max</td><td class="p-2"></td><td class="p-2"></td><td class="p-2">count, regular, value_precede</td></tr><tr id="problem-portal" class="border-b bg-neutral-100"><td class="p-2">portal</td><td class="p-2">puzzle</td><td class="p-2">min</td><td class="p-2"></td><td class="p-2"></td><td class="p-2"></td></tr><tr id="problem-tiny-cvrp" class="border-b "><td class="p-2">tiny-cvrp</td><td class="p-2">real</td><td class="p-2">min</td><td class="p-2"></td><td class="p-2"></td><td class="p-2"></td></tr><tr id="problem-train-scheduling" class="border-b bg-neutral-100"><td class="p-2">train-scheduling</td><td class="p-2">real</td><td class="p-2">min</td><td class="p-2"></td><td class="p-2"></td><td class="p-2">all_different, cumulative, disjunctive</td></tr><tr id="problem-triangular" class="border-b "><td class="p-2">triangular</td><td class="p-2">puzzle</td><td class="p-2">max</td><td class="p-2"></td><td class="p-2"></td><td class="p-2">inverse</td></tr><tr id="problem-word-equations" class="border-b bg-neutral-100"><td class="p-2">word-equations</td><td class="p-2">combi</td><td class="p-2">max</td><td class="p-2"></td><td class="p-2"></td><td class="p-2">nvalue</td></tr><tr id="problem-yumi-dynamic" class="border-b "><td class="p-2">yumi-dynamic</td><td class="p-2">real</td><td class="p-2">min</td><td class="p-2"></td><td class="p-2"></td><td class="p-2">all_equal, all_different, circuit, cumulative, diffn, increasing, table, value_precede, value_precede_chain</td></tr></tbody></table><hr/><p>The files on this page are for MiniZinc version 2.8.5.</p></article></div></main><footer class="border-t border-gray-200"><div class="mx-auto max-w-7xl px-4 sm:px-6 lg:px-8"><div class="flex flex-col gap-y-4 py-6 sm:gap-y-4 sm:py-12"><div class="flex flex-col items-stretch justify-between gap-y-6 sm:flex-row sm:gap-y-12 lg:items-start"><div class="grow"><nav class="flex flex-col gap-8 sm:flex-row"><div class="grow"><h4 class="text-gray-500">MiniZinc</h4><ul class="mt-2 flex flex-col gap-y-1"><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/downloads/"><span class="relative z-10">Downloads</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="https://play.minizinc.dev"><span class="relative z-10">Playground</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/challenge/"><span class="relative z-10">Challenge</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/downloads/#releases"><span class="relative z-10">Releases</span></a></li></ul></div><div class="grow"><h4 class="text-gray-500">Learn</h4><ul class="mt-2 flex flex-col gap-y-1"><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/resources/"><span class="relative z-10">Resources</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="https://docs.minizinc.dev/en/stable/part_2_tutorial.html"><span class="relative z-10">Tutorial</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="https://docs.minizinc.dev/en/stable/part_3_user_manual.html"><span class="relative z-10">User manual</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="https://docs.minizinc.dev/en/stable/part_4_reference.html"><span class="relative z-10">Reference manual</span></a></li></ul></div><div class="grow"><h4 class="text-gray-500">About</h4><ul class="mt-2 flex flex-col gap-y-1"><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/team/"><span class="relative z-10">Team</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/publications/"><span class="relative z-10">Publications</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/downloads/#issues"><span class="relative z-10">Issue tracker</span></a></li><li><a class="relative -mx-3 rounded-lg px-3 py-2 text-sm text-gray-700 transition-colors delay-150 hover:text-gray-900 hover:delay-[0ms]" href="/license/"><span class="relative z-10">License information</span></a></li></ul></div></nav></div><div><div class="flex gap-4 text-gray-600"><a class="hover:text-gray-800" title="MiniZinc Google Group" href="https://groups.google.com/forum/#!forum/minizinc"><svg aria-hidden="true" focusable="false" data-prefix="fab" data-icon="google" class="svg-inline--fa fa-google " role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 488 512" height="1em"><path fill="currentColor" d="M488 261.8C488 403.3 391.1 504 248 504 110.8 504 0 393.2 0 256S110.8 8 248 8c66.8 0 123 24.5 166.3 64.9l-67.5 64.9C258.5 52.6 94.3 116.6 94.3 256c0 86.5 69.1 156.6 153.7 156.6 98.2 0 135-70.4 140.8-106.9H248v-85.3h236.1c2.3 12.7 3.9 24.9 3.9 41.4z"></path></svg></a><a class="hover:text-gray-800" title="MiniZinc on StackOverflow" href="https://stackoverflow.com/questions/tagged/minizinc"><svg aria-hidden="true" focusable="false" data-prefix="fab" data-icon="stack-overflow" class="svg-inline--fa fa-stack-overflow " role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 384 512" height="1em"><path fill="currentColor" d="M290.7 311L95 269.7 86.8 309l195.7 41zm51-87L188.2 95.7l-25.5 30.8 153.5 128.3zm-31.2 39.7L129.2 179l-16.7 36.5L293.7 300zM262 32l-32 24 119.3 160.3 32-24zm20.5 328h-200v39.7h200zm39.7 80H42.7V320h-40v160h359.5V320h-40z"></path></svg></a><a class="hover:text-gray-800" title="MiniZinc on GitHub" href="https://github.com/minizinc"><svg aria-hidden="true" focusable="false" data-prefix="fab" data-icon="github" class="svg-inline--fa fa-github " role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 496 512" height="1em"><path fill="currentColor" d="M165.9 397.4c0 2-2.3 3.6-5.2 3.6-3.3.3-5.6-1.3-5.6-3.6 0-2 2.3-3.6 5.2-3.6 3-.3 5.6 1.3 5.6 3.6zm-31.1-4.5c-.7 2 1.3 4.3 4.3 4.9 2.6 1 5.6 0 6.2-2s-1.3-4.3-4.3-5.2c-2.6-.7-5.5.3-6.2 2.3zm44.2-1.7c-2.9.7-4.9 2.6-4.6 4.9.3 2 2.9 3.3 5.9 2.6 2.9-.7 4.9-2.6 4.6-4.6-.3-1.9-3-3.2-5.9-2.9zM244.8 8C106.1 8 0 113.3 0 252c0 110.9 69.8 205.8 169.5 239.2 12.8 2.3 17.3-5.6 17.3-12.1 0-6.2-.3-40.4-.3-61.4 0 0-70 15-84.7-29.8 0 0-11.4-29.1-27.8-36.6 0 0-22.9-15.7 1.6-15.4 0 0 24.9 2 38.6 25.8 21.9 38.6 58.6 27.5 72.9 20.9 2.3-16 8.8-27.1 16-33.7-55.9-6.2-112.3-14.3-112.3-110.5 0-27.5 7.6-41.3 23.6-58.9-2.6-6.5-11.1-33.3 2.6-67.9 20.9-6.5 69 27 69 27 20-5.6 41.5-8.5 62.8-8.5s42.8 2.9 62.8 8.5c0 0 48.1-33.6 69-27 13.7 34.7 5.2 61.4 2.6 67.9 16 17.7 25.8 31.5 25.8 58.9 0 96.5-58.9 104.2-114.8 110.5 9.2 7.9 17 22.9 17 46.4 0 33.7-.3 75.4-.3 83.6 0 6.5 4.6 14.4 17.3 12.1C428.2 457.8 496 362.9 496 252 496 113.3 383.5 8 244.8 8zM97.2 352.9c-1.3 1-1 3.3.7 5.2 1.6 1.6 3.9 2.3 5.2 1 1.3-1 1-3.3-.7-5.2-1.6-1.6-3.9-2.3-5.2-1zm-10.8-8.1c-.7 1.3.3 2.9 2.3 3.9 1.6 1 3.6.7 4.3-.7.7-1.3-.3-2.9-2.3-3.9-2-.6-3.6-.3-4.3.7zm32.4 35.6c-1.6 1.3-1 4.3 1.3 6.2 2.3 2.3 5.2 2.6 6.5 1 1.3-1.3.7-4.3-1.3-6.2-2.2-2.3-5.2-2.6-6.5-1zm-11.4-14.7c-1.6 1-1.6 3.6 0 5.9 1.6 2.3 4.3 3.3 5.6 2.3 1.6-1.3 1.6-3.9 0-6.2-1.4-2.3-4-3.3-5.6-2z"></path></svg></a></div></div></div><div class="flex flex-row flex-wrap items-center justify-center gap-x-4"><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" title="Monash University" href="https://www.monash.edu"><img alt="Monash University" loading="lazy" width="258" height="110" decoding="async" data-nimg="1" style="color:transparent" src="/_next/static/media/monash.cc224465.svg"/></a><a class="text-sky-600 hover:text-sky-700 hover:underline active:text-sky-500" title="OPTIMA" href="https://optima.org.au"><img alt="OPTIMA" loading="lazy" width="346" height="80" decoding="async" data-nimg="1" style="color:transparent" src="/_next/static/media/optima.bfc5f5f2.svg"/></a></div><p class="mx-auto w-9/12 text-center text-xs text-gray-800">MiniZinc is partially funded by the Australian Government through the Australian Research Council Industrial Transformation Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA), Project ID IC200100009.</p><div><p class="text-sm text-gray-800">© 2024 MiniZinc Team</p></div></div></div></footer></div><script id="__NEXT_DATA__" type="application/json">{"props":{"pageProps":{}},"page":"/challenge/2024/results","query":{},"buildId":"pRjVy258E-q-as7EfT0PJ","runtimeConfig":{"copyrightYear":2024,"basePath":""},"nextExport":true,"autoExport":true,"isFallback":false,"scriptLoader":[]}</script></body></html>