c speed 4000.0 dec/s, 1/101
c speed 6478.260869565218 dec/s, 2/252
c speed 7537.037037037037 dec/s, 3/356
c speed 11000.0 dec/s, 1/23
c speed 2000.0 dec/s, 1/3
c inconsistent constraint:  -L2 +L3 +L4 -L5 +L11 -L12 +L13 -L14 -L15 -L19 +L20 +L22 -L23 -L24 +L25 -L26 -L27 -L28 +L33 +L35 >= 4
c lits: 27,28,29,2,4,5,6,7,30,32,9,11,12,13,14,15,25,16,34,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L2 -L3 +L4 +L5 +L7 -L8 -L9 -L10 +L12 -L13 -L14 +L18 +L22 -L27 +L30 +L31 -L32 +L33 +L35 >= 5
c lits: 1,27,28,29,2,3,22,23,24,5,6,7,31,11,25,26,17,18,34,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 -L2 -L3 -L5 +L9 +L10 -L12 -L14 +L17 +L18 -L19 +L20 -L23 +L27 -L28 -L29 -L31 -L33 +L34 +L35 >= 6
c lits: 1,27,28,2,23,24,5,7,35,31,32,9,12,25,16,33,17,34,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 -L4 +L5 -L6 -L8 +L10 -L13 -L14 -L15 +L16 +L17 -L18 -L20 -L23 +L24 +L27 +L28 +L30 -L31 +L35 >= 7
c lits: 1,29,2,21,22,24,6,7,30,8,35,31,9,12,13,25,16,26,17,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L2 +L3 -L4 +L7 -L9 -L12 +L15 -L16 +L18 -L19 +L21 +L25 +L26 -L27 +L29 -L30 +L33 -L34 +L35 >= 8
c lits: 1,27,28,29,3,23,5,30,8,31,32,10,14,15,25,33,26,34,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L6 -L7 +L8 -L9 +L10 +L12 -L13 -L14 +L20 -L22 -L23 -L24 -L25 +L27 +L28 +L30 -L31 -L32 -L34 +L35 >= 9
c lits: 21,3,22,23,24,5,6,7,9,11,12,13,14,25,16,26,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 10
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 11
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 12
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 13
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 14
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 15
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 16
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 17
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c inconsistent constraint:  -L1 +L5 -L7 +L11 +L12 -L13 +L14 -L16 +L20 -L21 -L22 +L23 -L24 +L25 -L26 -L28 -L31 +L32 +L34 -L35 >= 18
c lits: 1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20
c coeffs: 1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1
c speed Infinity dec/s, 1/0
c speed Infinity dec/s, 1/9
c speed Infinity dec/s, 1/0
c speed 49000.0 dec/s, 1/35
c speed 15000.0 dec/s, 1/0
c speed 48333.333333333336 dec/s, 1/101
c speed 53000.0 dec/s, 2/251
c speed 46000.0 dec/s, 3/286
c speed 21000.0 dec/s, 1/0
c speed 75000.0 dec/s, 1/101
c speed 80200.0 dec/s, 2/251
c speed 74400.0 dec/s, 3/476
c speed 68500.0 dec/s, 4/814
c speed 69107.14285714286 dec/s, 5/1321
c speed 74463.41463414633 dec/s, 6/2080
c speed 74830.50847457627 dec/s, 7/3000
c speed 28000.0 dec/s, 1/0
c speed 78000.0 dec/s, 1/101
c speed 95250.0 dec/s, 2/252
c speed 89875.0 dec/s, 3/478
c speed 81066.66666666667 dec/s, 4/816
c speed 87217.39130434782 dec/s, 5/1322
c speed 80868.42105263159 dec/s, 6/2082
c speed 77833.33333333334 dec/s, 7/3221
c speed 77384.61538461539 dec/s, 8/4930
c speed 75179.8561151079 dec/s, 9/7494
c speed 75216.98113207547 dec/s, 10/11338
c speed 75735.84905660377 dec/s, 11/17106
c speed 74805.38302277433 dec/s, 12/25757
c speed 74480.109739369 dec/s, 13/38732
c speed 72722.28443449047 dec/s, 14/46815
c speed 36000.0 dec/s, 1/0
c speed 81500.0 dec/s, 1/101
c speed 85200.0 dec/s, 2/251
c speed 85777.77777777778 dec/s, 3/476
c speed 82375.0 dec/s, 4/814
c speed 83807.69230769231 dec/s, 5/1320
c speed 78428.57142857142 dec/s, 6/2079
c speed 77230.76923076923 dec/s, 7/3220
c speed 72862.74509803922 dec/s, 8/4930
c speed 70191.08280254777 dec/s, 9/7493
c speed 69396.62447257384 dec/s, 10/11337
c speed 67608.33333333334 dec/s, 11/17105
c speed 68079.33579335792 dec/s, 12/25755
c speed 68146.37146371465 dec/s, 13/38730
c speed 66399.83844911147 dec/s, 14/58193
c speed 65333.333333333336 dec/s, 15/87387
c speed 65931.59957249733 dec/s, 16/131176
c speed 66987.07824838477 dec/s, 17/196861
c speed 66001.1086474501 dec/s, 18/295387
c speed 65551.01397499212 dec/s, 19/443178
c speed 65518.12561472531 dec/s, 20/664862
c speed 63868.10135369663 dec/s, 21/791611
c speed Infinity dec/s, 1/0
c speed 85500.0 dec/s, 1/101
c speed 83000.0 dec/s, 2/252
c speed 60666.666666666664 dec/s, 3/478
c speed 64157.89473684211 dec/s, 4/816
c speed 64225.8064516129 dec/s, 5/1322
c speed 65812.5 dec/s, 6/2081
c speed 62513.15789473685 dec/s, 7/3220
c speed 59697.47899159664 dec/s, 8/4929
c speed 60000.0 dec/s, 9/7492
c speed 59244.44444444444 dec/s, 10/11336
c speed 59533.16953316954 dec/s, 11/17106
c speed 59569.558101473 dec/s, 12/25757
c speed 60515.88170865279 dec/s, 13/38732
c speed 59210.374639769456 dec/s, 14/58194
c speed 59812.56038647344 dec/s, 15/87387
c speed 58111.42676767676 dec/s, 16/131176
c speed 57800.54587444888 dec/s, 17/196861
c speed 57989.75869809203 dec/s, 18/295387
c speed 57171.41272189349 dec/s, 19/443176
c speed 57653.36381046518 dec/s, 20/664861
c speed 56716.937449228266 dec/s, 21/997388
c speed 56440.80116297852 dec/s, 22/1496177
c speed 56002.503106692704 dec/s, 23/2244360
c speed 56075.87468287214 dec/s, 24/3366634
c speed 54449.62295044162 dec/s, 25/5050045
c speed 53713.017886591406 dec/s, 26/7575163
c speed 53167.367448462406 dec/s, 27/11362840
c speed 53158.117535690355 dec/s, 28/11411058