fpga10_8_sat_rcr.cnf

c
c FPGA Switch Box fpga10_8_sat_rcr.cnf 
c
c Date: Mon Apr  1 22:45:16 EST 2002 
c Copyright (c) 2002 Fadi A. Aloul.
c
p cnf 120 448
-45 -107 0
-28 -104 0
-96 -111 0
-35 -14 0
-64 42 74 79 38 0
-58 -95 0
-70 -76 0
-22 -81 0
-30 -8 0
-14 -2 0
-47 -20 0
-22 -95 0
-60 -64 0
-11 -20 0
-67 -12 0
-5 -74 0
-46 -107 0
-97 -34 0
-90 -70 0
-20 39 65 105 29 0
-56 62 77 68 49 0
-18 -56 0
-38 -73 0
-92 -67 0
-92 -19 0
-100 -115 0
-101 -52 0
-110 -102 0
52 102 107 87 95 76 64 4 34 40 0
-106 -25 0
-81 -44 0
-72 -107 0
-49 -30 0
-9 100 98 80 3 0
-23 -102 0
-18 -117 0
-99 -76 0
-75 -64 0
-92 115 15 10 73 0
-108 -52 0
-117 -52 0
-33 -4 0
-90 -82 0
-84 -97 0
-4 39 65 105 29 0
-47 39 65 105 29 0
-22 -44 0
-45 -113 0
-62 -32 0
-7 -102 0
-99 -70 0
-86 -85 0
-83 42 74 79 38 0
-71 42 74 79 38 0
-22 -36 0
-68 -88 0
-12 115 15 10 73 0
-93 -26 0
-49 -8 0
-11 -47 0
-8 -54 0
-16 2 63 88 112 0
-28 -113 0
-118 -13 0
-101 -108 0
-26 -83 0
-113 -46 0
-23 -110 0
-20 -4 0
-33 -20 0
-18 -57 0
-35 -2 0
-16 -44 0
-18 62 77 68 49 0
-31 100 98 80 3 0
-84 100 98 80 3 0
-33 39 65 105 29 0
-44 -95 0
-62 -14 0
-22 2 63 88 112 0
-120 -13 0
-116 41 5 6 89 0
-111 -87 0
-55 -90 0
-36 -58 0
-56 -117 0
-36 2 63 88 112 0
-96 -13 0
-61 -51 0
-38 -29 0
-68 -27 0
-81 -95 0
-60 42 74 79 38 0
-118 -66 0
117 23 104 103 16 116 26 25 43 119 0
-53 -26 0
-111 -103 0
-77 -17 0
-120 14 85 1 54 0
-43 -31 0
-33 -47 0
-28 32 86 109 8 0
-114 -9 0
-26 -60 0
-72 -104 0
-55 -82 0
-83 -64 0
-94 -51 0
-76 41 5 6 89 0
-1 -88 0
-53 -83 0
-66 -120 0
-71 -60 0
-48 -47 0
-17 -85 0
-56 -57 0
-90 -69 0
-5 -65 0
18 94 45 66 21 99 93 106 114 67 0
-43 -34 0
-74 -98 0
-53 -60 0
-3 -73 0
-16 -95 0
-69 41 5 6 89 0
-72 -113 0
-70 41 5 6 89 0
-90 -76 0
-82 -76 0
-94 -102 0
-109 -1 0
-57 62 77 68 49 0
-118 -103 0
-119 -37 0
-114 -31 0
-62 -2 0
-24 -104 0
-21 -95 0
-75 -60 0
-43 100 98 80 3 0
-41 -100 0
-55 -70 0
-48 -25 0
-11 -4 0
-55 41 5 6 89 0
-120 -87 0
-58 2 63 88 112 0
-41 -42 0
-27 -109 0
-7 -23 0
-12 -19 0
-93 -60 0
-18 -52 0
-119 115 15 10 73 0
-105 -80 0
-24 -113 0
-12 -37 0
-104 -113 0
-51 -110 0
-71 -64 0
-43 -91 0
-11 -25 0
-89 -29 0
-25 -47 0
-49 -54 0
-93 42 74 79 38 0
-93 -53 0
-60 -83 0
-12 -40 0
-37 -40 0
-50 -37 0
-51 35 17 27 30 0
-74 -15 0
-62 -35 0
-6 -105 0
-16 -58 0
-48 39 65 105 29 0
-13 14 85 1 54 0
-93 -83 0
-116 -76 0
-66 -96 0
-101 -57 0
-26 42 74 79 38 0
-61 35 17 27 30 0
-70 -69 0
-50 -119 0
-33 -48 0
-104 32 86 109 8 0
-114 -91 0
-31 -91 0
-61 -23 0
-75 -93 0
-55 -69 0
-46 32 86 109 8 0
-105 -10 0
-36 -81 0
-11 39 65 105 29 0
-39 -115 0
-108 62 77 68 49 0
-45 -46 0
-21 2 63 88 112 0
-5 -15 0
-69 -76 0
-104 -46 0
-77 -63 0
-93 -71 0
-117 -57 0
-91 -34 0
-95 2 63 88 112 0
-24 -72 0
-11 -106 0
-32 -14 0
-106 -47 0
-9 -34 0
-55 -76 0
-106 -48 0
-34 100 98 80 3 0
-40 115 15 10 73 0
-56 -52 0
-99 41 5 6 89 0
-84 -31 0
-19 -37 0
-75 -26 0
-94 -110 0
-97 -91 0
-84 -9 0
-72 -46 0
-57 -52 0
-92 -50 0
-9 -31 0
-59 -18 0
-67 -40 0
-99 -90 0
-36 -44 0
-113 -107 0
-80 -10 0
-114 -97 0
-104 -107 0
-6 -79 0
-23 35 17 27 30 0
-113 32 86 109 8 0
-45 -72 0
-96 -120 0
-59 62 77 68 49 0
-29 -73 0
-94 35 17 27 30 0
-42 -100 0
-71 -83 0
-99 -116 0
-66 -87 0
-59 -117 0
101 61 28 96 36 90 71 33 9 50 0
-21 -44 0
-84 -34 0
-52 62 77 68 49 0
-109 -88 0
-118 14 85 1 54 0
-74 -65 0
-61 -110 0
-59 -57 0
-7 35 17 27 30 0
-6 -10 0
-22 -58 0
-89 -3 0
-24 32 86 109 8 0
-103 -87 0
-71 -26 0
-7 -51 0
-94 -61 0
-51 -102 0
-92 -40 0
-57 -108 0
-66 -103 0
-17 -63 0
-106 -4 0
-65 -15 0
-81 -58 0
-53 42 74 79 38 0
-41 -39 0
-82 -116 0
-94 -23 0
-30 -54 0
-38 -3 0
-30 -112 0
-21 -81 0
-79 -10 0
-79 -105 0
-25 -4 0
-110 35 17 27 30 0
-28 -46 0
-75 -71 0
-92 -12 0
-61 -102 0
-48 -4 0
-59 -101 0
-97 -31 0
-58 -44 0
-78 -110 0
-5 -98 0
-103 14 85 1 54 0
-67 -119 0
-6 -80 0
-68 -109 0
-78 -51 0
-12 -119 0
-75 -83 0
-21 -36 0
-93 -64 0
-98 -15 0
-36 -16 0
-24 -28 0
-78 -94 0
-45 32 86 109 8 0
-111 14 85 1 54 0
-27 -1 0
-114 -43 0
-71 -53 0
-24 -107 0
-21 -58 0
-75 -53 0
-37 115 15 10 73 0
-114 100 98 80 3 0
-82 41 5 6 89 0
-101 62 77 68 49 0
-97 100 98 80 3 0
-67 -37 0
-24 -46 0
-26 -64 0
-47 -4 0
-92 -37 0
-106 -20 0
-103 -13 0
-36 -95 0
-28 -72 0
-59 -56 0
57 51 113 120 58 70 60 47 31 19 0
-39 -100 0
-8 -112 0
-91 100 98 80 3 0
-9 -91 0
-66 14 85 1 54 0
-32 -2 0
56 7 72 111 81 82 53 48 97 12 0
-11 -48 0
-59 -52 0
-96 -87 0
-45 -104 0
-31 -34 0
-17 -86 0
-102 35 17 27 30 0
-44 2 63 88 112 0
-118 -120 0
-9 -43 0
-85 -63 0
-25 39 65 105 29 0
-89 -38 0
-86 -63 0
-99 -82 0
-67 -19 0
-55 -116 0
-22 -16 0
-42 -39 0
-22 -21 0
-7 -110 0
-82 -70 0
-54 -112 0
-50 -40 0
-61 -7 0
-118 -87 0
-78 -61 0
-27 -88 0
-84 -114 0
-96 14 85 1 54 0
-50 -12 0
-49 -112 0
-90 41 5 6 89 0
-50 115 15 10 73 0
-79 -80 0
-118 -111 0
-77 -86 0
-77 -85 0
-33 -25 0
-21 -16 0
-23 -51 0
-19 115 15 10 73 0
-68 -1 0
-116 -69 0
-9 -97 0
-81 -16 0
-41 -115 0
-84 -43 0
-97 -43 0
-90 -116 0
108 110 46 13 44 69 83 20 91 37 0
-106 39 65 105 29 0
-117 62 77 68 49 0
-101 -117 0
-117 -108 0
-35 -32 0
-66 -111 0
-53 -64 0
-101 -56 0
-118 -96 0
-42 -115 0
-18 -108 0
-78 35 17 27 30 0
-11 -33 0
-55 -99 0
-111 -120 0
-107 32 86 109 8 0
-67 -50 0
-75 42 74 79 38 0
-99 -69 0
-66 -13 0
-59 -108 0
-25 -20 0
-103 -120 0
-19 -40 0
-28 -107 0
-87 14 85 1 54 0
-82 -69 0
-92 -119 0
59 78 24 118 22 55 75 11 84 92 0
-65 -98 0
-78 -102 0
-119 -40 0
-72 32 86 109 8 0
-89 -73 0
-48 -20 0
-94 -7 0
-18 -101 0
-45 -28 0
-13 -87 0
-24 -45 0
-50 -19 0
-81 2 63 88 112 0
-84 -91 0
-106 -33 0
-96 -103 0
-78 -7 0
-67 115 15 10 73 0
-29 -3 0
-119 -19 0
-56 -108 0
-114 -34 0
-116 -70 0
-78 -23 0
-111 -13 0