c speed 2152.542372881356 dec/s, 1/100
c speed 3050.5050505050503 dec/s, 2/250
c speed 3018.867924528302 dec/s, 3/265
c speed 2625.0 dec/s, 1/19
c speed 1500.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 6000.0 dec/s, 1/0
c speed Infinity dec/s, 1/9
c speed Infinity dec/s, 1/0
c speed 34500.0 dec/s, 1/43
c speed Infinity dec/s, 1/0
c speed 37750.0 dec/s, 1/100
c speed 26923.076923076926 dec/s, 2/250
c speed 26800.0 dec/s, 3/295
c speed 10500.0 dec/s, 1/0
c speed 31200.0 dec/s, 1/100
c speed 28333.333333333332 dec/s, 2/252
c speed 29857.142857142855 dec/s, 3/478
c speed 32171.42857142857 dec/s, 4/817
c speed 35388.88888888889 dec/s, 5/1323
c speed 36375.0 dec/s, 6/2084
c speed 36412.37113402062 dec/s, 7/2560
c speed Infinity dec/s, 1/0
c speed 54000.0 dec/s, 1/100
c speed 38200.0 dec/s, 2/250
c speed 35526.31578947369 dec/s, 3/475
c speed 33818.181818181816 dec/s, 4/814
c speed 34641.50943396227 dec/s, 5/1321
c speed 34481.927710843374 dec/s, 6/2080
c speed 35039.370078740154 dec/s, 7/3219
c speed 33356.43564356436 dec/s, 8/4929
c speed 34453.64238410596 dec/s, 9/7493
c speed 34162.28070175438 dec/s, 10/11338
c speed 34289.01734104047 dec/s, 11/17105
c speed 34328.229665071776 dec/s, 12/25755
c speed 34057.77777777778 dec/s, 13/38731
c speed 33865.89805825243 dec/s, 14/40388
c speed Infinity 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 31777.77777777778 dec/s, 4/813
c speed 27461.53846153846 dec/s, 5/1320
c speed 28448.979591836734 dec/s, 6/2079
c speed 28298.013245033115 dec/s, 7/3219
c speed 28390.35087719298 dec/s, 8/4929
c speed 28211.594202898552 dec/s, 9/7492
c speed 28998.062015503874 dec/s, 10/11336
c speed 28631.178707224335 dec/s, 11/17104
c speed 29388.746803069054 dec/s, 12/25754
c speed 28921.568627450983 dec/s, 13/38729
c speed 29489.056603773584 dec/s, 14/58191
c speed 29701.236437042644 dec/s, 15/87384
c speed 29745.09475096428 dec/s, 16/131173
c speed 29873.12597896621 dec/s, 17/196857
c speed 30060.4929051531 dec/s, 18/295384
c speed 30418.47473689461 dec/s, 19/443175
c speed 30832.81009952575 dec/s, 20/664860
c speed 30075.246550876192 dec/s, 21/843276
c speed 45000.0 dec/s, 1/0
c speed 35400.0 dec/s, 1/100
c speed 29769.23076923077 dec/s, 2/250
c speed 25423.076923076926 dec/s, 3/475
c speed 24866.666666666668 dec/s, 4/813
c speed 24095.890410958906 dec/s, 5/1319
c speed 23356.521739130432 dec/s, 6/2078
c speed 24262.857142857145 dec/s, 7/3217
c speed 24867.42424242424 dec/s, 8/4926
c speed 25346.153846153844 dec/s, 9/7489
c speed 24892.61744966443 dec/s, 10/11333
c speed 25987.44292237443 dec/s, 11/17100
c speed 25774.33962264151 dec/s, 12/25750
c speed 26044.97220818595 dec/s, 13/38725
c speed 25776.289350301406 dec/s, 14/58188
c speed 25816.14851263699 dec/s, 15/87381
c speed 25658.493089612126 dec/s, 16/131170
c speed 25978.286972183312 dec/s, 17/196854
c speed 26739.145069000337 dec/s, 18/295380
c speed 27109.53045513888 dec/s, 19/443170
c speed 27051.950381108953 dec/s, 20/664855
c speed 27681.646291442405 dec/s, 21/997381
c speed 27727.93539531723 dec/s, 22/1496171
c speed 27133.584113375906 dec/s, 23/2244355
c speed 27258.396728683434 dec/s, 24/3366630
c speed 26904.78162823876 dec/s, 25/5050041
c speed 26912.813487460502 dec/s, 26/5808726