c speed 3870.967741935484 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 13000.0 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 50000.0 dec/s, 1/101
c speed 66833.33333333333 dec/s, 2/251
c speed 67636.36363636365 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 77456.14035087719 dec/s, 7/3000
c speed 28000.0 dec/s, 1/0
c speed 156000.0 dec/s, 1/101
c speed 95250.0 dec/s, 2/252
c speed 79888.88888888889 dec/s, 3/478
c speed 86857.14285714286 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 75498.43260188088 dec/s, 11/17106
c speed 74650.82644628099 dec/s, 12/25757
c speed 74685.0068775791 dec/s, 13/38732
c speed 72967.41573033707 dec/s, 14/46815
c speed Infinity dec/s, 1/0
c speed 54333.333333333336 dec/s, 1/101
c speed 85200.0 dec/s, 2/251
c speed 77200.0 dec/s, 3/476
c speed 77529.41176470587 dec/s, 4/814
c speed 80703.70370370371 dec/s, 5/1320
c speed 76604.6511627907 dec/s, 6/2079
c speed 77230.76923076923 dec/s, 7/3220
c speed 72862.74509803922 dec/s, 8/4930
c speed 70641.02564102564 dec/s, 9/7493
c speed 69396.62447257384 dec/s, 10/11337
c speed 67608.33333333334 dec/s, 11/17105
c speed 67953.95948434623 dec/s, 12/25755
c speed 68146.37146371465 dec/s, 13/38730
c speed 66615.07293354944 dec/s, 14/58193
c speed 66214.78683216406 dec/s, 15/87387
c speed 67030.06157189424 dec/s, 16/131176
c speed 67699.87908101572 dec/s, 17/196861
c speed 66527.9374201788 dec/s, 18/295387
c speed 66324.58005528386 dec/s, 19/443178
c speed 66070.49238398866 dec/s, 20/664862
c speed 64314.575323313526 dec/s, 21/791611
c speed Infinity dec/s, 1/0
c speed 85500.0 dec/s, 1/101
c speed 69166.66666666667 dec/s, 2/252
c speed 66181.81818181819 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 59337.016574585636 dec/s, 9/7492
c speed 58808.82352941176 dec/s, 10/11336
c speed 59097.56097560976 dec/s, 11/17106
c speed 59278.5016286645 dec/s, 12/25757
c speed 60383.60655737705 dec/s, 13/38732
c speed 59338.62815884477 dec/s, 14/58194
c speed 59986.43410852713 dec/s, 15/87387
c speed 58666.98534098152 dec/s, 16/131176
c speed 58240.74465834567 dec/s, 17/196861
c speed 58054.91573033708 dec/s, 18/295387
c speed 57293.24562216252 dec/s, 19/443176
c speed 57806.92517343906 dec/s, 20/664861
c speed 56850.867193225306 dec/s, 21/997388
c speed 55890.11516314779 dec/s, 22/1496177
c speed 55667.49016216979 dec/s, 23/2244360
c speed 55883.97855026107 dec/s, 24/3366634
c speed 54372.29992170349 dec/s, 25/5050045
c speed 53700.211036819834 dec/s, 26/7575163
c speed 53354.375862960966 dec/s, 27/11362840
c speed 53347.47827594138 dec/s, 28/11450800