0.00/0.00 c Parsing...
0.00/0.00 c ==============================================================================
0.00/0.00 c | | ORIGINAL | LEARNT | |
0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.00 c ==============================================================================
0.00/0.00 c | 0 | 384 960 | 115 0 0 nan | 0.000 % |
0.00/0.00 c ==============================================================================
0.00/0.00 c Result : #vars: 160 #clauses: 384 #literals: 960
0.00/0.00 c CPU time: 0.000999 s
0.00/0.00 c ==============================================================================
0.00/0.00 c This is MiniSat 2.0 beta
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c ============================[ Problem Statistics ]=============================
0.00/0.00 c | |
0.00/0.00 c | Number of variables: 160 |
0.00/0.00 c | Number of clauses: 384 |
0.00/0.00 c | Parsing time: 0.00 s |
0.00/0.00 c ============================[ Search Statistics ]==============================
0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.00 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.00 c ===============================================================================
0.00/0.00 c | 0 | 160 384 960 | 128 0 nan | 0.000 % |
0.00/0.01 c | 101 | 160 384 960 | 128 101 27 | 0.004 % |
0.00/0.01 c | 201 | 160 384 960 | 128 173 26 | 0.004 % |
0.00/0.01 c | 302 | 160 384 960 | 128 178 24 | 0.004 % |
0.00/0.01 c | 415 | 160 384 960 | 128 214 22 | 0.004 % |
0.00/0.01 c | 517 | 160 384 960 | 128 182 19 | 0.004 % |
0.00/0.02 c | 630 | 160 384 960 | 128 185 19 | 0.004 % |
0.00/0.02 c | 752 | 160 384 960 | 128 208 21 | 0.004 % |
0.00/0.02 c | 853 | 160 384 960 | 128 193 19 | 0.004 % |
0.00/0.02 c | 963 | 160 384 960 | 128 187 19 | 0.004 % |
0.00/0.03 c | 1085 | 160 384 960 | 128 183 19 | 0.004 % |
0.00/0.03 c | 1218 | 160 384 960 | 128 174 17 | 0.004 % |
0.00/0.03 c | 1318 | 160 384 960 | 128 176 17 | 0.004 % |
0.00/0.03 c | 1430 | 160 384 960 | 128 194 18 | 0.004 % |
0.00/0.04 c | 1555 | 160 384 960 | 128 184 17 | 0.004 % |
0.00/0.04 c | 1688 | 160 384 960 | 128 172 17 | 0.004 % |
0.00/0.04 c | 1834 | 160 384 960 | 128 168 16 | 0.004 % |
0.00/0.04 c | 1934 | 160 384 960 | 128 169 17 | 0.004 % |
0.00/0.05 c | 2045 | 160 384 960 | 128 184 18 | 0.004 % |
0.00/0.05 c | 2167 | 160 384 960 | 128 182 18 | 0.004 % |
0.00/0.05 c | 2301 | 160 384 960 | 128 177 18 | 0.004 % |
0.00/0.06 c | 2447 | 160 384 960 | 128 189 16 | 0.004 % |
0.00/0.06 c | 2608 | 160 384 960 | 128 183 15 | 0.004 % |
0.00/0.06 c | 2708 | 160 384 960 | 128 184 16 | 0.004 % |
0.00/0.06 c | 2818 | 160 384 960 | 128 195 18 | 0.004 % |
0.00/0.07 c | 2942 | 160 384 960 | 128 173 15 | 0.004 % |
0.00/0.07 c | 3076 | 160 384 960 | 128 188 16 | 0.004 % |
0.00/0.07 c | 3223 | 160 384 960 | 128 180 15 | 0.004 % |
0.00/0.08 c | 3383 | 160 384 960 | 128 173 15 | 0.004 % |
0.00/0.08 c | 3560 | 160 384 960 | 128 165 13 | 0.004 % |
0.00/0.08 c | 3660 | 160 384 960 | 128 187 15 | 0.004 % |
0.00/0.08 c | 3770 | 160 384 960 | 128 183 15 | 0.004 % |
0.00/0.09 c | 3892 | 160 384 960 | 128 183 15 | 0.020 % |
0.00/0.09 c | 4027 | 160 384 960 | 128 171 15 | 0.004 % |
0.00/0.09 c | 4176 | 160 384 960 | 128 172 14 | 0.004 % |
0.00/0.10 c | 4337 | 160 384 960 | 128 196 16 | 0.004 % |
0.00/0.10 c | 4514 | 160 384 960 | 128 176 14 | 0.004 % |
0.00/0.10 c | 4707 | 160 384 960 | 128 182 14 | 0.004 % |
0.00/0.11 c | 4807 | 160 384 960 | 128 187 17 | 0.004 % |
0.00/0.11 c | 4917 | 160 384 960 | 128 172 14 | 0.004 % |
0.00/0.11 c | 5043 | 160 384 960 | 128 199 17 | 0.004 % |
0.00/0.11 c | 5177 | 160 384 960 | 128 177 13 | 0.004 % |
0.00/0.12 c | 5323 | 160 384 960 | 128 181 13 | 0.004 % |
0.00/0.12 c | 5483 | 160 384 960 | 128 180 12 | 0.020 % |
0.00/0.12 c | 5659 | 160 384 960 | 128 179 13 | 0.004 % |
0.00/0.13 c | 5852 | 160 384 960 | 128 178 15 | 0.004 % |
0.00/0.13 c | 6064 | 160 384 960 | 128 165 12 | 0.004 % |
0.00/0.13 c | 6164 | 160 384 960 | 128 204 18 | 0.004 % |
0.00/0.14 c | 6274 | 160 384 960 | 128 183 15 | 0.004 % |
0.00/0.14 c | 6395 | 160 384 960 | 128 174 15 | 0.004 % |
0.00/0.14 c | 6528 | 160 384 960 | 128 156 12 | 0.004 % |
0.00/0.14 c | 6675 | 160 384 960 | 128 186 13 | 0.004 % |
0.00/0.15 c | 6835 | 160 384 960 | 128 191 16 | 0.020 % |
0.00/0.15 c | 7012 | 160 384 960 | 128 186 14 | 0.004 % |
0.00/0.16 c | 7205 | 160 384 960 | 128 184 15 | 0.004 % |
0.00/0.16 c | 7418 | 160 384 960 | 128 193 15 | 0.004 % |
0.00/0.16 c | 7652 | 160 384 960 | 128 187 15 | 0.004 % |
0.00/0.17 c | 7754 | 160 384 960 | 128 192 16 | 0.004 % |
0.00/0.17 c | 7866 | 160 384 960 | 128 188 16 | 0.004 % |
0.00/0.17 c | 7990 | 160 384 960 | 128 170 15 | 0.004 % |
0.00/0.17 c | 8123 | 160 384 960 | 128 173 14 | 0.004 % |
0.00/0.18 c | 8271 | 160 384 960 | 128 168 13 | 0.004 % |
0.00/0.18 c | 8431 | 160 384 960 | 128 187 16 | 0.004 % |
0.00/0.18 c | 8607 | 160 384 960 | 128 177 15 | 0.004 % |
0.00/0.19 c | 8801 | 160 384 960 | 128 182 15 | 0.004 % |
0.00/0.19 c | 9016 | 160 384 960 | 128 172 14 | 0.004 % |
0.00/0.20 c | 9251 | 160 384 960 | 128 170 14 | 0.004 % |
0.00/0.20 c | 9510 | 160 384 960 | 128 168 13 | 0.004 % |
0.00/0.21 c | 9610 | 160 384 960 | 128 190 17 | 0.004 % |
0.00/0.21 c | 9720 | 160 384 960 | 128 184 15 | 0.004 % |
0.00/0.21 c | 9842 | 160 384 960 | 128 176 15 | 0.004 % |
0.00/0.21 c | 9976 | 160 384 960 | 128 183 14 | 0.004 % |
0.00/0.22 c | 10123 | 160 384 960 | 2147483647 269 20 | 0.004 % |
0.00/0.22 c | 10283 | 160 384 960 | 2147483647 429 23 | 0.004 % |
0.00/0.22 c | 10460 | 160 384 960 | 2147483647 606 25 | 0.004 % |
0.00/0.23 c | 10653 | 160 384 960 | 2147483647 799 26 | 0.004 % |
0.00/0.24 c | 10867 | 160 384 960 | 2147483647 1013 27 | 0.004 % |
0.00/0.24 c | 11100 | 160 384 960 | 2147483647 1246 28 | 0.004 % |
0.00/0.25 c | 11357 | 160 384 960 | 2147483647 1503 28 | 0.004 % |
0.00/0.26 c | 11639 | 160 384 960 | 2147483647 1785 28 | 0.004 % |
0.00/0.27 c | 11739 | 160 384 960 | 2147483647 1885 28 | 0.004 % |
0.00/0.27 c | 11849 | 160 384 960 | 2147483647 1995 28 | 0.004 % |
0.00/0.28 c | 11971 | 160 384 960 | 2147483647 2117 28 | 0.004 % |
0.00/0.29 c | 12106 | 160 384 960 | 2147483647 2252 28 | 0.004 % |
0.00/0.29 c | 12253 | 160 384 960 | 2147483647 2399 28 | 0.004 % |
0.00/0.30 c | 12415 | 160 384 960 | 2147483647 2561 28 | 0.004 % |
0.00/0.31 c | 12593 | 160 384 960 | 2147483647 2739 28 | 0.004 % |
0.00/0.32 c | 12786 | 160 384 960 | 2147483647 2932 28 | 0.004 % |
0.00/0.34 c | 13001 | 160 384 960 | 2147483647 3147 28 | 0.004 % |
0.00/0.35 c | 13234 | 160 384 960 | 2147483647 3380 28 | 0.004 % |
0.00/0.36 c | 13491 | 160 384 960 | 2147483647 3637 28 | 0.004 % |
0.00/0.38 c | 13772 | 160 384 960 | 2147483647 3918 28 | 0.004 % |
0.00/0.40 c | 14081 | 160 384 960 | 2147483647 4227 28 | 0.004 % |
0.00/0.41 c | 14181 | 160 384 960 | 2147483647 4327 28 | 0.004 % |
0.00/0.42 c | 14291 | 160 384 960 | 2147483647 4437 28 | 0.004 % |
0.00/0.43 c | 14413 | 160 384 960 | 2147483647 4559 28 | 0.004 % |
0.00/0.44 c | 14547 | 160 384 960 | 2147483647 4693 28 | 0.004 % |
0.00/0.45 c | 14693 | 160 384 960 | 2147483647 4839 28 | 0.004 % |
0.00/0.47 c | 14854 | 160 384 960 | 2147483647 5000 28 | 0.004 % |
0.00/0.48 c | 15030 | 160 384 960 | 2147483647 5176 28 | 0.004 % |
0.00/0.50 c | 15225 | 160 384 960 | 2147483647 5371 28 | 0.004 % |
0.00/0.52 c | 15437 | 160 384 960 | 2147483647 5583 28 | 0.004 % |
0.00/0.54 c | 15671 | 160 384 960 | 2147483647 5817 28 | 0.004 % |
0.00/0.56 c | 15930 | 160 384 960 | 2147483647 6076 28 | 0.004 % |
0.00/0.59 c | 16212 | 160 384 960 | 2147483647 6358 28 | 0.004 % |
0.00/0.62 c | 16521 | 160 384 960 | 2147483647 6667 28 | 0.004 % |
0.00/0.66 c | 16860 | 160 384 960 | 2147483647 7006 29 | 0.004 % |
0.00/0.67 c | 16961 | 160 384 960 | 2147483647 7107 29 | 0.004 % |
0.00/0.69 c | 17073 | 160 384 960 | 2147483647 7219 29 | 0.004 % |
0.00/0.70 c | 17195 | 160 384 960 | 2147483647 7341 29 | 0.004 % |
0.00/0.72 c | 17328 | 160 384 960 | 2147483647 7474 29 | 0.004 % |
0.00/0.73 c | 17476 | 160 384 960 | 2147483647 7622 29 | 0.004 % |
0.00/0.75 c | 17636 | 160 384 960 | 2147483647 7782 29 | 0.004 % |
0.00/0.78 c | 17814 | 160 384 960 | 2147483647 7960 29 | 0.004 % |
0.00/0.80 c | 18009 | 160 384 960 | 2147483647 8155 29 | 0.004 % |
0.00/0.82 c | 18222 | 160 384 960 | 2147483647 8368 29 | 0.004 % |
0.00/0.85 c | 18457 | 160 384 960 | 2147483647 8603 29 | 0.004 % |
0.00/0.89 c | 18714 | 160 384 960 | 2147483647 8860 29 | 0.004 % |
0.00/0.92 c | 18995 | 160 384 960 | 2147483647 9141 29 | 0.004 % |
0.00/0.96 c | 19306 | 160 384 960 | 2147483647 9452 29 | 0.004 % |
0.99/1.01 c | 19645 | 160 384 960 | 2147483647 9791 29 | 0.004 % |
0.99/1.07 c | 20017 | 160 384 960 | 10146 10163 29 | 0.004 % |
0.99/1.09 c | 20117 | 160 384 960 | 10146 8415 28 | 0.004 % |
0.99/1.10 c | 20228 | 160 384 960 | 10146 8526 28 | 0.004 % |
1.09/1.11 c | 20349 | 160 384 960 | 10146 8647 28 | 0.004 % |
1.09/1.13 c | 20483 | 160 384 960 | 10146 8781 28 | 0.004 % |
1.09/1.15 c | 20629 | 160 384 960 | 10146 8927 28 | 0.004 % |
1.09/1.17 c | 20789 | 160 384 960 | 10146 9087 28 | 0.004 % |
1.18/1.20 c | 20965 | 160 384 960 | 10146 9263 28 | 0.004 % |
1.18/1.23 c | 21159 | 160 384 960 | 10146 9457 28 | 0.004 % |
1.18/1.26 c | 21371 | 160 384 960 | 10146 9669 28 | 0.004 % |
1.18/1.29 c | 21605 | 160 384 960 | 10146 9903 28 | 0.004 % |
1.28/1.33 c | 21862 | 160 384 960 | 10146 10160 28 | 0.004 % |
1.28/1.37 c | 22146 | 160 384 960 | 10146 7366 28 | 0.004 % |
1.38/1.40 c | 22457 | 160 384 960 | 10146 7677 28 | 0.004 % |
1.38/1.44 c | 22796 | 160 384 960 | 10146 8016 28 | 0.004 % |
1.38/1.49 c | 23171 | 160 384 960 | 10146 8391 28 | 0.004 % |
1.48/1.55 c | 23583 | 160 384 960 | 10146 8803 28 | 0.004 % |
1.48/1.56 c | 23683 | 160 384 960 | 10146 8903 28 | 0.004 % |
1.48/1.58 c | 23793 | 160 384 960 | 10146 9013 28 | 0.004 % |
1.48/1.59 c | 23916 | 160 384 960 | 10146 9136 28 | 0.004 % |
1.58/1.62 c | 24050 | 160 384 960 | 10146 9270 28 | 0.004 % |
1.58/1.64 c | 24197 | 160 384 960 | 10146 9417 28 | 0.004 % |
1.58/1.67 c | 24357 | 160 384 960 | 10146 9577 28 | 0.004 % |
1.58/1.69 c | 24540 | 160 384 960 | 10146 9760 28 | 0.004 % |
1.68/1.73 c | 24734 | 160 384 960 | 10146 9954 28 | 0.004 % |
1.68/1.77 c | 24946 | 160 384 960 | 10146 10166 29 | 0.004 % |
1.78/1.80 c | 25179 | 160 384 960 | 10146 6913 28 | 0.004 % |
1.78/1.83 c | 25439 | 160 384 960 | 10146 7173 28 | 0.004 % |
1.78/1.86 c | 25721 | 160 384 960 | 10146 7455 28 | 0.004 % |
1.78/1.89 c | 26030 | 160 384 960 | 10146 7764 28 | 0.004 % |
1.88/1.93 c | 26369 | 160 384 960 | 10146 8103 28 | 0.004 % |
1.88/1.98 c | 26742 | 160 384 960 | 10146 8476 28 | 0.004 % |
1.98/2.04 c | 27153 | 160 384 960 | 10146 8887 28 | 0.004 % |
1.98/2.09 c | 27603 | 160 384 960 | 10146 9337 28 | 0.004 % |
2.09/2.10 c | 27703 | 160 384 960 | 10146 9437 28 | 0.004 % |
2.09/2.12 c | 27814 | 160 384 960 | 10146 9548 28 | 0.004 % |
2.09/2.13 c | 27935 | 160 384 960 | 10146 9669 28 | 0.004 % |
2.09/2.15 c | 28068 | 160 384 960 | 10146 9802 28 | 0.004 % |
2.09/2.18 c | 28217 | 160 384 960 | 10146 9951 28 | 0.004 % |
2.19/2.20 c | 28378 | 160 384 960 | 10146 10112 28 | 0.004 % |
2.19/2.24 c | 28557 | 160 384 960 | 10146 6677 27 | 0.004 % |
2.19/2.26 c | 28750 | 160 384 960 | 10146 6870 27 | 0.004 % |
2.19/2.28 c | 28962 | 160 384 960 | 10146 7082 27 | 0.004 % |
2.28/2.31 c | 29196 | 160 384 960 | 10146 7316 27 | 0.004 % |
2.28/2.34 c | 29453 | 160 384 960 | 10146 7573 27 | 0.004 % |
2.28/2.38 c | 29736 | 160 384 960 | 10146 7856 28 | 0.004 % |
2.38/2.41 c | 30046 | 160 384 960 | 8120 8166 28 | 0.004 % |
2.38/2.45 c | 30387 | 160 384 960 | 8120 5622 26 | 0.004 % |
2.38/2.49 c | 30759 | 160 384 960 | 8120 5994 27 | 0.004 % |
2.48/2.53 c | 31169 | 160 384 960 | 8120 6404 27 | 0.004 % |
2.48/2.57 c | 31619 | 160 384 960 | 8120 6854 27 | 0.004 % |
2.58/2.63 c | 32114 | 160 384 960 | 8120 7349 27 | 0.004 % |
2.58/2.64 c | 32214 | 160 384 960 | 8120 7449 27 | 0.004 % |
2.58/2.65 c | 32325 | 160 384 960 | 8120 7560 27 | 0.004 % |
2.58/2.67 c | 32447 | 160 384 960 | 8120 7682 27 | 0.004 % |
2.58/2.68 c | 32582 | 160 384 960 | 8120 7817 27 | 0.020 % |
2.68/2.70 c | 32730 | 160 384 960 | 8120 7965 27 | 0.004 % |
2.68/2.72 c | 32890 | 160 384 960 | 8120 8125 27 | 0.004 % |
2.68/2.74 c | 33067 | 160 384 960 | 8120 5543 26 | 0.004 % |
2.68/2.76 c | 33260 | 160 384 960 | 8120 5736 26 | 0.004 % |
2.68/2.78 c | 33473 | 160 384 960 | 8120 5949 26 | 0.004 % |
2.68/2.79 c | 33706 | 160 384 960 | 8120 6182 26 | 0.004 % |
2.78/2.82 c | 33963 | 160 384 960 | 8120 6439 26 | 0.004 % |
2.78/2.85 c | 34244 | 160 384 960 | 8120 6720 26 | 0.004 % |
2.78/2.88 c | 34553 | 160 384 960 | 8120 7029 27 | 0.004 % |
2.88/2.92 c | 34893 | 160 384 960 | 8120 7369 27 | 0.004 % |
2.88/2.96 c | 35265 | 160 384 960 | 8120 7741 27 | 0.004 % |
2.98/3.02 c | 35674 | 160 384 960 | 8120 8150 27 | 0.004 % |
2.98/3.06 c | 36124 | 160 384 960 | 8120 5869 26 | 0.004 % |
3.08/3.11 c | 36617 | 160 384 960 | 8120 6362 26 | 0.004 % |
3.08/3.17 c | 37161 | 160 384 960 | 8120 6906 26 | 0.004 % |
3.08/3.18 c | 37261 | 160 384 960 | 8120 7006 26 | 0.004 % |
3.08/3.19 c | 37373 | 160 384 960 | 8120 7118 26 | 0.004 % |
3.19/3.20 c | 37495 | 160 384 960 | 8120 7240 26 | 0.004 % |
3.19/3.22 c | 37629 | 160 384 960 | 8120 7374 26 | 0.004 % |
3.19/3.23 c | 37777 | 160 384 960 | 8120 7522 26 | 0.004 % |
3.19/3.25 c | 37937 | 160 384 960 | 8120 7682 26 | 0.004 % |
3.19/3.27 c | 38113 | 160 384 960 | 8120 7858 27 | 0.020 % |
3.19/3.30 c | 38307 | 160 384 960 | 8120 8052 27 | 0.004 % |
3.29/3.33 c | 38520 | 160 384 960 | 8120 5540 26 | 0.004 % |
3.29/3.35 c | 38753 | 160 384 960 | 8120 5773 26 | 0.004 % |
3.29/3.37 c | 39009 | 160 384 960 | 8120 6029 26 | 0.004 % |
3.38/3.40 c | 39290 | 160 384 960 | 8120 6310 26 | 0.004 % |
3.38/3.43 c | 39599 | 160 384 960 | 8120 6619 26 | 0.004 % |
3.38/3.47 c | 39938 | 160 384 960 | 8120 6958 26 | 0.004 % |
3.48/3.50 c | 40312 | 160 384 960 | 7021 5002 25 | 0.004 % |
3.48/3.54 c | 40723 | 160 384 960 | 7021 5413 26 | 0.004 % |
3.48/3.58 c | 41172 | 160 384 960 | 7021 5862 26 | 0.004 % |
3.58/3.62 c | 41665 | 160 384 960 | 7021 6355 26 | 0.004 % |
3.58/3.67 c | 42207 | 160 384 960 | 7021 6897 27 | 0.004 % |
3.68/3.73 c | 42804 | 160 384 960 | 7021 5340 26 | 0.004 % |
3.68/3.74 c | 42904 | 160 384 960 | 7021 5440 26 | 0.004 % |
3.68/3.75 c | 43015 | 160 384 960 | 7021 5551 26 | 0.004 % |
3.68/3.76 c | 43137 | 160 384 960 | 7021 5673 26 | 0.004 % |
3.68/3.78 c | 43271 | 160 384 960 | 7021 5807 26 | 0.004 % |
3.68/3.79 c | 43418 | 160 384 960 | 7021 5954 27 | 0.004 % |
3.78/3.81 c | 43579 | 160 384 960 | 7021 6115 27 | 0.004 % |
3.78/3.83 c | 43757 | 160 384 960 | 7021 6293 27 | 0.004 % |
3.78/3.85 c | 43951 | 160 384 960 | 7021 6487 27 | 0.004 % |
3.78/3.87 c | 44163 | 160 384 960 | 7021 6699 27 | 0.004 % |
3.88/3.90 c | 44397 | 160 384 960 | 7021 6933 27 | 0.004 % |
3.88/3.93 c | 44653 | 160 384 960 | 7021 5037 26 | 0.004 % |
3.88/3.95 c | 44934 | 160 384 960 | 7021 5318 26 | 0.004 % |
3.88/3.98 c | 45243 | 160 384 960 | 7021 5627 26 | 0.004 % |
3.98/4.01 c | 45582 | 160 384 960 | 7021 5966 26 | 0.004 % |
3.98/4.05 c | 45954 | 160 384 960 | 7021 6338 26 | 0.004 % |
4.08/4.10 c | 46363 | 160 384 960 | 7021 6747 27 | 0.004 % |
4.08/4.14 c | 46812 | 160 384 960 | 7021 5028 26 | 0.004 % |
4.08/4.18 c | 47306 | 160 384 960 | 7021 5522 26 | 0.004 % |
4.18/4.23 c | 47850 | 160 384 960 | 7021 6066 27 | 0.004 % |
4.18/4.28 c | 48448 | 160 384 960 | 7021 6664 27 | 0.004 % |
4.29/4.36 c | 49103 | 160 384 960 | 7021 5175 27 | 0.004 % |
4.29/4.36 c | 49203 | 160 384 960 | 7021 5275 27 | 0.004 % |
4.29/4.37 c | 49314 | 160 384 960 | 7021 5386 27 | 0.004 % |
4.29/4.39 c | 49435 | 160 384 960 | 7021 5507 27 | 0.004 % |
4.29/4.40 c | 49568 | 160 384 960 | 7021 5640 27 | 0.004 % |
4.39/4.41 c | 49716 | 160 384 960 | 7021 5788 27 | 0.004 % |
4.39/4.43 c | 49876 | 160 384 960 | 7021 5948 27 | 0.004 % |
4.39/4.44 c | 50054 | 160 384 960 | 6072 6126 27 | 0.004 % |
4.39/4.46 c | 50249 | 160 384 960 | 6072 4489 26 | 0.004 % |
4.39/4.48 c | 50462 | 160 384 960 | 6072 4702 26 | 0.004 % |
4.48/4.50 c | 50695 | 160 384 960 | 6072 4935 27 | 0.004 % |
4.48/4.52 c | 50951 | 160 384 960 | 6072 5191 27 | 0.004 % |
4.48/4.55 c | 51234 | 160 384 960 | 6072 5474 27 | 0.004 % |
4.48/4.57 c | 51544 | 160 384 960 | 6072 5784 27 | 0.004 % |
4.58/4.61 c | 51883 | 160 384 960 | 6072 6123 27 | 0.004 % |
4.58/4.64 c | 52255 | 160 384 960 | 6072 4770 26 | 0.004 % |
4.58/4.68 c | 52664 | 160 384 960 | 6072 5179 27 | 0.004 % |
4.68/4.72 c | 53114 | 160 384 960 | 6072 5629 27 | 0.004 % |
4.68/4.78 c | 53608 | 160 384 960 | 6072 6123 27 | 0.004 % |
4.78/4.82 c | 54150 | 160 384 960 | 6072 4952 27 | 0.004 % |
4.78/4.87 c | 54747 | 160 384 960 | 6072 5549 27 | 0.004 % |
4.88/4.94 c | 55404 | 160 384 960 | 6072 4524 27 | 0.004 % |
4.88/4.99 c | 56125 | 160 384 960 | 6072 5245 27 | 0.004 % |
4.98/5.00 c | 56227 | 160 384 960 | 6072 5347 27 | 0.004 % |
4.98/5.01 c | 56339 | 160 384 960 | 6072 5459 27 | 0.004 % |
4.98/5.02 c | 56460 | 160 384 960 | 6072 5580 27 | 0.004 % |
4.98/5.04 c | 56595 | 160 384 960 | 6072 5715 27 | 0.004 % |
4.98/5.05 c | 56742 | 160 384 960 | 6072 5862 27 | 0.004 % |
4.98/5.07 c | 56904 | 160 384 960 | 6072 6024 27 | 0.004 % |
4.98/5.09 c | 57081 | 160 384 960 | 6072 4535 26 | 0.020 % |
5.08/5.10 c | 57274 | 160 384 960 | 6072 4728 26 | 0.004 % |
5.08/5.12 c | 57487 | 160 384 960 | 6072 4941 26 | 0.004 % |
5.08/5.14 c | 57722 | 160 384 960 | 6072 5176 26 | 0.004 % |
5.08/5.16 c | 57979 | 160 384 960 | 6072 5433 27 | 0.004 % |
5.08/5.18 c | 58260 | 160 384 960 | 6072 5714 27 | 0.004 % |
5.18/5.21 c | 58569 | 160 384 960 | 6072 6023 27 | 0.004 % |
5.18/5.24 c | 58908 | 160 384 960 | 6072 4726 26 | 0.004 % |
5.18/5.26 c | 59280 | 160 384 960 | 6072 5098 26 | 0.004 % |
5.18/5.30 c | 59691 | 160 384 960 | 6072 5509 26 | 0.004 % |
5.28/5.34 c | 60141 | 160 384 960 | 5818 4432 25 | 0.004 % |
5.28/5.37 c | 60634 | 160 384 960 | 5818 4925 26 | 0.004 % |
5.39/5.42 c | 61176 | 160 384 960 | 5818 5467 26 | 0.004 % |
5.39/5.47 c | 61772 | 160 384 960 | 5818 4571 26 | 0.004 % |
5.49/5.52 c | 62427 | 160 384 960 | 5818 5226 27 | 0.004 % |
5.49/5.59 c | 63150 | 160 384 960 | 5818 4467 27 | 0.004 % |
5.58/5.65 c | 63942 | 160 384 960 | 5818 5259 28 | 0.004 % |
5.58/5.66 c | 64045 | 160 384 960 | 5818 5362 28 | 0.004 % |
5.58/5.67 c | 64155 | 160 384 960 | 5818 5472 28 | 0.004 % |
5.58/5.69 c | 64276 | 160 384 960 | 5818 5593 28 | 0.004 % |
5.68/5.70 c | 64409 | 160 384 960 | 5818 5726 28 | 0.004 % |
5.68/5.71 c | 64556 | 160 384 960 | 5818 5873 28 | 0.004 % |
5.68/5.73 c | 64719 | 160 384 960 | 5818 4561 28 | 0.004 % |
5.68/5.74 c | 64900 | 160 384 960 | 5818 4742 28 | 0.004 % |
5.68/5.76 c | 65093 | 160 384 960 | 5818 4935 28 | 0.004 % |
5.68/5.78 c | 65305 | 160 384 960 | 5818 5147 28 | 0.004 % |
5.68/5.80 c | 65538 | 160 384 960 | 5818 5380 28 | 0.004 % |
5.78/5.82 c | 65795 | 160 384 960 | 5818 5637 28 | 0.004 % |
5.78/5.85 c | 66078 | 160 384 960 | 5818 4471 26 | 0.004 % |
5.78/5.87 c | 66387 | 160 384 960 | 5818 4780 26 | 0.004 % |
5.78/5.90 c | 66729 | 160 384 960 | 5818 5122 27 | 0.004 % |
5.88/5.93 c | 67102 | 160 384 960 | 5818 5495 27 | 0.004 % |
5.88/5.97 c | 67513 | 160 384 960 | 5818 4451 25 | 0.004 % |
5.98/6.01 c | 67962 | 160 384 960 | 5818 4900 25 | 0.004 % |
5.98/6.05 c | 68455 | 160 384 960 | 5818 5393 26 | 0.004 % |
5.98/6.09 c | 68997 | 160 384 960 | 5818 4521 25 | 0.004 % |
6.08/6.14 c | 69593 | 160 384 960 | 5818 5117 26 | 0.004 % |
6.08/6.20 c | 70250 | 160 384 960 | 5526 4454 26 | 0.004 % |
6.18/6.25 c | 70970 | 160 384 960 | 5526 5174 26 | 0.004 % |
6.28/6.32 c | 71766 | 160 384 960 | 5526 4658 26 | 0.004 % |
6.28/6.39 c | 72638 | 160 384 960 | 5526 5530 27 | 0.004 % |
6.38/6.40 c | 72739 | 160 384 960 | 5526 4322 26 | 0.004 % |
6.38/6.41 c | 72850 | 160 384 960 | 5526 4433 26 | 0.004 % |
6.38/6.42 c | 72971 | 160 384 960 | 5526 4554 26 | 0.020 % |
6.38/6.43 c | 73105 | 160 384 960 | 5526 4688 26 | 0.004 % |
6.38/6.44 c | 73252 | 160 384 960 | 5526 4835 26 | 0.004 % |
6.38/6.46 c | 73413 | 160 384 960 | 5526 4996 26 | 0.004 % |
6.38/6.47 c | 73589 | 160 384 960 | 5526 5172 26 | 0.004 % |
6.38/6.49 c | 73785 | 160 384 960 | 5526 5368 27 | 0.004 % |
6.49/6.51 c | 73997 | 160 384 960 | 5526 4260 26 | 0.004 % |
6.49/6.53 c | 74231 | 160 384 960 | 5526 4494 26 | 0.004 % |
6.49/6.55 c | 74489 | 160 384 960 | 5526 4752 26 | 0.004 % |
6.49/6.57 c | 74770 | 160 384 960 | 5526 5033 26 | 0.004 % |
6.49/6.59 c | 75079 | 160 384 960 | 5526 5342 26 | 0.004 % |
6.59/6.62 c | 75421 | 160 384 960 | 5526 4395 26 | 0.004 % |
6.59/6.65 c | 75793 | 160 384 960 | 5526 4767 26 | 0.004 % |
6.59/6.68 c | 76202 | 160 384 960 | 5526 5176 26 | 0.004 % |
6.68/6.72 c | 76654 | 160 384 960 | 5526 4348 26 | 0.004 % |
6.68/6.76 c | 77148 | 160 384 960 | 5526 4842 27 | 0.004 % |
6.78/6.80 c | 77690 | 160 384 960 | 5526 5384 27 | 0.004 % |
6.78/6.86 c | 78286 | 160 384 960 | 5526 4714 27 | 0.004 % |
6.88/6.91 c | 78941 | 160 384 960 | 5526 5369 27 | 0.004 % |
6.88/6.97 c | 79662 | 160 384 960 | 5526 4825 27 | 0.004 % |
6.98/7.04 c | 80457 | 160 384 960 | 5165 4440 28 | 0.004 % |
7.08/7.11 c | 81329 | 160 384 960 | 5165 4244 28 | 0.004 % |
7.08/7.19 c | 82287 | 160 384 960 | 5165 5202 28 | 0.004 % |
7.18/7.21 c | 82388 | 160 384 960 | 5165 4262 27 | 0.004 % |
7.18/7.21 c | 82498 | 160 384 960 | 5165 4372 28 | 0.004 % |
7.18/7.22 c | 82620 | 160 384 960 | 5165 4494 28 | 0.004 % |
7.18/7.23 c | 82756 | 160 384 960 | 5165 4630 28 | 0.004 % |
7.18/7.24 c | 82902 | 160 384 960 | 5165 4776 28 | 0.004 % |
7.18/7.26 c | 83062 | 160 384 960 | 5165 4936 28 | 0.004 % |
7.18/7.28 c | 83238 | 160 384 960 | 5165 5112 28 | 0.004 % |
7.18/7.29 c | 83432 | 160 384 960 | 5165 4234 27 | 0.004 % |
7.28/7.31 c | 83646 | 160 384 960 | 5165 4448 27 | 0.004 % |
7.28/7.33 c | 83879 | 160 384 960 | 5165 4681 27 | 0.004 % |
7.28/7.35 c | 84137 | 160 384 960 | 5165 4939 27 | 0.004 % |
7.28/7.37 c | 84420 | 160 384 960 | 5165 5222 27 | 0.004 % |
7.28/7.39 c | 84730 | 160 384 960 | 5165 4446 26 | 0.004 % |
7.38/7.42 c | 85070 | 160 384 960 | 5165 4786 26 | 0.004 % |
7.38/7.45 c | 85442 | 160 384 960 | 5165 5158 27 | 0.004 % |
7.38/7.48 c | 85854 | 160 384 960 | 5165 4479 26 | 0.004 % |
7.48/7.51 c | 86303 | 160 384 960 | 5165 4928 26 | 0.004 % |
7.48/7.55 c | 86796 | 160 384 960 | 5165 4337 26 | 0.004 % |
7.48/7.60 c | 87338 | 160 384 960 | 5165 4879 26 | 0.004 % |
7.59/7.64 c | 87935 | 160 384 960 | 5165 4403 26 | 0.004 % |
7.59/7.70 c | 88593 | 160 384 960 | 5165 5061 26 | 0.004 % |
7.69/7.75 c | 89313 | 160 384 960 | 5165 4696 26 | 0.004 % |
7.78/7.82 c | 90105 | 160 384 960 | 4305 3498 26 | 0.004 % |
7.78/7.88 c | 90977 | 160 384 960 | 4305 3532 27 | 0.004 % |
7.88/7.95 c | 91935 | 160 384 960 | 4305 3638 27 | 0.004 % |
7.98/8.03 c | 92989 | 160 384 960 | 4305 3852 28 | 0.004 % |
7.98/8.04 c | 93090 | 160 384 960 | 4305 3953 28 | 0.004 % |
7.98/8.04 c | 93201 | 160 384 960 | 4305 4064 28 | 0.004 % |
7.98/8.05 c | 93322 | 160 384 960 | 4305 4185 28 | 0.004 % |
7.98/8.06 c | 93458 | 160 384 960 | 4305 4321 28 | 0.004 % |
7.98/8.07 c | 93604 | 160 384 960 | 4305 3675 27 | 0.004 % |
7.98/8.08 c | 93764 | 160 384 960 | 4305 3835 27 | 0.004 % |
7.98/8.10 c | 93942 | 160 384 960 | 4305 4013 27 | 0.004 % |
8.08/8.11 c | 94136 | 160 384 960 | 4305 4207 27 | 0.004 % |
8.08/8.13 c | 94348 | 160 384 960 | 4305 3654 27 | 0.004 % |
8.08/8.14 c | 94581 | 160 384 960 | 4305 3887 27 | 0.004 % |
8.08/8.16 c | 94837 | 160 384 960 | 4305 4143 27 | 0.004 % |
8.08/8.19 c | 95120 | 160 384 960 | 4305 3661 27 | 0.004 % |
8.18/8.21 c | 95429 | 160 384 960 | 4305 3970 27 | 0.004 % |
8.18/8.24 c | 95772 | 160 384 960 | 4305 4313 27 | 0.004 % |
8.18/8.26 c | 96144 | 160 384 960 | 4305 3940 27 | 0.004 % |
8.18/8.29 c | 96553 | 160 384 960 | 4305 4349 27 | 0.004 % |
8.28/8.32 c | 97003 | 160 384 960 | 4305 4054 26 | 0.004 % |
8.28/8.37 c | 97497 | 160 384 960 | 4305 3809 26 | 0.004 % |
8.38/8.40 c | 98039 | 160 384 960 | 4305 4351 26 | 0.004 % |
8.38/8.45 c | 98635 | 160 384 960 | 4305 4209 26 | 0.004 % |
8.38/8.49 c | 99290 | 160 384 960 | 4305 4118 26 | 0.004 % |
8.48/8.55 c | 100010 | 160 384 960 | 4090 4100 26 | 0.004 % |
8.58/8.61 c | 100803 | 160 384 960 | 4090 3516 27 | 0.004 % |
8.58/8.66 c | 101676 | 160 384 960 | 4090 3696 27 | 0.004 % |
8.68/8.73 c | 102635 | 160 384 960 | 4090 3991 27 | 0.004 % |
8.68/8.80 c | 103688 | 160 384 960 | 4090 3741 27 | 0.004 % |
8.78/8.89 c | 104846 | 160 384 960 | 4090 3567 29 | 0.004 % |
8.78/8.89 c | 104947 | 160 384 960 | 4090 3668 29 | 0.004 % |
8.88/8.90 c | 105059 | 160 384 960 | 4090 3780 29 | 0.004 % |
8.88/8.91 c | 105180 | 160 384 960 | 4090 3901 29 | 0.004 % |
8.88/8.92 c | 105314 | 160 384 960 | 4090 4035 29 | 0.004 % |
8.88/8.93 c | 105460 | 160 384 960 | 4090 3526 28 | 0.004 % |
8.88/8.94 c | 105621 | 160 384 960 | 4090 3687 28 | 0.004 % |
8.88/8.96 c | 105798 | 160 384 960 | 4090 3864 28 | 0.004 % |
8.88/8.97 c | 105991 | 160 384 960 | 4090 4057 28 | 0.004 % |
8.88/8.99 c | 106203 | 160 384 960 | 4090 3612 28 | 0.004 % |
8.98/9.01 c | 106436 | 160 384 960 | 4090 3845 28 | 0.004 % |
8.98/9.03 c | 106692 | 160 384 960 | 4090 4101 28 | 0.004 % |
8.98/9.05 c | 106973 | 160 384 960 | 4090 3729 27 | 0.004 % |
8.98/9.07 c | 107282 | 160 384 960 | 4090 4038 27 | 0.004 % |
9.08/9.10 c | 107622 | 160 384 960 | 4090 3712 26 | 0.004 % |
9.08/9.13 c | 107996 | 160 384 960 | 4090 4086 27 | 0.004 % |
9.08/9.16 c | 108408 | 160 384 960 | 4090 3822 26 | 0.004 % |
9.08/9.19 c | 108862 | 160 384 960 | 4090 3613 26 | 0.004 % |
9.18/9.22 c | 109355 | 160 384 960 | 4090 4106 27 | 0.004 % |
9.18/9.26 c | 109900 | 160 384 960 | 4090 3997 27 | 0.004 % |
9.28/9.30 c | 110496 | 160 384 960 | 4098 3944 27 | 0.004 % |
9.28/9.34 c | 111151 | 160 384 960 | 4098 3991 27 | 0.004 % |
9.28/9.39 c | 111872 | 160 384 960 | 4098 4128 27 | 0.004 % |
9.38/9.45 c | 112667 | 160 384 960 | 4098 3727 27 | 0.004 % |
9.48/9.51 c | 113539 | 160 384 960 | 4098 3978 28 | 0.004 % |
9.48/9.58 c | 114498 | 160 384 960 | 4098 3730 28 | 0.004 % |
9.58/9.65 c | 115555 | 160 384 960 | 4098 3615 27 | 0.004 % |
9.68/9.73 c | 116713 | 160 384 960 | 4098 3607 28 | 0.004 % |
9.78/9.82 c | 117987 | 160 384 960 | 4098 3716 28 | 0.004 % |
9.78/9.83 c | 118087 | 160 384 960 | 4098 3816 28 | 0.004 % |
9.78/9.84 c | 118197 | 160 384 960 | 4098 3926 28 | 0.004 % |
9.78/9.84 c | 118318 | 160 384 960 | 4098 4047 28 | 0.004 % |
9.78/9.85 c | 118452 | 160 384 960 | 4098 3603 28 | 0.004 % |
9.78/9.86 c | 118599 | 160 384 960 | 4098 3750 28 | 0.004 % |
9.78/9.88 c | 118759 | 160 384 960 | 4098 3910 28 | 0.004 % |
9.78/9.89 c | 118935 | 160 384 960 | 4098 4086 28 | 0.004 % |
9.88/9.91 c | 119129 | 160 384 960 | 4098 3695 27 | 0.004 % |
9.88/9.92 c | 119342 | 160 384 960 | 4098 3908 28 | 0.004 % |
9.88/9.94 c | 119577 | 160 384 960 | 4098 4143 28 | 0.004 % |
9.88/9.96 c | 119834 | 160 384 960 | 4098 3813 27 | 0.004 % |
9.88/9.98 c | 120116 | 160 384 960 | 3980 3519 26 | 0.004 % |
9.98/10.00 c | 120425 | 160 384 960 | 3980 3828 26 | 0.004 % |
9.98/10.02 c | 120765 | 160 384 960 | 3980 3599 26 | 0.004 % |
9.98/10.05 c | 121138 | 160 384 960 | 3980 3972 27 | 0.004 % |
9.98/10.08 c | 121547 | 160 384 960 | 3980 3820 27 | 0.004 % |
10.08/10.11 c | 121999 | 160 384 960 | 3980 3703 27 | 0.004 % |
10.08/10.15 c | 122492 | 160 384 960 | 3980 3643 26 | 0.004 % |
10.08/10.19 c | 123035 | 160 384 960 | 3980 3618 27 | 0.004 % |
10.18/10.23 c | 123631 | 160 384 960 | 3980 3654 27 | 0.004 % |
10.18/10.28 c | 124287 | 160 384 960 | 3980 3742 27 | 0.004 % |
10.28/10.33 c | 125009 | 160 384 960 | 3980 3915 27 | 0.004 % |
10.28/10.39 c | 125802 | 160 384 960 | 3980 3619 28 | 0.004 % |
10.38/10.45 c | 126674 | 160 384 960 | 3980 3948 29 | 0.004 % |
10.48/10.51 c | 127632 | 160 384 960 | 3980 3871 28 | 0.004 % |
10.48/10.57 c | 128687 | 160 384 960 | 3980 3960 27 | 0.004 % |
10.58/10.65 c | 129845 | 160 384 960 | 3980 3753 26 | 0.004 % |
10.68/10.72 c | 131119 | 160 384 960 | 3909 3812 26 | 0.004 % |
10.78/10.81 c | 132521 | 160 384 960 | 3909 3632 26 | 0.004 % |
10.78/10.82 c | 132621 | 160 384 960 | 3909 3732 26 | 0.004 % |
10.78/10.82 c | 132732 | 160 384 960 | 3909 3843 26 | 0.004 % |
10.78/10.83 c | 132855 | 160 384 960 | 3909 3966 26 | 0.004 % |
10.78/10.84 c | 132990 | 160 384 960 | 3909 3705 26 | 0.004 % |
10.78/10.85 c | 133138 | 160 384 960 | 3909 3853 26 | 0.004 % |
10.78/10.86 c | 133299 | 160 384 960 | 3909 3618 26 | 0.004 % |
10.78/10.87 c | 133476 | 160 384 960 | 3909 3795 26 | 0.004 % |
10.78/10.89 c | 133672 | 160 384 960 | 3909 3595 26 | 0.004 % |
10.88/10.90 c | 133884 | 160 384 960 | 3909 3807 26 | 0.004 % |
10.88/10.92 c | 134117 | 160 384 960 | 3909 3643 26 | 0.004 % |
10.88/10.94 c | 134375 | 160 384 960 | 3909 3901 27 | 0.004 % |
10.88/10.96 c | 134656 | 160 384 960 | 3909 3786 27 | 0.004 % |
10.88/10.99 c | 134966 | 160 384 960 | 3909 3698 27 | 0.004 % |
10.98/11.01 c | 135305 | 160 384 960 | 3909 3640 27 | 0.004 % |
10.98/11.04 c | 135678 | 160 384 960 | 3909 3615 27 | 0.004 % |
10.98/11.06 c | 136087 | 160 384 960 | 3909 3628 26 | 0.004 % |
11.08/11.10 c | 136537 | 160 384 960 | 3909 3681 27 | 0.004 % |
11.08/11.13 c | 137032 | 160 384 960 | 3909 3774 27 | 0.004 % |
11.08/11.17 c | 137574 | 160 384 960 | 3909 3907 27 | 0.004 % |
11.18/11.21 c | 138172 | 160 384 960 | 3909 3663 27 | 0.004 % |
11.18/11.26 c | 138828 | 160 384 960 | 3909 3872 28 | 0.004 % |
11.28/11.31 c | 139550 | 160 384 960 | 3909 3686 28 | 0.004 % |
11.28/11.36 c | 140343 | 160 384 960 | 3682 3600 28 | 0.004 % |
11.38/11.42 c | 141214 | 160 384 960 | 3682 3675 28 | 0.004 % |
11.38/11.49 c | 142174 | 160 384 960 | 3682 3436 28 | 0.004 % |
11.48/11.56 c | 143229 | 160 384 960 | 3682 3634 28 | 0.004 % |
11.58/11.64 c | 144387 | 160 384 960 | 3682 3532 27 | 0.004 % |
11.68/11.73 c | 145663 | 160 384 960 | 3682 3609 28 | 0.004 % |
11.78/11.83 c | 147064 | 160 384 960 | 3682 3411 29 | 0.004 % |
11.88/11.95 c | 148604 | 160 384 960 | 3682 3705 29 | 0.004 % |
11.88/11.95 c | 148704 | 160 384 960 | 3682 3382 29 | 0.004 % |
11.88/11.96 c | 148816 | 160 384 960 | 3682 3494 29 | 0.004 % |
11.88/11.97 c | 148937 | 160 384 960 | 3682 3615 29 | 0.004 % |
11.88/11.98 c | 149070 | 160 384 960 | 3682 3319 29 | 0.004 % |
11.88/11.99 c | 149216 | 160 384 960 | 3682 3465 29 | 0.004 % |
11.98/12.00 c | 149376 | 160 384 960 | 3682 3625 28 | 0.004 % |
11.98/12.01 c | 149552 | 160 384 960 | 3682 3373 28 | 0.004 % |
11.98/12.03 c | 149747 | 160 384 960 | 3682 3568 28 | 0.004 % |
11.98/12.04 c | 149960 | 160 384 960 | 3682 3350 27 | 0.004 % |
11.98/12.05 c | 150194 | 160 384 960 | 3391 3190 27 | 0.004 % |
11.98/12.07 c | 150450 | 160 384 960 | 3391 3069 26 | 0.004 % |
11.98/12.09 c | 150732 | 160 384 960 | 3391 3351 26 | 0.004 % |
12.08/12.11 c | 151041 | 160 384 960 | 3391 3308 26 | 0.004 % |
12.08/12.13 c | 151381 | 160 384 960 | 3391 3302 26 | 0.004 % |
12.08/12.15 c | 151754 | 160 384 960 | 3391 3333 26 | 0.004 % |
12.08/12.18 c | 152166 | 160 384 960 | 3391 3400 26 | 0.004 % |
12.18/12.21 c | 152618 | 160 384 960 | 3391 3168 27 | 0.004 % |
12.18/12.24 c | 153111 | 160 384 960 | 3391 3316 27 | 0.004 % |
12.18/12.28 c | 153653 | 160 384 960 | 3391 3169 28 | 0.004 % |
12.28/12.32 c | 154249 | 160 384 960 | 3391 3419 28 | 0.004 % |
12.28/12.36 c | 154904 | 160 384 960 | 3391 3389 28 | 0.004 % |
12.38/12.40 c | 155626 | 160 384 960 | 3391 3420 28 | 0.020 % |
12.38/12.45 c | 156418 | 160 384 960 | 3391 3179 28 | 0.004 % |
12.48/12.51 c | 157290 | 160 384 960 | 3391 3363 28 | 0.004 % |
12.48/12.58 c | 158248 | 160 384 960 | 3391 3285 29 | 0.004 % |
12.58/12.65 c | 159302 | 160 384 960 | 3391 3308 29 | 0.004 % |
12.68/12.71 c | 160462 | 160 384 960 | 2147483647 3780 28 | 0.004 % |
12.78/12.80 c | 161738 | 160 384 960 | 2147483647 5056 29 | 0.004 % |
12.88/12.92 c | 163138 | 160 384 960 | 2147483647 6456 29 | 0.004 % |
12.98/13.10 c | 164678 | 160 384 960 | 2147483647 7996 30 | 0.004 % |
13.28/13.32 c | 166372 | 160 384 960 | 2147483647 9690 30 | 0.004 % |
13.28/13.33 c | 166472 | 160 384 960 | 2147483647 9790 30 | 0.004 % |
13.28/13.35 c | 166584 | 160 384 960 | 2147483647 9902 30 | 0.004 % |
13.28/13.37 c | 166705 | 160 384 960 | 2147483647 10023 30 | 0.004 % |
13.28/13.39 c | 166840 | 160 384 960 | 2147483647 10158 30 | 0.004 % |
13.38/13.42 c | 166986 | 160 384 960 | 2147483647 10304 30 | 0.004 % |
13.38/13.45 c | 167149 | 160 384 960 | 2147483647 10467 30 | 0.004 % |
13.38/13.47 c | 167325 | 160 384 960 | 2147483647 10643 30 | 0.004 % |
13.48/13.50 c | 167518 | 160 384 960 | 2147483647 10836 30 | 0.004 % |
13.48/13.53 c | 167731 | 160 384 960 | 2147483647 11049 30 | 0.004 % |
13.48/13.58 c | 167964 | 160 384 960 | 2147483647 11282 30 | 0.004 % |
13.58/13.62 c | 168221 | 160 384 960 | 2147483647 11539 30 | 0.004 % |
13.58/13.67 c | 168502 | 160 384 960 | 2147483647 11820 30 | 0.004 % |
13.68/13.74 c | 168811 | 160 384 960 | 2147483647 12129 30 | 0.004 % |
13.78/13.80 c | 169151 | 160 384 960 | 2147483647 12469 30 | 0.004 % |
13.78/13.88 c | 169523 | 160 384 960 | 2147483647 12841 30 | 0.004 % |
13.88/13.97 c | 169932 | 160 384 960 | 2147483647 13250 30 | 0.004 % |
13.98/14.05 c | 170381 | 160 384 960 | 13319 9186 29 | 0.004 % |
14.08/14.12 c | 170875 | 160 384 960 | 13319 9680 29 | 0.004 % |
14.18/14.20 c | 171417 | 160 384 960 | 13319 10222 29 | 0.004 % |
14.18/14.27 c | 172014 | 160 384 960 | 13319 10819 29 | 0.004 % |
14.28/14.39 c | 172669 | 160 384 960 | 13319 11474 29 | 0.004 % |
14.48/14.51 c | 173389 | 160 384 960 | 13319 12194 29 | 0.004 % |
14.58/14.65 c | 174181 | 160 384 960 | 13319 12986 30 | 0.004 % |
14.78/14.81 c | 175053 | 160 384 960 | 13319 8463 29 | 0.004 % |
14.88/14.94 c | 176011 | 160 384 960 | 13319 9421 29 | 0.004 % |
14.98/15.09 c | 177065 | 160 384 960 | 13319 10475 29 | 0.004 % |
15.17/15.28 c | 178225 | 160 384 960 | 13319 11635 29 | 0.004 % |
15.47/15.53 c | 179498 | 160 384 960 | 13319 12908 30 | 0.004 % |
15.67/15.73 c | 180898 | 160 384 960 | 7931 5555 29 | 0.004 % |
15.77/15.88 c | 182438 | 160 384 960 | 7931 7095 29 | 0.004 % |
15.97/16.07 c | 184133 | 160 384 960 | 7931 5880 28 | 0.004 % |
16.17/16.22 c | 185996 | 160 384 960 | 7931 7743 29 | 0.004 % |
16.17/16.24 c | 186097 | 160 384 960 | 7931 7844 29 | 0.004 % |
16.17/16.25 c | 186208 | 160 384 960 | 7931 7955 29 | 0.004 % |
16.17/16.26 c | 186332 | 160 384 960 | 7931 5335 28 | 0.004 % |
16.17/16.27 c | 186465 | 160 384 960 | 7931 5468 28 | 0.004 % |
16.17/16.29 c | 186611 | 160 384 960 | 7931 5614 28 | 0.004 % |
16.27/16.30 c | 186771 | 160 384 960 | 7931 5774 28 | 0.004 % |
16.27/16.32 c | 186947 | 160 384 960 | 7931 5950 28 | 0.004 % |
16.27/16.34 c | 187140 | 160 384 960 | 7931 6143 28 | 0.004 % |
16.27/16.36 c | 187353 | 160 384 960 | 7931 6356 28 | 0.020 % |
16.27/16.38 c | 187588 | 160 384 960 | 7931 6591 28 | 0.004 % |
16.38/16.41 c | 187847 | 160 384 960 | 7931 6850 28 | 0.004 % |
16.38/16.44 c | 188129 | 160 384 960 | 7931 7132 28 | 0.004 % |
16.38/16.47 c | 188438 | 160 384 960 | 7931 7441 28 | 0.004 % |
16.48/16.52 c | 188778 | 160 384 960 | 7931 7781 29 | 0.004 % |
16.48/16.56 c | 189150 | 160 384 960 | 7931 5437 28 | 0.004 % |
16.57/16.60 c | 189560 | 160 384 960 | 7931 5847 28 | 0.004 % |
16.57/16.64 c | 190011 | 160 384 960 | 6287 6298 28 | 0.004 % |
16.57/16.68 c | 190505 | 160 384 960 | 6287 4674 27 | 0.004 % |
16.67/16.73 c | 191047 | 160 384 960 | 6287 5216 28 | 0.004 % |
16.67/16.79 c | 191643 | 160 384 960 | 6287 5812 28 | 0.004 % |
16.77/16.86 c | 192298 | 160 384 960 | 6287 4488 27 | 0.004 % |
16.87/16.92 c | 193020 | 160 384 960 | 6287 5210 27 | 0.004 % |
16.97/17.01 c | 193812 | 160 384 960 | 6287 6002 28 | 0.004 % |
16.97/17.08 c | 194685 | 160 384 960 | 6287 4945 27 | 0.004 % |
17.07/17.16 c | 195643 | 160 384 960 | 6287 5903 28 | 0.004 % |
17.17/17.26 c | 196696 | 160 384 960 | 6287 5079 28 | 0.004 % |
17.27/17.36 c | 197857 | 160 384 960 | 6287 6240 28 | 0.004 % |
17.37/17.46 c | 199131 | 160 384 960 | 6287 5676 27 | 0.004 % |
17.48/17.59 c | 200534 | 160 384 960 | 4756 3941 27 | 0.004 % |
17.67/17.70 c | 202074 | 160 384 960 | 4756 4290 29 | 0.004 % |
17.77/17.83 c | 203769 | 160 384 960 | 4756 3787 27 | 0.004 % |
17.87/17.96 c | 205637 | 160 384 960 | 4756 4608 27 | 0.004 % |
18.07/18.12 c | 207687 | 160 384 960 | 4756 4648 28 | 0.004 % |
18.07/18.13 c | 207788 | 160 384 960 | 4756 4749 28 | 0.004 % |
18.07/18.14 c | 207898 | 160 384 960 | 4756 3866 28 | 0.004 % |
18.07/18.15 c | 208019 | 160 384 960 | 4756 3987 28 | 0.004 % |
18.07/18.16 c | 208152 | 160 384 960 | 4756 4120 28 | 0.004 % |
18.07/18.17 c | 208299 | 160 384 960 | 4756 4267 28 | 0.004 % |
18.07/18.18 c | 208459 | 160 384 960 | 4756 4427 28 | 0.020 % |
18.17/18.20 c | 208635 | 160 384 960 | 4756 4603 28 | 0.004 % |
18.17/18.21 c | 208828 | 160 384 960 | 4756 4796 28 | 0.004 % |
18.17/18.23 c | 209041 | 160 384 960 | 4756 4020 28 | 0.004 % |
18.17/18.25 c | 209274 | 160 384 960 | 4756 4253 28 | 0.004 % |
18.17/18.27 c | 209531 | 160 384 960 | 4756 4510 29 | 0.004 % |
18.27/18.30 c | 209813 | 160 384 960 | 4756 4792 29 | 0.004 % |
18.27/18.33 c | 210123 | 160 384 960 | 3986 3274 27 | 0.004 % |
18.27/18.35 c | 210462 | 160 384 960 | 3986 3613 27 | 0.004 % |
18.27/18.38 c | 210836 | 160 384 960 | 3986 3987 28 | 0.004 % |
18.37/18.41 c | 211245 | 160 384 960 | 3986 3616 27 | 0.004 % |
18.37/18.44 c | 211695 | 160 384 960 | 3986 3326 28 | 0.004 % |
18.37/18.47 c | 212188 | 160 384 960 | 3986 3819 28 | 0.004 % |
18.47/18.51 c | 212730 | 160 384 960 | 3986 3645 28 | 0.004 % |
18.47/18.56 c | 213327 | 160 384 960 | 3986 3519 29 | 0.004 % |
18.58/18.61 c | 213982 | 160 384 960 | 3986 3471 28 | 0.004 % |
18.58/18.66 c | 214702 | 160 384 960 | 3986 3501 28 | 0.004 % |
18.68/18.72 c | 215498 | 160 384 960 | 3986 3627 28 | 0.004 % |
18.68/18.77 c | 216370 | 160 384 960 | 3986 3838 28 | 0.004 % |
18.77/18.85 c | 217329 | 160 384 960 | 3986 3499 28 | 0.004 % |
18.87/18.92 c | 218382 | 160 384 960 | 3986 3911 28 | 0.004 % |
18.87/19.00 c | 219540 | 160 384 960 | 3986 3801 28 | 0.004 % |
18.97/19.08 c | 220813 | 160 384 960 | 3651 3388 28 | 0.004 % |
19.07/19.18 c | 222213 | 160 384 960 | 3651 3341 29 | 0.004 % |
19.17/19.28 c | 223753 | 160 384 960 | 3651 3510 29 | 0.004 % |
19.37/19.41 c | 225447 | 160 384 960 | 3651 3330 29 | 0.004 % |
19.47/19.52 c | 227311 | 160 384 960 | 3651 3375 29 | 0.004 % |
19.57/19.66 c | 229361 | 160 384 960 | 3651 3334 29 | 0.004 % |
19.68/19.80 c | 231616 | 160 384 960 | 3567 3347 29 | 0.004 % |
19.77/19.81 c | 231718 | 160 384 960 | 3567 3449 29 | 0.004 % |
19.77/19.81 c | 231828 | 160 384 960 | 3567 3559 29 | 0.004 % |
19.77/19.83 c | 231949 | 160 384 960 | 3567 3317 28 | 0.004 % |
19.77/19.84 c | 232084 | 160 384 960 | 3567 3452 28 | 0.004 % |
19.77/19.85 c | 232230 | 160 384 960 | 3567 3598 29 | 0.004 % |
19.77/19.86 c | 232391 | 160 384 960 | 3567 3400 28 | 0.004 % |
19.77/19.87 c | 232567 | 160 384 960 | 3567 3576 28 | 0.004 % |
19.77/19.89 c | 232762 | 160 384 960 | 3567 3414 28 | 0.004 % |
19.87/19.90 c | 232974 | 160 384 960 | 3567 3264 28 | 0.004 % |
19.87/19.92 c | 233207 | 160 384 960 | 3567 3497 28 | 0.004 % |
19.87/19.94 c | 233463 | 160 384 960 | 3567 3389 28 | 0.004 % |
19.87/19.96 c | 233745 | 160 384 960 | 3567 3309 28 | 0.004 % |
19.87/19.98 c | 234055 | 160 384 960 | 3567 3619 28 | 0.004 % |
19.97/20.00 c | 234395 | 160 384 960 | 3567 3598 28 | 0.004 % |
19.97/20.03 c | 234767 | 160 384 960 | 3567 3611 27 | 0.004 % |
19.97/20.05 c | 235176 | 160 384 960 | 3567 3297 27 | 0.004 % |
19.97/20.08 c | 235625 | 160 384 960 | 3567 3386 27 | 0.004 % |
20.07/20.11 c | 236120 | 160 384 960 | 3567 3519 28 | 0.004 % |
20.07/20.14 c | 236662 | 160 384 960 | 3567 3334 28 | 0.004 % |
20.07/20.18 c | 237259 | 160 384 960 | 3567 3569 28 | 0.004 % |
20.17/20.23 c | 237914 | 160 384 960 | 3567 3505 28 | 0.004 % |
20.17/20.27 c | 238636 | 160 384 960 | 3567 3506 27 | 0.004 % |
20.27/20.32 c | 239428 | 160 384 960 | 3567 3574 27 | 0.004 % |
20.27/20.38 c | 240300 | 160 384 960 | 2147483647 3727 28 | 0.004 % |
20.37/20.46 c | 241258 | 160 384 960 | 2147483647 4685 29 | 0.020 % |
20.47/20.55 c | 242314 | 160 384 960 | 2147483647 5741 29 | 0.004 % |
20.57/20.66 c | 243473 | 160 384 960 | 2147483647 6900 29 | 0.004 % |
20.77/20.82 c | 244746 | 160 384 960 | 2147483647 8173 30 | 0.004 % |
20.87/20.99 c | 246147 | 160 384 960 | 2147483647 9574 30 | 0.004 % |
21.17/21.21 c | 247688 | 160 384 960 | 2147483647 11115 30 | 0.004 % |
21.37/21.46 c | 249384 | 160 384 960 | 2147483647 12811 30 | 0.004 % |
21.67/21.75 c | 251248 | 160 384 960 | 13427 10204 29 | 0.004 % |
21.97/22.07 c | 253297 | 160 384 960 | 13427 12253 30 | 0.004 % |
22.27/22.37 c | 255551 | 160 384 960 | 13427 9322 29 | 0.004 % |
22.67/22.75 c | 258030 | 160 384 960 | 13427 11801 30 | 0.004 % |
22.67/22.78 c | 258131 | 160 384 960 | 13427 11902 30 | 0.004 % |
22.77/22.80 c | 258242 | 160 384 960 | 13427 12013 30 | 0.004 % |
22.77/22.83 c | 258363 | 160 384 960 | 13427 12134 30 | 0.004 % |
22.77/22.85 c | 258497 | 160 384 960 | 13427 12268 30 | 0.004 % |
22.77/22.88 c | 258644 | 160 384 960 | 13427 12415 30 | 0.004 % |
22.87/22.92 c | 258804 | 160 384 960 | 13427 12575 30 | 0.004 % |
22.87/22.96 c | 258983 | 160 384 960 | 13427 12754 30 | 0.004 % |
22.97/23.01 c | 259176 | 160 384 960 | 13427 12947 30 | 0.004 % |
22.97/23.05 c | 259389 | 160 384 960 | 13427 13160 30 | 0.004 % |
22.97/23.10 c | 259624 | 160 384 960 | 13427 13395 30 | 0.004 % |
23.07/23.15 c | 259880 | 160 384 960 | 13427 8253 29 | 0.004 % |
23.07/23.19 c | 260161 | 160 384 960 | 8373 5162 28 | 0.004 % |
23.17/23.22 c | 260470 | 160 384 960 | 8373 5471 28 | 0.004 % |
23.17/23.26 c | 260809 | 160 384 960 | 8373 5810 28 | 0.004 % |
23.17/23.29 c | 261184 | 160 384 960 | 8373 6185 28 | 0.004 % |
23.27/23.33 c | 261594 | 160 384 960 | 8373 6595 28 | 0.004 % |
23.27/23.38 c | 262044 | 160 384 960 | 8373 7045 28 | 0.004 % |
23.37/23.44 c | 262539 | 160 384 960 | 8373 7540 28 | 0.004 % |
23.47/23.51 c | 263081 | 160 384 960 | 8373 8082 28 | 0.004 % |
23.47/23.59 c | 263678 | 160 384 960 | 8373 5570 27 | 0.004 % |
23.57/23.66 c | 264334 | 160 384 960 | 8373 6226 27 | 0.004 % |
23.67/23.74 c | 265055 | 160 384 960 | 8373 6947 28 | 0.004 % |
23.77/23.83 c | 265848 | 160 384 960 | 8373 7740 28 | 0.004 % |
23.87/23.93 c | 266721 | 160 384 960 | 8373 5618 28 | 0.004 % |
23.97/24.02 c | 267680 | 160 384 960 | 8373 6577 29 | 0.004 % |
24.07/24.12 c | 268735 | 160 384 960 | 8373 7632 29 | 0.004 % |
24.17/24.24 c | 269894 | 160 384 960 | 8373 5894 29 | 0.004 % |
24.27/24.36 c | 271168 | 160 384 960 | 6000 5101 28 | 0.004 % |
24.37/24.47 c | 272569 | 160 384 960 | 6000 4625 28 | 0.004 % |
24.57/24.61 c | 274110 | 160 384 960 | 6000 4372 29 | 0.004 % |
24.67/24.77 c | 275804 | 160 384 960 | 6000 4296 29 | 0.004 % |
24.87/24.92 c | 277667 | 160 384 960 | 6000 4470 29 | 0.004 % |
24.97/25.08 c | 279719 | 160 384 960 | 6000 4888 29 | 0.004 % |
25.17/25.24 c | 281973 | 160 384 960 | 5174 4443 30 | 0.004 % |
25.37/25.45 c | 284451 | 160 384 960 | 5174 4497 29 | 0.004 % |
25.57/25.64 c | 287176 | 160 384 960 | 5174 5022 29 | 0.004 % |
25.57/25.64 c | 287276 | 160 384 960 | 5174 5122 29 | 0.004 % |
25.57/25.65 c | 287386 | 160 384 960 | 5174 5232 29 | 0.004 % |
25.57/25.67 c | 287507 | 160 384 960 | 5174 4330 29 | 0.004 % |
25.57/25.68 c | 287640 | 160 384 960 | 5174 4463 29 | 0.004 % |
25.57/25.69 c | 287786 | 160 384 960 | 5174 4609 29 | 0.004 % |
25.67/25.70 c | 287947 | 160 384 960 | 5174 4770 29 | 0.004 % |
25.67/25.72 c | 288127 | 160 384 960 | 5174 4950 29 | 0.004 % |
25.67/25.73 c | 288320 | 160 384 960 | 5174 5143 29 | 0.004 % |
25.67/25.75 c | 288534 | 160 384 960 | 5174 4320 28 | 0.004 % |
25.67/25.77 c | 288768 | 160 384 960 | 5174 4554 29 | 0.004 % |
25.67/25.79 c | 289024 | 160 384 960 | 5174 4810 29 | 0.004 % |
25.77/25.82 c | 289305 | 160 384 960 | 5174 5091 29 | 0.004 % |
25.77/25.85 c | 289616 | 160 384 960 | 5174 4351 28 | 0.004 % |
25.77/25.88 c | 289956 | 160 384 960 | 5174 4691 28 | 0.004 % |
25.87/25.91 c | 290329 | 160 384 960 | 4735 4075 27 | 0.004 % |
25.87/25.94 c | 290738 | 160 384 960 | 4735 4484 27 | 0.004 % |
25.87/25.98 c | 291187 | 160 384 960 | 4735 3966 27 | 0.004 % |
25.97/26.02 c | 291683 | 160 384 960 | 4735 4462 27 | 0.004 % |
25.97/26.06 c | 292226 | 160 384 960 | 4735 4026 27 | 0.004 % |
26.07/26.11 c | 292822 | 160 384 960 | 4735 4622 27 | 0.004 % |
26.07/26.16 c | 293478 | 160 384 960 | 4735 4301 28 | 0.004 % |
26.17/26.22 c | 294198 | 160 384 960 | 4735 4033 28 | 0.004 % |
26.17/26.28 c | 294990 | 160 384 960 | 4735 3823 29 | 0.004 % |
26.27/26.36 c | 295861 | 160 384 960 | 4735 4694 30 | 0.004 % |
26.37/26.45 c | 296820 | 160 384 960 | 4735 4634 30 | 0.004 % |
26.47/26.53 c | 297874 | 160 384 960 | 4735 4665 30 | 0.004 % |
26.57/26.62 c | 299032 | 160 384 960 | 4735 3818 29 | 0.004 % |
26.67/26.72 c | 300305 | 160 384 960 | 3795 3305 29 | 0.004 % |
26.77/26.81 c | 301705 | 160 384 960 | 3795 3330 29 | 0.004 % |
26.87/26.93 c | 303246 | 160 384 960 | 3795 3556 28 | 0.004 % |
26.97/27.02 c | 304940 | 160 384 960 | 3795 3426 25 | 0.004 % |
27.07/27.14 c | 306803 | 160 384 960 | 3795 3580 25 | 0.004 % |
27.17/27.27 c | 308855 | 160 384 960 | 3795 3488 27 | 0.020 % |
27.37/27.42 c | 311109 | 160 384 960 | 3627 3394 26 | 0.004 % |
27.47/27.55 c | 313587 | 160 384 960 | 3627 3634 30 | 0.004 % |
27.67/27.74 c | 316312 | 160 384 960 | 3627 3419 29 | 0.004 % |
27.87/27.94 c | 319311 | 160 384 960 | 3627 3473 29 | 0.004 % |
27.87/27.95 c | 319412 | 160 384 960 | 3627 3574 29 | 0.004 % |
27.87/27.96 c | 319523 | 160 384 960 | 3627 3318 29 | 0.004 % |
27.87/27.96 c | 319644 | 160 384 960 | 3627 3439 29 | 0.004 % |
27.87/27.97 c | 319779 | 160 384 960 | 3627 3574 29 | 0.004 % |
27.87/27.98 c | 319926 | 160 384 960 | 3627 3353 28 | 0.004 % |
27.87/27.99 c | 320087 | 160 384 960 | 2147483647 3514 28 | 0.004 % |
27.97/28.01 c | 320264 | 160 384 960 | 2147483647 3691 29 | 0.004 % |
27.97/28.02 c | 320457 | 160 384 960 | 2147483647 3884 28 | 0.004 % |
27.97/28.04 c | 320669 | 160 384 960 | 2147483647 4096 28 | 0.004 % |
27.97/28.05 c | 320902 | 160 384 960 | 2147483647 4329 28 | 0.004 % |
27.97/28.08 c | 321159 | 160 384 960 | 2147483647 4586 28 | 0.004 % |
27.97/28.10 c | 321442 | 160 384 960 | 2147483647 4869 28 | 0.004 % |
28.07/28.13 c | 321751 | 160 384 960 | 2147483647 5178 28 | 0.004 % |
28.07/28.16 c | 322090 | 160 384 960 | 2147483647 5517 28 | 0.004 % |
28.07/28.19 c | 322465 | 160 384 960 | 2147483647 5892 28 | 0.004 % |
28.17/28.23 c | 322874 | 160 384 960 | 2147483647 6301 29 | 0.004 % |
28.17/28.28 c | 323324 | 160 384 960 | 2147483647 6751 29 | 0.004 % |
28.27/28.33 c | 323819 | 160 384 960 | 2147483647 7246 29 | 0.004 % |
28.27/28.39 c | 324362 | 160 384 960 | 2147483647 7789 29 | 0.004 % |
28.37/28.45 c | 324958 | 160 384 960 | 2147483647 8385 29 | 0.004 % |
28.47/28.54 c | 325616 | 160 384 960 | 2147483647 9043 29 | 0.004 % |
28.57/28.64 c | 326337 | 160 384 960 | 2147483647 9764 29 | 0.004 % |
28.67/28.75 c | 327129 | 160 384 960 | 2147483647 10556 29 | 0.004 % |
28.77/28.89 c | 328001 | 160 384 960 | 2147483647 11428 29 | 0.004 % |
28.97/29.09 c | 328960 | 160 384 960 | 2147483647 12387 29 | 0.004 % |
29.17/29.27 c | 330014 | 160 384 960 | 13428 13441 29 | 0.004 % |
29.37/29.45 c | 331172 | 160 384 960 | 13428 10121 29 | 0.004 % |
29.57/29.69 c | 332446 | 160 384 960 | 13428 11395 30 | 0.004 % |
29.87/29.98 c | 333846 | 160 384 960 | 13428 12795 30 | 0.004 % |
30.17/30.25 c | 335387 | 160 384 960 | 13428 8933 30 | 0.004 % |
30.48/30.51 c | 337081 | 160 384 960 | 13428 10627 30 | 0.004 % |
30.78/30.85 c | 338945 | 160 384 960 | 13428 12491 30 | 0.004 % |
31.08/31.18 c | 340995 | 160 384 960 | 8006 5691 29 | 0.004 % |
31.28/31.39 c | 343248 | 160 384 960 | 8006 7944 30 | 0.004 % |
31.58/31.61 c | 345727 | 160 384 960 | 8006 7480 31 | 0.004 % |
31.78/31.87 c | 348452 | 160 384 960 | 8006 7397 30 | 0.004 % |
32.08/32.11 c | 351449 | 160 384 960 | 6237 5609 28 | 0.004 % |
32.28/32.37 c | 354746 | 160 384 960 | 6237 5322 28 | 0.004 % |
32.28/32.38 c | 354848 | 160 384 960 | 6237 5424 28 | 0.004 % |
32.28/32.40 c | 354961 | 160 384 960 | 6237 5537 28 | 0.004 % |
32.38/32.41 c | 355083 | 160 384 960 | 6237 5659 29 | 0.004 % |
32.38/32.43 c | 355217 | 160 384 960 | 6237 5793 29 | 0.004 % |
32.38/32.44 c | 355363 | 160 384 960 | 6237 5939 29 | 0.004 % |
32.38/32.46 c | 355524 | 160 384 960 | 6237 6100 29 | 0.004 % |
32.38/32.48 c | 355701 | 160 384 960 | 6237 6277 29 | 0.004 % |
32.48/32.50 c | 355894 | 160 384 960 | 6237 4758 28 | 0.004 % |
32.48/32.52 c | 356106 | 160 384 960 | 6237 4970 28 | 0.004 % |
32.48/32.55 c | 356339 | 160 384 960 | 6237 5203 29 | 0.004 % |
32.48/32.57 c | 356595 | 160 384 960 | 6237 5459 29 | 0.004 % |
32.58/32.60 c | 356876 | 160 384 960 | 6237 5740 29 | 0.004 % |
32.58/32.63 c | 357185 | 160 384 960 | 6237 6049 29 | 0.004 % |
32.58/32.67 c | 357524 | 160 384 960 | 6237 4681 28 | 0.004 % |
32.68/32.71 c | 357896 | 160 384 960 | 6237 5053 28 | 0.004 % |
32.68/32.75 c | 358307 | 160 384 960 | 6237 5464 29 | 0.004 % |
32.68/32.79 c | 358758 | 160 384 960 | 6237 5915 29 | 0.004 % |
32.78/32.85 c | 359252 | 160 384 960 | 6237 4684 29 | 0.004 % |
32.78/32.90 c | 359794 | 160 384 960 | 6237 5226 29 | 0.004 % |
32.88/32.95 c | 360391 | 160 384 960 | 5434 4335 29 | 0.004 % |
32.98/33.01 c | 361047 | 160 384 960 | 5434 4991 29 | 0.004 % |
32.98/33.08 c | 361767 | 160 384 960 | 5434 4307 29 | 0.004 % |
33.08/33.16 c | 362560 | 160 384 960 | 5434 5100 29 | 0.004 % |
33.18/33.24 c | 363431 | 160 384 960 | 5434 4580 29 | 0.004 % |
33.28/33.32 c | 364391 | 160 384 960 | 5434 4174 28 | 0.004 % |
33.37/33.41 c | 365444 | 160 384 960 | 5434 5227 29 | 0.004 % |
33.47/33.52 c | 366603 | 160 384 960 | 5434 5018 29 | 0.004 % |
33.57/33.63 c | 367876 | 160 384 960 | 5434 4902 27 | 0.004 % |
33.67/33.74 c | 369276 | 160 384 960 | 5434 4938 26 | 0.004 % |
33.77/33.86 c | 370816 | 160 384 960 | 4328 4086 26 | 0.004 % |
33.87/33.97 c | 372511 | 160 384 960 | 4328 4014 28 | 0.004 % |
33.98/34.09 c | 374374 | 160 384 960 | 4328 4321 28 | 0.004 % |
34.17/34.25 c | 376428 | 160 384 960 | 4328 4115 28 | 0.004 % |
34.37/34.41 c | 378682 | 160 384 960 | 4328 4167 29 | 0.004 % |
34.47/34.59 c | 381160 | 160 384 960 | 4023 3845 30 | 0.004 % |
34.67/34.79 c | 383885 | 160 384 960 | 4023 3524 27 | 0.004 % |
34.87/34.98 c | 386883 | 160 384 960 | 4023 3735 31 | 0.004 % |
35.08/35.20 c | 390182 | 160 384 960 | 3825 3553 28 | 0.004 % |
35.37/35.43 c | 393810 | 160 384 960 | 3825 3614 28 | 0.004 % |
35.37/35.44 c | 393910 | 160 384 960 | 3825 3714 28 | 0.004 % |
35.37/35.45 c | 394020 | 160 384 960 | 3825 3824 28 | 0.004 % |
35.37/35.46 c | 394145 | 160 384 960 | 3825 3562 28 | 0.004 % |
35.37/35.47 c | 394279 | 160 384 960 | 3825 3696 28 | 0.004 % |
35.37/35.48 c | 394425 | 160 384 960 | 3825 3842 28 | 0.004 % |
35.37/35.49 c | 394585 | 160 384 960 | 3825 3618 28 | 0.004 % |
35.47/35.50 c | 394762 | 160 384 960 | 3825 3795 28 | 0.004 % |
35.47/35.52 c | 394955 | 160 384 960 | 3825 3601 28 | 0.004 % |
35.47/35.53 c | 395170 | 160 384 960 | 3825 3816 28 | 0.004 % |
35.47/35.55 c | 395403 | 160 384 960 | 3825 3653 28 | 0.004 % |
35.47/35.57 c | 395660 | 160 384 960 | 3825 3509 28 | 0.004 % |
35.47/35.59 c | 395943 | 160 384 960 | 3825 3792 28 | 0.004 % |
35.57/35.61 c | 396252 | 160 384 960 | 3825 3689 28 | 0.004 % |
35.57/35.63 c | 396591 | 160 384 960 | 3825 3627 28 | 0.004 % |
35.57/35.66 c | 396966 | 160 384 960 | 3825 3597 28 | 0.004 % |
35.57/35.69 c | 397375 | 160 384 960 | 3825 3600 28 | 0.004 % |
35.67/35.72 c | 397825 | 160 384 960 | 3825 3645 27 | 0.004 % |
35.67/35.76 c | 398318 | 160 384 960 | 3825 3727 28 | 0.004 % |
35.67/35.79 c | 398862 | 160 384 960 | 3825 3860 28 | 0.004 % |
35.77/35.84 c | 399460 | 160 384 960 | 3825 3644 28 | 0.004 % |
35.77/35.88 c | 400116 | 160 384 960 | 3782 3506 28 | 0.004 % |
35.87/35.93 c | 400837 | 160 384 960 | 3782 3461 28 | 0.004 % |
35.87/35.99 c | 401630 | 160 384 960 | 3782 3489 28 | 0.004 % |
35.97/36.04 c | 402503 | 160 384 960 | 3782 3599 28 | 0.004 % |
36.07/36.11 c | 403463 | 160 384 960 | 3782 3792 29 | 0.004 % |
36.07/36.19 c | 404517 | 160 384 960 | 3782 3652 30 | 0.004 % |
36.18/36.26 c | 405676 | 160 384 960 | 3782 3597 30 | 0.004 % |
36.28/36.35 c | 406949 | 160 384 960 | 3782 3705 29 | 0.004 % |
36.37/36.44 c | 408350 | 160 384 960 | 3782 3570 28 | 0.004 % |
36.47/36.55 c | 409892 | 160 384 960 | 3782 3517 28 | 0.004 % |
36.57/36.66 c | 411587 | 160 384 960 | 3626 3640 28 | 0.004 % |
36.67/36.79 c | 413450 | 160 384 960 | 3626 3567 27 | 0.004 % |
36.87/36.92 c | 415500 | 160 384 960 | 3626 3405 28 | 0.004 % |
36.97/37.06 c | 417757 | 160 384 960 | 3626 3449 27 | 0.004 % |
37.17/37.23 c | 420235 | 160 384 960 | 2147483647 3719 29 | 0.004 % |
37.37/37.43 c | 422960 | 160 384 960 | 2147483647 6444 29 | 0.020 % |
37.67/37.74 c | 425958 | 160 384 960 | 2147483647 9442 29 | 0.004 % |
38.07/38.13 c | 429254 | 160 384 960 | 2147483647 12738 29 | 0.004 % |
38.67/38.73 c | 432879 | 160 384 960 | 13485 12067 29 | 0.004 % |
39.27/39.37 c | 436869 | 160 384 960 | 13485 10806 30 | 0.004 % |
39.27/39.39 c | 436970 | 160 384 960 | 13485 10907 30 | 0.004 % |
39.37/39.41 c | 437080 | 160 384 960 | 13485 11017 30 | 0.004 % |
39.37/39.44 c | 437202 | 160 384 960 | 13485 11139 30 | 0.004 % |
39.37/39.46 c | 437337 | 160 384 960 | 13485 11274 30 | 0.004 % |
39.37/39.49 c | 437483 | 160 384 960 | 13485 11420 30 | 0.004 % |
39.47/39.53 c | 437643 | 160 384 960 | 13485 11580 30 | 0.004 % |
39.47/39.56 c | 437820 | 160 384 960 | 13485 11757 30 | 0.004 % |
39.47/39.60 c | 438013 | 160 384 960 | 13485 11950 30 | 0.004 % |
39.57/39.64 c | 438225 | 160 384 960 | 13485 12162 30 | 0.004 % |
39.57/39.67 c | 438458 | 160 384 960 | 13485 12395 30 | 0.004 % |
39.67/39.73 c | 438714 | 160 384 960 | 13485 12651 30 | 0.004 % |
39.67/39.79 c | 438995 | 160 384 960 | 13485 12932 30 | 0.004 % |
39.77/39.85 c | 439305 | 160 384 960 | 13485 13242 30 | 0.004 % |
39.87/39.93 c | 439645 | 160 384 960 | 13485 8133 29 | 0.004 % |
39.87/39.98 c | 440017 | 160 384 960 | 8488 8505 29 | 0.004 % |
39.97/40.02 c | 440427 | 160 384 960 | 8488 5508 27 | 0.004 % |
39.97/40.06 c | 440876 | 160 384 960 | 8488 5957 27 | 0.004 % |
40.07/40.11 c | 441375 | 160 384 960 | 8488 6456 27 | 0.004 % |
40.07/40.15 c | 441917 | 160 384 960 | 8488 6998 27 | 0.004 % |
40.17/40.22 c | 442514 | 160 384 960 | 8488 7595 27 | 0.004 % |
40.17/40.29 c | 443169 | 160 384 960 | 8488 8250 27 | 0.004 % |
40.27/40.37 c | 443889 | 160 384 960 | 8488 5893 27 | 0.004 % |
40.37/40.44 c | 444682 | 160 384 960 | 8488 6686 28 | 0.004 % |
40.47/40.53 c | 445556 | 160 384 960 | 8488 7560 28 | 0.004 % |
40.57/40.65 c | 446515 | 160 384 960 | 8488 8519 28 | 0.004 % |
40.67/40.75 c | 447568 | 160 384 960 | 8488 6593 28 | 0.004 % |
40.77/40.87 c | 448726 | 160 384 960 | 8488 7751 28 | 0.004 % |
40.97/41.02 c | 450000 | 160 384 960 | 8488 6149 28 | 0.004 % |
41.07/41.13 c | 451401 | 160 384 960 | 6149 5492 28 | 0.004 % |
41.17/41.28 c | 452946 | 160 384 960 | 6149 5148 27 | 0.004 % |
41.37/41.42 c | 454641 | 160 384 960 | 6149 5020 27 | 0.004 % |
41.47/41.56 c | 456505 | 160 384 960 | 6149 5135 27 | 0.004 % |
41.67/41.74 c | 458556 | 160 384 960 | 6149 5467 28 | 0.004 % |
41.86/41.94 c | 460809 | 160 384 960 | 5199 4571 30 | 0.004 % |
42.06/42.13 c | 463287 | 160 384 960 | 5199 4334 30 | 0.004 % |
42.26/42.34 c | 466013 | 160 384 960 | 5199 4541 30 | 0.004 % |
42.46/42.57 c | 469010 | 160 384 960 | 5199 5104 30 | 0.004 % |
42.77/42.83 c | 472306 | 160 384 960 | 4905 4032 29 | 0.004 % |
42.96/43.08 c | 475932 | 160 384 960 | 4905 4812 28 | 0.004 % |
43.26/43.39 c | 479919 | 160 384 960 | 4905 4049 30 | 0.004 % |
43.56/43.69 c | 484305 | 160 384 960 | 4130 3867 31 | 0.004 % |
43.66/43.70 c | 484405 | 160 384 960 | 4130 3967 31 | 0.004 % |
43.66/43.71 c | 484515 | 160 384 960 | 4130 4077 31 | 0.004 % |
43.66/43.72 c | 484638 | 160 384 960 | 4130 3638 30 | 0.004 % |
43.66/43.73 c | 484772 | 160 384 960 | 4130 3772 30 | 0.004 % |
43.66/43.74 c | 484919 | 160 384 960 | 4130 3919 30 | 0.004 % |
43.66/43.75 c | 485079 | 160 384 960 | 4130 4079 30 | 0.004 % |
43.66/43.76 c | 485258 | 160 384 960 | 4130 3697 29 | 0.004 % |
43.66/43.77 c | 485451 | 160 384 960 | 4130 3890 29 | 0.004 % |
43.66/43.79 c | 485663 | 160 384 960 | 4130 4102 30 | 0.004 % |
43.76/43.81 c | 485897 | 160 384 960 | 4130 3765 29 | 0.004 % |
43.76/43.83 c | 486160 | 160 384 960 | 4130 4028 28 | 0.004 % |
43.76/43.85 c | 486444 | 160 384 960 | 4130 3740 28 | 0.004 % |
43.76/43.87 c | 486753 | 160 384 960 | 4130 4049 28 | 0.004 % |
43.76/43.90 c | 487093 | 160 384 960 | 4130 3819 28 | 0.004 % |
43.87/43.93 c | 487466 | 160 384 960 | 4130 3624 27 | 0.004 % |
43.87/43.96 c | 487878 | 160 384 960 | 4130 4036 27 | 0.004 % |
43.87/43.99 c | 488329 | 160 384 960 | 4130 3912 27 | 0.004 % |
43.97/44.03 c | 488824 | 160 384 960 | 4130 3833 27 | 0.004 % |
43.97/44.06 c | 489366 | 160 384 960 | 4130 3804 27 | 0.004 % |
44.06/44.11 c | 489962 | 160 384 960 | 4130 3826 27 | 0.004 % |
44.06/44.15 c | 490618 | 160 384 960 | 3864 3446 27 | 0.004 % |
44.06/44.20 c | 491341 | 160 384 960 | 3864 3680 27 | 0.004 % |
44.16/44.25 c | 492133 | 160 384 960 | 3864 3534 27 | 0.004 % |
44.26/44.31 c | 493004 | 160 384 960 | 3864 3447 27 | 0.004 % |
44.26/44.38 c | 493963 | 160 384 960 | 3864 3445 28 | 0.004 % |
44.36/44.45 c | 495018 | 160 384 960 | 3864 3562 28 | 0.004 % |
44.46/44.54 c | 496176 | 160 384 960 | 3864 3798 28 | 0.004 % |
44.56/44.63 c | 497449 | 160 384 960 | 3864 3716 28 | 0.004 % |
44.66/44.73 c | 498852 | 160 384 960 | 3864 3740 29 | 0.004 % |
44.76/44.83 c | 500392 | 160 384 960 | 3480 3448 29 | 0.004 % |
44.86/44.95 c | 502086 | 160 384 960 | 3480 3484 29 | 0.004 % |
44.97/45.07 c | 503949 | 160 384 960 | 3480 3455 28 | 0.004 % |
45.16/45.20 c | 505999 | 160 384 960 | 3480 3381 28 | 0.004 % |
45.26/45.35 c | 508252 | 160 384 960 | 3480 3513 30 | 0.004 % |
45.46/45.52 c | 510731 | 160 384 960 | 2147483647 4231 28 | 0.004 % |
45.66/45.75 c | 513456 | 160 384 960 | 2147483647 6956 29 | 0.004 % |
46.06/46.15 c | 516455 | 160 384 960 | 2147483647 9955 30 | 0.004 % |
46.66/46.73 c | 519753 | 160 384 960 | 2147483647 13253 31 | 0.004 % |
47.26/47.31 c | 523379 | 160 384 960 | 13501 12179 31 | 0.004 % |
47.86/47.99 c | 527367 | 160 384 960 | 13501 10783 30 | 0.004 % |
48.56/48.63 c | 531754 | 160 384 960 | 13416 9750 30 | 0.004 % |
49.16/49.24 c | 536578 | 160 384 960 | 13416 9369 31 | 0.004 % |
49.16/49.26 c | 536679 | 160 384 960 | 13416 9470 31 | 0.004 % |
49.16/49.28 c | 536789 | 160 384 960 | 13416 9580 31 | 0.004 % |
49.16/49.30 c | 536910 | 160 384 960 | 13416 9701 31 | 0.004 % |
49.26/49.31 c | 537045 | 160 384 960 | 13416 9836 31 | 0.004 % |
49.26/49.34 c | 537191 | 160 384 960 | 13416 9982 31 | 0.004 % |
49.26/49.36 c | 537351 | 160 384 960 | 13416 10142 31 | 0.004 % |
49.26/49.38 c | 537531 | 160 384 960 | 13416 10322 31 | 0.004 % |
49.36/49.42 c | 537724 | 160 384 960 | 13416 10515 31 | 0.004 % |
49.36/49.45 c | 537940 | 160 384 960 | 13416 10731 31 | 0.004 % |
49.46/49.51 c | 538173 | 160 384 960 | 13416 10964 31 | 0.004 % |
49.46/49.55 c | 538432 | 160 384 960 | 13416 11223 31 | 0.004 % |
49.56/49.62 c | 538714 | 160 384 960 | 13416 11505 31 | 0.004 % |
49.56/49.69 c | 539026 | 160 384 960 | 13416 11817 31 | 0.004 % |
49.66/49.76 c | 539366 | 160 384 960 | 13416 12157 31 | 0.004 % |
49.76/49.85 c | 539738 | 160 384 960 | 13416 12529 31 | 0.004 % |
49.86/49.96 c | 540147 | 160 384 960 | 12791 7791 29 | 0.004 % |
49.96/50.02 c | 540596 | 160 384 960 | 12791 8240 29 | 0.004 % |
49.96/50.08 c | 541090 | 160 384 960 | 12791 8734 29 | 0.004 % |
50.06/50.16 c | 541634 | 160 384 960 | 12791 9278 29 | 0.004 % |
50.16/50.25 c | 542231 | 160 384 960 | 12791 9875 29 | 0.004 % |
50.25/50.34 c | 542887 | 160 384 960 | 12791 10531 29 | 0.004 % |
50.35/50.46 c | 543607 | 160 384 960 | 12791 11251 29 | 0.020 % |
50.46/50.59 c | 544400 | 160 384 960 | 12791 12044 29 | 0.004 % |
50.65/50.79 c | 545271 | 160 384 960 | 12791 7697 28 | 0.004 % |
50.85/50.90 c | 546229 | 160 384 960 | 12791 8655 28 | 0.004 % |
50.95/51.04 c | 547283 | 160 384 960 | 12791 9709 28 | 0.004 % |
51.15/51.24 c | 548441 | 160 384 960 | 12791 10867 29 | 0.020 % |
51.35/51.46 c | 549715 | 160 384 960 | 12791 12141 29 | 0.004 % |
51.56/51.67 c | 551115 | 160 384 960 | 12426 8473 29 | 0.004 % |
51.75/51.85 c | 552655 | 160 384 960 | 12426 10013 29 | 0.004 % |
52.05/52.12 c | 554350 | 160 384 960 | 12426 11708 29 | 0.004 % |
52.35/52.41 c | 556215 | 160 384 960 | 12426 8584 28 | 0.004 % |
52.55/52.68 c | 558264 | 160 384 960 | 12426 10633 29 | 0.004 % |
52.95/53.02 c | 560517 | 160 384 960 | 12371 7936 29 | 0.004 % |
53.25/53.36 c | 562997 | 160 384 960 | 12371 10416 29 | 0.004 % |
53.65/53.73 c | 565722 | 160 384 960 | 12371 8263 29 | 0.004 % |
54.05/54.15 c | 568719 | 160 384 960 | 12371 11260 29 | 0.004 % |
54.45/54.50 c | 572017 | 160 384 960 | 7720 6732 28 | 0.004 % |
54.75/54.87 c | 575642 | 160 384 960 | 7720 7713 28 | 0.004 % |
55.15/55.28 c | 579629 | 160 384 960 | 7720 6677 30 | 0.004 % |
55.65/55.70 c | 584014 | 160 384 960 | 7049 6625 30 | 0.004 % |
56.06/56.17 c | 588838 | 160 384 960 | 7049 5056 28 | 0.004 % |
56.55/56.63 c | 594143 | 160 384 960 | 6218 5091 28 | 0.004 % |
56.55/56.64 c | 594246 | 160 384 960 | 6218 5194 28 | 0.004 % |
56.55/56.65 c | 594357 | 160 384 960 | 6218 5305 28 | 0.004 % |
56.55/56.67 c | 594479 | 160 384 960 | 6218 5427 28 | 0.004 % |
56.55/56.68 c | 594612 | 160 384 960 | 6218 5560 28 | 0.004 % |
56.55/56.69 c | 594759 | 160 384 960 | 6218 5707 28 | 0.004 % |
56.65/56.71 c | 594922 | 160 384 960 | 6218 5870 28 | 0.004 % |
56.65/56.72 c | 595098 | 160 384 960 | 6218 6046 28 | 0.004 % |
56.65/56.74 c | 595291 | 160 384 960 | 6218 6239 29 | 0.004 % |
56.65/56.76 c | 595506 | 160 384 960 | 6218 4742 28 | 0.004 % |
56.65/56.78 c | 595739 | 160 384 960 | 6218 4975 28 | 0.004 % |
56.75/56.81 c | 595996 | 160 384 960 | 6218 5232 28 | 0.004 % |
56.75/56.83 c | 596277 | 160 384 960 | 6218 5513 28 | 0.004 % |
56.75/56.86 c | 596586 | 160 384 960 | 6218 5822 28 | 0.004 % |
56.85/56.90 c | 596925 | 160 384 960 | 6218 6161 29 | 0.004 % |
56.85/56.93 c | 597297 | 160 384 960 | 6218 4816 28 | 0.004 % |
56.85/56.97 c | 597707 | 160 384 960 | 6218 5226 28 | 0.004 % |
56.95/57.01 c | 598157 | 160 384 960 | 6218 5676 28 | 0.004 % |
56.95/57.06 c | 598650 | 160 384 960 | 6218 6169 28 | 0.004 % |
57.05/57.10 c | 599192 | 160 384 960 | 6218 5009 28 | 0.004 % |
57.05/57.15 c | 599788 | 160 384 960 | 6218 5605 28 | 0.004 % |
57.15/57.21 c | 600444 | 160 384 960 | 5818 4666 27 | 0.004 % |
57.15/57.28 c | 601164 | 160 384 960 | 5818 5386 28 | 0.004 % |
57.25/57.35 c | 601958 | 160 384 960 | 5818 4660 27 | 0.004 % |
57.35/57.43 c | 602829 | 160 384 960 | 5818 5531 28 | 0.004 % |
57.45/57.50 c | 603787 | 160 384 960 | 5818 4980 28 | 0.004 % |
57.45/57.59 c | 604840 | 160 384 960 | 5818 4592 28 | 0.004 % |
57.55/57.67 c | 605998 | 160 384 960 | 5818 5750 28 | 0.020 % |
57.65/57.78 c | 607271 | 160 384 960 | 5818 5608 28 | 0.004 % |
57.75/57.89 c | 608672 | 160 384 960 | 5818 5608 28 | 0.004 % |
57.95/58.03 c | 610212 | 160 384 960 | 5549 4425 28 | 0.004 % |
58.05/58.19 c | 611906 | 160 384 960 | 5549 4776 29 | 0.004 % |
58.25/58.34 c | 613769 | 160 384 960 | 5549 5340 29 | 0.004 % |
58.45/58.52 c | 615819 | 160 384 960 | 5549 4831 29 | 0.004 % |
58.55/58.69 c | 618074 | 160 384 960 | 5549 4557 29 | 0.004 % |
58.75/58.89 c | 620552 | 160 384 960 | 5238 4614 29 | 0.004 % |
58.95/59.09 c | 623277 | 160 384 960 | 5238 4998 29 | 0.004 % |
59.25/59.31 c | 626274 | 160 384 960 | 5238 4499 29 | 0.004 % |
59.45/59.59 c | 629570 | 160 384 960 | 5238 4262 28 | 0.004 % |
59.75/59.87 c | 633196 | 160 384 960 | 4692 3842 29 | 0.004 % |
60.05/60.14 c | 637183 | 160 384 960 | 4692 4314 29 | 0.004 % |
60.35/60.44 c | 641570 | 160 384 960 | 4609 4585 29 | 0.004 % |
60.64/60.77 c | 646393 | 160 384 960 | 4609 4612 28 | 0.004 % |
61.04/61.14 c | 651699 | 160 384 960 | 4235 4079 26 | 0.004 % |
61.45/61.52 c | 657534 | 160 384 960 | 4235 4286 28 | 0.004 % |
61.45/61.52 c | 657636 | 160 384 960 | 4235 3867 28 | 0.004 % |
61.45/61.53 c | 657746 | 160 384 960 | 4235 3977 28 | 0.004 % |
61.45/61.54 c | 657868 | 160 384 960 | 4235 4099 28 | 0.004 % |
61.45/61.55 c | 658001 | 160 384 960 | 4235 4232 28 | 0.004 % |
61.45/61.56 c | 658147 | 160 384 960 | 4235 3865 28 | 0.004 % |
61.45/61.57 c | 658308 | 160 384 960 | 4235 4026 29 | 0.004 % |
61.45/61.59 c | 658485 | 160 384 960 | 4235 4203 29 | 0.004 % |
61.55/61.61 c | 658679 | 160 384 960 | 4235 3871 29 | 0.004 % |
61.55/61.62 c | 658892 | 160 384 960 | 4235 4084 29 | 0.004 % |
61.55/61.64 c | 659128 | 160 384 960 | 4235 3788 29 | 0.004 % |
61.55/61.66 c | 659386 | 160 384 960 | 4235 4046 29 | 0.004 % |
61.55/61.69 c | 659673 | 160 384 960 | 4235 3791 29 | 0.004 % |
61.64/61.71 c | 659983 | 160 384 960 | 4235 4101 29 | 0.004 % |
61.64/61.74 c | 660322 | 160 384 960 | 4118 3899 29 | 0.004 % |
61.64/61.77 c | 660697 | 160 384 960 | 4118 3746 29 | 0.004 % |
61.64/61.79 c | 661107 | 160 384 960 | 4118 4156 29 | 0.004 % |
61.74/61.82 c | 661558 | 160 384 960 | 4118 4070 29 | 0.004 % |
61.74/61.87 c | 662051 | 160 384 960 | 4118 4032 29 | 0.004 % |
61.84/61.91 c | 662593 | 160 384 960 | 4118 4018 29 | 0.004 % |
61.84/61.95 c | 663191 | 160 384 960 | 4118 4058 29 | 0.004 % |
61.94/62.00 c | 663846 | 160 384 960 | 4118 3635 28 | 0.004 % |
61.94/62.05 c | 664568 | 160 384 960 | 4118 3818 29 | 0.004 % |
62.04/62.11 c | 665361 | 160 384 960 | 4118 4063 28 | 0.004 % |
62.04/62.18 c | 666234 | 160 384 960 | 4118 3829 28 | 0.004 % |
62.14/62.25 c | 667192 | 160 384 960 | 4118 3652 28 | 0.004 % |
62.24/62.33 c | 668247 | 160 384 960 | 4118 4139 28 | 0.004 % |
62.34/62.41 c | 669405 | 160 384 960 | 4118 4146 28 | 0.004 % |
62.34/62.49 c | 670678 | 160 384 960 | 4164 3701 27 | 0.004 % |
62.44/62.60 c | 672080 | 160 384 960 | 4164 3889 27 | 0.004 % |
62.65/62.71 c | 673621 | 160 384 960 | 4164 4183 28 | 0.004 % |
62.74/62.83 c | 675316 | 160 384 960 | 4164 4057 28 | 0.004 % |
62.84/62.96 c | 677181 | 160 384 960 | 4164 4125 29 | 0.004 % |
62.94/63.09 c | 679230 | 160 384 960 | 4164 3844 30 | 0.004 % |
63.14/63.24 c | 681483 | 160 384 960 | 4053 3909 28 | 0.004 % |
63.24/63.38 c | 683961 | 160 384 960 | 4053 3805 28 | 0.004 % |
63.44/63.57 c | 686686 | 160 384 960 | 4053 4050 29 | 0.004 % |
63.65/63.77 c | 689687 | 160 384 960 | 4053 4005 29 | 0.004 % |
63.84/63.97 c | 692983 | 160 384 960 | 3813 3582 27 | 0.004 % |
64.14/64.23 c | 696609 | 160 384 960 | 3813 3718 29 | 0.004 % |
64.34/64.46 c | 700597 | 160 384 960 | 2147483647 4235 28 | 0.004 % |
64.75/64.85 c | 704982 | 160 384 960 | 2147483647 8620 30 | 0.004 % |
65.54/65.63 c | 709805 | 160 384 960 | 2147483647 13443 30 | 0.004 % |
66.34/66.45 c | 715110 | 160 384 960 | 13638 8876 29 | 0.004 % |
67.24/67.34 c | 720945 | 160 384 960 | 8304 5920 28 | 0.004 % |
67.84/67.94 c | 727363 | 160 384 960 | 8304 6577 30 | 0.004 % |
67.84/67.95 c | 727463 | 160 384 960 | 8304 6677 30 | 0.004 % |
67.84/67.96 c | 727573 | 160 384 960 | 8304 6787 30 | 0.004 % |
67.84/67.98 c | 727695 | 160 384 960 | 8304 6909 30 | 0.004 % |
67.84/68.00 c | 727828 | 160 384 960 | 8304 7042 30 | 0.004 % |
67.94/68.02 c | 727976 | 160 384 960 | 8304 7190 30 | 0.004 % |
67.94/68.04 c | 728139 | 160 384 960 | 8304 7353 30 | 0.004 % |
67.94/68.05 c | 728315 | 160 384 960 | 8304 7529 30 | 0.004 % |
67.94/68.08 c | 728508 | 160 384 960 | 8304 7722 30 | 0.004 % |
68.04/68.11 c | 728720 | 160 384 960 | 8304 7934 30 | 0.004 % |
68.04/68.14 c | 728953 | 160 384 960 | 8304 8167 30 | 0.004 % |
68.04/68.18 c | 729209 | 160 384 960 | 8304 5629 28 | 0.004 % |
68.04/68.20 c | 729491 | 160 384 960 | 8304 5911 28 | 0.004 % |
68.14/68.23 c | 729800 | 160 384 960 | 8304 6220 28 | 0.004 % |
68.14/68.27 c | 730141 | 160 384 960 | 6422 4402 27 | 0.004 % |
68.24/68.30 c | 730513 | 160 384 960 | 6422 4774 27 | 0.004 % |
68.24/68.34 c | 730922 | 160 384 960 | 6422 5183 27 | 0.004 % |
68.24/68.38 c | 731372 | 160 384 960 | 6422 5633 28 | 0.004 % |
68.34/68.43 c | 731867 | 160 384 960 | 6422 6128 28 | 0.004 % |
68.34/68.49 c | 732410 | 160 384 960 | 6422 4623 28 | 0.004 % |
68.44/68.54 c | 733007 | 160 384 960 | 6422 5220 28 | 0.004 % |
68.54/68.61 c | 733662 | 160 384 960 | 6422 5875 29 | 0.004 % |
68.54/68.69 c | 734385 | 160 384 960 | 6422 4577 30 | 0.004 % |
68.64/68.77 c | 735178 | 160 384 960 | 6422 5370 30 | 0.004 % |
68.74/68.85 c | 736051 | 160 384 960 | 6422 6243 31 | 0.004 % |
68.83/68.94 c | 737012 | 160 384 960 | 6422 5238 30 | 0.004 % |
68.93/69.03 c | 738066 | 160 384 960 | 6422 6292 30 | 0.004 % |
69.03/69.14 c | 739227 | 160 384 960 | 6422 5532 29 | 0.004 % |
69.14/69.27 c | 740503 | 160 384 960 | 6306 4936 28 | 0.004 % |
69.24/69.40 c | 741903 | 160 384 960 | 6306 6336 29 | 0.004 % |
69.43/69.51 c | 743445 | 160 384 960 | 6306 6062 29 | 0.004 % |
69.53/69.68 c | 745139 | 160 384 960 | 6306 6003 29 | 0.004 % |
69.73/69.84 c | 747003 | 160 384 960 | 6306 6145 29 | 0.004 % |
69.93/70.04 c | 749052 | 160 384 960 | 6306 4802 29 | 0.004 % |
70.13/70.24 c | 751306 | 160 384 960 | 5751 5519 29 | 0.004 % |
70.34/70.46 c | 753787 | 160 384 960 | 5751 5092 29 | 0.004 % |
70.63/70.70 c | 756513 | 160 384 960 | 5751 4846 29 | 0.004 % |
70.83/70.95 c | 759510 | 160 384 960 | 5751 4983 28 | 0.004 % |
71.13/71.21 c | 762806 | 160 384 960 | 5473 4336 29 | 0.004 % |
71.34/71.50 c | 766431 | 160 384 960 | 5473 5414 30 | 0.004 % |
71.73/71.81 c | 770420 | 160 384 960 | 5132 4361 28 | 0.020 % |
72.03/72.12 c | 774805 | 160 384 960 | 5132 4650 30 | 0.004 % |
72.33/72.47 c | 779628 | 160 384 960 | 5132 4941 30 | 0.004 % |
72.73/72.82 c | 784933 | 160 384 960 | 4407 3874 30 | 0.004 % |
73.13/73.24 c | 790770 | 160 384 960 | 4275 3783 31 | 0.004 % |
73.23/73.30 c ===============================================================================
73.23/73.30 c restarts : 1081
73.23/73.30 c conflicts : 791500 (10808 /sec)
73.23/73.30 c decisions : 968364 (1.55 % random) (13223 /sec)
73.23/73.30 c propagations : 28105488 (383777 /sec)
73.23/73.30 c conflict literals : 24268745 (11.04 % deleted)
73.23/73.30 c Memory used : 5.49 MB
73.23/73.30 c CPU time : 73.2339 s
73.23/73.30 c
73.23/73.30 s SATISFIABLE
73.23/73.31 s SATISFIABLE
73.23/73.31 v -1 -2 3 -4 -5 6 -7 -8 -9 -10 -11 12 -13 -14 -15 -16 -17 18 -19 -20 -21 -22 23 -24 -25 -26 27 -28 -29 -30 -31 32 -33 -34 -35 36 -37 -38 -39 -40 41 -42 -43 -44 -45 -46 -47 -48 49 -50 51 -52 -53 -54 -55 -56 -57 -58 59 -60 61 -62 -63 -64 -65 -66 -67 68 -69 -70 71 -72 -73 -74 -75 -76 -77 78 -79 -80 -81 -82 -83 84 -85 -86 87 -88 -89 -90 -91 -92 -93 94 -95 -96 -97 -98 99 -100 -101 -102 -103 104 -105 -106 107 -108 -109 -110 -111 -112 113 -114 -115 116 -117 -118 -119 -120 -121 -122 -123 124 -125 -126 -127 128 -129 -130 -131 -132 133 -134 -135 136 -137 -138 -139 -140 -141 -142 -143 144 -145 -146 -147 -148 149 -150 -151 152 -153 -154 -155 -156 -157 -158 159 -160 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833997-1242827094/watcher-1833997-1242827094 -o /tmp/evaluation-result-1833997-1242827094/solver-1833997-1242827094 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833997-1242827094.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: 1.00 0.99 1.00 3/64 5641
/proc/meminfo: memFree=1930272/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310742901 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 237 197 169 0 50 0
[startup+0.062048 s]
/proc/loadavg: 1.00 0.99 1.00 3/64 5641
/proc/meminfo: memFree=1930272/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101053 s]
/proc/loadavg: 1.00 0.99 1.00 3/64 5641
/proc/meminfo: memFree=1930272/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301079 s]
/proc/loadavg: 1.00 0.99 1.00 3/64 5641
/proc/meminfo: memFree=1930272/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701132 s]
/proc/loadavg: 1.00 0.99 1.00 3/64 5641
/proc/meminfo: memFree=1930272/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50124 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5647
/proc/meminfo: memFree=1928144/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
[pid=5647] ppid=5641 vsize=3620 CPUtime=1.48
/proc/5647/stat : 5647 (minisat_static) R 5641 5641 5401 0 -1 4194304 537 0 0 0 148 0 0 0 25 0 1 0 310742902 3706880 523 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/5647/statm: 905 523 76 171 0 732 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8976
[startup+3.10145 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5647
/proc/meminfo: memFree=1927888/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
[pid=5647] ppid=5641 vsize=3620 CPUtime=3.08
/proc/5647/stat : 5647 (minisat_static) R 5641 5641 5401 0 -1 4194304 561 0 0 0 308 0 0 0 25 0 1 0 310742902 3706880 547 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/5647/statm: 905 547 76 171 0 732 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8976
[startup+6.30187 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5647
/proc/meminfo: memFree=1927824/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
[pid=5647] ppid=5641 vsize=3620 CPUtime=6.28
/proc/5647/stat : 5647 (minisat_static) R 5641 5641 5401 0 -1 4194304 561 0 0 0 628 0 0 0 25 0 1 0 310742902 3706880 547 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 1 0 0
/proc/5647/statm: 905 547 76 171 0 732 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8976
[startup+12.7017 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5647
/proc/meminfo: memFree=1927760/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
[pid=5647] ppid=5641 vsize=3620 CPUtime=12.68
/proc/5647/stat : 5647 (minisat_static) R 5641 5641 5401 0 -1 4194304 561 0 0 0 1268 0 0 0 25 0 1 0 310742902 3706880 547 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/5647/statm: 905 547 76 171 0 732 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8976
[startup+25.5014 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5647
/proc/meminfo: memFree=1926736/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
[pid=5647] ppid=5641 vsize=4676 CPUtime=25.47
/proc/5647/stat : 5647 (minisat_static) R 5641 5641 5401 0 -1 4194304 823 0 0 0 2547 0 0 0 25 0 1 0 310742902 4788224 809 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5647/statm: 1169 809 76 171 0 996 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 10032
[startup+51.1018 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5647
/proc/meminfo: memFree=1925904/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
[pid=5647] ppid=5641 vsize=5484 CPUtime=51.05
/proc/5647/stat : 5647 (minisat_static) R 5641 5641 5401 0 -1 4194304 1018 0 0 0 5104 1 0 0 25 0 1 0 310742902 5615616 1004 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/5647/statm: 1371 1004 76 171 0 1198 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 10840
Solver just ended. Dumping a history of the last processes samples
[startup+63.9015 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5647
/proc/meminfo: memFree=1925904/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
[pid=5647] ppid=5641 vsize=5484 CPUtime=63.84
/proc/5647/stat : 5647 (minisat_static) R 5641 5641 5401 0 -1 4194304 1021 0 0 0 6383 1 0 0 25 0 1 0 310742902 5615616 1007 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5647/statm: 1371 1007 76 171 0 1198 0
Current children cumulated CPU time (s) 63.84
Current children cumulated vsize (KiB) 10840
[startup+70.3013 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5647
/proc/meminfo: memFree=1925776/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
[pid=5647] ppid=5641 vsize=5616 CPUtime=70.24
/proc/5647/stat : 5647 (minisat_static) R 5641 5641 5401 0 -1 4194304 1046 0 0 0 7023 1 0 0 25 0 1 0 310742902 5750784 1032 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/5647/statm: 1404 1032 76 171 0 1231 0
Current children cumulated CPU time (s) 70.24
Current children cumulated vsize (KiB) 10972
[startup+71.9015 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5647
/proc/meminfo: memFree=1925776/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
[pid=5647] ppid=5641 vsize=5616 CPUtime=71.83
/proc/5647/stat : 5647 (minisat_static) R 5641 5641 5401 0 -1 4194304 1046 0 0 0 7182 1 0 0 25 0 1 0 310742902 5750784 1032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/5647/statm: 1404 1032 76 171 0 1231 0
Current children cumulated CPU time (s) 71.83
Current children cumulated vsize (KiB) 10972
[startup+72.7016 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5647
/proc/meminfo: memFree=1925776/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
[pid=5647] ppid=5641 vsize=5616 CPUtime=72.63
/proc/5647/stat : 5647 (minisat_static) R 5641 5641 5401 0 -1 4194304 1046 0 0 0 7262 1 0 0 25 0 1 0 310742902 5750784 1032 1992294400 134512640 135215339 4294956240 18446744073709551615 134538543 0 0 4096 3 0 0 0 17 1 0 0
/proc/5647/statm: 1404 1032 76 171 0 1231 0
Current children cumulated CPU time (s) 72.63
Current children cumulated vsize (KiB) 10972
[startup+73.1017 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5647
/proc/meminfo: memFree=1925776/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
[pid=5647] ppid=5641 vsize=5616 CPUtime=73.03
/proc/5647/stat : 5647 (minisat_static) R 5641 5641 5401 0 -1 4194304 1046 0 0 0 7302 1 0 0 25 0 1 0 310742902 5750784 1032 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/5647/statm: 1404 1032 76 171 0 1231 0
Current children cumulated CPU time (s) 73.03
Current children cumulated vsize (KiB) 10972
[startup+73.3017 s]
/proc/loadavg: 1.00 0.99 1.00 2/66 5647
/proc/meminfo: memFree=1925776/2055920 swapFree=4180380/4192956
[pid=5641] ppid=5639 vsize=5356 CPUtime=0
/proc/5641/stat : 5641 (SatELiteGTI) S 5639 5641 5401 0 -1 4194304 336 368 0 0 0 0 0 0 19 0 1 0 310742901 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269757244228 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/5641/statm: 1339 239 197 169 0 50 0
[pid=5647] ppid=5641 vsize=5616 CPUtime=73.23
/proc/5647/stat : 5647 (minisat_static) R 5641 5641 5401 0 -1 4194304 1046 0 0 0 7322 1 0 0 25 0 1 0 310742902 5750784 1032 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 1 0 0
/proc/5647/statm: 1404 1032 76 171 0 1231 0
Current children cumulated CPU time (s) 73.23
Current children cumulated vsize (KiB) 10972
Child status: 10
Real time (s): 73.3156
CPU time (s): 73.2629
CPU user time (s): 73.2379
CPU system time (s): 0.024996
CPU usage (%): 99.9281
Max. virtual memory (cumulated for all children) (KiB): 10972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.2379
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2036
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= 49
involuntary context switches= 788
runsolver used 0.120981 second user time and 0.209968 second system time
The end
Begin job on node13 at 2009-05-20 15:44:54
IDJOB=1833997
IDBENCH=71118
IDSOLVER=671
FILE ID=node13/1833997-1242827094
PBS_JOBID= 9322477
Free space on /tmp= 66396 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/sgen/sat/sgen1-sat-160-100.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833997-1242827094/watcher-1833997-1242827094 -o /tmp/evaluation-result-1833997-1242827094/solver-1833997-1242827094 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833997-1242827094.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f74d6f760fed9ca1e1d4158014482021
RANDOM SEED=1018012714
node13.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.227
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.227
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: 1930816 kB
Buffers: 19492 kB
Cached: 68572 kB
SwapCached: 6864 kB
Active: 48892 kB
Inactive: 48064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1930816 kB
SwapTotal: 4192956 kB
SwapFree: 4180380 kB
Dirty: 1592 kB
Writeback: 0 kB
Mapped: 13920 kB
Slab: 14168 kB
Committed_AS: 958192 kB
PageTables: 1460 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= 66396 MiB
End job on node13 at 2009-05-20 15:46:08