0.00/0.00 c Parsing...
0.00/0.02 c ==============================================================================
0.00/0.02 c | | ORIGINAL | LEARNT | |
0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.02 c ==============================================================================
0.00/0.02 c | 0 | 20000 100000 | 5999 0 0 nan | 0.000 % |
0.00/0.02 c ==============================================================================
0.00/0.02 c Result : #vars: 1000 #clauses: 20000 #literals: 100000
0.00/0.02 c CPU time: 0.019996 s
0.00/0.02 c ==============================================================================
0.00/0.06 c This is MiniSat 2.0 beta
0.00/0.06 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06 c ============================[ Problem Statistics ]=============================
0.00/0.06 c | |
0.00/0.06 c | Number of variables: 1000 |
0.00/0.06 c | Number of clauses: 20000 |
0.04/0.07 c | Parsing time: 0.01 s |
0.04/0.07 c ============================[ Search Statistics ]==============================
0.04/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.04/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.04/0.07 c ===============================================================================
0.04/0.07 c | 0 | 1000 20000 100000 | 6666 0 nan | 0.000 % |
0.04/0.09 c | 103 | 1000 20000 100000 | 6666 103 125 | 0.000 % |
0.04/0.10 c | 203 | 1000 20000 100000 | 6666 203 119 | 0.000 % |
0.04/0.11 c | 304 | 1000 20000 100000 | 6666 304 114 | 0.000 % |
0.04/0.12 c | 416 | 1000 20000 100000 | 6666 416 114 | 0.000 % |
0.04/0.13 c | 516 | 1000 20000 100000 | 6666 516 118 | 0.000 % |
0.04/0.15 c | 627 | 1000 20000 100000 | 6666 627 119 | 0.000 % |
0.04/0.16 c | 748 | 1000 20000 100000 | 6666 748 122 | 0.000 % |
0.04/0.17 c | 848 | 1000 20000 100000 | 6666 848 121 | 0.000 % |
0.04/0.18 c | 958 | 1000 20000 100000 | 6666 958 120 | 0.000 % |
0.04/0.20 c | 1079 | 1000 20000 100000 | 6666 1079 121 | 0.000 % |
0.04/0.21 c | 1212 | 1000 20000 100000 | 6666 1212 122 | 0.000 % |
0.04/0.23 c | 1313 | 1000 20000 100000 | 6666 1313 124 | 0.000 % |
0.04/0.24 c | 1423 | 1000 20000 100000 | 6666 1423 124 | 0.000 % |
0.04/0.25 c | 1544 | 1000 20000 100000 | 6666 1544 126 | 0.000 % |
0.04/0.27 c | 1677 | 1000 20000 100000 | 6666 1677 125 | 0.000 % |
0.04/0.29 c | 1824 | 1000 20000 100000 | 6666 1824 125 | 0.000 % |
0.04/0.30 c | 1925 | 1000 20000 100000 | 6666 1925 123 | 0.000 % |
0.04/0.31 c | 2036 | 1000 20000 100000 | 6666 2036 123 | 0.000 % |
0.04/0.33 c | 2159 | 1000 20000 100000 | 6666 2159 123 | 0.000 % |
0.04/0.34 c | 2295 | 1000 20000 100000 | 6666 2295 123 | 0.000 % |
0.04/0.36 c | 2441 | 1000 20000 100000 | 6666 2441 124 | 0.000 % |
0.04/0.38 c | 2604 | 1000 20000 100000 | 6666 2604 123 | 0.000 % |
0.04/0.39 c | 2706 | 1000 20000 100000 | 6666 2706 123 | 0.000 % |
0.04/0.41 c | 2816 | 1000 20000 100000 | 6666 2816 122 | 0.000 % |
0.04/0.42 c | 2937 | 1000 20000 100000 | 6666 2937 122 | 0.000 % |
0.04/0.44 c | 3070 | 1000 20000 100000 | 6666 3070 122 | 0.000 % |
0.04/0.46 c | 3216 | 1000 20000 100000 | 6666 3216 122 | 0.000 % |
0.04/0.48 c | 3377 | 1000 20000 100000 | 6666 3377 122 | 0.000 % |
0.04/0.50 c | 3553 | 1000 20000 100000 | 6666 3553 122 | 0.000 % |
0.04/0.51 c | 3653 | 1000 20000 100000 | 6666 3653 122 | 0.000 % |
0.04/0.53 c | 3764 | 1000 20000 100000 | 6666 3764 122 | 0.000 % |
0.04/0.54 c | 3885 | 1000 20000 100000 | 6666 3885 121 | 0.000 % |
0.04/0.56 c | 4018 | 1000 20000 100000 | 6666 4018 121 | 0.000 % |
0.04/0.58 c | 4164 | 1000 20000 100000 | 6666 4164 121 | 0.000 % |
0.04/0.60 c | 4324 | 1000 20000 100000 | 6666 4324 120 | 0.000 % |
0.04/0.62 c | 4501 | 1000 20000 100000 | 6666 4501 120 | 0.000 % |
0.04/0.65 c | 4694 | 1000 20000 100000 | 6666 4694 120 | 0.000 % |
0.04/0.66 c | 4794 | 1000 20000 100000 | 6666 4794 120 | 0.000 % |
0.04/0.67 c | 4904 | 1000 20000 100000 | 6666 4904 120 | 0.000 % |
0.04/0.69 c | 5025 | 1000 20000 100000 | 6666 5025 120 | 0.000 % |
0.04/0.71 c | 5162 | 1000 20000 100000 | 6666 5162 120 | 0.000 % |
0.04/0.73 c | 5309 | 1000 20000 100000 | 6666 5309 120 | 0.000 % |
0.04/0.75 c | 5469 | 1000 20000 100000 | 6666 5469 120 | 0.000 % |
0.04/0.78 c | 5647 | 1000 20000 100000 | 6666 5647 121 | 0.000 % |
0.04/0.80 c | 5840 | 1000 20000 100000 | 6666 5840 120 | 0.000 % |
0.04/0.83 c | 6053 | 1000 20000 100000 | 6666 6053 121 | 0.000 % |
0.04/0.84 c | 6154 | 1000 20000 100000 | 6666 6154 120 | 0.000 % |
0.04/0.86 c | 6266 | 1000 20000 100000 | 6666 6266 120 | 0.000 % |
0.04/0.88 c | 6387 | 1000 20000 100000 | 6666 6387 120 | 0.000 % |
0.04/0.90 c | 6521 | 1000 20000 100000 | 6666 6521 120 | 0.000 % |
0.04/0.92 c | 6668 | 1000 20000 100000 | 6666 6668 120 | 0.000 % |
0.04/0.94 c | 6829 | 1000 20000 100000 | 6666 6163 118 | 0.000 % |
0.04/0.97 c | 7006 | 1000 20000 100000 | 6666 6340 119 | 0.000 % |
0.04/1.00 c | 7202 | 1000 20000 100000 | 6666 6536 119 | 0.000 % |
0.97/1.03 c | 7414 | 1000 20000 100000 | 6666 6748 119 | 0.000 % |
0.97/1.07 c | 7647 | 1000 20000 100000 | 6666 6307 118 | 0.000 % |
0.97/1.09 c | 7747 | 1000 20000 100000 | 6666 6407 118 | 0.000 % |
1.07/1.10 c | 7858 | 1000 20000 100000 | 6666 6518 118 | 0.000 % |
1.07/1.13 c | 7980 | 1000 20000 100000 | 6666 6640 119 | 0.000 % |
1.07/1.15 c | 8113 | 1000 20000 100000 | 6666 6773 119 | 0.000 % |
1.07/1.17 c | 8260 | 1000 20000 100000 | 6666 6243 118 | 0.000 % |
1.07/1.20 c | 8420 | 1000 20000 100000 | 6666 6403 118 | 0.000 % |
1.16/1.22 c | 8596 | 1000 20000 100000 | 6666 6579 118 | 0.000 % |
1.16/1.25 c | 8789 | 1000 20000 100000 | 6666 6772 118 | 0.000 % |
1.16/1.29 c | 9001 | 1000 20000 100000 | 6666 6307 118 | 0.000 % |
1.26/1.32 c | 9234 | 1000 20000 100000 | 6666 6540 118 | 0.000 % |
1.26/1.36 c | 9490 | 1000 20000 100000 | 6666 6796 119 | 0.000 % |
1.26/1.38 c | 9590 | 1000 20000 100000 | 6666 6217 119 | 0.000 % |
1.26/1.39 c | 9700 | 1000 20000 100000 | 6666 6327 119 | 0.000 % |
1.36/1.41 c | 9822 | 1000 20000 100000 | 6666 6449 119 | 0.000 % |
1.36/1.43 c | 9955 | 1000 20000 100000 | 6666 6582 119 | 0.000 % |
1.36/1.46 c | 10102 | 1000 20000 100000 | 2147483647 6729 119 | 0.000 % |
1.36/1.48 c | 10262 | 1000 20000 100000 | 2147483647 6889 119 | 0.000 % |
1.46/1.51 c | 10438 | 1000 20000 100000 | 2147483647 7065 119 | 0.000 % |
1.46/1.54 c | 10633 | 1000 20000 100000 | 2147483647 7260 119 | 0.000 % |
1.46/1.57 c | 10845 | 1000 20000 100000 | 2147483647 7472 119 | 0.000 % |
1.55/1.61 c | 11079 | 1000 20000 100000 | 2147483647 7706 120 | 0.000 % |
1.55/1.65 c | 11336 | 1000 20000 100000 | 2147483647 7963 120 | 0.000 % |
1.55/1.69 c | 11617 | 1000 20000 100000 | 2147483647 8244 120 | 0.000 % |
1.66/1.71 c | 11718 | 1000 20000 100000 | 2147483647 8345 120 | 0.000 % |
1.66/1.73 c | 11831 | 1000 20000 100000 | 2147483647 8458 120 | 0.000 % |
1.66/1.75 c | 11952 | 1000 20000 100000 | 2147483647 8579 120 | 0.000 % |
1.66/1.78 c | 12086 | 1000 20000 100000 | 2147483647 8713 120 | 0.000 % |
1.76/1.80 c | 12232 | 1000 20000 100000 | 2147483647 8859 120 | 0.000 % |
1.76/1.83 c | 12393 | 1000 20000 100000 | 2147483647 9020 120 | 0.000 % |
1.76/1.85 c | 12569 | 1000 20000 100000 | 2147483647 9196 120 | 0.000 % |
1.76/1.89 c | 12763 | 1000 20000 100000 | 2147483647 9390 120 | 0.000 % |
1.86/1.92 c | 12975 | 1000 20000 100000 | 2147483647 9602 120 | 0.000 % |
1.86/1.96 c | 13210 | 1000 20000 100000 | 2147483647 9837 120 | 0.000 % |
1.96/2.01 c | 13467 | 1000 20000 100000 | 2147483647 10094 120 | 0.000 % |
1.96/2.06 c | 13748 | 1000 20000 100000 | 2147483647 10375 120 | 0.000 % |
2.06/2.12 c | 14057 | 1000 20000 100000 | 2147483647 10684 121 | 0.000 % |
2.06/2.14 c | 14160 | 1000 20000 100000 | 2147483647 10787 121 | 0.000 % |
2.06/2.16 c | 14272 | 1000 20000 100000 | 2147483647 10899 121 | 0.000 % |
2.06/2.18 c | 14394 | 1000 20000 100000 | 2147483647 11021 121 | 0.000 % |
2.16/2.21 c | 14528 | 1000 20000 100000 | 2147483647 11155 121 | 0.000 % |
2.16/2.24 c | 14674 | 1000 20000 100000 | 2147483647 11301 121 | 0.000 % |
2.16/2.27 c | 14834 | 1000 20000 100000 | 2147483647 11461 121 | 0.000 % |
2.26/2.30 c | 15011 | 1000 20000 100000 | 2147483647 11638 121 | 0.000 % |
2.26/2.33 c | 15204 | 1000 20000 100000 | 2147483647 11831 121 | 0.000 % |
2.26/2.38 c | 15416 | 1000 20000 100000 | 2147483647 12043 122 | 0.000 % |
2.36/2.42 c | 15650 | 1000 20000 100000 | 2147483647 12277 122 | 0.000 % |
2.36/2.47 c | 15907 | 1000 20000 100000 | 2147483647 12534 122 | 0.000 % |
2.46/2.52 c | 16188 | 1000 20000 100000 | 2147483647 12815 122 | 0.000 % |
2.46/2.58 c | 16499 | 1000 20000 100000 | 2147483647 13126 122 | 0.000 % |
2.56/2.65 c | 16839 | 1000 20000 100000 | 2147483647 13466 122 | 0.000 % |
2.56/2.66 c | 16939 | 1000 20000 100000 | 2147483647 13566 122 | 0.000 % |
2.56/2.69 c | 17049 | 1000 20000 100000 | 2147483647 13676 121 | 0.000 % |
2.65/2.72 c | 17171 | 1000 20000 100000 | 2147483647 13798 121 | 0.000 % |
2.65/2.75 c | 17305 | 1000 20000 100000 | 2147483647 13932 121 | 0.000 % |
2.65/2.78 c | 17454 | 1000 20000 100000 | 2147483647 14081 122 | 0.000 % |
2.75/2.82 c | 17614 | 1000 20000 100000 | 2147483647 14241 122 | 0.000 % |
2.75/2.85 c | 17790 | 1000 20000 100000 | 2147483647 14417 122 | 0.000 % |
2.75/2.89 c | 17983 | 1000 20000 100000 | 2147483647 14610 122 | 0.000 % |
2.85/2.93 c | 18198 | 1000 20000 100000 | 2147483647 14825 122 | 0.000 % |
2.85/2.98 c | 18431 | 1000 20000 100000 | 2147483647 15058 122 | 0.000 % |
2.95/3.03 c | 18687 | 1000 20000 100000 | 2147483647 15314 122 | 0.000 % |
2.95/3.09 c | 18969 | 1000 20000 100000 | 2147483647 15596 122 | 0.000 % |
3.05/3.15 c | 19281 | 1000 20000 100000 | 2147483647 15908 122 | 0.000 % |
3.15/3.23 c | 19621 | 1000 20000 100000 | 2147483647 16248 122 | 0.000 % |
3.25/3.32 c | 19993 | 1000 20000 100000 | 2147483647 16620 122 | 0.000 % |
3.25/3.34 c | 20095 | 1000 20000 100000 | 2147483647 16722 122 | 0.000 % |
3.25/3.37 c | 20206 | 1000 20000 100000 | 2147483647 16833 122 | 0.000 % |
3.35/3.40 c | 20327 | 1000 20000 100000 | 2147483647 16954 122 | 0.000 % |
3.35/3.43 c | 20460 | 1000 20000 100000 | 2147483647 17087 122 | 0.000 % |
3.35/3.46 c | 20608 | 1000 20000 100000 | 2147483647 17235 122 | 0.000 % |
3.45/3.50 c | 20769 | 1000 20000 100000 | 2147483647 17396 122 | 0.000 % |
3.45/3.54 c | 20946 | 1000 20000 100000 | 2147483647 17573 122 | 0.000 % |
3.45/3.58 c | 21139 | 1000 20000 100000 | 2147483647 17766 122 | 0.000 % |
3.55/3.63 c | 21354 | 1000 20000 100000 | 2147483647 17981 122 | 0.000 % |
3.55/3.69 c | 21587 | 1000 20000 100000 | 2147483647 18214 122 | 0.000 % |
3.65/3.75 c | 21845 | 1000 20000 100000 | 2147483647 18472 122 | 0.000 % |
3.75/3.82 c | 22128 | 1000 20000 100000 | 2147483647 18755 122 | 0.000 % |
3.75/3.89 c | 22437 | 1000 20000 100000 | 2147483647 19064 122 | 0.000 % |
3.85/3.97 c | 22777 | 1000 20000 100000 | 2147483647 19404 122 | 0.000 % |
3.95/4.05 c | 23151 | 1000 20000 100000 | 2147483647 19778 122 | 0.000 % |
4.05/4.14 c | 23560 | 1000 20000 100000 | 2147483647 20187 123 | 0.000 % |
4.05/4.17 c | 23660 | 1000 20000 100000 | 2147483647 20287 123 | 0.000 % |
4.15/4.20 c | 23772 | 1000 20000 100000 | 2147483647 20399 123 | 0.000 % |
4.15/4.23 c | 23893 | 1000 20000 100000 | 2147483647 20520 123 | 0.000 % |
4.15/4.26 c | 24026 | 1000 20000 100000 | 2147483647 20653 123 | 0.000 % |
4.26/4.31 c | 24173 | 1000 20000 100000 | 2147483647 20800 123 | 0.000 % |
4.26/4.35 c | 24336 | 1000 20000 100000 | 2147483647 20963 123 | 0.000 % |
4.26/4.39 c | 24513 | 1000 20000 100000 | 2147483647 21140 123 | 0.000 % |
4.36/4.45 c | 24706 | 1000 20000 100000 | 2147483647 21333 123 | 0.000 % |
4.45/4.51 c | 24919 | 1000 20000 100000 | 2147483647 21546 123 | 0.000 % |
4.45/4.56 c | 25153 | 1000 20000 100000 | 2147483647 21780 123 | 0.000 % |
4.55/4.62 c | 25410 | 1000 20000 100000 | 2147483647 22037 123 | 0.000 % |
4.55/4.69 c | 25691 | 1000 20000 100000 | 2147483647 22318 123 | 0.000 % |
4.65/4.77 c | 26000 | 1000 20000 100000 | 2147483647 22627 123 | 0.000 % |
4.75/4.86 c | 26339 | 1000 20000 100000 | 2147483647 22966 123 | 0.000 % |
4.85/4.97 c | 26711 | 1000 20000 100000 | 2147483647 23338 124 | 0.000 % |
4.95/5.08 c | 27122 | 1000 20000 100000 | 2147483647 23749 124 | 0.000 % |
5.15/5.20 c | 27571 | 1000 20000 100000 | 2147483647 24198 124 | 0.000 % |
5.15/5.24 c | 27671 | 1000 20000 100000 | 2147483647 24298 124 | 0.000 % |
5.15/5.27 c | 27782 | 1000 20000 100000 | 2147483647 24409 124 | 0.000 % |
5.25/5.31 c | 27904 | 1000 20000 100000 | 2147483647 24531 124 | 0.000 % |
5.25/5.35 c | 28039 | 1000 20000 100000 | 2147483647 24666 124 | 0.000 % |
5.35/5.40 c | 28187 | 1000 20000 100000 | 2147483647 24814 124 | 0.000 % |
5.35/5.45 c | 28347 | 1000 20000 100000 | 2147483647 24974 124 | 0.000 % |
5.35/5.50 c | 28523 | 1000 20000 100000 | 2147483647 25150 124 | 0.000 % |
5.45/5.56 c | 28716 | 1000 20000 100000 | 2147483647 25343 124 | 0.000 % |
5.54/5.63 c | 28931 | 1000 20000 100000 | 2147483647 25558 124 | 0.000 % |
5.64/5.70 c | 29164 | 1000 20000 100000 | 2147483647 25791 124 | 0.000 % |
5.64/5.77 c | 29420 | 1000 20000 100000 | 2147483647 26047 124 | 0.000 % |
5.74/5.85 c | 29702 | 1000 20000 100000 | 2147483647 26329 124 | 0.000 % |
5.84/5.94 c | 30012 | 1000 20000 100000 | 2147483647 26639 124 | 0.000 % |
5.94/6.05 c | 30351 | 1000 20000 100000 | 2147483647 26978 124 | 0.000 % |
6.04/6.16 c | 30724 | 1000 20000 100000 | 2147483647 27351 124 | 0.000 % |
6.15/6.27 c | 31133 | 1000 20000 100000 | 2147483647 27760 124 | 0.000 % |
6.35/6.41 c | 31582 | 1000 20000 100000 | 2147483647 28209 124 | 0.000 % |
6.45/6.57 c | 32075 | 1000 20000 100000 | 2147483647 28702 124 | 0.000 % |
6.45/6.60 c | 32176 | 1000 20000 100000 | 2147483647 28803 124 | 0.000 % |
6.55/6.63 c | 32286 | 1000 20000 100000 | 2147483647 28913 124 | 0.000 % |
6.55/6.68 c | 32408 | 1000 20000 100000 | 2147483647 29035 124 | 0.000 % |
6.65/6.72 c | 32541 | 1000 20000 100000 | 2147483647 29168 124 | 0.000 % |
6.65/6.78 c | 32688 | 1000 20000 100000 | 2147483647 29315 124 | 0.000 % |
6.75/6.83 c | 32851 | 1000 20000 100000 | 2147483647 29478 124 | 0.000 % |
6.75/6.89 c | 33030 | 1000 20000 100000 | 2147483647 29657 124 | 0.000 % |
6.85/6.96 c | 33223 | 1000 20000 100000 | 2147483647 29850 124 | 0.000 % |
6.95/7.04 c | 33435 | 1000 20000 100000 | 2147483647 30062 124 | 0.000 % |
7.05/7.11 c | 33669 | 1000 20000 100000 | 2147483647 30296 124 | 0.000 % |
7.05/7.19 c | 33925 | 1000 20000 100000 | 2147483647 30552 124 | 0.000 % |
7.15/7.28 c | 34206 | 1000 20000 100000 | 2147483647 30833 124 | 0.000 % |
7.25/7.37 c | 34515 | 1000 20000 100000 | 2147483647 31142 124 | 0.000 % |
7.34/7.49 c | 34855 | 1000 20000 100000 | 2147483647 31482 124 | 0.000 % |
7.55/7.61 c | 35228 | 1000 20000 100000 | 2147483647 31855 124 | 0.000 % |
7.64/7.75 c | 35637 | 1000 20000 100000 | 2147483647 32264 124 | 0.000 % |
7.74/7.89 c | 36088 | 1000 20000 100000 | 2147483647 32715 124 | 0.000 % |
7.94/8.08 c | 36581 | 1000 20000 100000 | 2147483647 33208 124 | 0.000 % |
8.14/8.27 c | 37123 | 1000 20000 100000 | 2147483647 33750 124 | 0.000 % |
8.24/8.31 c | 37223 | 1000 20000 100000 | 2147483647 33850 124 | 0.000 % |
8.24/8.35 c | 37335 | 1000 20000 100000 | 2147483647 33962 124 | 0.000 % |
8.34/8.40 c | 37457 | 1000 20000 100000 | 2147483647 34084 124 | 0.000 % |
8.34/8.45 c | 37591 | 1000 20000 100000 | 2147483647 34218 124 | 0.000 % |
8.44/8.51 c | 37737 | 1000 20000 100000 | 2147483647 34364 124 | 0.000 % |
8.44/8.56 c | 37897 | 1000 20000 100000 | 2147483647 34524 124 | 0.000 % |
8.54/8.63 c | 38073 | 1000 20000 100000 | 2147483647 34700 124 | 0.000 % |
8.64/8.70 c | 38267 | 1000 20000 100000 | 2147483647 34894 124 | 0.000 % |
8.64/8.78 c | 38479 | 1000 20000 100000 | 2147483647 35106 124 | 0.000 % |
8.74/8.87 c | 38714 | 1000 20000 100000 | 2147483647 35341 124 | 0.000 % |
8.83/8.96 c | 38970 | 1000 20000 100000 | 2147483647 35597 124 | 0.000 % |
8.93/9.07 c | 39251 | 1000 20000 100000 | 2147483647 35878 124 | 0.000 % |
9.13/9.20 c | 39560 | 1000 20000 100000 | 2147483647 36187 124 | 0.000 % |
9.23/9.33 c | 39900 | 1000 20000 100000 | 2147483647 36527 124 | 0.000 % |
9.33/9.47 c | 40275 | 1000 20000 100000 | 2147483647 36902 125 | 0.000 % |
9.54/9.61 c | 40684 | 1000 20000 100000 | 2147483647 37311 125 | 0.000 % |
9.64/9.78 c | 41135 | 1000 20000 100000 | 2147483647 37762 125 | 0.000 % |
9.84/9.96 c | 41628 | 1000 20000 100000 | 2147483647 38255 125 | 0.000 % |
10.04/10.16 c | 42170 | 1000 20000 100000 | 2147483647 38797 125 | 0.000 % |
10.24/10.39 c | 42768 | 1000 20000 100000 | 2147483647 39395 125 | 0.000 % |
10.33/10.43 c | 42869 | 1000 20000 100000 | 2147483647 39496 125 | 0.000 % |
10.33/10.47 c | 42979 | 1000 20000 100000 | 2147483647 39606 125 | 0.000 % |
10.43/10.52 c | 43100 | 1000 20000 100000 | 2147483647 39727 125 | 0.000 % |
10.43/10.57 c | 43233 | 1000 20000 100000 | 2147483647 39860 125 | 0.000 % |
10.53/10.63 c | 43380 | 1000 20000 100000 | 2147483647 40007 125 | 0.000 % |
10.53/10.70 c | 43540 | 1000 20000 100000 | 2147483647 40167 125 | 0.000 % |
10.63/10.78 c | 43716 | 1000 20000 100000 | 2147483647 40343 125 | 0.000 % |
10.73/10.84 c | 43909 | 1000 20000 100000 | 2147483647 40536 125 | 0.000 % |
10.84/10.93 c | 44121 | 1000 20000 100000 | 2147483647 40748 125 | 0.000 % |
10.94/11.03 c | 44354 | 1000 20000 100000 | 2147483647 40981 125 | 0.000 % |
11.03/11.13 c | 44611 | 1000 20000 100000 | 2147483647 41238 125 | 0.000 % |
11.13/11.25 c | 44893 | 1000 20000 100000 | 2147483647 41520 125 | 0.000 % |
11.23/11.38 c | 45204 | 1000 20000 100000 | 2147483647 41831 125 | 0.000 % |
11.43/11.51 c | 45543 | 1000 20000 100000 | 2147483647 42170 125 | 0.000 % |
11.53/11.68 c | 45916 | 1000 20000 100000 | 2147483647 42543 125 | 0.000 % |
11.73/11.85 c | 46325 | 1000 20000 100000 | 2147483647 42952 125 | 0.000 % |
11.93/12.03 c | 46774 | 1000 20000 100000 | 2147483647 43401 125 | 0.000 % |
12.12/12.25 c | 47267 | 1000 20000 100000 | 2147483647 43894 126 | 0.000 % |
12.32/12.47 c | 47810 | 1000 20000 100000 | 2147483647 44437 125 | 0.000 % |
12.63/12.74 c | 48407 | 1000 20000 100000 | 2147483647 45034 126 | 0.000 % |
12.93/13.02 c | 49063 | 1000 20000 100000 | 2147483647 45690 126 | 0.000 % |
12.93/13.07 c | 49163 | 1000 20000 100000 | 2147483647 45790 126 | 0.000 % |
13.03/13.12 c | 49273 | 1000 20000 100000 | 2147483647 45900 126 | 0.000 % |
13.03/13.18 c | 49394 | 1000 20000 100000 | 2147483647 46021 126 | 0.000 % |
13.13/13.25 c | 49527 | 1000 20000 100000 | 2147483647 46154 126 | 0.000 % |
13.23/13.33 c | 49674 | 1000 20000 100000 | 2147483647 46301 126 | 0.000 % |
13.33/13.42 c | 49835 | 1000 20000 100000 | 2147483647 46462 126 | 0.000 % |
13.43/13.50 c | 50011 | 1000 20000 100000 | 2147483647 46638 126 | 0.000 % |
13.53/13.60 c | 50204 | 1000 20000 100000 | 2147483647 46831 126 | 0.000 % |
13.63/13.71 c | 50417 | 1000 20000 100000 | 2147483647 47044 126 | 0.000 % |
13.73/13.82 c | 50653 | 1000 20000 100000 | 2147483647 47280 126 | 0.000 % |
13.83/13.92 c | 50910 | 1000 20000 100000 | 2147483647 47537 126 | 0.000 % |
13.93/14.06 c | 51191 | 1000 20000 100000 | 2147483647 47818 126 | 0.000 % |
14.13/14.21 c | 51502 | 1000 20000 100000 | 2147483647 48129 126 | 0.000 % |
14.23/14.38 c | 51842 | 1000 20000 100000 | 2147483647 48469 126 | 0.000 % |
14.42/14.56 c | 52214 | 1000 20000 100000 | 2147483647 48841 126 | 0.000 % |
14.62/14.75 c | 52624 | 1000 20000 100000 | 2147483647 49251 126 | 0.000 % |
14.82/14.95 c | 53076 | 1000 20000 100000 | 2147483647 49703 126 | 0.000 % |
15.02/15.19 c | 53569 | 1000 20000 100000 | 2147483647 50196 126 | 0.000 % |
15.33/15.46 c | 54112 | 1000 20000 100000 | 2147483647 50739 126 | 0.000 % |
15.62/15.75 c | 54708 | 1000 20000 100000 | 2147483647 51335 126 | 0.000 % |
15.93/16.07 c | 55364 | 1000 20000 100000 | 2147483647 51991 126 | 0.000 % |
16.33/16.40 c | 56084 | 1000 20000 100000 | 2147483647 52711 126 | 0.000 % |
16.33/16.47 c | 56185 | 1000 20000 100000 | 2147483647 52812 126 | 0.000 % |
16.43/16.53 c | 56296 | 1000 20000 100000 | 2147483647 52923 126 | 0.000 % |
16.53/16.60 c | 56417 | 1000 20000 100000 | 2147483647 53044 126 | 0.000 % |
16.53/16.67 c | 56550 | 1000 20000 100000 | 2147483647 53177 126 | 0.000 % |
16.63/16.76 c | 56696 | 1000 20000 100000 | 2147483647 53323 126 | 0.000 % |
16.73/16.86 c | 56858 | 1000 20000 100000 | 2147483647 53485 126 | 0.000 % |
16.83/16.95 c | 57036 | 1000 20000 100000 | 2147483647 53663 126 | 0.000 % |
16.93/17.07 c | 57230 | 1000 20000 100000 | 2147483647 53857 126 | 0.000 % |
17.03/17.18 c | 57442 | 1000 20000 100000 | 2147483647 54069 126 | 0.000 % |
17.23/17.30 c | 57675 | 1000 20000 100000 | 2147483647 54302 126 | 0.000 % |
17.32/17.43 c | 57931 | 1000 20000 100000 | 2147483647 54558 126 | 0.000 % |
17.43/17.58 c | 58212 | 1000 20000 100000 | 2147483647 54839 126 | 0.000 % |
17.62/17.73 c | 58521 | 1000 20000 100000 | 2147483647 55148 126 | 0.000 % |
17.82/17.91 c | 58861 | 1000 20000 100000 | 2147483647 55488 126 | 0.000 % |
18.02/18.13 c | 59235 | 1000 20000 100000 | 2147483647 55862 126 | 0.000 % |
18.22/18.33 c | 59645 | 1000 20000 100000 | 2147483647 56272 126 | 0.000 % |
18.42/18.57 c | 60095 | 1000 20000 100000 | 2147483647 56722 126 | 0.000 % |
18.73/18.84 c | 60589 | 1000 20000 100000 | 2147483647 57216 126 | 0.000 % |
19.03/19.13 c | 61131 | 1000 20000 100000 | 2147483647 57758 126 | 0.000 % |
19.32/19.43 c | 61727 | 1000 20000 100000 | 2147483647 58354 126 | 0.000 % |
19.73/19.80 c | 62382 | 1000 20000 100000 | 2147483647 59009 126 | 0.000 % |
20.02/20.16 c | 63103 | 1000 20000 100000 | 2147483647 59730 126 | 0.000 % |
20.42/20.58 c | 63896 | 1000 20000 100000 | 2147483647 60523 126 | 0.000 % |
20.52/20.64 c | 63997 | 1000 20000 100000 | 2147483647 60624 126 | 0.000 % |
20.62/20.70 c | 64107 | 1000 20000 100000 | 2147483647 60734 126 | 0.000 % |
20.62/20.79 c | 64229 | 1000 20000 100000 | 2147483647 60856 126 | 0.000 % |
20.72/20.87 c | 64362 | 1000 20000 100000 | 2147483647 60989 126 | 0.000 % |
20.82/20.97 c | 64509 | 1000 20000 100000 | 2147483647 61136 126 | 0.000 % |
20.92/21.08 c | 64669 | 1000 20000 100000 | 2147483647 61296 126 | 0.000 % |
21.12/21.20 c | 64847 | 1000 20000 100000 | 2147483647 61474 126 | 0.000 % |
21.22/21.31 c | 65040 | 1000 20000 100000 | 2147483647 61667 126 | 0.000 % |
21.32/21.45 c | 65252 | 1000 20000 100000 | 2147483647 61879 126 | 0.000 % |
21.52/21.61 c | 65487 | 1000 20000 100000 | 2147483647 62114 126 | 0.000 % |
21.62/21.77 c | 65743 | 1000 20000 100000 | 2147483647 62370 126 | 0.000 % |
21.82/21.94 c | 66024 | 1000 20000 100000 | 2147483647 62651 126 | 0.000 % |
22.02/22.15 c | 66333 | 1000 20000 100000 | 2147483647 62960 126 | 0.000 % |
22.22/22.36 c | 66672 | 1000 20000 100000 | 2147483647 63299 126 | 0.000 % |
22.42/22.57 c | 67044 | 1000 20000 100000 | 2147483647 63671 126 | 0.000 % |
22.72/22.83 c | 67455 | 1000 20000 100000 | 2147483647 64082 126 | 0.000 % |
22.92/23.09 c | 67905 | 1000 20000 100000 | 2147483647 64532 126 | 0.000 % |
23.22/23.38 c | 68401 | 1000 20000 100000 | 2147483647 65028 126 | 0.000 % |
23.52/23.69 c | 68943 | 1000 20000 100000 | 2147483647 65570 126 | 0.000 % |
23.92/24.03 c | 69539 | 1000 20000 100000 | 2147483647 66166 126 | 0.000 % |
24.32/24.44 c | 70194 | 1000 20000 100000 | 2147483647 66821 126 | 0.000 % |
24.72/24.89 c | 70915 | 1000 20000 100000 | 2147483647 67542 127 | 0.000 % |
25.23/25.35 c | 71707 | 1000 20000 100000 | 2147483647 68334 127 | 0.000 % |
25.72/25.87 c | 72578 | 1000 20000 100000 | 2147483647 69205 127 | 0.000 % |
25.82/25.96 c | 72679 | 1000 20000 100000 | 2147483647 69306 127 | 0.000 % |
25.92/26.04 c | 72789 | 1000 20000 100000 | 2147483647 69416 127 | 0.000 % |
26.02/26.13 c | 72911 | 1000 20000 100000 | 2147483647 69538 127 | 0.000 % |
26.12/26.22 c | 73046 | 1000 20000 100000 | 2147483647 69673 127 | 0.000 % |
26.22/26.34 c | 73192 | 1000 20000 100000 | 2147483647 69819 127 | 0.000 % |
26.32/26.45 c | 73352 | 1000 20000 100000 | 2147483647 69979 127 | 0.000 % |
26.42/26.58 c | 73530 | 1000 20000 100000 | 2147483647 70157 127 | 0.000 % |
26.62/26.74 c | 73724 | 1000 20000 100000 | 2147483647 70351 127 | 0.000 % |
26.72/26.88 c | 73936 | 1000 20000 100000 | 2147483647 70563 127 | 0.000 % |
26.91/27.03 c | 74173 | 1000 20000 100000 | 2147483647 70800 127 | 0.000 % |
27.11/27.20 c | 74429 | 1000 20000 100000 | 2147483647 71056 127 | 0.000 % |
27.21/27.40 c | 74710 | 1000 20000 100000 | 2147483647 71337 127 | 0.000 % |
27.42/27.58 c | 75020 | 1000 20000 100000 | 2147483647 71647 127 | 0.000 % |
27.71/27.82 c | 75361 | 1000 20000 100000 | 2147483647 71988 127 | 0.000 % |
27.91/28.07 c | 75736 | 1000 20000 100000 | 2147483647 72363 127 | 0.000 % |
28.21/28.36 c | 76146 | 1000 20000 100000 | 2147483647 72773 127 | 0.000 % |
28.52/28.68 c | 76595 | 1000 20000 100000 | 2147483647 73222 127 | 0.000 % |
28.92/29.03 c | 77088 | 1000 20000 100000 | 2147483647 73715 127 | 0.000 % |
29.32/29.42 c | 77632 | 1000 20000 100000 | 2147483647 74259 127 | 0.000 % |
29.72/29.83 c | 78228 | 1000 20000 100000 | 2147483647 74855 127 | 0.000 % |
30.12/30.25 c | 78883 | 1000 20000 100000 | 2147483647 75510 127 | 0.000 % |
30.62/30.74 c | 79603 | 1000 20000 100000 | 2147483647 76230 127 | 0.000 % |
31.11/31.27 c | 80398 | 1000 20000 100000 | 2147483647 77025 127 | 0.000 % |
31.72/31.85 c | 81269 | 1000 20000 100000 | 2147483647 77896 127 | 0.000 % |
32.31/32.49 c | 82228 | 1000 20000 100000 | 2147483647 78855 127 | 0.000 % |
32.41/32.56 c | 82328 | 1000 20000 100000 | 2147483647 78955 127 | 0.000 % |
32.52/32.65 c | 82438 | 1000 20000 100000 | 2147483647 79065 127 | 0.000 % |
32.62/32.75 c | 82560 | 1000 20000 100000 | 2147483647 79187 127 | 0.000 % |
32.72/32.87 c | 82695 | 1000 20000 100000 | 2147483647 79322 127 | 0.000 % |
32.82/33.00 c | 82841 | 1000 20000 100000 | 2147483647 79468 127 | 0.000 % |
33.02/33.11 c | 83001 | 1000 20000 100000 | 2147483647 79628 127 | 0.000 % |
33.12/33.29 c | 83180 | 1000 20000 100000 | 2147483647 79807 127 | 0.000 % |
33.32/33.45 c | 83373 | 1000 20000 100000 | 2147483647 80000 127 | 0.000 % |
33.51/33.60 c | 83587 | 1000 20000 100000 | 2147483647 80214 127 | 0.000 % |
33.71/33.81 c | 83820 | 1000 20000 100000 | 2147483647 80447 127 | 0.000 % |
33.92/34.03 c | 84078 | 1000 20000 100000 | 2147483647 80705 127 | 0.000 % |
34.11/34.25 c | 84360 | 1000 20000 100000 | 2147483647 80987 127 | 0.000 % |
34.31/34.48 c | 84670 | 1000 20000 100000 | 2147483647 81297 127 | 0.000 % |
34.61/34.73 c | 85010 | 1000 20000 100000 | 2147483647 81637 127 | 0.000 % |
34.91/35.04 c | 85382 | 1000 20000 100000 | 2147483647 82009 127 | 0.000 % |
35.21/35.35 c | 85791 | 1000 20000 100000 | 2147483647 82418 127 | 0.000 % |
35.61/35.70 c | 86240 | 1000 20000 100000 | 2147483647 82867 127 | 0.000 % |
35.92/36.05 c | 86733 | 1000 20000 100000 | 2147483647 83360 127 | 0.000 % |
36.31/36.43 c | 87275 | 1000 20000 100000 | 2147483647 83902 127 | 0.000 % |
36.71/36.88 c | 87873 | 1000 20000 100000 | 2147483647 84500 127 | 0.000 % |
37.22/37.36 c | 88529 | 1000 20000 100000 | 2147483647 85156 127 | 0.000 % |
37.81/37.93 c | 89249 | 1000 20000 100000 | 2147483647 85876 127 | 0.000 % |
38.42/38.52 c | 90042 | 1000 20000 100000 | 2147483647 86669 127 | 0.000 % |
39.12/39.23 c | 90913 | 1000 20000 100000 | 2147483647 87540 127 | 0.000 % |
39.81/39.99 c | 91873 | 1000 20000 100000 | 2147483647 88500 127 | 0.000 % |
40.62/40.74 c | 92926 | 1000 20000 100000 | 2147483647 89553 127 | 0.000 % |
40.71/40.82 c | 93026 | 1000 20000 100000 | 2147483647 89653 127 | 0.000 % |
40.81/40.94 c | 93138 | 1000 20000 100000 | 2147483647 89765 127 | 0.000 % |
40.91/41.05 c | 93259 | 1000 20000 100000 | 2147483647 89886 127 | 0.000 % |
41.01/41.19 c | 93393 | 1000 20000 100000 | 2147483647 90020 127 | 0.000 % |
41.21/41.31 c | 93539 | 1000 20000 100000 | 2147483647 90166 127 | 0.000 % |
41.31/41.49 c | 93701 | 1000 20000 100000 | 2147483647 90328 127 | 0.000 % |
41.51/41.64 c | 93880 | 1000 20000 100000 | 2147483647 90507 127 | 0.000 % |
41.71/41.80 c | 94074 | 1000 20000 100000 | 2147483647 90701 127 | 0.000 % |
41.91/42.02 c | 94286 | 1000 20000 100000 | 2147483647 90913 127 | 0.000 % |
42.11/42.24 c | 94519 | 1000 20000 100000 | 2147483647 91146 127 | 0.000 % |
42.42/42.50 c | 94776 | 1000 20000 100000 | 2147483647 91403 127 | 0.000 % |
42.62/42.73 c | 95058 | 1000 20000 100000 | 2147483647 91685 127 | 0.000 % |
42.92/43.05 c | 95369 | 1000 20000 100000 | 2147483647 91996 127 | 0.000 % |
43.22/43.34 c | 95708 | 1000 20000 100000 | 2147483647 92335 127 | 0.000 % |
43.52/43.65 c | 96081 | 1000 20000 100000 | 2147483647 92708 127 | 0.000 % |
43.92/44.02 c | 96491 | 1000 20000 100000 | 2147483647 93118 127 | 0.000 % |
44.31/44.43 c | 96940 | 1000 20000 100000 | 2147483647 93567 127 | 0.000 % |
44.71/44.85 c | 97433 | 1000 20000 100000 | 2147483647 94060 127 | 0.000 % |
45.21/45.30 c | 97975 | 1000 20000 100000 | 2147483647 94602 127 | 0.000 % |
45.71/45.80 c | 98571 | 1000 20000 100000 | 2147483647 95198 127 | 0.000 % |
46.31/46.40 c | 99226 | 1000 20000 100000 | 2147483647 95853 127 | 0.000 % |
46.81/46.98 c | 99948 | 1000 20000 100000 | 2147483647 96575 127 | 0.000 % |
47.51/47.69 c | 100740 | 1000 20000 100000 | 96627 84545 128 | 0.000 % |
48.22/48.37 c | 101611 | 1000 20000 100000 | 96627 85416 128 | 0.000 % |
48.91/49.06 c | 102569 | 1000 20000 100000 | 96627 86374 128 | 0.000 % |
49.81/49.94 c | 103625 | 1000 20000 100000 | 96627 87430 128 | 0.000 % |
50.61/50.74 c | 104784 | 1000 20000 100000 | 96627 88589 128 | 0.000 % |
50.71/50.83 c | 104884 | 1000 20000 100000 | 96627 88689 128 | 0.000 % |
50.81/50.91 c | 104994 | 1000 20000 100000 | 96627 88799 128 | 0.000 % |
50.91/51.02 c | 105115 | 1000 20000 100000 | 96627 88920 128 | 0.000 % |
51.01/51.13 c | 105248 | 1000 20000 100000 | 96627 89053 128 | 0.000 % |
51.11/51.25 c | 105395 | 1000 20000 100000 | 96627 89200 128 | 0.000 % |
51.21/51.39 c | 105555 | 1000 20000 100000 | 96627 89360 128 | 0.000 % |
51.41/51.58 c | 105731 | 1000 20000 100000 | 96627 89536 128 | 0.000 % |
51.62/51.75 c | 105926 | 1000 20000 100000 | 96627 89731 128 | 0.000 % |
51.81/51.93 c | 106139 | 1000 20000 100000 | 96627 89944 128 | 0.000 % |
52.01/52.12 c | 106372 | 1000 20000 100000 | 96627 90177 128 | 0.000 % |
52.21/52.34 c | 106628 | 1000 20000 100000 | 96627 90433 128 | 0.000 % |
52.41/52.55 c | 106910 | 1000 20000 100000 | 96627 90715 128 | 0.000 % |
52.72/52.81 c | 107220 | 1000 20000 100000 | 96627 91025 128 | 0.000 % |
52.91/53.09 c | 107559 | 1000 20000 100000 | 96627 91364 128 | 0.000 % |
53.31/53.44 c | 107931 | 1000 20000 100000 | 96627 91736 128 | 0.000 % |
53.61/53.77 c | 108340 | 1000 20000 100000 | 96627 92145 128 | 0.000 % |
54.01/54.12 c | 108789 | 1000 20000 100000 | 96627 92594 128 | 0.000 % |
54.41/54.52 c | 109282 | 1000 20000 100000 | 96627 93087 128 | 0.000 % |
54.81/54.98 c | 109825 | 1000 20000 100000 | 96627 93630 128 | 0.000 % |
55.41/55.53 c | 110421 | 1000 20000 100000 | 93805 81795 128 | 0.000 % |
55.81/55.99 c | 111076 | 1000 20000 100000 | 93805 82450 128 | 0.000 % |
56.41/56.57 c | 111797 | 1000 20000 100000 | 93805 83171 128 | 0.000 % |
57.11/57.20 c | 112590 | 1000 20000 100000 | 93805 83964 128 | 0.000 % |
57.71/57.88 c | 113461 | 1000 20000 100000 | 93805 84835 128 | 0.000 % |
58.51/58.64 c | 114420 | 1000 20000 100000 | 93805 85794 128 | 0.000 % |
59.31/59.40 c | 115474 | 1000 20000 100000 | 93805 86848 128 | 0.000 % |
60.11/60.21 c | 116633 | 1000 20000 100000 | 93805 88007 129 | 0.000 % |
61.01/61.18 c | 117906 | 1000 20000 100000 | 93805 89280 129 | 0.000 % |
61.11/61.25 c | 118008 | 1000 20000 100000 | 93805 89382 129 | 0.000 % |
61.21/61.37 c | 118118 | 1000 20000 100000 | 93805 89492 129 | 0.000 % |
61.30/61.48 c | 118240 | 1000 20000 100000 | 93805 89614 129 | 0.000 % |
61.41/61.59 c | 118373 | 1000 20000 100000 | 93805 89747 129 | 0.000 % |
61.60/61.71 c | 118519 | 1000 20000 100000 | 93805 89893 129 | 0.000 % |
61.70/61.87 c | 118680 | 1000 20000 100000 | 93805 90054 129 | 0.000 % |
61.90/62.04 c | 118856 | 1000 20000 100000 | 93805 90230 129 | 0.000 % |
62.10/62.20 c | 119049 | 1000 20000 100000 | 93805 90423 129 | 0.000 % |
62.30/62.41 c | 119261 | 1000 20000 100000 | 93805 90635 129 | 0.000 % |
62.51/62.61 c | 119494 | 1000 20000 100000 | 93805 90868 129 | 0.000 % |
62.70/62.84 c | 119750 | 1000 20000 100000 | 93805 91124 129 | 0.000 % |
62.90/63.08 c | 120034 | 1000 20000 100000 | 91375 91408 129 | 0.000 % |
63.20/63.38 c | 120343 | 1000 20000 100000 | 91375 81046 129 | 0.000 % |
63.50/63.65 c | 120683 | 1000 20000 100000 | 91375 81386 129 | 0.000 % |
63.80/63.94 c | 121056 | 1000 20000 100000 | 91375 81759 129 | 0.000 % |
64.10/64.27 c | 121465 | 1000 20000 100000 | 91375 82168 129 | 0.000 % |
64.50/64.60 c | 121917 | 1000 20000 100000 | 91375 82620 129 | 0.000 % |
64.81/64.99 c | 122410 | 1000 20000 100000 | 91375 83113 129 | 0.000 % |
65.20/65.39 c | 122952 | 1000 20000 100000 | 91375 83655 129 | 0.000 % |
65.70/65.81 c | 123548 | 1000 20000 100000 | 91375 84251 129 | 0.000 % |
66.20/66.34 c | 124203 | 1000 20000 100000 | 91375 84906 129 | 0.000 % |
66.70/66.89 c | 124927 | 1000 20000 100000 | 91375 85630 129 | 0.000 % |
67.40/67.51 c | 125719 | 1000 20000 100000 | 91375 86422 129 | 0.000 % |
68.11/68.24 c | 126590 | 1000 20000 100000 | 91375 87293 129 | 0.000 % |
68.80/68.99 c | 127549 | 1000 20000 100000 | 91375 88252 129 | 0.000 % |
69.70/69.80 c | 128603 | 1000 20000 100000 | 91375 89306 129 | 0.000 % |
70.60/70.71 c | 129761 | 1000 20000 100000 | 91375 90464 130 | 0.000 % |
71.50/71.68 c | 131036 | 1000 20000 100000 | 90703 80979 129 | 0.000 % |
72.50/72.68 c | 132436 | 1000 20000 100000 | 90703 82379 130 | 0.000 % |
72.60/72.76 c | 132538 | 1000 20000 100000 | 90703 82481 130 | 0.000 % |
72.70/72.86 c | 132648 | 1000 20000 100000 | 90703 82591 130 | 0.000 % |
72.80/72.96 c | 132769 | 1000 20000 100000 | 90703 82712 130 | 0.000 % |
72.90/73.07 c | 132903 | 1000 20000 100000 | 90703 82846 130 | 0.000 % |
73.00/73.19 c | 133049 | 1000 20000 100000 | 90703 82992 130 | 0.000 % |
73.20/73.33 c | 133209 | 1000 20000 100000 | 90703 83152 130 | 0.000 % |
73.30/73.47 c | 133385 | 1000 20000 100000 | 90703 83328 130 | 0.000 % |
73.50/73.62 c | 133580 | 1000 20000 100000 | 90703 83523 130 | 0.000 % |
73.70/73.80 c | 133792 | 1000 20000 100000 | 90703 83735 130 | 0.000 % |
73.90/74.00 c | 134025 | 1000 20000 100000 | 90703 83968 130 | 0.000 % |
74.10/74.22 c | 134282 | 1000 20000 100000 | 90703 84225 130 | 0.000 % |
74.30/74.44 c | 134563 | 1000 20000 100000 | 90703 84506 129 | 0.000 % |
74.60/74.71 c | 134873 | 1000 20000 100000 | 90703 84816 129 | 0.000 % |
74.90/75.01 c | 135212 | 1000 20000 100000 | 90703 85155 130 | 0.000 % |
75.20/75.32 c | 135584 | 1000 20000 100000 | 90703 85527 129 | 0.000 % |
75.50/75.64 c | 135993 | 1000 20000 100000 | 90703 85936 129 | 0.000 % |
75.80/75.98 c | 136442 | 1000 20000 100000 | 90703 86385 129 | 0.000 % |
76.20/76.37 c | 136936 | 1000 20000 100000 | 90703 86879 129 | 0.000 % |
76.60/76.78 c | 137478 | 1000 20000 100000 | 90703 87421 129 | 0.000 % |
77.10/77.25 c | 138075 | 1000 20000 100000 | 90703 88018 130 | 0.000 % |
77.60/77.78 c | 138730 | 1000 20000 100000 | 90703 88673 130 | 0.000 % |
78.20/78.38 c | 139450 | 1000 20000 100000 | 90703 89393 130 | 0.000 % |
78.80/78.98 c | 140242 | 1000 20000 100000 | 89945 90185 130 | 0.000 % |
79.50/79.69 c | 141114 | 1000 20000 100000 | 89945 80679 130 | 0.000 % |
80.20/80.37 c | 142075 | 1000 20000 100000 | 89945 81640 130 | 0.000 % |
81.00/81.17 c | 143129 | 1000 20000 100000 | 89945 82694 130 | 0.000 % |
81.89/82.02 c | 144289 | 1000 20000 100000 | 89945 83854 130 | 0.000 % |
82.79/82.98 c | 145563 | 1000 20000 100000 | 89945 85128 130 | 0.000 % |
83.89/84.07 c | 146963 | 1000 20000 100000 | 89945 86528 130 | 0.000 % |
84.99/85.18 c | 148505 | 1000 20000 100000 | 89945 88070 130 | 0.000 % |
85.09/85.29 c | 148608 | 1000 20000 100000 | 89945 88173 130 | 0.000 % |
85.29/85.41 c | 148719 | 1000 20000 100000 | 89945 88284 130 | 0.000 % |
85.39/85.52 c | 148840 | 1000 20000 100000 | 89945 88405 130 | 0.000 % |
85.50/85.64 c | 148973 | 1000 20000 100000 | 89945 88538 130 | 0.000 % |
85.60/85.77 c | 149119 | 1000 20000 100000 | 89945 88684 130 | 0.000 % |
85.79/85.90 c | 149279 | 1000 20000 100000 | 89945 88844 130 | 0.000 % |
85.89/86.06 c | 149456 | 1000 20000 100000 | 89945 89021 130 | 0.000 % |
86.09/86.23 c | 149650 | 1000 20000 100000 | 89945 89215 130 | 0.000 % |
86.29/86.41 c | 149864 | 1000 20000 100000 | 89945 89429 130 | 0.000 % |
86.49/86.61 c | 150097 | 1000 20000 100000 | 89565 89662 130 | 0.000 % |
86.70/86.87 c | 150353 | 1000 20000 100000 | 89565 79803 130 | 0.000 % |
86.99/87.10 c | 150635 | 1000 20000 100000 | 89565 80085 130 | 0.000 % |
87.19/87.32 c | 150946 | 1000 20000 100000 | 89565 80396 130 | 0.000 % |
87.39/87.54 c | 151285 | 1000 20000 100000 | 89565 80735 130 | 0.000 % |
87.69/87.80 c | 151657 | 1000 20000 100000 | 89565 81107 130 | 0.000 % |
87.90/88.07 c | 152067 | 1000 20000 100000 | 89565 81517 130 | 0.000 % |
88.29/88.45 c | 152518 | 1000 20000 100000 | 89565 81968 130 | 0.000 % |
88.69/88.83 c | 153011 | 1000 20000 100000 | 89565 82461 130 | 0.000 % |
89.09/89.26 c | 153554 | 1000 20000 100000 | 89565 83004 130 | 0.000 % |
89.59/89.71 c | 154150 | 1000 20000 100000 | 89565 83600 130 | 0.000 % |
90.00/90.20 c | 154805 | 1000 20000 100000 | 89565 84255 130 | 0.000 % |
90.59/90.75 c | 155526 | 1000 20000 100000 | 89565 84976 130 | 0.000 % |
91.20/91.37 c | 156319 | 1000 20000 100000 | 89565 85769 130 | 0.000 % |
91.89/92.02 c | 157190 | 1000 20000 100000 | 89565 86640 130 | 0.000 % |
92.59/92.75 c | 158150 | 1000 20000 100000 | 89565 87600 130 | 0.000 % |
93.49/93.61 c | 159206 | 1000 20000 100000 | 89565 88656 130 | 0.000 % |
94.40/94.53 c | 160365 | 1000 20000 100000 | 89450 80190 130 | 0.000 % |
95.29/95.40 c | 161639 | 1000 20000 100000 | 89450 81464 130 | 0.000 % |
96.29/96.42 c | 163041 | 1000 20000 100000 | 89450 82866 130 | 0.000 % |
97.49/97.64 c | 164582 | 1000 20000 100000 | 89450 84407 130 | 0.000 % |
98.69/98.86 c | 166277 | 1000 20000 100000 | 89450 86102 130 | 0.000 % |
98.79/98.94 c | 166377 | 1000 20000 100000 | 89450 86202 130 | 0.000 % |
98.89/99.03 c | 166487 | 1000 20000 100000 | 89450 86312 130 | 0.000 % |
98.99/99.14 c | 166608 | 1000 20000 100000 | 89450 86433 130 | 0.000 % |
99.09/99.26 c | 166744 | 1000 20000 100000 | 89450 86569 130 | 0.000 % |
99.19/99.37 c | 166891 | 1000 20000 100000 | 89450 86716 130 | 0.000 % |
99.39/99.52 c | 167051 | 1000 20000 100000 | 89450 86876 130 | 0.000 % |
99.59/99.71 c | 167227 | 1000 20000 100000 | 89450 87052 130 | 0.000 % |
99.69/99.86 c | 167420 | 1000 20000 100000 | 89450 87245 130 | 0.000 % |
99.89/100.03 c | 167632 | 1000 20000 100000 | 89450 87457 130 | 0.000 % |
100.09/100.21 c | 167865 | 1000 20000 100000 | 89450 87690 130 | 0.000 % |
100.29/100.43 c | 168121 | 1000 20000 100000 | 89450 87946 130 | 0.000 % |
100.49/100.65 c | 168405 | 1000 20000 100000 | 89450 88230 130 | 0.000 % |
100.79/100.92 c | 168714 | 1000 20000 100000 | 89450 88539 130 | 0.000 % |
100.99/101.18 c | 169053 | 1000 20000 100000 | 89450 88878 130 | 0.000 % |
101.39/101.54 c | 169427 | 1000 20000 100000 | 89450 89252 130 | 0.000 % |
101.69/101.87 c | 169837 | 1000 20000 100000 | 89450 89662 130 | 0.000 % |
102.09/102.26 c | 170287 | 1000 20000 100000 | 79829 80116 130 | 0.000 % |
102.49/102.64 c | 170780 | 1000 20000 100000 | 79829 71790 131 | 0.000 % |
102.79/102.98 c | 171322 | 1000 20000 100000 | 79829 72332 130 | 0.000 % |
103.19/103.36 c | 171919 | 1000 20000 100000 | 79829 72929 130 | 0.000 % |
103.59/103.77 c | 172575 | 1000 20000 100000 | 79829 73585 130 | 0.000 % |
104.09/104.30 c | 173296 | 1000 20000 100000 | 79829 74306 130 | 0.000 % |
104.69/104.83 c | 174090 | 1000 20000 100000 | 79829 75100 130 | 0.000 % |
105.28/105.47 c | 174961 | 1000 20000 100000 | 79829 75971 131 | 0.000 % |
105.98/106.14 c | 175919 | 1000 20000 100000 | 79829 76929 131 | 0.000 % |
106.68/106.85 c | 176972 | 1000 20000 100000 | 79829 77982 131 | 0.000 % |
107.48/107.64 c | 178132 | 1000 20000 100000 | 79829 79142 131 | 0.000 % |
108.38/108.55 c | 179406 | 1000 20000 100000 | 79829 72401 131 | 0.000 % |
109.28/109.43 c | 180806 | 1000 20000 100000 | 2147483647 73801 131 | 0.000 % |
110.28/110.41 c | 182346 | 1000 20000 100000 | 2147483647 75341 131 | 0.000 % |
111.38/111.60 c | 184041 | 1000 20000 100000 | 2147483647 77036 131 | 0.000 % |
112.78/112.91 c | 185906 | 1000 20000 100000 | 2147483647 78901 132 | 0.000 % |
112.78/112.99 c | 186006 | 1000 20000 100000 | 2147483647 79001 132 | 0.000 % |
112.88/113.09 c | 186118 | 1000 20000 100000 | 2147483647 79113 132 | 0.000 % |
112.98/113.20 c | 186242 | 1000 20000 100000 | 2147483647 79237 132 | 0.000 % |
113.08/113.30 c | 186377 | 1000 20000 100000 | 2147483647 79372 132 | 0.000 % |
113.28/113.42 c | 186523 | 1000 20000 100000 | 2147483647 79518 132 | 0.000 % |
113.38/113.56 c | 186683 | 1000 20000 100000 | 2147483647 79678 132 | 0.000 % |
113.58/113.71 c | 186860 | 1000 20000 100000 | 2147483647 79855 132 | 0.000 % |
113.68/113.87 c | 187053 | 1000 20000 100000 | 2147483647 80048 132 | 0.000 % |
113.88/114.04 c | 187265 | 1000 20000 100000 | 2147483647 80260 132 | 0.000 % |
114.08/114.25 c | 187500 | 1000 20000 100000 | 2147483647 80495 132 | 0.000 % |
114.28/114.47 c | 187758 | 1000 20000 100000 | 2147483647 80753 132 | 0.000 % |
114.48/114.68 c | 188040 | 1000 20000 100000 | 2147483647 81035 132 | 0.000 % |
114.78/114.95 c | 188351 | 1000 20000 100000 | 2147483647 81346 132 | 0.000 % |
115.08/115.20 c | 188691 | 1000 20000 100000 | 2147483647 81686 132 | 0.000 % |
115.28/115.49 c | 189063 | 1000 20000 100000 | 2147483647 82058 132 | 0.000 % |
115.68/115.86 c | 189472 | 1000 20000 100000 | 2147483647 82467 132 | 0.000 % |
116.08/116.21 c | 189921 | 1000 20000 100000 | 2147483647 82916 132 | 0.000 % |
116.38/116.58 c | 190414 | 1000 20000 100000 | 2147483647 83409 132 | 0.000 % |
116.78/116.95 c | 190956 | 1000 20000 100000 | 2147483647 83951 132 | 0.000 % |
117.18/117.39 c | 191555 | 1000 20000 100000 | 2147483647 84550 132 | 0.000 % |
117.78/117.95 c | 192211 | 1000 20000 100000 | 2147483647 85206 132 | 0.000 % |
118.38/118.50 c | 192933 | 1000 20000 100000 | 2147483647 85928 132 | 0.000 % |
118.98/119.11 c | 193727 | 1000 20000 100000 | 2147483647 86722 132 | 0.000 % |
119.58/119.78 c | 194598 | 1000 20000 100000 | 2147483647 87593 132 | 0.000 % |
120.38/120.57 c | 195556 | 1000 20000 100000 | 2147483647 88551 132 | 0.000 % |
121.28/121.43 c | 196611 | 1000 20000 100000 | 2147483647 89606 132 | 0.000 % |
122.18/122.33 c | 197771 | 1000 20000 100000 | 2147483647 90766 132 | 0.000 % |
123.18/123.36 c | 199046 | 1000 20000 100000 | 2147483647 92041 132 | 0.000 % |
124.37/124.58 c | 200446 | 1000 20000 100000 | 92996 82796 131 | 0.000 % |
125.57/125.77 c | 201986 | 1000 20000 100000 | 92996 84336 131 | 0.000 % |
126.77/126.95 c | 203681 | 1000 20000 100000 | 92996 86031 131 | 0.000 % |
128.07/128.23 c | 205544 | 1000 20000 100000 | 92996 87894 131 | 0.000 % |
129.68/129.88 c | 207594 | 1000 20000 100000 | 92996 89944 132 | 0.000 % |
129.77/129.97 c | 207695 | 1000 20000 100000 | 92996 90045 132 | 0.000 % |
129.87/130.07 c | 207805 | 1000 20000 100000 | 92996 90155 132 | 0.000 % |
129.97/130.18 c | 207926 | 1000 20000 100000 | 92996 90276 132 | 0.000 % |
130.17/130.30 c | 208059 | 1000 20000 100000 | 92996 90409 132 | 0.000 % |
130.27/130.44 c | 208205 | 1000 20000 100000 | 92996 90555 132 | 0.000 % |
130.37/130.59 c | 208365 | 1000 20000 100000 | 92996 90715 132 | 0.000 % |
130.57/130.73 c | 208542 | 1000 20000 100000 | 92996 90892 132 | 0.000 % |
130.78/130.93 c | 208735 | 1000 20000 100000 | 92996 91085 132 | 0.000 % |
130.97/131.13 c | 208948 | 1000 20000 100000 | 92996 91298 132 | 0.000 % |
131.17/131.32 c | 209184 | 1000 20000 100000 | 92996 91534 132 | 0.000 % |
131.37/131.52 c | 209444 | 1000 20000 100000 | 92996 91794 131 | 0.000 % |
131.57/131.77 c | 209725 | 1000 20000 100000 | 92996 92075 132 | 0.000 % |
131.87/132.01 c | 210034 | 1000 20000 100000 | 92350 92384 132 | 0.000 % |
132.17/132.35 c | 210373 | 1000 20000 100000 | 92350 82231 132 | 0.000 % |
132.47/132.67 c | 210746 | 1000 20000 100000 | 92350 82604 132 | 0.000 % |
132.77/133.00 c | 211156 | 1000 20000 100000 | 92350 83014 132 | 0.000 % |
133.17/133.33 c | 211606 | 1000 20000 100000 | 92350 83464 132 | 0.000 % |
133.47/133.69 c | 212099 | 1000 20000 100000 | 92350 83957 132 | 0.000 % |
133.97/134.16 c | 212641 | 1000 20000 100000 | 92350 84499 132 | 0.000 % |
134.47/134.63 c | 213237 | 1000 20000 100000 | 92350 85095 132 | 0.000 % |
134.97/135.13 c | 213892 | 1000 20000 100000 | 92350 85750 132 | 0.000 % |
135.47/135.68 c | 214612 | 1000 20000 100000 | 92350 86470 132 | 0.000 % |
136.07/136.29 c | 215404 | 1000 20000 100000 | 92350 87262 132 | 0.000 % |
136.87/137.03 c | 216277 | 1000 20000 100000 | 92350 88135 132 | 0.000 % |
137.57/137.76 c | 217235 | 1000 20000 100000 | 92350 89093 132 | 0.000 % |
138.37/138.57 c | 218288 | 1000 20000 100000 | 92350 90146 132 | 0.000 % |
139.26/139.44 c | 219446 | 1000 20000 100000 | 92350 91304 132 | 0.000 % |
140.26/140.42 c | 220721 | 1000 20000 100000 | 91858 82321 132 | 0.000 % |
141.26/141.45 c | 222122 | 1000 20000 100000 | 91858 83722 132 | 0.000 % |
142.36/142.50 c | 223662 | 1000 20000 100000 | 91858 85262 132 | 0.000 % |
143.46/143.69 c | 225359 | 1000 20000 100000 | 91858 86959 132 | 0.000 % |
144.86/145.04 c | 227222 | 1000 20000 100000 | 91858 88822 132 | 0.000 % |
146.36/146.58 c | 229272 | 1000 20000 100000 | 91858 90872 132 | 0.000 % |
148.16/148.30 c | 231525 | 1000 20000 100000 | 2147483647 93125 132 | 0.000 % |
148.26/148.42 c | 231627 | 1000 20000 100000 | 2147483647 93227 132 | 0.000 % |
148.36/148.53 c | 231739 | 1000 20000 100000 | 2147483647 93339 132 | 0.000 % |
148.46/148.64 c | 231860 | 1000 20000 100000 | 2147483647 93460 132 | 0.000 % |
148.56/148.77 c | 231994 | 1000 20000 100000 | 2147483647 93594 132 | 0.000 % |
148.76/148.91 c | 232140 | 1000 20000 100000 | 2147483647 93740 132 | 0.000 % |
148.86/149.04 c | 232301 | 1000 20000 100000 | 2147483647 93901 132 | 0.000 % |
148.96/149.19 c | 232479 | 1000 20000 100000 | 2147483647 94079 132 | 0.000 % |
149.16/149.35 c | 232674 | 1000 20000 100000 | 2147483647 94274 132 | 0.000 % |
149.37/149.54 c | 232886 | 1000 20000 100000 | 2147483647 94486 132 | 0.000 % |
149.56/149.74 c | 233120 | 1000 20000 100000 | 2147483647 94720 132 | 0.000 % |
149.76/149.96 c | 233377 | 1000 20000 100000 | 2147483647 94977 132 | 0.000 % |
149.96/150.18 c | 233658 | 1000 20000 100000 | 2147483647 95258 132 | 0.000 % |
150.26/150.43 c | 233967 | 1000 20000 100000 | 2147483647 95567 132 | 0.000 % |
150.57/150.73 c | 234306 | 1000 20000 100000 | 2147483647 95906 132 | 0.000 % |
150.86/151.05 c | 234678 | 1000 20000 100000 | 2147483647 96278 132 | 0.000 % |
151.26/151.41 c | 235090 | 1000 20000 100000 | 2147483647 96690 132 | 0.000 % |
151.66/151.84 c | 235539 | 1000 20000 100000 | 2147483647 97139 132 | 0.000 % |
152.16/152.31 c | 236032 | 1000 20000 100000 | 2147483647 97632 132 | 0.000 % |
152.66/152.82 c | 236574 | 1000 20000 100000 | 2147483647 98174 132 | 0.000 % |
153.15/153.35 c | 237171 | 1000 20000 100000 | 2147483647 98771 132 | 0.000 % |
153.65/153.89 c | 237826 | 1000 20000 100000 | 2147483647 99426 132 | 0.000 % |
154.35/154.51 c | 238546 | 1000 20000 100000 | 2147483647 100146 132 | 0.000 % |
155.06/155.24 c | 239338 | 1000 20000 100000 | 2147483647 100938 132 | 0.000 % |
155.86/156.01 c | 240210 | 1000 20000 100000 | 101601 101810 132 | 0.000 % |
156.66/156.85 c | 241168 | 1000 20000 100000 | 101601 88075 132 | 0.000 % |
157.46/157.70 c | 242222 | 1000 20000 100000 | 101601 89129 132 | 0.000 % |
158.46/158.62 c | 243381 | 1000 20000 100000 | 101601 90288 132 | 0.000 % |
159.46/159.65 c | 244654 | 1000 20000 100000 | 101601 91561 132 | 0.000 % |
160.56/160.75 c | 246055 | 1000 20000 100000 | 101601 92962 132 | 0.000 % |
161.86/162.03 c | 247597 | 1000 20000 100000 | 101601 94504 132 | 0.000 % |
163.26/163.41 c | 249291 | 1000 20000 100000 | 101601 96198 132 | 0.000 % |
164.66/164.90 c | 251154 | 1000 20000 100000 | 96907 84956 132 | 0.000 % |
166.16/166.38 c | 253203 | 1000 20000 100000 | 96907 87005 132 | 0.000 % |
167.86/168.02 c | 255458 | 1000 20000 100000 | 96907 89260 133 | 0.000 % |
169.66/169.87 c | 257936 | 1000 20000 100000 | 96907 91738 133 | 0.000 % |
169.76/169.95 c | 258036 | 1000 20000 100000 | 96907 91838 133 | 0.000 % |
169.86/170.08 c | 258149 | 1000 20000 100000 | 96907 91951 133 | 0.000 % |
169.96/170.18 c | 258270 | 1000 20000 100000 | 96907 92072 133 | 0.000 % |
170.16/170.31 c | 258405 | 1000 20000 100000 | 96907 92207 133 | 0.000 % |
170.26/170.43 c | 258552 | 1000 20000 100000 | 96907 92354 133 | 0.000 % |
170.45/170.61 c | 258713 | 1000 20000 100000 | 96907 92515 133 | 0.000 % |
170.55/170.79 c | 258889 | 1000 20000 100000 | 96907 92691 133 | 0.000 % |
170.75/170.95 c | 259082 | 1000 20000 100000 | 96907 92884 133 | 0.000 % |
170.95/171.17 c | 259295 | 1000 20000 100000 | 96907 93097 133 | 0.000 % |
171.25/171.40 c | 259528 | 1000 20000 100000 | 96907 93330 133 | 0.000 % |
171.46/171.64 c | 259784 | 1000 20000 100000 | 96907 93586 133 | 0.000 % |
171.75/171.92 c | 260065 | 1000 20000 100000 | 93802 93867 133 | 0.000 % |
172.05/172.23 c | 260376 | 1000 20000 100000 | 93802 82830 133 | 0.000 % |
172.25/172.49 c | 260715 | 1000 20000 100000 | 93802 83169 133 | 0.000 % |
172.55/172.75 c | 261087 | 1000 20000 100000 | 93802 83541 133 | 0.000 % |
172.85/173.06 c | 261499 | 1000 20000 100000 | 93802 83953 133 | 0.000 % |
173.25/173.40 c | 261948 | 1000 20000 100000 | 93802 84402 133 | 0.000 % |
173.55/173.78 c | 262441 | 1000 20000 100000 | 93802 84895 133 | 0.000 % |
173.95/174.17 c | 262983 | 1000 20000 100000 | 93802 85437 133 | 0.000 % |
174.45/174.63 c | 263579 | 1000 20000 100000 | 93802 86033 133 | 0.000 % |
174.95/175.18 c | 264234 | 1000 20000 100000 | 93802 86688 133 | 0.000 % |
175.55/175.74 c | 264955 | 1000 20000 100000 | 93802 87409 133 | 0.000 % |
176.15/176.35 c | 265750 | 1000 20000 100000 | 93802 88204 133 | 0.000 % |
176.75/176.99 c | 266622 | 1000 20000 100000 | 93802 89076 133 | 0.000 % |
177.55/177.71 c | 267584 | 1000 20000 100000 | 93802 90038 133 | 0.000 % |
178.35/178.59 c | 268638 | 1000 20000 100000 | 93802 91092 133 | 0.000 % |
179.35/179.52 c | 269796 | 1000 20000 100000 | 93802 92250 133 | 0.000 % |
180.35/180.53 c | 271069 | 1000 20000 100000 | 92454 82294 133 | 0.000 % |
181.35/181.58 c | 272470 | 1000 20000 100000 | 92454 83695 133 | 0.000 % |
182.55/182.71 c | 274010 | 1000 20000 100000 | 92454 85235 133 | 0.000 % |
183.85/184.04 c | 275707 | 1000 20000 100000 | 92454 86932 133 | 0.000 % |
185.14/185.39 c | 277570 | 1000 20000 100000 | 92454 88795 133 | 0.000 % |
186.75/186.98 c | 279621 | 1000 20000 100000 | 92454 90846 133 | 0.000 % |
188.44/188.69 c | 281874 | 1000 20000 100000 | 91226 82686 133 | 0.000 % |
190.24/190.44 c | 284352 | 1000 20000 100000 | 91226 85164 133 | 0.000 % |
192.35/192.56 c | 287077 | 1000 20000 100000 | 91226 87889 134 | 0.000 % |
192.44/192.67 c | 287178 | 1000 20000 100000 | 91226 87990 134 | 0.000 % |
192.54/192.76 c | 287291 | 1000 20000 100000 | 91226 88103 134 | 0.000 % |
192.64/192.86 c | 287414 | 1000 20000 100000 | 91226 88226 134 | 0.000 % |
192.74/192.99 c | 287552 | 1000 20000 100000 | 91226 88364 134 | 0.000 % |
192.94/193.15 c | 287698 | 1000 20000 100000 | 91226 88510 133 | 0.000 % |
193.04/193.28 c | 287863 | 1000 20000 100000 | 91226 88675 133 | 0.000 % |
193.24/193.43 c | 288041 | 1000 20000 100000 | 91226 88853 133 | 0.000 % |
193.45/193.62 c | 288234 | 1000 20000 100000 | 91226 89046 133 | 0.000 % |
193.64/193.81 c | 288446 | 1000 20000 100000 | 91226 89258 133 | 0.000 % |
193.84/194.02 c | 288679 | 1000 20000 100000 | 91226 89491 133 | 0.000 % |
194.04/194.25 c | 288937 | 1000 20000 100000 | 91226 89749 133 | 0.000 % |
194.24/194.48 c | 289219 | 1000 20000 100000 | 91226 90031 133 | 0.000 % |
194.55/194.73 c | 289528 | 1000 20000 100000 | 91226 90340 133 | 0.000 % |
194.84/195.07 c | 289869 | 1000 20000 100000 | 91226 90681 133 | 0.000 % |
195.24/195.42 c | 290242 | 1000 20000 100000 | 90813 91054 133 | 0.000 % |
195.55/195.79 c | 290652 | 1000 20000 100000 | 90813 80776 133 | 0.000 % |
195.94/196.12 c | 291101 | 1000 20000 100000 | 90813 81225 133 | 0.000 % |
196.34/196.52 c | 291594 | 1000 20000 100000 | 90813 81718 133 | 0.000 % |
196.75/196.92 c | 292136 | 1000 20000 100000 | 90813 82260 133 | 0.000 % |
197.14/197.37 c | 292732 | 1000 20000 100000 | 90813 82856 133 | 0.000 % |
197.64/197.84 c | 293387 | 1000 20000 100000 | 90813 83511 133 | 0.000 % |
198.14/198.39 c | 294108 | 1000 20000 100000 | 90813 84232 133 | 0.000 % |
198.74/198.99 c | 294900 | 1000 20000 100000 | 90813 85024 133 | 0.000 % |
199.44/199.65 c | 295772 | 1000 20000 100000 | 90813 85896 133 | 0.000 % |
200.14/200.38 c | 296730 | 1000 20000 100000 | 90813 86854 133 | 0.000 % |
200.94/201.18 c | 297783 | 1000 20000 100000 | 90813 87907 133 | 0.000 % |
201.84/202.03 c | 298941 | 1000 20000 100000 | 90813 89065 133 | 0.000 % |
202.74/202.95 c | 300215 | 1000 20000 100000 | 90127 90339 133 | 0.000 % |
203.84/204.01 c | 301616 | 1000 20000 100000 | 90127 82414 133 | 0.000 % |
204.84/205.02 c | 303156 | 1000 20000 100000 | 90127 83954 134 | 0.000 % |
205.94/206.20 c | 304850 | 1000 20000 100000 | 90127 85648 134 | 0.000 % |
207.24/207.48 c | 306713 | 1000 20000 100000 | 90127 87511 133 | 0.000 % |
208.74/209.00 c | 308762 | 1000 20000 100000 | 90127 89560 134 | 0.000 % |
210.44/210.69 c | 311015 | 1000 20000 100000 | 2147483647 82770 133 | 0.000 % |
212.34/212.57 c | 313496 | 1000 20000 100000 | 2147483647 85251 134 | 0.000 % |
214.34/214.52 c | 316222 | 1000 20000 100000 | 2147483647 87977 134 | 0.000 % |
216.54/216.78 c | 319220 | 1000 20000 100000 | 2147483647 90975 134 | 0.000 % |
216.63/216.86 c | 319321 | 1000 20000 100000 | 2147483647 91076 134 | 0.000 % |
216.73/216.95 c | 319433 | 1000 20000 100000 | 2147483647 91188 134 | 0.000 % |
216.83/217.06 c | 319554 | 1000 20000 100000 | 2147483647 91309 134 | 0.000 % |
216.93/217.19 c | 319688 | 1000 20000 100000 | 2147483647 91443 134 | 0.000 % |
217.13/217.33 c | 319837 | 1000 20000 100000 | 2147483647 91592 134 | 0.000 % |
217.23/217.47 c | 319997 | 1000 20000 100000 | 2147483647 91752 134 | 0.000 % |
217.43/217.64 c | 320173 | 1000 20000 100000 | 91755 91928 134 | 0.000 % |
217.63/217.86 c | 320366 | 1000 20000 100000 | 91755 81577 135 | 0.000 % |
217.83/218.04 c | 320582 | 1000 20000 100000 | 91755 81793 134 | 0.000 % |
218.03/218.25 c | 320815 | 1000 20000 100000 | 91755 82026 134 | 0.000 % |
218.23/218.45 c | 321072 | 1000 20000 100000 | 91755 82283 134 | 0.000 % |
218.43/218.69 c | 321354 | 1000 20000 100000 | 91755 82565 134 | 0.000 % |
218.73/218.96 c | 321664 | 1000 20000 100000 | 91755 82875 134 | 0.000 % |
219.03/219.22 c | 322003 | 1000 20000 100000 | 91755 83214 134 | 0.000 % |
219.33/219.54 c | 322375 | 1000 20000 100000 | 91755 83586 134 | 0.000 % |
219.63/219.87 c | 322787 | 1000 20000 100000 | 91755 83998 134 | 0.000 % |
220.03/220.23 c | 323238 | 1000 20000 100000 | 91755 84449 134 | 0.000 % |
220.43/220.60 c | 323731 | 1000 20000 100000 | 91755 84942 134 | 0.000 % |
220.83/221.03 c | 324273 | 1000 20000 100000 | 91755 85484 134 | 0.000 % |
221.23/221.46 c | 324870 | 1000 20000 100000 | 91755 86081 134 | 0.000 % |
221.73/221.93 c | 325525 | 1000 20000 100000 | 91755 86736 134 | 0.000 % |
222.33/222.54 c | 326245 | 1000 20000 100000 | 91755 87456 134 | 0.000 % |
222.93/223.14 c | 327037 | 1000 20000 100000 | 91755 88248 134 | 0.000 % |
223.63/223.84 c | 327908 | 1000 20000 100000 | 91755 89119 134 | 0.000 % |
224.43/224.61 c | 328866 | 1000 20000 100000 | 91755 90077 134 | 0.000 % |
225.23/225.40 c | 329919 | 1000 20000 100000 | 91755 91130 134 | 0.000 % |
226.03/226.26 c | 331077 | 1000 20000 100000 | 91211 81240 134 | 0.000 % |
226.93/227.17 c | 332351 | 1000 20000 100000 | 91211 82514 134 | 0.000 % |
227.93/228.15 c | 333755 | 1000 20000 100000 | 91211 83918 134 | 0.000 % |
229.03/229.21 c | 335298 | 1000 20000 100000 | 91211 85461 134 | 0.000 % |
230.23/230.45 c | 336993 | 1000 20000 100000 | 91211 87156 134 | 0.000 % |
231.52/231.80 c | 338856 | 1000 20000 100000 | 91211 89019 134 | 0.000 % |
233.12/233.36 c | 340907 | 1000 20000 100000 | 2147483647 91070 134 | 0.000 % |
234.92/235.17 c | 343161 | 1000 20000 100000 | 2147483647 93324 134 | 0.000 % |
236.92/237.13 c | 345640 | 1000 20000 100000 | 2147483647 95803 134 | 0.000 % |
239.12/239.32 c | 348365 | 1000 20000 100000 | 2147483647 98528 135 | 0.000 % |
241.62/241.81 c | 351362 | 1000 20000 100000 | 100164 88791 135 | 0.000 % |
244.22/244.42 c | 354661 | 1000 20000 100000 | 100164 92090 136 | 0.000 % |
244.32/244.50 c | 354762 | 1000 20000 100000 | 100164 92191 136 | 0.000 % |
244.42/244.60 c | 354876 | 1000 20000 100000 | 100164 92305 136 | 0.000 % |
244.52/244.71 c | 354998 | 1000 20000 100000 | 100164 92427 136 | 0.000 % |
244.62/244.84 c | 355131 | 1000 20000 100000 | 100164 92560 136 | 0.000 % |
244.72/244.97 c | 355278 | 1000 20000 100000 | 100164 92707 135 | 0.000 % |
244.92/245.11 c | 355438 | 1000 20000 100000 | 100164 92867 135 | 0.000 % |
245.02/245.28 c | 355616 | 1000 20000 100000 | 100164 93045 135 | 0.000 % |
245.22/245.45 c | 355809 | 1000 20000 100000 | 100164 93238 135 | 0.000 % |
245.42/245.63 c | 356021 | 1000 20000 100000 | 100164 93450 135 | 0.000 % |
245.62/245.87 c | 356254 | 1000 20000 100000 | 100164 93683 135 | 0.000 % |
245.92/246.11 c | 356513 | 1000 20000 100000 | 100164 93942 135 | 0.000 % |
246.12/246.37 c | 356794 | 1000 20000 100000 | 100164 94223 135 | 0.000 % |
246.42/246.63 c | 357103 | 1000 20000 100000 | 100164 94532 135 | 0.000 % |
246.72/246.91 c | 357446 | 1000 20000 100000 | 100164 94875 135 | 0.000 % |
247.02/247.25 c | 357820 | 1000 20000 100000 | 100164 95249 135 | 0.000 % |
247.32/247.57 c | 358230 | 1000 20000 100000 | 100164 95659 135 | 0.000 % |
247.72/247.94 c | 358682 | 1000 20000 100000 | 100164 96111 135 | 0.000 % |
248.12/248.35 c | 359175 | 1000 20000 100000 | 100164 96604 135 | 0.000 % |
248.52/248.79 c | 359719 | 1000 20000 100000 | 100164 97148 135 | 0.000 % |
249.02/249.26 c | 360315 | 1000 20000 100000 | 97430 97744 135 | 0.000 % |
249.62/249.83 c | 360970 | 1000 20000 100000 | 97430 84880 135 | 0.000 % |
250.13/250.39 c | 361691 | 1000 20000 100000 | 97430 85601 135 | 0.000 % |
250.72/250.98 c | 362483 | 1000 20000 100000 | 97430 86393 135 | 0.000 % |
251.42/251.65 c | 363355 | 1000 20000 100000 | 97430 87265 135 | 0.000 % |
252.12/252.38 c | 364315 | 1000 20000 100000 | 97430 88225 135 | 0.000 % |
253.02/253.21 c | 365369 | 1000 20000 100000 | 97430 89279 135 | 0.000 % |
253.83/254.07 c | 366527 | 1000 20000 100000 | 97430 90437 135 | 0.000 % |
254.82/255.09 c | 367800 | 1000 20000 100000 | 97430 91710 135 | 0.000 % |
256.03/256.21 c | 369200 | 1000 20000 100000 | 97430 93110 135 | 0.000 % |
257.22/257.46 c | 370742 | 1000 20000 100000 | 93911 83074 135 | 0.000 % |
258.52/258.70 c | 372436 | 1000 20000 100000 | 93911 84768 135 | 0.000 % |
259.92/260.11 c | 374300 | 1000 20000 100000 | 93911 86632 135 | 0.000 % |
261.42/261.65 c | 376350 | 1000 20000 100000 | 93911 88682 135 | 0.000 % |
263.12/263.38 c | 378606 | 1000 20000 100000 | 93911 90938 135 | 0.000 % |
265.02/265.27 c | 381084 | 1000 20000 100000 | 92334 83272 136 | 0.000 % |
266.91/267.18 c | 383811 | 1000 20000 100000 | 92334 85999 136 | 0.000 % |
269.01/269.25 c | 386811 | 1000 20000 100000 | 92334 88999 136 | 0.000 % |
271.42/271.61 c | 390108 | 1000 20000 100000 | 92188 92296 136 | 0.000 % |
273.91/274.19 c | 393734 | 1000 20000 100000 | 92188 85394 136 | 0.000 % |
274.01/274.27 c | 393834 | 1000 20000 100000 | 92188 85494 136 | 0.000 % |
274.11/274.36 c | 393944 | 1000 20000 100000 | 92188 85604 136 | 0.000 % |
274.21/274.47 c | 394065 | 1000 20000 100000 | 92188 85725 136 | 0.000 % |
274.41/274.60 c | 394199 | 1000 20000 100000 | 92188 85859 136 | 0.000 % |
274.51/274.72 c | 394345 | 1000 20000 100000 | 92188 86005 136 | 0.000 % |
274.61/274.85 c | 394505 | 1000 20000 100000 | 92188 86165 136 | 0.000 % |
274.82/275.02 c | 394683 | 1000 20000 100000 | 92188 86343 136 | 0.000 % |
274.91/275.19 c | 394876 | 1000 20000 100000 | 92188 86536 136 | 0.000 % |
275.11/275.35 c | 395089 | 1000 20000 100000 | 92188 86749 136 | 0.000 % |
275.31/275.55 c | 395323 | 1000 20000 100000 | 92188 86983 136 | 0.000 % |
275.51/275.78 c | 395579 | 1000 20000 100000 | 92188 87239 136 | 0.000 % |
275.81/276.02 c | 395863 | 1000 20000 100000 | 92188 87523 136 | 0.000 % |
276.01/276.29 c | 396172 | 1000 20000 100000 | 92188 87832 136 | 0.000 % |
276.31/276.55 c | 396512 | 1000 20000 100000 | 92188 88172 136 | 0.000 % |
276.61/276.89 c | 396884 | 1000 20000 100000 | 92188 88544 136 | 0.000 % |
276.91/277.19 c | 397295 | 1000 20000 100000 | 92188 88955 136 | 0.000 % |
277.31/277.54 c | 397745 | 1000 20000 100000 | 92188 89405 136 | 0.000 % |
277.71/277.95 c | 398238 | 1000 20000 100000 | 92188 89898 136 | 0.000 % |
278.11/278.35 c | 398780 | 1000 20000 100000 | 92188 90440 136 | 0.000 % |
278.61/278.80 c | 399376 | 1000 20000 100000 | 92188 91036 136 | 0.000 % |
279.11/279.31 c | 400032 | 1000 20000 100000 | 91661 91692 136 | 0.000 % |
279.71/279.94 c | 400753 | 1000 20000 100000 | 91661 81753 135 | 0.000 % |
280.21/280.50 c | 401548 | 1000 20000 100000 | 91661 82548 135 | 0.000 % |
280.91/281.13 c | 402419 | 1000 20000 100000 | 91661 83419 135 | 0.000 % |
281.61/281.89 c | 403378 | 1000 20000 100000 | 91661 84378 135 | 0.000 % |
282.41/282.65 c | 404434 | 1000 20000 100000 | 91661 85434 135 | 0.000 % |
283.31/283.50 c | 405592 | 1000 20000 100000 | 91661 86592 135 | 0.000 % |
284.31/284.51 c | 406865 | 1000 20000 100000 | 91661 87865 135 | 0.000 % |
285.31/285.56 c | 408267 | 1000 20000 100000 | 91661 89267 135 | 0.000 % |
286.51/286.71 c | 409810 | 1000 20000 100000 | 91661 90810 135 | 0.000 % |
287.81/288.04 c | 411504 | 1000 20000 100000 | 91000 82456 136 | 0.000 % |
289.21/289.44 c | 413369 | 1000 20000 100000 | 91000 84321 136 | 0.000 % |
290.80/291.02 c | 415422 | 1000 20000 100000 | 91000 86374 136 | 0.000 % |
292.50/292.73 c | 417675 | 1000 20000 100000 | 91000 88627 136 | 0.000 % |
294.40/294.64 c | 420153 | 1000 20000 100000 | 90954 91105 136 | 0.000 % |
296.40/296.66 c | 422879 | 1000 20000 100000 | 90954 84318 136 | 0.000 % |
298.60/298.87 c | 425878 | 1000 20000 100000 | 90954 87317 136 | 0.000 % |
301.20/301.46 c | 429174 | 1000 20000 100000 | 90954 90613 136 | 0.000 % |
303.70/303.99 c | 432800 | 1000 20000 100000 | 82149 76698 136 | 0.000 % |
306.50/306.74 c | 436789 | 1000 20000 100000 | 82149 80687 137 | 0.000 % |
306.60/306.82 c | 436890 | 1000 20000 100000 | 82149 80788 137 | 0.000 % |
306.70/306.91 c | 437000 | 1000 20000 100000 | 82149 80898 137 | 0.000 % |
306.80/307.03 c | 437121 | 1000 20000 100000 | 82149 81019 137 | 0.000 % |
306.90/307.13 c | 437254 | 1000 20000 100000 | 82149 81152 137 | 0.000 % |
307.00/307.25 c | 437401 | 1000 20000 100000 | 82149 81299 137 | 0.000 % |
307.10/307.39 c | 437561 | 1000 20000 100000 | 82149 81459 137 | 0.000 % |
307.30/307.54 c | 437737 | 1000 20000 100000 | 82149 81635 137 | 0.000 % |
307.40/307.70 c | 437931 | 1000 20000 100000 | 82149 81829 137 | 0.000 % |
307.60/307.85 c | 438144 | 1000 20000 100000 | 82149 82042 137 | 0.000 % |
307.80/308.04 c | 438378 | 1000 20000 100000 | 82149 82276 137 | 0.000 % |
308.00/308.29 c | 438634 | 1000 20000 100000 | 82149 74305 137 | 0.000 % |
308.20/308.48 c | 438916 | 1000 20000 100000 | 82149 74587 137 | 0.000 % |
308.50/308.71 c | 439225 | 1000 20000 100000 | 82149 74896 137 | 0.000 % |
308.70/308.94 c | 439566 | 1000 20000 100000 | 82149 75237 137 | 0.000 % |
309.00/309.22 c | 439940 | 1000 20000 100000 | 82149 75611 137 | 0.000 % |
309.30/309.52 c | 440349 | 1000 20000 100000 | 2147483647 76020 137 | 0.000 % |
309.60/309.85 c | 440798 | 1000 20000 100000 | 2147483647 76469 137 | 0.000 % |
310.00/310.22 c | 441291 | 1000 20000 100000 | 2147483647 76962 137 | 0.000 % |
310.30/310.59 c | 441833 | 1000 20000 100000 | 2147483647 77504 137 | 0.000 % |
310.80/311.00 c | 442429 | 1000 20000 100000 | 2147483647 78100 137 | 0.000 % |
311.20/311.46 c | 443085 | 1000 20000 100000 | 2147483647 78756 137 | 0.000 % |
311.70/311.98 c | 443805 | 1000 20000 100000 | 2147483647 79476 136 | 0.000 % |
312.30/312.56 c | 444598 | 1000 20000 100000 | 2147483647 80269 136 | 0.000 % |
313.00/313.22 c | 445469 | 1000 20000 100000 | 2147483647 81140 136 | 0.000 % |
313.70/313.96 c | 446427 | 1000 20000 100000 | 2147483647 82098 136 | 0.000 % |
314.40/314.68 c | 447480 | 1000 20000 100000 | 2147483647 83151 136 | 0.000 % |
315.30/315.51 c | 448640 | 1000 20000 100000 | 2147483647 84311 136 | 0.000 % |
316.19/316.45 c | 449913 | 1000 20000 100000 | 2147483647 85584 136 | 0.000 % |
317.29/317.51 c | 451313 | 1000 20000 100000 | 2147483647 86984 136 | 0.000 % |
318.39/318.61 c | 452853 | 1000 20000 100000 | 2147483647 88524 136 | 0.000 % |
319.69/319.95 c | 454547 | 1000 20000 100000 | 2147483647 90218 136 | 0.000 % |
321.29/321.50 c | 456411 | 1000 20000 100000 | 2147483647 92082 136 | 0.000 % |
322.69/322.98 c | 458463 | 1000 20000 100000 | 2147483647 94134 136 | 0.000 % |
324.59/324.81 c | 460718 | 1000 20000 100000 | 95671 85500 136 | 0.000 % |
326.29/326.59 c | 463196 | 1000 20000 100000 | 95671 87978 136 | 0.000 % |
328.29/328.54 c | 465921 | 1000 20000 100000 | 95671 90703 136 | 0.000 % |
330.69/330.92 c | 468918 | 1000 20000 100000 | 95671 93700 136 | 0.000 % |
333.19/333.48 c | 472214 | 1000 20000 100000 | 94782 86030 136 | 0.000 % |
335.89/336.14 c | 475842 | 1000 20000 100000 | 94782 89658 137 | 0.000 % |
338.98/339.26 c | 479829 | 1000 20000 100000 | 94782 93645 137 | 0.000 % |
342.38/342.60 c | 484219 | 1000 20000 100000 | 93819 87825 138 | 0.000 % |
342.38/342.68 c | 484320 | 1000 20000 100000 | 93819 87926 138 | 0.000 % |
342.48/342.76 c | 484431 | 1000 20000 100000 | 93819 88037 138 | 0.000 % |
342.58/342.87 c | 484552 | 1000 20000 100000 | 93819 88158 138 | 0.000 % |
342.78/343.01 c | 484686 | 1000 20000 100000 | 93819 88292 138 | 0.000 % |
342.89/343.14 c | 484832 | 1000 20000 100000 | 93819 88438 138 | 0.000 % |
342.99/343.29 c | 484993 | 1000 20000 100000 | 93819 88599 138 | 0.000 % |
343.18/343.44 c | 485169 | 1000 20000 100000 | 93819 88775 138 | 0.000 % |
343.38/343.60 c | 485362 | 1000 20000 100000 | 93819 88968 138 | 0.000 % |
343.48/343.78 c | 485574 | 1000 20000 100000 | 93819 89180 138 | 0.000 % |
343.68/343.96 c | 485808 | 1000 20000 100000 | 93819 89414 137 | 0.000 % |
343.88/344.16 c | 486064 | 1000 20000 100000 | 93819 89670 137 | 0.000 % |
344.18/344.42 c | 486347 | 1000 20000 100000 | 93819 89953 137 | 0.000 % |
344.38/344.67 c | 486656 | 1000 20000 100000 | 93819 90262 137 | 0.000 % |
344.68/344.95 c | 486997 | 1000 20000 100000 | 93819 90603 137 | 0.000 % |
344.98/345.24 c | 487370 | 1000 20000 100000 | 93819 90976 137 | 0.000 % |
345.28/345.56 c | 487779 | 1000 20000 100000 | 93819 91385 137 | 0.000 % |
345.68/345.91 c | 488229 | 1000 20000 100000 | 93819 91835 137 | 0.000 % |
346.08/346.34 c | 488725 | 1000 20000 100000 | 93819 92331 137 | 0.000 % |
346.58/346.80 c | 489270 | 1000 20000 100000 | 93819 92876 137 | 0.000 % |
347.08/347.33 c | 489870 | 1000 20000 100000 | 93819 93476 137 | 0.000 % |
347.68/347.92 c | 490525 | 1000 20000 100000 | 93606 83020 138 | 0.000 % |
348.18/348.44 c | 491246 | 1000 20000 100000 | 93606 83741 137 | 0.000 % |
348.78/349.04 c | 492039 | 1000 20000 100000 | 93606 84534 138 | 0.000 % |
349.48/349.71 c | 492910 | 1000 20000 100000 | 93606 85405 137 | 0.000 % |
350.18/350.43 c | 493869 | 1000 20000 100000 | 93606 86364 137 | 0.000 % |
350.88/351.12 c | 494922 | 1000 20000 100000 | 93606 87417 138 | 0.000 % |
351.78/352.00 c | 496082 | 1000 20000 100000 | 93606 88577 138 | 0.000 % |
352.78/353.02 c | 497357 | 1000 20000 100000 | 93606 89852 138 | 0.000 % |
353.78/354.00 c | 498758 | 1000 20000 100000 | 93606 91253 138 | 0.000 % |
354.88/355.16 c | 500304 | 1000 20000 100000 | 92496 92799 137 | 0.000 % |
356.08/356.37 c | 502000 | 1000 20000 100000 | 92496 83995 138 | 0.000 % |
357.57/357.83 c | 503864 | 1000 20000 100000 | 92496 85859 137 | 0.000 % |
359.07/359.32 c | 505913 | 1000 20000 100000 | 92496 87908 138 | 0.000 % |
360.67/360.99 c | 508166 | 1000 20000 100000 | 92496 90161 138 | 0.000 % |
362.57/362.83 c | 510644 | 1000 20000 100000 | 91995 82956 137 | 0.000 % |
364.47/364.79 c | 513370 | 1000 20000 100000 | 91995 85682 137 | 0.000 % |
366.77/367.03 c | 516369 | 1000 20000 100000 | 91995 88681 138 | 0.000 % |
369.27/369.52 c | 519665 | 1000 20000 100000 | 91995 91977 137 | 0.000 % |
371.97/372.26 c | 523290 | 1000 20000 100000 | 92313 85947 137 | 0.000 % |
374.97/375.24 c | 527277 | 1000 20000 100000 | 92313 89934 138 | 0.000 % |
378.47/378.74 c | 531664 | 1000 20000 100000 | 92657 84502 139 | 0.000 % |
382.06/382.37 c | 536488 | 1000 20000 100000 | 92657 89326 140 | 0.000 % |
382.16/382.48 c | 536588 | 1000 20000 100000 | 92657 89426 140 | 0.000 % |
382.26/382.59 c | 536698 | 1000 20000 100000 | 92657 89536 140 | 0.000 % |
382.47/382.71 c | 536819 | 1000 20000 100000 | 92657 89657 140 | 0.000 % |
382.57/382.81 c | 536953 | 1000 20000 100000 | 92657 89791 140 | 0.000 % |
382.66/382.96 c | 537099 | 1000 20000 100000 | 92657 89937 140 | 0.000 % |
382.86/383.11 c | 537260 | 1000 20000 100000 | 92657 90098 140 | 0.000 % |
382.96/383.26 c | 537437 | 1000 20000 100000 | 92657 90275 140 | 0.000 % |
383.16/383.45 c | 537631 | 1000 20000 100000 | 92657 90469 140 | 0.000 % |
383.36/383.63 c | 537845 | 1000 20000 100000 | 92657 90683 140 | 0.000 % |
383.57/383.82 c | 538080 | 1000 20000 100000 | 92657 90918 139 | 0.000 % |
383.76/384.06 c | 538338 | 1000 20000 100000 | 92657 91176 139 | 0.000 % |
383.96/384.28 c | 538620 | 1000 20000 100000 | 92657 91458 139 | 0.000 % |
384.26/384.53 c | 538929 | 1000 20000 100000 | 92657 91767 139 | 0.000 % |
384.56/384.82 c | 539269 | 1000 20000 100000 | 92657 92107 139 | 0.000 % |
384.86/385.13 c | 539644 | 1000 20000 100000 | 92657 92482 139 | 0.000 % |
385.16/385.48 c | 540054 | 1000 20000 100000 | 92838 92892 139 | 0.000 % |
385.66/385.92 c | 540503 | 1000 20000 100000 | 92838 82064 139 | 0.000 % |
386.06/386.31 c | 540997 | 1000 20000 100000 | 92838 82558 139 | 0.000 % |
386.46/386.72 c | 541542 | 1000 20000 100000 | 92838 83103 139 | 0.000 % |
386.86/387.18 c | 542138 | 1000 20000 100000 | 92838 83699 139 | 0.000 % |
387.36/387.66 c | 542795 | 1000 20000 100000 | 92838 84356 139 | 0.000 % |
387.86/388.19 c | 543516 | 1000 20000 100000 | 92838 85077 139 | 0.000 % |
388.46/388.79 c | 544309 | 1000 20000 100000 | 92838 85870 139 | 0.000 % |
389.16/389.48 c | 545183 | 1000 20000 100000 | 92838 86744 139 | 0.000 % |
389.96/390.28 c | 546141 | 1000 20000 100000 | 92838 87702 139 | 0.000 % |
390.76/391.04 c | 547196 | 1000 20000 100000 | 92838 88757 139 | 0.000 % |
391.56/391.85 c | 548354 | 1000 20000 100000 | 92838 89915 139 | 0.000 % |
392.56/392.85 c | 549629 | 1000 20000 100000 | 92838 91190 139 | 0.000 % |
393.76/394.00 c | 551030 | 1000 20000 100000 | 91562 82256 139 | 0.000 % |
394.86/395.11 c | 552570 | 1000 20000 100000 | 91562 83796 138 | 0.000 % |
396.06/396.35 c | 554266 | 1000 20000 100000 | 91562 85492 139 | 0.000 % |
397.56/397.85 c | 556130 | 1000 20000 100000 | 91562 87356 139 | 0.000 % |
399.06/399.37 c | 558181 | 1000 20000 100000 | 91562 89407 139 | 0.000 % |
400.76/401.07 c | 560434 | 1000 20000 100000 | 91227 81911 138 | 0.000 % |
402.46/402.70 c | 562912 | 1000 20000 100000 | 91227 84389 138 | 0.000 % |
404.25/404.58 c | 565637 | 1000 20000 100000 | 91227 87114 138 | 0.000 % |
406.55/406.81 c | 568637 | 1000 20000 100000 | 91227 90114 138 | 0.000 % |
408.96/409.28 c | 571934 | 1000 20000 100000 | 2147483647 93411 138 | 0.000 % |
411.85/412.11 c | 575560 | 1000 20000 100000 | 2147483647 97037 138 | 0.000 % |
415.05/415.30 c | 579549 | 1000 20000 100000 | 2147483647 101026 139 | 0.000 % |
418.46/418.79 c | 583934 | 1000 20000 100000 | 101479 91612 139 | 0.000 % |
422.46/422.77 c | 588760 | 1000 20000 100000 | 101479 96438 139 | 0.000 % |
426.35/426.68 c | 594065 | 1000 20000 100000 | 97679 88294 140 | 0.000 % |
426.46/426.79 c | 594165 | 1000 20000 100000 | 97679 88394 140 | 0.000 % |
426.56/426.89 c | 594278 | 1000 20000 100000 | 97679 88507 140 | 0.000 % |
426.65/426.99 c | 594400 | 1000 20000 100000 | 97679 88629 140 | 0.000 % |
426.85/427.10 c | 594534 | 1000 20000 100000 | 97679 88763 140 | 0.000 % |
426.95/427.25 c | 594680 | 1000 20000 100000 | 97679 88909 140 | 0.000 % |
427.05/427.39 c | 594840 | 1000 20000 100000 | 97679 89069 140 | 0.000 % |
427.25/427.55 c | 595016 | 1000 20000 100000 | 97679 89245 140 | 0.000 % |
427.45/427.74 c | 595209 | 1000 20000 100000 | 97679 89438 140 | 0.000 % |
427.66/427.93 c | 595421 | 1000 20000 100000 | 97679 89650 139 | 0.000 % |
427.85/428.13 c | 595654 | 1000 20000 100000 | 97679 89883 139 | 0.000 % |
428.05/428.36 c | 595912 | 1000 20000 100000 | 97679 90141 139 | 0.000 % |
428.25/428.56 c | 596194 | 1000 20000 100000 | 97679 90423 139 | 0.000 % |
428.55/428.81 c | 596504 | 1000 20000 100000 | 97679 90733 139 | 0.000 % |
428.85/429.14 c | 596843 | 1000 20000 100000 | 97679 91072 139 | 0.000 % |
429.15/429.46 c | 597216 | 1000 20000 100000 | 97679 91445 139 | 0.000 % |
429.55/429.82 c | 597627 | 1000 20000 100000 | 97679 91856 139 | 0.000 % |
429.86/430.18 c | 598077 | 1000 20000 100000 | 97679 92306 139 | 0.000 % |
430.35/430.62 c | 598570 | 1000 20000 100000 | 97679 92799 139 | 0.000 % |
430.75/431.08 c | 599112 | 1000 20000 100000 | 97679 93341 139 | 0.000 % |
431.25/431.56 c | 599710 | 1000 20000 100000 | 97679 93939 139 | 0.000 % |
431.75/432.08 c | 600366 | 1000 20000 100000 | 94233 94595 139 | 0.000 % |
432.45/432.70 c | 601088 | 1000 20000 100000 | 94233 82701 139 | 0.000 % |
433.06/433.32 c | 601881 | 1000 20000 100000 | 94233 83494 139 | 0.000 % |
433.75/434.01 c | 602752 | 1000 20000 100000 | 94233 84365 139 | 0.000 % |
434.45/434.74 c | 603710 | 1000 20000 100000 | 94233 85323 139 | 0.000 % |
435.25/435.52 c | 604765 | 1000 20000 100000 | 94233 86378 138 | 0.000 % |
436.15/436.40 c | 605924 | 1000 20000 100000 | 94233 87537 139 | 0.000 % |
437.05/437.33 c | 607199 | 1000 20000 100000 | 94233 88812 139 | 0.000 % |
438.05/438.38 c | 608601 | 1000 20000 100000 | 94233 90214 138 | 0.000 % |
439.35/439.62 c | 610142 | 1000 20000 100000 | 91616 91755 138 | 0.000 % |
440.55/440.89 c | 611837 | 1000 20000 100000 | 91616 82501 137 | 0.000 % |
441.95/442.28 c | 613700 | 1000 20000 100000 | 91616 84364 137 | 0.000 % |
443.45/443.77 c | 615749 | 1000 20000 100000 | 91616 86413 137 | 0.000 % |
445.05/445.37 c | 618004 | 1000 20000 100000 | 91616 88668 137 | 0.000 % |
447.05/447.36 c | 620482 | 1000 20000 100000 | 90666 81399 137 | 0.000 % |
449.04/449.39 c | 623208 | 1000 20000 100000 | 90666 84125 137 | 0.000 % |
451.24/451.52 c | 626205 | 1000 20000 100000 | 90666 87122 137 | 0.000 % |
453.74/454.01 c | 629501 | 1000 20000 100000 | 90666 90418 137 | 0.000 % |
456.54/456.86 c | 633126 | 1000 20000 100000 | 2147483647 94043 137 | 0.000 % |
459.84/460.10 c | 637114 | 1000 20000 100000 | 2147483647 98031 137 | 0.000 % |
463.54/463.83 c | 641501 | 1000 20000 100000 | 100918 88663 138 | 0.000 % |
467.44/467.71 c | 646324 | 1000 20000 100000 | 100918 93486 138 | 0.000 % |
471.84/472.14 c | 651630 | 1000 20000 100000 | 97163 85308 139 | 0.000 % |
476.43/476.78 c | 657465 | 1000 20000 100000 | 97163 91143 139 | 0.000 % |
476.53/476.87 c | 657565 | 1000 20000 100000 | 97163 91243 139 | 0.000 % |
476.63/477.00 c | 657675 | 1000 20000 100000 | 97163 91353 139 | 0.000 % |
476.83/477.10 c | 657798 | 1000 20000 100000 | 97163 91476 139 | 0.000 % |
476.93/477.21 c | 657932 | 1000 20000 100000 | 97163 91610 139 | 0.000 % |
477.04/477.35 c | 658078 | 1000 20000 100000 | 97163 91756 139 | 0.000 % |
477.23/477.53 c | 658239 | 1000 20000 100000 | 97163 91917 139 | 0.000 % |
477.33/477.68 c | 658415 | 1000 20000 100000 | 97163 92093 139 | 0.000 % |
477.53/477.87 c | 658610 | 1000 20000 100000 | 97163 92288 138 | 0.000 % |
477.73/478.05 c | 658822 | 1000 20000 100000 | 97163 92500 138 | 0.000 % |
477.93/478.25 c | 659055 | 1000 20000 100000 | 97163 92733 138 | 0.000 % |
478.24/478.53 c | 659311 | 1000 20000 100000 | 97163 92989 138 | 0.000 % |
478.43/478.75 c | 659592 | 1000 20000 100000 | 97163 93270 138 | 0.000 % |
478.73/479.06 c | 659903 | 1000 20000 100000 | 97163 93581 138 | 0.000 % |
479.03/479.35 c | 660244 | 1000 20000 100000 | 93678 93922 138 | 0.000 % |
479.43/479.72 c | 660616 | 1000 20000 100000 | 93678 82082 137 | 0.000 % |
479.73/480.03 c | 661025 | 1000 20000 100000 | 93678 82491 137 | 0.000 % |
480.13/480.43 c | 661476 | 1000 20000 100000 | 93678 82942 137 | 0.000 % |
480.53/480.85 c | 661971 | 1000 20000 100000 | 93678 83437 137 | 0.000 % |
480.93/481.28 c | 662514 | 1000 20000 100000 | 93678 83980 137 | 0.000 % |
481.53/481.82 c | 663111 | 1000 20000 100000 | 93678 84577 137 | 0.000 % |
482.03/482.36 c | 663766 | 1000 20000 100000 | 93678 85232 137 | 0.000 % |
482.53/482.88 c | 664486 | 1000 20000 100000 | 93678 85952 137 | 0.000 % |
483.23/483.53 c | 665278 | 1000 20000 100000 | 93678 86744 137 | 0.000 % |
483.83/484.19 c | 666150 | 1000 20000 100000 | 93678 87616 137 | 0.000 % |
484.53/484.89 c | 667111 | 1000 20000 100000 | 93678 88577 137 | 0.000 % |
485.33/485.67 c | 668164 | 1000 20000 100000 | 93678 89630 137 | 0.000 % |
486.23/486.53 c | 669326 | 1000 20000 100000 | 93678 90792 137 | 0.000 % |
487.23/487.59 c | 670600 | 1000 20000 100000 | 91466 81245 137 | 0.000 % |
488.23/488.56 c | 672001 | 1000 20000 100000 | 91466 82646 137 | 0.000 % |
489.43/489.78 c | 673542 | 1000 20000 100000 | 91466 84187 137 | 0.000 % |
490.83/491.15 c | 675238 | 1000 20000 100000 | 91466 85883 137 | 0.000 % |
492.32/492.68 c | 677101 | 1000 20000 100000 | 91466 87746 137 | 0.000 % |
493.92/494.27 c | 679150 | 1000 20000 100000 | 91466 89795 137 | 0.000 % |
495.73/496.00 c | 681403 | 1000 20000 100000 | 90645 82175 137 | 0.000 % |
497.52/497.82 c | 683881 | 1000 20000 100000 | 90645 84653 137 | 0.000 % |
499.42/499.75 c | 686606 | 1000 20000 100000 | 90645 87378 137 | 0.000 % |
501.82/502.13 c | 689604 | 1000 20000 100000 | 90645 90376 137 | 0.000 % |
504.33/504.64 c | 692901 | 1000 20000 100000 | 2147483647 93673 137 | 0.000 % |
507.13/507.45 c | 696528 | 1000 20000 100000 | 2147483647 97300 137 | 0.000 % |
510.53/510.80 c | 700517 | 1000 20000 100000 | 100772 87319 138 | 0.000 % |
514.13/514.40 c | 704902 | 1000 20000 100000 | 100772 91704 138 | 0.000 % |
517.93/518.22 c | 709726 | 1000 20000 100000 | 100772 96528 138 | 0.000 % |
521.82/522.18 c | 715032 | 1000 20000 100000 | 96802 88440 139 | 0.000 % |
526.42/526.80 c | 720869 | 1000 20000 100000 | 93408 82554 138 | 0.000 % |
531.22/531.56 c | 727289 | 1000 20000 100000 | 93408 88974 138 | 0.000 % |
531.32/531.64 c | 727389 | 1000 20000 100000 | 93408 89074 138 | 0.000 % |
531.42/531.73 c | 727499 | 1000 20000 100000 | 93408 89184 138 | 0.000 % |
531.52/531.86 c | 727621 | 1000 20000 100000 | 93408 89306 138 | 0.000 % |
531.62/531.97 c | 727755 | 1000 20000 100000 | 93408 89440 138 | 0.000 % |
531.72/532.10 c | 727901 | 1000 20000 100000 | 93408 89586 138 | 0.000 % |
531.92/532.25 c | 728061 | 1000 20000 100000 | 93408 89746 138 | 0.000 % |
532.12/532.44 c | 728238 | 1000 20000 100000 | 93408 89923 138 | 0.000 % |
532.32/532.62 c | 728431 | 1000 20000 100000 | 93408 90116 138 | 0.000 % |
532.52/532.81 c | 728645 | 1000 20000 100000 | 93408 90330 138 | 0.000 % |
532.72/533.00 c | 728878 | 1000 20000 100000 | 93408 90563 138 | 0.000 % |
532.92/533.21 c | 729135 | 1000 20000 100000 | 93408 90820 138 | 0.000 % |
533.12/533.45 c | 729416 | 1000 20000 100000 | 93408 91101 138 | 0.000 % |
533.42/533.73 c | 729725 | 1000 20000 100000 | 93408 91410 138 | 0.000 % |
533.72/534.01 c | 730067 | 1000 20000 100000 | 91686 91752 138 | 0.000 % |
534.12/534.40 c | 730439 | 1000 20000 100000 | 91686 80980 137 | 0.000 % |
534.42/534.73 c | 730848 | 1000 20000 100000 | 91686 81389 137 | 0.000 % |
534.72/535.09 c | 731297 | 1000 20000 100000 | 91686 81838 137 | 0.000 % |
535.22/535.50 c | 731792 | 1000 20000 100000 | 91686 82333 137 | 0.000 % |
535.62/535.92 c | 732334 | 1000 20000 100000 | 91686 82875 136 | 0.000 % |
536.02/536.39 c | 732934 | 1000 20000 100000 | 91686 83475 136 | 0.000 % |
536.62/536.90 c | 733590 | 1000 20000 100000 | 91686 84131 136 | 0.000 % |
537.22/537.50 c | 734310 | 1000 20000 100000 | 91686 84851 136 | 0.000 % |
537.82/538.11 c | 735103 | 1000 20000 100000 | 91686 85644 136 | 0.000 % |
538.42/538.76 c | 735975 | 1000 20000 100000 | 91686 86516 136 | 0.000 % |
539.12/539.44 c | 736933 | 1000 20000 100000 | 91686 87474 136 | 0.000 % |
539.92/540.21 c | 737987 | 1000 20000 100000 | 91686 88528 136 | 0.000 % |
540.82/541.15 c | 739145 | 1000 20000 100000 | 91686 89686 136 | 0.000 % |
541.82/542.17 c | 740418 | 1000 20000 100000 | 90541 81113 137 | 0.000 % |
542.82/543.13 c | 741820 | 1000 20000 100000 | 90541 82515 137 | 0.000 % |
543.91/544.21 c | 743362 | 1000 20000 100000 | 90541 84057 137 | 0.000 % |
545.11/545.43 c | 745057 | 1000 20000 100000 | 90541 85752 137 | 0.000 % |
546.71/547.03 c | 746921 | 1000 20000 100000 | 90541 87616 136 | 0.000 % |
548.21/548.51 c | 748970 | 1000 20000 100000 | 90541 89665 136 | 0.000 % |
549.91/550.22 c | 751223 | 1000 20000 100000 | 90695 82432 137 | 0.000 % |
551.71/552.01 c | 753701 | 1000 20000 100000 | 90695 84910 137 | 0.000 % |
553.61/553.99 c | 756426 | 1000 20000 100000 | 90695 87635 137 | 0.000 % |
555.91/556.21 c | 759423 | 1000 20000 100000 | 90695 90632 137 | 0.000 % |
558.31/558.61 c | 762719 | 1000 20000 100000 | 2147483647 84827 138 | 0.000 % |
560.91/561.28 c | 766344 | 1000 20000 100000 | 2147483647 88452 138 | 0.000 % |
563.81/564.14 c | 770331 | 1000 20000 100000 | 2147483647 92439 138 | 0.000 % |
567.31/567.63 c | 774716 | 1000 20000 100000 | 2147483647 96824 138 | 0.000 % |
571.40/571.73 c | 779539 | 1000 20000 100000 | 2147483647 101647 138 | 0.000 % |
575.70/576.08 c | 784846 | 1000 20000 100000 | 102108 93308 139 | 0.000 % |
580.60/580.93 c | 790681 | 1000 20000 100000 | 98463 84654 139 | 0.000 % |
585.80/586.11 c | 797099 | 1000 20000 100000 | 98463 91072 140 | 0.000 % |
591.10/591.46 c | 804160 | 1000 20000 100000 | 93973 85260 140 | 0.000 % |
591.20/591.54 c | 804260 | 1000 20000 100000 | 93973 85360 140 | 0.000 % |
591.30/591.63 c | 804371 | 1000 20000 100000 | 93973 85471 140 | 0.000 % |
591.40/591.73 c | 804492 | 1000 20000 100000 | 93973 85592 140 | 0.000 % |
591.50/591.85 c | 804627 | 1000 20000 100000 | 93973 85727 140 | 0.000 % |
591.60/591.97 c | 804773 | 1000 20000 100000 | 93973 85873 139 | 0.000 % |
591.80/592.10 c | 804933 | 1000 20000 100000 | 93973 86033 139 | 0.000 % |
591.89/592.24 c | 805109 | 1000 20000 100000 | 93973 86209 139 | 0.000 % |
591.99/592.39 c | 805302 | 1000 20000 100000 | 93973 86402 139 | 0.000 % |
592.19/592.55 c | 805515 | 1000 20000 100000 | 93973 86615 139 | 0.000 % |
592.39/592.78 c | 805749 | 1000 20000 100000 | 93973 86849 139 | 0.000 % |
592.69/593.00 c | 806005 | 1000 20000 100000 | 93973 87105 139 | 0.000 % |
592.89/593.25 c | 806286 | 1000 20000 100000 | 93973 87386 139 | 0.000 % |
593.19/593.52 c | 806596 | 1000 20000 100000 | 93973 87696 139 | 0.000 % |
593.39/593.79 c | 806936 | 1000 20000 100000 | 93973 88036 139 | 0.000 % |
593.79/594.11 c | 807309 | 1000 20000 100000 | 93973 88409 139 | 0.000 % |
594.09/594.44 c | 807719 | 1000 20000 100000 | 93973 88819 139 | 0.000 % |
594.49/594.82 c | 808168 | 1000 20000 100000 | 93973 89268 139 | 0.000 % |
594.89/595.21 c | 808662 | 1000 20000 100000 | 93973 89762 139 | 0.000 % |
595.29/595.63 c | 809204 | 1000 20000 100000 | 93973 90304 139 | 0.000 % |
595.80/596.11 c | 809801 | 1000 20000 100000 | 93973 90901 139 | 0.000 % |
596.29/596.69 c | 810456 | 1000 20000 100000 | 91100 79774 140 | 0.000 % |
596.90/597.23 c | 811177 | 1000 20000 100000 | 91100 80495 140 | 0.000 % |
597.49/597.81 c | 811970 | 1000 20000 100000 | 91100 81288 140 | 0.000 % |
598.10/598.45 c | 812842 | 1000 20000 100000 | 91100 82160 140 | 0.000 % |
598.79/599.18 c | 813800 | 1000 20000 100000 | 91100 83118 139 | 0.000 % |
599.59/599.97 c | 814855 | 1000 20000 100000 | 91100 84173 139 | 0.000 % |
600.49/600.83 c | 816013 | 1000 20000 100000 | 91100 85331 139 | 0.000 % |
601.49/601.89 c | 817288 | 1000 20000 100000 | 91100 86606 139 | 0.000 % |
602.59/602.99 c | 818688 | 1000 20000 100000 | 91100 88006 139 | 0.000 % |
603.79/604.10 c | 820229 | 1000 20000 100000 | 89321 89547 139 | 0.000 % |
604.99/605.40 c | 821925 | 1000 20000 100000 | 89321 81724 139 | 0.000 % |
606.29/606.69 c | 823789 | 1000 20000 100000 | 89321 83588 139 | 0.000 % |
607.79/608.12 c | 825839 | 1000 20000 100000 | 89321 85638 139 | 0.000 % |
609.39/609.79 c | 828092 | 1000 20000 100000 | 89321 87891 139 | 0.000 % |
611.29/611.67 c | 830570 | 1000 20000 100000 | 2147483647 81400 141 | 0.000 % |
613.19/613.58 c | 833296 | 1000 20000 100000 | 2147483647 84126 140 | 0.000 % |
615.39/615.79 c | 836294 | 1000 20000 100000 | 2147483647 87124 140 | 0.000 % |
617.99/618.39 c | 839591 | 1000 20000 100000 | 2147483647 90421 140 | 0.000 % |
621.09/621.43 c | 843217 | 1000 20000 100000 | 2147483647 94047 140 | 0.000 % |
624.29/624.61 c | 847204 | 1000 20000 100000 | 2147483647 98034 140 | 0.000 % |
627.89/628.22 c | 851589 | 1000 20000 100000 | 100830 88473 140 | 0.000 % |
631.69/632.06 c | 856412 | 1000 20000 100000 | 100830 93296 140 | 0.000 % |
635.99/636.37 c | 861717 | 1000 20000 100000 | 96884 85702 140 | 0.000 % |
640.39/640.71 c | 867555 | 1000 20000 100000 | 96884 91540 140 | 0.000 % |
645.39/645.76 c | 873974 | 1000 20000 100000 | 93985 86137 139 | 0.000 % |
650.89/651.29 c | 881034 | 1000 20000 100000 | 92163 81863 139 | 0.000 % |
656.88/657.20 c | 888798 | 1000 20000 100000 | 92163 89627 139 | 0.000 % |
656.98/657.31 c | 888900 | 1000 20000 100000 | 92163 89729 139 | 0.000 % |
656.98/657.40 c | 889011 | 1000 20000 100000 | 92163 89840 139 | 0.000 % |
657.18/657.53 c | 889133 | 1000 20000 100000 | 92163 89962 139 | 0.000 % |
657.28/657.68 c | 889266 | 1000 20000 100000 | 92163 90095 139 | 0.000 % |
657.38/657.80 c | 889413 | 1000 20000 100000 | 92163 90242 139 | 0.000 % |
657.58/657.95 c | 889573 | 1000 20000 100000 | 92163 90402 139 | 0.000 % |
657.78/658.15 c | 889749 | 1000 20000 100000 | 92163 90578 139 | 0.000 % |
657.98/658.32 c | 889942 | 1000 20000 100000 | 92163 90771 139 | 0.000 % |
658.18/658.50 c | 890155 | 1000 20000 100000 | 90830 90984 139 | 0.000 % |
658.38/658.74 c | 890388 | 1000 20000 100000 | 90830 79667 139 | 0.000 % |
658.58/658.94 c | 890644 | 1000 20000 100000 | 90830 79923 139 | 0.000 % |
658.78/659.14 c | 890925 | 1000 20000 100000 | 90830 80204 139 | 0.000 % |
658.98/659.38 c | 891235 | 1000 20000 100000 | 90830 80514 139 | 0.000 % |
659.28/659.64 c | 891574 | 1000 20000 100000 | 90830 80853 139 | 0.000 % |
659.58/659.95 c | 891948 | 1000 20000 100000 | 90830 81227 139 | 0.000 % |
659.88/660.26 c | 892357 | 1000 20000 100000 | 90830 81636 139 | 0.000 % |
660.18/660.59 c | 892807 | 1000 20000 100000 | 90830 82086 139 | 0.000 % |
660.58/660.96 c | 893301 | 1000 20000 100000 | 90830 82580 139 | 0.000 % |
660.98/661.36 c | 893844 | 1000 20000 100000 | 90830 83123 139 | 0.000 % |
661.48/661.84 c | 894441 | 1000 20000 100000 | 90830 83720 139 | 0.000 % |
661.98/662.36 c | 895096 | 1000 20000 100000 | 90830 84375 138 | 0.000 % |
662.58/662.98 c | 895817 | 1000 20000 100000 | 90830 85096 138 | 0.000 % |
663.18/663.60 c | 896609 | 1000 20000 100000 | 90830 85888 138 | 0.000 % |
663.88/664.22 c | 897480 | 1000 20000 100000 | 90830 86759 138 | 0.000 % |
664.58/664.99 c | 898439 | 1000 20000 100000 | 90830 87718 138 | 0.000 % |
665.48/665.81 c | 899493 | 1000 20000 100000 | 90830 88772 138 | 0.000 % |
666.38/666.72 c | 900651 | 1000 20000 100000 | 89279 79921 139 | 0.000 % |
667.28/667.62 c | 901924 | 1000 20000 100000 | 89279 81194 139 | 0.000 % |
668.27/668.63 c | 903324 | 1000 20000 100000 | 89279 82594 139 | 0.000 % |
669.37/669.75 c | 904866 | 1000 20000 100000 | 89279 84136 138 | 0.000 % |
670.68/671.01 c | 906560 | 1000 20000 100000 | 89279 85830 138 | 0.000 % |
672.07/672.47 c | 908423 | 1000 20000 100000 | 89279 87693 138 | 0.000 % |
673.77/674.19 c | 910472 | 1000 20000 100000 | 2147483647 89742 138 | 0.000 % |
675.67/676.03 c | 912725 | 1000 20000 100000 | 2147483647 91995 138 | 0.000 % |
677.77/678.11 c | 915204 | 1000 20000 100000 | 2147483647 94474 138 | 0.000 % |
679.97/680.38 c | 917930 | 1000 20000 100000 | 2147483647 97200 138 | 0.000 % |
682.57/682.92 c | 920928 | 1000 20000 100000 | 99272 88720 138 | 0.000 % |
685.17/685.57 c | 924224 | 1000 20000 100000 | 99272 92016 138 | 0.000 % |
688.07/688.43 c | 927850 | 1000 20000 100000 | 99272 95642 138 | 0.000 % |
691.37/691.70 c | 931837 | 1000 20000 100000 | 97792 87627 138 | 0.000 % |
694.57/694.93 c | 936223 | 1000 20000 100000 | 97792 92013 138 | 0.000 % |
698.56/698.97 c | 941047 | 1000 20000 100000 | 95796 85966 139 | 0.000 % |
702.66/703.07 c | 946353 | 1000 20000 100000 | 95796 91272 139 | 0.000 % |
707.16/707.54 c | 952193 | 1000 20000 100000 | 94919 85301 138 | 0.000 % |
712.06/712.41 c | 958611 | 1000 20000 100000 | 94919 91719 139 | 0.000 % |
717.36/717.76 c | 965670 | 1000 20000 100000 | 93110 87743 139 | 0.000 % |
723.56/723.92 c | 973435 | 1000 20000 100000 | 92073 84952 139 | 0.000 % |
730.16/730.60 c | 981977 | 1000 20000 100000 | 91517 82834 141 | 0.000 % |
730.26/730.69 c | 982078 | 1000 20000 100000 | 91517 82935 141 | 0.000 % |
730.45/730.81 c | 982188 | 1000 20000 100000 | 91517 83045 141 | 0.000 % |
730.55/730.91 c | 982309 | 1000 20000 100000 | 91517 83166 141 | 0.000 % |
730.65/731.02 c | 982444 | 1000 20000 100000 | 91517 83301 141 | 0.000 % |
730.75/731.15 c | 982590 | 1000 20000 100000 | 91517 83447 141 | 0.000 % |
730.95/731.31 c | 982751 | 1000 20000 100000 | 91517 83608 141 | 0.000 % |
731.06/731.47 c | 982928 | 1000 20000 100000 | 91517 83785 141 | 0.000 % |
731.25/731.62 c | 983125 | 1000 20000 100000 | 91517 83982 141 | 0.000 % |
731.35/731.79 c | 983338 | 1000 20000 100000 | 91517 84195 141 | 0.000 % |
731.55/731.97 c | 983572 | 1000 20000 100000 | 91517 84429 141 | 0.000 % |
731.85/732.21 c | 983828 | 1000 20000 100000 | 91517 84685 141 | 0.000 % |
732.05/732.44 c | 984111 | 1000 20000 100000 | 91517 84968 140 | 0.000 % |
732.35/732.70 c | 984420 | 1000 20000 100000 | 91517 85277 140 | 0.000 % |
732.55/732.99 c | 984761 | 1000 20000 100000 | 91517 85618 140 | 0.000 % |
732.85/733.28 c | 985133 | 1000 20000 100000 | 91517 85990 140 | 0.000 % |
733.15/733.60 c | 985542 | 1000 20000 100000 | 91517 86399 140 | 0.000 % |
733.55/733.99 c | 985992 | 1000 20000 100000 | 91517 86849 140 | 0.000 % |
733.95/734.39 c | 986486 | 1000 20000 100000 | 91517 87343 140 | 0.000 % |
734.46/734.82 c | 987028 | 1000 20000 100000 | 91517 87885 140 | 0.000 % |
734.85/735.28 c | 987625 | 1000 20000 100000 | 91517 88482 140 | 0.000 % |
735.46/735.83 c | 988281 | 1000 20000 100000 | 91517 89138 140 | 0.000 % |
735.95/736.37 c | 989002 | 1000 20000 100000 | 91517 89859 140 | 0.000 % |
736.66/737.01 c | 989794 | 1000 20000 100000 | 91517 90651 140 | 0.000 % |
737.35/737.76 c | 990665 | 1000 20000 100000 | 90858 80063 140 | 0.000 % |
738.05/738.40 c | 991623 | 1000 20000 100000 | 90858 81021 140 | 0.000 % |
738.75/739.17 c | 992676 | 1000 20000 100000 | 90858 82074 140 | 0.000 % |
739.55/739.99 c | 993836 | 1000 20000 100000 | 90858 83234 140 | 0.000 % |
740.45/740.89 c | 995111 | 1000 20000 100000 | 90858 84509 140 | 0.000 % |
741.55/741.95 c | 996512 | 1000 20000 100000 | 90858 85910 140 | 0.000 % |
742.75/743.18 c | 998052 | 1000 20000 100000 | 90858 87450 140 | 0.000 % |
744.04/744.42 c | 999746 | 1000 20000 100000 | 90858 89144 140 | 0.000 % |
745.45/745.88 c | 1001609 | 1000 20000 100000 | 89398 81166 140 | 0.000 % |
746.94/747.33 c | 1003660 | 1000 20000 100000 | 89398 83217 140 | 0.000 % |
748.54/749.00 c | 1005913 | 1000 20000 100000 | 89398 85470 140 | 0.000 % |
750.54/750.90 c | 1008391 | 1000 20000 100000 | 89398 87948 140 | 0.000 % |
752.55/752.91 c | 1011116 | 1000 20000 100000 | 2147483647 90673 140 | 0.000 % |
754.85/755.22 c | 1014114 | 1000 20000 100000 | 2147483647 93671 140 | 0.000 % |
757.35/757.76 c | 1017411 | 1000 20000 100000 | 2147483647 96968 140 | 0.000 % |
760.35/760.71 c | 1021038 | 1000 20000 100000 | 99558 88707 140 | 0.000 % |
763.34/763.78 c | 1025025 | 1000 20000 100000 | 99558 92694 140 | 0.000 % |
767.04/767.41 c | 1029412 | 1000 20000 100000 | 99558 97081 139 | 0.000 % |
770.65/771.07 c | 1034235 | 1000 20000 100000 | 97671 88374 138 | 0.000 % |
774.64/775.00 c | 1039541 | 1000 20000 100000 | 97671 93680 138 | 0.000 % |
778.94/779.30 c | 1045376 | 1000 20000 100000 | 94140 87991 138 | 0.000 % |
783.94/784.37 c | 1051795 | 1000 20000 100000 | 92615 84034 138 | 0.000 % |
789.34/789.78 c | 1058855 | 1000 20000 100000 | 92615 91094 139 | 0.000 % |
795.54/795.98 c | 1066619 | 1000 20000 100000 | 92239 88396 138 | 0.000 % |
802.13/802.59 c | 1075159 | 1000 20000 100000 | 91777 86682 140 | 0.000 % |
809.83/810.21 c | 1084555 | 1000 20000 100000 | 91524 85321 140 | 0.000 % |
809.93/810.31 c | 1084656 | 1000 20000 100000 | 91524 85422 140 | 0.000 % |
810.03/810.42 c | 1084766 | 1000 20000 100000 | 91524 85532 140 | 0.000 % |
810.13/810.51 c | 1084887 | 1000 20000 100000 | 91524 85653 140 | 0.000 % |
810.23/810.64 c | 1085021 | 1000 20000 100000 | 91524 85787 140 | 0.000 % |
810.33/810.78 c | 1085168 | 1000 20000 100000 | 91524 85934 140 | 0.000 % |
810.53/810.93 c | 1085328 | 1000 20000 100000 | 91524 86094 140 | 0.000 % |
810.63/811.07 c | 1085504 | 1000 20000 100000 | 91524 86270 140 | 0.000 % |
810.83/811.27 c | 1085698 | 1000 20000 100000 | 91524 86464 140 | 0.000 % |
811.03/811.45 c | 1085913 | 1000 20000 100000 | 91524 86679 140 | 0.000 % |
811.23/811.65 c | 1086147 | 1000 20000 100000 | 91524 86913 140 | 0.000 % |
811.43/811.85 c | 1086404 | 1000 20000 100000 | 91524 87170 140 | 0.000 % |
811.63/812.09 c | 1086685 | 1000 20000 100000 | 91524 87451 140 | 0.000 % |
811.93/812.32 c | 1086996 | 1000 20000 100000 | 91524 87762 140 | 0.000 % |
812.13/812.57 c | 1087335 | 1000 20000 100000 | 91524 88101 140 | 0.000 % |
812.43/812.84 c | 1087708 | 1000 20000 100000 | 91524 88474 140 | 0.000 % |
812.73/813.15 c | 1088119 | 1000 20000 100000 | 91524 88885 140 | 0.000 % |
813.13/813.53 c | 1088569 | 1000 20000 100000 | 91524 89335 140 | 0.000 % |
813.63/814.00 c | 1089063 | 1000 20000 100000 | 91524 89829 140 | 0.000 % |
814.03/814.47 c | 1089605 | 1000 20000 100000 | 91524 90371 139 | 0.000 % |
814.53/814.96 c | 1090201 | 1000 20000 100000 | 90766 90967 139 | 0.000 % |
815.13/815.51 c | 1090856 | 1000 20000 100000 | 90766 80052 139 | 0.000 % |
815.63/816.03 c | 1091576 | 1000 20000 100000 | 90766 80772 139 | 0.000 % |
816.22/816.67 c | 1092370 | 1000 20000 100000 | 90766 81566 139 | 0.000 % |
816.93/817.30 c | 1093244 | 1000 20000 100000 | 90766 82440 139 | 0.000 % |
817.62/818.02 c | 1094202 | 1000 20000 100000 | 90766 83398 139 | 0.000 % |
818.42/818.81 c | 1095257 | 1000 20000 100000 | 90766 84453 139 | 0.000 % |
819.22/819.68 c | 1096416 | 1000 20000 100000 | 90766 85612 139 | 0.000 % |
820.23/820.62 c | 1097689 | 1000 20000 100000 | 90766 86885 139 | 0.000 % |
821.23/821.67 c | 1099089 | 1000 20000 100000 | 90766 88285 139 | 0.000 % |
822.62/823.08 c | 1100631 | 1000 20000 100000 | 89197 80254 138 | 0.000 % |
823.92/824.32 c | 1102326 | 1000 20000 100000 | 89197 81949 138 | 0.000 % |
825.22/825.69 c | 1104191 | 1000 20000 100000 | 89197 83814 138 | 0.000 % |
826.82/827.23 c | 1106244 | 1000 20000 100000 | 89197 85867 138 | 0.000 % |
828.52/828.92 c | 1108497 | 1000 20000 100000 | 89197 88120 138 | 0.000 % |
830.52/830.91 c | 1110976 | 1000 20000 100000 | 80148 72833 138 | 0.000 % |
832.32/832.79 c | 1113703 | 1000 20000 100000 | 80148 75560 138 | 0.000 % |
834.42/834.85 c | 1116701 | 1000 20000 100000 | 80148 78558 138 | 0.000 % |
836.72/837.13 c | 1119997 | 1000 20000 100000 | 80148 73803 137 | 0.000 % |
839.12/839.51 c | 1123623 | 1000 20000 100000 | 2147483647 77429 137 | 0.000 % |
841.82/842.26 c | 1127614 | 1000 20000 100000 | 2147483647 81420 137 | 0.000 % |
845.21/845.68 c | 1132000 | 1000 20000 100000 | 2147483647 85806 137 | 0.000 % |
848.72/849.13 c | 1136824 | 1000 20000 100000 | 2147483647 90630 138 | 0.000 % |
853.12/853.53 c | 1142129 | 1000 20000 100000 | 93809 85459 137 | 0.000 % |
857.81/858.22 c | 1147965 | 1000 20000 100000 | 93809 91295 138 | 0.000 % |
862.81/863.26 c | 1154384 | 1000 20000 100000 | 93332 86565 138 | 0.000 % |
868.11/868.57 c | 1161443 | 1000 20000 100000 | 92182 83474 138 | 0.000 % |
874.11/874.55 c | 1169207 | 1000 20000 100000 | 92182 91238 139 | 0.000 % |
881.21/881.63 c | 1177749 | 1000 20000 100000 | 92031 89710 140 | 0.000 % |
888.60/889.01 c | 1187144 | 1000 20000 100000 | 91963 88396 140 | 0.000 % |
897.00/897.45 c | 1197477 | 1000 20000 100000 | 91252 87777 142 | 0.000 % |
897.10/897.54 c | 1197577 | 1000 20000 100000 | 91252 87877 142 | 0.000 % |
897.20/897.66 c | 1197687 | 1000 20000 100000 | 91252 87987 142 | 0.000 % |
897.30/897.77 c | 1197808 | 1000 20000 100000 | 91252 88108 142 | 0.000 % |
897.40/897.88 c | 1197941 | 1000 20000 100000 | 91252 88241 142 | 0.000 % |
897.60/898.01 c | 1198087 | 1000 20000 100000 | 91252 88387 142 | 0.000 % |
897.70/898.15 c | 1198248 | 1000 20000 100000 | 91252 88548 142 | 0.000 % |
897.90/898.30 c | 1198425 | 1000 20000 100000 | 91252 88725 142 | 0.000 % |
898.00/898.46 c | 1198618 | 1000 20000 100000 | 91252 88918 142 | 0.000 % |
898.21/898.64 c | 1198831 | 1000 20000 100000 | 91252 89131 142 | 0.000 % |
898.40/898.84 c | 1199064 | 1000 20000 100000 | 91252 89364 142 | 0.000 % |
898.60/899.08 c | 1199320 | 1000 20000 100000 | 91252 89620 142 | 0.000 % |
898.90/899.34 c | 1199601 | 1000 20000 100000 | 91252 89901 142 | 0.000 % |
899.20/899.60 c | 1199910 | 1000 20000 100000 | 91252 90210 142 | 0.000 % |
899.40/899.86 c | 1200250 | 1000 20000 100000 | 90300 90550 142 | 0.000 % |
899.70/900.18 c | 1200623 | 1000 20000 100000 | 90300 80120 142 | 0.000 % |
900.00/900.46 c | 1201033 | 1000 20000 100000 | 90300 80530 142 | 0.000 % |
900.40/900.81 c | 1201484 | 1000 20000 100000 | 90300 80981 142 | 0.000 % |
900.80/901.21 c | 1201979 | 1000 20000 100000 | 90300 81476 142 | 0.000 % |
901.20/901.61 c | 1202522 | 1000 20000 100000 | 90300 82019 142 | 0.000 % |
901.60/902.06 c | 1203118 | 1000 20000 100000 | 90300 82615 142 | 0.000 % |
902.10/902.54 c | 1203774 | 1000 20000 100000 | 90300 83271 142 | 0.000 % |
902.60/903.05 c | 1204496 | 1000 20000 100000 | 90300 83993 142 | 0.000 % |
903.20/903.66 c | 1205291 | 1000 20000 100000 | 90300 84788 142 | 0.000 % |
903.90/904.36 c | 1206162 | 1000 20000 100000 | 90300 85659 142 | 0.000 % |
904.60/905.06 c | 1207120 | 1000 20000 100000 | 90300 86617 142 | 0.000 % |
905.40/905.85 c | 1208173 | 1000 20000 100000 | 90300 87670 142 | 0.000 % |
906.20/906.66 c | 1209331 | 1000 20000 100000 | 90300 88828 142 | 0.000 % |
907.19/907.70 c | 1210605 | 1000 20000 100000 | 89497 80498 142 | 0.000 % |
908.19/908.68 c | 1212007 | 1000 20000 100000 | 89497 81900 142 | 0.000 % |
909.39/909.84 c | 1213547 | 1000 20000 100000 | 89497 83440 142 | 0.000 % |
910.59/911.06 c | 1215243 | 1000 20000 100000 | 89497 85136 142 | 0.000 % |
911.99/912.45 c | 1217106 | 1000 20000 100000 | 89497 86999 142 | 0.000 % |
913.59/914.00 c | 1219155 | 1000 20000 100000 | 89497 89048 142 | 0.000 % |
915.09/915.59 c | 1221408 | 1000 20000 100000 | 80646 73957 141 | 0.000 % |
916.69/917.19 c | 1223886 | 1000 20000 100000 | 80646 76435 141 | 0.000 % |
918.69/919.12 c | 1226611 | 1000 20000 100000 | 80646 79160 140 | 0.000 % |
920.88/921.33 c | 1229608 | 1000 20000 100000 | 80646 74059 140 | 0.000 % |
923.08/923.50 c | 1232905 | 1000 20000 100000 | 2147483647 77356 140 | 0.000 % |
925.58/926.05 c | 1236531 | 1000 20000 100000 | 2147483647 80982 140 | 0.000 % |
928.38/928.83 c | 1240520 | 1000 20000 100000 | 2147483647 84971 140 | 0.000 % |
931.58/932.04 c | 1244906 | 1000 20000 100000 | 2147483647 89357 140 | 0.000 % |
935.58/936.01 c | 1249729 | 1000 20000 100000 | 2147483647 94180 141 | 0.000 % |
939.68/940.13 c | 1255037 | 1000 20000 100000 | 94454 89279 140 | 0.000 % |
944.38/944.81 c | 1260872 | 1000 20000 100000 | 94242 84196 139 | 0.000 % |
949.47/949.92 c | 1267291 | 1000 20000 100000 | 94242 90615 140 | 0.000 % |
954.87/955.34 c | 1274350 | 1000 20000 100000 | 93325 86086 140 | 0.000 % |
961.07/961.54 c | 1282115 | 1000 20000 100000 | 91738 82988 140 | 0.000 % |
967.87/968.38 c | 1290655 | 1000 20000 100000 | 90873 81705 140 | 0.000 % |
975.06/975.58 c | 1300049 | 1000 20000 100000 | 91052 91099 140 | 0.000 % |
983.06/983.56 c | 1310382 | 1000 20000 100000 | 91336 81041 142 | 0.000 % |
992.06/992.53 c | 1321748 | 1000 20000 100000 | 90660 81326 143 | 0.000 % |
992.16/992.61 c | 1321848 | 1000 20000 100000 | 90660 81426 143 | 0.000 % |
992.26/992.70 c | 1321961 | 1000 20000 100000 | 90660 81539 143 | 0.000 % |
992.26/992.79 c | 1322082 | 1000 20000 100000 | 90660 81660 143 | 0.000 % |
992.46/992.93 c | 1322216 | 1000 20000 100000 | 90660 81794 143 | 0.000 % |
992.56/993.06 c | 1322365 | 1000 20000 100000 | 90660 81943 143 | 0.000 % |
992.66/993.19 c | 1322525 | 1000 20000 100000 | 90660 82103 143 | 0.000 % |
992.86/993.35 c | 1322705 | 1000 20000 100000 | 90660 82283 143 | 0.000 % |
993.06/993.50 c | 1322899 | 1000 20000 100000 | 90660 82477 143 | 0.000 % |
993.26/993.70 c | 1323114 | 1000 20000 100000 | 90660 82692 143 | 0.000 % |
993.46/993.90 c | 1323348 | 1000 20000 100000 | 90660 82926 143 | 0.000 % |
993.66/994.13 c | 1323605 | 1000 20000 100000 | 90660 83183 143 | 0.000 % |
993.86/994.34 c | 1323886 | 1000 20000 100000 | 90660 83464 143 | 0.000 % |
994.06/994.60 c | 1324196 | 1000 20000 100000 | 90660 83774 142 | 0.000 % |
994.36/994.87 c | 1324535 | 1000 20000 100000 | 90660 84113 142 | 0.000 % |
994.76/995.22 c | 1324907 | 1000 20000 100000 | 90660 84485 142 | 0.000 % |
995.06/995.58 c | 1325316 | 1000 20000 100000 | 90660 84894 142 | 0.000 % |
995.46/995.90 c | 1325765 | 1000 20000 100000 | 90660 85343 142 | 0.000 % |
995.76/996.25 c | 1326258 | 1000 20000 100000 | 90660 85836 142 | 0.000 % |
996.16/996.67 c | 1326800 | 1000 20000 100000 | 90660 86378 142 | 0.000 % |
996.66/997.11 c | 1327397 | 1000 20000 100000 | 90660 86975 142 | 0.000 % |
997.06/997.58 c | 1328052 | 1000 20000 100000 | 90660 87630 142 | 0.000 % |
997.76/998.21 c | 1328772 | 1000 20000 100000 | 90660 88350 142 | 0.000 % |
998.26/998.80 c | 1329565 | 1000 20000 100000 | 90660 89143 142 | 0.000 % |
999.06/999.56 c | 1330437 | 1000 20000 100000 | 89579 79579 142 | 0.000 % |
999.76/1000.28 c | 1331395 | 1000 20000 100000 | 89579 80537 142 | 0.000 % |
1000.56/1001.09 c | 1332448 | 1000 20000 100000 | 89579 81590 142 | 0.000 % |
1001.46/1001.94 c | 1333607 | 1000 20000 100000 | 89579 82749 142 | 0.000 % |
1002.36/1002.88 c | 1334881 | 1000 20000 100000 | 89579 84023 142 | 0.000 % |
1003.35/1003.84 c | 1336281 | 1000 20000 100000 | 89579 85423 142 | 0.000 % |
1004.45/1004.96 c | 1337821 | 1000 20000 100000 | 89579 86963 141 | 0.000 % |
1005.65/1006.13 c | 1339517 | 1000 20000 100000 | 89579 88659 141 | 0.000 % |
1007.25/1007.72 c | 1341381 | 1000 20000 100000 | 2147483647 90523 141 | 0.000 % |
1008.75/1009.21 c | 1343430 | 1000 20000 100000 | 2147483647 92572 141 | 0.000 % |
1010.46/1010.97 c | 1345683 | 1000 20000 100000 | 2147483647 94825 141 | 0.000 % |
1012.45/1012.95 c | 1348164 | 1000 20000 100000 | 2147483647 97306 141 | 0.000 % |
1014.76/1015.24 c | 1350890 | 1000 20000 100000 | 99143 87713 141 | 0.000 % |
1017.06/1017.58 c | 1353888 | 1000 20000 100000 | 99143 90711 141 | 0.000 % |
1019.56/1020.03 c | 1357184 | 1000 20000 100000 | 99143 94007 140 | 0.000 % |
1022.56/1023.02 c | 1360809 | 1000 20000 100000 | 96824 86721 140 | 0.000 % |
1025.66/1026.17 c | 1364797 | 1000 20000 100000 | 96824 90709 140 | 0.000 % |
1029.25/1029.78 c | 1369183 | 1000 20000 100000 | 96824 95095 140 | 0.000 % |
1033.05/1033.54 c | 1374006 | 1000 20000 100000 | 95912 87357 139 | 0.000 % |
1037.15/1037.69 c | 1379312 | 1000 20000 100000 | 95912 92663 139 | 0.000 % |
1041.65/1042.12 c | 1385147 | 1000 20000 100000 | 93352 86516 140 | 0.000 % |
1046.65/1047.12 c | 1391566 | 1000 20000 100000 | 91369 82016 138 | 0.000 % |
1051.85/1052.33 c | 1398625 | 1000 20000 100000 | 91369 89075 139 | 0.000 % |
1057.95/1058.42 c | 1406389 | 1000 20000 100000 | 90450 85968 139 | 0.000 % |
1064.44/1064.97 c | 1414929 | 1000 20000 100000 | 89581 84347 140 | 0.000 % |
1071.84/1072.35 c | 1424323 | 1000 20000 100000 | 89418 83875 141 | 0.000 % |
1080.14/1080.62 c | 1434657 | 1000 20000 100000 | 89553 84625 142 | 0.000 % |
1088.94/1089.49 c | 1446026 | 1000 20000 100000 | 80609 78263 142 | 0.000 % |
1097.63/1098.14 c | 1458529 | 1000 20000 100000 | 2147483647 82669 143 | 0.000 % |
1097.73/1098.24 c | 1458629 | 1000 20000 100000 | 2147483647 82769 143 | 0.000 % |
1097.83/1098.33 c | 1458740 | 1000 20000 100000 | 2147483647 82880 143 | 0.000 % |
1097.93/1098.44 c | 1458861 | 1000 20000 100000 | 2147483647 83001 143 | 0.000 % |
1098.03/1098.54 c | 1458994 | 1000 20000 100000 | 2147483647 83134 143 | 0.000 % |
1098.13/1098.65 c | 1459140 | 1000 20000 100000 | 2147483647 83280 143 | 0.000 % |
1098.23/1098.78 c | 1459302 | 1000 20000 100000 | 2147483647 83442 143 | 0.000 % |
1098.44/1098.92 c | 1459478 | 1000 20000 100000 | 2147483647 83618 143 | 0.000 % |
1098.53/1099.08 c | 1459673 | 1000 20000 100000 | 2147483647 83813 143 | 0.000 % |
1098.73/1099.24 c | 1459885 | 1000 20000 100000 | 2147483647 84025 143 | 0.000 % |
1098.93/1099.44 c | 1460118 | 1000 20000 100000 | 2147483647 84258 143 | 0.000 % |
1099.13/1099.66 c | 1460374 | 1000 20000 100000 | 2147483647 84514 143 | 0.000 % |
1099.33/1099.88 c | 1460656 | 1000 20000 100000 | 2147483647 84796 143 | 0.000 % |
1099.63/1100.12 c | 1460966 | 1000 20000 100000 | 2147483647 85106 142 | 0.000 % |
1099.93/1100.40 c | 1461308 | 1000 20000 100000 | 2147483647 85448 142 | 0.000 % |
1100.23/1100.72 c | 1461681 | 1000 20000 100000 | 2147483647 85821 142 | 0.000 % |
1100.53/1101.04 c | 1462091 | 1000 20000 100000 | 2147483647 86231 142 | 0.000 % |
1100.93/1101.42 c | 1462540 | 1000 20000 100000 | 2147483647 86680 142 | 0.000 % |
1101.33/1101.83 c | 1463034 | 1000 20000 100000 | 2147483647 87174 142 | 0.000 % |
1101.83/1102.34 c | 1463578 | 1000 20000 100000 | 2147483647 87718 142 | 0.000 % |
1102.33/1102.84 c | 1464174 | 1000 20000 100000 | 2147483647 88314 142 | 0.000 % |
1102.83/1103.37 c | 1464829 | 1000 20000 100000 | 2147483647 88969 142 | 0.000 % |
1103.43/1103.94 c | 1465549 | 1000 20000 100000 | 2147483647 89689 142 | 0.000 % |
1104.03/1104.58 c | 1466341 | 1000 20000 100000 | 2147483647 90481 142 | 0.000 % |
1104.73/1105.21 c | 1467213 | 1000 20000 100000 | 2147483647 91353 142 | 0.000 % |
1105.43/1105.96 c | 1468171 | 1000 20000 100000 | 2147483647 92311 142 | 0.000 % |
1106.23/1106.76 c | 1469226 | 1000 20000 100000 | 2147483647 93366 142 | 0.000 % |
1107.23/1107.77 c | 1470384 | 1000 20000 100000 | 94140 83429 141 | 0.000 % |
1108.23/1108.80 c | 1471657 | 1000 20000 100000 | 94140 84702 141 | 0.000 % |
1109.33/1109.88 c | 1473058 | 1000 20000 100000 | 94140 86103 141 | 0.000 % |
1110.62/1111.16 c | 1474598 | 1000 20000 100000 | 94140 87643 141 | 0.000 % |
1111.92/1112.49 c | 1476292 | 1000 20000 100000 | 94140 89337 141 | 0.000 % |
1113.42/1113.98 c | 1478157 | 1000 20000 100000 | 94140 91202 141 | 0.000 % |
1114.92/1115.44 c | 1480207 | 1000 20000 100000 | 93047 93252 141 | 0.000 % |
1116.52/1117.01 c | 1482460 | 1000 20000 100000 | 93047 84900 140 | 0.000 % |
1118.32/1118.82 c | 1484938 | 1000 20000 100000 | 93047 87378 140 | 0.000 % |
1120.22/1120.73 c | 1487664 | 1000 20000 100000 | 93047 90104 141 | 0.000 % |
1122.62/1123.16 c | 1490663 | 1000 20000 100000 | 92442 82686 140 | 0.000 % |
1125.02/1125.56 c | 1493961 | 1000 20000 100000 | 92442 85984 140 | 0.000 % |
1127.92/1128.45 c | 1497586 | 1000 20000 100000 | 92442 89609 140 | 0.000 % |
1130.92/1131.48 c | 1501576 | 1000 20000 100000 | 92026 82894 139 | 0.000 % |
1134.11/1134.69 c | 1505963 | 1000 20000 100000 | 92026 87281 140 | 0.000 % |
1138.02/1138.58 c | 1510787 | 1000 20000 100000 | 91318 82110 139 | 0.000 % |
1142.01/1142.59 c | 1516093 | 1000 20000 100000 | 91318 87416 139 | 0.000 % |
1146.71/1147.23 c | 1521928 | 1000 20000 100000 | 91323 82711 139 | 0.000 % |
1151.41/1151.93 c | 1528346 | 1000 20000 100000 | 91323 89129 140 | 0.000 % |
1156.81/1157.35 c | 1535405 | 1000 20000 100000 | 90784 86206 140 | 0.000 % |
1162.81/1163.32 c | 1543169 | 1000 20000 100000 | 90803 84394 140 | 0.000 % |
1169.71/1170.28 c | 1551709 | 1000 20000 100000 | 81073 73791 142 | 0.000 % |
1176.51/1177.05 c | 1561103 | 1000 20000 100000 | 2147483647 75038 142 | 0.000 % |
1184.51/1185.01 c | 1571436 | 1000 20000 100000 | 2147483647 85371 142 | 0.000 % |
1194.01/1194.56 c | 1582803 | 1000 20000 100000 | 93937 85807 143 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832441-1242773153/watcher-1832441-1242773153 -o /tmp/evaluation-result-1832441-1242773153/solver-1832441-1242773153 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832441-1242773153.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2121
/proc/meminfo: memFree=1898448/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305348846 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2121/statm: 1339 237 197 169 0 50 0
[startup+0.0725889 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2121
/proc/meminfo: memFree=1898448/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.102592 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2121
/proc/meminfo: memFree=1898448/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.302611 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2121
/proc/meminfo: memFree=1898448/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.70265 s]
/proc/loadavg: 0.99 0.98 0.99 3/64 2121
/proc/meminfo: memFree=1898448/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50172 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2127
/proc/meminfo: memFree=1892472/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=6640 CPUtime=1.42
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 1423 0 0 0 142 0 0 0 25 0 1 0 305348852 6799360 1409 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 1660 1409 77 171 0 1487 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 11996
[startup+3.10187 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2127
/proc/meminfo: memFree=1890360/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=11180 CPUtime=3.01
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 2540 0 0 0 300 1 0 0 25 0 1 0 305348852 11448320 2526 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 2795 2526 77 171 0 2622 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 16536
[startup+6.30116 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2127
/proc/meminfo: memFree=1882616/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=17812 CPUtime=6.21
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 4183 0 0 0 618 3 0 0 25 0 1 0 305348852 18239488 4169 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 4453 4169 77 171 0 4280 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 23168
[startup+12.7018 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2127
/proc/meminfo: memFree=1872576/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=27000 CPUtime=12.59
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 6486 0 0 0 1254 5 0 0 25 0 1 0 305348852 27648000 6472 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 6750 6472 77 171 0 6577 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 32356
[startup+25.5019 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2127
/proc/meminfo: memFree=1859072/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=39924 CPUtime=25.38
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 9709 0 0 0 2529 9 0 0 25 0 1 0 305348852 40882176 9695 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 9981 9695 77 171 0 9808 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 45280
[startup+51.1013 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2127
/proc/meminfo: memFree=1843200/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=55548 CPUtime=50.97
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 13591 0 0 0 5082 15 0 0 25 0 1 0 305348852 56881152 13577 1992294400 134512640 135215339 4294956240 18446744073709551615 134538841 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 13887 13577 77 171 0 13714 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 60904
[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2127
/proc/meminfo: memFree=1843136/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=55548 CPUtime=102.15
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 13591 0 0 0 10200 15 0 0 25 0 1 0 305348852 56881152 13577 1992294400 134512640 135215339 4294956240 18446744073709551615 134715805 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 13887 13577 77 171 0 13714 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 60904
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2127
/proc/meminfo: memFree=1837952/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=60564 CPUtime=162.12
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 14872 0 0 0 16195 17 0 0 25 0 1 0 305348852 62017536 14858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 15141 14858 77 171 0 14968 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 65920
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2127
/proc/meminfo: memFree=1837888/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=60564 CPUtime=222.09
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 14872 0 0 0 22192 17 0 0 25 0 1 0 305348852 62017536 14858 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 15141 14858 77 171 0 14968 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 65920
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2127
/proc/meminfo: memFree=1837056/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=61356 CPUtime=282.07
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 15043 0 0 0 28189 18 0 0 25 0 1 0 305348852 62828544 15029 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 15339 15029 77 171 0 15166 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 66712
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2127
/proc/meminfo: memFree=1836928/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=61260 CPUtime=342.04
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 15043 0 0 0 34186 18 0 0 25 0 1 0 305348852 62730240 15029 1992294400 134512640 135215339 4294956240 18446744073709551615 134538107 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 15315 15029 77 171 0 15142 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 66616
[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2127
/proc/meminfo: memFree=1836864/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=61260 CPUtime=402.02
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 15043 0 0 0 40184 18 0 0 25 0 1 0 305348852 62730240 15029 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 15315 15029 77 171 0 15142 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 66616
[startup+462.302 s]
################
# More data... #
################
/proc/2127/statm: 16238 15942 77 171 0 16065 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 70308
[startup+642.302 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 2127
/proc/meminfo: memFree=1832576/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=65084 CPUtime=641.95
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 16051 0 0 0 64173 22 0 0 25 0 1 0 305348852 66646016 15990 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 16271 15990 77 171 0 16098 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 70440
[startup+702.303 s]
/proc/loadavg: 1.02 1.00 1.00 2/66 2127
/proc/meminfo: memFree=1832512/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=64900 CPUtime=701.92
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 16051 0 0 0 70170 22 0 0 25 0 1 0 305348852 66457600 15948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 16225 15948 77 171 0 16052 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 70256
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2127
/proc/meminfo: memFree=1832448/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=64900 CPUtime=761.91
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 16051 0 0 0 76168 23 0 0 25 0 1 0 305348852 66457600 15948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 16225 15948 77 171 0 16052 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 70256
[startup+822.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2127
/proc/meminfo: memFree=1832384/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=64900 CPUtime=821.88
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 16051 0 0 0 82165 23 0 0 25 0 1 0 305348852 66457600 15948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 16225 15948 77 171 0 16052 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 70256
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2127
/proc/meminfo: memFree=1832320/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=64900 CPUtime=881.86
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 16051 0 0 0 88163 23 0 0 25 0 1 0 305348852 66457600 15948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 16225 15948 77 171 0 16052 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 70256
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2133
/proc/meminfo: memFree=1832064/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=64900 CPUtime=941.84
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 16051 0 0 0 94161 23 0 0 25 0 1 0 305348852 66457600 15948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 16225 15948 77 171 0 16052 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 70256
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2133
/proc/meminfo: memFree=1832064/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=64900 CPUtime=1001.82
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 16051 0 0 0 100159 23 0 0 25 0 1 0 305348852 66457600 15948 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 16225 15948 77 171 0 16052 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 70256
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2133
/proc/meminfo: memFree=1831488/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=65560 CPUtime=1061.8
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 16198 0 0 0 106156 24 0 0 25 0 1 0 305348852 67133440 16095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 16390 16095 77 171 0 16217 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 70916
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2133
/proc/meminfo: memFree=1831360/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=65560 CPUtime=1121.78
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 16198 0 0 0 112154 24 0 0 25 0 1 0 305348852 67133440 16095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 16390 16095 77 171 0 16217 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 70916
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2133
/proc/meminfo: memFree=1831296/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=65560 CPUtime=1181.77
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 16198 0 0 0 118152 25 0 0 25 0 1 0 305348852 67133440 16095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 16390 16095 77 171 0 16217 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 70916
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2133
/proc/meminfo: memFree=1831296/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=65560 CPUtime=1199.97
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 16198 0 0 0 119972 25 0 0 25 0 1 0 305348852 67133440 16095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 16390 16095 77 171 0 16217 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 70916
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2133
/proc/meminfo: memFree=1831296/2055920 swapFree=4179992/4192956
[pid=2121] ppid=2119 vsize=5356 CPUtime=0.04
/proc/2121/stat : 2121 (SatELiteGTI) S 2119 2121 1847 0 -1 4194304 336 770 0 0 0 0 4 0 16 0 1 0 305348846 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/2121/statm: 1339 239 197 169 0 50 0
[pid=2127] ppid=2121 vsize=65560 CPUtime=1199.97
/proc/2127/stat : 2127 (minisat_static) R 2121 2121 1847 0 -1 4194304 16198 0 0 0 119972 25 0 0 25 0 1 0 305348852 67133440 16095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/2127/statm: 16390 16095 77 171 0 16217 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 70916
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2121 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=51992
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=8998
# CPU time returned by wait4() is 0.06099
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.01
CPU user time (s): 1199.76
CPU system time (s): 0.25
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 70916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.051992
system time used= 0.008998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1106
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 6
runsolver used 1.43078 second user time and 3.07653 second system time
The end
Begin job on node14 at 2009-05-20 00:45:54
IDJOB=1832441
IDBENCH=70184
IDSOLVER=671
FILE ID=node14/1832441-1242773153
PBS_JOBID= 9322284
Free space on /tmp= 66300 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S501150091-001.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832441-1242773153/watcher-1832441-1242773153 -o /tmp/evaluation-result-1832441-1242773153/solver-1832441-1242773153 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832441-1242773153.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e113edb96dafae9a32f84235b77a2595
RANDOM SEED=417235577
node14.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.256
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1898928 kB
Buffers: 15752 kB
Cached: 103896 kB
SwapCached: 6968 kB
Active: 68804 kB
Inactive: 59524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1898928 kB
SwapTotal: 4192956 kB
SwapFree: 4179992 kB
Dirty: 2052 kB
Writeback: 0 kB
Mapped: 13964 kB
Slab: 14684 kB
Committed_AS: 980820 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66296 MiB
End job on node14 at 2009-05-20 01:05:56