c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 90; Distribution: paths; Runs: 30; Seed: 1151601916 c % Paths Distribution Parameters: c % Initial connections: = 2 c % Edge density: = 3.000000 c % Shipping cost factor: = 1.500000 c % Max bid set size: = 5 c % Building penalty: = 1.700000 c c c c PSEUDOBOOLEAN 60406 p wcnf 92 758 60406 103 1 0 97 2 0 873 3 0 873 4 0 873 5 0 873 6 0 873 7 0 400 8 0 912 9 0 121 10 0 54 11 0 150 12 0 389 13 0 912 14 0 129 15 0 356 16 0 356 17 0 356 18 0 356 19 0 562 20 0 143 21 0 143 22 0 794 23 0 794 24 0 463 25 0 585 26 0 891 27 0 891 28 0 891 29 0 891 30 0 891 31 0 704 32 0 704 33 0 704 34 0 704 35 0 549 36 0 549 37 0 549 38 0 842 39 0 1010 40 0 1010 41 0 1010 42 0 1010 43 0 1010 44 0 693 45 0 693 46 0 881 47 0 881 48 0 881 49 0 881 50 0 881 51 0 702 52 0 702 53 0 231 54 0 970 55 0 970 56 0 970 57 0 672 58 0 191 59 0 191 60 0 848 61 0 848 62 0 847 63 0 228 64 0 228 65 0 228 66 0 782 67 0 114 68 0 644 69 0 644 70 0 644 71 0 644 72 0 644 73 0 978 74 0 978 75 0 978 76 0 978 77 0 978 78 0 932 79 0 932 80 0 932 81 0 932 82 0 932 83 0 82 84 0 570 85 0 570 86 0 570 87 0 596 88 0 596 89 0 596 90 0 596 91 0 596 92 0 60406 -1 -15 0 60406 -1 -18 0 60406 -1 -19 0 60406 -1 -25 0 60406 -1 -31 0 60406 -1 -85 0 60406 -1 -86 0 60406 -1 -90 0 60406 -2 -14 0 60406 -3 -4 0 60406 -3 -5 0 60406 -3 -22 0 60406 -3 -34 0 60406 -3 -42 0 60406 -3 -43 0 60406 -3 -44 0 60406 -3 -49 0 60406 -3 -51 0 60406 -3 -66 0 60406 -3 -78 0 60406 -3 -80 0 60406 -3 -82 0 60406 -3 -6 0 60406 -3 -7 0 60406 -4 -5 0 60406 -4 -22 0 60406 -4 -34 0 60406 -4 -42 0 60406 -4 -43 0 60406 -4 -44 0 60406 -4 -49 0 60406 -4 -51 0 60406 -4 -66 0 60406 -4 -78 0 60406 -4 -80 0 60406 -4 -82 0 60406 -4 -20 0 60406 -4 -68 0 60406 -4 -74 0 60406 -4 -76 0 60406 -4 -77 0 60406 -4 -7 0 60406 -4 -24 0 60406 -4 -27 0 60406 -4 -6 0 60406 -5 -22 0 60406 -5 -34 0 60406 -5 -42 0 60406 -5 -43 0 60406 -5 -44 0 60406 -5 -49 0 60406 -5 -51 0 60406 -5 -66 0 60406 -5 -78 0 60406 -5 -80 0 60406 -5 -82 0 60406 -5 -7 0 60406 -5 -23 0 60406 -5 -57 0 60406 -5 -62 0 60406 -5 -75 0 60406 -5 -12 0 60406 -5 -39 0 60406 -5 -40 0 60406 -5 -41 0 60406 -5 -65 0 60406 -5 -6 0 60406 -6 -7 0 60406 -6 -22 0 60406 -6 -33 0 60406 -6 -35 0 60406 -6 -45 0 60406 -6 -46 0 60406 -6 -49 0 60406 -6 -51 0 60406 -6 -58 0 60406 -6 -66 0 60406 -6 -81 0 60406 -7 -22 0 60406 -7 -33 0 60406 -7 -35 0 60406 -7 -45 0 60406 -7 -46 0 60406 -7 -49 0 60406 -7 -51 0 60406 -7 -58 0 60406 -7 -66 0 60406 -7 -81 0 60406 -8 -18 0 60406 -8 -19 0 60406 -8 -32 0 60406 -8 -35 0 60406 -8 -67 0 60406 -8 -87 0 60406 -8 -91 0 60406 -8 -31 0 60406 -8 -78 0 60406 -8 -83 0 60406 -8 -90 0 60406 -8 -54 0 60406 -9 -14 0 60406 -9 -20 0 60406 -9 -29 0 60406 -9 -30 0 60406 -9 -31 0 60406 -9 -34 0 60406 -9 -77 0 60406 -10 -16 0 60406 -10 -17 0 60406 -10 -33 0 60406 -10 -34 0 60406 -10 -63 0 60406 -10 -69 0 60406 -10 -70 0 60406 -10 -71 0 60406 -10 -72 0 60406 -10 -73 0 60406 -10 -87 0 60406 -10 -91 0 60406 -11 -13 0 60406 -11 -46 0 60406 -11 -73 0 60406 -11 -85 0 60406 -11 -87 0 60406 -12 -39 0 60406 -12 -40 0 60406 -12 -41 0 60406 -12 -65 0 60406 -12 -66 0 60406 -12 -75 0 60406 -12 -80 0 60406 -13 -46 0 60406 -13 -73 0 60406 -13 -85 0 60406 -13 -87 0 60406 -13 -25 0 60406 -13 -63 0 60406 -13 -72 0 60406 -13 -86 0 60406 -14 -20 0 60406 -14 -29 0 60406 -14 -30 0 60406 -14 -31 0 60406 -14 -34 0 60406 -14 -77 0 60406 -15 -18 0 60406 -15 -19 0 60406 -15 -25 0 60406 -15 -31 0 60406 -15 -85 0 60406 -15 -86 0 60406 -15 -90 0 60406 -16 -17 0 60406 -16 -33 0 60406 -16 -34 0 60406 -16 -63 0 60406 -16 -69 0 60406 -16 -70 0 60406 -16 -71 0 60406 -16 -72 0 60406 -16 -73 0 60406 -16 -87 0 60406 -16 -91 0 60406 -16 -18 0 60406 -16 -19 0 60406 -16 -59 0 60406 -16 -60 0 60406 -16 -88 0 60406 -16 -89 0 60406 -16 -90 0 60406 -16 -38 0 60406 -17 -33 0 60406 -17 -34 0 60406 -17 -63 0 60406 -17 -69 0 60406 -17 -70 0 60406 -17 -71 0 60406 -17 -72 0 60406 -17 -73 0 60406 -17 -87 0 60406 -17 -91 0 60406 -17 -18 0 60406 -17 -19 0 60406 -17 -59 0 60406 -17 -60 0 60406 -17 -88 0 60406 -17 -89 0 60406 -17 -90 0 60406 -17 -38 0 60406 -17 -92 0 60406 -17 -26 0 60406 -17 -37 0 60406 -18 -19 0 60406 -18 -32 0 60406 -18 -35 0 60406 -18 -67 0 60406 -18 -87 0 60406 -18 -91 0 60406 -18 -25 0 60406 -18 -31 0 60406 -18 -85 0 60406 -18 -86 0 60406 -18 -90 0 60406 -18 -59 0 60406 -18 -60 0 60406 -18 -69 0 60406 -18 -70 0 60406 -18 -71 0 60406 -18 -88 0 60406 -18 -89 0 60406 -18 -38 0 60406 -19 -32 0 60406 -19 -35 0 60406 -19 -67 0 60406 -19 -87 0 60406 -19 -91 0 60406 -19 -25 0 60406 -19 -31 0 60406 -19 -85 0 60406 -19 -86 0 60406 -19 -90 0 60406 -19 -59 0 60406 -19 -60 0 60406 -19 -69 0 60406 -19 -70 0 60406 -19 -71 0 60406 -19 -88 0 60406 -19 -89 0 60406 -19 -38 0 60406 -19 -92 0 60406 -19 -26 0 60406 -19 -37 0 60406 -20 -34 0 60406 -20 -68 0 60406 -20 -74 0 60406 -20 -76 0 60406 -20 -77 0 60406 -20 -82 0 60406 -20 -29 0 60406 -20 -30 0 60406 -20 -31 0 60406 -21 -48 0 60406 -21 -50 0 60406 -21 -65 0 60406 -21 -22 0 60406 -22 -34 0 60406 -22 -42 0 60406 -22 -43 0 60406 -22 -44 0 60406 -22 -49 0 60406 -22 -51 0 60406 -22 -66 0 60406 -22 -78 0 60406 -22 -80 0 60406 -22 -82 0 60406 -22 -33 0 60406 -22 -35 0 60406 -22 -45 0 60406 -22 -46 0 60406 -22 -58 0 60406 -22 -81 0 60406 -23 -57 0 60406 -23 -62 0 60406 -23 -75 0 60406 -23 -24 0 60406 -24 -82 0 60406 -24 -84 0 60406 -24 -27 0 60406 -24 -74 0 60406 -25 -31 0 60406 -25 -85 0 60406 -25 -86 0 60406 -25 -90 0 60406 -25 -46 0 60406 -25 -58 0 60406 -25 -63 0 60406 -25 -72 0 60406 -25 -73 0 60406 -25 -87 0 60406 -26 -28 0 60406 -26 -30 0 60406 -26 -31 0 60406 -26 -76 0 60406 -26 -78 0 60406 -26 -89 0 60406 -26 -90 0 60406 -26 -91 0 60406 -26 -92 0 60406 -26 -37 0 60406 -26 -60 0 60406 -26 -71 0 60406 -27 -74 0 60406 -27 -75 0 60406 -27 -28 0 60406 -27 -29 0 60406 -27 -30 0 60406 -27 -31 0 60406 -28 -30 0 60406 -28 -31 0 60406 -28 -76 0 60406 -28 -78 0 60406 -28 -89 0 60406 -28 -90 0 60406 -28 -91 0 60406 -28 -92 0 60406 -28 -29 0 60406 -29 -30 0 60406 -29 -31 0 60406 -29 -34 0 60406 -29 -77 0 60406 -29 -88 0 60406 -30 -31 0 60406 -30 -76 0 60406 -30 -78 0 60406 -30 -89 0 60406 -30 -90 0 60406 -30 -91 0 60406 -30 -92 0 60406 -30 -34 0 60406 -30 -77 0 60406 -31 -85 0 60406 -31 -86 0 60406 -31 -90 0 60406 -31 -78 0 60406 -31 -83 0 60406 -31 -91 0 60406 -31 -76 0 60406 -31 -89 0 60406 -31 -92 0 60406 -31 -34 0 60406 -31 -77 0 60406 -32 -35 0 60406 -32 -67 0 60406 -32 -87 0 60406 -32 -91 0 60406 -32 -78 0 60406 -32 -83 0 60406 -32 -33 0 60406 -32 -34 0 60406 -33 -34 0 60406 -33 -63 0 60406 -33 -69 0 60406 -33 -70 0 60406 -33 -71 0 60406 -33 -72 0 60406 -33 -73 0 60406 -33 -87 0 60406 -33 -91 0 60406 -33 -35 0 60406 -33 -45 0 60406 -33 -46 0 60406 -33 -49 0 60406 -33 -51 0 60406 -33 -58 0 60406 -33 -66 0 60406 -33 -81 0 60406 -34 -63 0 60406 -34 -69 0 60406 -34 -70 0 60406 -34 -71 0 60406 -34 -72 0 60406 -34 -73 0 60406 -34 -87 0 60406 -34 -91 0 60406 -34 -42 0 60406 -34 -43 0 60406 -34 -44 0 60406 -34 -49 0 60406 -34 -51 0 60406 -34 -66 0 60406 -34 -78 0 60406 -34 -80 0 60406 -34 -82 0 60406 -34 -68 0 60406 -34 -74 0 60406 -34 -76 0 60406 -34 -77 0 60406 -34 -35 0 60406 -35 -67 0 60406 -35 -87 0 60406 -35 -91 0 60406 -35 -45 0 60406 -35 -46 0 60406 -35 -49 0 60406 -35 -51 0 60406 -35 -58 0 60406 -35 -66 0 60406 -35 -81 0 60406 -36 -69 0 60406 -36 -37 0 60406 -36 -38 0 60406 -37 -60 0 60406 -37 -71 0 60406 -37 -38 0 60406 -37 -70 0 60406 -38 -60 0 60406 -38 -69 0 60406 -38 -71 0 60406 -38 -92 0 60406 -38 -59 0 60406 -38 -70 0 60406 -39 -40 0 60406 -39 -41 0 60406 -39 -65 0 60406 -39 -66 0 60406 -39 -75 0 60406 -39 -80 0 60406 -39 -57 0 60406 -39 -62 0 60406 -39 -81 0 60406 -39 -82 0 60406 -40 -42 0 60406 -40 -52 0 60406 -40 -56 0 60406 -40 -41 0 60406 -40 -65 0 60406 -40 -66 0 60406 -40 -75 0 60406 -40 -80 0 60406 -40 -57 0 60406 -40 -62 0 60406 -40 -81 0 60406 -40 -82 0 60406 -40 -43 0 60406 -40 -44 0 60406 -41 -43 0 60406 -41 -44 0 60406 -41 -53 0 60406 -41 -56 0 60406 -41 -55 0 60406 -41 -57 0 60406 -41 -65 0 60406 -41 -66 0 60406 -41 -75 0 60406 -41 -80 0 60406 -41 -62 0 60406 -41 -81 0 60406 -41 -82 0 60406 -41 -42 0 60406 -42 -52 0 60406 -42 -56 0 60406 -42 -43 0 60406 -42 -44 0 60406 -42 -49 0 60406 -42 -51 0 60406 -42 -66 0 60406 -42 -78 0 60406 -42 -80 0 60406 -42 -82 0 60406 -42 -79 0 60406 -43 -44 0 60406 -43 -53 0 60406 -43 -56 0 60406 -43 -49 0 60406 -43 -51 0 60406 -43 -66 0 60406 -43 -78 0 60406 -43 -80 0 60406 -43 -82 0 60406 -44 -53 0 60406 -44 -56 0 60406 -44 -55 0 60406 -44 -57 0 60406 -44 -49 0 60406 -44 -51 0 60406 -44 -66 0 60406 -44 -78 0 60406 -44 -80 0 60406 -44 -82 0 60406 -44 -79 0 60406 -45 -86 0 60406 -45 -46 0 60406 -45 -49 0 60406 -45 -51 0 60406 -45 -58 0 60406 -45 -66 0 60406 -45 -81 0 60406 -46 -58 0 60406 -46 -86 0 60406 -46 -73 0 60406 -46 -85 0 60406 -46 -87 0 60406 -46 -49 0 60406 -46 -51 0 60406 -46 -66 0 60406 -46 -81 0 60406 -47 -48 0 60406 -47 -49 0 60406 -47 -50 0 60406 -47 -51 0 60406 -48 -50 0 60406 -48 -65 0 60406 -48 -49 0 60406 -48 -51 0 60406 -49 -51 0 60406 -49 -66 0 60406 -49 -78 0 60406 -49 -80 0 60406 -49 -82 0 60406 -49 -58 0 60406 -49 -81 0 60406 -49 -50 0 60406 -50 -65 0 60406 -50 -51 0 60406 -51 -66 0 60406 -51 -78 0 60406 -51 -80 0 60406 -51 -82 0 60406 -51 -58 0 60406 -51 -81 0 60406 -52 -56 0 60406 -52 -53 0 60406 -53 -56 0 60406 -53 -55 0 60406 -53 -57 0 60406 -54 -83 0 60406 -55 -57 0 60406 -55 -56 0 60406 -55 -61 0 60406 -56 -61 0 60406 -56 -57 0 60406 -57 -62 0 60406 -57 -75 0 60406 -57 -80 0 60406 -57 -81 0 60406 -57 -82 0 60406 -58 -86 0 60406 -58 -66 0 60406 -58 -81 0 60406 -59 -60 0 60406 -59 -69 0 60406 -59 -70 0 60406 -59 -71 0 60406 -59 -88 0 60406 -59 -89 0 60406 -59 -90 0 60406 -59 -91 0 60406 -60 -69 0 60406 -60 -70 0 60406 -60 -71 0 60406 -60 -88 0 60406 -60 -89 0 60406 -60 -90 0 60406 -60 -91 0 60406 -60 -92 0 60406 -61 -62 0 60406 -62 -75 0 60406 -62 -80 0 60406 -62 -81 0 60406 -62 -82 0 60406 -63 -69 0 60406 -63 -70 0 60406 -63 -71 0 60406 -63 -72 0 60406 -63 -73 0 60406 -63 -87 0 60406 -63 -91 0 60406 -63 -85 0 60406 -63 -86 0 60406 -64 -81 0 60406 -64 -65 0 60406 -64 -66 0 60406 -65 -66 0 60406 -65 -75 0 60406 -65 -80 0 60406 -66 -78 0 60406 -66 -80 0 60406 -66 -82 0 60406 -66 -81 0 60406 -66 -75 0 60406 -67 -87 0 60406 -67 -91 0 60406 -68 -74 0 60406 -68 -76 0 60406 -68 -77 0 60406 -68 -82 0 60406 -69 -70 0 60406 -69 -71 0 60406 -69 -72 0 60406 -69 -73 0 60406 -69 -87 0 60406 -69 -91 0 60406 -69 -88 0 60406 -69 -89 0 60406 -69 -90 0 60406 -69 -92 0 60406 -70 -71 0 60406 -70 -72 0 60406 -70 -73 0 60406 -70 -87 0 60406 -70 -91 0 60406 -70 -88 0 60406 -70 -89 0 60406 -70 -90 0 60406 -71 -72 0 60406 -71 -73 0 60406 -71 -87 0 60406 -71 -91 0 60406 -71 -88 0 60406 -71 -89 0 60406 -71 -90 0 60406 -71 -92 0 60406 -72 -73 0 60406 -72 -87 0 60406 -72 -91 0 60406 -72 -85 0 60406 -72 -86 0 60406 -73 -87 0 60406 -73 -91 0 60406 -73 -85 0 60406 -73 -86 0 60406 -74 -76 0 60406 -74 -77 0 60406 -74 -82 0 60406 -74 -75 0 60406 -74 -78 0 60406 -75 -80 0 60406 -75 -76 0 60406 -75 -77 0 60406 -75 -78 0 60406 -76 -77 0 60406 -76 -82 0 60406 -76 -78 0 60406 -76 -89 0 60406 -76 -90 0 60406 -76 -91 0 60406 -76 -92 0 60406 -77 -82 0 60406 -77 -88 0 60406 -77 -78 0 60406 -78 -80 0 60406 -78 -82 0 60406 -78 -83 0 60406 -78 -90 0 60406 -78 -91 0 60406 -78 -89 0 60406 -78 -92 0 60406 -79 -80 0 60406 -79 -81 0 60406 -79 -82 0 60406 -79 -83 0 60406 -80 -82 0 60406 -80 -81 0 60406 -80 -83 0 60406 -81 -82 0 60406 -81 -83 0 60406 -82 -84 0 60406 -82 -83 0 60406 -83 -90 0 60406 -83 -91 0 60406 -85 -86 0 60406 -85 -90 0 60406 -85 -87 0 60406 -86 -90 0 60406 -86 -87 0 60406 -87 -91 0 60406 -88 -89 0 60406 -88 -90 0 60406 -88 -91 0 60406 -88 -92 0 60406 -89 -90 0 60406 -89 -91 0 60406 -89 -92 0 60406 -90 -91 0 60406 -90 -92 0 60406 -91 -92 0