bytecode-benchmarks/mzn-rewriting/city-position/city-4-04.dzn

N = 4;
R = 4;
from = [3, 3, 4, 2];
to = [1, 2, 2, 4];
distance = [43, 83, 224, 224];