dekker.one / bytecode-benchmarks
A set of benchmarks to compare a new prototype MiniZinc implementation
fork atom
bytecode-benchmarks / mzn-rewriting / community-detection / Sampson.s10.k3.dzn
at develop 8.5 kB view raw
1n= 25; 2k= 3; 3maxsize= 25; 4nML= 5; 5nCL= 5; 6deg= [ 6, 2, 4, 4, 7, 7, 6, 4, 2, 5, 10, 3, 8, 4, 5, 9, 4, 6, 8, 6, 5, 7, 7, 3, 6] ; 7ML= [| 14, 3, 8| 20, 21, 9| 11, 3, 10| 2, 3, 11| 20, 6|] ; 12CL= [| 23, 11, 13| 4, 24, 14| 8, 10, 15| 9, 6, 16| 15, 8|] ; 17A= [| 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 18| 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 19| 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 20| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 21| 1, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 22| 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 1, 23| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 1, 0, 1, 24| 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 25| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 26| 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 27| 0, 0, 1, 1, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 28| 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 29| 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 1, 1, 0, 1, 30| 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 31| 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 32| 1, 0, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 33| 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 34| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 1, 0, 0, 35| 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 1, 1, 1, 0, 0, 36| 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 37| 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 38| 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 39| 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 40| 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 41| 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0|] ; 42W= [| -2609, -870, 8261, -1739, 6957, -3043, -2609, -1739, -870, 7826, -4348, -1304, 6522, -1739, 7826, 6087, -1739, -2609, -3478, -2609, -2174, -3043, -3043, -1304, -2609, 43| -870, -290, -580, -580, -1014, -1014, -870, -580, -290, 9275, -1449, 9565, -1159, -580, -725, -1304, -580, -870, -1159, -870, -725, -1014, -1014, -435, -870, 44| 8261, -580, -1159, -1159, 7971, -2029, -1739, -1159, -580, -1449, 7101, -870, -2319, -1159, -1449, 7391, -1159, -1739, -2319, -1739, -1449, -2029, -2029, -870, -1739, 45| -1739, -580, -1159, -1159, -2029, -2029, -1739, -1159, -580, -1449, 7101, 9130, -2319, 8841, -1449, 7391, -1159, -1739, -2319, -1739, -1449, -2029, -2029, -870, -1739, 46| 6957, -1014, 7971, -2029, -3551, -3551, -3043, -2029, -1014, 7464, 4928, -1522, -4058, 7971, 7464, 5435, -2029, -3043, -4058, -3043, -2536, -3551, -3551, -1522, -3043, 47| -3043, -1014, -2029, -2029, -3551, -3551, -3043, 7971, -1014, -2536, 4928, -1522, -4058, -2029, -2536, -4565, -2029, -3043, 5942, -3043, 7464, 6449, 6449, -1522, 6957, 48| -2609, -870, -1739, -1739, -3043, -3043, -2609, -1739, -870, -2174, -4348, -1304, 6522, -1739, -2174, -3913, -1739, -2609, 6522, -2609, 7826, 6957, 6957, -1304, 7391, 49| -1739, -580, -1159, -1159, -2029, 7971, -1739, -1159, -580, -1449, -2899, -870, -2319, -1159, -1449, -2609, -1159, -1739, -2319, 8261, -1449, -2029, -2029, 9130, 8261, 50| -870, -290, -580, -580, -1014, -1014, -870, -580, -290, -725, 8551, -435, 8841, -580, -725, -1304, -580, -870, -1159, -870, -725, -1014, -1014, -435, -870, 51| 7826, 9275, -1449, -1449, 7464, -2536, -2174, -1449, -725, -1812, 6377, -1087, -2899, -1449, -1812, -3261, 8551, -2174, -2899, -2174, -1812, -2536, -2536, -1087, -2174, 52| -4348, -1449, 7101, 7101, 4928, 4928, -4348, -2899, 8551, 6377, -7246, -2174, -5797, 7101, -3623, -6522, -2899, 5652, -5797, 5652, -3623, 4928, -5072, -2174, -4348, 53| -1304, 9565, -870, 9130, -1522, -1522, -1304, -870, -435, -1087, -2174, -652, -1739, -870, -1087, -1957, -870, 8696, -1739, -1304, -1087, -1522, -1522, -652, -1304, 54| 6522, -1159, -2319, -2319, -4058, -4058, 6522, -2319, 8841, -2899, -5797, -1739, -4638, -2319, -2899, -5217, -2319, -3478, 5362, 6522, -2899, 5942, 5942, -1739, 6522, 55| -1739, -580, -1159, 8841, 7971, -2029, -1739, -1159, -580, -1449, 7101, -870, -2319, -1159, -1449, 7391, -1159, -1739, -2319, -1739, -1449, -2029, -2029, -870, -1739, 56| 7826, -725, -1449, -1449, 7464, -2536, -2174, -1449, -725, -1812, -3623, -1087, -2899, -1449, -1812, 6739, 8551, 7826, -2899, -2174, -1812, -2536, -2536, -1087, -2174, 57| 6087, -1304, 7391, 7391, 5435, -4565, -3913, -2609, -1304, -3261, -6522, -1957, -5217, 7391, 6739, -5870, -2609, 6087, 4783, -3913, -3261, -4565, 5435, -1957, -3913, 58| -1739, -580, -1159, -1159, -2029, -2029, -1739, -1159, -580, 8551, -2899, -870, -2319, -1159, 8551, -2609, -1159, -1739, 7681, 8261, -1449, -2029, -2029, -870, -1739, 59| -2609, -870, -1739, -1739, -3043, -3043, -2609, -1739, -870, -2174, 5652, 8696, -3478, -1739, 7826, 6087, -1739, -2609, -3478, -2609, 7826, -3043, 6957, -1304, -2609, 60| -3478, -1159, -2319, -2319, -4058, 5942, 6522, -2319, -1159, -2899, -5797, -1739, 5362, -2319, -2899, 4783, 7681, -3478, -4638, -3478, 7101, 5942, 5942, -1739, -3478, 61| -2609, -870, -1739, -1739, -3043, -3043, -2609, 8261, -870, -2174, 5652, -1304, 6522, -1739, -2174, -3913, 8261, -2609, -3478, -2609, -2174, -3043, -3043, 8696, 7391, 62| -2174, -725, -1449, -1449, -2536, 7464, 7826, -1449, -725, -1812, -3623, -1087, -2899, -1449, -1812, -3261, -1449, 7826, 7101, -2174, -1812, 7464, -2536, -1087, -2174, 63| -3043, -1014, -2029, -2029, -3551, 6449, 6957, -2029, -1014, -2536, 4928, -1522, 5942, -2029, -2536, -4565, -2029, -3043, 5942, -3043, 7464, -3551, 6449, -1522, -3043, 64| -3043, -1014, -2029, -2029, -3551, 6449, 6957, -2029, -1014, -2536, -5072, -1522, 5942, -2029, -2536, 5435, -2029, 6957, 5942, -3043, -2536, 6449, -3551, -1522, -3043, 65| -1304, -435, -870, -870, -1522, -1522, -1304, 9130, -435, -1087, -2174, -652, -1739, -870, -1087, -1957, -870, -1304, -1739, 8696, -1087, -1522, -1522, -652, 8696, 66| -2609, -870, -1739, -1739, -3043, 6957, 7391, 8261, -870, -2174, -4348, -1304, 6522, -1739, -2174, -3913, -1739, -2609, -3478, 7391, -2174, -3043, -3043, 8696, -2609|] ;