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.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1000 #clauses: 20000 #literals: 100000
0.00/0.03 c CPU time: 0.019996 s
0.00/0.03 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.00/0.07 c | Parsing time: 0.01 s |
0.00/0.07 c ============================[ Search Statistics ]==============================
0.00/0.07 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.07 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.07 c ===============================================================================
0.00/0.07 c | 0 | 1000 20000 100000 | 6666 0 nan | 0.000 % |
0.04/0.09 c | 100 | 1000 20000 100000 | 6666 100 119 | 0.000 % |
0.04/0.10 c | 201 | 1000 20000 100000 | 6666 201 120 | 0.000 % |
0.04/0.11 c | 303 | 1000 20000 100000 | 6666 303 114 | 0.000 % |
0.04/0.12 c | 413 | 1000 20000 100000 | 6666 413 117 | 0.000 % |
0.04/0.13 c | 514 | 1000 20000 100000 | 6666 514 117 | 0.000 % |
0.04/0.15 c | 624 | 1000 20000 100000 | 6666 624 117 | 0.000 % |
0.04/0.16 c | 745 | 1000 20000 100000 | 6666 745 120 | 0.000 % |
0.04/0.17 c | 845 | 1000 20000 100000 | 6666 845 118 | 0.000 % |
0.04/0.18 c | 955 | 1000 20000 100000 | 6666 955 118 | 0.000 % |
0.04/0.20 c | 1076 | 1000 20000 100000 | 6666 1076 117 | 0.000 % |
0.04/0.21 c | 1209 | 1000 20000 100000 | 6666 1209 117 | 0.000 % |
0.04/0.22 c | 1309 | 1000 20000 100000 | 6666 1309 117 | 0.000 % |
0.04/0.23 c | 1420 | 1000 20000 100000 | 6666 1420 117 | 0.000 % |
0.04/0.25 c | 1541 | 1000 20000 100000 | 6666 1541 117 | 0.000 % |
0.04/0.26 c | 1674 | 1000 20000 100000 | 6666 1674 117 | 0.000 % |
0.04/0.28 c | 1821 | 1000 20000 100000 | 6666 1821 117 | 0.000 % |
0.04/0.29 c | 1924 | 1000 20000 100000 | 6666 1924 118 | 0.000 % |
0.04/0.31 c | 2035 | 1000 20000 100000 | 6666 2035 118 | 0.000 % |
0.04/0.32 c | 2156 | 1000 20000 100000 | 6666 2156 117 | 0.000 % |
0.04/0.34 c | 2289 | 1000 20000 100000 | 6666 2289 118 | 0.000 % |
0.04/0.35 c | 2436 | 1000 20000 100000 | 6666 2436 118 | 0.000 % |
0.04/0.37 c | 2596 | 1000 20000 100000 | 6666 2596 118 | 0.000 % |
0.04/0.39 c | 2696 | 1000 20000 100000 | 6666 2696 118 | 0.000 % |
0.04/0.40 c | 2806 | 1000 20000 100000 | 6666 2806 119 | 0.000 % |
0.04/0.41 c | 2927 | 1000 20000 100000 | 6666 2927 119 | 0.000 % |
0.04/0.43 c | 3061 | 1000 20000 100000 | 6666 3061 119 | 0.000 % |
0.04/0.45 c | 3208 | 1000 20000 100000 | 6666 3208 120 | 0.000 % |
0.04/0.47 c | 3368 | 1000 20000 100000 | 6666 3368 120 | 0.000 % |
0.04/0.49 c | 3545 | 1000 20000 100000 | 6666 3545 120 | 0.000 % |
0.04/0.50 c | 3647 | 1000 20000 100000 | 6666 3647 120 | 0.000 % |
0.04/0.52 c | 3757 | 1000 20000 100000 | 6666 3757 120 | 0.000 % |
0.04/0.53 c | 3879 | 1000 20000 100000 | 6666 3879 120 | 0.000 % |
0.04/0.55 c | 4013 | 1000 20000 100000 | 6666 4013 120 | 0.000 % |
0.04/0.57 c | 4161 | 1000 20000 100000 | 6666 4161 120 | 0.000 % |
0.04/0.59 c | 4322 | 1000 20000 100000 | 6666 4322 120 | 0.000 % |
0.04/0.61 c | 4498 | 1000 20000 100000 | 6666 4498 120 | 0.000 % |
0.04/0.64 c | 4691 | 1000 20000 100000 | 6666 4691 120 | 0.000 % |
0.04/0.65 c | 4791 | 1000 20000 100000 | 6666 4791 120 | 0.000 % |
0.04/0.66 c | 4903 | 1000 20000 100000 | 6666 4903 120 | 0.000 % |
0.04/0.68 c | 5025 | 1000 20000 100000 | 6666 5025 120 | 0.000 % |
0.04/0.70 c | 5159 | 1000 20000 100000 | 6666 5159 120 | 0.000 % |
0.04/0.72 c | 5308 | 1000 20000 100000 | 6666 5308 120 | 0.000 % |
0.04/0.74 c | 5468 | 1000 20000 100000 | 6666 5468 120 | 0.000 % |
0.04/0.77 c | 5644 | 1000 20000 100000 | 6666 5644 120 | 0.000 % |
0.04/0.79 c | 5837 | 1000 20000 100000 | 6666 5837 120 | 0.000 % |
0.04/0.82 c | 6050 | 1000 20000 100000 | 6666 6050 120 | 0.000 % |
0.04/0.84 c | 6151 | 1000 20000 100000 | 6666 6151 120 | 0.000 % |
0.04/0.85 c | 6262 | 1000 20000 100000 | 6666 6262 120 | 0.000 % |
0.04/0.87 c | 6383 | 1000 20000 100000 | 6666 6383 120 | 0.000 % |
0.04/0.89 c | 6516 | 1000 20000 100000 | 6666 6516 120 | 0.000 % |
0.04/0.91 c | 6662 | 1000 20000 100000 | 6666 6662 120 | 0.000 % |
0.04/0.93 c | 6823 | 1000 20000 100000 | 6666 6823 120 | 0.000 % |
0.04/0.96 c | 7000 | 1000 20000 100000 | 6666 6318 119 | 0.000 % |
0.04/0.99 c | 7196 | 1000 20000 100000 | 6666 6514 120 | 0.000 % |
0.97/1.02 c | 7409 | 1000 20000 100000 | 6666 6727 120 | 0.000 % |
0.97/1.06 c | 7646 | 1000 20000 100000 | 6666 6292 120 | 0.000 % |
0.97/1.07 c | 7747 | 1000 20000 100000 | 6666 6393 120 | 0.000 % |
0.97/1.09 c | 7858 | 1000 20000 100000 | 6666 6504 120 | 0.000 % |
1.07/1.11 c | 7980 | 1000 20000 100000 | 6666 6626 120 | 0.000 % |
1.07/1.13 c | 8114 | 1000 20000 100000 | 6666 6760 119 | 0.000 % |
1.07/1.16 c | 8262 | 1000 20000 100000 | 6666 6232 120 | 0.000 % |
1.07/1.18 c | 8423 | 1000 20000 100000 | 6666 6393 120 | 0.000 % |
1.16/1.21 c | 8599 | 1000 20000 100000 | 6666 6569 119 | 0.000 % |
1.16/1.24 c | 8792 | 1000 20000 100000 | 6666 6762 120 | 0.000 % |
1.16/1.27 c | 9004 | 1000 20000 100000 | 6666 6298 119 | 0.000 % |
1.26/1.30 c | 9237 | 1000 20000 100000 | 6666 6531 119 | 0.000 % |
1.26/1.34 c | 9493 | 1000 20000 100000 | 6666 6787 120 | 0.000 % |
1.26/1.36 c | 9593 | 1000 20000 100000 | 6666 6209 119 | 0.000 % |
1.26/1.37 c | 9705 | 1000 20000 100000 | 6666 6321 119 | 0.000 % |
1.26/1.39 c | 9826 | 1000 20000 100000 | 6666 6442 119 | 0.000 % |
1.36/1.41 c | 9959 | 1000 20000 100000 | 6666 6575 119 | 0.000 % |
1.36/1.43 c | 10105 | 1000 20000 100000 | 2147483647 6721 119 | 0.000 % |
1.36/1.46 c | 10265 | 1000 20000 100000 | 2147483647 6881 120 | 0.000 % |
1.36/1.49 c | 10441 | 1000 20000 100000 | 2147483647 7057 120 | 0.000 % |
1.46/1.51 c | 10638 | 1000 20000 100000 | 2147483647 7254 120 | 0.000 % |
1.46/1.55 c | 10850 | 1000 20000 100000 | 2147483647 7466 120 | 0.000 % |
1.46/1.59 c | 11083 | 1000 20000 100000 | 2147483647 7699 120 | 0.000 % |
1.56/1.63 c | 11339 | 1000 20000 100000 | 2147483647 7955 121 | 0.000 % |
1.56/1.68 c | 11622 | 1000 20000 100000 | 2147483647 8238 121 | 0.000 % |
1.56/1.69 c | 11725 | 1000 20000 100000 | 2147483647 8341 121 | 0.000 % |
1.66/1.71 c | 11836 | 1000 20000 100000 | 2147483647 8452 121 | 0.000 % |
1.66/1.73 c | 11959 | 1000 20000 100000 | 2147483647 8575 121 | 0.000 % |
1.66/1.75 c | 12093 | 1000 20000 100000 | 2147483647 8709 121 | 0.000 % |
1.66/1.78 c | 12239 | 1000 20000 100000 | 2147483647 8855 121 | 0.000 % |
1.76/1.81 c | 12401 | 1000 20000 100000 | 2147483647 9017 121 | 0.000 % |
1.76/1.84 c | 12577 | 1000 20000 100000 | 2147483647 9193 121 | 0.000 % |
1.76/1.87 c | 12770 | 1000 20000 100000 | 2147483647 9386 121 | 0.000 % |
1.87/1.91 c | 12982 | 1000 20000 100000 | 2147483647 9598 121 | 0.000 % |
1.87/1.95 c | 13215 | 1000 20000 100000 | 2147483647 9831 121 | 0.000 % |
1.87/1.99 c | 13471 | 1000 20000 100000 | 2147483647 10087 121 | 0.000 % |
1.97/2.03 c | 13752 | 1000 20000 100000 | 2147483647 10368 121 | 0.000 % |
1.97/2.09 c | 14062 | 1000 20000 100000 | 2147483647 10678 121 | 0.000 % |
2.07/2.11 c | 14166 | 1000 20000 100000 | 2147483647 10782 121 | 0.000 % |
2.07/2.13 c | 14276 | 1000 20000 100000 | 2147483647 10892 121 | 0.000 % |
2.07/2.15 c | 14398 | 1000 20000 100000 | 2147483647 11014 121 | 0.000 % |
2.07/2.18 c | 14532 | 1000 20000 100000 | 2147483647 11148 121 | 0.000 % |
2.17/2.21 c | 14678 | 1000 20000 100000 | 2147483647 11294 121 | 0.000 % |
2.17/2.24 c | 14838 | 1000 20000 100000 | 2147483647 11454 121 | 0.000 % |
2.17/2.27 c | 15016 | 1000 20000 100000 | 2147483647 11632 121 | 0.000 % |
2.27/2.31 c | 15211 | 1000 20000 100000 | 2147483647 11827 121 | 0.000 % |
2.27/2.35 c | 15426 | 1000 20000 100000 | 2147483647 12042 121 | 0.000 % |
2.27/2.40 c | 15660 | 1000 20000 100000 | 2147483647 12276 121 | 0.000 % |
2.37/2.44 c | 15916 | 1000 20000 100000 | 2147483647 12532 121 | 0.000 % |
2.37/2.49 c | 16198 | 1000 20000 100000 | 2147483647 12814 121 | 0.000 % |
2.47/2.55 c | 16507 | 1000 20000 100000 | 2147483647 13123 122 | 0.000 % |
2.56/2.62 c | 16848 | 1000 20000 100000 | 2147483647 13464 122 | 0.000 % |
2.56/2.64 c | 16949 | 1000 20000 100000 | 2147483647 13565 122 | 0.000 % |
2.56/2.66 c | 17060 | 1000 20000 100000 | 2147483647 13676 122 | 0.000 % |
2.56/2.69 c | 17182 | 1000 20000 100000 | 2147483647 13798 122 | 0.000 % |
2.66/2.72 c | 17315 | 1000 20000 100000 | 2147483647 13931 122 | 0.000 % |
2.66/2.75 c | 17461 | 1000 20000 100000 | 2147483647 14077 122 | 0.000 % |
2.66/2.78 c | 17622 | 1000 20000 100000 | 2147483647 14238 122 | 0.000 % |
2.76/2.81 c | 17800 | 1000 20000 100000 | 2147483647 14416 122 | 0.000 % |
2.76/2.85 c | 17993 | 1000 20000 100000 | 2147483647 14609 122 | 0.000 % |
2.76/2.90 c | 18205 | 1000 20000 100000 | 2147483647 14821 122 | 0.000 % |
2.86/2.94 c | 18438 | 1000 20000 100000 | 2147483647 15054 122 | 0.000 % |
2.86/3.00 c | 18695 | 1000 20000 100000 | 2147483647 15311 122 | 0.000 % |
2.96/3.05 c | 18977 | 1000 20000 100000 | 2147483647 15593 122 | 0.000 % |
3.06/3.12 c | 19288 | 1000 20000 100000 | 2147483647 15904 122 | 0.000 % |
3.06/3.19 c | 19627 | 1000 20000 100000 | 2147483647 16243 122 | 0.000 % |
3.16/3.27 c | 20000 | 1000 20000 100000 | 2147483647 16616 122 | 0.000 % |
3.16/3.30 c | 20101 | 1000 20000 100000 | 2147483647 16717 122 | 0.000 % |
3.26/3.32 c | 20211 | 1000 20000 100000 | 2147483647 16827 122 | 0.000 % |
3.26/3.35 c | 20332 | 1000 20000 100000 | 2147483647 16948 122 | 0.000 % |
3.26/3.38 c | 20468 | 1000 20000 100000 | 2147483647 17084 122 | 0.000 % |
3.36/3.42 c | 20616 | 1000 20000 100000 | 2147483647 17232 122 | 0.000 % |
3.36/3.45 c | 20778 | 1000 20000 100000 | 2147483647 17394 122 | 0.000 % |
3.36/3.50 c | 20955 | 1000 20000 100000 | 2147483647 17571 122 | 0.000 % |
3.46/3.54 c | 21148 | 1000 20000 100000 | 2147483647 17764 122 | 0.000 % |
3.46/3.59 c | 21360 | 1000 20000 100000 | 2147483647 17976 122 | 0.000 % |
3.56/3.64 c | 21593 | 1000 20000 100000 | 2147483647 18209 122 | 0.000 % |
3.67/3.70 c | 21849 | 1000 20000 100000 | 2147483647 18465 122 | 0.000 % |
3.67/3.77 c | 22130 | 1000 20000 100000 | 2147483647 18746 122 | 0.000 % |
3.76/3.84 c | 22439 | 1000 20000 100000 | 2147483647 19055 122 | 0.000 % |
3.86/3.92 c | 22778 | 1000 20000 100000 | 2147483647 19394 122 | 0.000 % |
3.96/4.01 c | 23150 | 1000 20000 100000 | 2147483647 19766 122 | 0.000 % |
4.06/4.11 c | 23559 | 1000 20000 100000 | 2147483647 20175 123 | 0.000 % |
4.06/4.14 c | 23661 | 1000 20000 100000 | 2147483647 20277 123 | 0.000 % |
4.06/4.17 c | 23771 | 1000 20000 100000 | 2147483647 20387 123 | 0.000 % |
4.16/4.20 c | 23892 | 1000 20000 100000 | 2147483647 20508 123 | 0.000 % |
4.16/4.23 c | 24025 | 1000 20000 100000 | 2147483647 20641 123 | 0.000 % |
4.16/4.28 c | 24173 | 1000 20000 100000 | 2147483647 20789 123 | 0.000 % |
4.26/4.32 c | 24333 | 1000 20000 100000 | 2147483647 20949 123 | 0.000 % |
4.26/4.36 c | 24510 | 1000 20000 100000 | 2147483647 21126 123 | 0.000 % |
4.36/4.42 c | 24705 | 1000 20000 100000 | 2147483647 21321 123 | 0.000 % |
4.36/4.48 c | 24917 | 1000 20000 100000 | 2147483647 21533 123 | 0.000 % |
4.46/4.54 c | 25150 | 1000 20000 100000 | 2147483647 21766 123 | 0.000 % |
4.56/4.61 c | 25406 | 1000 20000 100000 | 2147483647 22022 123 | 0.000 % |
4.56/4.68 c | 25687 | 1000 20000 100000 | 2147483647 22303 123 | 0.000 % |
4.66/4.76 c | 25996 | 1000 20000 100000 | 2147483647 22612 123 | 0.000 % |
4.76/4.85 c | 26336 | 1000 20000 100000 | 2147483647 22952 123 | 0.000 % |
4.86/4.95 c | 26710 | 1000 20000 100000 | 2147483647 23326 123 | 0.000 % |
4.96/5.05 c | 27119 | 1000 20000 100000 | 2147483647 23735 123 | 0.000 % |
5.06/5.16 c | 27568 | 1000 20000 100000 | 2147483647 24184 123 | 0.000 % |
5.06/5.20 c | 27669 | 1000 20000 100000 | 2147483647 24285 123 | 0.000 % |
5.16/5.23 c | 27780 | 1000 20000 100000 | 2147483647 24396 123 | 0.000 % |
5.16/5.26 c | 27901 | 1000 20000 100000 | 2147483647 24517 123 | 0.000 % |
5.26/5.30 c | 28036 | 1000 20000 100000 | 2147483647 24652 123 | 0.000 % |
5.26/5.35 c | 28182 | 1000 20000 100000 | 2147483647 24798 123 | 0.000 % |
5.26/5.39 c | 28344 | 1000 20000 100000 | 2147483647 24960 123 | 0.000 % |
5.36/5.44 c | 28520 | 1000 20000 100000 | 2147483647 25136 123 | 0.000 % |
5.46/5.50 c | 28714 | 1000 20000 100000 | 2147483647 25330 123 | 0.000 % |
5.46/5.57 c | 28926 | 1000 20000 100000 | 2147483647 25542 123 | 0.000 % |
5.56/5.64 c | 29159 | 1000 20000 100000 | 2147483647 25775 123 | 0.000 % |
5.65/5.71 c | 29415 | 1000 20000 100000 | 2147483647 26031 123 | 0.000 % |
5.65/5.78 c | 29696 | 1000 20000 100000 | 2147483647 26312 123 | 0.000 % |
5.75/5.87 c | 30005 | 1000 20000 100000 | 2147483647 26621 123 | 0.000 % |
5.86/5.98 c | 30345 | 1000 20000 100000 | 2147483647 26961 123 | 0.000 % |
5.96/6.09 c | 30717 | 1000 20000 100000 | 2147483647 27333 123 | 0.000 % |
6.16/6.23 c | 31127 | 1000 20000 100000 | 2147483647 27743 124 | 0.000 % |
6.26/6.36 c | 31576 | 1000 20000 100000 | 2147483647 28192 124 | 0.000 % |
6.46/6.53 c | 32069 | 1000 20000 100000 | 2147483647 28685 124 | 0.000 % |
6.46/6.56 c | 32170 | 1000 20000 100000 | 2147483647 28786 124 | 0.000 % |
6.46/6.59 c | 32283 | 1000 20000 100000 | 2147483647 28899 124 | 0.000 % |
6.56/6.64 c | 32404 | 1000 20000 100000 | 2147483647 29020 124 | 0.000 % |
6.56/6.68 c | 32540 | 1000 20000 100000 | 2147483647 29156 124 | 0.000 % |
6.66/6.74 c | 32686 | 1000 20000 100000 | 2147483647 29302 123 | 0.000 % |
6.66/6.79 c | 32846 | 1000 20000 100000 | 2147483647 29462 124 | 0.000 % |
6.76/6.84 c | 33022 | 1000 20000 100000 | 2147483647 29638 124 | 0.000 % |
6.86/6.91 c | 33215 | 1000 20000 100000 | 2147483647 29831 123 | 0.000 % |
6.86/6.99 c | 33429 | 1000 20000 100000 | 2147483647 30045 124 | 0.000 % |
6.96/7.06 c | 33662 | 1000 20000 100000 | 2147483647 30278 124 | 0.000 % |
7.06/7.15 c | 33919 | 1000 20000 100000 | 2147483647 30535 124 | 0.000 % |
7.15/7.24 c | 34202 | 1000 20000 100000 | 2147483647 30818 124 | 0.000 % |
7.25/7.34 c | 34511 | 1000 20000 100000 | 2147483647 31127 124 | 0.000 % |
7.35/7.46 c | 34852 | 1000 20000 100000 | 2147483647 31468 124 | 0.000 % |
7.45/7.59 c | 35224 | 1000 20000 100000 | 2147483647 31840 124 | 0.000 % |
7.66/7.74 c | 35634 | 1000 20000 100000 | 2147483647 32250 124 | 0.000 % |
7.75/7.90 c | 36084 | 1000 20000 100000 | 2147483647 32700 124 | 0.000 % |
7.95/8.06 c | 36577 | 1000 20000 100000 | 2147483647 33193 124 | 0.000 % |
8.16/8.25 c | 37120 | 1000 20000 100000 | 2147483647 33736 124 | 0.000 % |
8.16/8.28 c | 37220 | 1000 20000 100000 | 2147483647 33836 124 | 0.000 % |
8.26/8.32 c | 37330 | 1000 20000 100000 | 2147483647 33946 124 | 0.000 % |
8.26/8.36 c | 37452 | 1000 20000 100000 | 2147483647 34068 124 | 0.000 % |
8.36/8.41 c | 37585 | 1000 20000 100000 | 2147483647 34201 124 | 0.000 % |
8.36/8.48 c | 37731 | 1000 20000 100000 | 2147483647 34347 124 | 0.000 % |
8.46/8.53 c | 37892 | 1000 20000 100000 | 2147483647 34508 124 | 0.000 % |
8.46/8.60 c | 38068 | 1000 20000 100000 | 2147483647 34684 124 | 0.000 % |
8.56/8.68 c | 38262 | 1000 20000 100000 | 2147483647 34878 124 | 0.000 % |
8.66/8.77 c | 38474 | 1000 20000 100000 | 2147483647 35090 124 | 0.000 % |
8.76/8.86 c | 38707 | 1000 20000 100000 | 2147483647 35323 124 | 0.000 % |
8.86/8.96 c | 38963 | 1000 20000 100000 | 2147483647 35579 124 | 0.000 % |
8.96/9.06 c | 39245 | 1000 20000 100000 | 2147483647 35861 124 | 0.000 % |
9.06/9.17 c | 39556 | 1000 20000 100000 | 2147483647 36172 124 | 0.000 % |
9.26/9.31 c | 39896 | 1000 20000 100000 | 2147483647 36512 124 | 0.000 % |
9.36/9.45 c | 40268 | 1000 20000 100000 | 2147483647 36884 124 | 0.000 % |
9.56/9.60 c | 40678 | 1000 20000 100000 | 2147483647 37294 124 | 0.000 % |
9.66/9.76 c | 41128 | 1000 20000 100000 | 2147483647 37744 124 | 0.000 % |
9.86/9.96 c | 41621 | 1000 20000 100000 | 2147483647 38237 124 | 0.000 % |
10.06/10.17 c | 42166 | 1000 20000 100000 | 2147483647 38782 124 | 0.000 % |
10.25/10.40 c | 42763 | 1000 20000 100000 | 2147483647 39379 124 | 0.000 % |
10.35/10.44 c | 42863 | 1000 20000 100000 | 2147483647 39479 124 | 0.000 % |
10.35/10.48 c | 42975 | 1000 20000 100000 | 2147483647 39591 124 | 0.000 % |
10.45/10.54 c | 43096 | 1000 20000 100000 | 2147483647 39712 124 | 0.000 % |
10.55/10.60 c | 43230 | 1000 20000 100000 | 2147483647 39846 124 | 0.000 % |
10.55/10.67 c | 43376 | 1000 20000 100000 | 2147483647 39992 124 | 0.000 % |
10.65/10.74 c | 43536 | 1000 20000 100000 | 2147483647 40152 124 | 0.000 % |
10.75/10.82 c | 43715 | 1000 20000 100000 | 2147483647 40331 124 | 0.000 % |
10.86/10.90 c | 43908 | 1000 20000 100000 | 2147483647 40524 124 | 0.000 % |
10.86/11.00 c | 44122 | 1000 20000 100000 | 2147483647 40738 124 | 0.000 % |
10.96/11.08 c | 44355 | 1000 20000 100000 | 2147483647 40971 124 | 0.000 % |
11.06/11.19 c | 44611 | 1000 20000 100000 | 2147483647 41227 124 | 0.000 % |
11.26/11.31 c | 44892 | 1000 20000 100000 | 2147483647 41508 124 | 0.000 % |
11.36/11.43 c | 45203 | 1000 20000 100000 | 2147483647 41819 124 | 0.000 % |
11.46/11.57 c | 45543 | 1000 20000 100000 | 2147483647 42159 124 | 0.000 % |
11.66/11.74 c | 45915 | 1000 20000 100000 | 2147483647 42531 124 | 0.000 % |
11.86/11.90 c | 46326 | 1000 20000 100000 | 2147483647 42942 124 | 0.000 % |
11.96/12.08 c | 46775 | 1000 20000 100000 | 2147483647 43391 124 | 0.000 % |
12.16/12.29 c | 47268 | 1000 20000 100000 | 2147483647 43884 124 | 0.000 % |
12.46/12.50 c | 47810 | 1000 20000 100000 | 2147483647 44426 124 | 0.000 % |
12.65/12.75 c | 48409 | 1000 20000 100000 | 2147483647 45025 125 | 0.000 % |
12.95/13.01 c | 49064 | 1000 20000 100000 | 2147483647 45680 125 | 0.000 % |
12.95/13.07 c | 49164 | 1000 20000 100000 | 2147483647 45780 125 | 0.000 % |
13.06/13.11 c | 49275 | 1000 20000 100000 | 2147483647 45891 125 | 0.000 % |
13.06/13.17 c | 49396 | 1000 20000 100000 | 2147483647 46012 124 | 0.000 % |
13.15/13.23 c | 49529 | 1000 20000 100000 | 2147483647 46145 124 | 0.000 % |
13.25/13.31 c | 49675 | 1000 20000 100000 | 2147483647 46291 124 | 0.000 % |
13.25/13.39 c | 49836 | 1000 20000 100000 | 2147483647 46452 124 | 0.000 % |
13.35/13.47 c | 50012 | 1000 20000 100000 | 2147483647 46628 124 | 0.000 % |
13.45/13.57 c | 50206 | 1000 20000 100000 | 2147483647 46822 124 | 0.000 % |
13.55/13.67 c | 50420 | 1000 20000 100000 | 2147483647 47036 124 | 0.000 % |
13.65/13.79 c | 50653 | 1000 20000 100000 | 2147483647 47269 124 | 0.000 % |
13.85/13.90 c | 50909 | 1000 20000 100000 | 2147483647 47525 124 | 0.000 % |
13.95/14.03 c | 51190 | 1000 20000 100000 | 2147483647 47806 124 | 0.000 % |
14.05/14.18 c | 51499 | 1000 20000 100000 | 2147483647 48115 125 | 0.000 % |
14.25/14.34 c | 51839 | 1000 20000 100000 | 2147483647 48455 125 | 0.000 % |
14.45/14.52 c | 52211 | 1000 20000 100000 | 2147483647 48827 125 | 0.000 % |
14.65/14.70 c | 52620 | 1000 20000 100000 | 2147483647 49236 125 | 0.000 % |
14.76/14.89 c | 53069 | 1000 20000 100000 | 2147483647 49685 125 | 0.000 % |
15.05/15.14 c | 53562 | 1000 20000 100000 | 2147483647 50178 125 | 0.000 % |
15.36/15.42 c | 54105 | 1000 20000 100000 | 2147483647 50721 125 | 0.000 % |
15.55/15.68 c | 54702 | 1000 20000 100000 | 2147483647 51318 125 | 0.000 % |
15.85/15.97 c | 55357 | 1000 20000 100000 | 2147483647 51973 125 | 0.000 % |
16.15/16.29 c | 56078 | 1000 20000 100000 | 2147483647 52694 125 | 0.000 % |
16.25/16.36 c | 56180 | 1000 20000 100000 | 2147483647 52796 125 | 0.000 % |
16.35/16.42 c | 56290 | 1000 20000 100000 | 2147483647 52906 125 | 0.000 % |
16.35/16.49 c | 56413 | 1000 20000 100000 | 2147483647 53029 125 | 0.000 % |
16.45/16.57 c | 56546 | 1000 20000 100000 | 2147483647 53162 125 | 0.000 % |
16.55/16.65 c | 56692 | 1000 20000 100000 | 2147483647 53308 125 | 0.000 % |
16.64/16.74 c | 56854 | 1000 20000 100000 | 2147483647 53470 125 | 0.000 % |
16.74/16.83 c | 57030 | 1000 20000 100000 | 2147483647 53646 125 | 0.000 % |
16.84/16.95 c | 57223 | 1000 20000 100000 | 2147483647 53839 125 | 0.000 % |
16.94/17.07 c | 57436 | 1000 20000 100000 | 2147483647 54052 125 | 0.000 % |
17.04/17.19 c | 57670 | 1000 20000 100000 | 2147483647 54286 125 | 0.000 % |
17.24/17.32 c | 57927 | 1000 20000 100000 | 2147483647 54543 125 | 0.000 % |
17.34/17.46 c | 58212 | 1000 20000 100000 | 2147483647 54828 125 | 0.000 % |
17.55/17.61 c | 58521 | 1000 20000 100000 | 2147483647 55137 125 | 0.000 % |
17.74/17.81 c | 58861 | 1000 20000 100000 | 2147483647 55477 125 | 0.000 % |
17.95/18.02 c | 59233 | 1000 20000 100000 | 2147483647 55849 125 | 0.000 % |
18.15/18.23 c | 59644 | 1000 20000 100000 | 2147483647 56260 125 | 0.000 % |
18.35/18.47 c | 60094 | 1000 20000 100000 | 2147483647 56710 125 | 0.000 % |
18.65/18.75 c | 60588 | 1000 20000 100000 | 2147483647 57204 125 | 0.000 % |
18.95/19.06 c | 61130 | 1000 20000 100000 | 2147483647 57746 125 | 0.000 % |
19.25/19.37 c | 61727 | 1000 20000 100000 | 2147483647 58343 125 | 0.000 % |
19.65/19.72 c | 62383 | 1000 20000 100000 | 2147483647 58999 125 | 0.000 % |
20.05/20.14 c | 63107 | 1000 20000 100000 | 2147483647 59723 126 | 0.000 % |
20.44/20.56 c | 63903 | 1000 20000 100000 | 2147483647 60519 126 | 0.000 % |
20.54/20.62 c | 64003 | 1000 20000 100000 | 2147483647 60619 126 | 0.000 % |
20.64/20.70 c | 64114 | 1000 20000 100000 | 2147483647 60730 126 | 0.000 % |
20.64/20.78 c | 64236 | 1000 20000 100000 | 2147483647 60852 126 | 0.000 % |
20.75/20.86 c | 64371 | 1000 20000 100000 | 2147483647 60987 126 | 0.000 % |
20.85/20.94 c | 64519 | 1000 20000 100000 | 2147483647 61135 126 | 0.000 % |
20.94/21.05 c | 64681 | 1000 20000 100000 | 2147483647 61297 126 | 0.000 % |
21.04/21.17 c | 64858 | 1000 20000 100000 | 2147483647 61474 126 | 0.000 % |
21.24/21.31 c | 65053 | 1000 20000 100000 | 2147483647 61669 126 | 0.000 % |
21.34/21.44 c | 65265 | 1000 20000 100000 | 2147483647 61881 126 | 0.000 % |
21.44/21.58 c | 65498 | 1000 20000 100000 | 2147483647 62114 126 | 0.000 % |
21.64/21.74 c | 65755 | 1000 20000 100000 | 2147483647 62371 126 | 0.000 % |
21.85/21.92 c | 66036 | 1000 20000 100000 | 2147483647 62652 126 | 0.000 % |
22.05/22.12 c | 66345 | 1000 20000 100000 | 2147483647 62961 126 | 0.000 % |
22.25/22.35 c | 66684 | 1000 20000 100000 | 2147483647 63300 126 | 0.000 % |
22.45/22.55 c | 67059 | 1000 20000 100000 | 2147483647 63675 126 | 0.000 % |
22.75/22.80 c | 67468 | 1000 20000 100000 | 2147483647 64084 126 | 0.000 % |
22.95/23.05 c | 67919 | 1000 20000 100000 | 2147483647 64535 126 | 0.000 % |
23.24/23.34 c | 68413 | 1000 20000 100000 | 2147483647 65029 126 | 0.000 % |
23.54/23.66 c | 68955 | 1000 20000 100000 | 2147483647 65571 126 | 0.000 % |
23.94/24.01 c | 69551 | 1000 20000 100000 | 2147483647 66167 126 | 0.000 % |
24.34/24.43 c | 70208 | 1000 20000 100000 | 2147483647 66824 126 | 0.000 % |
24.74/24.83 c | 70928 | 1000 20000 100000 | 2147483647 67544 126 | 0.000 % |
25.14/25.29 c | 71720 | 1000 20000 100000 | 2147483647 68336 126 | 0.000 % |
25.74/25.80 c | 72591 | 1000 20000 100000 | 2147483647 69207 126 | 0.000 % |
25.74/25.89 c | 72691 | 1000 20000 100000 | 2147483647 69307 126 | 0.000 % |
25.84/25.97 c | 72801 | 1000 20000 100000 | 2147483647 69417 126 | 0.000 % |
25.94/26.05 c | 72923 | 1000 20000 100000 | 2147483647 69539 126 | 0.000 % |
26.04/26.14 c | 73056 | 1000 20000 100000 | 2147483647 69672 126 | 0.000 % |
26.14/26.26 c | 73204 | 1000 20000 100000 | 2147483647 69820 126 | 0.000 % |
26.24/26.35 c | 73365 | 1000 20000 100000 | 2147483647 69981 126 | 0.000 % |
26.34/26.48 c | 73543 | 1000 20000 100000 | 2147483647 70159 126 | 0.000 % |
26.54/26.62 c | 73736 | 1000 20000 100000 | 2147483647 70352 126 | 0.000 % |
26.64/26.76 c | 73948 | 1000 20000 100000 | 2147483647 70564 126 | 0.000 % |
26.84/26.92 c | 74181 | 1000 20000 100000 | 2147483647 70797 126 | 0.000 % |
26.94/27.09 c | 74437 | 1000 20000 100000 | 2147483647 71053 126 | 0.000 % |
27.14/27.27 c | 74718 | 1000 20000 100000 | 2147483647 71334 126 | 0.000 % |
27.34/27.46 c | 75028 | 1000 20000 100000 | 2147483647 71644 126 | 0.000 % |
27.64/27.72 c | 75367 | 1000 20000 100000 | 2147483647 71983 126 | 0.000 % |
27.83/27.98 c | 75740 | 1000 20000 100000 | 2147483647 72356 126 | 0.000 % |
28.13/28.25 c | 76149 | 1000 20000 100000 | 2147483647 72765 126 | 0.000 % |
28.45/28.55 c | 76599 | 1000 20000 100000 | 2147483647 73215 126 | 0.000 % |
28.74/28.89 c | 77092 | 1000 20000 100000 | 2147483647 73708 126 | 0.000 % |
29.14/29.28 c | 77634 | 1000 20000 100000 | 2147483647 74250 126 | 0.000 % |
29.55/29.66 c | 78234 | 1000 20000 100000 | 2147483647 74850 126 | 0.000 % |
30.04/30.12 c | 78889 | 1000 20000 100000 | 2147483647 75505 126 | 0.000 % |
30.44/30.55 c | 79610 | 1000 20000 100000 | 2147483647 76226 126 | 0.000 % |
30.94/31.08 c | 80404 | 1000 20000 100000 | 2147483647 77020 127 | 0.000 % |
31.54/31.66 c | 81275 | 1000 20000 100000 | 2147483647 77891 127 | 0.000 % |
32.24/32.34 c | 82234 | 1000 20000 100000 | 2147483647 78850 127 | 0.000 % |
32.34/32.41 c | 82334 | 1000 20000 100000 | 2147483647 78950 127 | 0.000 % |
32.43/32.50 c | 82445 | 1000 20000 100000 | 2147483647 79061 127 | 0.000 % |
32.53/32.60 c | 82566 | 1000 20000 100000 | 2147483647 79182 127 | 0.000 % |
32.63/32.73 c | 82701 | 1000 20000 100000 | 2147483647 79317 127 | 0.000 % |
32.73/32.84 c | 82848 | 1000 20000 100000 | 2147483647 79464 127 | 0.000 % |
32.84/32.97 c | 83008 | 1000 20000 100000 | 2147483647 79624 127 | 0.000 % |
33.03/33.13 c | 83186 | 1000 20000 100000 | 2147483647 79802 127 | 0.000 % |
33.23/33.30 c | 83380 | 1000 20000 100000 | 2147483647 79996 127 | 0.000 % |
33.33/33.46 c | 83593 | 1000 20000 100000 | 2147483647 80209 127 | 0.000 % |
33.53/33.65 c | 83826 | 1000 20000 100000 | 2147483647 80442 127 | 0.000 % |
33.73/33.86 c | 84082 | 1000 20000 100000 | 2147483647 80698 127 | 0.000 % |
33.94/34.09 c | 84365 | 1000 20000 100000 | 2147483647 80981 127 | 0.000 % |
34.24/34.32 c | 84674 | 1000 20000 100000 | 2147483647 81290 127 | 0.000 % |
34.44/34.57 c | 85013 | 1000 20000 100000 | 2147483647 81629 127 | 0.000 % |
34.74/34.84 c | 85386 | 1000 20000 100000 | 2147483647 82002 127 | 0.000 % |
35.04/35.14 c | 85797 | 1000 20000 100000 | 2147483647 82413 127 | 0.000 % |
35.44/35.51 c | 86247 | 1000 20000 100000 | 2147483647 82863 127 | 0.000 % |
35.74/35.89 c | 86740 | 1000 20000 100000 | 2147483647 83356 127 | 0.000 % |
36.14/36.28 c | 87282 | 1000 20000 100000 | 2147483647 83898 127 | 0.000 % |
36.64/36.73 c | 87881 | 1000 20000 100000 | 2147483647 84497 127 | 0.000 % |
37.13/37.22 c | 88536 | 1000 20000 100000 | 2147483647 85152 127 | 0.000 % |
37.73/37.82 c | 89257 | 1000 20000 100000 | 2147483647 85873 127 | 0.000 % |
38.23/38.39 c | 90049 | 1000 20000 100000 | 2147483647 86665 127 | 0.000 % |
38.93/39.09 c | 90920 | 1000 20000 100000 | 2147483647 87536 127 | 0.000 % |
39.74/39.85 c | 91878 | 1000 20000 100000 | 2147483647 88494 127 | 0.000 % |
40.54/40.65 c | 92931 | 1000 20000 100000 | 2147483647 89547 127 | 0.000 % |
40.64/40.74 c | 93031 | 1000 20000 100000 | 2147483647 89647 127 | 0.000 % |
40.73/40.87 c | 93141 | 1000 20000 100000 | 2147483647 89757 127 | 0.000 % |
40.83/40.99 c | 93262 | 1000 20000 100000 | 2147483647 89878 127 | 0.000 % |
40.93/41.09 c | 93395 | 1000 20000 100000 | 2147483647 90011 127 | 0.000 % |
41.13/41.23 c | 93542 | 1000 20000 100000 | 2147483647 90158 127 | 0.000 % |
41.23/41.39 c | 93703 | 1000 20000 100000 | 2147483647 90319 127 | 0.000 % |
41.43/41.53 c | 93879 | 1000 20000 100000 | 2147483647 90495 127 | 0.000 % |
41.63/41.71 c | 94072 | 1000 20000 100000 | 2147483647 90688 127 | 0.000 % |
41.83/41.92 c | 94284 | 1000 20000 100000 | 2147483647 90900 127 | 0.000 % |
42.03/42.13 c | 94518 | 1000 20000 100000 | 2147483647 91134 127 | 0.000 % |
42.23/42.38 c | 94774 | 1000 20000 100000 | 2147483647 91390 127 | 0.000 % |
42.53/42.63 c | 95055 | 1000 20000 100000 | 2147483647 91671 127 | 0.000 % |
42.83/42.93 c | 95365 | 1000 20000 100000 | 2147483647 91981 127 | 0.000 % |
43.13/43.22 c | 95704 | 1000 20000 100000 | 2147483647 92320 127 | 0.000 % |
43.42/43.54 c | 96077 | 1000 20000 100000 | 2147483647 92693 127 | 0.000 % |
43.72/43.88 c | 96488 | 1000 20000 100000 | 2147483647 93104 127 | 0.000 % |
44.12/44.28 c | 96938 | 1000 20000 100000 | 2147483647 93554 127 | 0.000 % |
44.52/44.66 c | 97431 | 1000 20000 100000 | 2147483647 94047 127 | 0.000 % |
44.93/45.10 c | 97973 | 1000 20000 100000 | 2147483647 94589 127 | 0.000 % |
45.53/45.61 c | 98570 | 1000 20000 100000 | 2147483647 95186 127 | 0.000 % |
46.03/46.19 c | 99225 | 1000 20000 100000 | 2147483647 95841 127 | 0.000 % |
46.73/46.83 c | 99948 | 1000 20000 100000 | 2147483647 96564 127 | 0.000 % |
47.43/47.50 c | 100740 | 1000 20000 100000 | 96617 83850 127 | 0.000 % |
48.03/48.11 c | 101611 | 1000 20000 100000 | 96617 84721 127 | 0.000 % |
48.63/48.78 c | 102570 | 1000 20000 100000 | 96617 85680 127 | 0.000 % |
49.53/49.62 c | 103625 | 1000 20000 100000 | 96617 86735 127 | 0.000 % |
50.33/50.46 c | 104783 | 1000 20000 100000 | 96617 87893 127 | 0.000 % |
50.43/50.55 c | 104883 | 1000 20000 100000 | 96617 87993 127 | 0.000 % |
50.53/50.64 c | 104993 | 1000 20000 100000 | 96617 88103 127 | 0.000 % |
50.63/50.76 c | 105114 | 1000 20000 100000 | 96617 88224 127 | 0.000 % |
50.73/50.86 c | 105248 | 1000 20000 100000 | 96617 88358 127 | 0.000 % |
50.83/50.98 c | 105397 | 1000 20000 100000 | 96617 88507 127 | 0.000 % |
51.03/51.12 c | 105558 | 1000 20000 100000 | 96617 88668 127 | 0.000 % |
51.13/51.29 c | 105734 | 1000 20000 100000 | 96617 88844 127 | 0.000 % |
51.33/51.46 c | 105928 | 1000 20000 100000 | 96617 89038 127 | 0.000 % |
51.53/51.63 c | 106141 | 1000 20000 100000 | 96617 89251 127 | 0.000 % |
51.73/51.85 c | 106374 | 1000 20000 100000 | 96617 89484 127 | 0.000 % |
51.93/52.06 c | 106630 | 1000 20000 100000 | 96617 89740 127 | 0.000 % |
52.13/52.29 c | 106911 | 1000 20000 100000 | 96617 90021 127 | 0.000 % |
52.43/52.53 c | 107220 | 1000 20000 100000 | 96617 90330 127 | 0.000 % |
52.73/52.81 c | 107560 | 1000 20000 100000 | 96617 90670 127 | 0.000 % |
53.03/53.15 c | 107934 | 1000 20000 100000 | 96617 91044 127 | 0.000 % |
53.33/53.46 c | 108343 | 1000 20000 100000 | 96617 91453 127 | 0.000 % |
53.73/53.82 c | 108794 | 1000 20000 100000 | 96617 91904 127 | 0.000 % |
54.12/54.25 c | 109287 | 1000 20000 100000 | 96617 92397 127 | 0.000 % |
54.62/54.71 c | 109832 | 1000 20000 100000 | 96617 92942 127 | 0.000 % |
55.12/55.26 c | 110430 | 1000 20000 100000 | 93112 81463 128 | 0.000 % |
55.62/55.74 c | 111085 | 1000 20000 100000 | 93112 82118 128 | 0.000 % |
56.22/56.32 c | 111805 | 1000 20000 100000 | 93112 82838 128 | 0.000 % |
56.82/56.93 c | 112598 | 1000 20000 100000 | 93112 83631 128 | 0.000 % |
57.52/57.63 c | 113469 | 1000 20000 100000 | 93112 84502 128 | 0.000 % |
58.23/58.35 c | 114427 | 1000 20000 100000 | 93112 85460 128 | 0.000 % |
59.02/59.11 c | 115483 | 1000 20000 100000 | 93112 86516 128 | 0.000 % |
59.82/59.99 c | 116641 | 1000 20000 100000 | 93112 87674 128 | 0.000 % |
60.72/60.89 c | 117916 | 1000 20000 100000 | 93112 88949 128 | 0.000 % |
60.82/60.97 c | 118016 | 1000 20000 100000 | 93112 89049 128 | 0.000 % |
61.02/61.10 c | 118126 | 1000 20000 100000 | 93112 89159 128 | 0.000 % |
61.12/61.21 c | 118249 | 1000 20000 100000 | 93112 89282 128 | 0.000 % |
61.22/61.35 c | 118382 | 1000 20000 100000 | 93112 89415 128 | 0.000 % |
61.32/61.47 c | 118529 | 1000 20000 100000 | 93112 89562 128 | 0.000 % |
61.52/61.63 c | 118689 | 1000 20000 100000 | 93112 89722 128 | 0.000 % |
61.62/61.79 c | 118865 | 1000 20000 100000 | 93112 89898 128 | 0.000 % |
61.82/61.95 c | 119058 | 1000 20000 100000 | 93112 90091 128 | 0.000 % |
62.02/62.15 c | 119270 | 1000 20000 100000 | 93112 90303 128 | 0.000 % |
62.22/62.35 c | 119504 | 1000 20000 100000 | 93112 90537 128 | 0.000 % |
62.42/62.58 c | 119760 | 1000 20000 100000 | 93112 90793 128 | 0.000 % |
62.72/62.83 c | 120044 | 1000 20000 100000 | 91033 91077 128 | 0.000 % |
63.02/63.16 c | 120353 | 1000 20000 100000 | 91033 80139 128 | 0.000 % |
63.32/63.40 c | 120692 | 1000 20000 100000 | 91033 80478 128 | 0.000 % |
63.52/63.68 c | 121064 | 1000 20000 100000 | 91033 80850 128 | 0.000 % |
63.92/64.03 c | 121475 | 1000 20000 100000 | 91033 81261 128 | 0.000 % |
64.22/64.37 c | 121924 | 1000 20000 100000 | 91033 81710 128 | 0.000 % |
64.62/64.73 c | 122417 | 1000 20000 100000 | 91033 82203 128 | 0.000 % |
65.02/65.12 c | 122960 | 1000 20000 100000 | 91033 82746 128 | 0.000 % |
65.42/65.56 c | 123556 | 1000 20000 100000 | 91033 83342 128 | 0.000 % |
66.02/66.12 c | 124212 | 1000 20000 100000 | 91033 83998 128 | 0.000 % |
66.52/66.64 c | 124933 | 1000 20000 100000 | 91033 84719 129 | 0.000 % |
67.02/67.18 c | 125725 | 1000 20000 100000 | 91033 85511 128 | 0.000 % |
67.72/67.83 c | 126596 | 1000 20000 100000 | 91033 86382 129 | 0.000 % |
68.52/68.61 c | 127554 | 1000 20000 100000 | 91033 87340 129 | 0.000 % |
69.31/69.45 c | 128607 | 1000 20000 100000 | 91033 88393 129 | 0.000 % |
70.22/70.34 c | 129767 | 1000 20000 100000 | 91033 89553 129 | 0.000 % |
71.21/71.32 c | 131041 | 1000 20000 100000 | 89787 80290 129 | 0.000 % |
72.21/72.34 c | 132442 | 1000 20000 100000 | 89787 81691 129 | 0.000 % |
72.31/72.42 c | 132543 | 1000 20000 100000 | 89787 81792 129 | 0.000 % |
72.42/72.52 c | 132653 | 1000 20000 100000 | 89787 81902 129 | 0.000 % |
72.52/72.62 c | 132774 | 1000 20000 100000 | 89787 82023 129 | 0.000 % |
72.61/72.72 c | 132909 | 1000 20000 100000 | 89787 82158 129 | 0.000 % |
72.71/72.83 c | 133056 | 1000 20000 100000 | 89787 82305 129 | 0.000 % |
72.81/72.98 c | 133218 | 1000 20000 100000 | 89787 82467 129 | 0.000 % |
73.01/73.11 c | 133394 | 1000 20000 100000 | 89787 82643 129 | 0.000 % |
73.11/73.27 c | 133588 | 1000 20000 100000 | 89787 82837 129 | 0.000 % |
73.31/73.45 c | 133800 | 1000 20000 100000 | 89787 83049 129 | 0.000 % |
73.52/73.64 c | 134033 | 1000 20000 100000 | 89787 83282 129 | 0.000 % |
73.81/73.90 c | 134289 | 1000 20000 100000 | 89787 83538 129 | 0.000 % |
74.01/74.13 c | 134571 | 1000 20000 100000 | 89787 83820 129 | 0.000 % |
74.31/74.40 c | 134882 | 1000 20000 100000 | 89787 84131 129 | 0.000 % |
74.51/74.66 c | 135223 | 1000 20000 100000 | 89787 84472 129 | 0.000 % |
74.81/74.93 c | 135595 | 1000 20000 100000 | 89787 84844 129 | 0.000 % |
75.11/75.26 c | 136005 | 1000 20000 100000 | 89787 85254 129 | 0.000 % |
75.51/75.66 c | 136457 | 1000 20000 100000 | 89787 85706 129 | 0.000 % |
75.91/76.06 c | 136951 | 1000 20000 100000 | 89787 86200 129 | 0.000 % |
76.31/76.48 c | 137493 | 1000 20000 100000 | 89787 86742 129 | 0.000 % |
76.71/76.90 c | 138091 | 1000 20000 100000 | 89787 87340 129 | 0.000 % |
77.31/77.45 c | 138746 | 1000 20000 100000 | 89787 87995 129 | 0.000 % |
77.92/78.03 c | 139466 | 1000 20000 100000 | 89787 88715 129 | 0.000 % |
78.51/78.65 c | 140259 | 1000 20000 100000 | 89250 89508 129 | 0.000 % |
79.21/79.34 c | 141131 | 1000 20000 100000 | 89250 79701 129 | 0.000 % |
79.91/80.01 c | 142091 | 1000 20000 100000 | 89250 80661 129 | 0.000 % |
80.71/80.82 c | 143145 | 1000 20000 100000 | 89250 81715 129 | 0.000 % |
81.51/81.66 c | 144303 | 1000 20000 100000 | 89250 82873 130 | 0.000 % |
82.41/82.56 c | 145579 | 1000 20000 100000 | 89250 84149 130 | 0.000 % |
83.51/83.66 c | 146980 | 1000 20000 100000 | 89250 85550 130 | 0.000 % |
84.71/84.87 c | 148520 | 1000 20000 100000 | 89250 87090 130 | 0.000 % |
84.81/84.98 c | 148622 | 1000 20000 100000 | 89250 87192 130 | 0.000 % |
84.91/85.06 c | 148734 | 1000 20000 100000 | 89250 87304 130 | 0.000 % |
85.01/85.17 c | 148857 | 1000 20000 100000 | 89250 87427 130 | 0.000 % |
85.11/85.28 c | 148992 | 1000 20000 100000 | 89250 87562 130 | 0.000 % |
85.31/85.42 c | 149139 | 1000 20000 100000 | 89250 87709 130 | 0.000 % |
85.41/85.55 c | 149299 | 1000 20000 100000 | 89250 87869 130 | 0.000 % |
85.51/85.70 c | 149475 | 1000 20000 100000 | 89250 88045 130 | 0.000 % |
85.71/85.87 c | 149670 | 1000 20000 100000 | 89250 88240 130 | 0.000 % |
85.92/86.05 c | 149883 | 1000 20000 100000 | 89250 88453 130 | 0.000 % |
86.12/86.21 c | 150117 | 1000 20000 100000 | 88571 88687 130 | 0.000 % |
86.32/86.44 c | 150374 | 1000 20000 100000 | 88571 79255 129 | 0.000 % |
86.52/86.64 c | 150657 | 1000 20000 100000 | 88571 79538 129 | 0.000 % |
86.72/86.88 c | 150971 | 1000 20000 100000 | 88571 79852 129 | 0.000 % |
87.02/87.13 c | 151310 | 1000 20000 100000 | 88571 80191 129 | 0.000 % |
87.32/87.41 c | 151685 | 1000 20000 100000 | 88571 80566 129 | 0.000 % |
87.52/87.67 c | 152094 | 1000 20000 100000 | 88571 80975 129 | 0.000 % |
87.92/88.03 c | 152543 | 1000 20000 100000 | 88571 81424 129 | 0.000 % |
88.31/88.42 c | 153038 | 1000 20000 100000 | 88571 81919 129 | 0.000 % |
88.71/88.85 c | 153582 | 1000 20000 100000 | 88571 82463 129 | 0.000 % |
89.21/89.33 c | 154179 | 1000 20000 100000 | 88571 83060 129 | 0.000 % |
89.71/89.83 c | 154835 | 1000 20000 100000 | 88571 83716 129 | 0.000 % |
90.21/90.38 c | 155557 | 1000 20000 100000 | 88571 84438 129 | 0.000 % |
90.81/90.97 c | 156353 | 1000 20000 100000 | 88571 85234 129 | 0.000 % |
91.51/91.64 c | 157224 | 1000 20000 100000 | 88571 86105 129 | 0.000 % |
92.22/92.32 c | 158183 | 1000 20000 100000 | 88571 87064 129 | 0.000 % |
92.91/93.07 c | 159236 | 1000 20000 100000 | 88571 88117 129 | 0.000 % |
93.91/94.01 c | 160395 | 1000 20000 100000 | 88881 78907 129 | 0.000 % |
94.71/94.87 c | 161669 | 1000 20000 100000 | 88881 80181 129 | 0.000 % |
95.71/95.81 c | 163071 | 1000 20000 100000 | 88881 81583 129 | 0.000 % |
96.81/96.99 c | 164613 | 1000 20000 100000 | 88881 83125 129 | 0.000 % |
98.01/98.18 c | 166312 | 1000 20000 100000 | 88881 84824 129 | 0.000 % |
98.11/98.25 c | 166413 | 1000 20000 100000 | 88881 84925 129 | 0.000 % |
98.21/98.34 c | 166524 | 1000 20000 100000 | 88881 85036 129 | 0.000 % |
98.31/98.45 c | 166645 | 1000 20000 100000 | 88881 85157 129 | 0.000 % |
98.41/98.58 c | 166778 | 1000 20000 100000 | 88881 85290 129 | 0.000 % |
98.61/98.70 c | 166924 | 1000 20000 100000 | 88881 85436 129 | 0.000 % |
98.71/98.84 c | 167084 | 1000 20000 100000 | 88881 85596 129 | 0.000 % |
98.91/99.02 c | 167260 | 1000 20000 100000 | 88881 85772 129 | 0.000 % |
99.01/99.17 c | 167453 | 1000 20000 100000 | 88881 85965 129 | 0.000 % |
99.21/99.35 c | 167665 | 1000 20000 100000 | 88881 86177 129 | 0.000 % |
99.41/99.54 c | 167898 | 1000 20000 100000 | 88881 86410 129 | 0.000 % |
99.61/99.75 c | 168154 | 1000 20000 100000 | 88881 86666 129 | 0.000 % |
99.81/99.96 c | 168436 | 1000 20000 100000 | 88881 86948 129 | 0.000 % |
100.11/100.20 c | 168745 | 1000 20000 100000 | 88881 87257 129 | 0.000 % |
100.31/100.47 c | 169086 | 1000 20000 100000 | 88881 87598 129 | 0.000 % |
100.61/100.79 c | 169458 | 1000 20000 100000 | 88881 87970 129 | 0.000 % |
101.01/101.12 c | 169872 | 1000 20000 100000 | 88881 88384 129 | 0.000 % |
101.31/101.48 c | 170323 | 1000 20000 100000 | 88512 88835 129 | 0.000 % |
101.71/101.90 c | 170816 | 1000 20000 100000 | 88512 79377 129 | 0.000 % |
102.11/102.29 c | 171358 | 1000 20000 100000 | 88512 79919 129 | 0.000 % |
102.61/102.71 c | 171957 | 1000 20000 100000 | 88512 80518 129 | 0.000 % |
103.01/103.18 c | 172612 | 1000 20000 100000 | 88512 81173 129 | 0.000 % |
103.61/103.70 c | 173332 | 1000 20000 100000 | 88512 81893 129 | 0.000 % |
104.21/104.31 c | 174125 | 1000 20000 100000 | 88512 82686 129 | 0.000 % |
104.81/104.93 c | 174997 | 1000 20000 100000 | 88512 83558 129 | 0.000 % |
105.51/105.63 c | 175955 | 1000 20000 100000 | 88512 84516 129 | 0.000 % |
106.31/106.43 c | 177008 | 1000 20000 100000 | 88512 85569 129 | 0.000 % |
107.21/107.39 c | 178168 | 1000 20000 100000 | 88512 86729 129 | 0.000 % |
108.21/108.36 c | 179441 | 1000 20000 100000 | 88512 88002 129 | 0.000 % |
109.31/109.45 c | 180841 | 1000 20000 100000 | 88561 79803 130 | 0.000 % |
110.41/110.54 c | 182382 | 1000 20000 100000 | 88561 81344 130 | 0.000 % |
111.60/111.74 c | 184076 | 1000 20000 100000 | 88561 83038 130 | 0.000 % |
113.00/113.18 c | 185942 | 1000 20000 100000 | 88561 84904 130 | 0.000 % |
113.11/113.27 c | 186042 | 1000 20000 100000 | 88561 85004 130 | 0.000 % |
113.21/113.39 c | 186153 | 1000 20000 100000 | 88561 85115 130 | 0.000 % |
113.30/113.47 c | 186274 | 1000 20000 100000 | 88561 85236 130 | 0.000 % |
113.40/113.60 c | 186407 | 1000 20000 100000 | 88561 85369 130 | 0.000 % |
113.60/113.71 c | 186553 | 1000 20000 100000 | 88561 85515 130 | 0.000 % |
113.70/113.87 c | 186714 | 1000 20000 100000 | 88561 85676 130 | 0.000 % |
113.90/114.02 c | 186890 | 1000 20000 100000 | 88561 85852 130 | 0.000 % |
114.00/114.18 c | 187085 | 1000 20000 100000 | 88561 86047 130 | 0.000 % |
114.21/114.39 c | 187298 | 1000 20000 100000 | 88561 86260 130 | 0.000 % |
114.40/114.57 c | 187532 | 1000 20000 100000 | 88561 86494 130 | 0.000 % |
114.70/114.82 c | 187790 | 1000 20000 100000 | 88561 86752 130 | 0.000 % |
114.90/115.06 c | 188071 | 1000 20000 100000 | 88561 87033 130 | 0.000 % |
115.20/115.34 c | 188381 | 1000 20000 100000 | 88561 87343 130 | 0.000 % |
115.50/115.62 c | 188721 | 1000 20000 100000 | 88561 87683 130 | 0.000 % |
115.80/115.90 c | 189093 | 1000 20000 100000 | 88561 88055 130 | 0.000 % |
116.10/116.27 c | 189502 | 1000 20000 100000 | 88561 88464 130 | 0.000 % |
116.60/116.70 c | 189952 | 1000 20000 100000 | 88561 88914 130 | 0.000 % |
117.00/117.15 c | 190445 | 1000 20000 100000 | 78641 70101 130 | 0.000 % |
117.40/117.50 c | 190988 | 1000 20000 100000 | 78641 70644 130 | 0.000 % |
117.70/117.88 c | 191586 | 1000 20000 100000 | 78641 71242 130 | 0.000 % |
118.20/118.33 c | 192241 | 1000 20000 100000 | 78641 71897 130 | 0.000 % |
118.70/118.82 c | 192966 | 1000 20000 100000 | 78641 72622 130 | 0.000 % |
119.20/119.36 c | 193758 | 1000 20000 100000 | 78641 73414 130 | 0.000 % |
119.80/119.97 c | 194631 | 1000 20000 100000 | 78641 74287 130 | 0.000 % |
120.50/120.63 c | 195590 | 1000 20000 100000 | 78641 75246 130 | 0.000 % |
121.30/121.44 c | 196644 | 1000 20000 100000 | 78641 76300 130 | 0.000 % |
122.10/122.23 c | 197802 | 1000 20000 100000 | 78641 77458 130 | 0.000 % |
123.00/123.11 c | 199075 | 1000 20000 100000 | 78641 78731 130 | 0.000 % |
123.90/124.09 c | 200476 | 1000 20000 100000 | 2147483647 72259 130 | 0.000 % |
124.90/125.07 c | 202017 | 1000 20000 100000 | 2147483647 73800 130 | 0.000 % |
126.09/126.26 c | 203713 | 1000 20000 100000 | 2147483647 75496 130 | 0.000 % |
127.40/127.51 c | 205578 | 1000 20000 100000 | 2147483647 77361 130 | 0.000 % |
128.79/128.94 c | 207628 | 1000 20000 100000 | 2147483647 79411 130 | 0.000 % |
128.89/129.01 c | 207728 | 1000 20000 100000 | 2147483647 79511 130 | 0.000 % |
128.89/129.09 c | 207841 | 1000 20000 100000 | 2147483647 79624 130 | 0.000 % |
128.99/129.18 c | 207962 | 1000 20000 100000 | 2147483647 79745 130 | 0.000 % |
129.09/129.30 c | 208097 | 1000 20000 100000 | 2147483647 79880 130 | 0.000 % |
129.29/129.43 c | 208244 | 1000 20000 100000 | 2147483647 80027 130 | 0.000 % |
129.39/129.56 c | 208405 | 1000 20000 100000 | 2147483647 80188 130 | 0.000 % |
129.49/129.68 c | 208581 | 1000 20000 100000 | 2147483647 80364 130 | 0.000 % |
129.70/129.84 c | 208775 | 1000 20000 100000 | 2147483647 80558 130 | 0.000 % |
129.89/130.00 c | 208990 | 1000 20000 100000 | 2147483647 80773 130 | 0.000 % |
129.99/130.19 c | 209223 | 1000 20000 100000 | 2147483647 81006 130 | 0.000 % |
130.19/130.38 c | 209480 | 1000 20000 100000 | 2147483647 81263 130 | 0.000 % |
130.39/130.57 c | 209761 | 1000 20000 100000 | 2147483647 81544 130 | 0.000 % |
130.59/130.78 c | 210070 | 1000 20000 100000 | 2147483647 81853 130 | 0.000 % |
130.89/131.06 c | 210410 | 1000 20000 100000 | 2147483647 82193 130 | 0.000 % |
131.19/131.36 c | 210782 | 1000 20000 100000 | 2147483647 82565 130 | 0.000 % |
131.49/131.66 c | 211194 | 1000 20000 100000 | 2147483647 82977 130 | 0.000 % |
131.79/131.99 c | 211643 | 1000 20000 100000 | 2147483647 83426 130 | 0.000 % |
132.19/132.35 c | 212137 | 1000 20000 100000 | 2147483647 83920 130 | 0.000 % |
132.59/132.75 c | 212679 | 1000 20000 100000 | 2147483647 84462 130 | 0.000 % |
132.99/133.18 c | 213277 | 1000 20000 100000 | 2147483647 85060 130 | 0.000 % |
133.49/133.66 c | 213932 | 1000 20000 100000 | 2147483647 85715 130 | 0.000 % |
134.09/134.23 c | 214655 | 1000 20000 100000 | 2147483647 86438 130 | 0.000 % |
134.69/134.83 c | 215447 | 1000 20000 100000 | 2147483647 87230 130 | 0.000 % |
135.29/135.49 c | 216318 | 1000 20000 100000 | 2147483647 88101 130 | 0.000 % |
136.09/136.22 c | 217276 | 1000 20000 100000 | 2147483647 89059 130 | 0.000 % |
136.89/137.03 c | 218330 | 1000 20000 100000 | 2147483647 90113 130 | 0.000 % |
137.79/137.98 c | 219488 | 1000 20000 100000 | 2147483647 91271 131 | 0.000 % |
138.79/138.99 c | 220762 | 1000 20000 100000 | 91784 82723 130 | 0.000 % |
139.89/140.02 c | 222163 | 1000 20000 100000 | 91784 84124 130 | 0.000 % |
140.99/141.14 c | 223704 | 1000 20000 100000 | 91784 85665 131 | 0.000 % |
142.29/142.44 c | 225399 | 1000 20000 100000 | 91784 87360 131 | 0.000 % |
143.69/143.89 c | 227262 | 1000 20000 100000 | 91784 89223 131 | 0.000 % |
145.28/145.48 c | 229312 | 1000 20000 100000 | 91784 91273 131 | 0.000 % |
147.09/147.23 c | 231565 | 1000 20000 100000 | 91961 84223 130 | 0.000 % |
147.19/147.33 c | 231666 | 1000 20000 100000 | 91961 84324 130 | 0.000 % |
147.29/147.42 c | 231776 | 1000 20000 100000 | 91961 84434 130 | 0.000 % |
147.38/147.50 c | 231901 | 1000 20000 100000 | 91961 84559 130 | 0.000 % |
147.48/147.62 c | 232034 | 1000 20000 100000 | 91961 84692 130 | 0.000 % |
147.58/147.77 c | 232183 | 1000 20000 100000 | 91961 84841 130 | 0.000 % |
147.68/147.90 c | 232344 | 1000 20000 100000 | 91961 85002 130 | 0.000 % |
147.88/148.04 c | 232520 | 1000 20000 100000 | 91961 85178 130 | 0.000 % |
148.08/148.22 c | 232713 | 1000 20000 100000 | 91961 85371 130 | 0.000 % |
148.29/148.42 c | 232927 | 1000 20000 100000 | 91961 85585 130 | 0.000 % |
148.48/148.61 c | 233160 | 1000 20000 100000 | 91961 85818 130 | 0.000 % |
148.68/148.81 c | 233417 | 1000 20000 100000 | 91961 86075 130 | 0.000 % |
148.88/149.03 c | 233699 | 1000 20000 100000 | 91961 86357 130 | 0.000 % |
149.08/149.27 c | 234008 | 1000 20000 100000 | 91961 86666 130 | 0.000 % |
149.39/149.55 c | 234347 | 1000 20000 100000 | 91961 87005 130 | 0.000 % |
149.68/149.86 c | 234720 | 1000 20000 100000 | 91961 87378 130 | 0.000 % |
149.98/150.17 c | 235130 | 1000 20000 100000 | 91961 87788 130 | 0.000 % |
150.28/150.48 c | 235579 | 1000 20000 100000 | 91961 88237 130 | 0.000 % |
150.68/150.88 c | 236072 | 1000 20000 100000 | 91961 88730 130 | 0.000 % |
151.18/151.31 c | 236614 | 1000 20000 100000 | 91961 89272 130 | 0.000 % |
151.59/151.75 c | 237211 | 1000 20000 100000 | 91961 89869 130 | 0.000 % |
152.08/152.23 c | 237867 | 1000 20000 100000 | 91961 90525 130 | 0.000 % |
152.69/152.81 c | 238587 | 1000 20000 100000 | 91961 91245 130 | 0.000 % |
153.28/153.48 c | 239382 | 1000 20000 100000 | 91961 92040 130 | 0.000 % |
153.98/154.19 c | 240253 | 1000 20000 100000 | 81460 81713 130 | 0.000 % |
154.68/154.88 c | 241213 | 1000 20000 100000 | 81460 72863 130 | 0.000 % |
155.48/155.62 c | 242266 | 1000 20000 100000 | 81460 73916 130 | 0.000 % |
156.28/156.40 c | 243425 | 1000 20000 100000 | 81460 75075 130 | 0.000 % |
157.08/157.21 c | 244698 | 1000 20000 100000 | 81460 76348 130 | 0.000 % |
157.98/158.14 c | 246098 | 1000 20000 100000 | 81460 77748 130 | 0.000 % |
159.08/159.26 c | 247639 | 1000 20000 100000 | 81460 79289 130 | 0.000 % |
160.28/160.40 c | 249333 | 1000 20000 100000 | 81460 80983 130 | 0.000 % |
161.48/161.68 c | 251196 | 1000 20000 100000 | 2147483647 82846 131 | 0.000 % |
162.98/163.17 c | 253246 | 1000 20000 100000 | 2147483647 84896 131 | 0.000 % |
164.58/164.74 c | 255501 | 1000 20000 100000 | 2147483647 87151 131 | 0.000 % |
166.48/166.62 c | 257980 | 1000 20000 100000 | 2147483647 89630 131 | 0.000 % |
166.58/166.72 c | 258080 | 1000 20000 100000 | 2147483647 89730 131 | 0.000 % |
166.68/166.82 c | 258191 | 1000 20000 100000 | 2147483647 89841 131 | 0.000 % |
166.78/166.92 c | 258312 | 1000 20000 100000 | 2147483647 89962 131 | 0.000 % |
166.88/167.05 c | 258449 | 1000 20000 100000 | 2147483647 90099 131 | 0.000 % |
166.98/167.19 c | 258596 | 1000 20000 100000 | 2147483647 90246 131 | 0.000 % |
167.18/167.37 c | 258757 | 1000 20000 100000 | 2147483647 90407 131 | 0.000 % |
167.38/167.54 c | 258933 | 1000 20000 100000 | 2147483647 90583 131 | 0.000 % |
167.58/167.72 c | 259126 | 1000 20000 100000 | 2147483647 90776 131 | 0.000 % |
167.78/167.90 c | 259340 | 1000 20000 100000 | 2147483647 90990 131 | 0.000 % |
167.88/168.09 c | 259573 | 1000 20000 100000 | 2147483647 91223 131 | 0.000 % |
168.18/168.34 c | 259830 | 1000 20000 100000 | 2147483647 91480 131 | 0.000 % |
168.38/168.59 c | 260112 | 1000 20000 100000 | 91650 91762 131 | 0.000 % |
168.68/168.87 c | 260427 | 1000 20000 100000 | 91650 81906 131 | 0.000 % |
168.98/169.12 c | 260766 | 1000 20000 100000 | 91650 82245 131 | 0.000 % |
169.18/169.38 c | 261140 | 1000 20000 100000 | 91650 82619 131 | 0.000 % |
169.48/169.66 c | 261549 | 1000 20000 100000 | 91650 83028 131 | 0.000 % |
169.88/170.05 c | 261999 | 1000 20000 100000 | 91650 83478 131 | 0.000 % |
170.28/170.42 c | 262492 | 1000 20000 100000 | 91650 83971 131 | 0.000 % |
170.68/170.86 c | 263034 | 1000 20000 100000 | 91650 84513 131 | 0.000 % |
171.18/171.34 c | 263631 | 1000 20000 100000 | 91650 85110 131 | 0.000 % |
171.68/171.86 c | 264286 | 1000 20000 100000 | 91650 85765 131 | 0.000 % |
172.18/172.38 c | 265006 | 1000 20000 100000 | 91650 86485 131 | 0.000 % |
172.88/173.03 c | 265798 | 1000 20000 100000 | 91650 87277 131 | 0.000 % |
173.58/173.74 c | 266669 | 1000 20000 100000 | 91650 88148 131 | 0.000 % |
174.27/174.45 c | 267628 | 1000 20000 100000 | 91650 89107 131 | 0.000 % |
175.07/175.22 c | 268681 | 1000 20000 100000 | 91650 90160 131 | 0.000 % |
175.88/176.09 c | 269839 | 1000 20000 100000 | 91650 91318 131 | 0.000 % |
176.98/177.12 c | 271112 | 1000 20000 100000 | 91479 81759 131 | 0.000 % |
177.87/178.08 c | 272512 | 1000 20000 100000 | 91479 83159 131 | 0.000 % |
179.08/179.27 c | 274053 | 1000 20000 100000 | 91479 84700 131 | 0.000 % |
180.37/180.56 c | 275747 | 1000 20000 100000 | 91479 86394 132 | 0.000 % |
181.77/181.92 c | 277610 | 1000 20000 100000 | 91479 88257 132 | 0.000 % |
183.37/183.52 c | 279660 | 1000 20000 100000 | 91479 90307 132 | 0.000 % |
185.07/185.26 c | 281915 | 1000 20000 100000 | 90649 82294 132 | 0.000 % |
186.77/186.97 c | 284393 | 1000 20000 100000 | 90649 84772 132 | 0.000 % |
188.67/188.87 c | 287118 | 1000 20000 100000 | 90649 87497 132 | 0.000 % |
188.77/188.95 c | 287218 | 1000 20000 100000 | 90649 87597 132 | 0.000 % |
188.87/189.04 c | 287330 | 1000 20000 100000 | 90649 87709 132 | 0.000 % |
188.97/189.15 c | 287453 | 1000 20000 100000 | 90649 87832 132 | 0.000 % |
189.07/189.27 c | 287586 | 1000 20000 100000 | 90649 87965 132 | 0.000 % |
189.27/189.40 c | 287733 | 1000 20000 100000 | 90649 88112 132 | 0.000 % |
189.37/189.55 c | 287894 | 1000 20000 100000 | 90649 88273 132 | 0.000 % |
189.47/189.69 c | 288071 | 1000 20000 100000 | 90649 88450 132 | 0.000 % |
189.67/189.86 c | 288265 | 1000 20000 100000 | 90649 88644 132 | 0.000 % |
189.87/190.04 c | 288477 | 1000 20000 100000 | 90649 88856 132 | 0.000 % |
190.07/190.25 c | 288710 | 1000 20000 100000 | 90649 89089 132 | 0.000 % |
190.27/190.47 c | 288967 | 1000 20000 100000 | 90649 89346 132 | 0.000 % |
190.57/190.71 c | 289252 | 1000 20000 100000 | 90649 89631 132 | 0.000 % |
190.77/190.96 c | 289563 | 1000 20000 100000 | 90649 89942 132 | 0.000 % |
191.06/191.28 c | 289902 | 1000 20000 100000 | 90649 90281 132 | 0.000 % |
191.36/191.60 c | 290274 | 1000 20000 100000 | 90381 90653 132 | 0.000 % |
191.76/191.95 c | 290685 | 1000 20000 100000 | 90381 80780 132 | 0.000 % |
192.06/192.29 c | 291135 | 1000 20000 100000 | 90381 81230 132 | 0.000 % |
192.46/192.62 c | 291628 | 1000 20000 100000 | 90381 81723 132 | 0.000 % |
192.86/193.03 c | 292171 | 1000 20000 100000 | 90381 82266 132 | 0.000 % |
193.26/193.44 c | 292767 | 1000 20000 100000 | 90381 82862 132 | 0.000 % |
193.76/193.94 c | 293422 | 1000 20000 100000 | 90381 83517 132 | 0.000 % |
194.36/194.51 c | 294144 | 1000 20000 100000 | 90381 84239 132 | 0.000 % |
194.96/195.11 c | 294937 | 1000 20000 100000 | 90381 85032 132 | 0.000 % |
195.57/195.77 c | 295809 | 1000 20000 100000 | 90381 85904 132 | 0.000 % |
196.26/196.48 c | 296767 | 1000 20000 100000 | 90381 86862 132 | 0.000 % |
197.06/197.26 c | 297821 | 1000 20000 100000 | 90381 87916 132 | 0.000 % |
197.96/198.12 c | 298980 | 1000 20000 100000 | 90381 89075 132 | 0.000 % |
198.86/199.07 c | 300253 | 1000 20000 100000 | 90100 90348 132 | 0.000 % |
199.96/200.12 c | 301654 | 1000 20000 100000 | 90100 82130 132 | 0.000 % |
201.06/201.26 c | 303196 | 1000 20000 100000 | 90100 83672 132 | 0.000 % |
202.26/202.44 c | 304890 | 1000 20000 100000 | 90100 85366 132 | 0.000 % |
203.56/203.75 c | 306753 | 1000 20000 100000 | 90100 87229 132 | 0.000 % |
205.06/205.22 c | 308803 | 1000 20000 100000 | 90100 89279 132 | 0.000 % |
206.66/206.82 c | 311057 | 1000 20000 100000 | 2147483647 82489 132 | 0.000 % |
208.46/208.69 c | 313536 | 1000 20000 100000 | 2147483647 84968 133 | 0.000 % |
210.66/210.80 c | 316261 | 1000 20000 100000 | 2147483647 87693 133 | 0.000 % |
212.95/213.15 c | 319259 | 1000 20000 100000 | 2147483647 90691 133 | 0.000 % |
213.05/213.23 c | 319359 | 1000 20000 100000 | 2147483647 90791 133 | 0.000 % |
213.16/213.34 c | 319469 | 1000 20000 100000 | 2147483647 90901 133 | 0.000 % |
213.26/213.45 c | 319591 | 1000 20000 100000 | 2147483647 91023 133 | 0.000 % |
213.35/213.59 c | 319725 | 1000 20000 100000 | 2147483647 91157 133 | 0.000 % |
213.55/213.72 c | 319873 | 1000 20000 100000 | 2147483647 91305 133 | 0.000 % |
213.65/213.86 c | 320033 | 1000 20000 100000 | 91432 91465 133 | 0.000 % |
213.85/214.09 c | 320209 | 1000 20000 100000 | 91432 81039 134 | 0.000 % |
214.05/214.24 c | 320402 | 1000 20000 100000 | 91432 81232 134 | 0.000 % |
214.26/214.40 c | 320616 | 1000 20000 100000 | 91432 81446 134 | 0.000 % |
214.36/214.57 c | 320849 | 1000 20000 100000 | 91432 81679 134 | 0.000 % |
214.55/214.77 c | 321105 | 1000 20000 100000 | 91432 81935 134 | 0.000 % |
214.75/214.97 c | 321386 | 1000 20000 100000 | 91432 82216 134 | 0.000 % |
215.05/215.21 c | 321696 | 1000 20000 100000 | 91432 82526 134 | 0.000 % |
215.25/215.49 c | 322035 | 1000 20000 100000 | 91432 82865 134 | 0.000 % |
215.65/215.82 c | 322407 | 1000 20000 100000 | 91432 83237 134 | 0.000 % |
215.95/216.15 c | 322818 | 1000 20000 100000 | 91432 83648 134 | 0.000 % |
216.35/216.51 c | 323269 | 1000 20000 100000 | 91432 84099 134 | 0.000 % |
216.65/216.88 c | 323764 | 1000 20000 100000 | 91432 84594 133 | 0.000 % |
217.15/217.30 c | 324310 | 1000 20000 100000 | 91432 85140 133 | 0.000 % |
217.56/217.76 c | 324907 | 1000 20000 100000 | 91432 85737 133 | 0.000 % |
218.05/218.26 c | 325563 | 1000 20000 100000 | 91432 86393 133 | 0.000 % |
218.66/218.85 c | 326285 | 1000 20000 100000 | 91432 87115 133 | 0.000 % |
219.25/219.48 c | 327078 | 1000 20000 100000 | 91432 87908 133 | 0.000 % |
220.05/220.20 c | 327949 | 1000 20000 100000 | 91432 88779 133 | 0.000 % |
220.75/220.93 c | 328907 | 1000 20000 100000 | 91432 89737 133 | 0.000 % |
221.55/221.71 c | 329960 | 1000 20000 100000 | 91432 90790 133 | 0.000 % |
222.35/222.59 c | 331118 | 1000 20000 100000 | 90830 81325 133 | 0.000 % |
223.25/223.43 c | 332392 | 1000 20000 100000 | 90830 82599 133 | 0.000 % |
224.25/224.46 c | 333792 | 1000 20000 100000 | 90830 83999 133 | 0.000 % |
225.35/225.53 c | 335333 | 1000 20000 100000 | 90830 85540 133 | 0.000 % |
226.55/226.79 c | 337029 | 1000 20000 100000 | 90830 87236 134 | 0.000 % |
228.15/228.36 c | 338893 | 1000 20000 100000 | 90830 89100 134 | 0.000 % |
229.75/229.96 c | 340945 | 1000 20000 100000 | 90207 81027 134 | 0.000 % |
231.25/231.47 c | 343198 | 1000 20000 100000 | 90207 83280 134 | 0.000 % |
233.05/233.21 c | 345676 | 1000 20000 100000 | 90207 85758 134 | 0.000 % |
235.15/235.30 c | 348404 | 1000 20000 100000 | 90207 88486 134 | 0.000 % |
237.45/237.62 c | 351402 | 1000 20000 100000 | 90084 81569 135 | 0.000 % |
239.74/239.95 c | 354698 | 1000 20000 100000 | 90084 84865 135 | 0.000 % |
239.84/240.03 c | 354798 | 1000 20000 100000 | 90084 84965 135 | 0.000 % |
239.94/240.13 c | 354908 | 1000 20000 100000 | 90084 85075 135 | 0.000 % |
240.04/240.24 c | 355029 | 1000 20000 100000 | 90084 85196 135 | 0.000 % |
240.14/240.38 c | 355164 | 1000 20000 100000 | 90084 85331 135 | 0.000 % |
240.34/240.50 c | 355310 | 1000 20000 100000 | 90084 85477 135 | 0.000 % |
240.44/240.64 c | 355470 | 1000 20000 100000 | 90084 85637 135 | 0.000 % |
240.54/240.80 c | 355649 | 1000 20000 100000 | 90084 85816 135 | 0.000 % |
240.75/240.94 c | 355843 | 1000 20000 100000 | 90084 86010 135 | 0.000 % |
240.94/241.10 c | 356059 | 1000 20000 100000 | 90084 86226 135 | 0.000 % |
241.14/241.33 c | 356292 | 1000 20000 100000 | 90084 86459 135 | 0.000 % |
241.34/241.57 c | 356548 | 1000 20000 100000 | 90084 86715 135 | 0.000 % |
241.64/241.83 c | 356829 | 1000 20000 100000 | 90084 86996 135 | 0.000 % |
241.85/242.09 c | 357138 | 1000 20000 100000 | 90084 87305 135 | 0.000 % |
242.14/242.36 c | 357477 | 1000 20000 100000 | 90084 87644 135 | 0.000 % |
242.44/242.66 c | 357849 | 1000 20000 100000 | 90084 88016 135 | 0.000 % |
242.74/243.00 c | 358259 | 1000 20000 100000 | 90084 88426 135 | 0.000 % |
243.14/243.35 c | 358708 | 1000 20000 100000 | 90084 88875 135 | 0.000 % |
243.54/243.71 c | 359202 | 1000 20000 100000 | 90084 89369 135 | 0.000 % |
243.94/244.12 c | 359744 | 1000 20000 100000 | 90084 89911 135 | 0.000 % |
244.44/244.64 c | 360342 | 1000 20000 100000 | 90167 80293 134 | 0.000 % |
244.94/245.12 c | 360999 | 1000 20000 100000 | 90167 80950 134 | 0.000 % |
245.44/245.64 c | 361721 | 1000 20000 100000 | 90167 81672 134 | 0.000 % |
246.04/246.21 c | 362516 | 1000 20000 100000 | 90167 82467 134 | 0.000 % |
246.64/246.88 c | 363388 | 1000 20000 100000 | 90167 83339 134 | 0.000 % |
247.34/247.53 c | 364346 | 1000 20000 100000 | 90167 84297 134 | 0.000 % |
248.04/248.28 c | 365400 | 1000 20000 100000 | 90167 85351 134 | 0.000 % |
248.94/249.13 c | 366558 | 1000 20000 100000 | 90167 86509 134 | 0.000 % |
249.94/250.15 c | 367832 | 1000 20000 100000 | 90167 87783 134 | 0.000 % |
250.94/251.17 c | 369233 | 1000 20000 100000 | 90167 89184 134 | 0.000 % |
252.14/252.39 c | 370773 | 1000 20000 100000 | 89951 81093 134 | 0.000 % |
253.34/253.58 c | 372468 | 1000 20000 100000 | 89951 82788 134 | 0.000 % |
254.74/254.93 c | 374334 | 1000 20000 100000 | 89951 84654 134 | 0.000 % |
256.14/256.36 c | 376383 | 1000 20000 100000 | 89951 86703 134 | 0.000 % |
257.74/257.96 c | 378637 | 1000 20000 100000 | 89951 88957 134 | 0.000 % |
259.53/259.79 c | 381116 | 1000 20000 100000 | 2147483647 82406 135 | 0.000 % |
261.43/261.61 c | 383841 | 1000 20000 100000 | 2147483647 85131 135 | 0.000 % |
263.63/263.82 c | 386838 | 1000 20000 100000 | 2147483647 88128 135 | 0.000 % |
266.14/266.33 c | 390134 | 1000 20000 100000 | 91293 91424 135 | 0.000 % |
268.64/268.89 c | 393762 | 1000 20000 100000 | 91293 85530 135 | 0.000 % |
268.74/268.96 c | 393862 | 1000 20000 100000 | 91293 85630 135 | 0.000 % |
268.84/269.04 c | 393972 | 1000 20000 100000 | 91293 85740 135 | 0.000 % |
268.94/269.15 c | 394094 | 1000 20000 100000 | 91293 85862 135 | 0.000 % |
269.04/269.28 c | 394227 | 1000 20000 100000 | 91293 85995 135 | 0.000 % |
269.14/269.40 c | 394373 | 1000 20000 100000 | 91293 86141 135 | 0.000 % |
269.34/269.53 c | 394533 | 1000 20000 100000 | 91293 86301 135 | 0.000 % |
269.54/269.71 c | 394709 | 1000 20000 100000 | 91293 86477 135 | 0.000 % |
269.74/269.90 c | 394902 | 1000 20000 100000 | 91293 86670 135 | 0.000 % |
269.84/270.09 c | 395114 | 1000 20000 100000 | 91293 86882 135 | 0.000 % |
270.04/270.29 c | 395348 | 1000 20000 100000 | 91293 87116 135 | 0.000 % |
270.34/270.50 c | 395604 | 1000 20000 100000 | 91293 87372 135 | 0.000 % |
270.54/270.73 c | 395887 | 1000 20000 100000 | 91293 87655 135 | 0.000 % |
270.74/270.97 c | 396196 | 1000 20000 100000 | 91293 87964 135 | 0.000 % |
271.04/271.26 c | 396535 | 1000 20000 100000 | 91293 88303 135 | 0.000 % |
271.34/271.58 c | 396907 | 1000 20000 100000 | 91293 88675 135 | 0.000 % |
271.74/271.90 c | 397316 | 1000 20000 100000 | 91293 89084 135 | 0.000 % |
272.04/272.27 c | 397766 | 1000 20000 100000 | 91293 89534 135 | 0.000 % |
272.44/272.65 c | 398259 | 1000 20000 100000 | 91293 90027 135 | 0.000 % |
272.84/273.09 c | 398802 | 1000 20000 100000 | 91293 90570 135 | 0.000 % |
273.34/273.56 c | 399400 | 1000 20000 100000 | 91293 91168 135 | 0.000 % |
273.94/274.11 c | 400057 | 1000 20000 100000 | 80908 80965 134 | 0.000 % |
274.44/274.63 c | 400780 | 1000 20000 100000 | 80908 72168 135 | 0.000 % |
274.94/275.14 c | 401573 | 1000 20000 100000 | 80908 72961 135 | 0.000 % |
275.54/275.74 c | 402444 | 1000 20000 100000 | 80908 73832 135 | 0.000 % |
276.24/276.40 c | 403403 | 1000 20000 100000 | 80908 74791 135 | 0.000 % |
276.94/277.13 c | 404457 | 1000 20000 100000 | 80908 75845 135 | 0.000 % |
277.74/277.91 c | 405616 | 1000 20000 100000 | 80908 77004 135 | 0.000 % |
278.54/278.79 c | 406890 | 1000 20000 100000 | 80908 78278 135 | 0.000 % |
279.63/279.80 c | 408290 | 1000 20000 100000 | 80908 79678 135 | 0.000 % |
280.73/280.90 c | 409830 | 1000 20000 100000 | 80908 81218 135 | 0.000 % |
281.83/282.07 c | 411524 | 1000 20000 100000 | 2147483647 74791 135 | 0.000 % |
283.03/283.27 c | 413387 | 1000 20000 100000 | 2147483647 76654 134 | 0.000 % |
284.43/284.60 c | 415436 | 1000 20000 100000 | 2147483647 78703 134 | 0.000 % |
285.93/286.15 c | 417691 | 1000 20000 100000 | 2147483647 80958 134 | 0.000 % |
287.73/287.93 c | 420170 | 1000 20000 100000 | 2147483647 83437 135 | 0.000 % |
289.73/289.91 c | 422895 | 1000 20000 100000 | 2147483647 86162 135 | 0.000 % |
291.73/291.99 c | 425892 | 1000 20000 100000 | 2147483647 89159 135 | 0.000 % |
294.23/294.45 c | 429190 | 1000 20000 100000 | 2147483647 92457 135 | 0.000 % |
297.13/297.31 c | 432815 | 1000 20000 100000 | 2147483647 96082 135 | 0.000 % |
300.32/300.55 c | 436803 | 1000 20000 100000 | 2147483647 100070 135 | 0.000 % |
300.42/300.64 c | 436903 | 1000 20000 100000 | 2147483647 100170 135 | 0.000 % |
300.52/300.76 c | 437014 | 1000 20000 100000 | 2147483647 100281 135 | 0.000 % |
300.72/300.92 c | 437135 | 1000 20000 100000 | 2147483647 100402 135 | 0.000 % |
300.82/301.06 c | 437268 | 1000 20000 100000 | 2147483647 100535 135 | 0.000 % |
300.92/301.20 c | 437414 | 1000 20000 100000 | 2147483647 100681 135 | 0.000 % |
301.14/301.35 c | 437574 | 1000 20000 100000 | 2147483647 100841 135 | 0.000 % |
301.33/301.55 c | 437750 | 1000 20000 100000 | 2147483647 101017 135 | 0.000 % |
301.53/301.75 c | 437943 | 1000 20000 100000 | 2147483647 101210 135 | 0.000 % |
301.73/301.96 c | 438157 | 1000 20000 100000 | 2147483647 101424 135 | 0.000 % |
301.93/302.19 c | 438390 | 1000 20000 100000 | 2147483647 101657 135 | 0.000 % |
302.23/302.40 c | 438646 | 1000 20000 100000 | 2147483647 101913 135 | 0.000 % |
302.43/302.63 c | 438929 | 1000 20000 100000 | 2147483647 102196 135 | 0.000 % |
302.73/302.92 c | 439238 | 1000 20000 100000 | 2147483647 102505 135 | 0.000 % |
303.03/303.23 c | 439580 | 1000 20000 100000 | 2147483647 102847 135 | 0.000 % |
303.33/303.57 c | 439952 | 1000 20000 100000 | 2147483647 103219 135 | 0.000 % |
303.72/303.96 c | 440362 | 1000 20000 100000 | 103268 103629 135 | 0.000 % |
304.12/304.37 c | 440811 | 1000 20000 100000 | 103268 89323 134 | 0.000 % |
304.53/304.78 c | 441305 | 1000 20000 100000 | 103268 89817 134 | 0.000 % |
304.92/305.19 c | 441847 | 1000 20000 100000 | 103268 90359 134 | 0.000 % |
305.42/305.63 c | 442446 | 1000 20000 100000 | 103268 90958 134 | 0.000 % |
305.92/306.18 c | 443101 | 1000 20000 100000 | 103268 91613 134 | 0.000 % |
306.52/306.75 c | 443821 | 1000 20000 100000 | 103268 92333 134 | 0.000 % |
307.12/307.38 c | 444615 | 1000 20000 100000 | 103268 93127 134 | 0.000 % |
307.82/308.06 c | 445487 | 1000 20000 100000 | 103268 93999 134 | 0.000 % |
308.62/308.85 c | 446445 | 1000 20000 100000 | 103268 94957 134 | 0.000 % |
309.52/309.72 c | 447499 | 1000 20000 100000 | 103268 96011 134 | 0.000 % |
310.42/310.68 c | 448657 | 1000 20000 100000 | 103268 97169 134 | 0.000 % |
311.52/311.73 c | 449931 | 1000 20000 100000 | 103268 98443 134 | 0.000 % |
312.62/312.83 c | 451331 | 1000 20000 100000 | 98512 85606 134 | 0.000 % |
313.82/314.02 c | 452871 | 1000 20000 100000 | 98512 87146 134 | 0.000 % |
315.02/315.27 c | 454565 | 1000 20000 100000 | 98512 88840 134 | 0.000 % |
316.42/316.68 c | 456429 | 1000 20000 100000 | 98512 90704 134 | 0.000 % |
318.02/318.25 c | 458478 | 1000 20000 100000 | 98512 92753 134 | 0.000 % |
319.92/320.12 c | 460733 | 1000 20000 100000 | 94276 83050 133 | 0.000 % |
321.72/321.90 c | 463211 | 1000 20000 100000 | 94276 85528 133 | 0.000 % |
323.61/323.87 c | 465936 | 1000 20000 100000 | 94276 88253 133 | 0.000 % |
325.71/325.98 c | 468933 | 1000 20000 100000 | 94276 91250 133 | 0.000 % |
328.21/328.47 c | 472231 | 1000 20000 100000 | 92317 84650 133 | 0.000 % |
330.92/331.15 c | 475857 | 1000 20000 100000 | 92317 88276 134 | 0.000 % |
334.01/334.26 c | 479846 | 1000 20000 100000 | 92317 92265 134 | 0.000 % |
337.51/337.70 c | 484232 | 1000 20000 100000 | 92419 86766 134 | 0.000 % |
337.61/337.80 c | 484332 | 1000 20000 100000 | 92419 86866 134 | 0.000 % |
337.61/337.89 c | 484443 | 1000 20000 100000 | 92419 86977 134 | 0.000 % |
337.81/338.01 c | 484565 | 1000 20000 100000 | 92419 87099 134 | 0.000 % |
337.91/338.14 c | 484699 | 1000 20000 100000 | 92419 87233 134 | 0.000 % |
338.01/338.28 c | 484848 | 1000 20000 100000 | 92419 87382 134 | 0.000 % |
338.21/338.43 c | 485009 | 1000 20000 100000 | 92419 87543 134 | 0.000 % |
338.41/338.60 c | 485185 | 1000 20000 100000 | 92419 87719 134 | 0.000 % |
338.51/338.77 c | 485378 | 1000 20000 100000 | 92419 87912 134 | 0.000 % |
338.71/338.96 c | 485590 | 1000 20000 100000 | 92419 88124 134 | 0.000 % |
338.91/339.17 c | 485823 | 1000 20000 100000 | 92419 88357 134 | 0.000 % |
339.21/339.40 c | 486079 | 1000 20000 100000 | 92419 88613 134 | 0.000 % |
339.41/339.66 c | 486362 | 1000 20000 100000 | 92419 88896 134 | 0.000 % |
339.71/339.92 c | 486672 | 1000 20000 100000 | 92419 89206 134 | 0.000 % |
340.01/340.21 c | 487012 | 1000 20000 100000 | 92419 89546 134 | 0.000 % |
340.31/340.54 c | 487384 | 1000 20000 100000 | 92419 89918 134 | 0.000 % |
340.61/340.89 c | 487793 | 1000 20000 100000 | 92419 90327 134 | 0.000 % |
341.01/341.29 c | 488244 | 1000 20000 100000 | 92419 90778 134 | 0.000 % |
341.41/341.66 c | 488740 | 1000 20000 100000 | 92419 91274 134 | 0.000 % |
341.91/342.13 c | 489282 | 1000 20000 100000 | 92419 91816 134 | 0.000 % |
342.41/342.63 c | 489879 | 1000 20000 100000 | 92419 92413 134 | 0.000 % |
343.01/343.21 c | 490535 | 1000 20000 100000 | 92534 81576 134 | 0.000 % |
343.51/343.76 c | 491255 | 1000 20000 100000 | 92534 82296 134 | 0.000 % |
344.11/344.38 c | 492049 | 1000 20000 100000 | 92534 83090 134 | 0.000 % |
344.81/345.02 c | 492920 | 1000 20000 100000 | 92534 83961 134 | 0.000 % |
345.51/345.72 c | 493883 | 1000 20000 100000 | 92534 84924 134 | 0.000 % |
346.21/346.47 c | 494938 | 1000 20000 100000 | 92534 85979 134 | 0.000 % |
347.01/347.30 c | 496096 | 1000 20000 100000 | 92534 87137 134 | 0.000 % |
348.11/348.31 c | 497369 | 1000 20000 100000 | 92534 88410 134 | 0.000 % |
349.11/349.35 c | 498769 | 1000 20000 100000 | 92534 89810 134 | 0.000 % |
350.31/350.53 c | 500309 | 1000 20000 100000 | 91041 91350 134 | 0.000 % |
351.51/351.76 c | 502003 | 1000 20000 100000 | 91041 82828 134 | 0.000 % |
352.92/353.11 c | 503867 | 1000 20000 100000 | 91041 84692 134 | 0.000 % |
354.41/354.66 c | 505916 | 1000 20000 100000 | 91041 86741 134 | 0.000 % |
356.22/356.40 c | 508169 | 1000 20000 100000 | 91041 88994 134 | 0.000 % |
358.11/358.32 c | 510647 | 1000 20000 100000 | 90825 81160 134 | 0.000 % |
360.01/360.25 c | 513373 | 1000 20000 100000 | 90825 83886 134 | 0.000 % |
362.11/362.36 c | 516370 | 1000 20000 100000 | 90825 86883 134 | 0.000 % |
364.61/364.80 c | 519666 | 1000 20000 100000 | 90825 90179 134 | 0.000 % |
367.41/367.69 c | 523292 | 1000 20000 100000 | 2147483647 93805 135 | 0.000 % |
370.81/371.01 c | 527279 | 1000 20000 100000 | 2147483647 97792 135 | 0.000 % |
374.31/374.58 c | 531664 | 1000 20000 100000 | 100513 88929 135 | 0.000 % |
378.21/378.41 c | 536487 | 1000 20000 100000 | 100513 93752 135 | 0.000 % |
378.31/378.50 c | 536587 | 1000 20000 100000 | 100513 93852 135 | 0.000 % |
378.41/378.63 c | 536697 | 1000 20000 100000 | 100513 93962 135 | 0.000 % |
378.51/378.74 c | 536819 | 1000 20000 100000 | 100513 94084 135 | 0.000 % |
378.61/378.86 c | 536952 | 1000 20000 100000 | 100513 94217 135 | 0.000 % |
378.81/379.00 c | 537100 | 1000 20000 100000 | 100513 94365 135 | 0.000 % |
378.90/379.15 c | 537261 | 1000 20000 100000 | 100513 94526 135 | 0.000 % |
379.10/379.31 c | 537438 | 1000 20000 100000 | 100513 94703 135 | 0.000 % |
379.21/379.49 c | 537634 | 1000 20000 100000 | 100513 94899 135 | 0.000 % |
379.40/379.69 c | 537846 | 1000 20000 100000 | 100513 95111 135 | 0.000 % |
379.60/379.89 c | 538080 | 1000 20000 100000 | 100513 95345 135 | 0.000 % |
379.90/380.16 c | 538336 | 1000 20000 100000 | 100513 95601 135 | 0.000 % |
380.20/380.42 c | 538617 | 1000 20000 100000 | 100513 95882 135 | 0.000 % |
380.50/380.70 c | 538927 | 1000 20000 100000 | 100513 96192 134 | 0.000 % |
380.80/381.00 c | 539266 | 1000 20000 100000 | 100513 96531 134 | 0.000 % |
381.10/381.32 c | 539639 | 1000 20000 100000 | 100513 96904 134 | 0.000 % |
381.41/381.68 c | 540048 | 1000 20000 100000 | 97267 97313 134 | 0.000 % |
381.90/382.12 c | 540497 | 1000 20000 100000 | 97267 84014 135 | 0.000 % |
382.20/382.49 c | 540991 | 1000 20000 100000 | 97267 84508 135 | 0.000 % |
382.61/382.88 c | 541534 | 1000 20000 100000 | 97267 85051 135 | 0.000 % |
383.10/383.36 c | 542132 | 1000 20000 100000 | 97267 85649 135 | 0.000 % |
383.61/383.86 c | 542787 | 1000 20000 100000 | 97267 86304 135 | 0.000 % |
384.10/384.38 c | 543507 | 1000 20000 100000 | 97267 87024 135 | 0.000 % |
384.71/384.99 c | 544299 | 1000 20000 100000 | 97267 87816 135 | 0.000 % |
385.40/385.66 c | 545171 | 1000 20000 100000 | 97267 88688 135 | 0.000 % |
386.10/386.38 c | 546129 | 1000 20000 100000 | 97267 89646 135 | 0.000 % |
387.01/387.22 c | 547183 | 1000 20000 100000 | 97267 90700 135 | 0.000 % |
387.90/388.13 c | 548344 | 1000 20000 100000 | 97267 91861 135 | 0.000 % |
388.80/389.09 c | 549617 | 1000 20000 100000 | 97267 93134 135 | 0.000 % |
390.00/390.23 c | 551017 | 1000 20000 100000 | 93518 82522 135 | 0.000 % |
391.10/391.36 c | 552558 | 1000 20000 100000 | 93518 84063 135 | 0.000 % |
392.40/392.60 c | 554254 | 1000 20000 100000 | 93518 85759 135 | 0.000 % |
393.80/394.04 c | 556118 | 1000 20000 100000 | 93518 87623 135 | 0.000 % |
395.30/395.56 c | 558167 | 1000 20000 100000 | 93518 89672 135 | 0.000 % |
397.00/397.23 c | 560421 | 1000 20000 100000 | 91508 81214 134 | 0.000 % |
398.80/399.02 c | 562899 | 1000 20000 100000 | 91508 83692 134 | 0.000 % |
400.80/401.00 c | 565624 | 1000 20000 100000 | 91508 86417 134 | 0.000 % |
402.89/403.13 c | 568622 | 1000 20000 100000 | 91508 89415 134 | 0.000 % |
405.29/405.55 c | 571918 | 1000 20000 100000 | 90793 83421 135 | 0.000 % |
407.90/408.19 c | 575543 | 1000 20000 100000 | 90793 87046 136 | 0.000 % |
410.89/411.17 c | 579530 | 1000 20000 100000 | 90793 91033 136 | 0.000 % |
413.89/414.15 c | 583916 | 1000 20000 100000 | 82400 77910 137 | 0.000 % |
417.19/417.49 c | 588740 | 1000 20000 100000 | 82400 82734 137 | 0.000 % |
420.89/421.10 c | 594045 | 1000 20000 100000 | 2147483647 79766 138 | 0.000 % |
420.99/421.20 c | 594146 | 1000 20000 100000 | 2147483647 79867 138 | 0.000 % |
420.99/421.30 c | 594258 | 1000 20000 100000 | 2147483647 79979 138 | 0.000 % |
421.19/421.40 c | 594379 | 1000 20000 100000 | 2147483647 80100 138 | 0.000 % |
421.29/421.51 c | 594514 | 1000 20000 100000 | 2147483647 80235 138 | 0.000 % |
421.39/421.66 c | 594660 | 1000 20000 100000 | 2147483647 80381 138 | 0.000 % |
421.59/421.80 c | 594820 | 1000 20000 100000 | 2147483647 80541 138 | 0.000 % |
421.69/421.93 c | 594996 | 1000 20000 100000 | 2147483647 80717 138 | 0.000 % |
421.79/422.08 c | 595190 | 1000 20000 100000 | 2147483647 80911 138 | 0.000 % |
421.99/422.24 c | 595403 | 1000 20000 100000 | 2147483647 81124 138 | 0.000 % |
422.19/422.42 c | 595636 | 1000 20000 100000 | 2147483647 81357 138 | 0.000 % |
422.39/422.61 c | 595893 | 1000 20000 100000 | 2147483647 81614 138 | 0.000 % |
422.59/422.84 c | 596175 | 1000 20000 100000 | 2147483647 81896 137 | 0.000 % |
422.79/423.07 c | 596484 | 1000 20000 100000 | 2147483647 82205 137 | 0.000 % |
423.09/423.32 c | 596825 | 1000 20000 100000 | 2147483647 82546 137 | 0.000 % |
423.29/423.58 c | 597197 | 1000 20000 100000 | 2147483647 82918 137 | 0.000 % |
423.59/423.89 c | 597608 | 1000 20000 100000 | 2147483647 83329 137 | 0.000 % |
423.99/424.23 c | 598059 | 1000 20000 100000 | 2147483647 83780 137 | 0.000 % |
424.39/424.63 c | 598553 | 1000 20000 100000 | 2147483647 84274 137 | 0.000 % |
424.79/425.07 c | 599095 | 1000 20000 100000 | 2147483647 84816 137 | 0.000 % |
425.29/425.55 c | 599691 | 1000 20000 100000 | 2147483647 85412 137 | 0.000 % |
425.78/426.04 c | 600346 | 1000 20000 100000 | 2147483647 86067 137 | 0.000 % |
426.28/426.57 c | 601068 | 1000 20000 100000 | 2147483647 86789 137 | 0.000 % |
426.98/427.22 c | 601860 | 1000 20000 100000 | 2147483647 87581 137 | 0.000 % |
427.69/427.90 c | 602734 | 1000 20000 100000 | 2147483647 88455 137 | 0.000 % |
428.38/428.63 c | 603692 | 1000 20000 100000 | 2147483647 89413 137 | 0.000 % |
429.18/429.43 c | 604746 | 1000 20000 100000 | 2147483647 90467 137 | 0.000 % |
429.98/430.28 c | 605906 | 1000 20000 100000 | 2147483647 91627 137 | 0.000 % |
430.99/431.25 c | 607180 | 1000 20000 100000 | 2147483647 92901 137 | 0.000 % |
432.08/432.38 c | 608580 | 1000 20000 100000 | 2147483647 94301 137 | 0.000 % |
433.37/433.65 c | 610124 | 1000 20000 100000 | 95722 95845 137 | 0.000 % |
434.77/435.02 c | 611819 | 1000 20000 100000 | 95722 86443 137 | 0.000 % |
436.17/436.44 c | 613682 | 1000 20000 100000 | 95722 88306 136 | 0.000 % |
437.77/438.04 c | 615732 | 1000 20000 100000 | 95722 90356 136 | 0.000 % |
439.47/439.77 c | 617985 | 1000 20000 100000 | 95722 92609 136 | 0.000 % |
441.57/441.86 c | 620464 | 1000 20000 100000 | 94625 83584 137 | 0.000 % |
443.67/443.94 c | 623190 | 1000 20000 100000 | 94625 86310 137 | 0.000 % |
445.87/446.17 c | 626187 | 1000 20000 100000 | 94625 89307 137 | 0.000 % |
448.57/448.80 c | 629484 | 1000 20000 100000 | 94625 92604 137 | 0.000 % |
451.27/451.57 c | 633109 | 1000 20000 100000 | 93121 85050 138 | 0.000 % |
454.27/454.50 c | 637098 | 1000 20000 100000 | 93121 89039 138 | 0.000 % |
457.57/457.81 c | 641485 | 1000 20000 100000 | 91941 82413 139 | 0.000 % |
461.06/461.36 c | 646308 | 1000 20000 100000 | 91941 87236 138 | 0.000 % |
464.97/465.28 c | 651613 | 1000 20000 100000 | 90929 82212 139 | 0.000 % |
469.26/469.57 c | 657450 | 1000 20000 100000 | 90929 88049 139 | 0.000 % |
469.37/469.66 c | 657553 | 1000 20000 100000 | 90929 88152 139 | 0.000 % |
469.47/469.78 c | 657665 | 1000 20000 100000 | 90929 88264 139 | 0.000 % |
469.56/469.89 c | 657788 | 1000 20000 100000 | 90929 88387 139 | 0.000 % |
469.76/470.01 c | 657922 | 1000 20000 100000 | 90929 88521 139 | 0.000 % |
469.86/470.15 c | 658070 | 1000 20000 100000 | 90929 88669 139 | 0.000 % |
470.06/470.31 c | 658232 | 1000 20000 100000 | 90929 88831 139 | 0.000 % |
470.16/470.47 c | 658408 | 1000 20000 100000 | 90929 89007 139 | 0.000 % |
470.36/470.64 c | 658602 | 1000 20000 100000 | 90929 89201 139 | 0.000 % |
470.56/470.82 c | 658815 | 1000 20000 100000 | 90929 89414 139 | 0.000 % |
470.76/471.04 c | 659048 | 1000 20000 100000 | 90929 89647 139 | 0.000 % |
471.06/471.31 c | 659305 | 1000 20000 100000 | 90929 89904 139 | 0.000 % |
471.26/471.57 c | 659586 | 1000 20000 100000 | 90929 90185 139 | 0.000 % |
471.56/471.84 c | 659897 | 1000 20000 100000 | 90929 90496 139 | 0.000 % |
471.86/472.14 c | 660238 | 1000 20000 100000 | 90600 90837 139 | 0.000 % |
472.16/472.47 c | 660610 | 1000 20000 100000 | 90600 80741 138 | 0.000 % |
472.46/472.76 c | 661020 | 1000 20000 100000 | 90600 81151 138 | 0.000 % |
472.86/473.14 c | 661469 | 1000 20000 100000 | 90600 81600 138 | 0.000 % |
473.26/473.54 c | 661963 | 1000 20000 100000 | 90600 82094 137 | 0.000 % |
473.66/473.96 c | 662506 | 1000 20000 100000 | 90600 82637 137 | 0.000 % |
474.16/474.44 c | 663103 | 1000 20000 100000 | 90600 83234 137 | 0.000 % |
474.66/474.94 c | 663759 | 1000 20000 100000 | 90600 83890 137 | 0.000 % |
475.17/475.45 c | 664480 | 1000 20000 100000 | 90600 84611 137 | 0.000 % |
475.77/476.01 c | 665272 | 1000 20000 100000 | 90600 85403 137 | 0.000 % |
476.37/476.63 c | 666143 | 1000 20000 100000 | 90600 86274 137 | 0.000 % |
477.07/477.33 c | 667102 | 1000 20000 100000 | 90600 87233 137 | 0.000 % |
477.77/478.08 c | 668155 | 1000 20000 100000 | 90600 88286 137 | 0.000 % |
478.67/478.97 c | 669314 | 1000 20000 100000 | 90600 89445 137 | 0.000 % |
479.66/479.98 c | 670589 | 1000 20000 100000 | 90132 80983 137 | 0.000 % |
480.76/481.02 c | 671990 | 1000 20000 100000 | 90132 82384 136 | 0.000 % |
481.76/482.09 c | 673530 | 1000 20000 100000 | 90132 83924 136 | 0.000 % |
483.16/483.43 c | 675224 | 1000 20000 100000 | 90132 85618 136 | 0.000 % |
484.46/484.79 c | 677087 | 1000 20000 100000 | 90132 87481 136 | 0.000 % |
486.06/486.36 c | 679136 | 1000 20000 100000 | 90132 89530 137 | 0.000 % |
487.86/488.10 c | 681389 | 1000 20000 100000 | 90396 81803 137 | 0.000 % |
489.66/489.98 c | 683868 | 1000 20000 100000 | 90396 84282 137 | 0.000 % |
491.66/491.98 c | 686593 | 1000 20000 100000 | 90396 87007 137 | 0.000 % |
494.06/494.34 c | 689590 | 1000 20000 100000 | 90396 90004 137 | 0.000 % |
496.56/496.83 c | 692888 | 1000 20000 100000 | 90416 83577 137 | 0.000 % |
499.46/499.70 c | 696513 | 1000 20000 100000 | 90416 87202 137 | 0.000 % |
502.46/502.78 c | 700502 | 1000 20000 100000 | 90689 81179 137 | 0.000 % |
505.56/505.90 c | 704887 | 1000 20000 100000 | 90689 85564 136 | 0.000 % |
509.25/509.56 c | 709710 | 1000 20000 100000 | 90689 90387 137 | 0.000 % |
513.25/513.56 c | 715015 | 1000 20000 100000 | 90677 85465 137 | 0.000 % |
517.85/518.18 c | 720851 | 1000 20000 100000 | 90451 80975 136 | 0.000 % |
522.85/523.14 c | 727271 | 1000 20000 100000 | 90451 87395 137 | 0.000 % |
522.95/523.22 c | 727371 | 1000 20000 100000 | 90451 87495 137 | 0.000 % |
523.05/523.31 c | 727482 | 1000 20000 100000 | 90451 87606 137 | 0.000 % |
523.15/523.41 c | 727603 | 1000 20000 100000 | 90451 87727 136 | 0.000 % |
523.25/523.53 c | 727736 | 1000 20000 100000 | 90451 87860 136 | 0.000 % |
523.35/523.65 c | 727882 | 1000 20000 100000 | 90451 88006 136 | 0.000 % |
523.55/523.80 c | 728042 | 1000 20000 100000 | 90451 88166 136 | 0.000 % |
523.65/523.98 c | 728218 | 1000 20000 100000 | 90451 88342 136 | 0.000 % |
523.85/524.16 c | 728412 | 1000 20000 100000 | 90451 88536 136 | 0.000 % |
524.05/524.34 c | 728624 | 1000 20000 100000 | 90451 88748 136 | 0.000 % |
524.25/524.51 c | 728857 | 1000 20000 100000 | 90451 88981 136 | 0.000 % |
524.45/524.72 c | 729116 | 1000 20000 100000 | 90451 89240 136 | 0.000 % |
524.65/524.96 c | 729397 | 1000 20000 100000 | 90451 89521 136 | 0.000 % |
524.95/525.22 c | 729706 | 1000 20000 100000 | 90451 89830 136 | 0.000 % |
525.15/525.48 c | 730046 | 1000 20000 100000 | 90124 90170 136 | 0.000 % |
525.55/525.87 c | 730418 | 1000 20000 100000 | 90124 80338 136 | 0.000 % |
525.95/526.20 c | 730829 | 1000 20000 100000 | 90124 80749 136 | 0.000 % |
526.25/526.56 c | 731278 | 1000 20000 100000 | 90124 81198 136 | 0.000 % |
526.55/526.90 c | 731771 | 1000 20000 100000 | 90124 81691 136 | 0.000 % |
526.94/527.28 c | 732314 | 1000 20000 100000 | 90124 82234 136 | 0.000 % |
527.44/527.74 c | 732910 | 1000 20000 100000 | 90124 82830 136 | 0.000 % |
527.84/528.19 c | 733566 | 1000 20000 100000 | 90124 83486 136 | 0.000 % |
528.54/528.81 c | 734286 | 1000 20000 100000 | 90124 84206 136 | 0.000 % |
529.14/529.42 c | 735078 | 1000 20000 100000 | 90124 84998 136 | 0.000 % |
529.85/530.14 c | 735950 | 1000 20000 100000 | 90124 85870 136 | 0.000 % |
530.54/530.87 c | 736909 | 1000 20000 100000 | 90124 86829 136 | 0.000 % |
531.34/531.66 c | 737964 | 1000 20000 100000 | 90124 87884 136 | 0.000 % |
532.24/532.53 c | 739123 | 1000 20000 100000 | 90124 89043 135 | 0.000 % |
533.15/533.49 c | 740398 | 1000 20000 100000 | 89920 80489 135 | 0.000 % |
534.14/534.49 c | 741798 | 1000 20000 100000 | 89920 81889 135 | 0.000 % |
535.24/535.59 c | 743339 | 1000 20000 100000 | 89920 83430 135 | 0.000 % |
536.54/536.82 c | 745037 | 1000 20000 100000 | 89920 85128 135 | 0.000 % |
538.04/538.30 c | 746900 | 1000 20000 100000 | 89920 86991 135 | 0.000 % |
539.64/539.93 c | 748950 | 1000 20000 100000 | 89920 89041 135 | 0.000 % |
541.44/541.70 c | 751204 | 1000 20000 100000 | 90091 81394 135 | 0.000 % |
543.14/543.44 c | 753682 | 1000 20000 100000 | 90091 83872 135 | 0.000 % |
545.14/545.43 c | 756409 | 1000 20000 100000 | 90091 86599 135 | 0.000 % |
547.24/547.56 c | 759406 | 1000 20000 100000 | 90091 89596 135 | 0.000 % |
549.64/549.98 c | 762702 | 1000 20000 100000 | 90190 83183 136 | 0.000 % |
552.23/552.56 c | 766327 | 1000 20000 100000 | 90190 86808 136 | 0.000 % |
555.24/555.52 c | 770316 | 1000 20000 100000 | 90483 90797 136 | 0.000 % |
558.23/558.59 c | 774702 | 1000 20000 100000 | 90483 85986 136 | 0.000 % |
561.83/562.20 c | 779526 | 1000 20000 100000 | 90483 90810 136 | 0.000 % |
565.83/566.11 c | 784831 | 1000 20000 100000 | 2147483647 87034 137 | 0.000 % |
570.23/570.56 c | 790668 | 1000 20000 100000 | 92204 82600 137 | 0.000 % |
575.03/575.36 c | 797086 | 1000 20000 100000 | 92204 89018 138 | 0.000 % |
580.22/580.54 c | 804147 | 1000 20000 100000 | 91932 84711 137 | 0.000 % |
580.32/580.62 c | 804247 | 1000 20000 100000 | 91932 84811 137 | 0.000 % |
580.43/580.70 c | 804357 | 1000 20000 100000 | 91932 84921 137 | 0.000 % |
580.53/580.81 c | 804479 | 1000 20000 100000 | 91932 85043 137 | 0.000 % |
580.62/580.93 c | 804613 | 1000 20000 100000 | 91932 85177 137 | 0.000 % |
580.72/581.07 c | 804759 | 1000 20000 100000 | 91932 85323 137 | 0.000 % |
580.92/581.21 c | 804921 | 1000 20000 100000 | 91932 85485 137 | 0.000 % |
581.02/581.35 c | 805098 | 1000 20000 100000 | 91932 85662 137 | 0.000 % |
581.22/581.53 c | 805291 | 1000 20000 100000 | 91932 85855 137 | 0.000 % |
581.42/581.73 c | 805505 | 1000 20000 100000 | 91932 86069 137 | 0.000 % |
581.62/581.94 c | 805738 | 1000 20000 100000 | 91932 86302 137 | 0.000 % |
581.82/582.15 c | 805994 | 1000 20000 100000 | 91932 86558 137 | 0.000 % |
582.02/582.39 c | 806276 | 1000 20000 100000 | 91932 86840 137 | 0.000 % |
582.32/582.65 c | 806586 | 1000 20000 100000 | 91932 87150 137 | 0.000 % |
582.62/582.96 c | 806927 | 1000 20000 100000 | 91932 87491 137 | 0.000 % |
582.92/583.26 c | 807300 | 1000 20000 100000 | 91932 87864 137 | 0.000 % |
583.32/583.61 c | 807709 | 1000 20000 100000 | 91932 88273 137 | 0.000 % |
583.62/583.97 c | 808158 | 1000 20000 100000 | 91932 88722 137 | 0.000 % |
584.12/584.40 c | 808656 | 1000 20000 100000 | 91932 89220 137 | 0.000 % |
584.52/584.86 c | 809198 | 1000 20000 100000 | 91932 89762 137 | 0.000 % |
585.02/585.32 c | 809796 | 1000 20000 100000 | 91932 90360 137 | 0.000 % |
585.62/585.91 c | 810451 | 1000 20000 100000 | 90564 79716 136 | 0.000 % |
586.12/586.43 c | 811174 | 1000 20000 100000 | 90564 80439 136 | 0.000 % |
586.72/587.04 c | 811966 | 1000 20000 100000 | 90564 81231 136 | 0.000 % |
587.32/587.69 c | 812837 | 1000 20000 100000 | 90564 82102 136 | 0.000 % |
588.02/588.37 c | 813795 | 1000 20000 100000 | 90564 83060 136 | 0.000 % |
588.72/589.08 c | 814850 | 1000 20000 100000 | 90564 84115 136 | 0.000 % |
589.52/589.87 c | 816008 | 1000 20000 100000 | 90564 85273 136 | 0.000 % |
590.52/590.85 c | 817281 | 1000 20000 100000 | 90564 86546 136 | 0.000 % |
591.52/591.86 c | 818681 | 1000 20000 100000 | 90564 87946 136 | 0.000 % |
592.62/592.90 c | 820226 | 1000 20000 100000 | 89265 89491 136 | 0.000 % |
593.82/594.19 c | 821921 | 1000 20000 100000 | 89265 82065 137 | 0.000 % |
595.22/595.53 c | 823785 | 1000 20000 100000 | 89265 83929 137 | 0.000 % |
596.72/597.01 c | 825836 | 1000 20000 100000 | 89265 85980 137 | 0.000 % |
598.32/598.69 c | 828090 | 1000 20000 100000 | 89265 88234 137 | 0.000 % |
600.22/600.51 c | 830570 | 1000 20000 100000 | 2147483647 81750 137 | 0.000 % |
602.11/602.44 c | 833297 | 1000 20000 100000 | 2147483647 84477 137 | 0.000 % |
604.41/604.70 c | 836295 | 1000 20000 100000 | 2147483647 87475 138 | 0.000 % |
606.91/607.27 c | 839591 | 1000 20000 100000 | 2147483647 90771 138 | 0.000 % |
609.71/610.06 c | 843216 | 1000 20000 100000 | 91182 84012 138 | 0.000 % |
612.61/612.95 c | 847204 | 1000 20000 100000 | 91182 88000 138 | 0.000 % |
615.81/616.12 c | 851590 | 1000 20000 100000 | 90797 82707 137 | 0.000 % |
619.61/619.91 c | 856413 | 1000 20000 100000 | 90797 87530 137 | 0.000 % |
623.60/623.92 c | 861718 | 1000 20000 100000 | 91117 82288 137 | 0.000 % |
627.81/628.14 c | 867556 | 1000 20000 100000 | 91117 88126 138 | 0.000 % |
632.90/633.26 c | 873978 | 1000 20000 100000 | 90570 84747 137 | 0.000 % |
638.50/638.85 c | 881037 | 1000 20000 100000 | 90769 80840 137 | 0.000 % |
644.30/644.63 c | 888803 | 1000 20000 100000 | 90769 88606 137 | 0.000 % |
644.40/644.71 c | 888903 | 1000 20000 100000 | 90769 88706 137 | 0.000 % |
644.50/644.81 c | 889014 | 1000 20000 100000 | 90769 88817 137 | 0.000 % |
644.60/644.93 c | 889136 | 1000 20000 100000 | 90769 88939 137 | 0.000 % |
644.70/645.04 c | 889270 | 1000 20000 100000 | 90769 89073 137 | 0.000 % |
644.80/645.16 c | 889417 | 1000 20000 100000 | 90769 89220 137 | 0.000 % |
645.00/645.30 c | 889580 | 1000 20000 100000 | 90769 89383 137 | 0.000 % |
645.10/645.46 c | 889758 | 1000 20000 100000 | 90769 89561 137 | 0.000 % |
645.30/645.66 c | 889951 | 1000 20000 100000 | 90769 89754 137 | 0.000 % |
645.50/645.85 c | 890165 | 1000 20000 100000 | 89805 89968 137 | 0.000 % |
645.69/646.10 c | 890398 | 1000 20000 100000 | 89805 79098 138 | 0.000 % |
645.89/646.29 c | 890654 | 1000 20000 100000 | 89805 79354 138 | 0.000 % |
646.19/646.53 c | 890935 | 1000 20000 100000 | 89805 79635 138 | 0.000 % |
646.40/646.74 c | 891245 | 1000 20000 100000 | 89805 79945 138 | 0.000 % |
646.59/646.97 c | 891585 | 1000 20000 100000 | 89805 80285 138 | 0.000 % |
646.89/647.29 c | 891957 | 1000 20000 100000 | 89805 80657 138 | 0.000 % |
647.19/647.59 c | 892366 | 1000 20000 100000 | 89805 81066 138 | 0.000 % |
647.60/647.93 c | 892815 | 1000 20000 100000 | 89805 81515 138 | 0.000 % |
647.89/648.28 c | 893309 | 1000 20000 100000 | 89805 82009 138 | 0.000 % |
648.29/648.67 c | 893853 | 1000 20000 100000 | 89805 82553 138 | 0.000 % |
648.79/649.11 c | 894449 | 1000 20000 100000 | 89805 83149 138 | 0.000 % |
649.19/649.58 c | 895104 | 1000 20000 100000 | 89805 83804 138 | 0.000 % |
649.80/650.12 c | 895825 | 1000 20000 100000 | 89805 84525 138 | 0.000 % |
650.39/650.72 c | 896617 | 1000 20000 100000 | 89805 85317 138 | 0.000 % |
651.00/651.35 c | 897489 | 1000 20000 100000 | 89805 86189 138 | 0.000 % |
651.80/652.12 c | 898448 | 1000 20000 100000 | 89805 87148 138 | 0.000 % |
652.60/652.90 c | 899502 | 1000 20000 100000 | 89805 88202 138 | 0.000 % |
653.60/653.92 c | 900660 | 1000 20000 100000 | 88701 79151 138 | 0.000 % |
654.50/654.80 c | 901933 | 1000 20000 100000 | 88701 80424 138 | 0.000 % |
655.50/655.81 c | 903333 | 1000 20000 100000 | 88701 81824 138 | 0.000 % |
656.50/656.88 c | 904876 | 1000 20000 100000 | 88701 83367 138 | 0.000 % |
657.90/658.20 c | 906570 | 1000 20000 100000 | 88701 85061 138 | 0.000 % |
659.40/659.78 c | 908434 | 1000 20000 100000 | 88701 86925 138 | 0.000 % |
661.10/661.42 c | 910484 | 1000 20000 100000 | 88491 79329 137 | 0.000 % |
662.69/663.01 c | 912737 | 1000 20000 100000 | 88491 81582 138 | 0.000 % |
664.49/664.88 c | 915216 | 1000 20000 100000 | 88491 84061 138 | 0.000 % |
666.59/666.93 c | 917944 | 1000 20000 100000 | 88491 86789 138 | 0.000 % |
668.89/669.28 c | 920942 | 1000 20000 100000 | 2147483647 80904 137 | 0.000 % |
671.39/671.70 c | 924239 | 1000 20000 100000 | 2147483647 84201 137 | 0.000 % |
674.09/674.43 c | 927864 | 1000 20000 100000 | 2147483647 87826 137 | 0.000 % |
677.49/677.82 c | 931851 | 1000 20000 100000 | 2147483647 91813 138 | 0.000 % |
681.19/681.57 c | 936237 | 1000 20000 100000 | 2147483647 96199 137 | 0.000 % |
685.18/685.60 c | 941060 | 1000 20000 100000 | 99962 87488 137 | 0.000 % |
689.39/689.74 c | 946365 | 1000 20000 100000 | 99962 92793 138 | 0.000 % |
694.18/694.51 c | 952201 | 1000 20000 100000 | 96428 85042 138 | 0.000 % |
698.98/699.34 c | 958621 | 1000 20000 100000 | 96428 91462 139 | 0.000 % |
704.68/705.02 c | 965680 | 1000 20000 100000 | 92843 88091 139 | 0.000 % |
710.97/711.36 c | 973444 | 1000 20000 100000 | 2147483647 95855 140 | 0.000 % |
718.88/719.21 c | 981984 | 1000 20000 100000 | 102413 89224 141 | 0.000 % |
718.98/719.30 c | 982085 | 1000 20000 100000 | 102413 89325 141 | 0.000 % |
719.08/719.41 c | 982195 | 1000 20000 100000 | 102413 89435 141 | 0.000 % |
719.18/719.52 c | 982316 | 1000 20000 100000 | 102413 89556 141 | 0.000 % |
719.28/719.65 c | 982449 | 1000 20000 100000 | 102413 89689 141 | 0.000 % |
719.38/719.76 c | 982595 | 1000 20000 100000 | 102413 89835 141 | 0.000 % |
719.58/719.93 c | 982755 | 1000 20000 100000 | 102413 89995 141 | 0.000 % |
719.68/720.07 c | 982932 | 1000 20000 100000 | 102413 90172 141 | 0.000 % |
719.88/720.22 c | 983125 | 1000 20000 100000 | 102413 90365 141 | 0.000 % |
720.08/720.41 c | 983337 | 1000 20000 100000 | 102413 90577 141 | 0.000 % |
720.28/720.61 c | 983572 | 1000 20000 100000 | 102413 90812 141 | 0.000 % |
720.48/720.85 c | 983828 | 1000 20000 100000 | 102413 91068 141 | 0.000 % |
720.68/721.09 c | 984111 | 1000 20000 100000 | 102413 91351 140 | 0.000 % |
720.97/721.39 c | 984420 | 1000 20000 100000 | 102413 91660 140 | 0.000 % |
721.37/721.72 c | 984760 | 1000 20000 100000 | 102413 92000 140 | 0.000 % |
721.67/722.02 c | 985132 | 1000 20000 100000 | 102413 92372 140 | 0.000 % |
721.97/722.38 c | 985543 | 1000 20000 100000 | 102413 92783 140 | 0.000 % |
722.38/722.80 c | 985992 | 1000 20000 100000 | 102413 93232 140 | 0.000 % |
722.87/723.23 c | 986485 | 1000 20000 100000 | 102413 93725 140 | 0.000 % |
723.27/723.66 c | 987028 | 1000 20000 100000 | 102413 94268 140 | 0.000 % |
723.77/724.19 c | 987625 | 1000 20000 100000 | 102413 94865 140 | 0.000 % |
724.37/724.76 c | 988282 | 1000 20000 100000 | 102413 95522 140 | 0.000 % |
724.97/725.38 c | 989002 | 1000 20000 100000 | 102413 96242 140 | 0.000 % |
725.77/726.11 c | 989794 | 1000 20000 100000 | 102413 97034 140 | 0.000 % |
726.57/726.91 c | 990665 | 1000 20000 100000 | 97240 82832 141 | 0.000 % |
727.17/727.58 c | 991623 | 1000 20000 100000 | 97240 83790 141 | 0.000 % |
727.97/728.31 c | 992677 | 1000 20000 100000 | 97240 84844 141 | 0.000 % |
728.77/729.12 c | 993835 | 1000 20000 100000 | 97240 86002 140 | 0.000 % |
729.67/730.06 c | 995109 | 1000 20000 100000 | 97240 87276 140 | 0.000 % |
730.77/731.14 c | 996509 | 1000 20000 100000 | 97240 88676 140 | 0.000 % |
731.87/732.29 c | 998050 | 1000 20000 100000 | 97240 90217 140 | 0.000 % |
733.17/733.58 c | 999744 | 1000 20000 100000 | 97240 91911 140 | 0.000 % |
734.67/735.03 c | 1001607 | 1000 20000 100000 | 92168 82105 140 | 0.000 % |
736.17/736.51 c | 1003657 | 1000 20000 100000 | 92168 84155 140 | 0.000 % |
737.77/738.16 c | 1005910 | 1000 20000 100000 | 92168 86408 140 | 0.000 % |
739.67/740.02 c | 1008388 | 1000 20000 100000 | 92168 88886 139 | 0.000 % |
741.77/742.17 c | 1011113 | 1000 20000 100000 | 90498 81521 139 | 0.000 % |
744.07/744.45 c | 1014110 | 1000 20000 100000 | 90498 84518 139 | 0.000 % |
746.66/747.00 c | 1017408 | 1000 20000 100000 | 90498 87816 139 | 0.000 % |
749.46/749.89 c | 1021033 | 1000 20000 100000 | 90408 81692 139 | 0.000 % |
752.26/752.69 c | 1025021 | 1000 20000 100000 | 90408 85680 140 | 0.000 % |
755.76/756.14 c | 1029406 | 1000 20000 100000 | 90408 90065 140 | 0.000 % |
759.56/759.97 c | 1034229 | 1000 20000 100000 | 90659 84248 140 | 0.000 % |
763.56/763.98 c | 1039535 | 1000 20000 100000 | 90659 89554 140 | 0.000 % |
767.96/768.34 c | 1045371 | 1000 20000 100000 | 90021 85722 139 | 0.000 % |
772.35/772.78 c | 1051790 | 1000 20000 100000 | 90352 82744 138 | 0.000 % |
777.75/778.19 c | 1058849 | 1000 20000 100000 | 90352 89803 138 | 0.000 % |
783.65/784.06 c | 1066615 | 1000 20000 100000 | 81218 79300 140 | 0.000 % |
790.35/790.78 c | 1075157 | 1000 20000 100000 | 2147483647 79687 141 | 0.000 % |
797.75/798.12 c | 1084553 | 1000 20000 100000 | 2147483647 89083 141 | 0.000 % |
797.85/798.23 c | 1084654 | 1000 20000 100000 | 2147483647 89184 141 | 0.000 % |
797.95/798.33 c | 1084765 | 1000 20000 100000 | 2147483647 89295 141 | 0.000 % |
798.05/798.44 c | 1084887 | 1000 20000 100000 | 2147483647 89417 141 | 0.000 % |
798.15/798.56 c | 1085020 | 1000 20000 100000 | 2147483647 89550 141 | 0.000 % |
798.35/798.72 c | 1085166 | 1000 20000 100000 | 2147483647 89696 141 | 0.000 % |
798.45/798.88 c | 1085326 | 1000 20000 100000 | 2147483647 89856 141 | 0.000 % |
798.65/799.04 c | 1085503 | 1000 20000 100000 | 2147483647 90033 141 | 0.000 % |
798.85/799.24 c | 1085697 | 1000 20000 100000 | 2147483647 90227 141 | 0.000 % |
799.05/799.43 c | 1085910 | 1000 20000 100000 | 2147483647 90440 141 | 0.000 % |
799.25/799.62 c | 1086144 | 1000 20000 100000 | 2147483647 90674 141 | 0.000 % |
799.44/799.83 c | 1086401 | 1000 20000 100000 | 2147483647 90931 141 | 0.000 % |
799.64/800.05 c | 1086682 | 1000 20000 100000 | 2147483647 91212 141 | 0.000 % |
799.84/800.28 c | 1086991 | 1000 20000 100000 | 2147483647 91521 140 | 0.000 % |
800.14/800.55 c | 1087333 | 1000 20000 100000 | 2147483647 91863 140 | 0.000 % |
800.45/800.84 c | 1087705 | 1000 20000 100000 | 2147483647 92235 140 | 0.000 % |
800.74/801.14 c | 1088115 | 1000 20000 100000 | 2147483647 92645 140 | 0.000 % |
801.14/801.52 c | 1088564 | 1000 20000 100000 | 2147483647 93094 140 | 0.000 % |
801.55/801.98 c | 1089059 | 1000 20000 100000 | 2147483647 93589 140 | 0.000 % |
802.04/802.47 c | 1089601 | 1000 20000 100000 | 2147483647 94131 140 | 0.000 % |
802.55/802.98 c | 1090201 | 1000 20000 100000 | 94530 94731 140 | 0.000 % |
803.14/803.59 c | 1090857 | 1000 20000 100000 | 94530 83479 141 | 0.000 % |
803.74/804.13 c | 1091577 | 1000 20000 100000 | 94530 84199 141 | 0.000 % |
804.34/804.76 c | 1092369 | 1000 20000 100000 | 94530 84991 141 | 0.000 % |
805.04/805.45 c | 1093240 | 1000 20000 100000 | 94530 85862 141 | 0.000 % |
805.74/806.17 c | 1094198 | 1000 20000 100000 | 94530 86820 141 | 0.000 % |
806.54/806.97 c | 1095251 | 1000 20000 100000 | 94530 87873 141 | 0.000 % |
807.44/807.85 c | 1096413 | 1000 20000 100000 | 94530 89035 140 | 0.000 % |
808.44/808.80 c | 1097686 | 1000 20000 100000 | 94530 90308 140 | 0.000 % |
809.44/809.88 c | 1099089 | 1000 20000 100000 | 94530 91711 140 | 0.000 % |
810.85/811.26 c | 1100629 | 1000 20000 100000 | 92622 82033 141 | 0.000 % |
812.15/812.55 c | 1102323 | 1000 20000 100000 | 92622 83727 140 | 0.000 % |
813.55/813.93 c | 1104188 | 1000 20000 100000 | 92622 85592 140 | 0.000 % |
815.05/815.42 c | 1106244 | 1000 20000 100000 | 92622 87648 140 | 0.000 % |
816.64/817.09 c | 1108497 | 1000 20000 100000 | 92622 89901 140 | 0.000 % |
818.64/819.03 c | 1110975 | 1000 20000 100000 | 91405 81812 139 | 0.000 % |
820.74/821.12 c | 1113701 | 1000 20000 100000 | 91405 84538 139 | 0.000 % |
822.94/823.37 c | 1116698 | 1000 20000 100000 | 91405 87535 139 | 0.000 % |
825.44/825.81 c | 1119994 | 1000 20000 100000 | 91405 90831 139 | 0.000 % |
828.24/828.65 c | 1123619 | 1000 20000 100000 | 90837 84799 138 | 0.000 % |
831.24/831.65 c | 1127607 | 1000 20000 100000 | 90837 88787 138 | 0.000 % |
834.54/834.93 c | 1131992 | 1000 20000 100000 | 91180 83112 138 | 0.000 % |
838.24/838.63 c | 1136816 | 1000 20000 100000 | 91180 87936 139 | 0.000 % |
842.33/842.74 c | 1142121 | 1000 20000 100000 | 91123 83024 138 | 0.000 % |
846.54/846.94 c | 1147956 | 1000 20000 100000 | 91123 88859 139 | 0.000 % |
851.63/852.02 c | 1154374 | 1000 20000 100000 | 90904 85898 138 | 0.000 % |
857.33/857.76 c | 1161437 | 1000 20000 100000 | 82217 75320 139 | 0.000 % |
863.23/863.61 c | 1169202 | 1000 20000 100000 | 82217 74830 140 | 0.000 % |
869.53/869.99 c | 1177743 | 1000 20000 100000 | 2147483647 83371 139 | 0.000 % |
877.82/878.20 c | 1187139 | 1000 20000 100000 | 2147483647 92767 140 | 0.000 % |
886.62/887.04 c | 1197472 | 1000 20000 100000 | 95628 90661 141 | 0.000 % |
886.72/887.12 c | 1197573 | 1000 20000 100000 | 95628 90762 141 | 0.000 % |
886.82/887.23 c | 1197684 | 1000 20000 100000 | 95628 90873 141 | 0.000 % |
886.92/887.34 c | 1197808 | 1000 20000 100000 | 95628 90997 141 | 0.000 % |
887.02/887.45 c | 1197944 | 1000 20000 100000 | 95628 91133 141 | 0.000 % |
887.12/887.55 c | 1198092 | 1000 20000 100000 | 95628 91281 141 | 0.000 % |
887.33/887.71 c | 1198252 | 1000 20000 100000 | 95628 91441 141 | 0.000 % |
887.42/887.87 c | 1198433 | 1000 20000 100000 | 95628 91622 141 | 0.000 % |
887.62/888.02 c | 1198626 | 1000 20000 100000 | 95628 91815 141 | 0.000 % |
887.72/888.20 c | 1198839 | 1000 20000 100000 | 95628 92028 141 | 0.000 % |
888.02/888.40 c | 1199072 | 1000 20000 100000 | 95628 92261 141 | 0.000 % |
888.22/888.63 c | 1199328 | 1000 20000 100000 | 95628 92517 140 | 0.000 % |
888.42/888.86 c | 1199610 | 1000 20000 100000 | 95628 92799 140 | 0.000 % |
888.72/889.11 c | 1199919 | 1000 20000 100000 | 95628 93108 140 | 0.000 % |
889.02/889.41 c | 1200258 | 1000 20000 100000 | 93189 93447 140 | 0.000 % |
889.32/889.76 c | 1200631 | 1000 20000 100000 | 93189 81381 141 | 0.000 % |
889.62/890.05 c | 1201040 | 1000 20000 100000 | 93189 81790 141 | 0.000 % |
889.92/890.39 c | 1201489 | 1000 20000 100000 | 93189 82239 141 | 0.000 % |
890.32/890.75 c | 1201984 | 1000 20000 100000 | 93189 82734 141 | 0.000 % |
890.72/891.15 c | 1202527 | 1000 20000 100000 | 93189 83277 141 | 0.000 % |
891.22/891.62 c | 1203123 | 1000 20000 100000 | 93189 83873 141 | 0.000 % |
891.62/892.10 c | 1203778 | 1000 20000 100000 | 93189 84528 141 | 0.000 % |
892.22/892.62 c | 1204500 | 1000 20000 100000 | 93189 85250 141 | 0.000 % |
892.82/893.24 c | 1205295 | 1000 20000 100000 | 93189 86045 141 | 0.000 % |
893.42/893.88 c | 1206166 | 1000 20000 100000 | 93189 86916 141 | 0.000 % |
894.22/894.61 c | 1207126 | 1000 20000 100000 | 93189 87876 141 | 0.000 % |
895.02/895.44 c | 1208179 | 1000 20000 100000 | 93189 88929 141 | 0.000 % |
896.02/896.41 c | 1209338 | 1000 20000 100000 | 93189 90088 141 | 0.000 % |
897.02/897.48 c | 1210613 | 1000 20000 100000 | 90751 80460 140 | 0.000 % |
898.02/898.41 c | 1212014 | 1000 20000 100000 | 90751 81861 140 | 0.000 % |
899.12/899.57 c | 1213554 | 1000 20000 100000 | 90751 83401 140 | 0.000 % |
900.32/900.75 c | 1215249 | 1000 20000 100000 | 90751 85096 140 | 0.000 % |
901.71/902.14 c | 1217113 | 1000 20000 100000 | 90751 86960 140 | 0.000 % |
903.21/903.67 c | 1219162 | 1000 20000 100000 | 90751 89009 140 | 0.000 % |
905.01/905.41 c | 1221417 | 1000 20000 100000 | 89847 80817 140 | 0.000 % |
906.71/907.19 c | 1223897 | 1000 20000 100000 | 89847 83297 139 | 0.000 % |
908.81/909.23 c | 1226623 | 1000 20000 100000 | 89847 86023 139 | 0.000 % |
910.91/911.37 c | 1229622 | 1000 20000 100000 | 89847 89022 139 | 0.000 % |
913.51/913.90 c | 1232919 | 1000 20000 100000 | 2147483647 92319 139 | 0.000 % |
916.41/916.80 c | 1236545 | 1000 20000 100000 | 2147483647 95945 140 | 0.000 % |
919.51/919.99 c | 1240533 | 1000 20000 100000 | 99402 87608 139 | 0.000 % |
922.81/923.26 c | 1244919 | 1000 20000 100000 | 99402 91994 139 | 0.000 % |
926.61/927.10 c | 1249743 | 1000 20000 100000 | 99402 96818 139 | 0.000 % |
930.70/931.17 c | 1255048 | 1000 20000 100000 | 97080 89534 139 | 0.000 % |
935.30/935.77 c | 1260884 | 1000 20000 100000 | 94486 83789 140 | 0.000 % |
940.20/940.65 c | 1267302 | 1000 20000 100000 | 94486 90207 140 | 0.000 % |
945.90/946.39 c | 1274361 | 1000 20000 100000 | 92905 86419 140 | 0.000 % |
952.20/952.62 c | 1282126 | 1000 20000 100000 | 92058 84237 140 | 0.000 % |
959.30/959.77 c | 1290667 | 1000 20000 100000 | 92112 82289 142 | 0.000 % |
966.99/967.47 c | 1300061 | 1000 20000 100000 | 91622 91683 142 | 0.000 % |
974.49/974.91 c | 1310397 | 1000 20000 100000 | 90680 79344 144 | 0.000 % |
983.09/983.52 c | 1321763 | 1000 20000 100000 | 88947 80506 144 | 0.000 % |
983.19/983.60 c | 1321864 | 1000 20000 100000 | 88947 80607 144 | 0.000 % |
983.19/983.69 c | 1321974 | 1000 20000 100000 | 88947 80717 143 | 0.000 % |
983.29/983.80 c | 1322095 | 1000 20000 100000 | 88947 80838 143 | 0.000 % |
983.49/983.93 c | 1322230 | 1000 20000 100000 | 88947 80973 143 | 0.000 % |
983.59/984.06 c | 1322376 | 1000 20000 100000 | 88947 81119 143 | 0.000 % |
983.79/984.21 c | 1322537 | 1000 20000 100000 | 88947 81280 143 | 0.000 % |
983.89/984.40 c | 1322715 | 1000 20000 100000 | 88947 81458 143 | 0.000 % |
984.09/984.55 c | 1322908 | 1000 20000 100000 | 88947 81651 143 | 0.000 % |
984.29/984.74 c | 1323124 | 1000 20000 100000 | 88947 81867 143 | 0.000 % |
984.49/984.91 c | 1323358 | 1000 20000 100000 | 88947 82101 143 | 0.000 % |
984.69/985.10 c | 1323614 | 1000 20000 100000 | 88947 82357 143 | 0.000 % |
984.89/985.32 c | 1323895 | 1000 20000 100000 | 88947 82638 143 | 0.000 % |
985.09/985.56 c | 1324206 | 1000 20000 100000 | 88947 82949 143 | 0.000 % |
985.39/985.83 c | 1324546 | 1000 20000 100000 | 88947 83289 143 | 0.000 % |
985.79/986.21 c | 1324918 | 1000 20000 100000 | 88947 83661 143 | 0.000 % |
986.09/986.56 c | 1325328 | 1000 20000 100000 | 88947 84071 143 | 0.000 % |
986.49/986.92 c | 1325777 | 1000 20000 100000 | 88947 84520 143 | 0.000 % |
986.89/987.33 c | 1326270 | 1000 20000 100000 | 88947 85013 143 | 0.000 % |
987.29/987.73 c | 1326814 | 1000 20000 100000 | 88947 85557 143 | 0.000 % |
987.68/988.16 c | 1327411 | 1000 20000 100000 | 88947 86154 142 | 0.000 % |
988.18/988.66 c | 1328068 | 1000 20000 100000 | 88947 86811 142 | 0.000 % |
988.78/989.29 c | 1328788 | 1000 20000 100000 | 88947 87531 142 | 0.000 % |
989.49/989.92 c | 1329580 | 1000 20000 100000 | 88947 88323 142 | 0.000 % |
990.18/990.65 c | 1330453 | 1000 20000 100000 | 88744 78645 142 | 0.000 % |
990.88/991.36 c | 1331412 | 1000 20000 100000 | 88744 79604 142 | 0.000 % |
991.58/992.10 c | 1332467 | 1000 20000 100000 | 88744 80659 142 | 0.000 % |
992.48/992.97 c | 1333625 | 1000 20000 100000 | 88744 81817 142 | 0.000 % |
993.38/993.90 c | 1334900 | 1000 20000 100000 | 88744 83092 142 | 0.000 % |
994.38/994.89 c | 1336303 | 1000 20000 100000 | 88744 84495 142 | 0.000 % |
995.58/996.06 c | 1337843 | 1000 20000 100000 | 88744 86035 142 | 0.000 % |
996.88/997.31 c | 1339540 | 1000 20000 100000 | 88744 87732 141 | 0.000 % |
998.29/998.76 c | 1341403 | 1000 20000 100000 | 88192 80332 141 | 0.000 % |
999.68/1000.16 c | 1343453 | 1000 20000 100000 | 88192 82382 141 | 0.000 % |
1001.28/1001.74 c | 1345707 | 1000 20000 100000 | 88192 84636 141 | 0.000 % |
1002.98/1003.45 c | 1348185 | 1000 20000 100000 | 88192 87114 141 | 0.000 % |
1004.98/1005.45 c | 1350911 | 1000 20000 100000 | 2147483647 80983 140 | 0.000 % |
1007.08/1007.51 c | 1353911 | 1000 20000 100000 | 2147483647 83983 140 | 0.000 % |
1009.48/1009.91 c | 1357207 | 1000 20000 100000 | 2147483647 87279 140 | 0.000 % |
1012.19/1012.61 c | 1360832 | 1000 20000 100000 | 2147483647 90904 140 | 0.000 % |
1015.29/1015.78 c | 1364819 | 1000 20000 100000 | 2147483647 94891 140 | 0.000 % |
1019.09/1019.51 c | 1369208 | 1000 20000 100000 | 2147483647 99280 140 | 0.000 % |
1022.98/1023.46 c | 1374031 | 1000 20000 100000 | 100073 90895 139 | 0.000 % |
1027.18/1027.62 c | 1379337 | 1000 20000 100000 | 100073 96201 139 | 0.000 % |
1031.48/1031.98 c | 1385174 | 1000 20000 100000 | 96867 89005 138 | 0.000 % |
1036.58/1037.07 c | 1391592 | 1000 20000 100000 | 93832 84131 138 | 0.000 % |
1041.88/1042.31 c | 1398651 | 1000 20000 100000 | 93832 91190 138 | 0.000 % |
1047.78/1048.26 c | 1406415 | 1000 20000 100000 | 92543 87295 138 | 0.000 % |
1054.27/1054.77 c | 1414959 | 1000 20000 100000 | 90881 86438 140 | 0.000 % |
1061.77/1062.20 c | 1424354 | 1000 20000 100000 | 2147483647 86715 141 | 0.000 % |
1069.87/1070.38 c | 1434689 | 1000 20000 100000 | 92363 87132 141 | 0.000 % |
1079.17/1079.62 c | 1446056 | 1000 20000 100000 | 92443 88329 144 | 0.000 % |
1088.47/1088.92 c | 1458558 | 1000 20000 100000 | 92274 89709 145 | 0.000 % |
1088.57/1089.02 c | 1458660 | 1000 20000 100000 | 92274 89811 145 | 0.000 % |
1088.66/1089.11 c | 1458770 | 1000 20000 100000 | 92274 89921 145 | 0.000 % |
1088.76/1089.21 c | 1458891 | 1000 20000 100000 | 92274 90042 145 | 0.000 % |
1088.86/1089.34 c | 1459024 | 1000 20000 100000 | 92274 90175 145 | 0.000 % |
1088.96/1089.49 c | 1459171 | 1000 20000 100000 | 92274 90322 145 | 0.000 % |
1089.16/1089.63 c | 1459331 | 1000 20000 100000 | 92274 90482 145 | 0.000 % |
1089.26/1089.79 c | 1459508 | 1000 20000 100000 | 92274 90659 145 | 0.000 % |
1089.46/1089.99 c | 1459705 | 1000 20000 100000 | 92274 90856 145 | 0.000 % |
1089.76/1090.20 c | 1459917 | 1000 20000 100000 | 92274 91068 145 | 0.000 % |
1089.86/1090.39 c | 1460151 | 1000 20000 100000 | 91151 91302 145 | 0.000 % |
1090.16/1090.62 c | 1460407 | 1000 20000 100000 | 91151 79553 145 | 0.000 % |
1090.36/1090.82 c | 1460688 | 1000 20000 100000 | 91151 79834 145 | 0.000 % |
1090.56/1091.06 c | 1460999 | 1000 20000 100000 | 91151 80145 145 | 0.000 % |
1090.86/1091.34 c | 1461340 | 1000 20000 100000 | 91151 80486 145 | 0.000 % |
1091.16/1091.64 c | 1461715 | 1000 20000 100000 | 91151 80861 145 | 0.000 % |
1091.46/1091.95 c | 1462127 | 1000 20000 100000 | 91151 81273 145 | 0.000 % |
1091.77/1092.26 c | 1462576 | 1000 20000 100000 | 91151 81722 145 | 0.000 % |
1092.16/1092.69 c | 1463069 | 1000 20000 100000 | 91151 82215 145 | 0.000 % |
1092.66/1093.12 c | 1463611 | 1000 20000 100000 | 91151 82757 145 | 0.000 % |
1093.06/1093.57 c | 1464208 | 1000 20000 100000 | 91151 83354 145 | 0.000 % |
1093.56/1094.08 c | 1464863 | 1000 20000 100000 | 91151 84009 145 | 0.000 % |
1094.16/1094.67 c | 1465583 | 1000 20000 100000 | 91151 84729 144 | 0.000 % |
1094.86/1095.32 c | 1466377 | 1000 20000 100000 | 91151 85523 144 | 0.000 % |
1095.56/1096.00 c | 1467249 | 1000 20000 100000 | 91151 86395 144 | 0.000 % |
1096.26/1096.74 c | 1468207 | 1000 20000 100000 | 91151 87353 144 | 0.000 % |
1097.06/1097.54 c | 1469261 | 1000 20000 100000 | 91151 88407 144 | 0.000 % |
1097.96/1098.48 c | 1470420 | 1000 20000 100000 | 89147 78359 144 | 0.000 % |
1098.76/1099.27 c | 1471694 | 1000 20000 100000 | 89147 79633 144 | 0.000 % |
1099.76/1100.23 c | 1473094 | 1000 20000 100000 | 89147 81033 144 | 0.000 % |
1100.96/1101.47 c | 1474634 | 1000 20000 100000 | 89147 82573 144 | 0.000 % |
1102.26/1102.76 c | 1476329 | 1000 20000 100000 | 89147 84268 144 | 0.000 % |
1103.66/1104.11 c | 1478192 | 1000 20000 100000 | 89147 86131 143 | 0.000 % |
1105.16/1105.66 c | 1480242 | 1000 20000 100000 | 87939 88181 143 | 0.000 % |
1106.76/1107.26 c | 1482496 | 1000 20000 100000 | 87939 81039 143 | 0.000 % |
1108.36/1108.85 c | 1484975 | 1000 20000 100000 | 87939 83518 142 | 0.000 % |
1110.25/1110.78 c | 1487701 | 1000 20000 100000 | 87939 86244 142 | 0.000 % |
1112.55/1113.02 c | 1490701 | 1000 20000 100000 | 2147483647 80411 141 | 0.000 % |
1115.15/1115.69 c | 1493997 | 1000 20000 100000 | 2147483647 83707 141 | 0.000 % |
1118.05/1118.51 c | 1497622 | 1000 20000 100000 | 2147483647 87332 141 | 0.000 % |
1121.05/1121.57 c | 1501610 | 1000 20000 100000 | 2147483647 91320 142 | 0.000 % |
1124.65/1125.17 c | 1505995 | 1000 20000 100000 | 2147483647 95705 142 | 0.000 % |
1128.55/1129.00 c | 1510818 | 1000 20000 100000 | 99710 87268 141 | 0.000 % |
1132.75/1133.24 c | 1516123 | 1000 20000 100000 | 99710 92573 142 | 0.000 % |
1137.54/1138.09 c | 1521958 | 1000 20000 100000 | 96451 86445 142 | 0.000 % |
1142.64/1143.18 c | 1528378 | 1000 20000 100000 | 96451 92865 143 | 0.000 % |
1147.94/1148.44 c | 1535438 | 1000 20000 100000 | 94488 88692 141 | 0.000 % |
1154.24/1154.70 c | 1543202 | 1000 20000 100000 | 93254 85891 140 | 0.000 % |
1161.24/1161.75 c | 1551742 | 1000 20000 100000 | 92689 83359 141 | 0.000 % |
1169.23/1169.77 c | 1561136 | 1000 20000 100000 | 91618 82076 142 | 0.000 % |
1177.93/1178.48 c | 1571469 | 1000 20000 100000 | 90940 81422 143 | 0.000 % |
1187.13/1187.62 c | 1582836 | 1000 20000 100000 | 89953 83275 144 | 0.000 % |
1197.43/1197.96 c | 1595338 | 1000 20000 100000 | 80369 76853 144 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832459-1242773629/watcher-1832459-1242773629 -o /tmp/evaluation-result-1832459-1242773629/solver-1832459-1242773629 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832459-1242773629.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.91 3/64 15827
/proc/meminfo: memFree=1904776/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 132364731 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15827/statm: 1339 237 197 169 0 50 0
[startup+0.088825 s]
/proc/loadavg: 0.99 0.98 0.91 3/64 15827
/proc/meminfo: memFree=1904776/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.10182 s]
/proc/loadavg: 0.99 0.98 0.91 3/64 15827
/proc/meminfo: memFree=1904776/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.301844 s]
/proc/loadavg: 0.99 0.98 0.91 3/64 15827
/proc/meminfo: memFree=1904776/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+0.70189 s]
/proc/loadavg: 0.99 0.98 0.91 3/64 15827
/proc/meminfo: memFree=1904776/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5356
[startup+1.50296 s]
/proc/loadavg: 0.99 0.98 0.91 2/66 15833
/proc/meminfo: memFree=1898680/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=6772 CPUtime=1.42
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 1446 0 0 0 142 0 0 0 25 0 1 0 132364737 6934528 1432 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 1693 1432 77 171 0 1520 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 12128
[startup+3.10113 s]
/proc/loadavg: 0.99 0.98 0.91 2/66 15833
/proc/meminfo: memFree=1896568/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=11300 CPUtime=3.02
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 2567 0 0 0 301 1 0 0 25 0 1 0 132364737 11571200 2553 1992294400 134512640 135215339 4294956240 18446744073709551615 134541005 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 2825 2553 77 171 0 2652 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 16656
[startup+6.30147 s]
/proc/loadavg: 0.99 0.98 0.91 2/66 15833
/proc/meminfo: memFree=1888952/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=17704 CPUtime=6.22
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 4180 0 0 0 619 3 0 0 25 0 1 0 132364737 18128896 4166 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 4426 4166 77 171 0 4253 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 23060
[startup+12.7011 s]
/proc/loadavg: 0.99 0.98 0.91 2/66 15833
/proc/meminfo: memFree=1879040/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=26760 CPUtime=12.61
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 6434 0 0 0 1256 5 0 0 25 0 1 0 132364737 27402240 6420 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 6690 6420 77 171 0 6517 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 32116
[startup+25.5015 s]
/proc/loadavg: 0.99 0.98 0.91 2/66 15833
/proc/meminfo: memFree=1865344/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=39816 CPUtime=25.4
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 9701 0 0 0 2532 8 0 0 25 0 1 0 132364737 40771584 9687 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 9954 9687 77 171 0 9781 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 45172
[startup+51.1012 s]
/proc/loadavg: 0.99 0.98 0.91 2/66 15833
/proc/meminfo: memFree=1849664/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=55308 CPUtime=50.99
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 13534 0 0 0 5087 12 0 0 25 0 1 0 132364737 56635392 13520 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 13827 13520 77 171 0 13654 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 60664
[startup+102.306 s]
/proc/loadavg: 0.99 0.98 0.91 2/66 15833
/proc/meminfo: memFree=1849600/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=55308 CPUtime=102.17
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 13534 0 0 0 10204 13 0 0 25 0 1 0 132364737 56635392 13520 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 13827 13520 77 171 0 13654 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 60664
[startup+162.302 s]
/proc/loadavg: 1.06 1.00 0.92 2/66 15833
/proc/meminfo: memFree=1849536/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=55308 CPUtime=162.14
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 13534 0 0 0 16201 13 0 0 25 0 1 0 132364737 56635392 13520 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 13827 13520 77 171 0 13654 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 60664
[startup+222.301 s]
/proc/loadavg: 1.07 1.01 0.93 2/66 15833
/proc/meminfo: memFree=1849024/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=55704 CPUtime=222.11
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 13638 0 0 0 22198 13 0 0 25 0 1 0 132364737 57040896 13624 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 13926 13624 77 171 0 13753 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 61060
[startup+282.301 s]
/proc/loadavg: 1.08 1.03 0.93 2/66 15833
/proc/meminfo: memFree=1847872/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=56628 CPUtime=282.09
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 13887 0 0 0 28195 14 0 0 25 0 1 0 132364737 57987072 13873 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 14157 13873 77 171 0 13984 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 61984
[startup+342.302 s]
/proc/loadavg: 1.07 1.03 0.94 2/66 15833
/proc/meminfo: memFree=1841152/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=63360 CPUtime=342.07
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 15546 0 0 0 34191 16 0 0 25 0 1 0 132364737 64880640 15532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 15840 15532 77 171 0 15667 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 68716
[startup+402.302 s]
/proc/loadavg: 1.14 1.06 0.95 2/66 15833
/proc/meminfo: memFree=1841088/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=63168 CPUtime=402.06
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 15546 0 0 0 40189 17 0 0 25 0 1 0 132364737 64684032 15516 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 15792 15516 77 171 0 15619 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 68524
[startup+462.301 s]
################
# More data... #
################
/proc/15833/statm: 15792 15516 77 171 0 15619 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 68524
[startup+642.301 s]
/proc/loadavg: 1.00 1.03 0.96 2/66 15839
/proc/meminfo: memFree=1840576/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=63168 CPUtime=641.96
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 15546 0 0 0 64177 19 0 0 25 0 1 0 132364737 64684032 15516 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 15792 15516 77 171 0 15619 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 68524
[startup+702.301 s]
/proc/loadavg: 1.00 1.02 0.96 2/66 15839
/proc/meminfo: memFree=1840192/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=63564 CPUtime=701.94
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 15636 0 0 0 70174 20 0 0 25 0 1 0 132364737 65089536 15606 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 15891 15606 77 171 0 15718 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 68920
[startup+762.306 s]
/proc/loadavg: 1.00 1.02 0.96 2/66 15839
/proc/meminfo: memFree=1837504/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=66072 CPUtime=761.92
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 16255 0 0 0 76171 21 0 0 25 0 1 0 132364737 67657728 16225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 16518 16225 77 171 0 16345 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 71428
[startup+822.302 s]
/proc/loadavg: 1.00 1.01 0.96 2/66 15839
/proc/meminfo: memFree=1837440/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=66072 CPUtime=821.9
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 16255 0 0 0 82168 22 0 0 25 0 1 0 132364737 67657728 16225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 16518 16225 77 171 0 16345 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 71428
[startup+882.301 s]
/proc/loadavg: 1.00 1.01 0.96 2/66 15839
/proc/meminfo: memFree=1837376/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=66072 CPUtime=881.88
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 16255 0 0 0 88166 22 0 0 25 0 1 0 132364737 67657728 16225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 16518 16225 77 171 0 16345 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 71428
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15839
/proc/meminfo: memFree=1837248/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=66072 CPUtime=941.86
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 16255 0 0 0 94164 22 0 0 25 0 1 0 132364737 67657728 16225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 16518 16225 77 171 0 16345 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 71428
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15839
/proc/meminfo: memFree=1837184/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=66072 CPUtime=1001.84
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 16255 0 0 0 100162 22 0 0 25 0 1 0 132364737 67657728 16225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 16518 16225 77 171 0 16345 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 71428
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15839
/proc/meminfo: memFree=1837056/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=66072 CPUtime=1061.83
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 16255 0 0 0 106160 23 0 0 25 0 1 0 132364737 67657728 16225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 16518 16225 77 171 0 16345 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 71428
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15839
/proc/meminfo: memFree=1836992/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=66072 CPUtime=1121.81
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 16255 0 0 0 112158 23 0 0 25 0 1 0 132364737 67657728 16225 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 16518 16225 77 171 0 16345 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 71428
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15839
/proc/meminfo: memFree=1836480/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=66468 CPUtime=1181.79
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 16351 0 0 0 118156 23 0 0 25 0 1 0 132364737 68063232 16321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 16617 16321 77 171 0 16444 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 71824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 15839
/proc/meminfo: memFree=1836480/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=66468 CPUtime=1199.99
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 16351 0 0 0 119976 23 0 0 25 0 1 0 132364737 68063232 16321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 16617 16321 77 171 0 16444 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 71824
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 0.96 2/66 15839
/proc/meminfo: memFree=1836480/2055920 swapFree=4180320/4192956
[pid=15827] ppid=15825 vsize=5356 CPUtime=0.04
/proc/15827/stat : 15827 (SatELiteGTI) S 15825 15827 15506 0 -1 4194304 336 769 0 0 0 0 4 0 16 0 1 0 132364731 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244671112004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15827/statm: 1339 239 197 169 0 50 0
[pid=15833] ppid=15827 vsize=66468 CPUtime=1199.99
/proc/15833/stat : 15833 (minisat_static) R 15827 15827 15506 0 -1 4194304 16351 0 0 0 119976 23 0 0 25 0 1 0 132364737 68063232 16321 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/15833/statm: 16617 16321 77 171 0 16444 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 71824
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15827 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=49992
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=9998
# CPU time returned by wait4() is 0.05999
# while last known CPU time is 1200.03
#
# 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.03
CPU user time (s): 1199.8
CPU system time (s): 0.23
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 71824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.049992
system time used= 0.009998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1105
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= 13
involuntary context switches= 15
runsolver used 1.42078 second user time and 3.07353 second system time
The end
Begin job on node7 at 2009-05-20 00:53:49
IDJOB=1832459
IDBENCH=70193
IDSOLVER=671
FILE ID=node7/1832459-1242773629
PBS_JOBID= 9322291
Free space on /tmp= 66312 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/1000/unif-k5-r20-v1000-c20000-S2054549948-012.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832459-1242773629/watcher-1832459-1242773629 -o /tmp/evaluation-result-1832459-1242773629/solver-1832459-1242773629 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832459-1242773629.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 60b6e2588c02cbe8eea228421d953cc1
RANDOM SEED=366577933
node7.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.243
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 : 5914.62
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.243
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: 1905256 kB
Buffers: 16136 kB
Cached: 98268 kB
SwapCached: 7248 kB
Active: 63084 kB
Inactive: 60056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1905256 kB
SwapTotal: 4192956 kB
SwapFree: 4180320 kB
Dirty: 2052 kB
Writeback: 0 kB
Mapped: 13464 kB
Slab: 13536 kB
Committed_AS: 383664 kB
PageTables: 1444 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= 66312 MiB
End job on node7 at 2009-05-20 01:13:51