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/community-detection/mexican.s26.k4.dzn

102 lines
16 KiB
MiniZinc
Raw Permalink Blame History

n= 35;
k= 4;
maxsize= 35;
nML= 13;
nCL= 13;
deg= [ 6, 8, 6, 6, 6, 3, 8, 5, 5, 12, 7, 17, 3, 7, 7, 5, 3, 13, 10, 12, 5, 5, 11, 3, 7, 5, 6, 8, 4, 4, 10, 6, 6, 3, 2] ;
ML= [| 2, 12,
| 12, 2,
| 4, 12,
| 31, 29,
| 32, 20,
| 28, 15,
| 1, 1,
| 11, 3,
| 34, 31,
| 2, 12,
| 7, 1,
| 28, 26,
| 31, 28|] ;
CL= [| 18, 2,
| 5, 21,
| 9, 27,
| 23, 6,
| 26, 4,
| 18, 8,
| 11, 18,
| 32, 3,
| 11, 23,
| 30, 12,
| 19, 4,
| 10, 25,
| 4, 23|] ;
A= [| 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 1, 0, 1, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 1, 1, 0, 1, 0, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 1, 1, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 1, 1, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 1, 1, 1, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 0, 1, 1, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 0, 0, 1, 1, 1, 0, 1, 0, 1, 0, 1, 1, 1, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1,
| 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 0, 0, 0, 0, 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1, 1, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
| 0, 1, 0, 0, 0, 1, 0, 0, 1, 0, 1, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 0, 1, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 1, 0, 0, 0, 1, 1, 1, 1, 0, 1, 1, 0, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 1, 0, 1, 1, 0, 1, 1, 1, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 1, 1, 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 0, 0, 0, 1, 1, 0, 1, 0, 1, 1, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 1, 0, 1, 0,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1,
| 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0|] ;
W= [| -1538, 7949, 8462, 8462, 8462, 9231, 7949, -1282, -1282, -3077, -1795, -4359, -769, -1795, -1795, -1282, -769, -3333, -2564, -3077, -1282, -1282, -2821, -769, -1795, -1282, -1538, -2051, -1026, -1026, -2564, -1538, -1538, -769, -513,
| 7949, -2735, 7949, 7949, 7949, 8974, 7265, 8291, -1709, -4103, -2393, -5812, -1026, -2393, -2393, -1709, -1026, 5556, -3419, -4103, -1709, -1709, -3761, -1026, -2393, -1709, -2051, -2735, -1368, -1368, -3419, -2051, -2051, -1026, -684,
| 8462, 7949, -1538, 8462, -1538, -769, 7949, 8718, -1282, 6923, -1795, -4359, -769, -1795, -1795, -1282, -769, -3333, -2564, -3077, -1282, -1282, -2821, -769, -1795, -1282, -1538, -2051, -1026, -1026, -2564, -1538, -1538, -769, -513,
| 8462, 7949, 8462, -1538, -1538, -769, 7949, -1282, -1282, 6923, -1795, -4359, -769, 8205, -1795, -1282, -769, -3333, -2564, -3077, -1282, -1282, -2821, -769, -1795, -1282, -1538, -2051, -1026, -1026, -2564, -1538, -1538, -769, -513,
| 8462, 7949, -1538, -1538, -1538, -769, -2051, 8718, 8718, 6923, -1795, 5641, -769, -1795, -1795, -1282, -769, -3333, -2564, -3077, -1282, -1282, -2821, -769, -1795, -1282, -1538, -2051, -1026, -1026, -2564, -1538, -1538, -769, -513,
| 9231, 8974, -769, -769, -769, -385, -1026, -641, -641, -1538, -897, -2179, -385, -897, -897, -641, -385, 8333, -1282, -1538, -641, -641, -1410, -385, -897, -641, -769, -1026, -513, -513, -1282, -769, -769, -385, -256,
| 7949, 7265, 7949, 7949, -2051, -1026, -2735, -1709, -1709, 5897, 7607, -5812, -1026, -2393, -2393, -1709, -1026, -4444, -3419, -4103, -1709, 8291, 6239, -1026, -2393, -1709, -2051, -2735, -1368, -1368, -3419, -2051, -2051, -1026, -684,
| -1282, 8291, 8718, -1282, 8718, -641, -1709, -1068, 8932, -2564, -1496, 6368, -641, -1496, -1496, -1068, -641, -2778, -2137, -2564, -1068, -1068, -2350, -641, -1496, -1068, -1282, -1709, -855, -855, -2137, -1282, -1282, -641, -427,
| -1282, -1709, -1282, -1282, 8718, -641, -1709, 8932, -1068, 7436, 8504, -3632, -641, -1496, -1496, -1068, -641, 7222, -2137, -2564, -1068, -1068, -2350, -641, -1496, -1068, -1282, -1709, -855, -855, -2137, -1282, -1282, -641, -427,
| -3077, -4103, 6923, 6923, 6923, -1538, 5897, -2564, 7436, -6154, 6410, 1282, 8462, 6410, -3590, 7436, -1538, -6667, -5128, -6154, -2564, -2564, -5641, -1538, -3590, -2564, -3077, -4103, -2051, -2051, 4872, -3077, -3077, -1538, 8974,
| -1795, -2393, -1795, -1795, -1795, -897, 7607, -1496, 8504, 6410, -2094, 4915, -897, -2094, -2094, -1496, -897, 6111, -2991, -3590, -1496, 8504, -3291, -897, 7906, -1496, -1795, -2393, -1197, -1197, -2991, -1795, -1795, -897, -598,
| -4359, -5812, -4359, -4359, 5641, -2179, -5812, 6368, -3632, 1282, 4915, -12350, -2179, 4915, -5085, 6368, 7821, 556, 2735, 1282, -3632, 6368, 2009, 7821, 4915, -3632, 5641, 4188, -2906, -2906, -7265, -4359, -4359, 7821, -1453,
| -769, -1026, -769, -769, -769, -385, -1026, -641, -641, 8462, -897, -2179, -385, 9103, 9103, -641, -385, -1667, -1282, -1538, -641, -641, -1410, -385, -897, -641, -769, -1026, -513, -513, -1282, -769, -769, -385, -256,
| -1795, -2393, -1795, 8205, -1795, -897, -2393, -1496, -1496, 6410, -2094, 4915, 9103, -2094, 7906, -1496, -897, -3889, -2991, 6410, -1496, -1496, -3291, -897, -2094, -1496, -1795, -2393, -1197, -1197, -2991, 8205, -1795, -897, -598,
| -1795, -2393, -1795, -1795, -1795, -897, -2393, -1496, -1496, -3590, -2094, -5085, 9103, 7906, -2094, -1496, -897, -3889, -2991, 6410, -1496, -1496, -3291, -897, -2094, -1496, 8205, -2393, 8803, -1197, -2991, 8205, 8205, -897, -598,
| -1282, -1709, -1282, -1282, -1282, -641, -1709, -1068, -1068, 7436, -1496, 6368, -641, -1496, -1496, -1068, -641, 7222, 7863, -2564, -1068, -1068, -2350, -641, -1496, 8932, -1282, -1709, -855, -855, -2137, -1282, -1282, -641, -427,
| -769, -1026, -769, -769, -769, -385, -1026, -641, -641, -1538, -897, 7821, -385, -897, -897, -641, -385, 8333, -1282, -1538, -641, -641, 8590, -385, -897, -641, -769, -1026, -513, -513, -1282, -769, -769, -385, -256,
| -3333, 5556, -3333, -3333, -3333, 8333, -4444, -2778, 7222, -6667, 6111, 556, -1667, -3889, -3889, 7222, 8333, -7222, 4444, -6667, 7222, -2778, 3889, 8333, -3889, -2778, -3333, 5556, -2222, 7778, -5556, -3333, -3333, -1667, -1111,
| -2564, -3419, -2564, -2564, -2564, -1282, -3419, -2137, -2137, -5128, -2991, 2735, -1282, -2991, -2991, 7863, -1282, 4444, -4274, -5128, 7863, -2137, -4701, -1282, 7009, 7863, 7436, 6581, -1709, 8291, 5726, -2564, -2564, -1282, -855,
| -3077, -4103, -3077, -3077, -3077, -1538, -4103, -2564, -2564, -6154, -3590, 1282, -1538, 6410, 6410, -2564, -1538, -6667, -5128, -6154, 7436, -2564, 4359, -1538, 6410, 7436, -3077, 5897, 7949, -2051, 4872, 6923, 6923, -1538, -1026,
| -1282, -1709, -1282, -1282, -1282, -641, -1709, -1068, -1068, -2564, -1496, -3632, -641, -1496, -1496, -1068, -641, 7222, 7863, 7436, -1068, -1068, 7650, -641, -1496, -1068, -1282, -1709, -855, -855, 7863, -1282, -1282, -641, -427,
| -1282, -1709, -1282, -1282, -1282, -641, 8291, -1068, -1068, -2564, 8504, 6368, -641, -1496, -1496, -1068, -641, -2778, -2137, -2564, -1068, -1068, 7650, -641, -1496, -1068, 8718, -1709, -855, -855, -2137, -1282, -1282, -641, -427,
| -2821, -3761, -2821, -2821, -2821, -1410, 6239, -2350, -2350, -5641, -3291, 2009, -1410, -3291, -3291, -2350, 8590, 3889, -4701, 4359, 7650, 7650, -5171, -1410, 6709, -2350, 7179, 6239, -1880, -1880, 5299, -2821, -2821, -1410, -940,
| -769, -1026, -769, -769, -769, -385, -1026, -641, -641, -1538, -897, 7821, -385, -897, -897, -641, -385, 8333, -1282, -1538, -641, -641, -1410, -385, -897, -641, -769, -1026, -513, 9487, -1282, -769, -769, -385, -256,
| -1795, -2393, -1795, -1795, -1795, -897, -2393, -1496, -1496, -3590, 7906, 4915, -897, -2094, -2094, -1496, -897, -3889, 7009, 6410, -1496, -1496, 6709, -897, -2094, 8504, -1795, 7607, -1197, -1197, -2991, -1795, -1795, -897, -598,
| -1282, -1709, -1282, -1282, -1282, -641, -1709, -1068, -1068, -2564, -1496, -3632, -641, -1496, -1496, 8932, -641, -2778, 7863, 7436, -1068, -1068, -2350, -641, 8504, -1068, -1282, -1709, 9145, -855, -2137, -1282, -1282, -641, -427,
| -1538, -2051, -1538, -1538, -1538, -769, -2051, -1282, -1282, -3077, -1795, 5641, -769, -1795, 8205, -1282, -769, -3333, 7436, -3077, -1282, 8718, 7179, -769, -1795, -1282, -1538, -2051, -1026, -1026, 7436, -1538, -1538, -769, -513,
| -2051, -2735, -2051, -2051, -2051, -1026, -2735, -1709, -1709, -4103, -2393, 4188, -1026, -2393, -2393, -1709, -1026, 5556, 6581, 5897, -1709, -1709, 6239, -1026, 7607, -1709, -2051, -2735, -1368, -1368, 6581, -2051, 7949, -1026, -684,
| -1026, -1368, -1026, -1026, -1026, -513, -1368, -855, -855, -2051, -1197, -2906, -513, -1197, 8803, -855, -513, -2222, -1709, 7949, -855, -855, -1880, -513, -1197, 9145, -1026, -1368, -684, -684, -1709, 8974, -1026, -513, -342,
| -1026, -1368, -1026, -1026, -1026, -513, -1368, -855, -855, -2051, -1197, -2906, -513, -1197, -1197, -855, -513, 7778, 8291, -2051, -855, -855, -1880, 9487, -1197, -855, -1026, -1368, -684, -684, 8291, -1026, -1026, -513, -342,
| -2564, -3419, -2564, -2564, -2564, -1282, -3419, -2137, -2137, 4872, -2991, -7265, -1282, -2991, -2991, -2137, -1282, -5556, 5726, 4872, 7863, -2137, 5299, -1282, -2991, -2137, 7436, 6581, -1709, 8291, -4274, 7436, 7436, -1282, -855,
| -1538, -2051, -1538, -1538, -1538, -769, -2051, -1282, -1282, -3077, -1795, -4359, -769, 8205, 8205, -1282, -769, -3333, -2564, 6923, -1282, -1282, -2821, -769, -1795, -1282, -1538, -2051, 8974, -1026, 7436, -1538, 8462, -769, -513,
| -1538, -2051, -1538, -1538, -1538, -769, -2051, -1282, -1282, -3077, -1795, -4359, -769, -1795, 8205, -1282, -769, -3333, -2564, 6923, -1282, -1282, -2821, -769, -1795, -1282, -1538, 7949, -1026, -1026, 7436, 8462, -1538, 9231, -513,
| -769, -1026, -769, -769, -769, -385, -1026, -641, -641, -1538, -897, 7821, -385, -897, -897, -641, -385, -1667, -1282, -1538, -641, -641, -1410, -385, -897, -641, -769, -1026, -513, -513, -1282, -769, 9231, -385, 9744,
| -513, -684, -513, -513, -513, -256, -684, -427, -427, 8974, -598, -1453, -256, -598, -598, -427, -256, -1111, -855, -1026, -427, -427, -940, -256, -598, -427, -513, -684, -342, -342, -855, -513, -513, 9744, -171|] ;
View Git Blame Copy Permalink