c Bi-Objective MCNF Dimacs file generated by BiOptSat
c Original instance file: /wrk-vakka/users/chrisjab/set-cover-generated/fixed-element-prob-100-20-0.1-2.dat
c Lines containing clauses start with h
c Soft clauses start either with o1 or o2, depending on which objective they belong to
c All soft clauses are unit
h 7 10 16 18 29 37 48 73 76 82 84 0
h 15 26 28 30 51 56 60 66 78 0
h 22 32 38 71 73 0
h 9 11 12 23 27 36 38 39 44 55 58 60 61 77 80 84 0
h 3 9 21 45 50 56 61 0
h 14 61 69 0
h 3 4 17 44 53 74 82 0
h 16 25 26 46 0
h 12 50 60 63 72 73 75 0
h 13 25 35 45 49 51 53 54 61 71 73 0
h 35 63 66 76 81 85 0
h 3 7 35 40 41 48 53 54 62 79 86 0
h 9 24 27 33 43 48 50 57 74 0
h 17 31 32 39 42 43 46 58 64 65 70 0
h 2 6 7 10 16 37 38 46 50 59 68 75 78 83 0
h 12 18 20 37 51 52 61 64 65 75 84 86 0
h 14 26 27 32 39 42 44 60 0
h 19 28 31 34 41 47 53 62 68 74 0
h 1 6 7 8 16 17 19 34 39 53 54 58 67 0
h 2 4 5 8 19 40 53 63 69 73 0
o1 84 -1 0
o1 27 -2 0
o1 11 -3 0
o1 30 -4 0
o1 42 -5 0
o1 82 -6 0
o1 46 -7 0
o1 10 -8 0
o1 34 -9 0
o1 82 -10 0
o1 73 -11 0
o1 100 -12 0
o1 19 -13 0
o1 89 -14 0
o1 6 -15 0
o1 28 -16 0
o1 21 -17 0
o1 31 -18 0
o1 57 -19 0
o1 27 -20 0
o1 16 -21 0
o1 75 -22 0
o1 44 -23 0
o1 68 -24 0
o1 95 -25 0
o1 43 -26 0
o1 22 -27 0
o1 94 -28 0
o1 97 -29 0
o1 87 -30 0
o1 69 -31 0
o1 39 -32 0
o1 40 -33 0
o1 4 -34 0
o1 19 -35 0
o1 34 -36 0
o1 35 -37 0
o1 58 -38 0
o1 52 -39 0
o1 90 -40 0
o1 88 -41 0
o1 78 -42 0
o1 98 -43 0
o1 93 -44 0
o1 23 -45 0
o1 48 -46 0
o1 57 -47 0
o1 70 -48 0
o1 71 -49 0
o1 11 -50 0
o1 48 -51 0
o1 11 -52 0
o1 96 -53 0
o1 45 -54 0
o1 89 -55 0
o1 68 -56 0
o1 50 -57 0
o1 85 -58 0
o1 60 -59 0
o1 46 -60 0
o1 41 -61 0
o1 60 -62 0
o1 52 -63 0
o1 79 -64 0
o1 60 -65 0
o1 48 -66 0
o1 87 -67 0
o1 22 -68 0
o1 49 -69 0
o1 90 -70 0
o1 45 -71 0
o1 62 -72 0
o1 8 -73 0
o1 83 -74 0
o1 45 -75 0
o1 50 -76 0
o1 10 -77 0
o1 64 -78 0
o1 34 -79 0
o1 77 -80 0
o1 53 -81 0
o1 6 -82 0
o1 22 -83 0
o1 26 -84 0
o1 11 -85 0
o1 51 -86 0
o2 53 -1 0
o2 71 -2 0
o2 58 -3 0
o2 46 -4 0
o2 27 -5 0
o2 90 -6 0
o2 33 -7 0
o2 84 -8 0
o2 45 -9 0
o2 70 -10 0
o2 98 -11 0
o2 79 -12 0
o2 60 -13 0
o2 11 -14 0
o2 77 -15 0
o2 41 -16 0
o2 37 -17 0
o2 99 -18 0
o2 18 -19 0
o2 50 -20 0
o2 19 -21 0
o2 79 -22 0
o2 61 -23 0
o2 16 -24 0
o2 10 -25 0
o2 2 -26 0
o2 86 -27 0
o2 38 -28 0
o2 10 -29 0
o2 28 -30 0
o2 46 -31 0
o2 54 -32 0
o2 49 -33 0
o2 62 -34 0
o2 63 -35 0
o2 63 -36 0
o2 51 -37 0
o2 45 -38 0
o2 94 -39 0
o2 76 -40 0
o2 6 -41 0
o2 58 -42 0
o2 89 -43 0
o2 51 -44 0
o2 55 -45 0
o2 97 -46 0
o2 55 -47 0
o2 23 -48 0
o2 11 -49 0
o2 69 -50 0
o2 99 -51 0
o2 56 -52 0
o2 10 -53 0
o2 79 -54 0
o2 30 -55 0
o2 93 -56 0
o2 26 -57 0
o2 79 -58 0
o2 9 -59 0
o2 4 -60 0
o2 30 -61 0
o2 49 -62 0
o2 1 -63 0
o2 62 -64 0
o2 83 -65 0
o2 51 -66 0
o2 12 -67 0
o2 83 -68 0
o2 52 -69 0
o2 99 -70 0
o2 36 -71 0
o2 45 -72 0
o2 26 -73 0
o2 32 -74 0
o2 24 -75 0
o2 5 -76 0
o2 74 -77 0
o2 100 -78 0
o2 37 -79 0
o2 79 -80 0
o2 53 -81 0
o2 63 -82 0
o2 1 -83 0
o2 87 -84 0
o2 15 -85 0
o2 97 -86 0