c speed 2267.8571428571427 dec/s, 1/100
c speed 3247.3118279569894 dec/s, 2/250
c speed 3232.3232323232323 dec/s, 3/265
c speed 2625.0 dec/s, 1/19
c speed 3000.0 dec/s, 1/4
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 10000.0 dec/s, 1/0
c speed 23000.0 dec/s, 1/43
c speed 15000.0 dec/s, 1/0
c speed 30200.0 dec/s, 1/100
c speed 29166.666666666664 dec/s, 2/250
c speed 28714.285714285714 dec/s, 3/295
c speed 10500.0 dec/s, 1/0
c speed 31200.0 dec/s, 1/100
c speed 30909.09090909091 dec/s, 2/252
c speed 29857.142857142855 dec/s, 3/478
c speed 32171.42857142857 dec/s, 4/817
c speed 36056.60377358491 dec/s, 5/1323
c speed 36375.0 dec/s, 6/2084
c speed 36791.666666666664 dec/s, 7/2560
c speed Infinity dec/s, 1/0
c speed 40500.0 dec/s, 1/100
c speed 38200.0 dec/s, 2/250
c speed 35526.31578947369 dec/s, 3/475
c speed 34875.0 dec/s, 4/814
c speed 35307.69230769231 dec/s, 5/1321
c speed 34481.927710843374 dec/s, 6/2080
c speed 35600.0 dec/s, 7/3219
c speed 34203.04568527918 dec/s, 8/4929
c speed 35756.01374570447 dec/s, 9/7493
c speed 35811.49425287356 dec/s, 10/11338
c speed 35788.838612368025 dec/s, 11/17105
c speed 35837.16283716284 dec/s, 12/25755
c speed 35547.382372432075 dec/s, 13/38731
c speed 35278.7610619469 dec/s, 14/40388
c speed 36000.0 dec/s, 1/0
c speed 42250.0 dec/s, 1/100
c speed 34181.818181818184 dec/s, 2/250
c speed 32666.666666666664 dec/s, 3/475
c speed 32685.714285714283 dec/s, 4/813
c speed 28333.333333333332 dec/s, 5/1320
c speed 29041.666666666668 dec/s, 6/2079
c speed 29267.123287671235 dec/s, 7/3219
c speed 29289.592760180996 dec/s, 8/4929
c speed 29140.718562874248 dec/s, 9/7492
c speed 29866.26746506986 dec/s, 10/11336
c speed 29490.861618798954 dec/s, 11/17104
c speed 30266.022827041263 dec/s, 12/25754
c speed 29703.682393555813 dec/s, 13/38729
c speed 30230.560928433268 dec/s, 14/58191
c speed 30493.78238341969 dec/s, 15/87384
c speed 30465.475781518377 dec/s, 16/131173
c speed 30574.373067674336 dec/s, 17/196857
c speed 30874.434302370177 dec/s, 18/295384
c speed 31355.26992287918 dec/s, 19/443175
c speed 31815.694248199332 dec/s, 20/664860
c speed 31093.368657675015 dec/s, 21/843276
c speed 45000.0 dec/s, 1/0
c speed 44250.0 dec/s, 1/100
c speed 32250.0 dec/s, 2/250
c speed 26440.0 dec/s, 3/475
c speed 25431.818181818184 dec/s, 4/813
c speed 24095.890410958906 dec/s, 5/1319
c speed 23155.1724137931 dec/s, 6/2078
c speed 24543.35260115607 dec/s, 7/3217
c speed 25153.256704980842 dec/s, 8/4926
c speed 25742.1875 dec/s, 9/7489
c speed 25317.406143344713 dec/s, 10/11333
c speed 26470.93023255814 dec/s, 11/17100
c speed 26310.477657935284 dec/s, 12/25750
c speed 26623.45041322314 dec/s, 13/38725
c speed 26313.846153846156 dec/s, 14/58188
c speed 26382.628571428573 dec/s, 15/87381
c speed 26235.52651572709 dec/s, 16/131170
c speed 26576.619920155594 dec/s, 17/196854
c speed 27405.133158548364 dec/s, 18/295380
c speed 27826.070883970246 dec/s, 19/443170
c speed 27830.591346597375 dec/s, 20/664855
c speed 28597.730373310183 dec/s, 21/997381
c speed 28702.918942779892 dec/s, 22/1496171
c speed 28102.201685240554 dec/s, 23/2244355
c speed 28326.2793428651 dec/s, 24/3366630
c speed 27989.81806575168 dec/s, 25/5050041
c speed 27953.801847926083 dec/s, 26/6032067