n_res = 4; rc = [ 13, 17, 19, 14 ]; n_tasks = 30; d = [ 10, 8, 8, 4, 3, 3, 2, 2, 4, 10, 9, 10, 9, 10, 5, 2, 2, 3, 3, 5, 2, 7, 7, 4, 7, 6, 5, 3, 8, 5 ]; rr = [| 8, 6, 7, 7, 6, 0, 8, 8, 0, 0, 0, 3, 4, 0, 6, 9, 1, 7, 7, 4, 4, 0, 1, 0, 6, 1, 7, 0, 4, 9 | 0, 3, 3, 1, 2, 1, 3, 2, 8, 1, 4, 0, 6, 10, 0, 0, 10, 5, 6, 8, 7, 9, 10, 4, 0, 8, 4, 7, 0, 5 | 4, 0, 3, 6, 0, 0, 5, 1, 10, 10, 5, 4, 9, 7, 5, 8, 4, 3, 4, 9, 9, 0, 10, 7, 1, 8, 8, 10, 6, 0 | 4, 7, 8, 10, 10, 3, 8, 2, 0, 0, 0, 8, 3, 0, 0, 0, 9, 0, 9, 0, 8, 6, 0, 9, 1, 10, 0, 9, 1, 1 |]; suc = [ { 4, 16, 24 }, { 5, 8, 9 }, { 16 }, { 6, 28 }, { 7, 10, 14 }, { 12 }, { 26 }, { 17, 20, 29 }, { 11, 13, 18 }, { 21 }, { 15, 21 }, { 23, 30 }, { 24, 26 }, { 18 }, { 19 }, { 17 }, { 30 }, { 21 }, { 22 }, { 25 }, { 27 }, { 25 }, { 26 }, { 25, 28 }, { 30 }, { 29 }, { 29 }, { }, { }, { } ];