Похоже, что вы пытаетесь указать шесть различных ограничений в синтаксисе одного ограничения. Это не сработает.
Попробуйте вместо:
s.t. worse_outcome_1: z <= A[1] * p[1,1] + A[2] * (p[1,2]+p[1,3]) + p[1,4] + p[2,4];
s.t. worse_outcome_2: z <= A[1] * p[1,1] + A[2] * (p[1,2]+p[1,4]) + A[4] * p[2,3];
s.t. worse_outcome_3: z <= A[1] * p[1,1] + A[2] * (p[1,3]+p[1,4]) + A[4] * p[2,2];
s.t. worse_outcome_4: z <= A[3] * p[2,1] + A[4] * (p[2,2]+p[2,3]) + p[1,4] + p[2,4];
s.t. worse_outcome_5: z <= A[3] * p[2,1] + A[4] * (p[2,2]+p[2,4]) + A[2] * p[1,3];
s.t. worse_outcome_6: z <= A[3] * p[2,1] + A[4] * (p[2,3]+p[2,4]) + A[2] * p[1,2];
Если вы хотите указать несколько правил с помощью одного оператора, вам нужно сделать это с индексированным ограничением. Например, первое и четвертое из приведенных выше ограничений можно объединить в нечто вроде:
s.t. worse_outcome_1_4{i in 1..2}: z <= A[2*i-1] * p[i,1]
+ A[2*i] * (p[i,2]+p[i,3])
+ p[1,4] + p[2,4];