c c %% The CATS webpage is http://robotics.stanford.edu/CATS c c %% PARAMETER SETTINGS: c % Goods: 60; Bids: 70; Distribution: paths; Runs: 30; Seed: 1151601913 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 55315 p wcnf 73 397 55315 196 1 0 683 2 0 403 3 0 1011 4 0 711 5 0 739 6 0 739 7 0 739 8 0 536 9 0 335 10 0 335 11 0 635 12 0 217 13 0 1040 14 0 1040 15 0 1040 16 0 1040 17 0 1040 18 0 761 19 0 761 20 0 761 21 0 1128 22 0 1128 23 0 1128 24 0 1128 25 0 1128 26 0 445 27 0 445 28 0 405 29 0 126 30 0 250 31 0 250 32 0 250 33 0 824 34 0 824 35 0 824 36 0 824 37 0 824 38 0 851 39 0 1196 40 0 1196 41 0 1196 42 0 1196 43 0 1196 44 0 419 45 0 757 46 0 757 47 0 757 48 0 757 49 0 757 50 0 718 51 0 718 52 0 718 53 0 718 54 0 718 55 0 327 56 0 327 57 0 1095 58 0 1095 59 0 1095 60 0 1095 61 0 1095 62 0 135 63 0 734 64 0 171 65 0 345 66 0 345 67 0 1087 68 0 1010 69 0 1010 70 0 1010 71 0 1010 72 0 1010 73 0 55315 -1 -11 0 55315 -2 -33 0 55315 -2 -53 0 55315 -2 -54 0 55315 -3 -24 0 55315 -3 -28 0 55315 -3 -44 0 55315 -3 -64 0 55315 -3 -72 0 55315 -3 -73 0 55315 -3 -25 0 55315 -3 -26 0 55315 -3 -27 0 55315 -3 -41 0 55315 -3 -42 0 55315 -3 -43 0 55315 -3 -45 0 55315 -3 -70 0 55315 -3 -71 0 55315 -3 -35 0 55315 -3 -38 0 55315 -3 -63 0 55315 -4 -24 0 55315 -4 -28 0 55315 -4 -68 0 55315 -4 -60 0 55315 -5 -13 0 55315 -5 -32 0 55315 -5 -33 0 55315 -5 -58 0 55315 -5 -62 0 55315 -5 -9 0 55315 -6 -18 0 55315 -6 -34 0 55315 -6 -35 0 55315 -6 -60 0 55315 -6 -65 0 55315 -6 -7 0 55315 -6 -12 0 55315 -6 -38 0 55315 -6 -8 0 55315 -7 -38 0 55315 -7 -48 0 55315 -7 -50 0 55315 -7 -12 0 55315 -7 -34 0 55315 -7 -35 0 55315 -7 -8 0 55315 -8 -20 0 55315 -8 -36 0 55315 -8 -37 0 55315 -8 -66 0 55315 -8 -22 0 55315 -8 -23 0 55315 -8 -24 0 55315 -8 -26 0 55315 -8 -40 0 55315 -8 -42 0 55315 -8 -43 0 55315 -8 -44 0 55315 -8 -71 0 55315 -9 -58 0 55315 -10 -59 0 55315 -10 -11 0 55315 -12 -34 0 55315 -12 -35 0 55315 -12 -38 0 55315 -13 -33 0 55315 -13 -53 0 55315 -13 -54 0 55315 -13 -32 0 55315 -13 -58 0 55315 -13 -62 0 55315 -14 -15 0 55315 -14 -16 0 55315 -14 -17 0 55315 -14 -18 0 55315 -15 -47 0 55315 -15 -48 0 55315 -15 -17 0 55315 -15 -50 0 55315 -15 -18 0 55315 -15 -16 0 55315 -16 -17 0 55315 -16 -49 0 55315 -16 -50 0 55315 -16 -18 0 55315 -17 -30 0 55315 -17 -49 0 55315 -17 -50 0 55315 -17 -64 0 55315 -17 -48 0 55315 -17 -18 0 55315 -18 -34 0 55315 -18 -35 0 55315 -18 -60 0 55315 -18 -46 0 55315 -19 -20 0 55315 -19 -21 0 55315 -20 -56 0 55315 -20 -36 0 55315 -20 -37 0 55315 -20 -66 0 55315 -20 -21 0 55315 -20 -29 0 55315 -20 -59 0 55315 -21 -57 0 55315 -21 -39 0 55315 -21 -67 0 55315 -21 -29 0 55315 -21 -59 0 55315 -22 -23 0 55315 -22 -24 0 55315 -22 -26 0 55315 -22 -37 0 55315 -22 -40 0 55315 -22 -42 0 55315 -22 -43 0 55315 -22 -44 0 55315 -22 -25 0 55315 -23 -24 0 55315 -23 -26 0 55315 -23 -37 0 55315 -23 -40 0 55315 -23 -42 0 55315 -23 -43 0 55315 -23 -44 0 55315 -23 -25 0 55315 -23 -27 0 55315 -23 -69 0 55315 -23 -72 0 55315 -24 -28 0 55315 -24 -44 0 55315 -24 -64 0 55315 -24 -72 0 55315 -24 -73 0 55315 -24 -26 0 55315 -24 -37 0 55315 -24 -40 0 55315 -24 -42 0 55315 -24 -43 0 55315 -24 -69 0 55315 -24 -25 0 55315 -25 -26 0 55315 -25 -27 0 55315 -25 -28 0 55315 -25 -41 0 55315 -25 -42 0 55315 -25 -43 0 55315 -25 -45 0 55315 -25 -70 0 55315 -25 -71 0 55315 -25 -73 0 55315 -25 -36 0 55315 -26 -27 0 55315 -26 -28 0 55315 -26 -41 0 55315 -26 -42 0 55315 -26 -43 0 55315 -26 -45 0 55315 -26 -70 0 55315 -26 -71 0 55315 -26 -73 0 55315 -26 -37 0 55315 -26 -40 0 55315 -26 -44 0 55315 -27 -28 0 55315 -27 -41 0 55315 -27 -42 0 55315 -27 -43 0 55315 -27 -45 0 55315 -27 -70 0 55315 -27 -71 0 55315 -27 -73 0 55315 -28 -44 0 55315 -28 -64 0 55315 -28 -72 0 55315 -28 -73 0 55315 -28 -41 0 55315 -28 -42 0 55315 -28 -43 0 55315 -28 -45 0 55315 -28 -70 0 55315 -28 -71 0 55315 -29 -59 0 55315 -30 -49 0 55315 -30 -50 0 55315 -30 -64 0 55315 -31 -55 0 55315 -31 -61 0 55315 -31 -32 0 55315 -31 -33 0 55315 -32 -51 0 55315 -32 -52 0 55315 -32 -62 0 55315 -32 -33 0 55315 -32 -58 0 55315 -33 -53 0 55315 -33 -54 0 55315 -33 -58 0 55315 -33 -62 0 55315 -34 -35 0 55315 -34 -60 0 55315 -34 -38 0 55315 -34 -36 0 55315 -34 -37 0 55315 -35 -60 0 55315 -35 -65 0 55315 -35 -38 0 55315 -35 -43 0 55315 -35 -45 0 55315 -35 -63 0 55315 -35 -71 0 55315 -35 -36 0 55315 -35 -37 0 55315 -36 -37 0 55315 -36 -66 0 55315 -36 -41 0 55315 -36 -38 0 55315 -37 -66 0 55315 -37 -40 0 55315 -37 -42 0 55315 -37 -43 0 55315 -37 -44 0 55315 -37 -70 0 55315 -37 -73 0 55315 -37 -38 0 55315 -38 -43 0 55315 -38 -45 0 55315 -38 -63 0 55315 -38 -71 0 55315 -38 -48 0 55315 -38 -50 0 55315 -39 -67 0 55315 -40 -42 0 55315 -40 -43 0 55315 -40 -44 0 55315 -40 -41 0 55315 -40 -69 0 55315 -40 -70 0 55315 -40 -71 0 55315 -40 -72 0 55315 -41 -42 0 55315 -41 -43 0 55315 -41 -45 0 55315 -41 -70 0 55315 -41 -71 0 55315 -41 -73 0 55315 -41 -69 0 55315 -41 -44 0 55315 -42 -43 0 55315 -42 -45 0 55315 -42 -70 0 55315 -42 -71 0 55315 -42 -73 0 55315 -42 -44 0 55315 -42 -69 0 55315 -43 -45 0 55315 -43 -70 0 55315 -43 -71 0 55315 -43 -73 0 55315 -43 -44 0 55315 -43 -69 0 55315 -43 -63 0 55315 -44 -64 0 55315 -44 -72 0 55315 -44 -73 0 55315 -44 -69 0 55315 -45 -70 0 55315 -45 -71 0 55315 -45 -73 0 55315 -45 -63 0 55315 -46 -47 0 55315 -46 -48 0 55315 -46 -49 0 55315 -46 -50 0 55315 -47 -48 0 55315 -47 -49 0 55315 -47 -50 0 55315 -48 -50 0 55315 -48 -49 0 55315 -49 -50 0 55315 -49 -64 0 55315 -50 -64 0 55315 -51 -52 0 55315 -51 -62 0 55315 -51 -53 0 55315 -51 -54 0 55315 -51 -55 0 55315 -52 -62 0 55315 -52 -54 0 55315 -52 -53 0 55315 -52 -55 0 55315 -53 -54 0 55315 -53 -55 0 55315 -54 -55 0 55315 -55 -61 0 55315 -55 -59 0 55315 -56 -57 0 55315 -57 -66 0 55315 -58 -61 0 55315 -58 -62 0 55315 -58 -59 0 55315 -58 -60 0 55315 -59 -60 0 55315 -59 -61 0 55315 -59 -62 0 55315 -60 -61 0 55315 -60 -62 0 55315 -61 -62 0 55315 -63 -71 0 55315 -64 -72 0 55315 -64 -73 0 55315 -66 -67 0 55315 -69 -70 0 55315 -69 -71 0 55315 -69 -72 0 55315 -69 -73 0 55315 -70 -71 0 55315 -70 -73 0 55315 -70 -72 0 55315 -71 -73 0 55315 -71 -72 0 55315 -72 -73 0