1predicate jacop_cumulative(array [int] of var int: s,array [int] of var int: d,array [int] of var int: r,var int: b); 2array [1..2] of int: X_INTRODUCED_9 = [1,-1]; 3var 0..0: X_INTRODUCED_0; 4var 1..9: X_INTRODUCED_1; 5var 0..9: X_INTRODUCED_2; 6var 0..0: X_INTRODUCED_3; 7var 1..9: X_INTRODUCED_4; 8var 0..9: X_INTRODUCED_5; 9var 0..0: X_INTRODUCED_6; 10var 1..9: X_INTRODUCED_7; 11var 0..9: X_INTRODUCED_8; 12var 0..9: X_INTRODUCED_12 ::var_is_introduced :: is_defined_var; 13var 0..9: X_INTRODUCED_15 ::var_is_introduced :: is_defined_var; 14var 0..9: X_INTRODUCED_18 ::var_is_introduced :: is_defined_var; 15array [1..3] of var int: mark1:: output_array([1..3]) = [0,X_INTRODUCED_1,X_INTRODUCED_2]; 16array [1..3] of var int: mark2:: output_array([1..3]) = [0,X_INTRODUCED_4,X_INTRODUCED_5]; 17array [1..3] of var int: mark3:: output_array([1..3]) = [0,X_INTRODUCED_7,X_INTRODUCED_8]; 18array [1..3] of var int: differences1 = [X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_12]; 19array [1..3] of var int: differences2 = [X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_15]; 20array [1..3] of var int: differences3 = [X_INTRODUCED_7,X_INTRODUCED_8,X_INTRODUCED_18]; 21array [1..3] of var int: X_INTRODUCED_20 ::var_is_introduced = [1,1,1]; 22array [1..3] of var int: X_INTRODUCED_21 ::var_is_introduced = [11,11,11]; 23array [1..3] of var int: X_INTRODUCED_29 ::var_is_introduced = [X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_12]; 24array [1..3] of var int: X_INTRODUCED_30 ::var_is_introduced = [1,1,1]; 25array [1..3] of var int: X_INTRODUCED_31 ::var_is_introduced = [11,11,11]; 26array [1..3] of var int: X_INTRODUCED_39 ::var_is_introduced = [X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_15]; 27array [1..3] of var int: X_INTRODUCED_40 ::var_is_introduced = [1,1,1]; 28array [1..3] of var int: X_INTRODUCED_41 ::var_is_introduced = [11,11,11]; 29array [1..3] of var int: X_INTRODUCED_49 ::var_is_introduced = [X_INTRODUCED_7,X_INTRODUCED_8,X_INTRODUCED_18]; 30constraint int_lin_le([2,-1],[X_INTRODUCED_1,X_INTRODUCED_2],-1); 31constraint jacop_cumulative(X_INTRODUCED_29,X_INTRODUCED_20,X_INTRODUCED_21,15):: bounds; 32constraint int_lin_le(X_INTRODUCED_9,[X_INTRODUCED_1,X_INTRODUCED_2],-1); 33constraint int_lin_le([2,-1],[X_INTRODUCED_4,X_INTRODUCED_5],-1); 34constraint jacop_cumulative(X_INTRODUCED_39,X_INTRODUCED_30,X_INTRODUCED_31,15):: bounds; 35constraint int_lin_le(X_INTRODUCED_9,[X_INTRODUCED_4,X_INTRODUCED_5],-1); 36constraint int_lin_le([2,-1],[X_INTRODUCED_7,X_INTRODUCED_8],-1); 37constraint jacop_cumulative(X_INTRODUCED_49,X_INTRODUCED_40,X_INTRODUCED_41,15):: bounds; 38constraint int_lin_le(X_INTRODUCED_9,[X_INTRODUCED_7,X_INTRODUCED_8],-1); 39constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_2,X_INTRODUCED_1,X_INTRODUCED_12],0):: defines_var(X_INTRODUCED_12); 40constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_5,X_INTRODUCED_4,X_INTRODUCED_15],0):: defines_var(X_INTRODUCED_15); 41constraint int_lin_eq([1,-1,-1],[X_INTRODUCED_8,X_INTRODUCED_7,X_INTRODUCED_18],0):: defines_var(X_INTRODUCED_18); 42solve :: int_search([X_INTRODUCED_0,X_INTRODUCED_1,X_INTRODUCED_2,X_INTRODUCED_3,X_INTRODUCED_4,X_INTRODUCED_5,X_INTRODUCED_6,X_INTRODUCED_7,X_INTRODUCED_8],input_order,indomain_min,complete) minimize X_INTRODUCED_5; 43