Dekker1/mzn-byte-benchmarks
Archived
1
0
Fork 0
Code
This repository has been archived on 2025-03-06. You can view files and clone it, but cannot push or open issues or pull requests.
mzn-byte-benchmarks/flatten/road-cons/road_33.dzn

5 lines
6.9 KiB
MiniZinc
Raw Permalink Blame History

n=33;
budget=18320;
distance=[|0,286,248,255,135,179,170,218,163,93,97,177,11,75,299,238,206,1,264,190,76,116,278,178,121,101,53,177,37,159,105,1,287|286,0,299,9,66,260,116,223,193,202,189,42,286,180,260,118,75,54,2,237,175,295,295,109,4,68,252,58,78,251,209,291,217|248,299,0,22,135,129,51,196,165,217,89,112,264,80,293,195,24,202,158,108,150,58,84,292,189,278,143,97,71,96,241,36,299|255,9,22,0,29,103,92,139,6,182,210,97,184,203,233,219,95,37,269,84,275,255,70,41,251,32,167,251,47,240,25,142,179|135,66,135,29,0,98,159,277,140,210,249,262,300,166,267,52,99,187,104,21,254,6,93,7,169,109,186,37,42,65,237,77,64|179,260,129,103,98,0,195,96,268,222,45,96,230,64,7,24,117,299,64,270,160,103,164,10,67,121,6,24,111,187,69,4,64|170,116,51,92,159,195,0,300,56,210,166,158,263,269,6,270,57,133,116,288,22,54,180,150,48,248,235,175,11,255,5,134,30|218,223,196,139,277,96,300,0,262,109,209,178,26,274,212,152,205,294,241,157,113,279,15,46,176,144,109,74,119,10,254,137,121|163,193,165,6,140,268,56,262,0,125,168,232,142,118,223,25,110,96,181,277,70,284,44,126,95,251,29,272,119,84,148,90,245|93,202,217,182,210,222,210,109,125,0,276,27,108,42,88,266,135,268,31,10,278,260,27,20,85,177,110,40,26,164,46,233,117|97,189,89,210,249,45,166,209,168,276,0,60,131,29,157,128,29,38,267,210,196,177,191,152,54,219,196,210,85,68,242,137,51|177,42,112,97,262,96,158,178,232,27,60,0,58,131,207,92,89,276,185,72,38,55,103,194,225,124,156,73,77,217,148,272,60|11,286,264,184,300,230,263,26,142,108,131,58,0,220,164,223,249,174,210,182,71,95,268,127,49,182,215,177,90,116,21,265,248|75,180,80,203,166,64,269,274,118,42,29,131,220,0,209,225,46,239,140,247,77,224,254,214,207,239,147,15,96,287,225,81,248|299,260,293,233,267,7,6,212,223,88,157,207,164,209,0,51,174,277,95,157,271,286,30,112,269,79,85,251,114,113,204,297,54|238,118,195,219,52,24,270,152,25,266,128,92,223,225,51,0,236,77,28,231,114,230,55,67,109,100,70,235,207,292,39,127,274|206,75,24,95,99,117,57,205,110,135,29,89,249,46,174,236,0,106,105,34,239,162,106,120,232,153,130,24,104,15,215,185,119|1,54,202,37,187,299,133,294,96,268,38,276,174,239,277,77,106,0,160,148,251,205,260,192,157,93,132,50,130,172,140,132,81|264,2,158,269,104,64,116,241,181,31,267,185,210,140,95,28,105,160,0,253,217,221,142,47,283,273,37,56,177,106,64,86,97|190,237,108,84,21,270,288,157,277,10,210,72,182,247,157,231,34,148,253,0,38,99,138,255,141,200,250,282,213,192,224,264,130|76,175,150,275,254,160,22,113,70,278,196,38,71,77,271,114,239,251,217,38,0,190,63,28,114,17,54,32,123,180,278,98,217|116,295,58,255,6,103,54,279,284,260,177,55,95,224,286,230,162,205,221,99,190,0,7,286,197,250,169,34,223,2,85,130,89|278,295,84,70,93,164,180,15,44,27,191,103,268,254,30,55,106,260,142,138,63,7,0,223,71,38,184,159,274,110,164,155,288|178,109,292,41,7,10,150,46,126,20,152,194,127,214,112,67,120,192,47,255,28,286,223,0,176,48,296,55,298,270,285,96,91|121,4,189,251,169,67,48,176,95,85,54,225,49,207,269,109,232,157,283,141,114,197,71,176,0,242,229,207,287,280,155,256,293|101,68,278,32,109,121,248,144,251,177,219,124,182,239,79,100,153,93,273,200,17,250,38,48,242,0,248,46,10,138,55,273,43|53,252,143,167,186,6,235,109,29,110,196,156,215,147,85,70,130,132,37,250,54,169,184,296,229,248,0,105,109,110,248,210,226|177,58,97,251,37,24,175,74,272,40,210,73,177,15,251,235,24,50,56,282,32,34,159,55,207,46,105,0,164,176,188,115,170|37,78,71,47,42,111,11,119,119,26,85,77,90,96,114,207,104,130,177,213,123,223,274,298,287,10,109,164,0,106,233,228,199|159,251,96,240,65,187,255,10,84,164,68,217,116,287,113,292,15,172,106,192,180,2,110,270,280,138,110,176,106,0,157,207,93|105,209,241,25,237,69,5,254,148,46,242,148,21,225,204,39,215,140,64,224,278,85,164,285,155,55,248,188,233,157,0,282,101|1,291,36,142,77,4,134,137,90,233,137,272,265,81,297,127,185,132,86,264,98,130,155,96,256,273,210,115,228,207,282,0,294|287,217,299,179,64,64,30,121,245,117,51,60,248,248,54,274,119,81,97,130,217,89,288,91,293,43,226,170,199,93,101,294,0|];
cost=[|0,19,64,35,37,49,34,34,45,43,20,63,60,10,64,3,35,67,46,21,15,21,48,53,69,48,64,16,36,70,5,62,24|19,0,7,65,29,17,39,18,32,8,3,49,70,66,31,47,41,6,32,41,13,56,25,44,58,61,54,17,6,70,34,27,27|64,7,0,10,30,32,16,57,32,47,9,43,61,46,44,3,68,56,65,48,17,40,57,37,56,39,26,41,10,19,51,17,18|35,65,10,0,20,10,51,4,13,26,37,68,9,18,38,56,2,50,49,44,61,40,63,19,37,39,6,1,40,29,47,40,10|37,29,30,20,0,19,3,68,32,59,55,33,36,65,51,6,8,60,63,12,21,14,50,4,22,24,40,9,59,69,2,30,2|49,17,32,10,19,0,51,25,26,11,64,55,34,49,47,7,29,12,14,60,40,68,70,50,3,15,28,49,50,65,23,58,1|34,39,16,51,3,51,0,10,38,45,54,2,23,26,20,1,26,63,58,42,7,15,17,39,29,4,8,10,30,54,7,24,1|34,18,57,4,68,25,10,0,64,35,5,11,11,30,14,20,19,62,65,5,24,50,15,56,69,5,24,38,69,38,37,66,51|45,32,32,13,32,26,38,64,0,38,35,23,15,11,36,37,21,42,48,62,31,19,52,25,26,64,49,35,55,3,6,18,9|43,8,47,26,59,11,45,35,38,0,33,3,2,41,19,55,17,57,40,39,62,21,41,20,64,60,66,24,61,14,20,64,32|20,3,9,37,55,64,54,5,35,33,0,30,62,40,44,26,3,60,8,33,25,67,29,69,48,27,44,42,65,70,11,49,37|63,49,43,68,33,55,2,11,23,3,30,0,64,14,54,12,68,36,25,66,4,61,32,66,49,57,21,15,13,39,66,41,69|60,70,61,9,36,34,23,11,15,2,62,64,0,19,28,10,53,70,33,46,21,29,31,34,48,67,35,64,18,21,27,22,50|10,66,46,18,65,49,26,30,11,41,40,14,19,0,64,8,38,26,44,28,1,51,50,2,30,7,26,8,19,7,70,50,49|64,31,44,38,51,47,20,14,36,19,44,54,28,64,0,64,41,41,6,26,66,63,41,4,41,60,29,12,70,36,53,47,58|3,47,3,56,6,7,1,20,37,55,26,12,10,8,64,0,13,36,53,25,35,43,13,10,31,54,24,22,7,31,29,29,11|35,41,68,2,8,29,26,19,21,17,3,68,53,38,41,13,0,3,59,9,58,30,10,24,10,18,5,68,50,1,50,70,16|67,6,56,50,60,12,63,62,42,57,60,36,70,26,41,36,3,0,51,54,11,40,25,59,20,54,53,62,33,53,53,62,21|46,32,65,49,63,14,58,65,48,40,8,25,33,44,6,53,59,51,0,65,51,53,36,4,63,6,44,58,47,33,62,57,16|21,41,48,44,12,60,42,5,62,39,33,66,46,28,26,25,9,54,65,0,17,22,33,29,52,59,44,64,68,39,3,14,7|15,13,17,61,21,40,7,24,31,62,25,4,21,1,66,35,58,11,51,17,0,40,54,23,58,32,10,30,22,2,54,69,3|21,56,40,40,14,68,15,50,19,21,67,61,29,51,63,43,30,40,53,22,40,0,23,32,57,66,19,43,64,43,17,13,40|48,25,57,63,50,70,17,15,52,41,29,32,31,50,41,13,10,25,36,33,54,23,0,55,15,46,2,32,36,44,69,28,13|53,44,37,19,4,50,39,56,25,20,69,66,34,2,4,10,24,59,4,29,23,32,55,0,4,53,65,22,20,47,21,15,26|69,58,56,37,22,3,29,69,26,64,48,49,48,30,41,31,10,20,63,52,58,57,15,4,0,49,49,17,20,43,61,4,52|48,61,39,39,24,15,4,5,64,60,27,57,67,7,60,54,18,54,6,59,32,66,46,53,49,0,51,20,32,11,46,42,17|64,54,26,6,40,28,8,24,49,66,44,21,35,26,29,24,5,53,44,44,10,19,2,65,49,51,0,25,49,53,21,1,66|16,17,41,1,9,49,10,38,35,24,42,15,64,8,12,22,68,62,58,64,30,43,32,22,17,20,25,0,67,24,47,40,53|36,6,10,40,59,50,30,69,55,61,65,13,18,19,70,7,50,33,47,68,22,64,36,20,20,32,49,67,0,47,57,12,6|70,70,19,29,69,65,54,38,3,14,70,39,21,7,36,31,1,53,33,39,2,43,44,47,43,11,53,24,47,0,55,11,26|5,34,51,47,2,23,7,37,6,20,11,66,27,70,53,29,50,53,62,3,54,17,69,21,61,46,21,47,57,55,0,28,19|62,27,17,40,30,58,24,66,18,64,49,41,22,50,47,29,70,62,57,14,69,13,28,15,4,42,1,40,12,11,28,0,14|24,27,18,10,2,1,1,51,9,32,37,69,50,49,58,11,16,21,16,7,3,40,13,26,52,17,66,53,6,26,19,14,0|];
View Git Blame Copy Permalink