1(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[9775],{23356:(d,r,e)=>{(window.__NEXT_P=window.__NEXT_P||[]).push(["/challenge/2008/results",function(){return e(91713)}])},48378:(d,r,e)=>{"use strict";e.d(r,{B:()=>c});var l=e(37876),s=e(69241),o=e(37472);function c({className:d,items:r}){return d=(0,s.A)("flex items-center my-4",d),(0,l.jsx)("ul",{className:d,children:r.map((d,r)=>(0,l.jsxs)("li",{className:"flex items-center",children:[r>0?(0,l.jsx)("span",{className:"px-1 text-gray-400",children:"\xbb"}):(0,l.jsx)(l.Fragment,{}),"string"==typeof d?(0,l.jsx)("span",{children:d}):(0,l.jsx)(o.N,{href:d[1],children:d[0]})]},r))})}},91713:(d,r,e)=>{"use strict";e.r(r),e.d(r,{default:()=>j});var l=e(37876),s=e(63141),o=e(99638),c=e(85931),t=e(37472),n=e(48378),i=e(77328),h=e.n(i);function j(){return(0,l.jsxs)(l.Fragment,{children:[(0,l.jsx)(h(),{children:(0,l.jsx)("title",{children:"MiniZinc - Challenge 2008 Results"})}),(0,l.jsx)(c.Y,{}),(0,l.jsx)("main",{children:(0,l.jsx)(s.m,{children:(0,l.jsxs)("article",{className:"prose prose-minizinc max-w-none py-6",children:[(0,l.jsx)("h2",{children:"MiniZinc Challenge 2008 Results"}),(0,l.jsx)(n.B,{className:"not-prose",items:[["MiniZinc Challenge","/challenge"],["Challenge 2008","/challenge/2008"],"Results"]}),(0,l.jsxs)("table",{border:"1",children:[(0,l.jsx)("thead",{children:(0,l.jsxs)("tr",{children:[(0,l.jsx)("th",{children:"MiniZinc model"}),(0,l.jsx)("th",{children:"Instance"}),(0,l.jsx)("th",{children:"eclipse_fd"}),(0,l.jsx)("th",{children:"[score]"}),(0,l.jsx)("th",{children:"eclipse_ic"}),(0,l.jsx)("th",{children:"[score]"}),(0,l.jsx)("th",{children:"g12_fd"}),(0,l.jsx)("th",{children:"[score]"}),(0,l.jsx)("th",{children:"gecode"}),(0,l.jsx)("th",{children:"[score]"})]})}),(0,l.jsxs)("tbody",{children:[(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{rowspan:"11",children:(0,l.jsx)(t.N,{href:"./probs/debruijn_binary/debruijn_binary.mzn",children:"debruijn_binary.mzn"})}),(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/debruijn_binary/02_03.dzn",children:"02_03.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"0.23s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"52.8"}),(0,l.jsx)("td",{children:"0.54s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"47.2"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/debruijn_binary/02_07.dzn",children:"02_07.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"1.73s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"45.8"}),(0,l.jsx)("td",{children:"0.94s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"54.2"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/debruijn_binary/02_08.dzn",children:"02_08.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"7.47s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"34.1"}),(0,l.jsx)("td",{children:"0.89s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"65.9"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/debruijn_binary/02_09.dzn",children:"02_09.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"34.18s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"28.6"}),(0,l.jsx)("td",{children:"1.73s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"71.4"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/debruijn_binary/02_10.dzn",children:"02_10.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"167.43s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"27.8"}),(0,l.jsx)("td",{children:"9.09s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"72.2"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/debruijn_binary/03_06.dzn",children:"03_06.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"39.09s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"18.1"}),(0,l.jsx)("td",{children:"4.49s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"27.0"}),(0,l.jsx)("td",{children:"0.49s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"54.9"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/debruijn_binary/03_07.dzn",children:"03_07.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Out of Memory"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"2.98s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/debruijn_binary/03_08.dzn",children:"03_08.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Out of Memory"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/debruijn_binary/04_06.dzn",children:"04_06.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Out of Memory"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/debruijn_binary/04_07.dzn",children:"04_07.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Out of Memory"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/debruijn_binary/04_08.dzn",children:"04_08.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Out of Memory"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{rowspan:"10",children:(0,l.jsx)(t.N,{href:"./probs/nmseq/nmseq.mzn",children:"nmseq.mzn"})}),(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/nmseq/020.dzn",children:"020.dzn"})}),(0,l.jsx)("td",{children:"0.65s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"31.2"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"0.99s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"28.7"}),(0,l.jsx)("td",{children:"0.03s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"40.0"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/nmseq/040.dzn",children:"040.dzn"})}),(0,l.jsx)("td",{children:"7.89s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"21.5"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"2.85s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"27.9"}),(0,l.jsx)("td",{children:"0.27s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"50.6"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/nmseq/060.dzn",children:"060.dzn"})}),(0,l.jsx)("td",{children:"48.61s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"27.2"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"1.27s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"72.8"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/nmseq/080.dzn",children:"080.dzn"})}),(0,l.jsx)("td",{children:"182.41s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"18.0"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"47.27s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"21.7"}),(0,l.jsx)("td",{children:"4.51s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"60.4"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/nmseq/100.dzn",children:"100.dzn"})}),(0,l.jsx)("td",{children:"473.98s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"26.6"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"14.51s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"73.4"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/nmseq/150.dzn",children:"150.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"102.79s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/nmseq/200.dzn",children:"200.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"330.92s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/nmseq/300.dzn",children:"300.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/nmseq/400.dzn",children:"400.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/nmseq/500.dzn",children:"500.dzn"})}),(0,l.jsx)("td",{children:"Out of Memory"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Out of Memory"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{rowspan:"7",children:(0,l.jsx)(t.N,{href:"./probs/pentominoes-int/pentominoes-int.mzn",children:"pentominoes-int.mzn"})}),(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/pentominoes-int/01.dzn",children:"01.dzn"})}),(0,l.jsx)("td",{children:"0.28s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"25.7"}),(0,l.jsx)("td",{children:"0.50s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"23.8"}),(0,l.jsx)("td",{children:"0.96s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"21.1"}),(0,l.jsx)("td",{children:"0.00s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"29.4"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/pentominoes-int/02.dzn",children:"02.dzn"})}),(0,l.jsx)("td",{children:"17.02s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"19.6"}),(0,l.jsx)("td",{children:"429.18s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"16.8"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"0.14s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"63.6"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/pentominoes-int/03.dzn",children:"03.dzn"})}),(0,l.jsx)("td",{children:"1.98s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"21.4"}),(0,l.jsx)("td",{children:"4.27s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"17.5"}),(0,l.jsx)("td",{children:"1.73s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.2"}),(0,l.jsx)("td",{children:"0.01s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"38.8"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/pentominoes-int/04.dzn",children:"04.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Out of Memory"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"186.19s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/pentominoes-int/05.dzn",children:"05.dzn"})}),(0,l.jsx)("td",{children:"296.44s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"25.8"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"4.00s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"74.2"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/pentominoes-int/06.dzn",children:"06.dzn"})}),(0,l.jsx)("td",{children:"13.38s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"20.6"}),(0,l.jsx)("td",{children:"200.04s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"16.9"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"0.23s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"62.5"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/pentominoes-int/07.dzn",children:"07.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"37.33s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{rowspan:"10",children:(0,l.jsx)(t.N,{href:"./probs/quasigroup7/quasigroup7.mzn",children:"quasigroup7.mzn"})}),(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/quasigroup7/05.dzn",children:"05.dzn"})}),(0,l.jsx)("td",{children:"0.82s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.8"}),(0,l.jsx)("td",{children:"1.23s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"20.9"}),(0,l.jsx)("td",{children:"0.52s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"24.9"}),(0,l.jsx)("td",{children:"0.00s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"31.3"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/quasigroup7/06.dzn",children:"06.dzn"})}),(0,l.jsx)("td",{children:"7.40s"}),(0,l.jsx)("td",{bgcolor:
vendor: 31,930 bytes, line 1
1"powderblue",children:"15.8"}),(0,l.jsx)("td",{children:"11.22s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"14.7"}),(0,l.jsx)("td",{children:"0.57s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"29.9"}),(0,l.jsx)("td",{children:"0.01s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"39.6"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/quasigroup7/07.dzn",children:"07.dzn"})}),(0,l.jsx)("td",{children:"140.48s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"12.7"}),(0,l.jsx)("td",{children:"206.94s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"12.7"}),(0,l.jsx)("td",{children:"0.60s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"33.7"}),(0,l.jsx)("td",{children:"0.19s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"40.9"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/quasigroup7/08.dzn",children:"08.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"1.01s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"59.4"}),(0,l.jsx)("td",{children:"3.42s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"40.6"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/quasigroup7/09.dzn",children:"09.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"0.60s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"50.3"}),(0,l.jsx)("td",{children:"0.64s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"49.7"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/quasigroup7/10.dzn",children:"10.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/quasigroup7/11.dzn",children:"11.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/quasigroup7/12.dzn",children:"12.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/quasigroup7/13.dzn",children:"13.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/quasigroup7/14.dzn",children:"14.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{rowspan:"9",children:(0,l.jsx)(t.N,{href:"./probs/radiation/radiation.mzn",children:"radiation.mzn"})}),(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/radiation/01.dzn",children:"01.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"22.15s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.6"}),(0,l.jsx)("td",{children:"5.45s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"38.0"}),(0,l.jsx)("td",{children:"5.05s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"39.4"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/radiation/02.dzn",children:"02.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"811.47s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/radiation/03.dzn",children:"03.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"233.47s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"56.2"}),(0,l.jsx)("td",{children:"386.68s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"43.8"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/radiation/04.dzn",children:"04.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"26.73s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"21.8"}),(0,l.jsx)("td",{children:"6.51s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"35.8"}),(0,l.jsx)("td",{children:"4.59s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"42.4"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/radiation/05.dzn",children:"05.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"1.17s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"29.0"}),(0,l.jsx)("td",{children:"1.00s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"30.0"}),(0,l.jsx)("td",{children:"0.10s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"41.0"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/radiation/06.dzn",children:"06.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"11.77s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"24.0"}),(0,l.jsx)("td",{children:"3.40s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"38.0"}),(0,l.jsx)("td",{children:"3.41s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"38.0"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/radiation/07.dzn",children:"07.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"21.40s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"21.8"}),(0,l.jsx)("td",{children:"5.58s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"34.3"}),(0,l.jsx)("td",{children:"3.26s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"43.9"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/radiation/08.dzn",children:"08.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"75.13s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.6"}),(0,l.jsx)("td",{children:"17.50s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"40.9"}),(0,l.jsx)("td",{children:"21.53s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"36.6"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/radiation/09.dzn",children:"09.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"567.81s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{rowspan:"10",children:(0,l.jsx)(t.N,{href:"./probs/rcpsp/rcpsp.mzn",children:"rcpsp.mzn"})}),(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/rcpsp/00.dzn",children:"00.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/rcpsp/01.dzn",children:"01.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/rcpsp/02.dzn",children:"02.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"9.22s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/rcpsp/03.dzn",children:"03.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/rcpsp/04.dzn",children:"04.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/rcpsp/05.dzn",children:"05.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/rcpsp/06.dzn",children:"06.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/rcpsp/07.dzn",children:"07.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/rcpsp/08.dzn",children:"08.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/rcpsp/09.dzn",children:"09.dzn"})}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Abort"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{rowspan:"3",children:(0,l.jsx)(t.N,{href:"./probs/search_stress/search_stress.mzn",children:"search_stress.mzn"})}),(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/search_stress/04_04.dzn",children:"04_04.dzn"})}),(0,l.jsx)("td",{children:"0.32s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"24.7"}),(0,l.jsx)("td",{children:"0.38s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"24.1"}),(0,l.jsx)("td",{children:"0.56s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.8"}),(0,l.jsx)("td",{children:"0.01s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"28.4"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/search_stress/08_04.dzn",children:"08_04.dzn"})}),(0,l.jsx)("td",{children:"143.7s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"16.7"}),(0,l.jsx)("td",{children:"208.6s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"15.4"}),(0,l.jsx)("td",{children:"32.6s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"30.5"}),(0,l.jsx)("td",{children:"23.3s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"37.4"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/search_stress/08_08.dzn",children:"08_08.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{rowspan:"10",children:(0,l.jsx)(t.N,{href:"./probs/shortest_path/shortest_path.mzn",children:"shortest_path.mzn"})}),(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/shortest_path/00.dzn",children:"00.dzn"})}),(0,l.jsx)("td",{children:"2.24s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"27.3"}),(0,l.jsx)("td",{children:"3.36s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"24.6"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"0.10s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"48.1"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/shortest_path/01.dzn",children:"01.dzn"})}),(0,l.jsx)("td",{children:"2.96s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"21.6"}),(0,l.jsx)("td",{children:"4.29s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"19.3"}),(0,l.jsx)("td",{children:"19.76s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"14.2"}),(0,l.jsx)("td",{children:"0.11s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"44.9"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/shortest_path/02.dzn",children:"02.dzn"})}),(0,l.jsx)("td",{children:"3.93s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"18.3"}),(0,l.jsx)("td",{children:"1.86s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.6"}),(0,l.jsx)("td",{children:"3.88s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"18.4"}),(0,l.jsx)("td",{children:"0.02s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"40.7"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/shortest_path/03.dzn",children:"03.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"892.84s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/shortest_path/04.dzn",children:"04.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"1.70s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"74.8"}),(0,l.jsx)("td",{children:"861.53s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"25.2"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/shortest_path/05.dzn",children:"05.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"243.45s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/shortest_path/06.dzn",children:"06.dzn"})}),(0,l.jsx)("td",{children:"0.92s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"23.7"}),(0,l.jsx)("td",{children:"1.12s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.7"}),(0,l.jsx)("td",{children:"1.86s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"20.0"}),(0,l.jsx)("td",{children:"0.02s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"33.6"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/shortest_path/07.dzn",children:"07.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"38.79s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/shortest_path/08.dzn",children:"08.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"34.44s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/shortest_path/09.dzn",children:"09.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"790.36s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{rowspan:"10",children:(0,l.jsx)(t.N,{href:"./probs/slow_convergence/slow_convergence.mzn",children:"slow_convergence.mzn"})}),(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/slow_convergence/0100.dzn",children:"0100.dzn"})}),(0,l.jsx)("td",{children:"0.32s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"25.2"}),(0,l.jsx)("td",{children:"0.37s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"24.7"}),(0,l.jsx)("td",{children:"0.90s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"21.3"}),(0,l.jsx)("td",{children:"0.02s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"28.9"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/slow_convergence/0200.dzn",children:"0200.dzn"})}),(0,l.jsx)("td",{children:"0.26s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"25.3"}),(0,l.jsx)("td",{children:"0.25s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"25.4"}),(0,l.jsx)("td",{children:"0.90s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"21.0"}),(0,l.jsx)("td",{children:"0.01s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"28.4"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/slow_convergence/0300.dzn",children:"0300.dzn"})}),(0,l.jsx)("td",{children:"1.44s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"23.3"}),(0,l.jsx)("td",{children:"1.96s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"21.4"}),(0,l.jsx)("td",{children:"1.73s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.1"}),(0,l.jsx)("td",{children:"0.27s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"33.2"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/slow_convergence/0400.dzn",children:"0400.dzn"})}),(0,l.jsx)("td",{children:"2.48s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"23.0"}),(0,l.jsx)("td",{children:"3.33s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"20.9"}),(0,l.jsx)("td",{children:"3.83s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"20.0"}),(0,l.jsx)("td",{children:"0.54s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"36.1"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/slow_convergence/0500.dzn",children:"0500.dzn"})}),(0,l.jsx)("td",{children:"3.99s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.4"}),(0,l.jsx)("td",{children:"5.15s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"20.6"}),(0,l.jsx)("td",{children:"6.39s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"19.2"}),(0,l.jsx)("td",{children:"0.96s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"37.8"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/slow_convergence/0600.dzn",children:"0600.dzn"})}),(0,l.jsx)("td",{children:"5.72s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.3"}),(0,l.jsx)("td",{children:"7.47s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"20.3"}),(0,l.jsx)("td",{children:"9.96s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"18.5"}),(0,l.jsx)("td",{children:"1.50s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"38.9"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/slow_convergence/0700.dzn",children:"0700.dzn"})}),(0,l.jsx)("td",{children:"7.96s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"27.4"}),(0,l.jsx)("td",{children:"10.19s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"25.2"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"2.12s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"47.4"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/slow_convergence/0800.dzn",children:"0800.dzn"})}),(0,l.jsx)("td",{children:"10.16s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.2"}),(0,l.jsx)("td",{children:"12.79s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"20.4"}),(0,l.jsx)("td",{children:"19.01s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"17.9"}),(0,l.jsx)("td",{children:"3.04s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"39.4"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/slow_convergence/0900.dzn",children:"0900.dzn"})}),(0,l.jsx)("td",{children:"13.22s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"27.5"}),(0,l.jsx)("td",{children:"16.86s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"25.3"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"4.08s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"47.1"})]}),(0,l.jsxs)("tr",{bgcolor:"lightgrey",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/slow_convergence/1000.dzn",children:"1000.dzn"})}),(0,l.jsx)("td",{children:"16.60s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.2"}),(0,l.jsx)("td",{children:"20.96s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"20.3"}),(0,l.jsx)("td",{children:"30.65s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"17.9"}),(0,l.jsx)("td",{children:"5.33s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"39.6"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{rowspan:"10",children:(0,l.jsx)(t.N,{href:"./probs/trucking/trucking.mzn",children:"trucking.mzn"})}),(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/trucking/01.dzn",children:"01.dzn"})}),(0,l.jsx)("td",{children:"0.33s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"25.0"}),(0,l.jsx)("td",{children:"0.48s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"23.7"}),(0,l.jsx)("td",{children:"0.65s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.6"}),(0,l.jsx)("td",{children:"0.02s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"28.8"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/trucking/02.dzn",children:"02.dzn"})}),(0,l.jsx)("td",{children:"0.31s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"24.9"}),(0,l.jsx)("td",{children:"0.42s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"23.9"}),(0,l.jsx)("td",{children:"0.61s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.6"}),(0,l.jsx)("td",{children:"0.01s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"28.6"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/trucking/03.dzn",children:"03.dzn"})}),(0,l.jsx)("td",{children:"0.32s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"32.3"}),(0,l.jsx)("td",{children:"0.47s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"30.7"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"0.02s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"36.9"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/trucking/04.dzn",children:"04.dzn"})}),(0,l.jsx)("td",{children:"1.42s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"23.5"}),(0,l.jsx)("td",{children:"2.95s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"19.2"}),(0,l.jsx)("td",{children:"1.82s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"22.0"}),(0,l.jsx)("td",{children:"0.17s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"35.3"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/trucking/05.dzn",children:"05.dzn"})}),(0,l.jsx)("td",{children:"14.28s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"19.5"}),(0,l.jsx)("td",{children:"33.33s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"15.6"}),(0,l.jsx)("td",{children:"17.24s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"18.4"}),(0,l.jsx)("td",{children:"2.14s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"46.5"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/trucking/11.dzn",children:"11.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"896.96s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/trucking/12.dzn",children:"12.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"894.85s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/trucking/13.dzn",children:"13.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"868.75s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/trucking/14.dzn",children:"14.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"877.71s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]}),(0,l.jsxs)("tr",{bgcolor:"white",children:[(0,l.jsx)("td",{children:(0,l.jsx)(t.N,{href:"./probs/trucking/15.dzn",children:"15.dzn"})}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"Time Out"}),(0,l.jsx)("td",{bgcolor:"powderblue"}),(0,l.jsx)("td",{children:"840.88s"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"100.0"})]})]})]}),(0,l.jsxs)("table",{border:"1",children:[(0,l.jsx)("thead",{children:(0,l.jsxs)("tr",{children:[(0,l.jsx)("th",{children:"Contestant"}),(0,l.jsx)("th",{children:"Total Score"})]})}),(0,l.jsxs)("tbody",{children:[(0,l.jsxs)("tr",{children:[(0,l.jsx)("td",{children:"eclipse_fd"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:" 787.3"})]}),(0,l.jsxs)("tr",{children:[(0,l.jsx)("td",{children:"eclipse_ic"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:" 938.8"})]}),(0,l.jsxs)("tr",{children:[(0,l.jsx)("td",{children:"g12_fd"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"1655.1"})]}),(0,l.jsxs)("tr",{children:[(0,l.jsx)("td",{children:"gecode"}),(0,l.jsx)("td",{bgcolor:"powderblue",children:"3418.8"})]})]})]}),(0,l.jsx)("p",{children:"These results are based on Eclipse version 5.10, an up-to-date release of Gecode,and the 05-09-2008 trunk version of G12."}),(0,l.jsx)("p",{children:"Due to the mechanism used by the g12_fd benchmarks, some time-outs reported for G12 are actually out-of-memory failures."}),(0,l.jsx)("p",{children:"Note that the Eclipse aborts are due to âinstantiation faultsâ which we believe may be due to a minor bug in the Eclipse implementation of FlatZinc."}),(0,l.jsx)("p",{children:"The gecode aborts on the rcpsp problems are caused by trying to print out the value of non-ground variables."}),(0,l.jsx)("p",{children:"Since all submitted solvers either prove optimality or have no competitors (except in one case), scoring is the same for both optimisation problems and satisfaction problems. 50 points are shared equally among the solvers finding a solution to a particular test. A further 50 points are shared according to how quickly a solver found the solution relative to the others (full details are available on the Challenge web page)."}),(0,l.jsx)("p",{children:"On the shortest_path problem 04.dzn, g12_fd claims to have found the optimal result; gecodef also gets a result which it does not claim is optimal, which is an order of magnitude worse. The g12_fd result was tested by feeding it into the gecode solver which confirmed its feasibility."}),(0,l.jsxs)("p",{children:["The files on this page are for MiniZinc ver
1sion 0.8. Versions of these files for the current version of MiniZinc are available as part of the"," ",(0,l.jsx)("a",{href:"https://web.archive.org/web/20220308033715/https://www.minizinc.org/g12distrib.html",children:"G12 MiniZinc distribution"}),"."]})]})})}),(0,l.jsx)(o.w,{})]})}}},d=>{d.O(0,[7725,8805,6701,4040,6958,636,6593,8792],()=>d(d.s=23356)),_N_E=d.O()}]);
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.