bytecode-benchmarks/mzn-rewriting/city-position/city-5-08.dzn

N = 5;
R = 16;
from = [5, 3, 2, 1, 2, 4, 4, 4, 1, 4, 2, 5, 1, 1, 3, 5];
to = [1, 5, 5, 5, 4, 2, 3, 1, 3, 5, 1, 2, 4, 2, 1, 4];
distance = [133, 224, 155, 133, 4, 4, 83, 31, 94, 158, 27, 155, 31, 27, 94, 158];