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 | 7521 64725 | 2256 0 0 nan | 0.000 % |
0.00/0.06 c | 0 | 6372 56202 | -- 0 -- -- | -- | -354/-4289
0.00/0.06 c ==============================================================================
0.00/0.06 c Result : #vars: 1359 #clauses: 6372 #literals: 56202
0.00/0.06 c CPU time: 0.053991 s
0.00/0.06 c ==============================================================================
0.00/0.07 c This is MiniSat 2.0 beta
0.00/0.07 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07 c ============================[ Problem Statistics ]=============================
0.00/0.07 c | |
0.00/0.08 c | Number of variables: 1359 |
0.00/0.08 c | Number of clauses: 6372 |
0.00/0.08 c | Parsing time: 0.01 s |
0.00/0.08 c ============================[ Search Statistics ]==============================
0.00/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.08 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.08 c ===============================================================================
0.00/0.08 c | 0 | 1359 6372 56202 | 2124 0 nan | 0.000 % |
0.00/0.09 c | 101 | 1359 6372 56202 | 2124 101 11 | 0.000 % |
0.00/0.09 c | 203 | 1359 6372 56202 | 2124 203 11 | 0.000 % |
0.00/0.09 c | 303 | 1359 6372 56202 | 2124 303 15 | 0.000 % |
0.00/0.09 c | 415 | 1359 6372 56202 | 2124 415 15 | 0.000 % |
0.00/0.10 c | 515 | 1359 6372 56202 | 2124 515 14 | 0.000 % |
0.07/0.10 c | 625 | 1359 6372 56202 | 2124 625 15 | 0.000 % |
0.07/0.10 c | 746 | 1359 6372 56202 | 2124 746 16 | 0.000 % |
0.07/0.11 c | 848 | 1359 6372 56202 | 2124 848 16 | 0.000 % |
0.07/0.11 c | 958 | 1359 6372 56202 | 2124 958 16 | 0.000 % |
0.07/0.11 c | 1079 | 1359 6372 56202 | 2124 1079 17 | 0.000 % |
0.07/0.12 c | 1213 | 1359 6372 56202 | 2124 1213 16 | 0.000 % |
0.07/0.12 c | 1313 | 1359 6372 56202 | 2124 1313 17 | 0.000 % |
0.07/0.12 c | 1423 | 1359 6372 56202 | 2124 1423 18 | 0.000 % |
0.07/0.13 c | 1545 | 1359 6372 56202 | 2124 1545 19 | 0.000 % |
0.07/0.13 c | 1678 | 1359 6372 56202 | 2124 1678 18 | 0.000 % |
0.07/0.14 c | 1825 | 1359 6372 56202 | 2124 1825 18 | 0.000 % |
0.07/0.14 c | 1925 | 1359 6372 56202 | 2124 1925 18 | 0.000 % |
0.07/0.14 c | 2035 | 1359 6372 56202 | 2124 2035 18 | 0.000 % |
0.07/0.14 c | 2156 | 1359 6372 56202 | 2124 2156 17 | 0.000 % |
0.07/0.15 c | 2292 | 1359 6372 56202 | 2124 2077 18 | 0.000 % |
0.07/0.15 c | 2438 | 1359 6372 56202 | 2124 2003 18 | 0.000 % |
0.07/0.16 c | 2598 | 1359 6372 56202 | 2124 2163 18 | 0.000 % |
0.07/0.16 c | 2698 | 1359 6372 56202 | 2124 2047 18 | 0.000 % |
0.07/0.17 c | 2808 | 1359 6372 56202 | 2124 2157 18 | 0.000 % |
0.07/0.17 c | 2930 | 1359 6372 56202 | 2124 2064 18 | 0.000 % |
0.07/0.18 c | 3063 | 1359 6372 56202 | 2124 2197 18 | 0.000 % |
0.07/0.18 c | 3209 | 1359 6372 56202 | 2124 2124 18 | 0.000 % |
0.07/0.19 c | 3369 | 1359 6372 56202 | 2124 2072 17 | 0.000 % |
0.07/0.19 c | 3547 | 1359 6372 56202 | 2124 2026 18 | 0.000 % |
0.07/0.20 c | 3647 | 1359 6372 56202 | 2124 2126 17 | 0.000 % |
0.07/0.20 c | 3760 | 1359 6372 56202 | 2124 2027 18 | 0.000 % |
0.07/0.20 c | 3881 | 1359 6372 56202 | 2124 2148 18 | 0.000 % |
0.07/0.21 c | 4014 | 1359 6372 56202 | 2124 2067 18 | 0.000 % |
0.07/0.21 c | 4161 | 1359 6372 56202 | 2124 1994 17 | 0.000 % |
0.07/0.22 c | 4323 | 1359 6372 56202 | 2124 2156 17 | 0.000 % |
0.07/0.23 c | 4499 | 1359 6372 56202 | 2124 2117 17 | 0.000 % |
0.07/0.23 c | 4692 | 1359 6372 56202 | 2124 2084 17 | 0.000 % |
0.07/0.24 c | 4793 | 1359 6372 56202 | 2124 2185 18 | 0.000 % |
0.07/0.24 c | 4904 | 1359 6372 56202 | 2124 2078 18 | 0.000 % |
0.07/0.25 c | 5028 | 1359 6372 56202 | 2124 2202 18 | 0.000 % |
0.07/0.25 c | 5161 | 1359 6372 56202 | 2124 2115 18 | 0.000 % |
0.07/0.26 c | 5307 | 1359 6372 56202 | 2124 2037 18 | 0.000 % |
0.07/0.26 c | 5468 | 1359 6372 56202 | 2124 2198 18 | 0.000 % |
0.07/0.27 c | 5646 | 1359 6372 56202 | 2124 2157 18 | 0.000 % |
0.07/0.28 c | 5839 | 1359 6372 56202 | 2124 2135 19 | 0.000 % |
0.07/0.29 c | 6051 | 1359 6372 56202 | 2124 2134 21 | 0.000 % |
0.07/0.29 c | 6151 | 1359 6372 56202 | 2124 2021 20 | 0.000 % |
0.07/0.30 c | 6261 | 1359 6372 56202 | 2124 2131 20 | 0.000 % |
0.07/0.30 c | 6383 | 1359 6372 56202 | 2124 2040 19 | 0.000 % |
0.07/0.31 c | 6517 | 1359 6372 56202 | 2124 2174 20 | 0.000 % |
0.07/0.31 c | 6663 | 1359 6372 56202 | 2124 2103 19 | 0.000 % |
0.07/0.32 c | 6823 | 1359 6372 56202 | 2124 2040 19 | 0.000 % |
0.07/0.33 c | 6999 | 1359 6372 56202 | 2124 2216 20 | 0.000 % |
0.07/0.33 c | 7197 | 1359 6372 56202 | 2124 2193 20 | 0.000 % |
0.07/0.34 c | 7409 | 1359 6372 56202 | 2124 2186 20 | 0.000 % |
0.07/0.36 c | 7642 | 1359 6372 56202 | 2124 1982 19 | 0.000 % |
0.07/0.36 c | 7744 | 1359 6372 56202 | 2124 2084 19 | 0.000 % |
0.07/0.36 c | 7854 | 1359 6372 56202 | 2124 2194 19 | 0.000 % |
0.07/0.37 c | 7976 | 1359 6372 56202 | 2124 2097 19 | 0.000 % |
0.07/0.37 c | 8110 | 1359 6372 56202 | 2124 2009 19 | 0.000 % |
0.07/0.38 c | 8258 | 1359 6372 56202 | 2124 2157 19 | 0.000 % |
0.07/0.38 c | 8418 | 1359 6372 56202 | 2124 2102 19 | 0.000 % |
0.07/0.39 c | 8594 | 1359 6372 56202 | 2124 2064 18 | 0.000 % |
0.07/0.40 c | 8789 | 1359 6372 56202 | 2124 2037 18 | 0.000 % |
0.07/0.41 c | 9001 | 1359 6372 56202 | 2124 2028 18 | 0.000 % |
0.07/0.41 c | 9234 | 1359 6372 56202 | 2124 2036 17 | 0.000 % |
0.07/0.42 c | 9492 | 1359 6372 56202 | 2124 2070 18 | 0.000 % |
0.07/0.43 c | 9592 | 1359 6372 56202 | 2124 2170 18 | 0.000 % |
0.07/0.43 c | 9702 | 1359 6372 56202 | 2124 2063 18 | 0.000 % |
0.07/0.44 c | 9823 | 1359 6372 56202 | 2124 2184 18 | 0.000 % |
0.07/0.44 c | 9957 | 1359 6372 56202 | 2124 2100 19 | 0.000 % |
0.07/0.45 c | 10104 | 1359 6372 56202 | 2147483647 2247 19 | 0.000 % |
0.07/0.45 c | 10265 | 1359 6372 56202 | 2147483647 2408 19 | 0.000 % |
0.07/0.46 c | 10442 | 1359 6372 56202 | 2147483647 2585 19 | 0.000 % |
0.07/0.47 c | 10636 | 1359 6372 56202 | 2147483647 2779 19 | 0.000 % |
0.07/0.48 c | 10848 | 1359 6372 56202 | 2147483647 2991 20 | 0.000 % |
0.07/0.49 c | 11081 | 1359 6372 56202 | 2147483647 3224 20 | 0.000 % |
0.07/0.50 c | 11337 | 1359 6372 56202 | 2147483647 3480 20 | 0.000 % |
0.07/0.52 c | 11619 | 1359 6372 56202 | 2147483647 3762 21 | 0.000 % |
0.07/0.52 c | 11720 | 1359 6372 56202 | 2147483647 3863 21 | 0.000 % |
0.07/0.53 c | 11832 | 1359 6372 56202 | 2147483647 3975 21 | 0.000 % |
0.07/0.53 c | 11953 | 1359 6372 56202 | 2147483647 4096 21 | 0.000 % |
0.07/0.54 c | 12086 | 1359 6372 56202 | 2147483647 4229 21 | 0.000 % |
0.07/0.55 c | 12232 | 1359 6372 56202 | 2147483647 4375 21 | 0.000 % |
0.07/0.55 c | 12392 | 1359 6372 56202 | 2147483647 4535 21 | 0.000 % |
0.07/0.56 c | 12568 | 1359 6372 56202 | 2147483647 4711 21 | 0.000 % |
0.07/0.57 c | 12761 | 1359 6372 56202 | 2147483647 4904 21 | 0.000 % |
0.07/0.58 c | 12974 | 1359 6372 56202 | 2147483647 5117 21 | 0.000 % |
0.07/0.60 c | 13207 | 1359 6372 56202 | 2147483647 5350 21 | 0.000 % |
0.07/0.61 c | 13464 | 1359 6372 56202 | 2147483647 5607 22 | 0.000 % |
0.07/0.63 c | 13746 | 1359 6372 56202 | 2147483647 5889 22 | 0.000 % |
0.07/0.64 c | 14055 | 1359 6372 56202 | 2147483647 6198 22 | 0.000 % |
0.07/0.65 c | 14155 | 1359 6372 56202 | 2147483647 6298 21 | 0.000 % |
0.07/0.66 c | 14265 | 1359 6372 56202 | 2147483647 6408 22 | 0.000 % |
0.07/0.67 c | 14387 | 1359 6372 56202 | 2147483647 6530 22 | 0.000 % |
0.07/0.68 c | 14521 | 1359 6372 56202 | 2147483647 6664 22 | 0.000 % |
0.07/0.69 c | 14667 | 1359 6372 56202 | 2147483647 6810 22 | 0.000 % |
0.07/0.70 c | 14827 | 1359 6372 56202 | 2147483647 6970 22 | 0.000 % |
0.07/0.71 c | 15004 | 1359 6372 56202 | 2147483647 7147 22 | 0.000 % |
0.07/0.72 c | 15197 | 1359 6372 56202 | 2147483647 7340 22 | 0.000 % |
0.07/0.74 c | 15409 | 1359 6372 56202 | 2147483647 7552 22 | 0.000 % |
0.07/0.76 c | 15642 | 1359 6372 56202 | 2147483647 7785 23 | 0.000 % |
0.07/0.78 c | 15898 | 1359 6372 56202 | 2147483647 8041 23 | 0.000 % |
0.07/0.80 c | 16179 | 1359 6372 56202 | 2147483647 8322 23 | 0.000 % |
0.07/0.83 c | 16489 | 1359 6372 56202 | 2147483647 8632 24 | 0.000 % |
0.07/0.86 c | 16828 | 1359 6372 56202 | 2147483647 8971 24 | 0.000 % |
0.07/0.87 c | 16929 | 1359 6372 56202 | 2147483647 9072 24 | 0.000 % |
0.07/0.88 c | 17040 | 1359 6372 56202 | 2147483647 9183 24 | 0.000 % |
0.07/0.89 c | 17161 | 1359 6372 56202 | 2147483647 9304 24 | 0.000 % |
0.07/0.90 c | 17296 | 1359 6372 56202 | 2147483647 9439 24 | 0.000 % |
0.07/0.92 c | 17442 | 1359 6372 56202 | 2147483647 9585 24 | 0.000 % |
0.07/0.93 c | 17604 | 1359 6372 56202 | 2147483647 9747 24 | 0.000 % |
0.07/0.95 c | 17780 | 1359 6372 56202 | 2147483647 9923 24 | 0.000 % |
0.07/0.96 c | 17976 | 1359 6372 56202 | 2147483647 10119 24 | 0.000 % |
0.07/0.99 c | 18189 | 1359 6372 56202 | 2147483647 10332 24 | 0.000 % |
0.98/1.02 c | 18422 | 1359 6372 56202 | 2147483647 10565 24 | 0.000 % |
0.98/1.04 c | 18678 | 1359 6372 56202 | 2147483647 10821 24 | 0.000 % |
0.98/1.06 c | 18959 | 1359 6372 56202 | 2147483647 11102 24 | 0.000 % |
0.98/1.10 c | 19268 | 1359 6372 56202 | 2147483647 11411 24 | 0.000 % |
1.08/1.13 c | 19608 | 1359 6372 56202 | 2147483647 11751 25 | 0.000 % |
1.08/1.17 c | 19980 | 1359 6372 56202 | 2147483647 12123 25 | 0.000 % |
1.08/1.18 c | 20080 | 1359 6372 56202 | 2147483647 12223 25 | 0.000 % |
1.08/1.19 c | 20190 | 1359 6372 56202 | 2147483647 12333 25 | 0.000 % |
1.17/1.21 c | 20312 | 1359 6372 56202 | 2147483647 12455 25 | 0.000 % |
1.17/1.22 c | 20445 | 1359 6372 56202 | 2147483647 12588 25 | 0.000 % |
1.17/1.24 c | 20593 | 1359 6372 56202 | 2147483647 12736 25 | 0.000 % |
1.17/1.26 c | 20754 | 1359 6372 56202 | 2147483647 12897 25 | 0.000 % |
1.17/1.28 c | 20931 | 1359 6372 56202 | 2147483647 13074 25 | 0.000 % |
1.27/1.31 c | 21124 | 1359 6372 56202 | 2147483647 13267 25 | 0.000 % |
1.27/1.33 c | 21337 | 1359 6372 56202 | 2147483647 13480 25 | 0.000 % |
1.27/1.36 c | 21571 | 1359 6372 56202 | 2147483647 13714 25 | 0.000 % |
1.27/1.39 c | 21827 | 1359 6372 56202 | 2147483647 13970 25 | 0.000 % |
1.37/1.43 c | 22108 | 1359 6372 56202 | 2147483647 14251 25 | 0.000 % |
1.37/1.46 c | 22418 | 1359 6372 56202 | 2147483647 14561 25 | 0.000 % |
1.47/1.50 c | 22757 | 1359 6372 56202 | 2147483647 14900 25 | 0.000 % |
1.47/1.55 c | 23131 | 1359 6372 56202 | 2147483647 15274 25 | 0.000 % |
1.57/1.61 c | 23540 | 1359 6372 56202 | 2147483647 15683 26 | 0.000 % |
1.57/1.62 c | 23640 | 1359 6372 56202 | 2147483647 15783 25 | 0.000 % |
1.57/1.63 c | 23750 | 1359 6372 56202 | 2147483647 15893 25 | 0.000 % |
1.57/1.65 c | 23871 | 1359 6372 56202 | 2147483647 16014 25 | 0.000 % |
1.57/1.66 c | 24006 | 1359 6372 56202 | 2147483647 16149 25 | 0.000 % |
1.57/1.68 c | 24152 | 1359 6372 56202 | 2147483647 16295 25 | 0.000 % |
1.67/1.70 c | 24312 | 1359 6372 56202 | 2147483647 16455 25 | 0.000 % |
1.67/1.73 c | 24488 | 1359 6372 56202 | 2147483647 16631 25 | 0.000 % |
1.67/1.76 c | 24681 | 1359 6372 56202 | 2147483647 16824 25 | 0.000 % |
1.77/1.80 c | 24893 | 1359 6372 56202 | 2147483647 17036 26 | 0.000 % |
1.77/1.84 c | 25128 | 1359 6372 56202 | 2147483647 17271 26 | 0.000 % |
1.77/1.88 c | 25384 | 1359 6372 56202 | 2147483647 17527 26 | 0.000 % |
1.87/1.94 c | 25665 | 1359 6372 56202 | 2147483647 17808 26 | 0.000 % |
1.97/2.00 c | 25975 | 1359 6372 56202 | 2147483647 18118 26 | 0.000 % |
1.97/2.06 c | 26314 | 1359 6372 56202 | 2147483647 18457 26 | 0.000 % |
2.08/2.11 c | 26687 | 1359 6372 56202 | 2147483647 18830 26 | 0.000 % |
2.08/2.18 c | 27096 | 1359 6372 56202 | 2147483647 19239 26 | 0.000 % |
2.18/2.25 c | 27545 | 1359 6372 56202 | 2147483647 19688 26 | 0.000 % |
2.18/2.26 c | 27645 | 1359 6372 56202 | 2147483647 19788 26 | 0.000 % |
2.18/2.28 c | 27755 | 1359 6372 56202 | 2147483647 19898 26 | 0.000 % |
2.27/2.30 c | 27879 | 1359 6372 56202 | 2147483647 20022 26 | 0.000 % |
2.27/2.34 c | 28012 | 1359 6372 56202 | 2147483647 20155 26 | 0.000 % |
2.27/2.37 c | 28159 | 1359 6372 56202 | 2147483647 20302 26 | 0.001 % |
2.37/2.40 c | 28321 | 1359 6372 56202 | 2147483647 20464 26 | 0.000 % |
2.37/2.44 c | 28500 | 1359 6372 56202 | 2147483647 20643 26 | 0.000 % |
2.37/2.47 c | 28693 | 1359 6372 56202 | 2147483647 20836 26 | 0.000 % |
2.47/2.52 c | 28905 | 1359 6372 56202 | 2147483647 21048 26 | 0.000 % |
2.47/2.57 c | 29138 | 1359 6372 56202 | 2147483647 21281 26 | 0.000 % |
2.57/2.63 c | 29394 | 1359 6372 56202 | 2147483647 21537 27 | 0.000 % |
2.57/2.69 c | 29678 | 1359 6372 56202 | 2147483647 21821 27 | 0.000 % |
2.67/2.76 c | 29987 | 1359 6372 56202 | 2147483647 22130 27 | 0.000 % |
2.77/2.83 c | 30327 | 1359 6372 56202 | 22143 17538 25 | 0.000 % |
2.87/2.90 c | 30701 | 1359 6372 56202 | 22143 17912 25 | 0.000 % |
2.87/2.96 c | 31110 | 1359 6372 56202 | 22143 18321 26 | 0.000 % |
2.97/3.05 c | 31559 | 1359 6372 56202 | 22143 18770 26 | 0.000 % |
3.07/3.12 c | 32054 | 1359 6372 56202 | 22143 19265 26 | 0.000 % |
3.07/3.13 c | 32154 | 1359 6372 56202 | 22143 19365 26 | 0.000 % |
3.07/3.15 c | 32266 | 1359 6372 56202 | 22143 19477 26 | 0.000 % |
3.07/3.17 c | 32387 | 1359 6372 56202 | 22143 19598 26 | 0.000 % |
3.07/3.20 c | 32521 | 1359 6372 56202 | 22143 19732 26 | 0.000 % |
3.17/3.23 c | 32670 | 1359 6372 56202 | 22143 19881 26 | 0.000 % |
3.17/3.25 c | 32830 | 1359 6372 56202 | 22143 20041 26 | 0.000 % |
3.17/3.27 c | 33006 | 1359 6372 56202 | 22143 20217 26 | 0.000 % |
3.27/3.31 c | 33199 | 1359 6372 56202 | 22143 20410 26 | 0.000 % |
3.27/3.34 c | 33413 | 1359 6372 56202 | 22143 20624 26 | 0.000 % |
3.27/3.39 c | 33647 | 1359 6372 56202 | 22143 20858 26 | 0.000 % |
3.37/3.44 c | 33905 | 1359 6372 56202 | 22143 21116 26 | 0.000 % |
3.37/3.49 c | 34189 | 1359 6372 56202 | 22143 21400 26 | 0.000 % |
3.47/3.54 c | 34498 | 1359 6372 56202 | 22143 21709 26 | 0.000 % |
3.57/3.61 c | 34837 | 1359 6372 56202 | 22143 22048 26 | 0.000 % |
3.57/3.69 c | 35209 | 1359 6372 56202 | 22143 16451 24 | 0.000 % |
3.66/3.74 c | 35618 | 1359 6372 56202 | 22143 16860 24 | 0.000 % |
3.76/3.80 c | 36067 | 1359 6372 56202 | 22143 17309 24 | 0.000 % |
3.76/3.86 c | 36560 | 1359 6372 56202 | 22143 17802 24 | 0.000 % |
3.86/3.94 c | 37102 | 1359 6372 56202 | 22143 18344 24 | 0.000 % |
3.86/3.95 c | 37205 | 1359 6372 56202 | 22143 18447 24 | 0.000 % |
3.86/3.97 c | 37317 | 1359 6372 56202 | 22143 18559 24 | 0.000 % |
3.86/3.99 c | 37439 | 1359 6372 56202 | 22143 18681 24 | 0.000 % |
3.96/4.02 c | 37572 | 1359 6372 56202 | 22143 18814 24 | 0.000 % |
3.96/4.04 c | 37718 | 1359 6372 56202 | 22143 18960 24 | 0.000 % |
3.96/4.07 c | 37879 | 1359 6372 56202 | 22143 19121 24 | 0.000 % |
3.96/4.10 c | 38055 | 1359 6372 56202 | 22143 19297 24 | 0.000 % |
4.06/4.12 c | 38249 | 1359 6372 56202 | 22143 19491 24 | 0.000 % |
4.06/4.16 c | 38463 | 1359 6372 56202 | 22143 19705 24 | 0.000 % |
4.16/4.20 c | 38699 | 1359 6372 56202 | 22143 19941 24 | 0.000 % |
4.16/4.26 c | 38955 | 1359 6372 56202 | 22143 20197 24 | 0.000 % |
4.27/4.31 c | 39236 | 1359 6372 56202 | 22143 20478 24 | 0.000 % |
4.27/4.36 c | 39545 | 1359 6372 56202 | 22143 20787 24 | 0.000 % |
4.37/4.41 c | 39884 | 1359 6372 56202 | 22143 21126 24 | 0.000 % |
4.37/4.49 c | 40257 | 1359 6372 56202 | 21242 15632 22 | 0.000 % |
4.46/4.55 c | 40666 | 1359 6372 56202 | 21242 16041 22 | 0.000 % |
4.56/4.63 c | 41117 | 1359 6372 56202 | 21242 16492 22 | 0.000 % |
4.76/4.82 c | 41611 | 1359 6372 56202 | 21242 16986 23 | 0.000 % |
4.76/4.82 c | 42153 | 1359 6372 56202 | 21242 17528 23 | 0.000 % |
4.76/4.86 c | 42750 | 1359 6372 56202 | 21242 18125 23 | 0.000 % |
4.76/4.88 c | 42851 | 1359 6372 56202 | 21242 18226 23 | 0.000 % |
4.76/4.90 c | 42966 | 1359 6372 56202 | 21242 18341 23 | 0.000 % |
4.86/4.92 c | 43087 | 1359 6372 56202 | 21242 18462 23 | 0.000 % |
4.86/4.94 c | 43223 | 1359 6372 56202 | 21242 18598 23 | 0.000 % |
4.86/4.96 c | 43369 | 1359 6372 56202 | 21242 18744 23 | 0.000 % |
4.86/4.99 c | 43529 | 1359 6372 56202 | 21242 18904 23 | 0.000 % |
4.96/5.01 c | 43706 | 1359 6372 56202 | 21242 19081 23 | 0.000 % |
4.96/5.04 c | 43899 | 1359 6372 56202 | 21242 19274 23 | 0.000 % |
4.96/5.08 c | 44111 | 1359 6372 56202 | 21242 19486 23 | 0.000 % |
5.06/5.12 c | 44348 | 1359 6372 56202 | 21242 19723 23 | 0.000 % |
5.06/5.16 c | 44605 | 1359 6372 56202 | 21242 19980 23 | 0.000 % |
5.16/5.21 c | 44887 | 1359 6372 56202 | 21242 20262 24 | 0.000 % |
5.16/5.26 c | 45197 | 1359 6372 56202 | 21242 20572 24 | 0.000 % |
5.26/5.32 c | 45536 | 1359 6372 56202 | 21242 20911 24 | 0.000 % |
5.26/5.38 c | 45910 | 1359 6372 56202 | 21242 21285 24 | 0.000 % |
5.36/5.45 c | 46319 | 1359 6372 56202 | 21242 16044 22 | 0.000 % |
5.46/5.51 c | 46771 | 1359 6372 56202 | 21242 16496 22 | 0.000 % |
5.46/5.57 c | 47265 | 1359 6372 56202 | 21242 16990 23 | 0.000 % |
5.56/5.65 c | 47808 | 1359 6372 56202 | 21242 17533 23 | 0.000 % |
5.66/5.75 c | 48406 | 1359 6372 56202 | 21242 18131 23 | 0.000 % |
5.76/5.84 c | 49061 | 1359 6372 56202 | 21242 18786 23 | 0.000 % |
5.76/5.85 c | 49161 | 1359 6372 56202 | 21242 18886 23 | 0.000 % |
5.76/5.87 c | 49273 | 1359 6372 56202 | 21242 18998 23 | 0.000 % |
5.76/5.88 c | 49394 | 1359 6372 56202 | 21242 19119 23 | 0.000 % |
5.86/5.90 c | 49527 | 1359 6372 56202 | 21242 19252 23 | 0.000 % |
5.86/5.92 c | 49673 | 1359 6372 56202 | 21242 19398 23 | 0.000 % |
5.86/5.94 c | 49834 | 1359 6372 56202 | 21242 19559 23 | 0.000 % |
5.86/5.97 c | 50010 | 1359 6372 56202 | 19727 19735 23 | 0.000 % |
5.96/6.01 c | 50204 | 1359 6372 56202 | 19727 14816 22 | 0.000 % |
5.96/6.03 c | 50416 | 1359 6372 56202 | 19727 15028 22 | 0.000 % |
5.96/6.06 c | 50649 | 1359 6372 56202 | 19727 15261 22 | 0.000 % |
6.06/6.10 c | 50905 | 1359 6372 56202 | 19727 15517 22 | 0.000 % |
6.06/6.14 c | 51186 | 1359 6372 56202 | 19727 15798 23 | 0.000 % |
6.06/6.18 c | 51496 | 1359 6372 56202 | 19727 16108 23 | 0.000 % |
6.16/6.22 c | 51835 | 1359 6372 56202 | 19727 16447 23 | 0.000 % |
6.16/6.26 c | 52209 | 1359 6372 56202 | 19727 16821 23 | 0.000 % |
6.26/6.33 c | 52621 | 1359 6372 56202 | 19727 17233 23 | 0.000 % |
6.26/6.39 c | 53070 | 1359 6372 56202 | 19727 17682 23 | 0.000 % |
6.36/6.46 c | 53566 | 1359 6372 56202 | 19727 18178 23 | 0.000 % |
6.46/6.53 c | 54109 | 1359 6372 56202 | 19727 18721 24 | 0.000 % |
6.56/6.63 c | 54707 | 1359 6372 56202 | 19727 19319 24 | 0.000 % |
6.66/6.73 c | 55363 | 1359 6372 56202 | 19727 15115 22 | 0.000 % |
6.76/6.84 c | 56084 | 1359 6372 56202 | 19727 15836 23 | 0.000 % |
6.76/6.85 c | 56185 | 1359 6372 56202 | 19727 15937 23 | 0.000 % |
6.76/6.87 c | 56296 | 1359 6372 56202 | 19727 16048 23 | 0.000 % |
6.76/6.88 c | 56418 | 1359 6372 56202 | 19727 16170 23 | 0.000 % |
6.86/6.91 c | 56551 | 1359 6372 56202 | 19727 16303 23 | 0.000 % |
6.86/6.93 c | 56698 | 1359 6372 56202 | 19727 16450 23 | 0.000 % |
6.86/6.95 c | 56859 | 1359 6372 56202 | 19727 16611 23 | 0.000 % |
6.86/6.98 c | 57035 | 1359 6372 56202 | 19727 16787 23 | 0.000 % |
6.96/7.00 c | 57228 | 1359 6372 56202 | 19727 16980 23 | 0.000 % |
6.96/7.03 c | 57441 | 1359 6372 56202 | 19727 17193 23 | 0.000 % |
6.96/7.07 c | 57675 | 1359 6372 56202 | 19727 17427 23 | 0.000 % |
7.06/7.11 c | 57931 | 1359 6372 56202 | 19727 17683 23 | 0.000 % |
7.06/7.16 c | 58213 | 1359 6372 56202 | 19727 17965 23 | 0.000 % |
7.16/7.21 c | 58522 | 1359 6372 56202 | 19727 18274 23 | 0.000 % |
7.16/7.25 c | 58862 | 1359 6372 56202 | 19727 18614 23 | 0.000 % |
7.26/7.32 c | 59234 | 1359 6372 56202 | 19727 18986 24 | 0.000 % |
7.26/7.38 c | 59643 | 1359 6372 56202 | 19727 19395 24 | 0.000 % |
7.36/7.45 c | 60092 | 1359 6372 56202 | 19753 19844 24 | 0.000 % |
7.46/7.53 c | 60585 | 1359 6372 56202 | 19753 15462 22 | 0.000 % |
7.46/7.59 c | 61129 | 1359 6372 56202 | 19753 16006 22 | 0.000 % |
7.56/7.67 c | 61726 | 1359 6372 56202 | 19753 16603 23 | 0.000 % |
7.66/7.76 c | 62381 | 1359 6372 56202 | 19753 17258 23 | 0.000 % |
7.76/7.88 c | 63103 | 1359 6372 56202 | 19753 17980 23 | 0.000 % |
7.86/7.99 c | 63896 | 1359 6372 56202 | 19753 18773 24 | 0.000 % |
7.96/8.01 c | 63996 | 1359 6372 56202 | 19753 18873 24 | 0.000 % |
7.96/8.03 c | 64108 | 1359 6372 56202 | 19753 18985 24 | 0.000 % |
7.96/8.04 c | 64229 | 1359 6372 56202 | 19753 19106 24 | 0.000 % |
7.96/8.07 c | 64364 | 1359 6372 56202 | 19753 19241 24 | 0.000 % |
7.96/8.09 c | 64511 | 1359 6372 56202 | 19753 19388 24 | 0.000 % |
8.06/8.12 c | 64671 | 1359 6372 56202 | 19753 19548 24 | 0.000 % |
8.06/8.15 c | 64850 | 1359 6372 56202 | 19753 19727 24 | 0.000 % |
8.16/8.20 c | 65044 | 1359 6372 56202 | 19753 15033 22 | 0.000 % |
8.16/8.23 c | 65257 | 1359 6372 56202 | 19753 15246 22 | 0.000 % |
8.16/8.26 c | 65491 | 1359 6372 56202 | 19753 15480 22 | 0.000 % |
8.16/8.30 c | 65747 | 1359 6372 56202 | 19753 15736 22 | 0.000 % |
8.26/8.33 c | 66029 | 1359 6372 56202 | 19753 16018 23 | 0.000 % |
8.26/8.37 c | 66340 | 1359 6372 56202 | 19753 16329 23 | 0.000 % |
8.36/8.42 c | 66679 | 1359 6372 56202 | 19753 16668 23 | 0.000 % |
8.36/8.47 c | 67051 | 1359 6372 56202 | 19753 17040 23 | 0.000 % |
8.46/8.53 c | 67461 | 1359 6372 56202 | 19753 17450 23 | 0.000 % |
8.56/8.60 c | 67911 | 1359 6372 56202 | 19753 17900 23 | 0.000 % |
8.56/8.69 c | 68405 | 1359 6372 56202 | 19753 18394 23 | 0.000 % |
8.76/8.80 c | 68947 | 1359 6372 56202 | 19753 18936 24 | 0.000 % |
8.86/8.92 c | 69544 | 1359 6372 56202 | 19753 19533 24 | 0.000 % |
8.96/9.04 c | 70201 | 1359 6372 56202 | 15100 11581 21 | 0.000 % |
9.06/9.11 c | 70923 | 1359 6372 56202 | 15100 12303 22 | 0.000 % |
9.16/9.22 c | 71716 | 1359 6372 56202 | 15100 13096 23 | 0.000 % |
9.26/9.33 c | 72587 | 1359 6372 56202 | 15100 13967 24 | 0.000 % |
9.26/9.34 c | 72690 | 1359 6372 56202 | 15100 14070 23 | 0.000 % |
9.26/9.35 c | 72802 | 1359 6372 56202 | 15100 14182 23 | 0.000 % |
9.26/9.37 c | 72925 | 1359 6372 56202 | 15100 14305 24 | 0.000 % |
9.26/9.39 c | 73059 | 1359 6372 56202 | 15100 14439 24 | 0.000 % |
9.36/9.41 c | 73207 | 1359 6372 56202 | 15100 14587 24 | 0.000 % |
9.36/9.43 c | 73368 | 1359 6372 56202 | 15100 14748 24 | 0.000 % |
9.36/9.45 c | 73545 | 1359 6372 56202 | 15100 14925 24 | 0.000 % |
9.36/9.47 c | 73739 | 1359 6372 56202 | 15100 15119 24 | 0.000 % |
9.46/9.51 c | 73953 | 1359 6372 56202 | 15100 12371 23 | 0.000 % |
9.46/9.54 c | 74187 | 1359 6372 56202 | 15100 12605 23 | 0.000 % |
9.46/9.58 c | 74446 | 1359 6372 56202 | 15100 12864 24 | 0.000 % |
9.56/9.61 c | 74729 | 1359 6372 56202 | 15100 13147 24 | 0.000 % |
9.56/9.65 c | 75039 | 1359 6372 56202 | 15100 13457 24 | 0.000 % |
9.56/9.68 c | 75378 | 1359 6372 56202 | 15100 13796 24 | 0.000 % |
9.66/9.73 c | 75751 | 1359 6372 56202 | 15100 14169 24 | 0.000 % |
9.66/9.77 c | 76160 | 1359 6372 56202 | 15100 14578 24 | 0.000 % |
9.76/9.82 c | 76609 | 1359 6372 56202 | 15100 15027 24 | 0.000 % |
9.76/9.88 c | 77103 | 1359 6372 56202 | 15100 12686 23 | 0.000 % |
9.86/9.94 c | 77647 | 1359 6372 56202 | 15100 13230 23 | 0.000 % |
9.96/10.02 c | 78244 | 1359 6372 56202 | 15100 13827 23 | 0.000 % |
9.96/10.09 c | 78899 | 1359 6372 56202 | 15100 14482 24 | 0.000 % |
10.06/10.19 c | 79619 | 1359 6372 56202 | 15100 15202 24 | 0.000 % |
10.16/10.28 c | 80411 | 1359 6372 56202 | 12847 10952 22 | 0.000 % |
10.26/10.37 c | 81283 | 1359 6372 56202 | 12847 11824 23 | 0.000 % |
10.36/10.47 c | 82243 | 1359 6372 56202 | 12847 12784 23 | 0.000 % |
10.36/10.48 c | 82344 | 1359 6372 56202 | 12847 12885 23 | 0.000 % |
10.46/10.50 c | 82455 | 1359 6372 56202 | 12847 11105 23 | 0.000 % |
10.46/10.51 c | 82577 | 1359 6372 56202 | 12847 11227 23 | 0.000 % |
10.46/10.53 c | 82710 | 1359 6372 56202 | 12847 11360 23 | 0.000 % |
10.46/10.54 c | 82858 | 1359 6372 56202 | 12847 11508 23 | 0.000 % |
10.46/10.56 c | 83018 | 1359 6372 56202 | 12847 11668 23 | 0.000 % |
10.46/10.58 c | 83195 | 1359 6372 56202 | 12847 11845 23 | 0.000 % |
10.46/10.59 c | 83391 | 1359 6372 56202 | 12847 12041 23 | 0.000 % |
10.56/10.62 c | 83603 | 1359 6372 56202 | 12847 12253 23 | 0.000 % |
10.56/10.64 c | 83836 | 1359 6372 56202 | 12847 12486 23 | 0.000 % |
10.56/10.66 c | 84092 | 1359 6372 56202 | 12847 12742 23 | 0.000 % |
10.56/10.70 c | 84373 | 1359 6372 56202 | 12847 11275 23 | 0.000 % |
10.66/10.73 c | 84684 | 1359 6372 56202 | 12847 11586 23 | 0.000 % |
10.66/10.76 c | 85026 | 1359 6372 56202 | 12847 11928 23 | 0.000 % |
10.76/10.80 c | 85399 | 1359 6372 56202 | 12847 12301 23 | 0.000 % |
10.76/10.85 c | 85809 | 1359 6372 56202 | 12847 12711 23 | 0.000 % |
10.86/10.91 c | 86260 | 1359 6372 56202 | 12847 11525 23 | 0.000 % |
10.86/10.97 c | 86755 | 1359 6372 56202 | 12847 12020 23 | 0.000 % |
10.96/11.03 c | 87297 | 1359 6372 56202 | 12847 12562 23 | 0.000 % |
11.06/11.13 c | 87893 | 1359 6372 56202 | 12847 11571 23 | 0.000 % |
11.06/11.20 c | 88550 | 1359 6372 56202 | 12847 12228 23 | 0.000 % |
11.16/11.27 c | 89271 | 1359 6372 56202 | 12847 12949 23 | 0.000 % |
11.26/11.35 c | 90063 | 1359 6372 56202 | 12123 12185 23 | 0.000 % |
11.36/11.43 c | 90934 | 1359 6372 56202 | 12123 11639 23 | 0.000 % |
11.46/11.53 c | 91894 | 1359 6372 56202 | 12123 11379 23 | 0.000 % |
11.56/11.64 c | 92949 | 1359 6372 56202 | 12123 11215 24 | 0.000 % |
11.56/11.65 c | 93050 | 1359 6372 56202 | 12123 11316 24 | 0.000 % |
11.56/11.66 c | 93161 | 1359 6372 56202 | 12123 11427 24 | 0.001 % |
11.56/11.68 c | 93282 | 1359 6372 56202 | 12123 11548 24 | 0.000 % |
11.56/11.69 c | 93415 | 1359 6372 56202 | 12123 11681 24 | 0.000 % |
11.66/11.71 c | 93562 | 1359 6372 56202 | 12123 11828 24 | 0.000 % |
11.66/11.72 c | 93722 | 1359 6372 56202 | 12123 11988 24 | 0.000 % |
11.66/11.74 c | 93898 | 1359 6372 56202 | 12123 12164 24 | 0.000 % |
11.66/11.77 c | 94092 | 1359 6372 56202 | 12123 11142 24 | 0.000 % |
11.66/11.79 c | 94305 | 1359 6372 56202 | 12123 11355 24 | 0.000 % |
11.76/11.81 c | 94538 | 1359 6372 56202 | 12123 11588 24 | 0.000 % |
11.76/11.83 c | 94794 | 1359 6372 56202 | 12123 11844 24 | 0.000 % |
11.76/11.86 c | 95075 | 1359 6372 56202 | 12123 12125 24 | 0.000 % |
11.76/11.89 c | 95385 | 1359 6372 56202 | 12123 11223 23 | 0.000 % |
11.86/11.92 c | 95724 | 1359 6372 56202 | 12123 11562 23 | 0.000 % |
11.86/11.96 c | 96097 | 1359 6372 56202 | 12123 11935 23 | 0.000 % |
11.96/12.01 c | 96506 | 1359 6372 56202 | 12123 11121 23 | 0.000 % |
11.96/12.05 c | 96959 | 1359 6372 56202 | 12123 11574 23 | 0.000 % |
11.96/12.09 c | 97452 | 1359 6372 56202 | 12123 12067 23 | 0.000 % |
12.06/12.15 c | 97996 | 1359 6372 56202 | 12123 11389 23 | 0.000 % |
12.16/12.21 c | 98593 | 1359 6372 56202 | 12123 11986 24 | 0.000 % |
12.16/12.27 c | 99249 | 1359 6372 56202 | 12123 11417 24 | 0.000 % |
12.26/12.35 c | 99969 | 1359 6372 56202 | 12123 12137 24 | 0.000 % |
12.36/12.44 c | 100761 | 1359 6372 56202 | 2147483647 11716 24 | 0.000 % |
12.46/12.53 c | 101633 | 1359 6372 56202 | 2147483647 12588 24 | 0.000 % |
12.56/12.64 c | 102592 | 1359 6372 56202 | 2147483647 13547 25 | 0.000 % |
12.66/12.75 c | 103646 | 1359 6372 56202 | 2147483647 14601 25 | 0.000 % |
12.86/12.92 c | 104804 | 1359 6372 56202 | 2147483647 15759 26 | 0.000 % |
12.86/12.94 c | 104906 | 1359 6372 56202 | 2147483647 15861 26 | 0.000 % |
12.86/12.96 c | 105016 | 1359 6372 56202 | 2147483647 15971 26 | 0.000 % |
12.86/12.97 c | 105137 | 1359 6372 56202 | 2147483647 16092 26 | 0.000 % |
12.86/12.99 c | 105270 | 1359 6372 56202 | 2147483647 16225 26 | 0.000 % |
12.96/13.02 c | 105416 | 1359 6372 56202 | 2147483647 16371 26 | 0.000 % |
12.96/13.04 c | 105576 | 1359 6372 56202 | 2147483647 16531 26 | 0.000 % |
12.96/13.07 c | 105752 | 1359 6372 56202 | 2147483647 16707 26 | 0.000 % |
12.96/13.10 c | 105947 | 1359 6372 56202 | 2147483647 16902 26 | 0.000 % |
13.06/13.15 c | 106160 | 1359 6372 56202 | 2147483647 17115 26 | 0.000 % |
13.06/13.19 c | 106393 | 1359 6372 56202 | 2147483647 17348 26 | 0.000 % |
13.17/13.23 c | 106649 | 1359 6372 56202 | 2147483647 17604 26 | 0.000 % |
13.17/13.28 c | 106930 | 1359 6372 56202 | 2147483647 17885 27 | 0.000 % |
13.26/13.33 c | 107240 | 1359 6372 56202 | 2147483647 18195 27 | 0.000 % |
13.26/13.39 c | 107579 | 1359 6372 56202 | 2147483647 18534 27 | 0.000 % |
13.36/13.45 c | 107951 | 1359 6372 56202 | 2147483647 18906 27 | 0.001 % |
13.46/13.52 c | 108360 | 1359 6372 56202 | 2147483647 19315 27 | 0.000 % |
13.46/13.58 c | 108810 | 1359 6372 56202 | 2147483647 19765 27 | 0.000 % |
13.56/13.66 c | 109303 | 1359 6372 56202 | 2147483647 20258 27 | 0.000 % |
13.66/13.74 c | 109847 | 1359 6372 56202 | 2147483647 20802 27 | 0.000 % |
13.76/13.84 c | 110443 | 1359 6372 56202 | 20955 17755 26 | 0.000 % |
13.86/13.94 c | 111098 | 1359 6372 56202 | 20955 18410 26 | 0.000 % |
13.96/14.06 c | 111819 | 1359 6372 56202 | 20955 19131 27 | 0.000 % |
14.16/14.21 c | 112611 | 1359 6372 56202 | 20955 19923 27 | 0.000 % |
14.26/14.36 c | 113484 | 1359 6372 56202 | 20955 20796 27 | 0.000 % |
14.36/14.49 c | 114443 | 1359 6372 56202 | 20955 17008 26 | 0.000 % |
14.56/14.62 c | 115496 | 1359 6372 56202 | 20955 18061 26 | 0.000 % |
14.66/14.79 c | 116655 | 1359 6372 56202 | 20955 19220 26 | 0.000 % |
14.86/14.99 c | 117930 | 1359 6372 56202 | 20955 20495 27 | 0.000 % |
14.96/15.01 c | 118031 | 1359 6372 56202 | 20955 20596 27 | 0.000 % |
14.96/15.03 c | 118142 | 1359 6372 56202 | 20955 20707 27 | 0.000 % |
14.96/15.05 c | 118263 | 1359 6372 56202 | 20955 20828 27 | 0.000 % |
14.96/15.08 c | 118396 | 1359 6372 56202 | 20955 20961 27 | 0.000 % |
15.06/15.12 c | 118542 | 1359 6372 56202 | 20955 16291 25 | 0.000 % |
15.06/15.15 c | 118702 | 1359 6372 56202 | 20955 16451 25 | 0.000 % |
15.06/15.17 c | 118878 | 1359 6372 56202 | 20955 16627 25 | 0.000 % |
15.16/15.20 c | 119072 | 1359 6372 56202 | 20955 16821 25 | 0.000 % |
15.16/15.23 c | 119284 | 1359 6372 56202 | 20955 17033 25 | 0.000 % |
15.16/15.27 c | 119517 | 1359 6372 56202 | 20955 17266 26 | 0.000 % |
15.26/15.31 c | 119774 | 1359 6372 56202 | 20955 17523 26 | 0.000 % |
15.26/15.36 c | 120055 | 1359 6372 56202 | 17750 17804 26 | 0.000 % |
15.36/15.41 c | 120366 | 1359 6372 56202 | 17750 13979 24 | 0.000 % |
15.36/15.46 c | 120706 | 1359 6372 56202 | 17750 14319 25 | 0.000 % |
15.46/15.51 c | 121078 | 1359 6372 56202 | 17750 14691 25 | 0.000 % |
15.46/15.57 c | 121489 | 1359 6372 56202 | 17750 15102 25 | 0.000 % |
15.56/15.62 c | 121938 | 1359 6372 56202 | 17750 15551 25 | 0.000 % |
15.56/15.69 c | 122431 | 1359 6372 56202 | 17750 16044 26 | 0.000 % |
15.66/15.79 c | 122973 | 1359 6372 56202 | 17750 16586 26 | 0.000 % |
15.76/15.88 c | 123569 | 1359 6372 56202 | 17750 17182 26 | 0.000 % |
15.86/15.97 c | 124224 | 1359 6372 56202 | 17750 17837 27 | 0.000 % |
15.96/16.07 c | 124944 | 1359 6372 56202 | 17750 14782 26 | 0.000 % |
16.06/16.17 c | 125737 | 1359 6372 56202 | 17750 15575 26 | 0.000 % |
16.26/16.31 c | 126608 | 1359 6372 56202 | 17750 16446 26 | 0.000 % |
16.36/16.48 c | 127566 | 1359 6372 56202 | 17750 17404 27 | 0.000 % |
16.56/16.62 c | 128619 | 1359 6372 56202 | 17750 14773 26 | 0.000 % |
16.66/16.78 c | 129777 | 1359 6372 56202 | 17750 15931 27 | 0.000 % |
16.86/16.96 c | 131050 | 1359 6372 56202 | 16154 13942 26 | 0.000 % |
17.06/17.14 c | 132450 | 1359 6372 56202 | 16154 15342 26 | 0.000 % |
17.06/17.16 c | 132550 | 1359 6372 56202 | 16154 15442 26 | 0.000 % |
17.06/17.17 c | 132660 | 1359 6372 56202 | 16154 15552 26 | 0.000 % |
17.06/17.19 c | 132781 | 1359 6372 56202 | 16154 15673 26 | 0.000 % |
17.16/17.22 c | 132914 | 1359 6372 56202 | 16154 15806 26 | 0.000 % |
17.16/17.24 c | 133060 | 1359 6372 56202 | 16154 15952 26 | 0.000 % |
17.16/17.27 c | 133224 | 1359 6372 56202 | 16154 16116 26 | 0.000 % |
17.26/17.31 c | 133400 | 1359 6372 56202 | 16154 13357 25 | 0.000 % |
17.26/17.33 c | 133593 | 1359 6372 56202 | 16154 13550 25 | 0.000 % |
17.26/17.36 c | 133805 | 1359 6372 56202 | 16154 13762 25 | 0.000 % |
17.26/17.39 c | 134038 | 1359 6372 56202 | 16154 13995 25 | 0.000 % |
17.36/17.42 c | 134295 | 1359 6372 56202 | 16154 14252 25 | 0.000 % |
17.36/17.46 c | 134576 | 1359 6372 56202 | 16154 14533 25 | 0.000 % |
17.36/17.49 c | 134886 | 1359 6372 56202 | 16154 14843 25 | 0.001 % |
17.46/17.53 c | 135225 | 1359 6372 56202 | 16154 15182 25 | 0.000 % |
17.46/17.57 c | 135597 | 1359 6372 56202 | 16154 15554 25 | 0.000 % |
17.56/17.61 c | 136006 | 1359 6372 56202 | 16154 15963 25 | 0.000 % |
17.56/17.68 c | 136455 | 1359 6372 56202 | 16154 13557 23 | 0.000 % |
17.66/17.73 c | 136950 | 1359 6372 56202 | 16154 14052 24 | 0.000 % |
17.66/17.80 c | 137494 | 1359 6372 56202 | 16154 14596 24 | 0.000 % |
17.76/17.87 c | 138092 | 1359 6372 56202 | 16154 15194 24 | 0.000 % |
17.86/17.95 c | 138748 | 1359 6372 56202 | 16154 15850 24 | 0.000 % |
17.96/18.04 c | 139470 | 1359 6372 56202 | 16154 13807 23 | 0.000 % |
18.05/18.14 c | 140266 | 1359 6372 56202 | 14339 12217 22 | 0.000 % |
18.15/18.23 c | 141139 | 1359 6372 56202 | 14339 13090 23 | 0.000 % |
18.25/18.34 c | 142097 | 1359 6372 56202 | 14339 14048 24 | 0.000 % |
18.35/18.45 c | 143150 | 1359 6372 56202 | 14339 13069 23 | 0.000 % |
18.45/18.58 c | 144309 | 1359 6372 56202 | 14339 14228 23 | 0.000 % |
18.66/18.73 c | 145584 | 1359 6372 56202 | 14339 13639 23 | 0.000 % |
18.75/18.88 c | 146984 | 1359 6372 56202 | 14339 13266 22 | 0.000 % |
18.95/19.07 c | 148526 | 1359 6372 56202 | 14339 13159 22 | 0.000 % |
18.95/19.08 c | 148628 | 1359 6372 56202 | 14339 13261 22 | 0.000 % |
18.95/19.09 c | 148738 | 1359 6372 56202 | 14339 13371 22 | 0.000 % |
19.05/19.11 c | 148859 | 1359 6372 56202 | 14339 13492 22 | 0.000 % |
19.05/19.13 c | 148992 | 1359 6372 56202 | 14339 13625 22 | 0.000 % |
19.05/19.14 c | 149138 | 1359 6372 56202 | 14339 13771 22 | 0.000 % |
19.05/19.16 c | 149298 | 1359 6372 56202 | 14339 13931 22 | 0.000 % |
19.05/19.18 c | 149474 | 1359 6372 56202 | 14339 14107 22 | 0.000 % |
19.15/19.21 c | 149670 | 1359 6372 56202 | 14339 14303 22 | 0.000 % |
19.15/19.24 c | 149882 | 1359 6372 56202 | 14339 12847 21 | 0.000 % |
19.15/19.27 c | 150115 | 1359 6372 56202 | 12966 11592 20 | 0.000 % |
19.15/19.30 c | 150371 | 1359 6372 56202 | 12966 11848 20 | 0.000 % |
19.25/19.32 c | 150652 | 1359 6372 56202 | 12966 12129 21 | 0.000 % |
19.25/19.36 c | 150961 | 1359 6372 56202 | 12966 12438 21 | 0.000 % |
19.35/19.40 c | 151301 | 1359 6372 56202 | 12966 12778 21 | 0.000 % |
19.35/19.44 c | 151674 | 1359 6372 56202 | 12966 11777 21 | 0.000 % |
19.35/19.49 c | 152085 | 1359 6372 56202 | 12966 12188 21 | 0.000 % |
19.45/19.53 c | 152534 | 1359 6372 56202 | 12966 12637 21 | 0.000 % |
19.45/19.59 c | 153029 | 1359 6372 56202 | 12966 11814 21 | 0.000 % |
19.55/19.64 c | 153572 | 1359 6372 56202 | 12966 12357 21 | 0.000 % |
19.55/19.69 c | 154170 | 1359 6372 56202 | 12966 12955 21 | 0.000 % |
19.66/19.76 c | 154826 | 1359 6372 56202 | 12966 12303 21 | 0.000 % |
19.76/19.83 c | 155548 | 1359 6372 56202 | 12966 13025 21 | 0.000 % |
19.85/19.92 c | 156340 | 1359 6372 56202 | 12966 12515 21 | 0.000 % |
19.95/20.00 c | 157212 | 1359 6372 56202 | 12966 12081 21 | 0.000 % |
20.05/20.11 c | 158170 | 1359 6372 56202 | 12966 11738 20 | 0.000 % |
20.15/20.21 c | 159223 | 1359 6372 56202 | 12966 12791 21 | 0.000 % |
20.25/20.32 c | 160382 | 1359 6372 56202 | 2147483647 12646 21 | 0.000 % |
20.35/20.45 c | 161658 | 1359 6372 56202 | 2147483647 13922 22 | 0.000 % |
20.55/20.64 c | 163058 | 1359 6372 56202 | 2147483647 15322 23 | 0.000 % |
20.75/20.82 c | 164598 | 1359 6372 56202 | 2147483647 16862 24 | 0.000 % |
20.95/21.04 c | 166294 | 1359 6372 56202 | 2147483647 18558 24 | 0.001 % |
20.95/21.06 c | 166394 | 1359 6372 56202 | 2147483647 18658 24 | 0.000 % |
20.95/21.08 c | 166504 | 1359 6372 56202 | 2147483647 18768 24 | 0.000 % |
21.05/21.10 c | 166628 | 1359 6372 56202 | 2147483647 18892 24 | 0.000 % |
21.05/21.12 c | 166762 | 1359 6372 56202 | 2147483647 19026 24 | 0.000 % |
21.05/21.14 c | 166908 | 1359 6372 56202 | 2147483647 19172 24 | 0.000 % |
21.05/21.16 c | 167070 | 1359 6372 56202 | 2147483647 19334 24 | 0.000 % |
21.05/21.18 c | 167246 | 1359 6372 56202 | 2147483647 19510 24 | 0.000 % |
21.15/21.22 c | 167439 | 1359 6372 56202 | 2147483647 19703 24 | 0.000 % |
21.15/21.26 c | 167652 | 1359 6372 56202 | 2147483647 19916 24 | 0.000 % |
21.15/21.29 c | 167885 | 1359 6372 56202 | 2147483647 20149 24 | 0.000 % |
21.25/21.33 c | 168141 | 1359 6372 56202 | 2147483647 20405 24 | 0.000 % |
21.25/21.37 c | 168427 | 1359 6372 56202 | 2147483647 20691 24 | 0.000 % |
21.35/21.45 c | 168736 | 1359 6372 56202 | 2147483647 21000 24 | 0.000 % |
21.45/21.51 c | 169075 | 1359 6372 56202 | 2147483647 21339 24 | 0.000 % |
21.45/21.58 c | 169449 | 1359 6372 56202 | 2147483647 21713 24 | 0.000 % |
21.55/21.65 c | 169858 | 1359 6372 56202 | 2147483647 22122 24 | 0.000 % |
21.65/21.72 c | 170308 | 1359 6372 56202 | 22264 18924 23 | 0.000 % |
21.75/21.81 c | 170802 | 1359 6372 56202 | 22264 19418 23 | 0.000 % |
21.75/21.90 c | 171345 | 1359 6372 56202 | 22264 19961 24 | 0.000 % |
21.95/22.01 c | 171941 | 1359 6372 56202 | 22264 20557 24 | 0.000 % |
22.05/22.15 c | 172596 | 1359 6372 56202 | 22264 21212 24 | 0.000 % |
22.15/22.27 c | 173316 | 1359 6372 56202 | 22264 21932 25 | 0.001 % |
22.35/22.42 c | 174113 | 1359 6372 56202 | 22264 18064 24 | 0.000 % |
22.45/22.55 c | 174984 | 1359 6372 56202 | 22264 18935 24 | 0.000 % |
22.65/22.70 c | 175942 | 1359 6372 56202 | 22264 19893 25 | 0.000 % |
22.75/22.87 c | 176996 | 1359 6372 56202 | 22264 20947 25 | 0.000 % |
22.95/23.05 c | 178156 | 1359 6372 56202 | 22264 22107 25 | 0.000 % |
23.15/23.26 c | 179430 | 1359 6372 56202 | 22264 18507 23 | 0.000 % |
23.35/23.47 c | 180830 | 1359 6372 56202 | 19079 15707 23 | 0.000 % |
23.65/23.74 c | 182371 | 1359 6372 56202 | 19079 17248 24 | 0.000 % |
23.95/24.01 c | 184065 | 1359 6372 56202 | 19079 18942 24 | 0.000 % |
24.15/24.26 c | 185928 | 1359 6372 56202 | 19079 16778 22 | 0.000 % |
24.15/24.27 c | 186029 | 1359 6372 56202 | 19079 16879 22 | 0.000 % |
24.15/24.29 c | 186140 | 1359 6372 56202 | 19079 16990 22 | 0.000 % |
24.25/24.30 c | 186263 | 1359 6372 56202 | 19079 17113 22 | 0.000 % |
24.25/24.32 c | 186396 | 1359 6372 56202 | 19079 17246 22 | 0.000 % |
24.25/24.34 c | 186542 | 1359 6372 56202 | 19079 17392 22 | 0.000 % |
24.25/24.36 c | 186702 | 1359 6372 56202 | 19079 17552 22 | 0.000 % |
24.25/24.39 c | 186879 | 1359 6372 56202 | 19079 17729 22 | 0.000 % |
24.35/24.42 c | 187072 | 1359 6372 56202 | 19079 17922 22 | 0.000 % |
24.35/24.45 c | 187284 | 1359 6372 56202 | 19079 18134 22 | 0.000 % |
24.35/24.48 c | 187517 | 1359 6372 56202 | 19079 18367 22 | 0.001 % |
24.45/24.53 c | 187773 | 1359 6372 56202 | 19079 18623 22 | 0.000 % |
24.45/24.58 c | 188054 | 1359 6372 56202 | 19079 18904 22 | 0.000 % |
24.55/24.64 c | 188364 | 1359 6372 56202 | 19079 15328 21 | 0.000 % |
24.55/24.68 c | 188704 | 1359 6372 56202 | 19079 15668 21 | 0.000 % |
24.65/24.72 c | 189077 | 1359 6372 56202 | 19079 16041 21 | 0.000 % |
24.65/24.78 c | 189486 | 1359 6372 56202 | 19079 16450 21 | 0.000 % |
24.75/24.85 c | 189935 | 1359 6372 56202 | 19079 16899 22 | 0.000 % |
24.85/24.92 c | 190429 | 1359 6372 56202 | 16964 14083 20 | 0.000 % |
24.85/24.98 c | 190972 | 1359 6372 56202 | 16964 14626 21 | 0.000 % |
24.94/25.05 c | 191568 | 1359 6372 56202 | 16964 15222 21 | 0.000 % |
25.04/25.13 c | 192223 | 1359 6372 56202 | 16964 15877 22 | 0.000 % |
25.15/25.22 c | 192943 | 1359 6372 56202 | 16964 16597 22 | 0.000 % |
25.25/25.34 c | 193735 | 1359 6372 56202 | 16964 14793 21 | 0.000 % |
25.34/25.47 c | 194608 | 1359 6372 56202 | 16964 15666 22 | 0.000 % |
25.44/25.58 c | 195566 | 1359 6372 56202 | 16964 16624 21 | 0.000 % |
25.64/25.74 c | 196620 | 1359 6372 56202 | 16964 15080 22 | 0.000 % |
25.74/25.87 c | 197779 | 1359 6372 56202 | 16964 16239 22 | 0.000 % |
25.94/26.04 c | 199053 | 1359 6372 56202 | 16964 14933 21 | 0.000 % |
26.14/26.23 c | 200453 | 1359 6372 56202 | 15881 13975 20 | 0.001 % |
26.35/26.45 c | 201994 | 1359 6372 56202 | 15881 15516 20 | 0.000 % |
26.64/26.70 c | 203689 | 1359 6372 56202 | 15881 14905 20 | 0.000 % |
26.84/26.95 c | 205553 | 1359 6372 56202 | 15881 14518 20 | 0.000 % |
27.14/27.21 c | 207602 | 1359 6372 56202 | 15881 14398 19 | 0.000 % |
27.14/27.23 c | 207704 | 1359 6372 56202 | 15881 14500 19 | 0.000 % |
27.14/27.24 c | 207816 | 1359 6372 56202 | 15881 14612 19 | 0.000 % |
27.14/27.25 c | 207937 | 1359 6372 56202 | 15881 14733 19 | 0.000 % |
27.14/27.27 c | 208070 | 1359 6372 56202 | 15881 14866 19 | 0.000 % |
27.14/27.30 c | 208216 | 1359 6372 56202 | 15881 15012 19 | 0.000 % |
27.24/27.31 c | 208376 | 1359 6372 56202 | 15881 15172 20 | 0.000 % |
27.24/27.33 c | 208553 | 1359 6372 56202 | 15881 15349 20 | 0.000 % |
27.24/27.36 c | 208746 | 1359 6372 56202 | 15881 15542 20 | 0.001 % |
27.24/27.39 c | 208958 | 1359 6372 56202 | 15881 15754 20 | 0.000 % |
27.35/27.43 c | 209196 | 1359 6372 56202 | 15881 13781 20 | 0.000 % |
27.35/27.46 c | 209452 | 1359 6372 56202 | 15881 14037 20 | 0.000 % |
27.35/27.50 c | 209733 | 1359 6372 56202 | 15881 14318 20 | 0.000 % |
27.45/27.53 c | 210042 | 1359 6372 56202 | 14586 14627 20 | 0.000 % |
27.45/27.59 c | 210382 | 1359 6372 56202 | 14586 12984 20 | 0.001 % |
27.54/27.64 c | 210756 | 1359 6372 56202 | 14586 13358 20 | 0.000 % |
27.54/27.68 c | 211167 | 1359 6372 56202 | 14586 13769 21 | 0.000 % |
27.64/27.73 c | 211618 | 1359 6372 56202 | 14586 14220 21 | 0.000 % |
27.64/27.79 c | 212111 | 1359 6372 56202 | 14586 12932 21 | 0.000 % |
27.74/27.86 c | 212655 | 1359 6372 56202 | 14586 13476 21 | 0.000 % |
27.84/27.94 c | 213252 | 1359 6372 56202 | 14586 14073 22 | 0.000 % |
27.94/28.03 c | 213910 | 1359 6372 56202 | 14586 13017 22 | 0.000 % |
28.04/28.12 c | 214630 | 1359 6372 56202 | 14586 13737 23 | 0.000 % |
28.14/28.21 c | 215423 | 1359 6372 56202 | 14586 14530 23 | 0.000 % |
28.24/28.35 c | 216295 | 1359 6372 56202 | 14586 13790 24 | 0.000 % |
28.34/28.50 c | 217254 | 1359 6372 56202 | 14586 13053 24 | 0.000 % |
28.54/28.66 c | 218309 | 1359 6372 56202 | 14586 14108 25 | 0.000 % |
28.74/28.81 c | 219467 | 1359 6372 56202 | 14586 13509 25 | 0.000 % |
28.84/28.98 c | 220741 | 1359 6372 56202 | 14045 13131 25 | 0.000 % |
29.04/29.18 c | 222144 | 1359 6372 56202 | 14045 12826 25 | 0.000 % |
29.34/29.42 c | 223685 | 1359 6372 56202 | 14045 12628 25 | 0.000 % |
29.54/29.66 c | 225381 | 1359 6372 56202 | 14045 12533 24 | 0.000 % |
29.84/29.90 c | 227246 | 1359 6372 56202 | 14045 12621 24 | 0.000 % |
30.04/30.15 c | 229297 | 1359 6372 56202 | 14045 13016 25 | 0.000 % |
30.34/30.47 c | 231550 | 1359 6372 56202 | 13721 13699 26 | 0.000 % |
30.34/30.48 c | 231650 | 1359 6372 56202 | 13721 13799 26 | 0.000 % |
30.44/30.50 c | 231760 | 1359 6372 56202 | 13721 12329 25 | 0.000 % |
30.44/30.52 c | 231881 | 1359 6372 56202 | 13721 12450 25 | 0.000 % |
30.44/30.53 c | 232014 | 1359 6372 56202 | 13721 12583 25 | 0.000 % |
30.44/30.55 c | 232160 | 1359 6372 56202 | 13721 12729 25 | 0.000 % |
30.44/30.57 c | 232320 | 1359 6372 56202 | 13721 12889 25 | 0.000 % |
30.44/30.58 c | 232496 | 1359 6372 56202 | 13721 13065 25 | 0.000 % |
30.54/30.61 c | 232689 | 1359 6372 56202 | 13721 13258 25 | 0.000 % |
30.54/30.64 c | 232903 | 1359 6372 56202 | 13721 13472 25 | 0.000 % |
30.54/30.67 c | 233137 | 1359 6372 56202 | 13721 13706 26 | 0.000 % |
30.64/30.71 c | 233396 | 1359 6372 56202 | 13721 12451 25 | 0.000 % |
30.64/30.75 c | 233679 | 1359 6372 56202 | 13721 12734 26 | 0.000 % |
30.64/30.79 c | 233988 | 1359 6372 56202 | 13721 13043 26 | 0.000 % |
30.74/30.83 c | 234329 | 1359 6372 56202 | 13721 13384 26 | 0.000 % |
30.74/30.87 c | 234701 | 1359 6372 56202 | 13721 13756 26 | 0.000 % |
30.83/30.94 c | 235112 | 1359 6372 56202 | 13721 12694 27 | 0.000 % |
30.93/31.00 c | 235561 | 1359 6372 56202 | 13721 13143 27 | 0.000 % |
30.93/31.06 c | 236054 | 1359 6372 56202 | 13721 13636 27 | 0.001 % |
31.03/31.13 c | 236596 | 1359 6372 56202 | 13721 12598 27 | 0.000 % |
31.13/31.20 c | 237192 | 1359 6372 56202 | 13721 13194 27 | 0.000 % |
31.13/31.28 c | 237849 | 1359 6372 56202 | 13721 13851 28 | 0.000 % |
31.23/31.37 c | 238569 | 1359 6372 56202 | 13721 13008 27 | 0.000 % |
31.33/31.47 c | 239361 | 1359 6372 56202 | 13721 12269 25 | 0.000 % |
31.43/31.58 c | 240233 | 1359 6372 56202 | 12910 11682 24 | 0.000 % |
31.63/31.70 c | 241192 | 1359 6372 56202 | 12910 12641 25 | 0.000 % |
31.74/31.85 c | 242246 | 1359 6372 56202 | 12910 12345 26 | 0.000 % |
31.93/32.00 c | 243404 | 1359 6372 56202 | 12910 12178 25 | 0.000 % |
32.03/32.18 c | 244677 | 1359 6372 56202 | 12910 12148 26 | 0.000 % |
32.23/32.39 c | 246078 | 1359 6372 56202 | 12910 12251 26 | 0.000 % |
32.43/32.56 c | 247619 | 1359 6372 56202 | 12910 12493 26 | 0.000 % |
32.73/32.80 c | 249314 | 1359 6372 56202 | 12910 12890 28 | 0.000 % |
33.03/33.10 c | 251178 | 1359 6372 56202 | 2147483647 13453 28 | 0.000 % |
33.33/33.41 c | 253227 | 1359 6372 56202 | 2147483647 15502 28 | 0.000 % |
33.73/33.84 c | 255482 | 1359 6372 56202 | 2147483647 17757 28 | 0.000 % |
34.13/34.26 c | 257960 | 1359 6372 56202 | 2147483647 20235 27 | 0.000 % |
34.13/34.28 c | 258061 | 1359 6372 56202 | 2147483647 20336 27 | 0.000 % |
34.23/34.30 c | 258171 | 1359 6372 56202 | 2147483647 20446 27 | 0.000 % |
34.23/34.32 c | 258292 | 1359 6372 56202 | 2147483647 20567 27 | 0.000 % |
34.23/34.36 c | 258426 | 1359 6372 56202 | 2147483647 20701 27 | 0.000 % |
34.23/34.39 c | 258572 | 1359 6372 56202 | 2147483647 20847 28 | 0.000 % |
34.33/34.43 c | 258733 | 1359 6372 56202 | 2147483647 21008 27 | 0.000 % |
34.33/34.46 c | 258909 | 1359 6372 56202 | 2147483647 21184 28 | 0.000 % |
34.43/34.50 c | 259103 | 1359 6372 56202 | 2147483647 21378 28 | 0.000 % |
34.43/34.56 c | 259316 | 1359 6372 56202 | 2147483647 21591 28 | 0.000 % |
34.53/34.63 c | 259552 | 1359 6372 56202 | 2147483647 21827 28 | 0.000 % |
34.53/34.66 c | 259808 | 1359 6372 56202 | 2147483647 22083 28 | 0.001 % |
34.63/34.73 c | 260089 | 1359 6372 56202 | 22278 22364 28 | 0.000 % |
34.73/34.80 c | 260399 | 1359 6372 56202 | 22278 18067 25 | 0.000 % |
34.73/34.86 c | 260738 | 1359 6372 56202 | 22278 18406 25 | 0.000 % |
34.83/34.91 c | 261110 | 1359 6372 56202 | 22278 18778 25 | 0.000 % |
34.83/34.98 c | 261520 | 1359 6372 56202 | 22278 19188 26 | 0.000 % |
34.92/35.05 c | 261970 | 1359 6372 56202 | 22278 19638 26 | 0.000 % |
35.04/35.12 c | 262464 | 1359 6372 56202 | 22278 20132 26 | 0.000 % |
35.14/35.22 c | 263006 | 1359 6372 56202 | 22278 20674 26 | 0.000 % |
35.23/35.33 c | 263602 | 1359 6372 56202 | 22278 21270 26 | 0.001 % |
35.33/35.44 c | 264260 | 1359 6372 56202 | 22278 21928 26 | 0.000 % |
35.43/35.58 c | 264984 | 1359 6372 56202 | 22278 17523 23 | 0.000 % |
35.53/35.69 c | 265777 | 1359 6372 56202 | 22278 18316 24 | 0.000 % |
35.73/35.81 c | 266648 | 1359 6372 56202 | 22278 19187 24 | 0.000 % |
35.83/35.96 c | 267606 | 1359 6372 56202 | 22278 20145 24 | 0.000 % |
36.03/36.13 c | 268659 | 1359 6372 56202 | 22278 21198 24 | 0.000 % |
36.33/36.41 c | 269818 | 1359 6372 56202 | 22278 17532 23 | 0.000 % |
36.53/36.64 c | 271091 | 1359 6372 56202 | 17715 14962 22 | 0.000 % |
36.73/36.81 c | 272491 | 1359 6372 56202 | 17715 16362 23 | 0.000 % |
36.93/37.06 c | 274032 | 1359 6372 56202 | 17715 14331 22 | 0.000 % |
37.24/37.34 c | 275729 | 1359 6372 56202 | 17715 16028 22 | 0.001 % |
37.53/37.63 c | 277593 | 1359 6372 56202 | 17715 14434 21 | 0.000 % |
37.83/37.91 c | 279643 | 1359 6372 56202 | 17715 16484 22 | 0.001 % |
38.13/38.21 c | 281896 | 1359 6372 56202 | 16841 15564 21 | 0.000 % |
38.53/38.61 c | 284375 | 1359 6372 56202 | 16841 15367 20 | 0.000 % |
38.93/39.07 c | 287100 | 1359 6372 56202 | 16841 15291 19 | 0.000 % |
38.93/39.08 c | 287201 | 1359 6372 56202 | 16841 15392 19 | 0.000 % |
38.93/39.09 c | 287311 | 1359 6372 56202 | 16841 15502 19 | 0.000 % |
39.03/39.11 c | 287433 | 1359 6372 56202 | 16841 15624 20 | 0.000 % |
39.03/39.13 c | 287566 | 1359 6372 56202 | 16841 15757 20 | 0.000 % |
39.03/39.16 c | 287712 | 1359 6372 56202 | 16841 15903 20 | 0.001 % |
39.03/39.19 c | 287877 | 1359 6372 56202 | 16841 16068 20 | 0.000 % |
39.13/39.21 c | 288054 | 1359 6372 56202 | 16841 16245 20 | 0.000 % |
39.13/39.26 c | 288247 | 1359 6372 56202 | 16841 16438 20 | 0.000 % |
39.23/39.30 c | 288459 | 1359 6372 56202 | 16841 16650 20 | 0.000 % |
39.23/39.35 c | 288692 | 1359 6372 56202 | 16841 13983 19 | 0.000 % |
39.23/39.39 c | 288949 | 1359 6372 56202 | 16841 14240 19 | 0.001 % |
39.33/39.42 c | 289231 | 1359 6372 56202 | 16841 14522 19 | 0.000 % |
39.33/39.46 c | 289542 | 1359 6372 56202 | 16841 14833 19 | 0.000 % |
39.43/39.51 c | 289885 | 1359 6372 56202 | 16841 15176 19 | 0.000 % |
39.43/39.58 c | 290260 | 1359 6372 56202 | 15292 12956 19 | 0.000 % |
39.53/39.64 c | 290669 | 1359 6372 56202 | 15292 13365 19 | 0.000 % |
39.63/39.70 c | 291120 | 1359 6372 56202 | 15292 13816 19 | 0.000 % |
39.63/39.78 c | 291614 | 1359 6372 56202 | 15292 14310 19 | 0.000 % |
39.73/39.84 c | 292157 | 1359 6372 56202 | 15292 14853 20 | 0.000 % |
39.83/39.93 c | 292754 | 1359 6372 56202 | 15292 13114 20 | 0.000 % |
39.93/40.02 c | 293410 | 1359 6372 56202 | 15292 13770 20 | 0.000 % |
39.93/40.10 c | 294130 | 1359 6372 56202 | 15292 14490 21 | 0.000 % |
40.13/40.21 c | 294923 | 1359 6372 56202 | 15292 15283 22 | 0.000 % |
40.23/40.35 c | 295795 | 1359 6372 56202 | 15292 13911 23 | 0.000 % |
40.33/40.49 c | 296753 | 1359 6372 56202 | 15292 14869 24 | 0.000 % |
40.53/40.67 c | 297807 | 1359 6372 56202 | 15292 13708 25 | 0.000 % |
40.73/40.83 c | 298965 | 1359 6372 56202 | 15292 14866 26 | 0.000 % |
40.93/41.01 c | 300238 | 1359 6372 56202 | 13642 11916 27 | 0.000 % |
41.03/41.17 c | 301639 | 1359 6372 56202 | 13642 13317 28 | 0.000 % |
41.23/41.39 c | 303180 | 1359 6372 56202 | 13642 13153 28 | 0.000 % |
41.53/41.63 c | 304876 | 1359 6372 56202 | 13642 13212 28 | 0.000 % |
41.73/41.88 c | 306740 | 1359 6372 56202 | 13642 13471 27 | 0.000 % |
42.03/42.18 c | 308790 | 1359 6372 56202 | 13642 12432 26 | 0.000 % |
42.33/42.48 c | 311043 | 1359 6372 56202 | 13642 13234 25 | 0.000 % |
42.63/42.74 c | 313521 | 1359 6372 56202 | 13642 12971 23 | 0.000 % |
42.93/43.04 c | 316246 | 1359 6372 56202 | 13642 12956 21 | 0.000 % |
43.43/43.54 c | 319243 | 1359 6372 56202 | 13642 13214 21 | 0.000 % |
43.43/43.55 c | 319344 | 1359 6372 56202 | 13642 13315 21 | 0.000 % |
43.43/43.57 c | 319454 | 1359 6372 56202 | 13642 13425 21 | 0.000 % |
43.43/43.59 c | 319576 | 1359 6372 56202 | 13642 13547 21 | 0.000 % |
43.52/43.61 c | 319709 | 1359 6372 56202 | 13642 13680 21 | 0.000 % |
43.52/43.63 c | 319858 | 1359 6372 56202 | 13642 12461 21 | 0.000 % |
43.52/43.65 c | 320018 | 1359 6372 56202 | 2147483647 12621 21 | 0.000 % |
43.52/43.67 c | 320194 | 1359 6372 56202 | 2147483647 12797 21 | 0.001 % |
43.62/43.70 c | 320387 | 1359 6372 56202 | 2147483647 12990 21 | 0.000 % |
43.62/43.72 c | 320599 | 1359 6372 56202 | 2147483647 13202 21 | 0.000 % |
43.62/43.74 c | 320833 | 1359 6372 56202 | 2147483647 13436 21 | 0.000 % |
43.62/43.77 c | 321089 | 1359 6372 56202 | 2147483647 13692 21 | 0.000 % |
43.72/43.80 c | 321370 | 1359 6372 56202 | 2147483647 13973 22 | 0.000 % |
43.72/43.84 c | 321679 | 1359 6372 56202 | 2147483647 14282 22 | 0.000 % |
43.72/43.89 c | 322019 | 1359 6372 56202 | 2147483647 14622 22 | 0.000 % |
43.83/43.93 c | 322391 | 1359 6372 56202 | 2147483647 14994 22 | 0.000 % |
43.83/43.98 c | 322802 | 1359 6372 56202 | 2147483647 15405 22 | 0.000 % |
43.93/44.03 c | 323254 | 1359 6372 56202 | 2147483647 15857 23 | 0.000 % |
43.93/44.10 c | 323749 | 1359 6372 56202 | 2147483647 16352 23 | 0.000 % |
44.02/44.18 c | 324293 | 1359 6372 56202 | 2147483647 16896 23 | 0.000 % |
44.12/44.27 c | 324890 | 1359 6372 56202 | 2147483647 17493 24 | 0.000 % |
44.22/44.36 c | 325546 | 1359 6372 56202 | 2147483647 18149 24 | 0.000 % |
44.32/44.46 c | 326267 | 1359 6372 56202 | 2147483647 18870 24 | 0.000 % |
44.42/44.59 c | 327061 | 1359 6372 56202 | 2147483647 19664 25 | 0.000 % |
44.62/44.76 c | 327933 | 1359 6372 56202 | 2147483647 20536 25 | 0.000 % |
44.82/44.96 c | 328891 | 1359 6372 56202 | 2147483647 21494 25 | 0.000 % |
45.03/45.15 c | 329944 | 1359 6372 56202 | 2147483647 22547 26 | 0.000 % |
45.22/45.39 c | 331102 | 1359 6372 56202 | 22603 19505 26 | 0.000 % |
45.52/45.63 c | 332376 | 1359 6372 56202 | 22603 20779 27 | 0.000 % |
45.82/45.95 c | 333778 | 1359 6372 56202 | 22603 22181 27 | 0.000 % |
46.13/46.28 c | 335318 | 1359 6372 56202 | 22603 18726 28 | 0.000 % |
46.52/46.65 c | 337012 | 1359 6372 56202 | 22603 20420 28 | 0.000 % |
46.82/46.99 c | 338875 | 1359 6372 56202 | 22603 22283 27 | 0.001 % |
47.22/47.38 c | 340925 | 1359 6372 56202 | 18101 14757 25 | 0.000 % |
47.52/47.68 c | 343178 | 1359 6372 56202 | 18101 17010 25 | 0.000 % |
47.92/48.06 c | 345656 | 1359 6372 56202 | 18101 15705 23 | 0.000 % |
48.32/48.46 c | 348381 | 1359 6372 56202 | 18101 14876 24 | 0.000 % |
48.72/48.89 c | 351378 | 1359 6372 56202 | 16495 14728 25 | 0.000 % |
49.32/49.41 c | 354675 | 1359 6372 56202 | 16495 15236 26 | 0.000 % |
49.32/49.42 c | 354777 | 1359 6372 56202 | 16495 15338 26 | 0.000 % |
49.32/49.43 c | 354887 | 1359 6372 56202 | 16495 15448 26 | 0.000 % |
49.32/49.45 c | 355008 | 1359 6372 56202 | 16495 15569 26 | 0.000 % |
49.32/49.47 c | 355143 | 1359 6372 56202 | 16495 15704 26 | 0.001 % |
49.32/49.49 c | 355289 | 1359 6372 56202 | 16495 15850 26 | 0.000 % |
49.42/49.51 c | 355450 | 1359 6372 56202 | 16495 16011 26 | 0.000 % |
49.42/49.54 c | 355626 | 1359 6372 56202 | 16495 16187 26 | 0.000 % |
49.42/49.56 c | 355819 | 1359 6372 56202 | 16495 16380 26 | 0.000 % |
49.51/49.60 c | 356031 | 1359 6372 56202 | 16495 13947 27 | 0.000 % |
49.51/49.62 c | 356265 | 1359 6372 56202 | 16495 14181 27 | 0.000 % |
49.51/49.66 c | 356521 | 1359 6372 56202 | 16495 14437 27 | 0.000 % |
49.51/49.70 c | 356802 | 1359 6372 56202 | 16495 14718 27 | 0.000 % |
49.61/49.74 c | 357111 | 1359 6372 56202 | 16495 15027 27 | 0.000 % |
49.61/49.78 c | 357451 | 1359 6372 56202 | 16495 15367 27 | 0.000 % |
49.71/49.85 c | 357825 | 1359 6372 56202 | 16495 15741 27 | 0.001 % |
49.81/49.93 c | 358234 | 1359 6372 56202 | 16495 16150 27 | 0.000 % |
49.91/50.01 c | 358683 | 1359 6372 56202 | 16495 13930 26 | 0.000 % |
49.91/50.08 c | 359176 | 1359 6372 56202 | 16495 14423 26 | 0.000 % |
50.01/50.15 c | 359720 | 1359 6372 56202 | 16495 14967 26 | 0.000 % |
50.11/50.23 c | 360318 | 1359 6372 56202 | 15248 13138 24 | 0.000 % |
50.21/50.30 c | 360974 | 1359 6372 56202 | 15248 13794 24 | 0.000 % |
50.21/50.40 c | 361694 | 1359 6372 56202 | 15248 14514 25 | 0.000 % |
50.42/50.52 c | 362486 | 1359 6372 56202 | 15248 15306 25 | 0.000 % |
50.52/50.65 c | 363361 | 1359 6372 56202 | 15248 13874 24 | 0.000 % |
50.61/50.77 c | 364319 | 1359 6372 56202 | 15248 14832 24 | 0.000 % |
50.81/50.94 c | 365372 | 1359 6372 56202 | 15248 13658 24 | 0.000 % |
50.91/51.07 c | 366530 | 1359 6372 56202 | 15248 14816 24 | 0.000 % |
51.11/51.23 c | 367804 | 1359 6372 56202 | 15248 13917 23 | 0.000 % |
51.31/51.42 c | 369205 | 1359 6372 56202 | 15248 13213 23 | 0.000 % |
51.52/51.63 c | 370746 | 1359 6372 56202 | 14010 12903 24 | 0.000 % |
51.71/51.83 c | 372441 | 1359 6372 56202 | 14010 13189 24 | 0.000 % |
52.01/52.10 c | 374305 | 1359 6372 56202 | 14010 13645 25 | 0.000 % |
52.31/52.41 c | 376357 | 1359 6372 56202 | 14010 12880 25 | 0.000 % |
52.72/52.81 c | 378612 | 1359 6372 56202 | 14010 13693 26 | 0.000 % |
53.01/53.17 c | 381090 | 1359 6372 56202 | 13578 13197 25 | 0.000 % |
53.31/53.46 c | 383815 | 1359 6372 56202 | 13578 13186 24 | 0.000 % |
53.71/53.81 c | 386813 | 1359 6372 56202 | 13578 13450 23 | 0.000 % |
54.11/54.23 c | 390109 | 1359 6372 56202 | 2147483647 12647 23 | 0.000 % |
54.61/54.71 c | 393735 | 1359 6372 56202 | 2147483647 16273 25 | 0.000 % |
54.61/54.73 c | 393836 | 1359 6372 56202 | 2147483647 16374 25 | 0.000 % |
54.61/54.74 c | 393947 | 1359 6372 56202 | 2147483647 16485 25 | 0.000 % |
54.61/54.76 c | 394068 | 1359 6372 56202 | 2147483647 16606 25 | 0.000 % |
54.61/54.78 c | 394201 | 1359 6372 56202 | 2147483647 16739 25 | 0.000 % |
54.61/54.79 c | 394347 | 1359 6372 56202 | 2147483647 16885 25 | 0.000 % |
54.71/54.82 c | 394508 | 1359 6372 56202 | 2147483647 17046 25 | 0.000 % |
54.71/54.85 c | 394684 | 1359 6372 56202 | 2147483647 17222 25 | 0.000 % |
54.71/54.88 c | 394877 | 1359 6372 56202 | 2147483647 17415 25 | 0.000 % |
54.81/54.92 c | 395089 | 1359 6372 56202 | 2147483647 17627 25 | 0.000 % |
54.81/54.96 c | 395323 | 1359 6372 56202 | 2147483647 17861 25 | 0.000 % |
54.81/55.00 c | 395580 | 1359 6372 56202 | 2147483647 18118 25 | 0.000 % |
54.91/55.04 c | 395862 | 1359 6372 56202 | 2147483647 18400 25 | 0.001 % |
54.91/55.08 c | 396172 | 1359 6372 56202 | 2147483647 18710 25 | 0.000 % |
55.01/55.14 c | 396512 | 1359 6372 56202 | 2147483647 19050 25 | 0.000 % |
55.01/55.19 c | 396885 | 1359 6372 56202 | 2147483647 19423 25 | 0.000 % |
55.11/55.25 c | 397294 | 1359 6372 56202 | 2147483647 19832 26 | 0.000 % |
55.21/55.33 c | 397743 | 1359 6372 56202 | 2147483647 20281 26 | 0.000 % |
55.31/55.43 c | 398237 | 1359 6372 56202 | 2147483647 20775 26 | 0.000 % |
55.41/55.54 c | 398780 | 1359 6372 56202 | 2147483647 21318 26 | 0.000 % |
55.51/55.66 c | 399376 | 1359 6372 56202 | 2147483647 21914 26 | 0.000 % |
55.71/55.82 c | 400031 | 1359 6372 56202 | 22540 22569 26 | 0.000 % |
55.81/55.97 c | 400752 | 1359 6372 56202 | 22540 19468 26 | 0.000 % |
56.01/56.12 c | 401546 | 1359 6372 56202 | 22540 20262 26 | 0.000 % |
56.11/56.27 c | 402417 | 1359 6372 56202 | 22540 21133 25 | 0.000 % |
56.31/56.46 c | 403375 | 1359 6372 56202 | 22540 22091 26 | 0.000 % |
56.61/56.72 c | 404429 | 1359 6372 56202 | 22540 18436 25 | 0.000 % |
56.81/56.95 c | 405588 | 1359 6372 56202 | 22540 19595 26 | 0.000 % |
57.01/57.15 c | 406861 | 1359 6372 56202 | 22540 20868 26 | 0.000 % |
57.31/57.40 c | 408263 | 1359 6372 56202 | 22540 22270 27 | 0.000 % |
57.51/57.68 c | 409803 | 1359 6372 56202 | 22540 18626 25 | 0.000 % |
57.81/57.95 c | 411497 | 1359 6372 56202 | 18823 16004 24 | 0.000 % |
58.11/58.22 c | 413361 | 1359 6372 56202 | 18823 17868 24 | 0.000 % |
58.41/58.56 c | 415410 | 1359 6372 56202 | 18823 16444 23 | 0.000 % |
58.81/58.92 c | 417666 | 1359 6372 56202 | 18823 18700 24 | 0.000 % |
59.21/59.33 c | 420144 | 1359 6372 56202 | 17695 14668 22 | 0.000 % |
59.60/59.75 c | 422871 | 1359 6372 56202 | 17695 17395 23 | 0.000 % |
60.10/60.25 c | 425868 | 1359 6372 56202 | 17695 17435 26 | 0.000 % |
60.60/60.78 c | 429164 | 1359 6372 56202 | 17695 17707 28 | 0.000 % |
61.10/61.30 c | 432790 | 1359 6372 56202 | 15571 13457 26 | 0.000 % |
61.70/61.88 c | 436779 | 1359 6372 56202 | 15571 15134 25 | 0.000 % |
61.80/61.90 c | 436880 | 1359 6372 56202 | 15571 15235 25 | 0.000 % |
61.80/61.91 c | 436991 | 1359 6372 56202 | 15571 15346 25 | 0.000 % |
61.80/61.93 c | 437112 | 1359 6372 56202 | 15571 15467 25 | 0.000 % |
61.80/61.96 c | 437246 | 1359 6372 56202 | 15571 15601 25 | 0.000 % |
61.80/61.99 c | 437392 | 1359 6372 56202 | 15571 13438 24 | 0.000 % |
61.90/62.01 c | 437553 | 1359 6372 56202 | 15571 13599 24 | 0.000 % |
61.90/62.03 c | 437730 | 1359 6372 56202 | 15571 13776 24 | 0.000 % |
61.90/62.05 c | 437923 | 1359 6372 56202 | 15571 13969 24 | 0.000 % |
61.90/62.07 c | 438138 | 1359 6372 56202 | 15571 14184 24 | 0.000 % |
61.90/62.09 c | 438372 | 1359 6372 56202 | 15571 14418 24 | 0.000 % |
62.00/62.13 c | 438632 | 1359 6372 56202 | 15571 14678 24 | 0.000 % |
62.00/62.16 c | 438913 | 1359 6372 56202 | 15571 14959 24 | 0.000 % |
62.00/62.20 c | 439224 | 1359 6372 56202 | 15571 15270 24 | 0.000 % |
62.10/62.23 c | 439563 | 1359 6372 56202 | 15571 15609 24 | 0.000 % |
62.10/62.29 c | 439939 | 1359 6372 56202 | 15571 13940 23 | 0.000 % |
62.20/62.36 c | 440348 | 1359 6372 56202 | 14001 12553 22 | 0.000 % |
62.30/62.41 c | 440797 | 1359 6372 56202 | 14001 13002 22 | 0.000 % |
62.30/62.46 c | 441290 | 1359 6372 56202 | 14001 13495 23 | 0.000 % |
62.40/62.52 c | 441832 | 1359 6372 56202 | 14001 14037 23 | 0.000 % |
62.50/62.63 c | 442428 | 1359 6372 56202 | 14001 13230 23 | 0.000 % |
62.60/62.73 c | 443083 | 1359 6372 56202 | 14001 13885 24 | 0.000 % |
62.70/62.81 c | 443805 | 1359 6372 56202 | 14001 13196 25 | 0.001 % |
62.80/62.90 c | 444599 | 1359 6372 56202 | 14001 13990 25 | 0.000 % |
62.90/63.03 c | 445471 | 1359 6372 56202 | 14001 13457 24 | 0.001 % |
63.00/63.17 c | 446430 | 1359 6372 56202 | 14001 13010 24 | 0.000 % |
63.20/63.31 c | 447483 | 1359 6372 56202 | 14001 14063 24 | 0.000 % |
63.30/63.47 c | 448641 | 1359 6372 56202 | 14001 13815 24 | 0.000 % |
63.50/63.65 c | 449915 | 1359 6372 56202 | 14001 13683 23 | 0.000 % |
63.70/63.84 c | 451315 | 1359 6372 56202 | 2147483647 15083 24 | 0.000 % |
63.90/64.06 c | 452857 | 1359 6372 56202 | 2147483647 16625 25 | 0.000 % |
64.20/64.34 c | 454553 | 1359 6372 56202 | 2147483647 18321 26 | 0.000 % |
64.50/64.68 c | 456418 | 1359 6372 56202 | 2147483647 20186 26 | 0.001 % |
64.90/65.04 c | 458467 | 1359 6372 56202 | 2147483647 22235 27 | 0.000 % |
65.40/65.54 c | 460720 | 1359 6372 56202 | 23768 19843 25 | 0.001 % |
65.90/66.09 c | 463200 | 1359 6372 56202 | 23768 22323 26 | 0.000 % |
66.59/66.73 c | 465925 | 1359 6372 56202 | 23768 19270 25 | 0.000 % |
67.19/67.34 c | 468922 | 1359 6372 56202 | 23768 22267 25 | 0.000 % |
68.00/68.13 c | 472218 | 1359 6372 56202 | 23345 19676 23 | 0.000 % |
68.69/68.88 c | 475845 | 1359 6372 56202 | 23345 23303 25 | 0.000 % |
69.49/69.65 c | 479832 | 1359 6372 56202 | 23345 21250 23 | 0.000 % |
70.30/70.41 c | 484219 | 1359 6372 56202 | 21418 20301 23 | 0.000 % |
70.30/70.44 c | 484319 | 1359 6372 56202 | 21418 20401 23 | 0.000 % |
70.30/70.46 c | 484429 | 1359 6372 56202 | 21418 20511 23 | 0.000 % |
70.30/70.49 c | 484551 | 1359 6372 56202 | 21418 20633 23 | 0.000 % |
70.39/70.52 c | 484684 | 1359 6372 56202 | 21418 20766 23 | 0.001 % |
70.39/70.54 c | 484830 | 1359 6372 56202 | 21418 20912 23 | 0.000 % |
70.39/70.57 c | 484990 | 1359 6372 56202 | 21418 21072 23 | 0.000 % |
70.49/70.61 c | 485166 | 1359 6372 56202 | 21418 21248 23 | 0.000 % |
70.49/70.64 c | 485359 | 1359 6372 56202 | 21418 21441 23 | 0.000 % |
70.49/70.69 c | 485571 | 1359 6372 56202 | 21418 16888 23 | 0.000 % |
70.59/70.73 c | 485804 | 1359 6372 56202 | 21418 17121 23 | 0.001 % |
70.59/70.76 c | 486060 | 1359 6372 56202 | 21418 17377 23 | 0.000 % |
70.69/70.80 c | 486342 | 1359 6372 56202 | 21418 17659 23 | 0.001 % |
70.69/70.85 c | 486652 | 1359 6372 56202 | 21418 17969 24 | 0.000 % |
70.79/70.90 c | 486993 | 1359 6372 56202 | 21418 18310 24 | 0.000 % |
70.79/70.95 c | 487365 | 1359 6372 56202 | 21418 18682 24 | 0.000 % |
70.89/71.01 c | 487774 | 1359 6372 56202 | 21418 19091 24 | 0.000 % |
70.89/71.08 c | 488223 | 1359 6372 56202 | 21418 19540 24 | 0.000 % |
70.99/71.17 c | 488718 | 1359 6372 56202 | 21418 20035 25 | 0.000 % |
71.09/71.27 c | 489260 | 1359 6372 56202 | 21418 20577 25 | 0.000 % |
71.19/71.38 c | 489856 | 1359 6372 56202 | 21418 21173 25 | 0.000 % |
71.39/71.51 c | 490512 | 1359 6372 56202 | 21317 17196 24 | 0.000 % |
71.49/71.60 c | 491234 | 1359 6372 56202 | 21317 17918 24 | 0.000 % |
71.59/71.74 c | 492026 | 1359 6372 56202 | 21317 18710 24 | 0.000 % |
71.79/71.90 c | 492898 | 1359 6372 56202 | 21317 19582 25 | 0.001 % |
71.89/72.09 c | 493857 | 1359 6372 56202 | 21317 20541 25 | 0.000 % |
72.19/72.31 c | 494910 | 1359 6372 56202 | 21317 16917 26 | 0.000 % |
72.39/72.59 c | 496069 | 1359 6372 56202 | 21317 18076 27 | 0.000 % |
72.69/72.81 c | 497343 | 1359 6372 56202 | 21317 19350 26 | 0.000 % |
72.89/73.03 c | 498744 | 1359 6372 56202 | 21317 20751 26 | 0.000 % |
73.19/73.33 c | 500284 | 1359 6372 56202 | 17283 13796 24 | 0.000 % |
73.39/73.57 c | 501978 | 1359 6372 56202 | 17283 15490 24 | 0.000 % |
73.69/73.87 c | 503841 | 1359 6372 56202 | 17283 17353 25 | 0.000 % |
73.99/74.15 c | 505890 | 1359 6372 56202 | 17283 16210 24 | 0.000 % |
74.38/74.59 c | 508145 | 1359 6372 56202 | 17283 15463 25 | 0.000 % |
74.88/75.09 c | 510623 | 1359 6372 56202 | 17319 14911 28 | 0.000 % |
75.48/75.69 c | 513350 | 1359 6372 56202 | 17319 14180 29 | 0.000 % |
76.08/76.22 c | 516350 | 1359 6372 56202 | 17319 17180 28 | 0.000 % |
76.58/76.79 c | 519646 | 1359 6372 56202 | 17319 16997 26 | 0.000 % |
77.18/77.36 c | 523272 | 1359 6372 56202 | 17351 17190 23 | 0.000 % |
77.68/77.87 c | 527261 | 1359 6372 56202 | 17351 14867 23 | 0.000 % |
78.38/78.53 c | 531646 | 1359 6372 56202 | 14675 13854 25 | 0.000 % |
79.09/79.21 c | 536469 | 1359 6372 56202 | 14675 12985 25 | 0.000 % |
79.09/79.23 c | 536569 | 1359 6372 56202 | 14675 13085 25 | 0.000 % |
79.09/79.25 c | 536679 | 1359 6372 56202 | 14675 13195 25 | 0.001 % |
79.09/79.26 c | 536801 | 1359 6372 56202 | 14675 13317 26 | 0.000 % |
79.09/79.28 c | 536934 | 1359 6372 56202 | 14675 13450 26 | 0.000 % |
79.09/79.29 c | 537080 | 1359 6372 56202 | 14675 13596 26 | 0.000 % |
79.18/79.32 c | 537241 | 1359 6372 56202 | 14675 13757 26 | 0.000 % |
79.18/79.34 c | 537417 | 1359 6372 56202 | 14675 13933 26 | 0.000 % |
79.18/79.38 c | 537610 | 1359 6372 56202 | 14675 14126 26 | 0.000 % |
79.28/79.42 c | 537823 | 1359 6372 56202 | 14675 14339 26 | 0.000 % |
79.28/79.45 c | 538056 | 1359 6372 56202 | 14675 14572 26 | 0.000 % |
79.28/79.49 c | 538312 | 1359 6372 56202 | 14675 12913 25 | 0.000 % |
79.38/79.53 c | 538594 | 1359 6372 56202 | 14675 13195 25 | 0.000 % |
79.38/79.57 c | 538903 | 1359 6372 56202 | 14675 13504 25 | 0.001 % |
79.48/79.62 c | 539243 | 1359 6372 56202 | 14675 13844 25 | 0.000 % |
79.48/79.67 c | 539615 | 1359 6372 56202 | 14675 14216 25 | 0.000 % |
79.58/79.74 c | 540024 | 1359 6372 56202 | 14603 14625 26 | 0.000 % |
79.68/79.80 c | 540474 | 1359 6372 56202 | 14603 13222 25 | 0.000 % |
79.68/79.87 c | 540968 | 1359 6372 56202 | 14603 13716 25 | 0.000 % |
79.78/79.94 c | 541510 | 1359 6372 56202 | 14603 14258 25 | 0.000 % |
79.88/80.03 c | 542108 | 1359 6372 56202 | 14603 13382 24 | 0.000 % |
79.98/80.10 c | 542763 | 1359 6372 56202 | 14603 14037 24 | 0.000 % |
79.98/80.19 c | 543483 | 1359 6372 56202 | 14603 13292 23 | 0.000 % |
80.18/80.31 c | 544275 | 1359 6372 56202 | 14603 14084 24 | 0.000 % |
80.28/80.43 c | 545146 | 1359 6372 56202 | 14603 13490 23 | 0.000 % |
80.38/80.55 c | 546106 | 1359 6372 56202 | 14603 14450 23 | 0.000 % |
80.58/80.70 c | 547160 | 1359 6372 56202 | 14603 14035 23 | 0.000 % |
80.68/80.86 c | 548320 | 1359 6372 56202 | 14603 13724 24 | 0.000 % |
80.88/81.06 c | 549594 | 1359 6372 56202 | 14603 13528 24 | 0.000 % |
81.08/81.26 c | 550994 | 1359 6372 56202 | 2147483647 14928 24 | 0.001 % |
81.38/81.50 c | 552535 | 1359 6372 56202 | 2147483647 16469 24 | 0.000 % |
81.58/81.75 c | 554232 | 1359 6372 56202 | 2147483647 18166 26 | 0.000 % |
81.88/82.06 c | 556095 | 1359 6372 56202 | 2147483647 20029 26 | 0.000 % |
82.38/82.50 c | 558144 | 1359 6372 56202 | 2147483647 22078 26 | 0.001 % |
82.88/83.04 c | 560398 | 1359 6372 56202 | 23936 19431 26 | 0.000 % |
83.38/83.53 c | 562877 | 1359 6372 56202 | 23936 21910 27 | 0.000 % |
84.08/84.27 c | 565602 | 1359 6372 56202 | 23936 18730 27 | 0.000 % |
84.77/84.91 c | 568600 | 1359 6372 56202 | 23936 21728 28 | 0.000 % |
85.47/85.67 c | 571896 | 1359 6372 56202 | 23128 19136 27 | 0.000 % |
86.17/86.39 c | 575521 | 1359 6372 56202 | 23128 22761 27 | 0.000 % |
86.78/86.98 c | 579509 | 1359 6372 56202 | 23128 20802 26 | 0.000 % |
87.57/87.71 c | 583894 | 1359 6372 56202 | 21293 20133 25 | 0.000 % |
88.37/88.55 c | 588717 | 1359 6372 56202 | 21293 20406 26 | 0.000 % |
89.47/89.62 c | 594022 | 1359 6372 56202 | 17254 14582 25 | 0.000 % |
89.47/89.64 c | 594122 | 1359 6372 56202 | 17254 14682 25 | 0.000 % |
89.47/89.65 c | 594232 | 1359 6372 56202 | 17254 14792 25 | 0.000 % |
89.47/89.67 c | 594353 | 1359 6372 56202 | 17254 14913 25 | 0.000 % |
89.47/89.69 c | 594486 | 1359 6372 56202 | 17254 15046 25 | 0.000 % |
89.57/89.71 c | 594632 | 1359 6372 56202 | 17254 15192 25 | 0.000 % |
89.57/89.74 c | 594793 | 1359 6372 56202 | 17254 15353 25 | 0.000 % |
89.57/89.76 c | 594969 | 1359 6372 56202 | 17254 15529 26 | 0.000 % |
89.57/89.79 c | 595163 | 1359 6372 56202 | 17254 15723 26 | 0.000 % |
89.67/89.82 c | 595376 | 1359 6372 56202 | 17254 15936 26 | 0.000 % |
89.67/89.85 c | 595610 | 1359 6372 56202 | 17254 16170 26 | 0.000 % |
89.77/89.90 c | 595868 | 1359 6372 56202 | 17254 16428 26 | 0.000 % |
89.77/89.95 c | 596152 | 1359 6372 56202 | 17254 16712 26 | 0.000 % |
89.87/90.01 c | 596461 | 1359 6372 56202 | 17254 17021 27 | 0.000 % |
89.87/90.07 c | 596801 | 1359 6372 56202 | 17254 17361 27 | 0.000 % |
89.97/90.15 c | 597174 | 1359 6372 56202 | 17254 14666 26 | 0.000 % |
90.07/90.21 c | 597583 | 1359 6372 56202 | 17254 15075 26 | 0.000 % |
90.07/90.26 c | 598034 | 1359 6372 56202 | 17254 15526 26 | 0.000 % |
90.17/90.32 c | 598528 | 1359 6372 56202 | 17254 16020 26 | 0.000 % |
90.17/90.38 c | 599071 | 1359 6372 56202 | 17254 16563 26 | 0.000 % |
90.27/90.46 c | 599668 | 1359 6372 56202 | 17254 17160 26 | 0.000 % |
90.37/90.59 c | 600323 | 1359 6372 56202 | 14744 12742 23 | 0.000 % |
90.47/90.69 c | 601044 | 1359 6372 56202 | 14744 13463 24 | 0.000 % |
90.67/90.80 c | 601836 | 1359 6372 56202 | 14744 14255 24 | 0.000 % |
90.77/90.94 c | 602707 | 1359 6372 56202 | 14744 13364 23 | 0.000 % |
90.87/91.07 c | 603665 | 1359 6372 56202 | 14744 14322 23 | 0.000 % |
91.07/91.23 c | 604718 | 1359 6372 56202 | 14744 13547 23 | 0.000 % |
91.17/91.38 c | 605877 | 1359 6372 56202 | 14744 14706 24 | 0.000 % |
91.37/91.56 c | 607150 | 1359 6372 56202 | 14744 14122 23 | 0.000 % |
91.57/91.73 c | 608550 | 1359 6372 56202 | 14744 13707 22 | 0.000 % |
91.77/91.96 c | 610091 | 1359 6372 56202 | 13268 13358 23 | 0.001 % |
91.97/92.14 c | 611787 | 1359 6372 56202 | 13268 13343 23 | 0.001 % |
92.17/92.38 c | 613650 | 1359 6372 56202 | 13268 12365 24 | 0.000 % |
92.47/92.66 c | 615701 | 1359 6372 56202 | 13268 13083 25 | 0.000 % |
92.77/93.00 c | 617956 | 1359 6372 56202 | 13268 12672 27 | 0.000 % |
93.17/93.38 c | 620434 | 1359 6372 56202 | 2147483647 12483 27 | 0.000 % |
93.57/93.78 c | 623159 | 1359 6372 56202 | 2147483647 15208 28 | 0.000 % |
94.17/94.31 c | 626158 | 1359 6372 56202 | 2147483647 18207 27 | 0.000 % |
94.77/94.97 c | 629455 | 1359 6372 56202 | 2147483647 21504 27 | 0.000 % |
95.67/95.88 c | 633080 | 1359 6372 56202 | 22049 20941 25 | 0.000 % |
96.27/96.49 c | 637068 | 1359 6372 56202 | 22049 19422 23 | 0.000 % |
97.07/97.21 c | 641453 | 1359 6372 56202 | 17128 14557 23 | 0.001 % |
97.77/97.99 c | 646280 | 1359 6372 56202 | 17128 16035 25 | 0.000 % |
98.67/98.88 c | 651585 | 1359 6372 56202 | 16476 15003 25 | 0.000 % |
99.66/99.83 c | 657420 | 1359 6372 56202 | 16476 16028 22 | 0.000 % |
99.66/99.85 c | 657520 | 1359 6372 56202 | 16476 16128 22 | 0.000 % |
99.66/99.86 c | 657631 | 1359 6372 56202 | 16476 16239 22 | 0.000 % |
99.66/99.88 c | 657754 | 1359 6372 56202 | 16476 16362 22 | 0.000 % |
99.76/99.91 c | 657887 | 1359 6372 56202 | 16476 16495 22 | 0.000 % |
99.76/99.94 c | 658034 | 1359 6372 56202 | 16476 14264 21 | 0.000 % |
99.76/99.96 c | 658194 | 1359 6372 56202 | 16476 14424 21 | 0.000 % |
99.76/99.99 c | 658370 | 1359 6372 56202 | 16476 14600 21 | 0.000 % |
99.87/100.01 c | 658563 | 1359 6372 56202 | 16476 14793 21 | 0.000 % |
99.87/100.05 c | 658776 | 1359 6372 56202 | 16476 15006 21 | 0.000 % |
99.87/100.08 c | 659009 | 1359 6372 56202 | 16476 15239 21 | 0.000 % |
99.97/100.13 c | 659267 | 1359 6372 56202 | 16476 15497 21 | 0.000 % |
99.97/100.16 c | 659549 | 1359 6372 56202 | 16476 15779 21 | 0.000 % |
100.06/100.22 c | 659858 | 1359 6372 56202 | 16476 16088 21 | 0.000 % |
100.06/100.28 c | 660198 | 1359 6372 56202 | 16232 13991 20 | 0.000 % |
100.16/100.32 c | 660571 | 1359 6372 56202 | 16232 14364 20 | 0.000 % |
100.16/100.39 c | 660983 | 1359 6372 56202 | 16232 14776 20 | 0.000 % |
100.26/100.46 c | 661433 | 1359 6372 56202 | 16232 15226 20 | 0.000 % |
100.36/100.55 c | 661926 | 1359 6372 56202 | 16232 15719 21 | 0.000 % |
100.46/100.64 c | 662468 | 1359 6372 56202 | 16232 16261 21 | 0.000 % |
100.56/100.73 c | 663065 | 1359 6372 56202 | 16232 14567 20 | 0.000 % |
100.66/100.84 c | 663722 | 1359 6372 56202 | 16232 15224 20 | 0.000 % |
100.86/101.00 c | 664442 | 1359 6372 56202 | 16232 15944 20 | 0.000 % |
100.97/101.13 c | 665235 | 1359 6372 56202 | 16232 14284 20 | 0.000 % |
101.07/101.23 c | 666106 | 1359 6372 56202 | 16232 15155 21 | 0.000 % |
101.16/101.37 c | 667065 | 1359 6372 56202 | 16232 16114 22 | 0.000 % |
101.36/101.59 c | 668119 | 1359 6372 56202 | 16232 14796 22 | 0.000 % |
101.56/101.78 c | 669277 | 1359 6372 56202 | 16232 15954 22 | 0.000 % |
101.76/101.99 c | 670551 | 1359 6372 56202 | 14305 12794 21 | 0.000 % |
101.96/102.20 c | 671951 | 1359 6372 56202 | 14305 14194 21 | 0.000 % |
102.26/102.45 c | 673491 | 1359 6372 56202 | 14305 14010 21 | 0.000 % |
102.46/102.66 c | 675185 | 1359 6372 56202 | 14305 13999 21 | 0.001 % |
102.76/102.90 c | 677049 | 1359 6372 56202 | 14305 14285 21 | 0.000 % |
103.06/103.24 c | 679098 | 1359 6372 56202 | 14305 13249 20 | 0.000 % |
103.26/103.50 c | 681351 | 1359 6372 56202 | 14151 13992 21 | 0.001 % |
103.66/103.83 c | 683829 | 1359 6372 56202 | 14151 13622 23 | 0.000 % |
104.06/104.23 c | 686556 | 1359 6372 56202 | 14151 13506 23 | 0.000 % |
104.46/104.61 c | 689553 | 1359 6372 56202 | 14151 13657 24 | 0.000 % |
104.86/105.09 c | 692849 | 1358 5715 50538 | 2147483647 14110 26 | 0.074 % |
105.46/105.68 c | 696474 | 1358 5715 50538 | 2147483647 17735 27 | 0.074 % |
106.36/106.54 c | 700461 | 1358 5715 50538 | 21265 18216 26 | 0.074 % |
107.06/107.28 c | 704846 | 1358 5715 50538 | 21265 18612 26 | 0.074 % |
107.97/108.17 c | 709670 | 1358 5715 50538 | 21265 19732 26 | 0.074 % |
109.17/109.30 c | 714978 | 1358 5715 50538 | 20062 18084 26 | 0.074 % |
110.47/110.67 c | 720813 | 1358 5715 50538 | 19110 15838 22 | 0.074 % |
111.57/111.74 c | 727233 | 1358 5715 50538 | 19110 17945 22 | 0.074 % |
111.57/111.76 c | 727334 | 1358 5715 50538 | 19110 18046 22 | 0.074 % |
111.57/111.78 c | 727444 | 1358 5715 50538 | 19110 18156 22 | 0.074 % |
111.66/111.80 c | 727565 | 1358 5715 50538 | 19110 18277 22 | 0.074 % |
111.66/111.84 c | 727700 | 1358 5715 50538 | 19110 18412 22 | 0.074 % |
111.66/111.86 c | 727846 | 1358 5715 50538 | 19110 18558 22 | 0.074 % |
111.66/111.89 c | 728006 | 1358 5715 50538 | 19110 18718 22 | 0.074 % |
111.76/111.92 c | 728182 | 1358 5715 50538 | 19110 18894 22 | 0.074 % |
111.76/111.96 c | 728375 | 1358 5715 50538 | 19110 19087 22 | 0.074 % |
111.86/112.00 c | 728587 | 1358 5715 50538 | 19110 15367 21 | 0.074 % |
111.86/112.03 c | 728822 | 1358 5715 50538 | 19110 15602 21 | 0.074 % |
111.86/112.06 c | 729078 | 1358 5715 50538 | 19110 15858 21 | 0.074 % |
111.97/112.12 c | 729360 | 1358 5715 50538 | 19110 16140 21 | 0.074 % |
111.97/112.18 c | 729671 | 1358 5715 50538 | 19110 16451 21 | 0.074 % |
112.07/112.24 c | 730011 | 1358 5715 50538 | 16780 16791 21 | 0.074 % |
112.16/112.30 c | 730383 | 1358 5715 50538 | 16780 13765 21 | 0.074 % |
112.16/112.36 c | 730793 | 1358 5715 50538 | 16780 14175 21 | 0.074 % |
112.26/112.41 c | 731242 | 1358 5715 50538 | 16780 14624 22 | 0.074 % |
112.26/112.49 c | 731736 | 1358 5715 50538 | 16780 15118 22 | 0.074 % |
112.36/112.55 c | 732278 | 1358 5715 50538 | 16780 15660 22 | 0.074 % |
112.46/112.62 c | 732874 | 1358 5715 50538 | 16780 16256 22 | 0.074 % |
112.56/112.72 c | 733529 | 1358 5715 50538 | 16780 14237 22 | 0.074 % |
112.66/112.84 c | 734254 | 1358 5715 50538 | 16780 14962 22 | 0.074 % |
112.76/112.94 c | 735046 | 1358 5715 50538 | 16780 15754 23 | 0.074 % |
112.86/113.04 c | 735917 | 1358 5715 50538 | 16780 16625 23 | 0.074 % |
112.96/113.19 c | 736875 | 1358 5715 50538 | 16780 15005 23 | 0.074 % |
113.17/113.35 c | 737928 | 1358 5715 50538 | 16780 16058 24 | 0.074 % |
113.36/113.53 c | 739086 | 1358 5715 50538 | 16780 14715 24 | 0.074 % |
113.56/113.77 c | 740362 | 1358 5715 50538 | 15629 13671 24 | 0.074 % |
113.76/113.97 c | 741764 | 1358 5715 50538 | 15629 15073 24 | 0.074 % |
114.06/114.23 c | 743305 | 1358 5715 50538 | 15629 14729 23 | 0.074 % |
114.36/114.51 c | 744999 | 1358 5715 50538 | 15629 14541 23 | 0.074 % |
114.66/114.81 c | 746863 | 1358 5715 50538 | 15629 14562 21 | 0.074 % |
114.96/115.14 c | 748912 | 1358 5715 50538 | 15629 14650 21 | 0.074 % |
115.26/115.48 c | 751165 | 1358 5715 50538 | 13662 12989 22 | 0.074 % |
115.66/115.85 c | 753643 | 1358 5715 50538 | 13662 12297 23 | 0.074 % |
116.06/116.27 c | 756368 | 1358 5715 50538 | 13662 13575 25 | 0.074 % |
116.56/116.73 c | 759365 | 1358 5715 50538 | 13662 13623 26 | 0.074 % |
116.96/117.18 c | 762661 | 1358 5715 50538 | 12799 12810 24 | 0.074 % |
117.56/117.71 c | 766286 | 1358 5715 50538 | 12799 12582 23 | 0.074 % |
118.06/118.28 c | 770273 | 1358 5715 50538 | 2147483647 12708 22 | 0.074 % |
118.86/119.06 c | 774658 | 1358 5715 50538 | 2147483647 17093 22 | 0.074 % |
119.76/119.95 c | 779481 | 1358 5715 50538 | 2147483647 21916 23 | 0.074 % |
120.86/121.07 c | 784786 | 1358 5715 50538 | 22435 17318 22 | 0.074 % |
122.05/122.21 c | 790622 | 1358 5715 50538 | 17083 13557 21 | 0.074 % |
122.96/123.11 c | 797040 | 1358 5715 50538 | 17083 16803 23 | 0.074 % |
123.95/124.11 c | 804099 | 1358 5715 50538 | 16832 15761 26 | 0.074 % |
123.95/124.14 c | 804199 | 1358 5715 50538 | 16832 15861 26 | 0.074 % |
123.95/124.16 c | 804309 | 1358 5715 50538 | 16832 15971 26 | 0.074 % |
123.95/124.19 c | 804430 | 1358 5715 50538 | 16832 16092 26 | 0.074 % |
124.06/124.22 c | 804564 | 1358 5715 50538 | 16832 16226 26 | 0.074 % |
124.06/124.24 c | 804710 | 1358 5715 50538 | 16832 16372 26 | 0.074 % |
124.06/124.26 c | 804871 | 1358 5715 50538 | 16832 16533 26 | 0.074 % |
124.06/124.29 c | 805047 | 1358 5715 50538 | 16832 16709 26 | 0.074 % |
124.16/124.33 c | 805240 | 1358 5715 50538 | 16832 14409 24 | 0.074 % |
124.16/124.35 c | 805454 | 1358 5715 50538 | 16832 14623 24 | 0.074 % |
124.16/124.39 c | 805689 | 1358 5715 50538 | 16832 14858 24 | 0.074 % |
124.25/124.42 c | 805946 | 1358 5715 50538 | 16832 15115 24 | 0.074 % |
124.25/124.45 c | 806229 | 1358 5715 50538 | 16832 15398 24 | 0.074 % |
124.35/124.50 c | 806538 | 1358 5715 50538 | 16832 15707 24 | 0.074 % |
124.35/124.55 c | 806877 | 1358 5715 50538 | 16832 16046 24 | 0.074 % |
124.45/124.60 c | 807250 | 1358 5715 50538 | 16832 16419 24 | 0.074 % |
124.45/124.67 c | 807659 | 1358 5715 50538 | 16832 16828 24 | 0.074 % |
124.55/124.74 c | 808110 | 1358 5715 50538 | 16832 14924 23 | 0.074 % |
124.65/124.81 c | 808604 | 1358 5715 50538 | 16832 15418 23 | 0.074 % |
124.75/124.91 c | 809146 | 1358 5715 50538 | 16832 15960 23 | 0.074 % |
124.85/125.00 c | 809743 | 1358 5715 50538 | 16832 16557 24 | 0.074 % |
124.95/125.10 c | 810399 | 1358 5715 50538 | 16814 14820 23 | 0.074 % |
125.05/125.21 c | 811119 | 1358 5715 50538 | 16814 15540 23 | 0.074 % |
125.16/125.33 c | 811912 | 1358 5715 50538 | 16814 16333 23 | 0.074 % |
125.25/125.46 c | 812784 | 1358 5715 50538 | 16814 14878 23 | 0.074 % |
125.45/125.63 c | 813742 | 1358 5715 50538 | 16814 15836 23 | 0.074 % |
125.65/125.80 c | 814795 | 1358 5715 50538 | 16814 14458 23 | 0.074 % |
125.85/126.01 c | 815953 | 1358 5715 50538 | 16814 15616 23 | 0.074 % |
126.05/126.28 c | 817228 | 1358 5715 50538 | 16814 14270 22 | 0.074 % |
126.25/126.48 c | 818628 | 1358 5715 50538 | 16814 15670 22 | 0.074 % |
126.55/126.80 c | 820170 | 1358 5715 50538 | 14328 12173 20 | 0.074 % |
126.85/127.02 c | 821867 | 1358 5715 50538 | 14328 13870 20 | 0.074 % |
127.15/127.31 c | 823730 | 1358 5715 50538 | 14328 13753 19 | 0.074 % |
127.45/127.65 c | 825780 | 1358 5715 50538 | 14328 13910 19 | 0.074 % |
127.75/127.92 c | 828033 | 1358 5715 50538 | 14328 14183 20 | 0.074 % |
128.05/128.24 c | 830512 | 1358 5715 50538 | 14448 13296 21 | 0.074 % |
128.45/128.65 c | 833237 | 1358 5715 50538 | 14448 14385 22 | 0.074 % |
128.85/129.04 c | 836234 | 1358 5715 50538 | 14448 14325 24 | 0.074 % |
129.35/129.53 c | 839530 | 1358 5715 50538 | 14448 13087 24 | 0.074 % |
129.85/130.06 c | 843156 | 1358 5715 50538 | 13557 12610 24 | 0.074 % |
130.35/130.58 c | 847146 | 1358 5715 50538 | 13557 12505 23 | 0.074 % |
131.05/131.28 c | 851532 | 1358 5715 50538 | 2147483647 14162 27 | 0.074 % |
131.95/132.18 c | 856355 | 1358 5715 50538 | 2147483647 18985 26 | 0.074 % |
132.85/133.05 c | 861661 | 1358 5715 50538 | 22631 20872 27 | 0.074 % |
134.05/134.29 c | 867496 | 1358 5715 50538 | 22631 22330 25 | 0.074 % |
135.65/135.86 c | 873916 | 1358 5715 50538 | 20095 19634 25 | 0.074 % |
137.15/137.30 c | 880977 | 1358 5715 50538 | 15870 13019 21 | 0.074 % |
138.35/138.60 c | 888741 | 1358 5715 50538 | 15870 14802 21 | 0.074 % |
138.45/138.61 c | 888842 | 1358 5715 50538 | 15870 14903 21 | 0.074 % |
138.45/138.64 c | 888953 | 1358 5715 50538 | 15870 15014 21 | 0.074 % |
138.45/138.65 c | 889075 | 1358 5715 50538 | 15870 15136 21 | 0.074 % |
138.45/138.67 c | 889208 | 1358 5715 50538 | 15870 15269 21 | 0.074 % |
138.45/138.69 c | 889354 | 1358 5715 50538 | 15870 15415 21 | 0.074 % |
138.55/138.71 c | 889515 | 1358 5715 50538 | 15870 15576 21 | 0.074 % |
138.55/138.74 c | 889691 | 1358 5715 50538 | 15870 15752 21 | 0.074 % |
138.55/138.77 c | 889884 | 1358 5715 50538 | 15870 15945 21 | 0.074 % |
138.65/138.81 c | 890097 | 1358 5715 50538 | 13238 13333 20 | 0.074 % |
138.65/138.84 c | 890330 | 1358 5715 50538 | 13238 11250 19 | 0.074 % |
138.65/138.87 c | 890586 | 1358 5715 50538 | 13238 11506 19 | 0.074 % |
138.65/138.89 c | 890867 | 1358 5715 50538 | 13238 11787 19 | 0.074 % |
138.75/138.92 c | 891176 | 1358 5715 50538 | 13238 12096 20 | 0.074 % |
138.75/138.96 c | 891515 | 1358 5715 50538 | 13238 12435 20 | 0.074 % |
138.75/139.00 c | 891888 | 1358 5715 50538 | 13238 12808 20 | 0.074 % |
138.85/139.04 c | 892297 | 1358 5715 50538 | 13238 13217 20 | 0.074 % |
138.85/139.10 c | 892746 | 1358 5715 50538 | 13238 12274 20 | 0.074 % |
138.94/139.16 c | 893244 | 1358 5715 50538 | 13238 12772 20 | 0.074 % |
139.04/139.23 c | 893790 | 1358 5715 50538 | 13238 11989 20 | 0.074 % |
139.04/139.29 c | 894386 | 1358 5715 50538 | 13238 12585 20 | 0.074 % |
139.14/139.38 c | 895042 | 1358 5715 50538 | 13238 13241 20 | 0.074 % |
139.24/139.46 c | 895762 | 1358 5715 50538 | 13238 12637 21 | 0.074 % |
139.34/139.57 c | 896554 | 1358 5715 50538 | 13238 12098 21 | 0.074 % |
139.45/139.67 c | 897425 | 1358 5715 50538 | 13238 12969 22 | 0.074 % |
139.54/139.79 c | 898383 | 1358 5715 50538 | 13238 12592 23 | 0.074 % |
139.74/139.93 c | 899437 | 1358 5715 50538 | 13238 12314 23 | 0.074 % |
139.84/140.04 c | 900596 | 1358 5715 50538 | 2147483647 13473 23 | 0.074 % |
140.04/140.24 c | 901869 | 1358 5715 50538 | 2147483647 14746 23 | 0.074 % |
140.24/140.48 c | 903273 | 1358 5715 50538 | 2147483647 16150 23 | 0.074 % |
140.54/140.77 c | 904814 | 1358 5715 50538 | 2147483647 17691 23 | 0.074 % |
140.94/141.13 c | 906508 | 1358 5715 50538 | 2147483647 19385 23 | 0.074 % |
141.34/141.54 c | 908372 | 1358 5715 50538 | 2147483647 21249 23 | 0.074 % |
141.64/141.88 c | 910422 | 1358 5715 50538 | 22877 19469 23 | 0.074 % |
142.14/142.31 c | 912676 | 1358 5715 50538 | 22877 21723 24 | 0.074 % |
142.64/142.83 c | 915154 | 1358 5715 50538 | 22877 19701 22 | 0.074 % |
143.14/143.35 c | 917880 | 1358 5715 50538 | 22877 22427 23 | 0.074 % |
143.74/143.99 c | 920877 | 1358 5715 50538 | 19628 16338 24 | 0.074 % |
144.54/144.70 c | 924175 | 1358 5715 50538 | 19628 19636 25 | 0.074 % |
145.24/145.46 c | 927800 | 1358 5715 50538 | 19628 19286 25 | 0.074 % |
145.84/146.08 c | 931789 | 1358 5715 50538 | 17361 15653 24 | 0.074 % |
146.54/146.80 c | 936174 | 1358 5715 50538 | 17361 17039 24 | 0.074 % |
147.44/147.68 c | 940998 | 1358 5715 50538 | 14828 13322 22 | 0.074 % |
148.34/148.58 c | 946304 | 1358 5715 50538 | 14828 14634 23 | 0.074 % |
149.44/149.61 c | 952139 | 1358 5715 50538 | 14371 12683 21 | 0.074 % |
150.34/150.53 c | 958558 | 1358 5715 50538 | 14371 13782 23 | 0.074 % |
151.23/151.48 c | 965618 | 1358 5715 50538 | 13562 12291 22 | 0.074 % |
152.43/152.68 c | 973382 | 1358 5715 50538 | 2147483647 15966 20 | 0.074 % |
153.84/154.02 c | 981923 | 1357 5059 44176 | 11589 10647 23 | 0.148 % |
153.84/154.04 c | 982023 | 1357 5059 44176 | 11589 10747 24 | 0.147 % |
153.84/154.05 c | 982134 | 1357 5059 44176 | 11589 10858 24 | 0.148 % |
153.84/154.07 c | 982255 | 1357 5059 44176 | 11589 10979 24 | 0.147 % |
153.84/154.09 c | 982388 | 1357 5059 44176 | 11589 11112 24 | 0.147 % |
153.93/154.10 c | 982536 | 1357 5059 44176 | 11589 11260 24 | 0.147 % |
153.93/154.12 c | 982697 | 1357 5059 44176 | 11589 11421 24 | 0.147 % |
153.93/154.14 c | 982873 | 1357 5059 44176 | 11589 11597 24 | 0.147 % |
153.93/154.17 c | 983067 | 1357 5059 44176 | 11589 10492 23 | 0.147 % |
153.93/154.19 c | 983279 | 1357 5059 44176 | 11589 10704 23 | 0.148 % |
154.03/154.22 c | 983512 | 1357 5059 44176 | 11589 10937 24 | 0.147 % |
154.03/154.24 c | 983769 | 1357 5059 44176 | 11589 11194 24 | 0.147 % |
154.03/154.28 c | 984053 | 1357 5059 44176 | 11589 11478 24 | 0.147 % |
154.13/154.33 c | 984362 | 1357 5059 44176 | 11589 10569 24 | 0.147 % |
154.13/154.36 c | 984701 | 1357 5059 44176 | 11589 10908 25 | 0.147 % |
154.23/154.41 c | 985075 | 1357 5059 44176 | 11589 11282 25 | 0.147 % |
154.23/154.45 c | 985486 | 1357 5059 44176 | 11589 11693 25 | 0.147 % |
154.33/154.50 c | 985935 | 1357 5059 44176 | 11589 10973 24 | 0.147 % |
154.33/154.56 c | 986429 | 1357 5059 44176 | 11589 11467 24 | 0.147 % |
154.43/154.63 c | 986971 | 1357 5059 44176 | 11589 10844 22 | 0.147 % |
154.53/154.71 c | 987567 | 1357 5059 44176 | 11589 11440 23 | 0.147 % |
154.53/154.78 c | 988222 | 1357 5059 44176 | 11589 10929 22 | 0.148 % |
154.63/154.86 c | 988942 | 1357 5059 44176 | 11589 11649 22 | 0.147 % |
154.73/154.95 c | 989734 | 1357 5059 44176 | 11589 11277 22 | 0.147 % |
154.83/155.05 c | 990605 | 1357 5059 44176 | 2147483647 12148 22 | 0.147 % |
154.93/155.16 c | 991563 | 1357 5059 44176 | 2147483647 13106 23 | 0.147 % |
155.13/155.32 c | 992616 | 1357 5059 44176 | 2147483647 14159 23 | 0.147 % |
155.23/155.49 c | 993774 | 1357 5059 44176 | 2147483647 15317 23 | 0.147 % |
155.53/155.70 c | 995049 | 1357 5059 44176 | 2147483647 16592 24 | 0.147 % |
155.73/155.97 c | 996449 | 1357 5059 44176 | 2147483647 17992 24 | 0.148 % |
156.03/156.24 c | 997989 | 1357 5059 44176 | 2147483647 19532 24 | 0.147 % |
156.43/156.64 c | 999683 | 1357 5059 44176 | 2147483647 21226 24 | 0.147 % |
156.83/157.03 c | 1001547 | 1357 5059 44176 | 21543 19704 23 | 0.147 % |
157.13/157.37 c | 1003596 | 1357 5059 44176 | 21543 17747 22 | 0.148 % |
157.73/157.92 c | 1005850 | 1357 5059 44176 | 21543 20001 22 | 0.147 % |
158.33/158.55 c | 1008328 | 1357 5059 44176 | 21543 17943 20 | 0.147 % |
159.03/159.27 c | 1011054 | 1357 5059 44176 | 19615 16377 20 | 0.147 % |
159.53/159.71 c | 1014052 | 1357 5059 44176 | 19615 19375 22 | 0.147 % |
160.23/160.43 c | 1017348 | 1357 5059 44176 | 19615 18598 21 | 0.147 % |
160.72/160.97 c | 1020973 | 1357 5059 44176 | 17185 14770 22 | 0.147 % |
161.32/161.55 c | 1024963 | 1357 5059 44176 | 17185 15920 22 | 0.147 % |
162.02/162.26 c | 1029348 | 1357 5059 44176 | 17185 14803 24 | 0.147 % |
162.72/162.97 c | 1034172 | 1357 5059 44176 | 15455 15336 23 | 0.147 % |
163.73/163.96 c | 1039480 | 1357 5059 44176 | 15455 14561 22 | 0.147 % |
164.83/165.04 c | 1045316 | 1357 5059 44176 | 15083 13396 20 | 0.147 % |
165.72/165.94 c | 1051735 | 1357 5059 44176 | 13794 13695 20 | 0.147 % |
166.82/167.07 c | 1058794 | 1357 5059 44176 | 13794 13742 21 | 0.147 % |
168.22/168.41 c | 1066559 | 1357 5059 44176 | 13567 12721 19 | 0.147 % |
169.23/169.43 c | 1075099 | 1357 5059 44176 | 13099 12890 23 | 0.147 % |
170.52/170.70 c | 1084493 | 1357 5059 44176 | 2147483647 17018 23 | 0.148 % |
170.52/170.72 c | 1084596 | 1357 5059 44176 | 2147483647 17121 23 | 0.147 % |
170.52/170.74 c | 1084706 | 1357 5059 44176 | 2147483647 17231 23 | 0.147 % |
170.52/170.76 c | 1084827 | 1357 5059 44176 | 2147483647 17352 23 | 0.147 % |
170.52/170.78 c | 1084961 | 1357 5059 44176 | 2147483647 17486 23 | 0.147 % |
170.62/170.80 c | 1085108 | 1357 5059 44176 | 2147483647 17633 23 | 0.147 % |
170.62/170.83 c | 1085268 | 1357 5059 44176 | 2147483647 17793 23 | 0.147 % |
170.62/170.87 c | 1085446 | 1357 5059 44176 | 2147483647 17971 23 | 0.147 % |
170.62/170.89 c | 1085639 | 1357 5059 44176 | 2147483647 18164 23 | 0.147 % |
170.72/170.93 c | 1085852 | 1357 5059 44176 | 2147483647 18377 23 | 0.147 % |
170.72/170.98 c | 1086087 | 1357 5059 44176 | 2147483647 18612 23 | 0.147 % |
170.82/171.02 c | 1086345 | 1357 5059 44176 | 2147483647 18870 23 | 0.147 % |
170.82/171.08 c | 1086626 | 1357 5059 44176 | 2147483647 19151 23 | 0.147 % |
170.92/171.13 c | 1086935 | 1357 5059 44176 | 2147483647 19460 23 | 0.147 % |
170.92/171.18 c | 1087274 | 1357 5059 44176 | 2147483647 19799 23 | 0.147 % |
171.02/171.25 c | 1087646 | 1357 5059 44176 | 2147483647 20171 23 | 0.147 % |
171.12/171.32 c | 1088055 | 1357 5059 44176 | 2147483647 20580 23 | 0.147 % |
171.22/171.43 c | 1088505 | 1357 5059 44176 | 2147483647 21030 23 | 0.147 % |
171.32/171.54 c | 1088998 | 1357 5059 44176 | 2147483647 21523 23 | 0.147 % |
171.42/171.62 c | 1089540 | 1357 5059 44176 | 2147483647 22065 23 | 0.147 % |
171.52/171.78 c | 1090136 | 1357 5059 44176 | 22525 19287 22 | 0.147 % |
171.72/171.91 c | 1090791 | 1357 5059 44176 | 22525 19942 22 | 0.147 % |
171.82/172.06 c | 1091511 | 1357 5059 44176 | 22525 20662 22 | 0.147 % |
172.02/172.25 c | 1092304 | 1357 5059 44176 | 22525 21455 22 | 0.147 % |
172.22/172.41 c | 1093176 | 1357 5059 44176 | 22525 22327 22 | 0.148 % |
172.32/172.59 c | 1094135 | 1357 5059 44176 | 22525 19040 21 | 0.147 % |
172.52/172.77 c | 1095190 | 1357 5059 44176 | 22525 20095 21 | 0.147 % |
172.72/172.94 c | 1096348 | 1357 5059 44176 | 22525 21253 21 | 0.147 % |
172.92/173.17 c | 1097622 | 1357 5059 44176 | 22525 22527 22 | 0.147 % |
173.22/173.47 c | 1099022 | 1357 5059 44176 | 22525 19547 21 | 0.147 % |
173.62/173.81 c | 1100563 | 1356 4380 36933 | 14766 12328 22 | 0.221 % |
173.82/174.03 c | 1102258 | 1356 4380 36933 | 14766 14023 22 | 0.221 % |
174.02/174.28 c | 1104121 | 1356 4380 36933 | 14766 13874 22 | 0.221 % |
174.32/174.59 c | 1106172 | 1356 4380 36933 | 14766 14273 21 | 0.221 % |
174.72/174.94 c | 1108428 | 1356 4380 36933 | 14766 13481 20 | 0.221 % |
175.02/175.29 c | 1110907 | 1356 4380 36933 | 13516 12984 21 | 0.221 % |
175.42/175.70 c | 1113632 | 1356 4380 36933 | 13516 12994 22 | 0.221 % |
175.92/176.15 c | 1116629 | 1356 4380 36933 | 13516 13273 23 | 0.221 % |
176.62/176.84 c | 1119926 | 1356 4380 36933 | 13516 12462 23 | 0.221 % |
177.22/177.48 c | 1123552 | 1356 4380 36933 | 12536 11979 22 | 0.221 % |
177.72/177.92 c | 1127539 | 1356 4380 36933 | 12536 12162 22 | 0.221 % |
178.32/178.52 c | 1131925 | 1356 4380 36933 | 2147483647 14025 22 | 0.221 % |
179.12/179.35 c | 1136748 | 1356 4380 36933 | 2147483647 18848 22 | 0.221 % |
180.31/180.52 c | 1142053 | 1356 4380 36933 | 22101 20722 22 | 0.221 % |
181.32/181.60 c | 1147889 | 1356 4380 36933 | 22101 17781 21 | 0.221 % |
182.51/182.78 c | 1154309 | 1356 4380 36933 | 19895 16510 22 | 0.221 % |
183.91/184.18 c | 1161368 | 1356 4380 36933 | 18571 16576 22 | 0.221 % |
185.31/185.57 c | 1169132 | 1356 4380 36933 | 18571 17648 22 | 0.221 % |
186.82/187.08 c | 1177673 | 1356 4380 36933 | 18517 16622 20 | 0.221 % |
188.31/188.57 c | 1187070 | 1356 4380 36933 | 16067 15696 19 | 0.223 % |
190.31/190.53 c | 1197403 | 1355 3693 28880 | 2147483647 19187 22 | 0.294 % |
190.31/190.55 c | 1197503 | 1355 3693 28880 | 2147483647 19287 22 | 0.294 % |
190.31/190.58 c | 1197617 | 1355 3693 28880 | 2147483647 19401 22 | 0.294 % |
190.41/190.62 c | 1197738 | 1355 3693 28880 | 2147483647 19522 22 | 0.294 % |
190.41/190.65 c | 1197871 | 1355 3693 28880 | 2147483647 19655 22 | 0.294 % |
190.41/190.69 c | 1198017 | 1355 3693 28880 | 2147483647 19801 22 | 0.294 % |
190.51/190.74 c | 1198177 | 1355 3693 28880 | 2147483647 19961 22 | 0.295 % |
190.51/190.80 c | 1198354 | 1355 3693 28880 | 2147483647 20138 22 | 0.294 % |
190.61/190.85 c | 1198547 | 1355 3693 28880 | 2147483647 20331 22 | 0.294 % |
190.71/190.90 c | 1198759 | 1355 3693 28880 | 2147483647 20543 22 | 0.294 % |
190.71/190.97 c | 1198992 | 1355 3693 28880 | 2147483647 20776 22 | 0.294 % |
190.81/191.03 c | 1199249 | 1355 3693 28880 | 2147483647 21033 22 | 0.294 % |
190.91/191.11 c | 1199533 | 1355 3693 28880 | 2147483647 21317 22 | 0.294 % |
191.01/191.20 c | 1199842 | 1355 3693 28880 | 2147483647 21626 22 | 0.294 % |
191.01/191.30 c | 1200183 | 1355 3693 28880 | 21784 17815 21 | 0.294 % |
191.21/191.40 c | 1200556 | 1355 3693 28880 | 21784 18188 21 | 0.294 % |
191.21/191.47 c | 1200968 | 1355 3693 28880 | 21784 18600 21 | 0.294 % |
191.31/191.57 c | 1201417 | 1355 3693 28880 | 21784 19049 22 | 0.294 % |
191.41/191.69 c | 1201912 | 1355 3693 28880 | 21784 19544 22 | 0.294 % |
191.61/191.81 c | 1202454 | 1355 3693 28880 | 21784 20086 22 | 0.294 % |
191.81/192.03 c | 1203050 | 1355 3693 28880 | 21784 20682 22 | 0.294 % |
192.01/192.21 c | 1203705 | 1355 3693 28880 | 21784 21337 22 | 0.294 % |
192.21/192.43 c | 1204426 | 1355 3693 28880 | 21784 16843 20 | 0.294 % |
192.31/192.58 c | 1205219 | 1355 3693 28880 | 21784 17636 20 | 0.294 % |
192.51/192.73 c | 1206090 | 1355 3693 28880 | 21784 18507 20 | 0.294 % |
192.81/193.01 c | 1207048 | 1355 3693 28880 | 21784 19465 20 | 0.294 % |
193.01/193.26 c | 1208101 | 1355 3693 28880 | 21784 20518 20 | 0.294 % |
193.20/193.48 c | 1209260 | 1355 3693 28880 | 21784 21677 20 | 0.294 % |
193.60/193.83 c | 1210533 | 1355 3693 28880 | 17168 13573 17 | 0.294 % |
193.80/194.07 c | 1211933 | 1355 3693 28880 | 17168 14973 18 | 0.294 % |
194.20/194.40 c | 1213476 | 1355 3693 28880 | 17168 16516 18 | 0.294 % |
194.51/194.71 c | 1215171 | 1353 2977 20219 | 17168 10929 17 | 0.442 % |
194.81/195.05 c | 1217034 | 1353 2977 20219 | 17168 12792 17 | 0.442 % |
195.00/195.22 c ===============================================================================
195.00/195.22 c restarts : 1309
195.00/195.22 c conflicts : 1217958 (6248 /sec)
195.00/195.22 c decisions : 3586887 (1.94 % random) (18400 /sec)
195.00/195.22 c propagations : 44488746 (228222 /sec)
195.00/195.22 c conflict literals : 34243327 (19.96 % deleted)
195.00/195.22 c Memory used : 8.02 MB
195.00/195.22 c CPU time : 194.936 s
195.00/195.22 c
195.00/195.22 s UNSATISFIABLE
195.00/195.23 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832163-1242769947/watcher-1832163-1242769947 -o /tmp/evaluation-result-1832163-1242769947/solver-1832163-1242769947 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832163-1242769947.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 1.00 1.00 3/65 28636
/proc/meminfo: memFree=1898104/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0
/proc/28636/stat : 28636 (SatELiteGTI) R 28634 28636 28415 0 -1 4194304 283 249 0 0 0 0 0 0 18 0 1 0 305025070 5484544 236 1992294400 4194304 4889804 548682068832 18446744073709551615 4371217 0 0 4100 65536 0 0 0 17 0 0 0
/proc/28636/statm: 1339 236 196 169 0 50 0
[startup+0.0175109 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28636
/proc/meminfo: memFree=1898104/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305025070 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28636/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101529 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28636
/proc/meminfo: memFree=1898104/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356
[startup+0.301567 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28636
/proc/meminfo: memFree=1898104/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356
[startup+0.701647 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 28636
/proc/meminfo: memFree=1898104/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5356
[startup+1.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1895080/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=4564 CPUtime=1.4
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 857 0 0 0 140 0 0 0 25 0 1 0 305025078 4673536 843 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 1141 843 77 171 0 968 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9920
[startup+3.10111 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1893672/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=5884 CPUtime=3
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1177 0 0 0 300 0 0 0 25 0 1 0 305025078 6025216 1163 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 1471 1163 77 171 0 1298 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11240
[startup+6.30174 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1892840/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=6016 CPUtime=6.19
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1194 0 0 0 619 0 0 0 25 0 1 0 305025078 6160384 1180 1992294400 134512640 135215339 4294956240 18446744073709551615 134538059 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 1504 1180 77 171 0 1331 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11372
[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1892720/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=6016 CPUtime=12.59
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1200 0 0 0 1259 0 0 0 25 0 1 0 305025078 6160384 1186 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 1504 1186 77 171 0 1331 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 11372
[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1892464/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=6296 CPUtime=25.37
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1264 0 0 0 2536 1 0 0 25 0 1 0 305025078 6447104 1250 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 1574 1250 77 171 0 1401 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 11652
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1891888/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=6692 CPUtime=50.94
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1392 0 0 0 5092 2 0 0 25 0 1 0 305025078 6852608 1378 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 1673 1378 77 171 0 1500 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 12048
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1891120/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=7360 CPUtime=102.09
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1553 0 0 0 10207 2 0 0 25 0 1 0 305025078 7536640 1539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 1840 1539 77 171 0 1667 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 12716
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1890416/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=7904 CPUtime=162.05
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1693 0 0 0 16202 3 0 0 25 0 1 0 305025078 8093696 1679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 1976 1679 77 171 0 1803 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 13260
Solver just ended. Dumping a history of the last processes samples
[startup+179.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1890288/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=8048 CPUtime=178.85
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1721 0 0 0 17882 3 0 0 25 0 1 0 305025078 8241152 1707 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 2012 1707 77 171 0 1839 0
Current children cumulated CPU time (s) 178.92
Current children cumulated vsize (KiB) 13404
[startup+185.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1890160/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=8208 CPUtime=185.24
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1743 0 0 0 18521 3 0 0 25 0 1 0 305025078 8404992 1729 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 2052 1729 77 171 0 1879 0
Current children cumulated CPU time (s) 185.31
Current children cumulated vsize (KiB) 13564
[startup+191.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1890096/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=8208 CPUtime=191.64
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1756 0 0 0 19161 3 0 0 25 0 1 0 305025078 8404992 1742 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 2052 1742 77 171 0 1879 0
Current children cumulated CPU time (s) 191.71
Current children cumulated vsize (KiB) 13564
[startup+193.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1890032/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=8208 CPUtime=193.24
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1765 0 0 0 19321 3 0 0 25 0 1 0 305025078 8404992 1751 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 2052 1751 77 171 0 1879 0
Current children cumulated CPU time (s) 193.31
Current children cumulated vsize (KiB) 13564
[startup+194.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1890032/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=8208 CPUtime=194.03
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1765 0 0 0 19400 3 0 0 25 0 1 0 305025078 8404992 1751 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 2052 1751 77 171 0 1879 0
Current children cumulated CPU time (s) 194.1
Current children cumulated vsize (KiB) 13564
[startup+194.707 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1890032/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=8208 CPUtime=194.44
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1765 0 0 0 19441 3 0 0 25 0 1 0 305025078 8404992 1751 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 2052 1751 77 171 0 1879 0
Current children cumulated CPU time (s) 194.51
Current children cumulated vsize (KiB) 13564
[startup+195.103 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1890032/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=8208 CPUtime=194.84
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1765 0 0 0 19481 3 0 0 25 0 1 0 305025078 8404992 1751 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 2052 1751 77 171 0 1879 0
Current children cumulated CPU time (s) 194.91
Current children cumulated vsize (KiB) 13564
[startup+195.202 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 28642
/proc/meminfo: memFree=1890032/2055920 swapFree=4177008/4192956
[pid=28636] ppid=28634 vsize=5356 CPUtime=0.07
/proc/28636/stat : 28636 (SatELiteGTI) S 28634 28636 28415 0 -1 4194304 336 661 0 0 0 0 7 0 16 0 1 0 305025070 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28636/statm: 1339 239 197 169 0 50 0
[pid=28642] ppid=28636 vsize=8208 CPUtime=194.93
/proc/28642/stat : 28642 (minisat_static) R 28636 28636 28415 0 -1 4194304 1765 0 0 0 19490 3 0 0 25 0 1 0 305025078 8404992 1751 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/28642/statm: 2052 1751 77 171 0 1879 0
Current children cumulated CPU time (s) 195
Current children cumulated vsize (KiB) 13564
Child status: 20
Real time (s): 195.235
CPU time (s): 195.052
CPU user time (s): 195.01
CPU system time (s): 0.041993
CPU usage (%): 99.9062
Max. virtual memory (cumulated for all children) (KiB): 13564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 195.01
system time used= 0.041993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2924
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= 44
involuntary context switches= 2472
runsolver used 0.232964 second user time and 0.608907 second system time
The end
Begin job on node77 at 2009-05-19 23:52:27
IDJOB=1832163
IDBENCH=24598
IDSOLVER=671
FILE ID=node77/1832163-1242769947
PBS_JOBID= 9322226
Free space on /tmp= 66212 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Medium/contest05/others/QG-gensys-icl003.sat05-2715.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832163-1242769947/watcher-1832163-1242769947 -o /tmp/evaluation-result-1832163-1242769947/solver-1832163-1242769947 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832163-1242769947.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ddc67b9b869c1d77b5458996a2e27751
RANDOM SEED=710630803
node77.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.270
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.270
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1898648 kB
Buffers: 12220 kB
Cached: 106100 kB
SwapCached: 10200 kB
Active: 32152 kB
Inactive: 98048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1898648 kB
SwapTotal: 4192956 kB
SwapFree: 4177008 kB
Dirty: 1896 kB
Writeback: 0 kB
Mapped: 17012 kB
Slab: 13128 kB
Committed_AS: 1066452 kB
PageTables: 1384 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= 66212 MiB
End job on node77 at 2009-05-19 23:55:42