0.00/0.00 c Parsing...
0.00/0.00 c ==============================================================================
0.00/0.00 c | | ORIGINAL | LEARNT | |
0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.00 c ==============================================================================
0.00/0.00 c | 0 | 1615 4845 | 484 0 0 nan | 0.000 % |
0.00/0.01 c | 0 | 1609 4855 | -- 0 -- -- | -- | -6/10
0.00/0.01 c ==============================================================================
0.00/0.01 c Result : #vars: 374 #clauses: 1609 #literals: 4855
0.00/0.01 c CPU time: 0.003999 s
0.00/0.01 c ==============================================================================
0.00/0.01 c This is MiniSat 2.0 beta
0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01 c ============================[ Problem Statistics ]=============================
0.00/0.01 c | |
0.00/0.01 c | Number of variables: 374 |
0.00/0.01 c | Number of clauses: 1609 |
0.00/0.01 c | Parsing time: 0.00 s |
0.00/0.01 c ============================[ Search Statistics ]==============================
0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.01 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.01 c ===============================================================================
0.00/0.01 c | 0 | 374 1609 4855 | 536 0 nan | 0.000 % |
0.00/0.01 c | 102 | 374 1609 4855 | 536 102 19 | 0.001 % |
0.00/0.02 c | 205 | 374 1609 4855 | 536 205 18 | 0.001 % |
0.00/0.02 c | 305 | 374 1609 4855 | 536 305 18 | 0.001 % |
0.00/0.02 c | 416 | 374 1609 4855 | 536 416 19 | 0.001 % |
0.00/0.03 c | 517 | 374 1609 4855 | 536 517 19 | 0.001 % |
0.00/0.03 c | 627 | 374 1609 4855 | 536 571 19 | 0.001 % |
0.00/0.03 c | 749 | 374 1609 4855 | 536 580 19 | 0.001 % |
0.00/0.04 c | 853 | 374 1609 4855 | 536 569 18 | 0.001 % |
0.00/0.04 c | 964 | 374 1609 4855 | 536 514 18 | 0.001 % |
0.00/0.04 c | 1085 | 374 1609 4855 | 536 526 18 | 0.001 % |
0.00/0.05 c | 1218 | 374 1609 4855 | 536 546 18 | 0.001 % |
0.00/0.05 c | 1319 | 374 1609 4855 | 536 539 17 | 0.001 % |
0.00/0.05 c | 1429 | 374 1609 4855 | 536 540 17 | 0.001 % |
0.00/0.06 c | 1550 | 374 1609 4855 | 536 552 18 | 0.001 % |
0.00/0.06 c | 1683 | 374 1609 4855 | 536 574 17 | 0.001 % |
0.00/0.07 c | 1829 | 374 1609 4855 | 536 551 16 | 0.001 % |
0.00/0.07 c | 1929 | 374 1609 4855 | 536 540 16 | 0.001 % |
0.00/0.07 c | 2040 | 374 1609 4855 | 536 540 16 | 0.001 % |
0.00/0.08 c | 2162 | 374 1609 4855 | 536 554 16 | 0.001 % |
0.00/0.08 c | 2296 | 374 1609 4855 | 536 576 16 | 0.001 % |
0.00/0.09 c | 2443 | 374 1609 4855 | 536 556 16 | 0.001 % |
0.00/0.09 c | 2605 | 374 1609 4855 | 536 546 16 | 0.001 % |
0.00/0.09 c | 2706 | 374 1609 4855 | 536 537 16 | 0.001 % |
0.00/0.10 c | 2819 | 374 1609 4855 | 536 542 16 | 0.001 % |
0.00/0.10 c | 2941 | 374 1609 4855 | 536 553 16 | 0.001 % |
0.00/0.11 c | 3074 | 374 1609 4855 | 536 573 16 | 0.001 % |
0.00/0.11 c | 3221 | 374 1609 4855 | 536 550 17 | 0.001 % |
0.00/0.11 c | 3381 | 374 1609 4855 | 536 545 17 | 0.001 % |
0.00/0.12 c | 3558 | 374 1609 4855 | 536 557 16 | 0.001 % |
0.00/0.12 c | 3663 | 374 1609 4855 | 536 552 16 | 0.001 % |
0.00/0.13 c | 3775 | 374 1609 4855 | 536 553 16 | 0.001 % |
0.00/0.13 c | 3898 | 374 1609 4855 | 536 566 15 | 0.001 % |
0.00/0.14 c | 4032 | 374 1609 4855 | 536 535 15 | 0.001 % |
0.00/0.14 c | 4178 | 374 1609 4855 | 536 568 16 | 0.001 % |
0.00/0.15 c | 4338 | 374 1609 4855 | 536 560 15 | 0.001 % |
0.00/0.15 c | 4514 | 374 1609 4855 | 536 518 14 | 0.001 % |
0.00/0.16 c | 4707 | 374 1609 4855 | 536 545 15 | 0.001 % |
0.00/0.16 c | 4807 | 374 1609 4855 | 536 535 14 | 0.001 % |
0.00/0.16 c | 4918 | 374 1609 4855 | 536 535 14 | 0.001 % |
0.00/0.17 c | 5039 | 374 1609 4855 | 536 542 15 | 0.001 % |
0.00/0.17 c | 5172 | 374 1609 4855 | 536 568 16 | 0.001 % |
0.00/0.18 c | 5319 | 374 1609 4855 | 536 548 15 | 0.001 % |
0.00/0.18 c | 5479 | 374 1609 4855 | 536 545 14 | 0.001 % |
0.00/0.19 c | 5655 | 374 1609 4855 | 536 556 15 | 0.001 % |
0.00/0.19 c | 5848 | 374 1609 4855 | 536 581 15 | 0.001 % |
0.00/0.20 c | 6060 | 374 1609 4855 | 536 571 15 | 0.001 % |
0.00/0.20 c | 6160 | 374 1609 4855 | 536 558 15 | 0.001 % |
0.00/0.20 c | 6270 | 374 1609 4855 | 536 557 14 | 0.001 % |
0.00/0.21 c | 6391 | 374 1609 4855 | 536 570 14 | 0.001 % |
0.00/0.21 c | 6525 | 374 1609 4855 | 536 537 14 | 0.001 % |
0.00/0.22 c | 6671 | 374 1609 4855 | 536 521 13 | 0.001 % |
0.00/0.22 c | 6831 | 374 1609 4855 | 536 568 14 | 0.001 % |
0.00/0.23 c | 7008 | 374 1609 4855 | 536 524 14 | 0.001 % |
0.00/0.23 c | 7201 | 374 1609 4855 | 536 555 13 | 0.001 % |
0.00/0.24 c | 7414 | 374 1609 4855 | 536 549 15 | 0.001 % |
0.00/0.25 c | 7647 | 374 1609 4855 | 536 562 15 | 0.001 % |
0.00/0.25 c | 7747 | 374 1609 4855 | 536 550 15 | 0.001 % |
0.00/0.25 c | 7857 | 374 1609 4855 | 536 549 14 | 0.001 % |
0.00/0.26 c | 7978 | 374 1609 4855 | 536 563 14 | 0.001 % |
0.00/0.26 c | 8111 | 374 1609 4855 | 536 530 14 | 0.001 % |
0.00/0.27 c | 8257 | 374 1609 4855 | 536 566 14 | 0.001 % |
0.00/0.27 c | 8418 | 374 1609 4855 | 536 557 15 | 0.001 % |
0.00/0.28 c | 8594 | 374 1609 4855 | 536 569 15 | 0.001 % |
0.00/0.28 c | 8787 | 374 1609 4855 | 536 544 15 | 0.001 % |
0.00/0.29 c | 9001 | 374 1609 4855 | 536 538 15 | 0.001 % |
0.00/0.30 c | 9236 | 374 1609 4855 | 536 549 16 | 0.001 % |
0.00/0.30 c | 9492 | 374 1609 4855 | 536 580 16 | 0.001 % |
0.00/0.31 c | 9594 | 374 1609 4855 | 536 567 16 | 0.001 % |
0.00/0.31 c | 9705 | 374 1609 4855 | 536 566 16 | 0.001 % |
0.00/0.32 c | 9828 | 374 1609 4855 | 536 575 15 | 0.001 % |
0.00/0.32 c | 9961 | 374 1609 4855 | 536 542 15 | 0.001 % |
0.00/0.32 c | 10108 | 374 1609 4855 | 2147483647 635 15 | 0.001 % |
0.00/0.33 c | 10268 | 374 1609 4855 | 2147483647 795 16 | 0.001 % |
0.00/0.33 c | 10446 | 374 1609 4855 | 2147483647 973 16 | 0.001 % |
0.00/0.34 c | 10641 | 374 1609 4855 | 2147483647 1168 17 | 0.001 % |
0.00/0.35 c | 10853 | 374 1609 4855 | 2147483647 1380 17 | 0.001 % |
0.00/0.36 c | 11090 | 374 1609 4855 | 2147483647 1617 17 | 0.001 % |
0.00/0.37 c | 11347 | 374 1609 4855 | 2147483647 1874 18 | 0.001 % |
0.00/0.38 c | 11628 | 374 1609 4855 | 2147483647 2155 18 | 0.001 % |
0.00/0.38 c | 11729 | 374 1609 4855 | 2147483647 2256 18 | 0.001 % |
0.00/0.38 c | 11839 | 374 1609 4855 | 2147483647 2366 18 | 0.001 % |
0.00/0.39 c | 11961 | 374 1609 4855 | 2147483647 2488 18 | 0.001 % |
0.00/0.39 c | 12094 | 374 1609 4855 | 2147483647 2621 18 | 0.001 % |
0.00/0.40 c | 12240 | 374 1609 4855 | 2147483647 2767 18 | 0.001 % |
0.00/0.41 c | 12400 | 374 1609 4855 | 2147483647 2927 18 | 0.001 % |
0.00/0.42 c | 12582 | 374 1609 4855 | 2147483647 3109 18 | 0.001 % |
0.00/0.42 c | 12775 | 374 1609 4855 | 2147483647 3302 18 | 0.001 % |
0.00/0.43 c | 12988 | 374 1609 4855 | 2147483647 3515 18 | 0.001 % |
0.00/0.45 c | 13223 | 374 1609 4855 | 2147483647 3750 18 | 0.001 % |
0.00/0.46 c | 13479 | 374 1609 4855 | 2147483647 4006 18 | 0.001 % |
0.00/0.47 c | 13760 | 374 1609 4855 | 2147483647 4287 18 | 0.001 % |
0.00/0.49 c | 14070 | 374 1609 4855 | 2147483647 4597 19 | 0.001 % |
0.00/0.49 c | 14173 | 374 1609 4855 | 2147483647 4700 19 | 0.001 % |
0.00/0.50 c | 14284 | 374 1609 4855 | 2147483647 4811 18 | 0.001 % |
0.00/0.51 c | 14405 | 374 1609 4855 | 2147483647 4932 18 | 0.001 % |
0.00/0.52 c | 14538 | 374 1609 4855 | 2147483647 5065 18 | 0.001 % |
0.00/0.52 c | 14688 | 374 1609 4855 | 2147483647 5215 18 | 0.001 % |
0.00/0.53 c | 14848 | 374 1609 4855 | 2147483647 5375 18 | 0.001 % |
0.00/0.54 c | 15025 | 374 1609 4855 | 2147483647 5552 18 | 0.001 % |
0.00/0.56 c | 15219 | 374 1609 4855 | 2147483647 5746 18 | 0.001 % |
0.00/0.57 c | 15432 | 374 1609 4855 | 2147483647 5959 19 | 0.001 % |
0.00/0.58 c | 15666 | 374 1609 4855 | 2147483647 6193 18 | 0.001 % |
0.00/0.60 c | 15925 | 374 1609 4855 | 2147483647 6452 18 | 0.001 % |
0.00/0.62 c | 16206 | 374 1609 4855 | 2147483647 6733 18 | 0.001 % |
0.00/0.64 c | 16515 | 374 1609 4855 | 2147483647 7042 18 | 0.001 % |
0.00/0.67 c | 16856 | 374 1609 4855 | 2147483647 7383 18 | 0.001 % |
0.00/0.67 c | 16956 | 374 1609 4855 | 2147483647 7483 18 | 0.001 % |
0.00/0.68 c | 17067 | 374 1609 4855 | 2147483647 7594 18 | 0.001 % |
0.00/0.69 c | 17188 | 374 1609 4855 | 2147483647 7715 18 | 0.001 % |
0.00/0.70 c | 17322 | 374 1609 4855 | 2147483647 7849 18 | 0.001 % |
0.00/0.71 c | 17469 | 374 1609 4855 | 2147483647 7996 19 | 0.001 % |
0.00/0.72 c | 17629 | 374 1609 4855 | 2147483647 8156 19 | 0.001 % |
0.00/0.74 c | 17806 | 374 1609 4855 | 2147483647 8333 19 | 0.001 % |
0.00/0.75 c | 18000 | 374 1609 4855 | 2147483647 8527 19 | 0.001 % |
0.00/0.77 c | 18212 | 374 1609 4855 | 2147483647 8739 19 | 0.001 % |
0.00/0.79 c | 18446 | 374 1609 4855 | 2147483647 8973 19 | 0.001 % |
0.00/0.81 c | 18702 | 374 1609 4855 | 2147483647 9229 19 | 0.001 % |
0.00/0.83 c | 18983 | 374 1609 4855 | 2147483647 9510 19 | 0.001 % |
0.00/0.86 c | 19292 | 374 1609 4855 | 2147483647 9819 19 | 0.001 % |
0.00/0.88 c | 19631 | 374 1609 4855 | 2147483647 10158 19 | 0.001 % |
0.00/0.92 c | 20005 | 374 1609 4855 | 2147483647 10532 19 | 0.001 % |
0.00/0.93 c | 20106 | 374 1609 4855 | 2147483647 10633 19 | 0.001 % |
0.00/0.94 c | 20218 | 374 1609 4855 | 2147483647 10745 19 | 0.001 % |
0.00/0.95 c | 20339 | 374 1609 4855 | 2147483647 10866 19 | 0.001 % |
0.00/0.96 c | 20472 | 374 1609 4855 | 2147483647 10999 19 | 0.001 % |
0.00/0.98 c | 20621 | 374 1609 4855 | 2147483647 11148 19 | 0.001 % |
0.00/0.99 c | 20781 | 374 1609 4855 | 2147483647 11308 19 | 0.001 % |
0.98/1.01 c | 20958 | 374 1609 4855 | 2147483647 11485 19 | 0.001 % |
0.98/1.03 c | 21151 | 374 1609 4855 | 2147483647 11678 19 | 0.001 % |
0.98/1.05 c | 21364 | 374 1609 4855 | 2147483647 11891 19 | 0.001 % |
0.98/1.08 c | 21597 | 374 1609 4855 | 2147483647 12124 19 | 0.001 % |
0.98/1.10 c | 21854 | 374 1609 4855 | 2147483647 12381 19 | 0.001 % |
1.08/1.13 c | 22135 | 374 1609 4855 | 2147483647 12662 19 | 0.001 % |
1.08/1.15 c | 22446 | 374 1609 4855 | 2147483647 12973 19 | 0.001 % |
1.08/1.19 c | 22786 | 374 1609 4855 | 2147483647 13313 19 | 0.001 % |
1.17/1.23 c | 23158 | 374 1609 4855 | 2147483647 13685 19 | 0.001 % |
1.17/1.28 c | 23567 | 374 1609 4855 | 2147483647 14094 19 | 0.001 % |
1.17/1.29 c | 23670 | 374 1609 4855 | 2147483647 14197 19 | 0.001 % |
1.27/1.30 c | 23781 | 374 1609 4855 | 2147483647 14308 19 | 0.001 % |
1.27/1.32 c | 23902 | 374 1609 4855 | 2147483647 14429 19 | 0.001 % |
1.27/1.33 c | 24035 | 374 1609 4855 | 2147483647 14562 19 | 0.001 % |
1.27/1.35 c | 24182 | 374 1609 4855 | 2147483647 14709 19 | 0.001 % |
1.27/1.37 c | 24342 | 374 1609 4855 | 2147483647 14869 19 | 0.001 % |
1.27/1.39 c | 24518 | 374 1609 4855 | 2147483647 15045 19 | 0.001 % |
1.37/1.42 c | 24711 | 374 1609 4855 | 2147483647 15238 19 | 0.001 % |
1.37/1.45 c | 24923 | 374 1609 4855 | 2147483647 15450 19 | 0.001 % |
1.37/1.48 c | 25158 | 374 1609 4855 | 2147483647 15685 19 | 0.001 % |
1.47/1.52 c | 25415 | 374 1609 4855 | 2147483647 15942 19 | 0.001 % |
1.47/1.56 c | 25699 | 374 1609 4855 | 2147483647 16226 19 | 0.001 % |
1.57/1.60 c | 26008 | 374 1609 4855 | 2147483647 16535 19 | 0.001 % |
1.57/1.65 c | 26347 | 374 1609 4855 | 2147483647 16874 19 | 0.001 % |
1.57/1.69 c | 26719 | 374 1609 4855 | 2147483647 17246 19 | 0.001 % |
1.67/1.75 c | 27129 | 374 1609 4855 | 2147483647 17656 19 | 0.001 % |
1.77/1.81 c | 27578 | 374 1609 4855 | 2147483647 18105 19 | 0.001 % |
1.77/1.83 c | 27678 | 374 1609 4855 | 2147483647 18205 19 | 0.001 % |
1.77/1.85 c | 27788 | 374 1609 4855 | 2147483647 18315 19 | 0.001 % |
1.77/1.87 c | 27909 | 374 1609 4855 | 2147483647 18436 19 | 0.001 % |
1.77/1.89 c | 28042 | 374 1609 4855 | 2147483647 18569 19 | 0.001 % |
1.87/1.92 c | 28188 | 374 1609 4855 | 2147483647 18715 19 | 0.001 % |
1.87/1.94 c | 28348 | 374 1609 4855 | 2147483647 18875 19 | 0.001 % |
1.87/1.97 c | 28524 | 374 1609 4855 | 2147483647 19051 19 | 0.001 % |
1.97/2.01 c | 28720 | 374 1609 4855 | 2147483647 19247 19 | 0.001 % |
1.97/2.04 c | 28935 | 374 1609 4855 | 2147483647 19462 19 | 0.001 % |
1.97/2.08 c | 29168 | 374 1609 4855 | 2147483647 19695 19 | 0.001 % |
2.07/2.12 c | 29426 | 374 1609 4855 | 2147483647 19953 19 | 0.001 % |
2.07/2.17 c | 29709 | 374 1609 4855 | 2147483647 20236 19 | 0.001 % |
2.17/2.21 c | 30018 | 374 1609 4855 | 2147483647 20545 19 | 0.001 % |
2.17/2.27 c | 30360 | 374 1609 4855 | 2147483647 20887 19 | 0.001 % |
2.27/2.34 c | 30735 | 374 1609 4855 | 2147483647 21262 19 | 0.001 % |
2.37/2.41 c | 31145 | 374 1609 4855 | 2147483647 21672 19 | 0.001 % |
2.37/2.48 c | 31594 | 374 1609 4855 | 2147483647 22121 19 | 0.001 % |
2.47/2.59 c | 32087 | 374 1609 4855 | 2147483647 22614 19 | 0.001 % |
2.57/2.61 c | 32189 | 374 1609 4855 | 2147483647 22716 19 | 0.001 % |
2.57/2.63 c | 32300 | 374 1609 4855 | 2147483647 22827 19 | 0.001 % |
2.57/2.65 c | 32422 | 374 1609 4855 | 2147483647 22949 19 | 0.001 % |
2.57/2.68 c | 32558 | 374 1609 4855 | 2147483647 23085 19 | 0.001 % |
2.67/2.71 c | 32704 | 374 1609 4855 | 2147483647 23231 19 | 0.001 % |
2.67/2.74 c | 32864 | 374 1609 4855 | 2147483647 23391 19 | 0.001 % |
2.67/2.78 c | 33040 | 374 1609 4855 | 2147483647 23567 19 | 0.001 % |
2.77/2.83 c | 33233 | 374 1609 4855 | 2147483647 23760 19 | 0.001 % |
2.77/2.87 c | 33445 | 374 1609 4855 | 2147483647 23972 19 | 0.001 % |
2.87/2.92 c | 33678 | 374 1609 4855 | 2147483647 24205 19 | 0.001 % |
2.87/2.96 c | 33934 | 374 1609 4855 | 2147483647 24461 19 | 0.001 % |
2.97/3.01 c | 34215 | 374 1609 4855 | 2147483647 24742 19 | 0.001 % |
2.97/3.07 c | 34525 | 374 1609 4855 | 2147483647 25052 19 | 0.001 % |
3.07/3.16 c | 34864 | 374 1609 4855 | 2147483647 25391 19 | 0.001 % |
3.17/3.24 c | 35238 | 374 1609 4855 | 2147483647 25765 19 | 0.001 % |
3.27/3.33 c | 35647 | 374 1609 4855 | 2147483647 26174 19 | 0.001 % |
3.37/3.44 c | 36097 | 374 1609 4855 | 2147483647 26624 19 | 0.001 % |
3.47/3.55 c | 36590 | 374 1609 4855 | 2147483647 27117 19 | 0.001 % |
3.67/3.70 c | 37134 | 374 1609 4855 | 2147483647 27661 19 | 0.001 % |
3.67/3.73 c | 37236 | 374 1609 4855 | 2147483647 27763 19 | 0.001 % |
3.67/3.76 c | 37349 | 374 1609 4855 | 2147483647 27876 19 | 0.001 % |
3.67/3.79 c | 37471 | 374 1609 4855 | 2147483647 27998 19 | 0.001 % |
3.76/3.82 c | 37604 | 374 1609 4855 | 2147483647 28131 19 | 0.001 % |
3.76/3.86 c | 37750 | 374 1609 4855 | 2147483647 28277 19 | 0.001 % |
3.86/3.90 c | 37911 | 374 1609 4855 | 2147483647 28438 19 | 0.001 % |
3.86/3.95 c | 38089 | 374 1609 4855 | 2147483647 28616 19 | 0.001 % |
3.96/4.01 c | 38284 | 374 1609 4855 | 2147483647 28811 19 | 0.001 % |
3.96/4.06 c | 38497 | 374 1609 4855 | 2147483647 29024 19 | 0.001 % |
4.06/4.13 c | 38730 | 374 1609 4855 | 2147483647 29257 19 | 0.001 % |
4.17/4.21 c | 38986 | 374 1609 4855 | 2147483647 29513 19 | 0.001 % |
4.28/4.30 c | 39268 | 374 1609 4855 | 2147483647 29795 19 | 0.001 % |
4.28/4.40 c | 39577 | 374 1609 4855 | 2147483647 30104 19 | 0.001 % |
4.47/4.51 c | 39916 | 374 1609 4855 | 2147483647 30443 19 | 0.001 % |
4.57/4.62 c | 40288 | 374 1609 4855 | 30527 22093 19 | 0.001 % |
4.67/4.71 c | 40699 | 374 1609 4855 | 30527 22504 19 | 0.001 % |
4.77/4.81 c | 41149 | 374 1609 4855 | 30527 22954 19 | 0.001 % |
4.87/4.92 c | 41643 | 374 1609 4855 | 30527 23448 19 | 0.001 % |
4.97/5.02 c | 42185 | 374 1609 4855 | 30527 23990 19 | 0.001 % |
5.07/5.16 c | 42783 | 374 1609 4855 | 30527 24588 19 | 0.001 % |
5.07/5.18 c | 42883 | 374 1609 4855 | 30527 24688 19 | 0.001 % |
5.17/5.20 c | 42994 | 374 1609 4855 | 30527 24799 19 | 0.001 % |
5.17/5.23 c | 43115 | 374 1609 4855 | 30527 24920 19 | 0.001 % |
5.17/5.26 c | 43249 | 374 1609 4855 | 30527 25054 19 | 0.001 % |
5.27/5.30 c | 43395 | 374 1609 4855 | 30527 25200 19 | 0.001 % |
5.27/5.34 c | 43555 | 374 1609 4855 | 30527 25360 19 | 0.001 % |
5.27/5.38 c | 43731 | 374 1609 4855 | 30527 25536 19 | 0.001 % |
5.37/5.42 c | 43924 | 374 1609 4855 | 30527 25729 19 | 0.001 % |
5.37/5.48 c | 44137 | 374 1609 4855 | 30527 25942 19 | 0.001 % |
5.47/5.53 c | 44370 | 374 1609 4855 | 30527 26175 19 | 0.001 % |
5.47/5.59 c | 44628 | 374 1609 4855 | 30527 26433 19 | 0.001 % |
5.57/5.67 c | 44910 | 374 1609 4855 | 30527 26715 19 | 0.001 % |
5.67/5.75 c | 45219 | 374 1609 4855 | 30527 27024 19 | 0.001 % |
5.77/5.84 c | 45558 | 374 1609 4855 | 30527 27363 19 | 0.001 % |
5.87/5.92 c | 45930 | 374 1609 4855 | 30527 27735 19 | 0.001 % |
5.97/6.02 c | 46340 | 374 1609 4855 | 30527 28145 19 | 0.001 % |
6.07/6.11 c | 46790 | 374 1609 4855 | 30527 28595 19 | 0.001 % |
6.17/6.25 c | 47284 | 374 1609 4855 | 30527 29089 19 | 0.001 % |
6.27/6.39 c | 47827 | 374 1609 4855 | 30527 29632 19 | 0.001 % |
6.47/6.56 c | 48425 | 374 1609 4855 | 30527 30230 19 | 0.001 % |
6.67/6.72 c | 49080 | 374 1609 4855 | 30527 21232 18 | 0.001 % |
6.67/6.74 c | 49180 | 374 1609 4855 | 30527 21332 18 | 0.001 % |
6.67/6.76 c | 49292 | 374 1609 4855 | 30527 21444 18 | 0.001 % |
6.67/6.79 c | 49413 | 374 1609 4855 | 30527 21565 18 | 0.001 % |
6.77/6.81 c | 49547 | 374 1609 4855 | 30527 21699 18 | 0.001 % |
6.77/6.85 c | 49693 | 374 1609 4855 | 30527 21845 18 | 0.001 % |
6.77/6.88 c | 49853 | 374 1609 4855 | 30527 22005 18 | 0.001 % |
6.87/6.91 c | 50029 | 374 1609 4855 | 22153 22181 18 | 0.001 % |
6.87/6.96 c | 50222 | 374 1609 4855 | 22153 15433 18 | 0.001 % |
6.87/6.98 c | 50434 | 374 1609 4855 | 22153 15645 18 | 0.001 % |
6.97/7.01 c | 50667 | 374 1609 4855 | 22153 15878 18 | 0.001 % |
6.97/7.04 c | 50924 | 374 1609 4855 | 22153 16135 18 | 0.001 % |
6.97/7.07 c | 51206 | 374 1609 4855 | 22153 16417 18 | 0.001 % |
7.06/7.11 c | 51516 | 374 1609 4855 | 22153 16727 18 | 0.001 % |
7.06/7.17 c | 51855 | 374 1609 4855 | 22153 17066 18 | 0.001 % |
7.16/7.22 c | 52230 | 374 1609 4855 | 22153 17441 18 | 0.001 % |
7.16/7.29 c | 52640 | 374 1609 4855 | 22153 17851 18 | 0.001 % |
7.27/7.36 c | 53089 | 374 1609 4855 | 22153 18300 18 | 0.001 % |
7.37/7.44 c | 53585 | 374 1609 4855 | 22153 18796 18 | 0.001 % |
7.46/7.53 c | 54127 | 374 1609 4855 | 22153 19338 18 | 0.001 % |
7.57/7.63 c | 54723 | 374 1609 4855 | 22153 19934 18 | 0.001 % |
7.67/7.74 c | 55378 | 374 1609 4855 | 22153 20589 18 | 0.001 % |
7.76/7.85 c | 56099 | 374 1609 4855 | 22153 21310 18 | 0.001 % |
7.76/7.87 c | 56199 | 374 1609 4855 | 22153 21410 18 | 0.001 % |
7.76/7.89 c | 56309 | 374 1609 4855 | 22153 21520 18 | 0.001 % |
7.86/7.91 c | 56432 | 374 1609 4855 | 22153 21643 18 | 0.001 % |
7.86/7.94 c | 56567 | 374 1609 4855 | 22153 21778 18 | 0.001 % |
7.86/7.97 c | 56714 | 374 1609 4855 | 22153 21925 18 | 0.001 % |
7.86/8.00 c | 56875 | 374 1609 4855 | 22153 22086 18 | 0.001 % |
7.96/8.05 c | 57051 | 374 1609 4855 | 22153 16525 18 | 0.001 % |
7.96/8.08 c | 57246 | 374 1609 4855 | 22153 16720 18 | 0.001 % |
8.06/8.11 c | 57458 | 374 1609 4855 | 22153 16932 18 | 0.001 % |
8.06/8.14 c | 57692 | 374 1609 4855 | 22153 17166 18 | 0.001 % |
8.06/8.17 c | 57950 | 374 1609 4855 | 22153 17424 18 | 0.001 % |
8.16/8.20 c | 58235 | 374 1609 4855 | 22153 17709 18 | 0.001 % |
8.16/8.24 c | 58544 | 374 1609 4855 | 22153 18018 18 | 0.001 % |
8.16/8.29 c | 58885 | 374 1609 4855 | 22153 18359 18 | 0.001 % |
8.26/8.35 c | 59258 | 374 1609 4855 | 22153 18732 18 | 0.001 % |
8.36/8.40 c | 59667 | 374 1609 4855 | 22153 19141 18 | 0.001 % |
8.36/8.48 c | 60116 | 374 1609 4855 | 19474 14791 18 | 0.001 % |
8.46/8.54 c | 60609 | 374 1609 4855 | 19474 15284 18 | 0.001 % |
8.56/8.61 c | 61152 | 374 1609 4855 | 19474 15827 18 | 0.001 % |
8.56/8.68 c | 61748 | 374 1609 4855 | 19474 16423 19 | 0.001 % |
8.66/8.76 c | 62403 | 374 1609 4855 | 19474 17078 19 | 0.001 % |
8.76/8.86 c | 63123 | 374 1609 4855 | 19474 17798 19 | 0.001 % |
8.86/8.98 c | 63918 | 374 1609 4855 | 19474 18593 19 | 0.001 % |
8.86/8.99 c | 64018 | 374 1609 4855 | 19474 18693 19 | 0.001 % |
8.96/9.01 c | 64128 | 374 1609 4855 | 19474 18803 19 | 0.001 % |
8.96/9.03 c | 64250 | 374 1609 4855 | 19474 18925 19 | 0.001 % |
8.96/9.06 c | 64385 | 374 1609 4855 | 19474 19060 19 | 0.001 % |
8.96/9.08 c | 64532 | 374 1609 4855 | 19474 19207 19 | 0.001 % |
9.06/9.12 c | 64692 | 374 1609 4855 | 19474 19367 19 | 0.001 % |
9.06/9.16 c | 64869 | 374 1609 4855 | 19474 15434 18 | 0.001 % |
9.06/9.18 c | 65062 | 374 1609 4855 | 19474 15627 18 | 0.001 % |
9.16/9.21 c | 65274 | 374 1609 4855 | 19474 15839 18 | 0.001 % |
9.16/9.24 c | 65507 | 374 1609 4855 | 19474 16072 18 | 0.001 % |
9.16/9.28 c | 65763 | 374 1609 4855 | 19474 16328 18 | 0.001 % |
9.26/9.32 c | 66044 | 374 1609 4855 | 19474 16609 18 | 0.001 % |
9.26/9.36 c | 66354 | 374 1609 4855 | 19474 16919 18 | 0.001 % |
9.36/9.41 c | 66693 | 374 1609 4855 | 19474 17258 18 | 0.001 % |
9.36/9.47 c | 67065 | 374 1609 4855 | 19474 17630 18 | 0.001 % |
9.46/9.53 c | 67474 | 374 1609 4855 | 19474 18039 18 | 0.001 % |
9.46/9.59 c | 67923 | 374 1609 4855 | 19474 18488 18 | 0.001 % |
9.56/9.66 c | 68416 | 374 1609 4855 | 19474 18981 19 | 0.001 % |
9.66/9.77 c | 68959 | 374 1609 4855 | 19474 15437 18 | 0.001 % |
9.76/9.85 c | 69555 | 374 1609 4855 | 19474 16033 18 | 0.001 % |
9.86/9.95 c | 70211 | 374 1609 4855 | 16478 13258 18 | 0.001 % |
9.96/10.03 c | 70932 | 374 1609 4855 | 16478 13979 18 | 0.001 % |
10.06/10.13 c | 71725 | 374 1609 4855 | 16478 14772 18 | 0.001 % |
10.16/10.22 c | 72597 | 374 1609 4855 | 16478 15644 18 | 0.001 % |
10.16/10.24 c | 72698 | 374 1609 4855 | 16478 15745 18 | 0.001 % |
10.16/10.25 c | 72808 | 374 1609 4855 | 16478 15855 18 | 0.001 % |
10.16/10.27 c | 72930 | 374 1609 4855 | 16478 15977 18 | 0.001 % |
10.16/10.29 c | 73063 | 374 1609 4855 | 16478 16110 18 | 0.001 % |
10.26/10.31 c | 73209 | 374 1609 4855 | 16478 16256 18 | 0.001 % |
10.26/10.33 c | 73369 | 374 1609 4855 | 16478 16416 18 | 0.001 % |
10.26/10.37 c | 73546 | 374 1609 4855 | 16478 13708 18 | 0.001 % |
10.26/10.39 c | 73741 | 374 1609 4855 | 16478 13903 18 | 0.001 % |
10.35/10.41 c | 73953 | 374 1609 4855 | 16478 14115 18 | 0.001 % |
10.35/10.44 c | 74186 | 374 1609 4855 | 16478 14348 18 | 0.001 % |
10.35/10.48 c | 74443 | 374 1609 4855 | 16478 14605 18 | 0.001 % |
10.45/10.51 c | 74725 | 374 1609 4855 | 16478 14887 18 | 0.001 % |
10.45/10.55 c | 75034 | 374 1609 4855 | 16478 15196 18 | 0.001 % |
10.45/10.59 c | 75374 | 374 1609 4855 | 16478 15536 18 | 0.001 % |
10.55/10.64 c | 75748 | 374 1609 4855 | 16478 15910 18 | 0.001 % |
10.65/10.70 c | 76157 | 374 1609 4855 | 16478 16319 18 | 0.001 % |
10.65/10.76 c | 76607 | 374 1609 4855 | 16478 13991 18 | 0.001 % |
10.75/10.82 c | 77101 | 374 1609 4855 | 16478 14485 18 | 0.001 % |
10.75/10.88 c | 77644 | 374 1609 4855 | 16478 15028 18 | 0.001 % |
10.86/10.95 c | 78241 | 374 1609 4855 | 16478 15625 18 | 0.001 % |
10.96/11.03 c | 78896 | 374 1609 4855 | 16478 16280 18 | 0.001 % |
11.05/11.12 c | 79616 | 374 1609 4855 | 16478 14335 18 | 0.001 % |
11.15/11.22 c | 80409 | 374 1609 4855 | 14719 12784 18 | 0.001 % |
11.25/11.33 c | 81280 | 374 1609 4855 | 14719 13655 18 | 0.001 % |
11.35/11.45 c | 82239 | 374 1609 4855 | 14719 14614 18 | 0.001 % |
11.35/11.47 c | 82342 | 374 1609 4855 | 14719 14717 18 | 0.001 % |
11.35/11.48 c | 82453 | 374 1609 4855 | 14719 12630 18 | 0.001 % |
11.45/11.50 c | 82575 | 374 1609 4855 | 14719 12752 18 | 0.001 % |
11.45/11.52 c | 82708 | 374 1609 4855 | 14719 12885 18 | 0.001 % |
11.45/11.53 c | 82854 | 374 1609 4855 | 14719 13031 18 | 0.001 % |
11.45/11.55 c | 83015 | 374 1609 4855 | 14719 13192 18 | 0.001 % |
11.45/11.58 c | 83193 | 374 1609 4855 | 14719 13370 18 | 0.001 % |
11.45/11.59 c | 83387 | 374 1609 4855 | 14719 13564 18 | 0.001 % |
11.55/11.62 c | 83600 | 374 1609 4855 | 14719 13777 18 | 0.001 % |
11.55/11.64 c | 83834 | 374 1609 4855 | 14719 14011 18 | 0.001 % |
11.55/11.67 c | 84091 | 374 1609 4855 | 14719 14268 18 | 0.001 % |
11.65/11.70 c | 84372 | 374 1609 4855 | 14719 14549 18 | 0.001 % |
11.65/11.75 c | 84681 | 374 1609 4855 | 14719 12797 18 | 0.001 % |
11.65/11.78 c | 85020 | 374 1609 4855 | 14719 13136 18 | 0.001 % |
11.75/11.82 c | 85392 | 374 1609 4855 | 14719 13508 18 | 0.001 % |
11.75/11.87 c | 85803 | 374 1609 4855 | 14719 13919 18 | 0.001 % |
11.85/11.92 c | 86252 | 374 1609 4855 | 14719 14368 18 | 0.001 % |
11.85/11.99 c | 86746 | 374 1609 4855 | 14719 12870 18 | 0.001 % |
11.96/12.05 c | 87288 | 374 1609 4855 | 14719 13412 18 | 0.001 % |
12.06/12.11 c | 87886 | 374 1609 4855 | 14719 14010 18 | 0.001 % |
12.06/12.19 c | 88542 | 374 1609 4855 | 14719 14666 18 | 0.001 % |
12.15/12.27 c | 89265 | 374 1609 4855 | 14719 13500 18 | 0.001 % |
12.25/12.37 c | 90058 | 374 1609 4855 | 14236 12489 18 | 0.001 % |
12.35/12.46 c | 90930 | 374 1609 4855 | 14236 13361 18 | 0.001 % |
12.45/12.57 c | 91890 | 374 1609 4855 | 14236 12627 18 | 0.001 % |
12.55/12.67 c | 92943 | 374 1609 4855 | 14236 13680 18 | 0.001 % |
12.55/12.68 c | 93044 | 374 1609 4855 | 14236 13781 18 | 0.001 % |
12.55/12.69 c | 93154 | 374 1609 4855 | 14236 13891 18 | 0.001 % |
12.65/12.70 c | 93275 | 374 1609 4855 | 14236 14012 18 | 0.001 % |
12.65/12.72 c | 93408 | 374 1609 4855 | 14236 14145 18 | 0.001 % |
12.65/12.74 c | 93554 | 374 1609 4855 | 14236 12798 18 | 0.001 % |
12.65/12.76 c | 93715 | 374 1609 4855 | 14236 12959 18 | 0.001 % |
12.65/12.78 c | 93891 | 374 1609 4855 | 14236 13135 18 | 0.001 % |
12.75/12.80 c | 94085 | 374 1609 4855 | 14236 13329 18 | 0.001 % |
12.75/12.83 c | 94297 | 374 1609 4855 | 14236 13541 18 | 0.001 % |
12.75/12.86 c | 94530 | 374 1609 4855 | 14236 13774 18 | 0.001 % |
12.75/12.89 c | 94787 | 374 1609 4855 | 14236 14031 18 | 0.001 % |
12.85/12.93 c | 95068 | 374 1609 4855 | 14236 12736 18 | 0.001 % |
12.85/12.97 c | 95379 | 374 1609 4855 | 14236 13047 18 | 0.001 % |
12.95/13.01 c | 95720 | 374 1609 4855 | 14236 13388 18 | 0.001 % |
12.95/13.05 c | 96092 | 374 1609 4855 | 14236 13760 18 | 0.001 % |
12.95/13.10 c | 96501 | 374 1609 4855 | 14236 14169 18 | 0.001 % |
13.05/13.15 c | 96952 | 374 1609 4855 | 14236 13040 18 | 0.001 % |
13.15/13.20 c | 97445 | 374 1609 4855 | 14236 13533 18 | 0.001 % |
13.15/13.27 c | 97988 | 374 1609 4855 | 14236 14076 18 | 0.001 % |
13.25/13.34 c | 98585 | 374 1609 4855 | 14236 13113 18 | 0.001 % |
13.35/13.41 c | 99240 | 374 1609 4855 | 14236 13768 18 | 0.001 % |
13.35/13.50 c | 99960 | 374 1609 4855 | 14236 12971 18 | 0.001 % |
13.45/13.58 c | 100752 | 374 1609 4855 | 13011 12378 18 | 0.001 % |
13.55/13.68 c | 101623 | 374 1609 4855 | 13011 11944 18 | 0.001 % |
13.65/13.79 c | 102583 | 374 1609 4855 | 13011 12904 18 | 0.001 % |
13.75/13.90 c | 103636 | 374 1609 4855 | 13011 12652 18 | 0.001 % |
13.95/14.02 c | 104794 | 374 1609 4855 | 13011 12506 18 | 0.001 % |
13.95/14.03 c | 104894 | 374 1609 4855 | 13011 12606 18 | 0.001 % |
13.95/14.04 c | 105004 | 374 1609 4855 | 13011 12716 18 | 0.001 % |
13.95/14.06 c | 105128 | 374 1609 4855 | 13011 12840 18 | 0.001 % |
13.95/14.07 c | 105262 | 374 1609 4855 | 13011 12974 18 | 0.001 % |
13.95/14.09 c | 105408 | 374 1609 4855 | 13011 11815 18 | 0.001 % |
14.05/14.11 c | 105568 | 374 1609 4855 | 13011 11975 18 | 0.001 % |
14.05/14.13 c | 105745 | 374 1609 4855 | 13011 12152 18 | 0.001 % |
14.05/14.15 c | 105940 | 374 1609 4855 | 13011 12347 18 | 0.001 % |
14.05/14.18 c | 106152 | 374 1609 4855 | 13011 12559 18 | 0.001 % |
14.15/14.20 c | 106385 | 374 1609 4855 | 13011 12792 18 | 0.001 % |
14.15/14.24 c | 106641 | 374 1609 4855 | 13011 11744 18 | 0.001 % |
14.15/14.27 c | 106924 | 374 1609 4855 | 13011 12027 18 | 0.001 % |
14.25/14.30 c | 107233 | 374 1609 4855 | 13011 12336 18 | 0.001 % |
14.25/14.34 c | 107573 | 374 1609 4855 | 13011 12676 18 | 0.001 % |
14.25/14.38 c | 107946 | 374 1609 4855 | 13011 13049 18 | 0.001 % |
14.34/14.42 c | 108355 | 374 1609 4855 | 13011 12154 18 | 0.001 % |
14.34/14.47 c | 108804 | 374 1609 4855 | 13011 12603 18 | 0.001 % |
14.44/14.52 c | 109297 | 374 1609 4855 | 13011 11792 18 | 0.001 % |
14.44/14.58 c | 109840 | 374 1609 4855 | 13011 12335 18 | 0.001 % |
14.54/14.64 c | 110436 | 374 1609 4855 | 2147483647 12931 18 | 0.001 % |
14.64/14.71 c | 111092 | 374 1609 4855 | 2147483647 13587 18 | 0.001 % |
14.74/14.80 c | 111813 | 374 1609 4855 | 2147483647 14308 18 | 0.001 % |
14.74/14.89 c | 112606 | 374 1609 4855 | 2147483647 15101 18 | 0.001 % |
14.84/14.99 c | 113477 | 374 1609 4855 | 2147483647 15972 18 | 0.001 % |
15.04/15.11 c | 114436 | 374 1609 4855 | 2147483647 16931 19 | 0.001 % |
15.14/15.25 c | 115491 | 374 1609 4855 | 2147483647 17986 19 | 0.001 % |
15.35/15.42 c | 116651 | 374 1609 4855 | 2147483647 19146 19 | 0.001 % |
15.54/15.63 c | 117924 | 374 1609 4855 | 2147483647 20419 19 | 0.001 % |
15.54/15.65 c | 118025 | 374 1609 4855 | 2147483647 20520 19 | 0.001 % |
15.54/15.67 c | 118137 | 374 1609 4855 | 2147483647 20632 19 | 0.001 % |
15.54/15.70 c | 118258 | 374 1609 4855 | 2147483647 20753 19 | 0.001 % |
15.64/15.72 c | 118392 | 374 1609 4855 | 2147483647 20887 19 | 0.001 % |
15.64/15.75 c | 118539 | 374 1609 4855 | 2147483647 21034 19 | 0.001 % |
15.64/15.78 c | 118700 | 374 1609 4855 | 2147483647 21195 19 | 0.001 % |
15.74/15.81 c | 118876 | 374 1609 4855 | 2147483647 21371 19 | 0.001 % |
15.74/15.84 c | 119069 | 374 1609 4855 | 2147483647 21564 19 | 0.001 % |
15.74/15.89 c | 119281 | 374 1609 4855 | 2147483647 21776 19 | 0.001 % |
15.84/15.93 c | 119516 | 374 1609 4855 | 2147483647 22011 19 | 0.001 % |
15.84/15.99 c | 119774 | 374 1609 4855 | 2147483647 22269 19 | 0.001 % |
15.94/16.05 c | 120055 | 374 1609 4855 | 22495 18528 19 | 0.001 % |
16.04/16.10 c | 120364 | 374 1609 4855 | 22495 18837 19 | 0.001 % |
16.04/16.16 c | 120705 | 374 1609 4855 | 22495 19178 19 | 0.001 % |
16.14/16.22 c | 121077 | 374 1609 4855 | 22495 19550 19 | 0.001 % |
16.14/16.28 c | 121486 | 374 1609 4855 | 22495 19959 19 | 0.001 % |
16.24/16.35 c | 121935 | 374 1609 4855 | 22495 20408 19 | 0.001 % |
16.35/16.43 c | 122431 | 374 1609 4855 | 22495 20904 19 | 0.001 % |
16.45/16.53 c | 122975 | 374 1609 4855 | 22495 21448 19 | 0.001 % |
16.54/16.62 c | 123572 | 374 1609 4855 | 22495 22045 19 | 0.001 % |
16.64/16.75 c | 124229 | 374 1609 4855 | 22495 17859 18 | 0.001 % |
16.74/16.85 c | 124950 | 374 1609 4855 | 22495 18580 18 | 0.001 % |
16.84/16.97 c | 125745 | 374 1609 4855 | 22495 19375 19 | 0.001 % |
17.04/17.11 c | 126617 | 374 1609 4855 | 22495 20247 19 | 0.001 % |
17.14/17.28 c | 127578 | 374 1609 4855 | 22495 21208 19 | 0.001 % |
17.34/17.48 c | 128633 | 374 1609 4855 | 22495 22263 19 | 0.001 % |
17.64/17.70 c | 129793 | 374 1609 4855 | 22495 18111 18 | 0.001 % |
17.74/17.87 c | 131067 | 374 1609 4855 | 18319 15101 18 | 0.001 % |
17.94/18.06 c | 132467 | 374 1609 4855 | 18319 16501 18 | 0.001 % |
17.94/18.07 c | 132567 | 374 1609 4855 | 18319 16601 18 | 0.001 % |
17.94/18.09 c | 132677 | 374 1609 4855 | 18319 16711 18 | 0.001 % |
18.04/18.11 c | 132799 | 374 1609 4855 | 18319 16833 18 | 0.001 % |
18.04/18.13 c | 132933 | 374 1609 4855 | 18319 16967 18 | 0.001 % |
18.04/18.15 c | 133079 | 374 1609 4855 | 18319 17113 18 | 0.001 % |
18.04/18.17 c | 133239 | 374 1609 4855 | 18319 17273 18 | 0.001 % |
18.04/18.19 c | 133416 | 374 1609 4855 | 18319 17450 18 | 0.001 % |
18.14/18.22 c | 133609 | 374 1609 4855 | 18319 17643 18 | 0.001 % |
18.14/18.25 c | 133823 | 374 1609 4855 | 18319 17857 18 | 0.001 % |
18.14/18.28 c | 134059 | 374 1609 4855 | 18319 18093 18 | 0.001 % |
18.24/18.33 c | 134317 | 374 1609 4855 | 18319 18351 18 | 0.001 % |
18.24/18.38 c | 134599 | 374 1609 4855 | 18319 14707 18 | 0.001 % |
18.34/18.42 c | 134909 | 374 1609 4855 | 18319 15017 18 | 0.001 % |
18.34/18.47 c | 135248 | 374 1609 4855 | 18319 15356 18 | 0.001 % |
18.44/18.52 c | 135620 | 374 1609 4855 | 18319 15728 18 | 0.001 % |
18.44/18.57 c | 136029 | 374 1609 4855 | 18319 16137 18 | 0.001 % |
18.54/18.62 c | 136478 | 374 1609 4855 | 18319 16586 18 | 0.001 % |
18.54/18.70 c | 136971 | 374 1609 4855 | 18319 17079 18 | 0.001 % |
18.64/18.77 c | 137513 | 374 1609 4855 | 18319 17621 18 | 0.001 % |
18.74/18.86 c | 138111 | 374 1609 4855 | 18319 18219 18 | 0.001 % |
18.84/18.96 c | 138766 | 374 1609 4855 | 18319 15057 18 | 0.001 % |
18.94/19.06 c | 139489 | 374 1609 4855 | 18319 15780 18 | 0.001 % |
19.04/19.16 c | 140283 | 374 1609 4855 | 16293 13277 18 | 0.001 % |
19.13/19.26 c | 141155 | 374 1609 4855 | 16293 14149 18 | 0.001 % |
19.23/19.38 c | 142115 | 374 1609 4855 | 16293 15109 18 | 0.001 % |
19.43/19.51 c | 143168 | 374 1609 4855 | 16293 16162 18 | 0.001 % |
19.53/19.66 c | 144326 | 374 1609 4855 | 16293 14568 18 | 0.001 % |
19.74/19.80 c | 145599 | 374 1609 4855 | 16293 15841 18 | 0.001 % |
19.83/19.98 c | 147003 | 374 1609 4855 | 16293 14590 18 | 0.001 % |
20.03/20.14 c | 148545 | 374 1609 4855 | 16293 16132 18 | 0.001 % |
20.03/20.15 c | 148645 | 374 1609 4855 | 16293 16232 18 | 0.001 % |
20.03/20.17 c | 148755 | 374 1609 4855 | 16293 13861 18 | 0.001 % |
20.03/20.19 c | 148878 | 374 1609 4855 | 16293 13984 18 | 0.001 % |
20.13/20.21 c | 149013 | 374 1609 4855 | 16293 14119 18 | 0.001 % |
20.13/20.22 c | 149160 | 374 1609 4855 | 16293 14266 18 | 0.001 % |
20.13/20.25 c | 149320 | 374 1609 4855 | 16293 14426 18 | 0.001 % |
20.13/20.27 c | 149496 | 374 1609 4855 | 16293 14602 18 | 0.001 % |
20.23/20.30 c | 149691 | 374 1609 4855 | 16293 14797 18 | 0.001 % |
20.23/20.32 c | 149903 | 374 1609 4855 | 16293 15009 18 | 0.001 % |
20.23/20.35 c | 150137 | 374 1609 4855 | 15106 12949 18 | 0.001 % |
20.23/20.38 c | 150396 | 374 1609 4855 | 15106 13208 18 | 0.001 % |
20.33/20.40 c | 150677 | 374 1609 4855 | 15106 13489 18 | 0.001 % |
20.33/20.44 c | 150987 | 374 1609 4855 | 15106 13799 18 | 0.001 % |
20.33/20.49 c | 151326 | 374 1609 4855 | 15106 14138 18 | 0.001 % |
20.43/20.53 c | 151698 | 374 1609 4855 | 15106 14510 18 | 0.001 % |
20.43/20.58 c | 152111 | 374 1609 4855 | 15106 14923 18 | 0.001 % |
20.53/20.64 c | 152560 | 374 1609 4855 | 15106 13224 18 | 0.001 % |
20.63/20.70 c | 153053 | 374 1609 4855 | 15106 13717 18 | 0.001 % |
20.63/20.76 c | 153596 | 374 1609 4855 | 15106 14260 18 | 0.001 % |
20.74/20.84 c | 154192 | 374 1609 4855 | 15106 14856 18 | 0.001 % |
20.84/20.93 c | 154847 | 374 1609 4855 | 15106 13337 18 | 0.001 % |
20.93/21.01 c | 155567 | 374 1609 4855 | 15106 14057 18 | 0.001 % |
21.03/21.11 c | 156360 | 374 1609 4855 | 15106 14850 18 | 0.001 % |
21.13/21.22 c | 157231 | 374 1609 4855 | 15106 13556 18 | 0.001 % |
21.23/21.33 c | 158190 | 374 1609 4855 | 15106 14515 18 | 0.001 % |
21.33/21.47 c | 159243 | 374 1609 4855 | 15106 13418 18 | 0.001 % |
21.53/21.61 c | 160401 | 374 1609 4855 | 14175 12551 18 | 0.001 % |
21.63/21.74 c | 161674 | 374 1609 4855 | 14175 13824 18 | 0.001 % |
21.73/21.87 c | 163076 | 374 1609 4855 | 14175 13523 18 | 0.001 % |
21.94/22.05 c | 164617 | 374 1609 4855 | 14175 13493 18 | 0.001 % |
22.13/22.24 c | 166312 | 374 1609 4855 | 14175 13563 18 | 0.001 % |
22.13/22.25 c | 166414 | 374 1609 4855 | 14175 13665 18 | 0.001 % |
22.13/22.27 c | 166524 | 374 1609 4855 | 14175 13775 18 | 0.001 % |
22.13/22.28 c | 166646 | 374 1609 4855 | 14175 13897 18 | 0.001 % |
22.23/22.30 c | 166779 | 374 1609 4855 | 14175 14030 18 | 0.001 % |
22.23/22.32 c | 166927 | 374 1609 4855 | 14175 14178 18 | 0.001 % |
22.23/22.35 c | 167090 | 374 1609 4855 | 14175 12695 18 | 0.001 % |
22.23/22.36 c | 167267 | 374 1609 4855 | 14175 12872 18 | 0.001 % |
22.23/22.38 c | 167464 | 374 1609 4855 | 14175 13069 18 | 0.001 % |
22.33/22.41 c | 167676 | 374 1609 4855 | 14175 13281 18 | 0.001 % |
22.33/22.44 c | 167910 | 374 1609 4855 | 14175 13515 18 | 0.001 % |
22.33/22.47 c | 168166 | 374 1609 4855 | 14175 13771 18 | 0.001 % |
22.43/22.50 c | 168447 | 374 1609 4855 | 14175 14052 18 | 0.001 % |
22.43/22.55 c | 168756 | 374 1609 4855 | 14175 12715 18 | 0.001 % |
22.43/22.59 c | 169096 | 374 1609 4855 | 14175 13055 18 | 0.001 % |
22.53/22.62 c | 169470 | 374 1609 4855 | 14175 13429 18 | 0.001 % |
22.53/22.67 c | 169880 | 374 1609 4855 | 14175 13839 18 | 0.001 % |
22.64/22.72 c | 170329 | 374 1609 4855 | 13959 12688 17 | 0.001 % |
22.64/22.77 c | 170822 | 374 1609 4855 | 13959 13181 17 | 0.001 % |
22.74/22.83 c | 171364 | 374 1609 4855 | 13959 13723 18 | 0.001 % |
22.84/22.90 c | 171960 | 374 1609 4855 | 13959 12823 17 | 0.001 % |
22.84/22.97 c | 172615 | 374 1609 4855 | 13959 13478 18 | 0.001 % |
22.94/23.05 c | 173335 | 374 1609 4855 | 13959 12698 18 | 0.001 % |
23.04/23.13 c | 174127 | 374 1609 4855 | 13959 13490 18 | 0.001 % |
23.14/23.23 c | 174998 | 374 1609 4855 | 13959 12877 18 | 0.001 % |
23.24/23.34 c | 175957 | 374 1609 4855 | 13959 13836 18 | 0.001 % |
23.34/23.47 c | 177011 | 374 1609 4855 | 13959 13384 18 | 0.001 % |
23.44/23.59 c | 178169 | 374 1609 4855 | 13959 13016 18 | 0.001 % |
23.63/23.72 c | 179443 | 374 1609 4855 | 13959 12837 18 | 0.001 % |
23.73/23.87 c | 180844 | 374 1609 4855 | 13396 12878 18 | 0.001 % |
23.93/24.03 c | 182384 | 374 1609 4855 | 13396 13077 18 | 0.001 % |
24.14/24.21 c | 184078 | 374 1609 4855 | 13396 13427 18 | 0.001 % |
24.34/24.42 c | 185941 | 374 1609 4855 | 13396 12604 18 | 0.001 % |
24.34/24.43 c | 186041 | 374 1609 4855 | 13396 12704 18 | 0.001 % |
24.34/24.44 c | 186151 | 374 1609 4855 | 13396 12814 18 | 0.001 % |
24.34/24.46 c | 186272 | 374 1609 4855 | 13396 12935 18 | 0.001 % |
24.34/24.47 c | 186405 | 374 1609 4855 | 13396 13068 18 | 0.001 % |
24.34/24.49 c | 186551 | 374 1609 4855 | 13396 13214 18 | 0.001 % |
24.43/24.51 c | 186712 | 374 1609 4855 | 13396 13375 18 | 0.001 % |
24.43/24.54 c | 186888 | 374 1609 4855 | 13396 12207 18 | 0.001 % |
24.43/24.55 c | 187082 | 374 1609 4855 | 13396 12401 18 | 0.001 % |
24.43/24.58 c | 187295 | 374 1609 4855 | 13396 12614 18 | 0.001 % |
24.53/24.61 c | 187528 | 374 1609 4855 | 13396 12847 18 | 0.001 % |
24.53/24.64 c | 187785 | 374 1609 4855 | 13396 13104 18 | 0.001 % |
24.53/24.67 c | 188066 | 374 1609 4855 | 13396 13385 18 | 0.001 % |
24.63/24.71 c | 188375 | 374 1609 4855 | 13396 12350 18 | 0.001 % |
24.63/24.74 c | 188714 | 374 1609 4855 | 13396 12689 18 | 0.001 % |
24.63/24.78 c | 189086 | 374 1609 4855 | 13396 13061 18 | 0.001 % |
24.73/24.84 c | 189495 | 374 1609 4855 | 13396 12127 18 | 0.001 % |
24.73/24.89 c | 189945 | 374 1609 4855 | 13396 12577 18 | 0.001 % |
24.83/24.94 c | 190438 | 374 1609 4855 | 2147483647 13070 18 | 0.001 % |
24.83/25.00 c | 190982 | 374 1609 4855 | 2147483647 13614 18 | 0.001 % |
24.93/25.06 c | 191578 | 374 1609 4855 | 2147483647 14210 18 | 0.001 % |
25.03/25.13 c | 192235 | 374 1609 4855 | 2147483647 14867 18 | 0.001 % |
25.14/25.21 c | 192955 | 374 1609 4855 | 2147483647 15587 18 | 0.001 % |
25.24/25.32 c | 193748 | 374 1609 4855 | 2147483647 16380 18 | 0.001 % |
25.33/25.43 c | 194622 | 374 1609 4855 | 2147483647 17254 18 | 0.001 % |
25.43/25.56 c | 195581 | 374 1609 4855 | 2147483647 18213 18 | 0.001 % |
25.63/25.71 c | 196635 | 374 1609 4855 | 2147483647 19267 18 | 0.001 % |
25.83/25.91 c | 197793 | 374 1609 4855 | 2147483647 20425 18 | 0.001 % |
26.03/26.11 c | 199067 | 374 1609 4855 | 2147483647 21699 18 | 0.001 % |
26.24/26.34 c | 200467 | 374 1609 4855 | 22634 18922 18 | 0.001 % |
26.43/26.58 c | 202007 | 374 1609 4855 | 22634 20462 18 | 0.001 % |
26.83/26.92 c | 203702 | 374 1609 4855 | 22634 22157 18 | 0.001 % |
27.13/27.21 c | 205565 | 374 1609 4855 | 22634 18449 18 | 0.001 % |
27.44/27.55 c | 207616 | 374 1609 4855 | 22634 20500 18 | 0.001 % |
27.44/27.57 c | 207716 | 374 1609 4855 | 22634 20600 18 | 0.001 % |
27.44/27.59 c | 207827 | 374 1609 4855 | 22634 20711 18 | 0.001 % |
27.53/27.61 c | 207950 | 374 1609 4855 | 22634 20834 18 | 0.001 % |
27.53/27.64 c | 208084 | 374 1609 4855 | 22634 20968 18 | 0.001 % |
27.53/27.67 c | 208230 | 374 1609 4855 | 22634 21114 18 | 0.001 % |
27.63/27.70 c | 208392 | 374 1609 4855 | 22634 21276 18 | 0.001 % |
27.63/27.73 c | 208568 | 374 1609 4855 | 22634 21452 18 | 0.001 % |
27.63/27.78 c | 208763 | 374 1609 4855 | 22634 21647 18 | 0.001 % |
27.73/27.82 c | 208976 | 374 1609 4855 | 22634 21860 18 | 0.001 % |
27.73/27.87 c | 209209 | 374 1609 4855 | 22634 22093 18 | 0.001 % |
27.83/27.93 c | 209466 | 374 1609 4855 | 22634 22350 18 | 0.001 % |
27.93/28.00 c | 209750 | 374 1609 4855 | 22634 22634 18 | 0.001 % |
27.93/28.07 c | 210059 | 374 1609 4855 | 17031 12687 18 | 0.001 % |
28.03/28.11 c | 210398 | 374 1609 4855 | 17031 13026 18 | 0.001 % |
28.03/28.15 c | 210771 | 374 1609 4855 | 17031 13399 18 | 0.001 % |
28.03/28.20 c | 211180 | 374 1609 4855 | 17031 13808 18 | 0.001 % |
28.13/28.25 c | 211630 | 374 1609 4855 | 17031 14258 18 | 0.001 % |
28.23/28.31 c | 212123 | 374 1609 4855 | 17031 14751 18 | 0.001 % |
28.23/28.38 c | 212666 | 374 1609 4855 | 17031 15294 18 | 0.001 % |
28.33/28.45 c | 213263 | 374 1609 4855 | 17031 15891 18 | 0.001 % |
28.43/28.53 c | 213919 | 374 1609 4855 | 17031 16547 18 | 0.001 % |
28.53/28.63 c | 214641 | 374 1609 4855 | 17031 13681 17 | 0.001 % |
28.63/28.71 c | 215433 | 374 1609 4855 | 17031 14473 18 | 0.001 % |
28.73/28.81 c | 216304 | 374 1609 4855 | 17031 15344 18 | 0.001 % |
28.83/28.92 c | 217262 | 374 1609 4855 | 17031 16302 18 | 0.001 % |
28.93/29.08 c | 218316 | 374 1609 4855 | 17031 14046 17 | 0.001 % |
29.13/29.22 c | 219476 | 374 1609 4855 | 17031 15206 17 | 0.001 % |
29.23/29.38 c | 220752 | 374 1609 4855 | 15730 13519 17 | 0.001 % |
29.43/29.54 c | 222154 | 374 1609 4855 | 15730 14921 17 | 0.001 % |
29.63/29.71 c | 223696 | 374 1609 4855 | 15730 13952 17 | 0.001 % |
29.83/29.91 c | 225390 | 374 1609 4855 | 15730 15646 18 | 0.001 % |
30.03/30.12 c | 227254 | 374 1609 4855 | 15730 15132 18 | 0.001 % |
30.23/30.39 c | 229304 | 374 1609 4855 | 15730 14798 18 | 0.001 % |
30.53/30.64 c | 231559 | 374 1609 4855 | 15494 14679 18 | 0.001 % |
30.53/30.65 c | 231659 | 374 1609 4855 | 15494 14779 18 | 0.001 % |
30.53/30.67 c | 231769 | 374 1609 4855 | 15494 14889 18 | 0.001 % |
30.53/30.68 c | 231890 | 374 1609 4855 | 15494 15010 18 | 0.001 % |
30.63/30.70 c | 232024 | 374 1609 4855 | 15494 15144 18 | 0.001 % |
30.63/30.73 c | 232171 | 374 1609 4855 | 15494 15291 18 | 0.001 % |
30.63/30.75 c | 232331 | 374 1609 4855 | 15494 15451 18 | 0.001 % |
30.63/30.78 c | 232509 | 374 1609 4855 | 15494 13205 18 | 0.001 % |
30.73/30.80 c | 232705 | 374 1609 4855 | 15494 13401 18 | 0.001 % |
30.73/30.83 c | 232918 | 374 1609 4855 | 15494 13614 18 | 0.001 % |
30.73/30.86 c | 233152 | 374 1609 4855 | 15494 13848 18 | 0.001 % |
30.73/30.90 c | 233413 | 374 1609 4855 | 15494 14109 18 | 0.001 % |
30.83/30.93 c | 233697 | 374 1609 4855 | 15494 14393 18 | 0.001 % |
30.83/30.97 c | 234006 | 374 1609 4855 | 15494 14702 18 | 0.001 % |
30.93/31.02 c | 234346 | 374 1609 4855 | 15494 15042 18 | 0.001 % |
30.93/31.07 c | 234718 | 374 1609 4855 | 15494 15414 18 | 0.001 % |
31.03/31.13 c | 235127 | 374 1609 4855 | 15494 13322 18 | 0.001 % |
31.03/31.19 c | 235576 | 374 1609 4855 | 15494 13771 18 | 0.001 % |
31.13/31.24 c | 236071 | 374 1609 4855 | 15494 14266 18 | 0.001 % |
31.23/31.31 c | 236615 | 374 1609 4855 | 15494 14810 18 | 0.001 % |
31.23/31.38 c | 237212 | 374 1609 4855 | 15494 15407 18 | 0.001 % |
31.33/31.47 c | 237868 | 374 1609 4855 | 15494 13638 18 | 0.001 % |
31.43/31.57 c | 238589 | 374 1609 4855 | 15494 14359 18 | 0.001 % |
31.53/31.67 c | 239382 | 374 1609 4855 | 15494 15152 18 | 0.001 % |
31.63/31.77 c | 240253 | 374 1609 4855 | 13335 11508 18 | 0.001 % |
31.73/31.87 c | 241214 | 374 1609 4855 | 13335 12469 18 | 0.001 % |
31.83/31.99 c | 242269 | 374 1609 4855 | 13335 11864 18 | 0.001 % |
32.03/32.12 c | 243428 | 374 1609 4855 | 13335 13023 18 | 0.001 % |
32.13/32.27 c | 244702 | 374 1609 4855 | 13335 12750 18 | 0.001 % |
32.33/32.43 c | 246104 | 374 1609 4855 | 13335 12658 18 | 0.001 % |
32.53/32.60 c | 247645 | 374 1609 4855 | 13335 12778 18 | 0.001 % |
32.63/32.79 c | 249339 | 374 1609 4855 | 13335 13067 18 | 0.001 % |
32.93/33.01 c | 251205 | 374 1609 4855 | 12345 12256 18 | 0.001 % |
33.12/33.26 c | 253254 | 374 1609 4855 | 12345 11680 18 | 0.001 % |
33.42/33.53 c | 255508 | 374 1609 4855 | 12345 11383 18 | 0.001 % |
33.62/33.72 c | 257987 | 374 1609 4855 | 12345 11384 18 | 0.001 % |
33.62/33.73 c | 258089 | 374 1609 4855 | 12345 11486 18 | 0.001 % |
33.62/33.74 c | 258199 | 374 1609 4855 | 12345 11596 18 | 0.001 % |
33.62/33.75 c | 258322 | 374 1609 4855 | 12345 11719 18 | 0.001 % |
33.62/33.77 c | 258455 | 374 1609 4855 | 12345 11852 18 | 0.001 % |
33.62/33.78 c | 258601 | 374 1609 4855 | 12345 11998 18 | 0.001 % |
33.72/33.80 c | 258762 | 374 1609 4855 | 12345 12159 18 | 0.001 % |
33.72/33.82 c | 258938 | 374 1609 4855 | 12345 12335 18 | 0.001 % |
33.72/33.84 c | 259131 | 374 1609 4855 | 12345 11290 18 | 0.001 % |
33.72/33.86 c | 259344 | 374 1609 4855 | 12345 11503 18 | 0.001 % |
33.72/33.89 c | 259580 | 374 1609 4855 | 12345 11739 18 | 0.001 % |
33.82/33.91 c | 259836 | 374 1609 4855 | 12345 11995 18 | 0.001 % |
33.82/33.94 c | 260119 | 374 1609 4855 | 2147483647 12278 18 | 0.001 % |
33.82/33.97 c | 260429 | 374 1609 4855 | 2147483647 12588 18 | 0.001 % |
33.93/34.01 c | 260770 | 374 1609 4855 | 2147483647 12929 18 | 0.001 % |
33.93/34.05 c | 261142 | 374 1609 4855 | 2147483647 13301 18 | 0.001 % |
34.03/34.10 c | 261551 | 374 1609 4855 | 2147483647 13710 18 | 0.001 % |
34.03/34.15 c | 262002 | 374 1609 4855 | 2147483647 14161 18 | 0.001 % |
34.12/34.22 c | 262496 | 374 1609 4855 | 2147483647 14655 18 | 0.001 % |
34.12/34.28 c | 263038 | 374 1609 4855 | 2147483647 15197 18 | 0.001 % |
34.22/34.35 c | 263634 | 374 1609 4855 | 2147483647 15793 18 | 0.001 % |
34.32/34.42 c | 264289 | 374 1609 4855 | 2147483647 16448 18 | 0.001 % |
34.42/34.52 c | 265009 | 374 1609 4855 | 2147483647 17168 18 | 0.001 % |
34.52/34.63 c | 265801 | 374 1609 4855 | 2147483647 17960 18 | 0.001 % |
34.62/34.77 c | 266674 | 374 1609 4855 | 2147483647 18833 18 | 0.001 % |
34.82/34.91 c | 267632 | 374 1609 4855 | 2147483647 19791 18 | 0.001 % |
34.92/35.08 c | 268687 | 374 1609 4855 | 2147483647 20846 18 | 0.001 % |
35.13/35.28 c | 269845 | 374 1609 4855 | 2147483647 22004 18 | 0.001 % |
35.42/35.50 c | 271118 | 374 1609 4855 | 22160 19362 18 | 0.001 % |
35.62/35.72 c | 272518 | 374 1609 4855 | 22160 20762 18 | 0.001 % |
35.92/36.02 c | 274059 | 374 1609 4855 | 22160 17311 18 | 0.001 % |
36.13/36.25 c | 275756 | 374 1609 4855 | 22160 19008 18 | 0.001 % |
36.52/36.60 c | 277619 | 374 1609 4855 | 22160 20871 18 | 0.001 % |
36.82/36.97 c | 279669 | 374 1609 4855 | 22160 17458 18 | 0.001 % |
37.12/37.26 c | 281922 | 374 1609 4855 | 17789 15348 18 | 0.001 % |
37.52/37.61 c | 284400 | 374 1609 4855 | 17789 17826 18 | 0.001 % |
37.92/38.01 c | 287125 | 374 1609 4855 | 17789 16799 18 | 0.001 % |
37.92/38.02 c | 287226 | 374 1609 4855 | 17789 16900 18 | 0.001 % |
37.92/38.04 c | 287337 | 374 1609 4855 | 17789 17011 18 | 0.001 % |
37.92/38.06 c | 287459 | 374 1609 4855 | 17789 17133 18 | 0.001 % |
37.92/38.07 c | 287592 | 374 1609 4855 | 17789 17266 18 | 0.001 % |
38.02/38.10 c | 287739 | 374 1609 4855 | 17789 17413 18 | 0.001 % |
38.02/38.13 c | 287900 | 374 1609 4855 | 17789 17574 18 | 0.001 % |
38.02/38.17 c | 288076 | 374 1609 4855 | 17789 17750 18 | 0.001 % |
38.12/38.21 c | 288270 | 374 1609 4855 | 17789 14157 18 | 0.001 % |
38.12/38.24 c | 288482 | 374 1609 4855 | 17789 14369 18 | 0.001 % |
38.12/38.27 c | 288715 | 374 1609 4855 | 17789 14602 18 | 0.001 % |
38.22/38.30 c | 288971 | 374 1609 4855 | 17789 14858 18 | 0.001 % |
38.22/38.34 c | 289254 | 374 1609 4855 | 17789 15141 18 | 0.001 % |
38.22/38.38 c | 289564 | 374 1609 4855 | 17789 15451 18 | 0.001 % |
38.32/38.42 c | 289903 | 374 1609 4855 | 17789 15790 18 | 0.001 % |
38.32/38.49 c | 290276 | 374 1609 4855 | 15890 12836 18 | 0.001 % |
38.42/38.55 c | 290686 | 374 1609 4855 | 15890 13246 18 | 0.001 % |
38.52/38.61 c | 291137 | 374 1609 4855 | 15890 13697 18 | 0.001 % |
38.52/38.67 c | 291630 | 374 1609 4855 | 15890 14190 18 | 0.001 % |
38.62/38.75 c | 292172 | 374 1609 4855 | 15890 14732 18 | 0.001 % |
38.72/38.84 c | 292773 | 374 1609 4855 | 15890 15333 18 | 0.001 % |
38.82/38.94 c | 293428 | 374 1609 4855 | 15890 12828 17 | 0.001 % |
38.92/39.02 c | 294148 | 374 1609 4855 | 15890 13548 17 | 0.001 % |
39.02/39.10 c | 294940 | 374 1609 4855 | 15890 14340 18 | 0.001 % |
39.02/39.20 c | 295811 | 374 1609 4855 | 15890 15211 18 | 0.001 % |
39.22/39.31 c | 296769 | 374 1609 4855 | 15890 13367 18 | 0.001 % |
39.32/39.43 c | 297824 | 374 1609 4855 | 15890 14422 18 | 0.001 % |
39.42/39.57 c | 298983 | 374 1609 4855 | 15890 15581 18 | 0.001 % |
39.61/39.73 c | 300258 | 374 1609 4855 | 13965 11948 18 | 0.001 % |
39.71/39.88 c | 301659 | 374 1609 4855 | 13965 13349 18 | 0.001 % |
39.91/40.05 c | 303200 | 374 1609 4855 | 13965 12940 18 | 0.001 % |
40.11/40.22 c | 304895 | 374 1609 4855 | 13965 12956 18 | 0.001 % |
40.31/40.44 c | 306758 | 374 1609 4855 | 13965 13234 18 | 0.001 % |
40.51/40.67 c | 308807 | 374 1609 4855 | 13965 13698 18 | 0.001 % |
40.81/40.92 c | 311061 | 374 1609 4855 | 13324 12898 18 | 0.001 % |
41.01/41.14 c | 313539 | 374 1609 4855 | 13324 12594 18 | 0.001 % |
41.31/41.43 c | 316264 | 374 1609 4855 | 13324 12648 18 | 0.001 % |
41.61/41.76 c | 319261 | 374 1609 4855 | 13324 12947 17 | 0.001 % |
41.61/41.77 c | 319366 | 374 1609 4855 | 13324 13052 17 | 0.001 % |
41.61/41.79 c | 319476 | 374 1609 4855 | 13324 13162 17 | 0.001 % |
41.71/41.80 c | 319597 | 374 1609 4855 | 13324 13283 18 | 0.001 % |
41.71/41.83 c | 319731 | 374 1609 4855 | 13324 12035 17 | 0.001 % |
41.71/41.84 c | 319878 | 374 1609 4855 | 13324 12182 17 | 0.001 % |
41.71/41.86 c | 320038 | 374 1609 4855 | 12304 12342 17 | 0.001 % |
41.71/41.89 c | 320214 | 374 1609 4855 | 12304 11243 17 | 0.001 % |
41.81/41.91 c | 320407 | 374 1609 4855 | 12304 11436 17 | 0.001 % |
41.81/41.93 c | 320619 | 374 1609 4855 | 12304 11648 17 | 0.001 % |
41.81/41.96 c | 320854 | 374 1609 4855 | 12304 11883 17 | 0.001 % |
41.81/41.99 c | 321110 | 374 1609 4855 | 12304 12139 17 | 0.001 % |
41.91/42.02 c | 321392 | 374 1609 4855 | 12304 11167 17 | 0.001 % |
41.91/42.05 c | 321702 | 374 1609 4855 | 12304 11477 17 | 0.001 % |
41.91/42.09 c | 322041 | 374 1609 4855 | 12304 11816 17 | 0.001 % |
42.01/42.13 c | 322414 | 374 1609 4855 | 12304 12189 17 | 0.001 % |
42.01/42.17 c | 322824 | 374 1609 4855 | 12304 11358 17 | 0.001 % |
42.11/42.21 c | 323273 | 374 1609 4855 | 12304 11807 18 | 0.001 % |
42.11/42.25 c | 323767 | 374 1609 4855 | 12304 12301 18 | 0.001 % |
42.21/42.31 c | 324310 | 374 1609 4855 | 12304 11609 18 | 0.001 % |
42.21/42.37 c | 324909 | 374 1609 4855 | 12304 12208 18 | 0.001 % |
42.31/42.44 c | 325565 | 374 1609 4855 | 12304 11629 18 | 0.001 % |
42.41/42.52 c | 326286 | 374 1609 4855 | 12304 11116 18 | 0.001 % |
42.41/42.59 c | 327079 | 374 1609 4855 | 12304 11909 18 | 0.001 % |
42.51/42.68 c | 327950 | 374 1609 4855 | 12304 11543 18 | 0.001 % |
42.61/42.78 c | 328910 | 374 1609 4855 | 12304 11269 18 | 0.001 % |
42.71/42.90 c | 329964 | 374 1609 4855 | 12304 12323 19 | 0.001 % |
42.91/43.03 c | 331122 | 374 1609 4855 | 2147483647 12249 19 | 0.001 % |
43.01/43.17 c | 332396 | 374 1609 4855 | 2147483647 13523 19 | 0.001 % |
43.21/43.35 c | 333797 | 374 1609 4855 | 2147483647 14924 19 | 0.001 % |
43.40/43.56 c | 335337 | 374 1609 4855 | 2147483647 16464 19 | 0.001 % |
43.70/43.80 c | 337032 | 374 1609 4855 | 2147483647 18159 19 | 0.001 % |
43.91/44.06 c | 338895 | 374 1609 4855 | 2147483647 20022 19 | 0.001 % |
44.20/44.38 c | 340945 | 374 1609 4855 | 21127 18533 19 | 0.001 % |
44.60/44.76 c | 343200 | 374 1609 4855 | 21127 20788 19 | 0.001 % |
45.01/45.16 c | 345678 | 374 1609 4855 | 21127 18811 19 | 0.001 % |
45.40/45.58 c | 348403 | 374 1609 4855 | 21127 16909 19 | 0.001 % |
45.80/45.98 c | 351402 | 374 1609 4855 | 18508 15922 19 | 0.001 % |
46.30/46.44 c | 354699 | 374 1609 4855 | 18508 15491 19 | 0.001 % |
46.30/46.46 c | 354801 | 374 1609 4855 | 18508 15593 19 | 0.001 % |
46.30/46.47 c | 354911 | 374 1609 4855 | 18508 15703 19 | 0.001 % |
46.30/46.49 c | 355033 | 374 1609 4855 | 18508 15825 19 | 0.001 % |
46.40/46.51 c | 355167 | 374 1609 4855 | 18508 15959 19 | 0.001 % |
46.40/46.53 c | 355313 | 374 1609 4855 | 18508 16105 19 | 0.001 % |
46.40/46.55 c | 355475 | 374 1609 4855 | 18508 16267 19 | 0.001 % |
46.40/46.58 c | 355653 | 374 1609 4855 | 18508 16445 19 | 0.001 % |
46.50/46.60 c | 355846 | 374 1609 4855 | 18508 16638 19 | 0.001 % |
46.50/46.63 c | 356058 | 374 1609 4855 | 18508 16850 19 | 0.001 % |
46.50/46.66 c | 356291 | 374 1609 4855 | 18508 17083 19 | 0.001 % |
46.50/46.69 c | 356550 | 374 1609 4855 | 18508 17342 19 | 0.001 % |
46.60/46.73 c | 356831 | 374 1609 4855 | 18508 17623 19 | 0.001 % |
46.60/46.78 c | 357140 | 374 1609 4855 | 18508 17932 19 | 0.001 % |
46.70/46.83 c | 357479 | 374 1609 4855 | 18508 18271 19 | 0.001 % |
46.70/46.90 c | 357852 | 374 1609 4855 | 18508 14921 19 | 0.001 % |
46.80/46.95 c | 358261 | 374 1609 4855 | 18508 15330 19 | 0.001 % |
46.90/47.02 c | 358714 | 374 1609 4855 | 18508 15783 19 | 0.001 % |
47.00/47.10 c | 359208 | 374 1609 4855 | 18508 16277 19 | 0.001 % |
47.00/47.18 c | 359751 | 374 1609 4855 | 18508 16820 19 | 0.001 % |
47.10/47.25 c | 360347 | 374 1609 4855 | 17069 13947 19 | 0.001 % |
47.20/47.34 c | 361002 | 374 1609 4855 | 17069 14602 19 | 0.001 % |
47.30/47.44 c | 361722 | 374 1609 4855 | 17069 15322 19 | 0.001 % |
47.40/47.52 c | 362514 | 374 1609 4855 | 17069 16114 19 | 0.001 % |
47.50/47.64 c | 363387 | 374 1609 4855 | 17069 16987 19 | 0.001 % |
47.60/47.76 c | 364347 | 374 1609 4855 | 17069 14651 18 | 0.001 % |
47.80/47.90 c | 365400 | 374 1609 4855 | 17069 15704 18 | 0.001 % |
47.90/48.05 c | 366561 | 374 1609 4855 | 17069 16865 18 | 0.001 % |
48.10/48.20 c | 367834 | 374 1609 4855 | 17069 14945 18 | 0.001 % |
48.20/48.39 c | 369234 | 374 1609 4855 | 17069 16345 18 | 0.001 % |
48.40/48.58 c | 370775 | 374 1609 4855 | 14068 12332 18 | 0.001 % |
48.60/48.77 c | 372470 | 374 1609 4855 | 14068 14027 18 | 0.001 % |
48.80/48.95 c | 374333 | 374 1609 4855 | 14068 13810 19 | 0.001 % |
49.00/49.17 c | 376382 | 374 1609 4855 | 14068 12526 19 | 0.001 % |
49.30/49.41 c | 378635 | 374 1609 4855 | 14068 13165 19 | 0.001 % |
49.50/49.68 c | 381114 | 374 1609 4855 | 12934 12602 19 | 0.001 % |
49.80/49.99 c | 383840 | 374 1609 4855 | 12934 12549 19 | 0.001 % |
50.10/50.30 c | 386837 | 374 1609 4855 | 12934 12801 19 | 0.001 % |
50.50/50.64 c | 390133 | 374 1609 4855 | 2147483647 12202 19 | 0.001 % |
50.90/51.07 c | 393761 | 374 1609 4855 | 2147483647 15830 19 | 0.001 % |
50.90/51.08 c | 393863 | 374 1609 4855 | 2147483647 15932 19 | 0.001 % |
51.00/51.10 c | 393974 | 374 1609 4855 | 2147483647 16043 19 | 0.001 % |
51.00/51.12 c | 394095 | 374 1609 4855 | 2147483647 16164 19 | 0.001 % |
51.00/51.13 c | 394228 | 374 1609 4855 | 2147483647 16297 19 | 0.001 % |
51.00/51.15 c | 394376 | 374 1609 4855 | 2147483647 16445 19 | 0.001 % |
51.00/51.18 c | 394536 | 374 1609 4855 | 2147483647 16605 19 | 0.001 % |
51.10/51.20 c | 394712 | 374 1609 4855 | 2147483647 16781 19 | 0.001 % |
51.10/51.23 c | 394906 | 374 1609 4855 | 2147483647 16975 19 | 0.001 % |
51.10/51.26 c | 395119 | 374 1609 4855 | 2147483647 17188 19 | 0.001 % |
51.20/51.30 c | 395354 | 374 1609 4855 | 2147483647 17423 19 | 0.001 % |
51.20/51.35 c | 395611 | 374 1609 4855 | 2147483647 17680 19 | 0.001 % |
51.30/51.40 c | 395893 | 374 1609 4855 | 2147483647 17962 19 | 0.001 % |
51.30/51.45 c | 396202 | 374 1609 4855 | 2147483647 18271 19 | 0.001 % |
51.40/51.51 c | 396541 | 374 1609 4855 | 2147483647 18610 19 | 0.001 % |
51.40/51.56 c | 396913 | 374 1609 4855 | 2147483647 18982 19 | 0.001 % |
51.50/51.61 c | 397323 | 374 1609 4855 | 2147483647 19392 19 | 0.001 % |
51.50/51.68 c | 397773 | 374 1609 4855 | 2147483647 19842 19 | 0.001 % |
51.60/51.76 c | 398266 | 374 1609 4855 | 2147483647 20335 19 | 0.001 % |
51.70/51.84 c | 398808 | 374 1609 4855 | 2147483647 20877 19 | 0.001 % |
51.80/51.94 c | 399405 | 374 1609 4855 | 2147483647 21474 19 | 0.001 % |
51.90/52.07 c | 400060 | 374 1609 4855 | 22069 18009 19 | 0.001 % |
52.00/52.16 c | 400781 | 374 1609 4855 | 22069 18730 19 | 0.001 % |
52.10/52.27 c | 401573 | 374 1609 4855 | 22069 19522 19 | 0.001 % |
52.30/52.42 c | 402444 | 374 1609 4855 | 22069 20393 19 | 0.001 % |
52.40/52.57 c | 403403 | 374 1609 4855 | 22069 21352 19 | 0.001 % |
52.60/52.76 c | 404456 | 374 1609 4855 | 22069 17443 18 | 0.001 % |
52.80/52.93 c | 405615 | 374 1609 4855 | 22069 18602 18 | 0.001 % |
53.00/53.12 c | 406890 | 374 1609 4855 | 22069 19877 18 | 0.001 % |
53.20/53.35 c | 408291 | 374 1609 4855 | 22069 21278 18 | 0.001 % |
53.40/53.59 c | 409832 | 374 1609 4855 | 22069 17648 18 | 0.001 % |
53.70/53.80 c | 411527 | 374 1609 4855 | 17817 15190 18 | 0.001 % |
53.90/54.01 c | 413392 | 374 1609 4855 | 17817 17055 19 | 0.001 % |
54.10/54.25 c | 415441 | 374 1609 4855 | 17817 15646 19 | 0.001 % |
54.39/54.56 c | 417695 | 374 1609 4855 | 17817 14573 19 | 0.001 % |
54.69/54.87 c | 420174 | 374 1609 4855 | 16878 13890 19 | 0.001 % |
55.09/55.25 c | 422900 | 374 1609 4855 | 16878 16616 19 | 0.001 % |
55.59/55.70 c | 425899 | 374 1609 4855 | 16878 16420 19 | 0.001 % |
56.00/56.17 c | 429195 | 374 1609 4855 | 16878 16376 18 | 0.001 % |
56.49/56.62 c | 432824 | 374 1609 4855 | 13843 11608 18 | 0.001 % |
56.89/57.07 c | 436813 | 374 1609 4855 | 13843 13431 18 | 0.001 % |
56.89/57.09 c | 436913 | 374 1609 4855 | 13843 13531 18 | 0.001 % |
56.89/57.10 c | 437024 | 374 1609 4855 | 13843 13642 18 | 0.001 % |
57.00/57.11 c | 437146 | 374 1609 4855 | 13843 13764 18 | 0.001 % |
57.00/57.14 c | 437281 | 374 1609 4855 | 13843 11799 18 | 0.001 % |
57.00/57.15 c | 437428 | 374 1609 4855 | 13843 11946 18 | 0.001 % |
57.00/57.17 c | 437589 | 374 1609 4855 | 13843 12107 18 | 0.001 % |
57.00/57.19 c | 437766 | 374 1609 4855 | 13843 12284 18 | 0.001 % |
57.10/57.21 c | 437959 | 374 1609 4855 | 13843 12477 18 | 0.001 % |
57.10/57.24 c | 438172 | 374 1609 4855 | 13843 12690 18 | 0.001 % |
57.10/57.26 c | 438406 | 374 1609 4855 | 13843 12924 18 | 0.001 % |
57.10/57.29 c | 438662 | 374 1609 4855 | 13843 13180 18 | 0.001 % |
57.19/57.32 c | 438945 | 374 1609 4855 | 13843 13463 18 | 0.001 % |
57.19/57.36 c | 439255 | 374 1609 4855 | 13843 13773 18 | 0.001 % |
57.29/57.40 c | 439595 | 374 1609 4855 | 13843 12121 18 | 0.001 % |
57.29/57.44 c | 439969 | 374 1609 4855 | 13843 12495 18 | 0.001 % |
57.29/57.48 c | 440379 | 374 1609 4855 | 12526 11175 18 | 0.001 % |
57.39/57.52 c | 440829 | 374 1609 4855 | 12526 11625 18 | 0.001 % |
57.39/57.57 c | 441322 | 374 1609 4855 | 12526 12118 18 | 0.001 % |
57.49/57.64 c | 441865 | 374 1609 4855 | 12526 11173 18 | 0.001 % |
57.49/57.70 c | 442461 | 374 1609 4855 | 12526 11769 18 | 0.001 % |
57.59/57.77 c | 443116 | 374 1609 4855 | 12526 12424 18 | 0.001 % |
57.69/57.84 c | 443836 | 374 1609 4855 | 12526 11776 18 | 0.001 % |
57.79/57.93 c | 444628 | 374 1609 4855 | 12526 11289 17 | 0.001 % |
57.89/58.03 c | 445500 | 374 1609 4855 | 12526 12161 18 | 0.001 % |
57.99/58.13 c | 446458 | 374 1609 4855 | 12526 11852 18 | 0.001 % |
58.10/58.23 c | 447512 | 374 1609 4855 | 12526 11651 18 | 0.001 % |
58.20/58.36 c | 448670 | 374 1609 4855 | 12526 11551 18 | 0.001 % |
58.29/58.48 c | 449945 | 374 1609 4855 | 12526 11570 18 | 0.001 % |
58.49/58.62 c | 451345 | 374 1609 4855 | 2147483647 12970 18 | 0.001 % |
58.69/58.80 c | 452885 | 374 1609 4855 | 2147483647 14510 18 | 0.001 % |
58.89/59.03 c | 454579 | 374 1609 4855 | 2147483647 16204 18 | 0.001 % |
59.09/59.28 c | 456444 | 374 1609 4855 | 2147483647 18069 18 | 0.001 % |
59.39/59.59 c | 458493 | 374 1609 4855 | 2147483647 20118 18 | 0.001 % |
59.89/60.00 c | 460747 | 374 1609 4855 | 21626 18397 18 | 0.001 % |
60.19/60.36 c | 463226 | 374 1609 4855 | 21626 20876 18 | 0.001 % |
60.59/60.77 c | 465952 | 374 1609 4855 | 21626 19139 18 | 0.001 % |
61.09/61.27 c | 468951 | 374 1609 4855 | 21626 17301 18 | 0.001 % |
61.59/61.72 c | 472247 | 374 1609 4855 | 18350 16541 19 | 0.001 % |
62.09/62.20 c | 475874 | 374 1609 4855 | 18350 16569 19 | 0.001 % |
62.60/62.74 c | 479862 | 374 1609 4855 | 18350 16931 19 | 0.001 % |
63.19/63.34 c | 484248 | 374 1609 4855 | 17070 14387 18 | 0.001 % |
63.19/63.35 c | 484350 | 374 1609 4855 | 17070 14489 18 | 0.001 % |
63.19/63.37 c | 484460 | 374 1609 4855 | 17070 14599 18 | 0.001 % |
63.19/63.39 c | 484581 | 374 1609 4855 | 17070 14720 18 | 0.001 % |
63.29/63.41 c | 484715 | 374 1609 4855 | 17070 14854 18 | 0.001 % |
63.29/63.42 c | 484861 | 374 1609 4855 | 17070 15000 18 | 0.001 % |
63.29/63.44 c | 485023 | 374 1609 4855 | 17070 15162 19 | 0.001 % |
63.29/63.46 c | 485201 | 374 1609 4855 | 17070 15340 19 | 0.001 % |
63.29/63.49 c | 485395 | 374 1609 4855 | 17070 15534 19 | 0.001 % |
63.39/63.52 c | 485607 | 374 1609 4855 | 17070 15746 19 | 0.001 % |
63.39/63.55 c | 485841 | 374 1609 4855 | 17070 15980 19 | 0.001 % |
63.39/63.58 c | 486097 | 374 1609 4855 | 17070 16236 19 | 0.001 % |
63.49/63.62 c | 486378 | 374 1609 4855 | 17070 16517 19 | 0.001 % |
63.49/63.66 c | 486687 | 374 1609 4855 | 17070 16826 19 | 0.001 % |
63.59/63.71 c | 487028 | 374 1609 4855 | 17070 13759 18 | 0.001 % |
63.59/63.76 c | 487402 | 374 1609 4855 | 17070 14133 18 | 0.001 % |
63.69/63.81 c | 487812 | 374 1609 4855 | 17070 14543 18 | 0.001 % |
63.69/63.85 c | 488262 | 374 1609 4855 | 17070 14993 18 | 0.001 % |
63.79/63.90 c | 488756 | 374 1609 4855 | 17070 15487 18 | 0.001 % |
63.79/63.96 c | 489299 | 374 1609 4855 | 17070 16030 18 | 0.001 % |
63.89/64.04 c | 489896 | 374 1609 4855 | 17070 16627 18 | 0.001 % |
63.99/64.12 c | 490552 | 374 1609 4855 | 16733 14151 18 | 0.001 % |
64.09/64.20 c | 491273 | 374 1609 4855 | 16733 14872 18 | 0.001 % |
64.09/64.28 c | 492067 | 374 1609 4855 | 16733 15666 18 | 0.001 % |
64.19/64.38 c | 492940 | 374 1609 4855 | 16733 16539 18 | 0.001 % |
64.39/64.50 c | 493901 | 374 1609 4855 | 16733 14691 18 | 0.001 % |
64.49/64.63 c | 494954 | 374 1609 4855 | 16733 15744 19 | 0.001 % |
64.59/64.79 c | 496115 | 374 1609 4855 | 16733 14050 18 | 0.001 % |
64.79/64.94 c | 497388 | 374 1609 4855 | 16733 15323 19 | 0.001 % |
64.99/65.12 c | 498788 | 374 1609 4855 | 16733 16723 19 | 0.001 % |
65.19/65.31 c | 500328 | 374 1609 4855 | 15087 12906 18 | 0.001 % |
65.39/65.51 c | 502023 | 374 1609 4855 | 15087 14601 19 | 0.001 % |
65.59/65.71 c | 503886 | 374 1609 4855 | 15087 14146 19 | 0.001 % |
65.79/65.95 c | 505935 | 374 1609 4855 | 15087 13893 19 | 0.001 % |
65.99/66.19 c | 508188 | 374 1609 4855 | 15087 13892 19 | 0.001 % |
66.29/66.48 c | 510668 | 374 1609 4855 | 13547 12291 18 | 0.001 % |
66.58/66.77 c | 513394 | 374 1609 4855 | 13547 13299 19 | 0.001 % |
66.99/67.15 c | 516392 | 374 1609 4855 | 13547 13118 19 | 0.001 % |
67.38/67.55 c | 519689 | 374 1609 4855 | 13547 13076 18 | 0.001 % |
67.78/67.96 c | 523314 | 374 1609 4855 | 13388 12177 18 | 0.001 % |
68.18/68.38 c | 527302 | 374 1609 4855 | 13388 13375 18 | 0.001 % |
68.78/68.91 c | 531687 | 374 1609 4855 | 13245 11926 18 | 0.001 % |
69.38/69.50 c | 536510 | 374 1609 4855 | 13245 11910 18 | 0.001 % |
69.38/69.51 c | 536612 | 374 1609 4855 | 13245 12012 18 | 0.001 % |
69.38/69.52 c | 536722 | 374 1609 4855 | 13245 12122 18 | 0.001 % |
69.38/69.53 c | 536843 | 374 1609 4855 | 13245 12243 18 | 0.001 % |
69.38/69.54 c | 536976 | 374 1609 4855 | 13245 12376 18 | 0.001 % |
69.38/69.56 c | 537126 | 374 1609 4855 | 13245 12526 18 | 0.001 % |
69.38/69.58 c | 537286 | 374 1609 4855 | 13245 12686 18 | 0.001 % |
69.48/69.60 c | 537462 | 374 1609 4855 | 13245 12862 18 | 0.001 % |
69.48/69.62 c | 537655 | 374 1609 4855 | 13245 13055 18 | 0.001 % |
69.48/69.65 c | 537867 | 374 1609 4855 | 13245 13267 18 | 0.001 % |
69.48/69.68 c | 538101 | 374 1609 4855 | 13245 11880 18 | 0.001 % |
69.58/69.71 c | 538357 | 374 1609 4855 | 13245 12136 18 | 0.001 % |
69.58/69.73 c | 538638 | 374 1609 4855 | 13245 12417 18 | 0.001 % |
69.58/69.77 c | 538948 | 374 1609 4855 | 13245 12727 18 | 0.001 % |
69.68/69.81 c | 539288 | 374 1609 4855 | 13245 13067 18 | 0.001 % |
69.68/69.85 c | 539660 | 374 1609 4855 | 13245 11891 18 | 0.001 % |
69.78/69.91 c | 540069 | 374 1609 4855 | 12232 10873 18 | 0.001 % |
69.78/69.95 c | 540519 | 374 1609 4855 | 12232 11323 18 | 0.001 % |
69.78/70.00 c | 541013 | 374 1609 4855 | 12232 11817 18 | 0.001 % |
69.88/70.06 c | 541556 | 374 1609 4855 | 12232 11133 18 | 0.001 % |
69.98/70.13 c | 542152 | 374 1609 4855 | 12232 11729 18 | 0.001 % |
70.08/70.20 c | 542807 | 374 1609 4855 | 12232 11157 18 | 0.001 % |
70.08/70.28 c | 543528 | 374 1609 4855 | 12232 11878 18 | 0.001 % |
70.18/70.37 c | 544320 | 374 1609 4855 | 12232 11443 18 | 0.001 % |
70.28/70.46 c | 545191 | 374 1609 4855 | 12232 11087 18 | 0.001 % |
70.38/70.56 c | 546149 | 374 1609 4855 | 12232 12045 18 | 0.001 % |
70.48/70.67 c | 547203 | 374 1609 4855 | 12232 11871 18 | 0.001 % |
70.58/70.79 c | 548361 | 374 1609 4855 | 12232 11799 18 | 0.001 % |
70.78/70.92 c | 549634 | 374 1609 4855 | 12232 11846 18 | 0.001 % |
70.88/71.05 c | 551034 | 374 1609 4855 | 2147483647 13246 18 | 0.001 % |
71.08/71.23 c | 552575 | 374 1609 4855 | 2147483647 14787 19 | 0.001 % |
71.28/71.46 c | 554269 | 374 1609 4855 | 2147483647 16481 19 | 0.001 % |
71.58/71.71 c | 556135 | 374 1609 4855 | 2147483647 18347 19 | 0.001 % |
71.88/72.03 c | 558185 | 374 1609 4855 | 2147483647 20397 19 | 0.001 % |
72.28/72.43 c | 560438 | 374 1609 4855 | 22213 18935 19 | 0.001 % |
72.68/72.85 c | 562917 | 374 1609 4855 | 22213 21414 19 | 0.001 % |
73.08/73.25 c | 565645 | 374 1609 4855 | 22213 19319 19 | 0.001 % |
73.58/73.77 c | 568642 | 374 1609 4855 | 22213 17375 19 | 0.001 % |
74.08/74.23 c | 571938 | 374 1609 4855 | 18733 16560 19 | 0.001 % |
74.48/74.70 c | 575563 | 374 1609 4855 | 18733 16347 18 | 0.001 % |
74.98/75.13 c | 579550 | 374 1609 4855 | 18733 16656 19 | 0.001 % |
75.48/75.68 c | 583941 | 374 1609 4855 | 17106 14547 18 | 0.001 % |
76.08/76.26 c | 588765 | 374 1609 4855 | 17106 16315 19 | 0.001 % |
76.78/76.91 c | 594072 | 374 1609 4855 | 14497 13709 19 | 0.001 % |
76.78/76.92 c | 594173 | 374 1609 4855 | 14497 13810 19 | 0.001 % |
76.78/76.93 c | 594285 | 374 1609 4855 | 14497 13922 19 | 0.001 % |
76.78/76.95 c | 594407 | 374 1609 4855 | 14497 14044 19 | 0.001 % |
76.78/76.96 c | 594540 | 374 1609 4855 | 14497 14177 19 | 0.001 % |
76.78/76.98 c | 594686 | 374 1609 4855 | 14497 14323 19 | 0.001 % |
76.78/77.00 c | 594846 | 374 1609 4855 | 14497 14483 19 | 0.001 % |
76.88/77.02 c | 595023 | 374 1609 4855 | 14497 12573 19 | 0.001 % |
76.88/77.05 c | 595217 | 374 1609 4855 | 14497 12767 19 | 0.001 % |
76.88/77.07 c | 595429 | 374 1609 4855 | 14497 12979 19 | 0.001 % |
76.98/77.10 c | 595662 | 374 1609 4855 | 14497 13212 19 | 0.001 % |
76.98/77.12 c | 595918 | 374 1609 4855 | 14497 13468 19 | 0.001 % |
76.98/77.15 c | 596200 | 374 1609 4855 | 14497 13750 19 | 0.001 % |
76.98/77.19 c | 596509 | 374 1609 4855 | 14497 14059 19 | 0.001 % |
77.08/77.22 c | 596850 | 374 1609 4855 | 14497 14400 19 | 0.001 % |
77.08/77.28 c | 597222 | 374 1609 4855 | 14497 12777 19 | 0.001 % |
77.18/77.32 c | 597631 | 374 1609 4855 | 14497 13186 19 | 0.001 % |
77.18/77.36 c | 598081 | 374 1609 4855 | 14497 13636 19 | 0.001 % |
77.28/77.42 c | 598574 | 374 1609 4855 | 14497 14129 19 | 0.001 % |
77.28/77.49 c | 599117 | 374 1609 4855 | 14497 12700 19 | 0.001 % |
77.38/77.55 c | 599713 | 374 1609 4855 | 14497 13296 19 | 0.001 % |
77.48/77.63 c | 600368 | 374 1609 4855 | 13585 12149 19 | 0.001 % |
77.58/77.70 c | 601089 | 374 1609 4855 | 13585 12870 19 | 0.001 % |
77.58/77.79 c | 601881 | 374 1609 4855 | 13585 12045 18 | 0.001 % |
77.68/77.88 c | 602752 | 374 1609 4855 | 13585 12916 18 | 0.001 % |
77.77/77.99 c | 603712 | 374 1609 4855 | 13585 12375 18 | 0.001 % |
77.98/78.12 c | 604765 | 374 1609 4855 | 13585 13428 18 | 0.001 % |
78.07/78.25 c | 605926 | 374 1609 4855 | 13585 13121 18 | 0.001 % |
78.27/78.40 c | 607199 | 374 1609 4855 | 13585 12909 19 | 0.001 % |
78.37/78.56 c | 608600 | 374 1609 4855 | 13585 12801 18 | 0.001 % |
78.57/78.73 c | 610142 | 374 1609 4855 | 12695 11434 18 | 0.001 % |
78.77/78.91 c | 611837 | 374 1609 4855 | 12695 11786 18 | 0.001 % |
78.98/79.12 c | 613702 | 374 1609 4855 | 12695 12350 18 | 0.001 % |
79.17/79.37 c | 615751 | 374 1609 4855 | 12695 11822 17 | 0.001 % |
79.47/79.62 c | 618006 | 374 1609 4855 | 12695 11533 17 | 0.001 % |
79.67/79.82 c | 620484 | 374 1609 4855 | 2147483647 12735 17 | 0.001 % |
79.97/80.11 c | 623210 | 374 1609 4855 | 2147483647 15461 18 | 0.001 % |
80.37/80.51 c | 626208 | 374 1609 4855 | 2147483647 18459 18 | 0.001 % |
80.87/81.02 c | 629504 | 374 1609 4855 | 2147483647 21755 18 | 0.001 % |
81.37/81.56 c | 633129 | 374 1609 4855 | 22251 21717 18 | 0.001 % |
82.17/82.31 c | 637116 | 374 1609 4855 | 22251 20750 18 | 0.001 % |
82.87/83.03 c | 641501 | 374 1609 4855 | 18058 15048 17 | 0.001 % |
83.38/83.57 c | 646324 | 374 1609 4855 | 18058 16074 18 | 0.001 % |
84.07/84.21 c | 651629 | 374 1609 4855 | 16158 14658 19 | 0.001 % |
84.77/84.93 c | 657464 | 374 1609 4855 | 16158 15152 18 | 0.001 % |
84.77/84.94 c | 657564 | 374 1609 4855 | 16158 15252 18 | 0.001 % |
84.77/84.96 c | 657674 | 374 1609 4855 | 16158 15362 18 | 0.001 % |
84.77/84.98 c | 657795 | 374 1609 4855 | 16158 15483 18 | 0.001 % |
84.77/84.99 c | 657928 | 374 1609 4855 | 16158 15616 18 | 0.001 % |
84.87/85.01 c | 658074 | 374 1609 4855 | 16158 15762 18 | 0.001 % |
84.87/85.03 c | 658234 | 374 1609 4855 | 16158 15922 18 | 0.001 % |
84.87/85.06 c | 658410 | 374 1609 4855 | 16158 16098 18 | 0.001 % |
84.87/85.09 c | 658603 | 374 1609 4855 | 16158 13724 18 | 0.001 % |
84.97/85.12 c | 658816 | 374 1609 4855 | 16158 13937 18 | 0.001 % |
84.97/85.14 c | 659049 | 374 1609 4855 | 16158 14170 18 | 0.001 % |
84.97/85.17 c | 659306 | 374 1609 4855 | 16158 14427 18 | 0.001 % |
85.07/85.20 c | 659587 | 374 1609 4855 | 16158 14708 18 | 0.001 % |
85.07/85.24 c | 659899 | 374 1609 4855 | 16158 15020 18 | 0.001 % |
85.07/85.29 c | 660241 | 374 1609 4855 | 15122 12978 18 | 0.001 % |
85.17/85.32 c | 660614 | 374 1609 4855 | 15122 13351 18 | 0.001 % |
85.17/85.37 c | 661023 | 374 1609 4855 | 15122 13760 18 | 0.001 % |
85.27/85.41 c | 661474 | 374 1609 4855 | 15122 14211 18 | 0.001 % |
85.27/85.46 c | 661967 | 374 1609 4855 | 15122 14704 18 | 0.001 % |
85.37/85.54 c | 662512 | 374 1609 4855 | 15122 13227 17 | 0.001 % |
85.47/85.60 c | 663110 | 374 1609 4855 | 15122 13825 18 | 0.001 % |
85.47/85.67 c | 663767 | 374 1609 4855 | 15122 14482 18 | 0.001 % |
85.57/85.77 c | 664488 | 374 1609 4855 | 15122 13259 18 | 0.001 % |
85.67/85.85 c | 665282 | 374 1609 4855 | 15122 14053 18 | 0.001 % |
85.76/85.95 c | 666154 | 374 1609 4855 | 15122 14925 18 | 0.001 % |
85.86/86.05 c | 667112 | 374 1609 4855 | 15122 14053 18 | 0.001 % |
85.96/86.17 c | 668165 | 374 1609 4855 | 15122 15106 18 | 0.001 % |
86.16/86.30 c | 669324 | 374 1609 4855 | 15122 14480 18 | 0.001 % |
86.26/86.45 c | 670597 | 374 1609 4855 | 15157 14046 18 | 0.001 % |
86.46/86.61 c | 671997 | 374 1609 4855 | 15157 13680 19 | 0.001 % |
86.56/86.79 c | 673537 | 374 1609 4855 | 15157 13427 19 | 0.001 % |
86.77/86.97 c | 675231 | 374 1609 4855 | 15157 15121 19 | 0.001 % |
86.96/87.19 c | 677094 | 374 1609 4855 | 15157 13472 19 | 0.001 % |
87.26/87.43 c | 679147 | 374 1609 4855 | 15157 13772 19 | 0.001 % |
87.46/87.68 c | 681401 | 374 1609 4855 | 14627 14296 19 | 0.001 % |
87.77/87.98 c | 683879 | 374 1609 4855 | 14627 12990 18 | 0.001 % |
88.17/88.30 c | 686604 | 374 1609 4855 | 14627 13785 18 | 0.001 % |
88.47/88.66 c | 689602 | 374 1609 4855 | 14627 12974 19 | 0.001 % |
88.87/89.02 c | 692899 | 374 1609 4855 | 13372 13046 19 | 0.001 % |
89.17/89.40 c | 696524 | 374 1609 4855 | 13372 12615 20 | 0.001 % |
89.67/89.85 c | 700511 | 374 1609 4855 | 13356 12445 19 | 0.001 % |
90.07/90.29 c | 704897 | 374 1609 4855 | 13356 12763 20 | 0.001 % |
90.67/90.85 c | 709721 | 374 1609 4855 | 13356 12229 19 | 0.001 % |
91.37/91.50 c | 715026 | 374 1609 4855 | 2147483647 17534 20 | 0.001 % |
92.37/92.55 c | 720861 | 374 1609 4855 | 22510 18728 20 | 0.001 % |
93.47/93.61 c | 727282 | 374 1609 4855 | 22510 19559 19 | 0.001 % |
93.47/93.62 c | 727385 | 374 1609 4855 | 22510 19662 19 | 0.001 % |
93.47/93.64 c | 727496 | 374 1609 4855 | 22510 19773 19 | 0.001 % |
93.47/93.67 c | 727620 | 374 1609 4855 | 22510 19897 19 | 0.001 % |
93.47/93.68 c | 727754 | 374 1609 4855 | 22510 20031 19 | 0.001 % |
93.57/93.71 c | 727901 | 374 1609 4855 | 22510 20178 19 | 0.001 % |
93.57/93.73 c | 728061 | 374 1609 4855 | 22510 20338 19 | 0.001 % |
93.57/93.77 c | 728237 | 374 1609 4855 | 22510 20514 19 | 0.001 % |
93.67/93.80 c | 728430 | 374 1609 4855 | 22510 20707 19 | 0.001 % |
93.67/93.85 c | 728642 | 374 1609 4855 | 22510 20919 19 | 0.001 % |
93.77/93.90 c | 728875 | 374 1609 4855 | 22510 21152 19 | 0.001 % |
93.77/93.96 c | 729131 | 374 1609 4855 | 22510 21408 19 | 0.001 % |
93.86/94.02 c | 729413 | 374 1609 4855 | 22510 21690 19 | 0.001 % |
93.86/94.08 c | 729724 | 374 1609 4855 | 22510 22001 19 | 0.001 % |
93.96/94.14 c | 730063 | 374 1609 4855 | 22279 22340 19 | 0.001 % |
94.06/94.23 c | 730437 | 374 1609 4855 | 22279 16929 19 | 0.001 % |
94.06/94.28 c | 730846 | 374 1609 4855 | 22279 17338 19 | 0.001 % |
94.16/94.34 c | 731295 | 374 1609 4855 | 22279 17787 19 | 0.001 % |
94.26/94.43 c | 731788 | 374 1609 4855 | 22279 18280 19 | 0.001 % |
94.37/94.53 c | 732330 | 374 1609 4855 | 22279 18822 19 | 0.001 % |
94.47/94.64 c | 732926 | 374 1609 4855 | 22279 19418 19 | 0.001 % |
94.56/94.74 c | 733581 | 374 1609 4855 | 22279 20073 19 | 0.001 % |
94.66/94.88 c | 734305 | 374 1609 4855 | 22279 20797 19 | 0.001 % |
94.86/95.02 c | 735100 | 374 1609 4855 | 22279 21592 19 | 0.001 % |
94.96/95.19 c | 735972 | 374 1609 4855 | 22279 16750 19 | 0.001 % |
95.16/95.31 c | 736930 | 374 1609 4855 | 22279 17708 19 | 0.001 % |
95.26/95.45 c | 737983 | 374 1609 4855 | 22279 18761 19 | 0.001 % |
95.47/95.65 c | 739141 | 374 1609 4855 | 22279 19919 19 | 0.001 % |
95.66/95.89 c | 740415 | 374 1609 4855 | 20779 16059 19 | 0.001 % |
95.86/96.07 c | 741815 | 374 1609 4855 | 20779 17459 19 | 0.001 % |
96.16/96.31 c | 743356 | 374 1609 4855 | 20779 19000 19 | 0.001 % |
96.36/96.59 c | 745050 | 374 1609 4855 | 20779 20694 19 | 0.001 % |
96.67/96.86 c | 746913 | 374 1609 4855 | 20779 17649 19 | 0.001 % |
96.96/97.16 c | 748962 | 374 1609 4855 | 20779 19698 19 | 0.001 % |
97.36/97.55 c | 751215 | 374 1609 4855 | 20738 17040 19 | 0.001 % |
97.77/97.93 c | 753696 | 374 1609 4855 | 20738 19521 19 | 0.001 % |
98.16/98.32 c | 756422 | 374 1609 4855 | 20738 17413 18 | 0.001 % |
98.56/98.76 c | 759419 | 374 1609 4855 | 20738 20410 19 | 0.001 % |
99.06/99.20 c | 762715 | 374 1609 4855 | 16310 15379 19 | 0.001 % |
99.46/99.65 c | 766340 | 374 1609 4855 | 16310 15936 19 | 0.001 % |
99.96/100.18 c | 770332 | 374 1609 4855 | 13751 11635 18 | 0.001 % |
100.46/100.65 c | 774720 | 374 1609 4855 | 13751 11934 18 | 0.001 % |
101.06/101.20 c | 779546 | 374 1609 4855 | 13751 12847 18 | 0.001 % |
101.46/101.69 c | 784852 | 374 1609 4855 | 13303 13246 18 | 0.001 % |
102.16/102.37 c | 790688 | 374 1609 4855 | 12490 11744 18 | 0.001 % |
102.96/103.15 c | 797109 | 374 1609 4855 | 12490 11663 17 | 0.001 % |
103.66/103.88 c | 804169 | 374 1609 4855 | 11356 10657 17 | 0.001 % |
103.66/103.89 c | 804271 | 374 1609 4855 | 11356 10759 17 | 0.001 % |
103.76/103.90 c | 804381 | 374 1609 4855 | 11356 10869 17 | 0.001 % |
103.76/103.91 c | 804502 | 374 1609 4855 | 11356 10990 17 | 0.001 % |
103.76/103.92 c | 804635 | 374 1609 4855 | 11356 11123 18 | 0.001 % |
103.76/103.93 c | 804783 | 374 1609 4855 | 11356 11271 18 | 0.001 % |
103.76/103.95 c | 804943 | 374 1609 4855 | 11356 10291 18 | 0.001 % |
103.76/103.97 c | 805119 | 374 1609 4855 | 11356 10467 18 | 0.001 % |
103.76/103.99 c | 805312 | 374 1609 4855 | 11356 10660 18 | 0.001 % |
103.86/104.00 c | 805526 | 374 1609 4855 | 11356 10874 18 | 0.001 % |
103.86/104.02 c | 805761 | 374 1609 4855 | 11356 11109 18 | 0.001 % |
103.86/104.05 c | 806017 | 374 1609 4855 | 11356 11365 18 | 0.001 % |
103.86/104.08 c | 806298 | 374 1609 4855 | 11356 10510 18 | 0.001 % |
103.96/104.12 c | 806607 | 374 1609 4855 | 11356 10819 18 | 0.001 % |
103.96/104.16 c | 806946 | 374 1609 4855 | 11356 11158 18 | 0.001 % |
104.06/104.20 c | 807320 | 374 1609 4855 | 11356 10393 18 | 0.001 % |
104.06/104.24 c | 807729 | 374 1609 4855 | 11356 10802 18 | 0.001 % |
104.06/104.28 c | 808179 | 374 1609 4855 | 11356 11252 18 | 0.001 % |
104.16/104.34 c | 808672 | 374 1609 4855 | 11356 10604 18 | 0.001 % |
104.16/104.39 c | 809215 | 374 1609 4855 | 11356 11147 18 | 0.001 % |
104.26/104.44 c | 809813 | 374 1609 4855 | 11356 10605 18 | 0.001 % |
104.36/104.50 c | 810469 | 374 1609 4855 | 2147483647 11261 18 | 0.001 % |
104.36/104.57 c | 811190 | 374 1609 4855 | 2147483647 11982 18 | 0.001 % |
104.46/104.66 c | 811982 | 374 1609 4855 | 2147483647 12774 18 | 0.001 % |
104.56/104.78 c | 812853 | 374 1609 4855 | 2147483647 13645 18 | 0.001 % |
104.66/104.89 c | 813812 | 374 1609 4855 | 2147483647 14604 18 | 0.001 % |
104.86/105.04 c | 814865 | 374 1609 4855 | 2147483647 15657 18 | 0.001 % |
105.06/105.20 c | 816023 | 374 1609 4855 | 2147483647 16815 18 | 0.001 % |
105.16/105.39 c | 817296 | 374 1609 4855 | 2147483647 18088 18 | 0.001 % |
105.46/105.62 c | 818697 | 374 1609 4855 | 2147483647 19489 19 | 0.001 % |
105.66/105.88 c | 820237 | 374 1609 4855 | 20793 17705 18 | 0.001 % |
105.96/106.16 c | 821932 | 374 1609 4855 | 20793 19400 19 | 0.001 % |
106.26/106.47 c | 823798 | 374 1609 4855 | 20793 17038 18 | 0.001 % |
106.56/106.78 c | 825848 | 374 1609 4855 | 20793 19088 19 | 0.001 % |
106.96/107.16 c | 828102 | 374 1609 4855 | 20793 16859 18 | 0.001 % |
107.36/107.51 c | 830580 | 374 1609 4855 | 18758 15326 18 | 0.001 % |
107.66/107.87 c | 833306 | 374 1609 4855 | 18758 18052 19 | 0.001 % |
108.06/108.28 c | 836306 | 374 1609 4855 | 18758 17131 19 | 0.001 % |
108.56/108.78 c | 839602 | 374 1609 4855 | 18758 16634 19 | 0.001 % |
109.06/109.22 c | 843228 | 374 1609 4855 | 17033 16807 19 | 0.001 % |
109.46/109.67 c | 847216 | 374 1609 4855 | 17033 14988 18 | 0.001 % |
110.06/110.27 c | 851602 | 374 1609 4855 | 14914 14028 18 | 0.001 % |
110.66/110.86 c | 856425 | 374 1609 4855 | 14914 14327 18 | 0.001 % |
111.26/111.49 c | 861731 | 374 1609 4855 | 13371 13108 18 | 0.001 % |
111.96/112.12 c | 867566 | 374 1609 4855 | 13371 12820 18 | 0.001 % |
112.56/112.74 c | 873984 | 374 1609 4855 | 12431 11369 17 | 0.001 % |
113.26/113.43 c | 881043 | 374 1609 4855 | 2147483647 13438 18 | 0.001 % |
114.26/114.42 c | 888807 | 374 1609 4855 | 2147483647 21202 19 | 0.001 % |
114.26/114.44 c | 888909 | 374 1609 4855 | 2147483647 21304 19 | 0.001 % |
114.26/114.45 c | 889020 | 374 1609 4855 | 2147483647 21415 19 | 0.001 % |
114.26/114.48 c | 889141 | 374 1609 4855 | 2147483647 21536 19 | 0.001 % |
114.36/114.50 c | 889274 | 374 1609 4855 | 2147483647 21669 19 | 0.001 % |
114.36/114.53 c | 889420 | 374 1609 4855 | 2147483647 21815 19 | 0.001 % |
114.36/114.56 c | 889580 | 374 1609 4855 | 2147483647 21975 19 | 0.001 % |
114.45/114.60 c | 889758 | 374 1609 4855 | 2147483647 22153 19 | 0.001 % |
114.45/114.65 c | 889951 | 374 1609 4855 | 2147483647 22346 19 | 0.001 % |
114.55/114.72 c | 890164 | 374 1609 4855 | 22395 17785 19 | 0.001 % |
114.55/114.75 c | 890397 | 374 1609 4855 | 22395 18018 19 | 0.001 % |
114.55/114.79 c | 890653 | 374 1609 4855 | 22395 18274 19 | 0.001 % |
114.65/114.83 c | 890934 | 374 1609 4855 | 22395 18555 19 | 0.001 % |
114.65/114.88 c | 891243 | 374 1609 4855 | 22395 18864 19 | 0.001 % |
114.75/114.94 c | 891582 | 374 1609 4855 | 22395 19203 19 | 0.001 % |
114.85/115.01 c | 891956 | 374 1609 4855 | 22395 19577 19 | 0.001 % |
114.85/115.09 c | 892365 | 374 1609 4855 | 22395 19986 19 | 0.001 % |
114.95/115.18 c | 892814 | 374 1609 4855 | 22395 20435 19 | 0.001 % |
115.05/115.25 c | 893308 | 374 1609 4855 | 22395 20929 19 | 0.001 % |
115.15/115.35 c | 893853 | 374 1609 4855 | 22395 21474 19 | 0.001 % |
115.26/115.45 c | 894449 | 374 1609 4855 | 22395 22070 19 | 0.001 % |
115.45/115.60 c | 895104 | 374 1609 4855 | 22395 17195 19 | 0.001 % |
115.55/115.71 c | 895824 | 374 1609 4855 | 22395 17915 19 | 0.001 % |
115.65/115.84 c | 896616 | 374 1609 4855 | 22395 18707 19 | 0.001 % |
115.75/115.97 c | 897489 | 374 1609 4855 | 22395 19580 19 | 0.001 % |
115.95/116.11 c | 898448 | 374 1609 4855 | 22395 20539 19 | 0.001 % |
116.05/116.28 c | 899501 | 374 1609 4855 | 22395 21592 19 | 0.001 % |
116.25/116.45 c | 900659 | 374 1609 4855 | 22091 17289 18 | 0.001 % |
116.45/116.64 c | 901935 | 374 1609 4855 | 22091 18565 18 | 0.001 % |
116.65/116.88 c | 903337 | 374 1609 4855 | 22091 19967 18 | 0.001 % |
116.95/117.17 c | 904877 | 374 1609 4855 | 22091 21507 18 | 0.001 % |
117.25/117.45 c | 906571 | 374 1609 4855 | 22091 17695 18 | 0.001 % |
117.55/117.71 c | 908434 | 374 1609 4855 | 22091 19558 18 | 0.001 % |
117.85/118.01 c | 910483 | 374 1609 4855 | 21125 16579 18 | 0.001 % |
118.05/118.27 c | 912737 | 374 1609 4855 | 21125 18833 18 | 0.001 % |
118.45/118.63 c | 915215 | 374 1609 4855 | 21125 16878 18 | 0.001 % |
118.75/118.96 c | 917940 | 374 1609 4855 | 21125 19603 18 | 0.001 % |
119.25/119.43 c | 920937 | 374 1609 4855 | 17102 14344 18 | 0.001 % |
119.75/119.90 c | 924233 | 374 1609 4855 | 17102 14126 19 | 0.001 % |
120.25/120.42 c | 927858 | 374 1609 4855 | 17102 14280 18 | 0.001 % |
120.65/120.90 c | 931846 | 374 1609 4855 | 16422 15070 18 | 0.001 % |
121.25/121.47 c | 936233 | 374 1609 4855 | 16422 13577 18 | 0.001 % |
121.85/122.05 c | 941057 | 374 1609 4855 | 14563 13174 18 | 0.001 % |
122.35/122.56 c | 946362 | 374 1609 4855 | 14563 14533 19 | 0.001 % |
123.05/123.25 c | 952197 | 374 1609 4855 | 14472 13002 19 | 0.001 % |
123.75/123.97 c | 958616 | 374 1609 4855 | 14472 14042 19 | 0.001 % |
124.65/124.87 c | 965675 | 374 1609 4855 | 13609 12648 18 | 0.001 % |
125.54/125.75 c | 973440 | 374 1609 4855 | 13543 13582 17 | 0.001 % |
126.54/126.78 c | 981981 | 374 1609 4855 | 13501 12006 19 | 0.001 % |
126.54/126.79 c | 982083 | 374 1609 4855 | 13501 12108 19 | 0.001 % |
126.64/126.80 c | 982193 | 374 1609 4855 | 13501 12218 19 | 0.001 % |
126.64/126.81 c | 982316 | 374 1609 4855 | 13501 12341 19 | 0.001 % |
126.64/126.82 c | 982451 | 374 1609 4855 | 13501 12476 19 | 0.001 % |
126.64/126.83 c | 982597 | 374 1609 4855 | 13501 12622 19 | 0.001 % |
126.64/126.85 c | 982760 | 374 1609 4855 | 13501 12785 19 | 0.001 % |
126.64/126.87 c | 982936 | 374 1609 4855 | 13501 12961 19 | 0.001 % |
126.64/126.88 c | 983129 | 374 1609 4855 | 13501 13154 19 | 0.001 % |
126.74/126.91 c | 983344 | 374 1609 4855 | 13501 13369 19 | 0.001 % |
126.74/126.93 c | 983577 | 374 1609 4855 | 13501 12085 19 | 0.001 % |
126.74/126.96 c | 983835 | 374 1609 4855 | 13501 12343 19 | 0.001 % |
126.74/126.99 c | 984117 | 374 1609 4855 | 13501 12625 19 | 0.001 % |
126.84/127.02 c | 984427 | 374 1609 4855 | 13501 12935 19 | 0.001 % |
126.84/127.06 c | 984767 | 374 1609 4855 | 13501 13275 19 | 0.001 % |
126.94/127.11 c | 985139 | 374 1609 4855 | 13501 12202 19 | 0.001 % |
126.94/127.15 c | 985549 | 374 1609 4855 | 13501 12612 19 | 0.001 % |
126.94/127.19 c | 985998 | 374 1609 4855 | 13501 13061 19 | 0.001 % |
127.04/127.25 c | 986493 | 374 1609 4855 | 13501 13556 19 | 0.001 % |
127.14/127.31 c | 987036 | 374 1609 4855 | 13501 12678 19 | 0.001 % |
127.14/127.38 c | 987632 | 374 1609 4855 | 13501 13274 19 | 0.001 % |
127.24/127.45 c | 988288 | 374 1609 4855 | 13501 12468 18 | 0.001 % |
127.35/127.53 c | 989009 | 374 1609 4855 | 13501 13189 19 | 0.001 % |
127.44/127.62 c | 989801 | 374 1609 4855 | 13501 12583 18 | 0.001 % |
127.54/127.72 c | 990672 | 374 1609 4855 | 12783 12149 18 | 0.001 % |
127.64/127.81 c | 991632 | 374 1609 4855 | 12783 11826 18 | 0.001 % |
127.74/127.93 c | 992686 | 374 1609 4855 | 12783 11597 19 | 0.001 % |
127.84/128.06 c | 993844 | 374 1609 4855 | 12783 12755 19 | 0.001 % |
128.04/128.22 c | 995119 | 374 1609 4855 | 12783 12748 19 | 0.001 % |
128.14/128.39 c | 996519 | 374 1609 4855 | 12783 11585 19 | 0.001 % |
128.34/128.56 c | 998062 | 374 1609 4855 | 12783 11846 19 | 0.001 % |
128.54/128.73 c | 999757 | 374 1609 4855 | 12783 12258 18 | 0.001 % |
128.74/128.93 c | 1001620 | 374 1609 4855 | 2147483647 14121 19 | 0.001 % |
128.94/129.16 c | 1003669 | 374 1609 4855 | 2147483647 16170 19 | 0.001 % |
129.24/129.49 c | 1005923 | 374 1609 4855 | 2147483647 18424 19 | 0.001 % |
129.74/129.92 c | 1008401 | 374 1609 4855 | 2147483647 20902 19 | 0.001 % |
130.24/130.41 c | 1011126 | 374 1609 4855 | 22501 19381 19 | 0.001 % |
130.73/130.91 c | 1014125 | 374 1609 4855 | 22501 22380 19 | 0.001 % |
131.23/131.43 c | 1017421 | 374 1609 4855 | 22501 20876 19 | 0.001 % |
131.83/132.08 c | 1021046 | 374 1609 4855 | 18375 15259 19 | 0.001 % |
132.32/132.58 c | 1025033 | 374 1609 4855 | 18375 15530 19 | 0.001 % |
132.92/133.19 c | 1029420 | 374 1609 4855 | 18375 16295 19 | 0.001 % |
133.62/133.80 c | 1034243 | 374 1609 4855 | 16877 14777 19 | 0.001 % |
134.32/134.52 c | 1039549 | 374 1609 4855 | 16877 13923 19 | 0.001 % |
134.91/135.17 c | 1045384 | 374 1609 4855 | 14376 12685 18 | 0.001 % |
135.72/135.90 c | 1051803 | 374 1609 4855 | 13202 13169 18 | 0.001 % |
136.42/136.68 c | 1058863 | 374 1609 4855 | 13202 11976 18 | 0.001 % |
137.32/137.52 c | 1066627 | 374 1609 4855 | 13115 12386 19 | 0.001 % |
138.21/138.45 c | 1075169 | 374 1609 4855 | 12933 12495 18 | 0.001 % |
139.31/139.51 c | 1084564 | 374 1609 4855 | 11773 11485 19 | 0.001 % |
139.31/139.52 c | 1084664 | 374 1609 4855 | 11773 11585 19 | 0.001 % |
139.31/139.53 c | 1084774 | 374 1609 4855 | 11773 11695 19 | 0.001 % |
139.31/139.55 c | 1084895 | 374 1609 4855 | 11773 10636 19 | 0.001 % |
139.31/139.56 c | 1085029 | 374 1609 4855 | 11773 10770 19 | 0.001 % |
139.31/139.58 c | 1085175 | 374 1609 4855 | 11773 10916 19 | 0.001 % |
139.31/139.59 c | 1085335 | 374 1609 4855 | 11773 11076 19 | 0.001 % |
139.42/139.61 c | 1085514 | 374 1609 4855 | 11773 11255 19 | 0.001 % |
139.42/139.63 c | 1085707 | 374 1609 4855 | 11773 11448 19 | 0.001 % |
139.42/139.65 c | 1085920 | 374 1609 4855 | 11773 11661 19 | 0.001 % |
139.42/139.68 c | 1086154 | 374 1609 4855 | 11773 10715 19 | 0.001 % |
139.52/139.70 c | 1086410 | 374 1609 4855 | 11773 10971 19 | 0.001 % |
139.52/139.73 c | 1086694 | 374 1609 4855 | 11773 11255 19 | 0.001 % |
139.52/139.76 c | 1087004 | 374 1609 4855 | 11773 11565 19 | 0.001 % |
139.52/139.80 c | 1087343 | 374 1609 4855 | 11773 10723 19 | 0.001 % |
139.61/139.83 c | 1087716 | 374 1609 4855 | 11773 11096 19 | 0.001 % |
139.61/139.87 c | 1088127 | 374 1609 4855 | 11773 11507 19 | 0.001 % |
139.71/139.92 c | 1088580 | 374 1609 4855 | 11773 10778 19 | 0.001 % |
139.71/139.97 c | 1089074 | 374 1609 4855 | 11773 11272 19 | 0.001 % |
139.81/140.01 c | 1089617 | 374 1609 4855 | 11773 11815 19 | 0.001 % |
139.81/140.08 c | 1090214 | 374 1609 4855 | 2147483647 11231 18 | 0.001 % |
139.91/140.14 c | 1090869 | 374 1609 4855 | 2147483647 11886 19 | 0.001 % |
140.01/140.22 c | 1091589 | 374 1609 4855 | 2147483647 12606 19 | 0.001 % |
140.11/140.31 c | 1092381 | 374 1609 4855 | 2147483647 13398 19 | 0.001 % |
140.21/140.42 c | 1093253 | 374 1609 4855 | 2147483647 14270 19 | 0.001 % |
140.31/140.52 c | 1094211 | 374 1609 4855 | 2147483647 15228 19 | 0.001 % |
140.42/140.65 c | 1095264 | 374 1609 4855 | 2147483647 16281 19 | 0.001 % |
140.52/140.78 c | 1096422 | 374 1609 4855 | 2147483647 17439 19 | 0.001 % |
140.72/140.93 c | 1097696 | 374 1609 4855 | 2147483647 18713 19 | 0.001 % |
140.92/141.13 c | 1099097 | 374 1609 4855 | 2147483647 20114 19 | 0.001 % |
141.12/141.37 c | 1100638 | 374 1609 4855 | 21021 18633 19 | 0.001 % |
141.42/141.63 c | 1102333 | 374 1609 4855 | 21021 20328 19 | 0.001 % |
141.72/141.94 c | 1104196 | 374 1609 4855 | 21021 18116 19 | 0.001 % |
142.02/142.23 c | 1106248 | 374 1609 4855 | 21021 20168 19 | 0.001 % |
142.32/142.56 c | 1108501 | 374 1609 4855 | 21021 18208 18 | 0.001 % |
142.62/142.89 c | 1110979 | 374 1609 4855 | 19707 16720 18 | 0.001 % |
143.02/143.26 c | 1113705 | 374 1609 4855 | 19707 19446 18 | 0.001 % |
143.42/143.66 c | 1116702 | 374 1609 4855 | 19707 18755 18 | 0.001 % |
143.92/144.14 c | 1120000 | 374 1609 4855 | 19707 18294 19 | 0.001 % |
144.32/144.57 c | 1123626 | 374 1609 4855 | 18294 15299 19 | 0.001 % |
144.92/145.12 c | 1127613 | 374 1609 4855 | 18294 15928 19 | 0.001 % |
145.52/145.71 c | 1131998 | 374 1609 4855 | 18316 16909 19 | 0.001 % |
146.12/146.38 c | 1136821 | 374 1609 4855 | 18316 18171 19 | 0.001 % |
146.82/147.02 c | 1142128 | 374 1609 4855 | 17616 16266 19 | 0.001 % |
147.62/147.83 c | 1147966 | 374 1609 4855 | 17616 15430 18 | 0.001 % |
148.52/148.76 c | 1154385 | 374 1609 4855 | 17464 14638 17 | 0.001 % |
149.52/149.76 c | 1161445 | 374 1609 4855 | 16515 14450 17 | 0.001 % |
150.52/150.73 c | 1169211 | 374 1609 4855 | 16515 15601 17 | 0.001 % |
151.52/151.76 c | 1177752 | 374 1609 4855 | 16392 14484 17 | 0.001 % |
152.52/152.76 c | 1187146 | 374 1609 4855 | 13633 12687 18 | 0.001 % |
153.82/154.06 c | 1197479 | 374 1609 4855 | 13665 13372 18 | 0.001 % |
153.82/154.08 c | 1197581 | 374 1609 4855 | 13665 13474 18 | 0.001 % |
153.82/154.09 c | 1197691 | 374 1609 4855 | 13665 13584 18 | 0.001 % |
153.92/154.10 c | 1197812 | 374 1609 4855 | 13665 13705 18 | 0.001 % |
153.92/154.12 c | 1197945 | 374 1609 4855 | 13665 11781 18 | 0.001 % |
153.92/154.14 c | 1198091 | 374 1609 4855 | 13665 11927 18 | 0.001 % |
153.92/154.15 c | 1198253 | 374 1609 4855 | 13665 12089 18 | 0.001 % |
153.92/154.17 c | 1198429 | 374 1609 4855 | 13665 12265 18 | 0.001 % |
153.92/154.19 c | 1198622 | 374 1609 4855 | 13665 12458 18 | 0.001 % |
154.02/154.21 c | 1198834 | 374 1609 4855 | 13665 12670 18 | 0.001 % |
154.02/154.23 c | 1199067 | 374 1609 4855 | 13665 12903 18 | 0.001 % |
154.02/154.26 c | 1199325 | 374 1609 4855 | 13665 13161 18 | 0.001 % |
154.12/154.30 c | 1199607 | 374 1609 4855 | 13665 13443 18 | 0.001 % |
154.12/154.35 c | 1199917 | 374 1609 4855 | 13665 11782 18 | 0.001 % |
154.12/154.38 c | 1200259 | 374 1609 4855 | 11866 10420 17 | 0.001 % |
154.22/154.42 c | 1200631 | 374 1609 4855 | 11866 10792 18 | 0.001 % |
154.22/154.46 c | 1201040 | 374 1609 4855 | 11866 11201 18 | 0.001 % |
154.22/154.50 c | 1201491 | 374 1609 4855 | 11866 11652 18 | 0.001 % |
154.32/154.55 c | 1201986 | 374 1609 4855 | 11866 10804 18 | 0.001 % |
154.42/154.60 c | 1202528 | 374 1609 4855 | 11866 11346 18 | 0.001 % |
154.42/154.67 c | 1203126 | 374 1609 4855 | 11866 10753 18 | 0.001 % |
154.52/154.73 c | 1203782 | 374 1609 4855 | 11866 11409 18 | 0.001 % |
154.61/154.80 c | 1204502 | 374 1609 4855 | 11866 10939 18 | 0.001 % |
154.61/154.89 c | 1205295 | 374 1609 4855 | 11866 11732 18 | 0.001 % |
154.71/154.98 c | 1206170 | 374 1609 4855 | 11866 11415 18 | 0.001 % |
154.82/155.08 c | 1207128 | 374 1609 4855 | 11866 11183 18 | 0.001 % |
154.92/155.19 c | 1208183 | 374 1609 4855 | 11866 11047 18 | 0.001 % |
155.11/155.31 c | 1209345 | 374 1609 4855 | 11866 11019 18 | 0.001 % |
155.21/155.45 c | 1210619 | 374 1609 4855 | 2147483647 12293 18 | 0.001 % |
155.41/155.60 c | 1212019 | 374 1609 4855 | 2147483647 13693 18 | 0.001 % |
155.51/155.79 c | 1213559 | 374 1609 4855 | 2147483647 15233 18 | 0.001 % |
155.81/156.00 c | 1215254 | 374 1609 4855 | 2147483647 16928 19 | 0.001 % |
156.02/156.27 c | 1217118 | 374 1609 4855 | 2147483647 18792 19 | 0.001 % |
156.41/156.60 c | 1219167 | 374 1609 4855 | 2147483647 20841 19 | 0.001 % |
156.71/156.94 c | 1221420 | 374 1609 4855 | 21677 19380 18 | 0.001 % |
157.12/157.32 c | 1223898 | 374 1609 4855 | 21677 17445 18 | 0.001 % |
157.51/157.71 c | 1226623 | 374 1609 4855 | 21677 20170 18 | 0.001 % |
157.91/158.18 c | 1229622 | 374 1609 4855 | 21677 18435 18 | 0.001 % |
158.41/158.60 c | 1232919 | 374 1609 4855 | 18813 17667 18 | 0.001 % |
158.81/159.07 c | 1236544 | 374 1609 4855 | 18813 17856 19 | 0.001 % |
159.31/159.59 c | 1240534 | 374 1609 4855 | 17890 15150 19 | 0.001 % |
159.91/160.17 c | 1244920 | 374 1609 4855 | 17890 16175 20 | 0.001 % |
160.61/160.87 c | 1249745 | 374 1609 4855 | 17890 17516 19 | 0.001 % |
161.31/161.55 c | 1255051 | 374 1609 4855 | 17772 15939 19 | 0.001 % |
162.01/162.28 c | 1260887 | 374 1609 4855 | 17598 15207 18 | 0.001 % |
162.91/163.14 c | 1267305 | 374 1609 4855 | 17598 15448 19 | 0.001 % |
163.81/164.07 c | 1274365 | 374 1609 4855 | 14911 13918 18 | 0.001 % |
164.71/164.91 c | 1282129 | 374 1609 4855 | 14575 14422 18 | 0.001 % |
165.71/165.92 c | 1290669 | 374 1609 4855 | 14328 13139 18 | 0.001 % |
166.71/166.96 c | 1300063 | 374 1609 4855 | 14269 12289 17 | 0.001 % |
167.81/168.02 c | 1310396 | 374 1609 4855 | 13066 11731 19 | 0.001 % |
169.01/169.27 c | 1321762 | 374 1609 4855 | 11532 10531 19 | 0.001 % |
169.01/169.28 c | 1321862 | 374 1609 4855 | 11532 10631 19 | 0.001 % |
169.01/169.29 c | 1321974 | 374 1609 4855 | 11532 10743 19 | 0.001 % |
169.11/169.31 c | 1322095 | 374 1609 4855 | 11532 10864 19 | 0.001 % |
169.11/169.32 c | 1322228 | 374 1609 4855 | 11532 10997 19 | 0.001 % |
169.11/169.33 c | 1322374 | 374 1609 4855 | 11532 11143 19 | 0.001 % |
169.11/169.35 c | 1322536 | 374 1609 4855 | 11532 11305 19 | 0.001 % |
169.11/169.37 c | 1322712 | 374 1609 4855 | 11532 11481 19 | 0.001 % |
169.11/169.40 c | 1322906 | 374 1609 4855 | 11532 10399 19 | 0.001 % |
169.21/169.42 c | 1323119 | 374 1609 4855 | 11532 10612 19 | 0.001 % |
169.21/169.45 c | 1323352 | 374 1609 4855 | 11532 10845 19 | 0.001 % |
169.21/169.48 c | 1323608 | 374 1609 4855 | 11532 11101 19 | 0.001 % |
169.31/169.50 c | 1323890 | 374 1609 4855 | 11532 11383 19 | 0.001 % |
169.31/169.54 c | 1324199 | 374 1609 4855 | 11532 10511 19 | 0.001 % |
169.31/169.58 c | 1324540 | 374 1609 4855 | 11532 10852 19 | 0.001 % |
169.41/169.61 c | 1324912 | 374 1609 4855 | 11532 11224 19 | 0.001 % |
169.41/169.66 c | 1325322 | 374 1609 4855 | 11532 10477 19 | 0.001 % |
169.51/169.70 c | 1325771 | 374 1609 4855 | 11532 10926 19 | 0.001 % |
169.51/169.75 c | 1326264 | 374 1609 4855 | 11532 11419 19 | 0.001 % |
169.61/169.81 c | 1326808 | 374 1609 4855 | 11532 10807 18 | 0.001 % |
169.61/169.86 c | 1327404 | 374 1609 4855 | 11532 11403 18 | 0.001 % |
169.71/169.93 c | 1328059 | 374 1609 4855 | 11532 10900 18 | 0.001 % |
169.81/170.00 c | 1328781 | 374 1609 4855 | 11532 10466 18 | 0.001 % |
169.81/170.08 c | 1329578 | 374 1609 4855 | 11532 11263 18 | 0.001 % |
169.90/170.17 c | 1330450 | 374 1609 4855 | 2147483647 10979 18 | 0.001 % |
170.00/170.26 c | 1331410 | 374 1609 4855 | 2147483647 11939 18 | 0.001 % |
170.10/170.38 c | 1332464 | 374 1609 4855 | 2147483647 12993 18 | 0.001 % |
170.31/170.52 c | 1333622 | 374 1609 4855 | 2147483647 14151 18 | 0.001 % |
170.40/170.67 c | 1334900 | 374 1609 4855 | 2147483647 15429 18 | 0.001 % |
170.60/170.85 c | 1336300 | 374 1609 4855 | 2147483647 16829 18 | 0.001 % |
170.80/171.09 c | 1337843 | 374 1609 4855 | 2147483647 18372 18 | 0.001 % |
171.10/171.32 c | 1339538 | 374 1609 4855 | 2147483647 20067 18 | 0.001 % |
171.41/171.62 c | 1341402 | 374 1609 4855 | 20529 18942 18 | 0.001 % |
171.70/171.96 c | 1343452 | 374 1609 4855 | 20529 16873 18 | 0.001 % |
172.00/172.28 c | 1345706 | 374 1609 4855 | 20529 19127 18 | 0.001 % |
172.40/172.62 c | 1348186 | 374 1609 4855 | 20529 17424 18 | 0.001 % |
172.80/173.02 c | 1350913 | 374 1609 4855 | 19238 16254 18 | 0.001 % |
173.20/173.46 c | 1353910 | 374 1609 4855 | 19238 19251 19 | 0.001 % |
173.70/173.92 c | 1357206 | 374 1609 4855 | 19238 18751 19 | 0.001 % |
174.20/174.43 c | 1360832 | 374 1609 4855 | 17674 14964 19 | 0.001 % |
174.70/174.95 c | 1364821 | 374 1609 4855 | 17674 15544 19 | 0.001 % |
175.40/175.63 c | 1369206 | 374 1609 4855 | 17674 16324 19 | 0.001 % |
176.09/176.39 c | 1374030 | 374 1609 4855 | 17118 14339 18 | 0.001 % |
176.69/176.94 c | 1379336 | 374 1609 4855 | 17118 16473 18 | 0.001 % |
177.39/177.65 c | 1385172 | 374 1609 4855 | 17137 15966 18 | 0.001 % |
178.19/178.47 c | 1391590 | 374 1609 4855 | 14412 13362 18 | 0.001 % |
178.89/179.20 c | 1398650 | 374 1609 4855 | 14412 13674 18 | 0.001 % |
179.79/180.03 c | 1406415 | 374 1609 4855 | 12762 12214 17 | 0.001 % |
180.69/180.94 c | 1414957 | 374 1609 4855 | 12769 11355 18 | 0.001 % |
181.69/181.96 c | 1424351 | 374 1609 4855 | 10951 9891 18 | 0.001 % |
182.79/183.08 c | 1434684 | 374 1609 4855 | 2147483647 14597 18 | 0.001 % |
184.49/184.72 c | 1446051 | 374 1609 4855 | 19914 18312 18 | 0.001 % |
186.09/186.38 c | 1458553 | 374 1609 4855 | 17855 14627 17 | 0.001 % |
186.09/186.39 c | 1458654 | 374 1609 4855 | 17855 14728 17 | 0.001 % |
186.19/186.40 c | 1458764 | 374 1609 4855 | 17855 14838 17 | 0.001 % |
186.19/186.42 c | 1458885 | 374 1609 4855 | 17855 14959 17 | 0.001 % |
186.19/186.43 c | 1459018 | 374 1609 4855 | 17855 15092 18 | 0.001 % |
186.19/186.45 c | 1459164 | 374 1609 4855 | 17855 15238 18 | 0.001 % |
186.19/186.47 c | 1459324 | 374 1609 4855 | 17855 15398 18 | 0.001 % |
186.19/186.50 c | 1459500 | 374 1609 4855 | 17855 15574 18 | 0.001 % |
186.29/186.53 c | 1459695 | 374 1609 4855 | 17855 15769 18 | 0.001 % |
186.29/186.56 c | 1459908 | 374 1609 4855 | 17855 15982 18 | 0.001 % |
186.39/186.61 c | 1460141 | 374 1609 4855 | 16074 12617 17 | 0.001 % |
186.39/186.64 c | 1460398 | 374 1609 4855 | 16074 12874 17 | 0.001 % |
186.39/186.67 c | 1460679 | 374 1609 4855 | 16074 13155 17 | 0.001 % |
186.49/186.71 c | 1460989 | 374 1609 4855 | 16074 13465 17 | 0.001 % |
186.49/186.75 c | 1461328 | 374 1609 4855 | 16074 13804 18 | 0.001 % |
186.49/186.79 c | 1461701 | 374 1609 4855 | 16074 14177 18 | 0.001 % |
186.59/186.84 c | 1462111 | 374 1609 4855 | 16074 14587 18 | 0.001 % |
186.59/186.88 c | 1462561 | 374 1609 4855 | 16074 15037 18 | 0.001 % |
186.69/186.94 c | 1463054 | 374 1609 4855 | 16074 15530 18 | 0.001 % |
186.69/187.00 c | 1463598 | 374 1609 4855 | 16074 16074 18 | 0.001 % |
186.79/187.07 c | 1464194 | 374 1609 4855 | 16074 13797 17 | 0.001 % |
186.89/187.14 c | 1464850 | 374 1609 4855 | 16074 14453 17 | 0.001 % |
186.99/187.21 c | 1465571 | 374 1609 4855 | 16074 15174 18 | 0.001 % |
186.99/187.30 c | 1466365 | 374 1609 4855 | 16074 15968 18 | 0.001 % |
187.19/187.40 c | 1467238 | 374 1609 4855 | 16074 14435 18 | 0.001 % |
187.29/187.51 c | 1468196 | 374 1609 4855 | 16074 15393 18 | 0.001 % |
187.39/187.63 c | 1469249 | 374 1609 4855 | 16074 14174 18 | 0.001 % |
187.49/187.77 c | 1470407 | 374 1609 4855 | 14925 13263 18 | 0.001 % |
187.69/187.91 c | 1471683 | 374 1609 4855 | 14925 14539 18 | 0.001 % |
187.79/188.08 c | 1473084 | 374 1609 4855 | 14925 13901 18 | 0.001 % |
187.98/188.27 c | 1474626 | 374 1609 4855 | 14925 13371 18 | 0.001 % |
188.18/188.47 c | 1476321 | 374 1609 4855 | 14925 13078 18 | 0.001 % |
188.48/188.70 c | 1478184 | 374 1609 4855 | 14925 14941 18 | 0.001 % |
188.68/188.95 c | 1480233 | 374 1609 4855 | 14802 13153 18 | 0.001 % |
188.99/189.24 c | 1482486 | 374 1609 4855 | 14802 13474 18 | 0.001 % |
189.28/189.53 c | 1484964 | 374 1609 4855 | 14802 14109 18 | 0.001 % |
189.58/189.87 c | 1487689 | 374 1609 4855 | 14802 13026 18 | 0.001 % |
189.99/190.21 c | 1490687 | 374 1609 4855 | 13389 12312 17 | 0.001 % |
190.28/190.52 c | 1493984 | 374 1609 4855 | 13389 12670 18 | 0.001 % |
190.68/190.93 c | 1497609 | 374 1609 4855 | 13389 13404 18 | 0.001 % |
191.09/191.35 c | 1501599 | 374 1609 4855 | 2147483647 14595 18 | 0.001 % |
191.58/191.80 c | 1505984 | 374 1609 4855 | 2147483647 18980 19 | 0.001 % |
192.19/192.46 c | 1510807 | 374 1609 4855 | 22997 20287 19 | 0.001 % |
193.08/193.31 c | 1516114 | 374 1609 4855 | 22997 21041 19 | 0.001 % |
193.98/194.23 c | 1521951 | 374 1609 4855 | 19759 17166 19 | 0.001 % |
194.98/195.23 c | 1528370 | 374 1609 4855 | 19759 19228 18 | 0.001 % |
195.98/196.24 c | 1535432 | 374 1609 4855 | 16528 15107 18 | 0.001 % |
196.88/197.16 c | 1543196 | 374 1609 4855 | 16441 13814 18 | 0.001 % |
197.88/198.12 c | 1551736 | 374 1609 4855 | 15460 14808 19 | 0.001 % |
198.98/199.22 c | 1561131 | 374 1609 4855 | 14208 13323 19 | 0.001 % |
200.08/200.37 c | 1571464 | 374 1609 4855 | 13406 13237 18 | 0.001 % |
201.39/201.60 c | 1582830 | 374 1609 4855 | 12611 12481 18 | 0.001 % |
202.69/202.96 c | 1595332 | 374 1609 4855 | 11460 10783 18 | 0.001 % |
204.29/204.56 c | 1609084 | 374 1609 4855 | 2147483647 19936 18 | 0.001 % |
204.29/204.58 c | 1609185 | 374 1609 4855 | 2147483647 20037 18 | 0.001 % |
204.29/204.60 c | 1609295 | 374 1609 4855 | 2147483647 20147 18 | 0.001 % |
204.39/204.62 c | 1609416 | 374 1609 4855 | 2147483647 20268 18 | 0.001 % |
204.39/204.65 c | 1609551 | 374 1609 4855 | 2147483647 20403 18 | 0.001 % |
204.39/204.68 c | 1609697 | 374 1609 4855 | 2147483647 20549 18 | 0.001 % |
204.48/204.71 c | 1609862 | 374 1609 4855 | 2147483647 20714 18 | 0.001 % |
204.48/204.74 c | 1610039 | 374 1609 4855 | 20853 20891 18 | 0.001 % |
204.48/204.79 c | 1610232 | 374 1609 4855 | 20853 17000 18 | 0.001 % |
204.58/204.82 c | 1610446 | 374 1609 4855 | 20853 17214 18 | 0.001 % |
204.58/204.85 c | 1610679 | 374 1609 4855 | 20853 17447 18 | 0.001 % |
204.68/204.90 c | 1610935 | 374 1609 4855 | 20853 17703 18 | 0.001 % |
204.68/204.94 c | 1611216 | 374 1609 4855 | 20853 17984 18 | 0.001 % |
204.68/205.00 c | 1611528 | 374 1609 4855 | 20853 18296 18 | 0.001 % |
204.78/205.06 c | 1611867 | 374 1609 4855 | 20853 18635 18 | 0.001 % |
204.88/205.12 c | 1612240 | 374 1609 4855 | 20853 19008 18 | 0.001 % |
204.98/205.20 c | 1612649 | 374 1609 4855 | 20853 19417 18 | 0.001 % |
204.98/205.29 c | 1613100 | 374 1609 4855 | 20853 19868 18 | 0.001 % |
205.08/205.36 c | 1613594 | 374 1609 4855 | 20853 20362 18 | 0.001 % |
205.18/205.47 c | 1614136 | 374 1609 4855 | 20853 15952 18 | 0.001 % |
205.28/205.54 c | 1614733 | 374 1609 4855 | 20853 16549 18 | 0.001 % |
205.38/205.63 c | 1615389 | 374 1609 4855 | 20853 17205 18 | 0.001 % |
205.48/205.72 c | 1616110 | 374 1609 4855 | 20853 17926 18 | 0.001 % |
205.58/205.83 c | 1616904 | 374 1609 4855 | 20853 18720 18 | 0.001 % |
205.68/205.96 c | 1617775 | 374 1609 4855 | 20853 19591 18 | 0.001 % |
205.88/206.12 c | 1618733 | 374 1609 4855 | 20853 20549 18 | 0.001 % |
206.08/206.31 c | 1619786 | 374 1609 4855 | 20853 16697 18 | 0.001 % |
206.18/206.46 c | 1620946 | 374 1609 4855 | 16911 13883 18 | 0.001 % |
206.38/206.61 c | 1622220 | 374 1609 4855 | 16911 15157 18 | 0.001 % |
206.48/206.78 c | 1623620 | 374 1609 4855 | 16911 16557 18 | 0.001 % |
206.68/206.99 c | 1625160 | 374 1609 4855 | 16911 14700 18 | 0.001 % |
206.98/207.21 c | 1626855 | 374 1609 4855 | 16911 16395 18 | 0.001 % |
207.18/207.44 c | 1628720 | 374 1609 4855 | 16911 15037 18 | 0.001 % |
207.38/207.69 c | 1630773 | 374 1609 4855 | 16317 14125 18 | 0.001 % |
207.78/208.02 c | 1633028 | 374 1609 4855 | 16317 13437 18 | 0.001 % |
207.98/208.27 c | 1635506 | 374 1609 4855 | 16317 15915 19 | 0.001 % |
208.38/208.65 c | 1638231 | 374 1609 4855 | 16317 15878 19 | 0.001 % |
208.78/209.01 c | 1641228 | 374 1609 4855 | 14836 13579 18 | 0.001 % |
209.18/209.41 c | 1644524 | 374 1609 4855 | 14836 14594 18 | 0.001 % |
209.58/209.84 c | 1648149 | 374 1609 4855 | 14836 13785 19 | 0.001 % |
210.08/210.33 c | 1652138 | 374 1609 4855 | 13411 11549 18 | 0.001 % |
210.58/210.83 c | 1656524 | 374 1609 4855 | 13411 12271 18 | 0.001 % |
211.08/211.32 c | 1661349 | 374 1609 4855 | 12372 12245 18 | 0.001 % |
211.68/211.92 c | 1666655 | 374 1609 4855 | 12372 11913 19 | 0.001 % |
212.28/212.51 c | 1672490 | 374 1609 4855 | 11342 10408 18 | 0.001 % |
212.88/213.16 c | 1678909 | 374 1609 4855 | 11342 11140 18 | 0.001 % |
213.68/213.94 c | 1685969 | 374 1609 4855 | 2147483647 17062 19 | 0.001 % |
214.88/215.14 c | 1693733 | 374 1609 4855 | 21093 17197 19 | 0.001 % |
216.18/216.43 c | 1702273 | 374 1609 4855 | 18469 16480 20 | 0.001 % |
217.38/217.65 c | 1711668 | 374 1609 4855 | 16898 15236 21 | 0.001 % |
218.58/218.84 c | 1722002 | 374 1609 4855 | 15337 15014 21 | 0.001 % |
219.78/220.06 c | 1733369 | 374 1609 4855 | 13689 12383 20 | 0.001 % |
221.27/221.54 c | 1745871 | 374 1609 4855 | 12760 12635 18 | 0.001 % |
222.67/222.99 c | 1759623 | 374 1609 4855 | 12198 11852 19 | 0.001 % |
224.67/224.99 c | 1774750 | 374 1609 4855 | 21007 17334 18 | 0.001 % |
224.77/225.01 c | 1774851 | 374 1609 4855 | 21007 17435 18 | 0.001 % |
224.77/225.03 c | 1774963 | 374 1609 4855 | 21007 17547 18 | 0.001 % |
224.77/225.06 c | 1775084 | 374 1609 4855 | 21007 17668 18 | 0.001 % |
224.77/225.08 c | 1775217 | 374 1609 4855 | 21007 17801 18 | 0.001 % |
224.87/225.10 c | 1775363 | 374 1609 4855 | 21007 17947 18 | 0.001 % |
224.87/225.12 c | 1775523 | 374 1609 4855 | 21007 18107 18 | 0.001 % |
224.87/225.14 c | 1775699 | 374 1609 4855 | 21007 18283 18 | 0.001 % |
224.87/225.16 c | 1775893 | 374 1609 4855 | 21007 18477 18 | 0.001 % |
224.87/225.19 c | 1776106 | 374 1609 4855 | 21007 18690 18 | 0.001 % |
224.97/225.22 c | 1776339 | 374 1609 4855 | 21007 18923 18 | 0.001 % |
224.97/225.26 c | 1776596 | 374 1609 4855 | 21007 19180 18 | 0.001 % |
225.07/225.31 c | 1776878 | 374 1609 4855 | 21007 19462 18 | 0.001 % |
225.07/225.37 c | 1777187 | 374 1609 4855 | 21007 19771 18 | 0.001 % |
225.17/225.43 c | 1777526 | 374 1609 4855 | 21007 20110 18 | 0.001 % |
225.17/225.48 c | 1777900 | 374 1609 4855 | 21007 20484 18 | 0.001 % |
225.27/225.55 c | 1778310 | 374 1609 4855 | 21007 20894 18 | 0.001 % |
225.37/225.65 c | 1778761 | 374 1609 4855 | 21007 16467 18 | 0.001 % |
225.47/225.71 c | 1779255 | 374 1609 4855 | 21007 16961 18 | 0.001 % |
225.47/225.77 c | 1779798 | 374 1609 4855 | 21007 17504 18 | 0.001 % |
225.56/225.86 c | 1780394 | 374 1609 4855 | 17706 14168 17 | 0.001 % |
225.66/225.93 c | 1781050 | 374 1609 4855 | 17706 14824 17 | 0.001 % |
225.76/226.02 c | 1781772 | 374 1609 4855 | 17706 15546 18 | 0.001 % |
225.86/226.12 c | 1782564 | 374 1609 4855 | 17706 16338 18 | 0.001 % |
225.96/226.23 c | 1783436 | 374 1609 4855 | 17706 17210 18 | 0.001 % |
226.06/226.35 c | 1784396 | 374 1609 4855 | 17706 14867 18 | 0.001 % |
226.16/226.47 c | 1785451 | 374 1609 4855 | 17706 15922 18 | 0.001 % |
226.37/226.61 c | 1786612 | 374 1609 4855 | 17706 17083 18 | 0.001 % |
226.46/226.77 c | 1787887 | 374 1609 4855 | 17706 15211 18 | 0.001 % |
226.66/226.96 c | 1789288 | 374 1609 4855 | 17706 16612 18 | 0.001 % |
226.86/227.18 c | 1790830 | 374 1609 4855 | 17326 15088 18 | 0.001 % |
227.16/227.40 c | 1792525 | 374 1609 4855 | 17326 16783 18 | 0.001 % |
227.37/227.63 c | 1794388 | 374 1609 4855 | 17326 15670 18 | 0.001 % |
227.66/227.92 c | 1796439 | 374 1609 4855 | 17326 14623 19 | 0.001 % |
227.86/228.18 c | 1798694 | 374 1609 4855 | 17326 16878 19 | 0.001 % |
228.16/228.48 c | 1801172 | 374 1609 4855 | 15183 13745 19 | 0.001 % |
228.57/228.81 c | 1803898 | 374 1609 4855 | 15183 14064 19 | 0.001 % |
228.86/229.17 c | 1806896 | 374 1609 4855 | 15183 14706 19 | 0.001 % |
229.26/229.59 c | 1810193 | 374 1609 4855 | 13345 11597 18 | 0.001 % |
229.76/230.05 c | 1813818 | 374 1609 4855 | 13345 13389 18 | 0.001 % |
230.26/230.54 c | 1817805 | 374 1609 4855 | 13345 12050 17 | 0.001 % |
230.77/231.02 c | 1822191 | 374 1609 4855 | 12536 11728 17 | 0.001 % |
231.26/231.56 c | 1827015 | 374 1609 4855 | 12536 12448 18 | 0.001 % |
231.77/232.08 c | 1832320 | 374 1609 4855 | 2147483647 13925 18 | 0.001 % |
232.56/232.82 c | 1838157 | 374 1609 4855 | 2147483647 19762 18 | 0.001 % |
233.66/233.90 c | 1844575 | 374 1609 4855 | 21607 18156 19 | 0.001 % |
234.56/234.89 c | 1851634 | 374 1609 4855 | 18674 16099 18 | 0.001 % |
235.76/236.00 c | 1859400 | 374 1609 4855 | 18674 15619 17 | 0.001 % |
236.86/237.15 c | 1867940 | 374 1609 4855 | 16219 14013 17 | 0.001 % |
237.96/238.30 c | 1877334 | 374 1609 4855 | 16073 14263 18 | 0.001 % |
239.26/239.50 c | 1887667 | 374 1609 4855 | 14092 12688 19 | 0.001 % |
240.56/240.82 c | 1899033 | 374 1609 4855 | 12838 11417 18 | 0.001 % |
241.76/242.01 c | 1911535 | 374 1609 4855 | 2147483647 13827 19 | 0.001 % |
243.66/243.98 c | 1925288 | 374 1609 4855 | 22292 18685 20 | 0.001 % |
245.96/246.27 c | 1940415 | 374 1609 4855 | 16214 13091 20 | 0.001 % |
248.26/248.56 c | 1957055 | 374 1609 4855 | 15500 12916 19 | 0.001 % |
248.26/248.57 c | 1957157 | 374 1609 4855 | 15500 13018 19 | 0.001 % |
248.26/248.59 c | 1957268 | 374 1609 4855 | 15500 13129 19 | 0.001 % |
248.36/248.60 c | 1957389 | 374 1609 4855 | 15500 13250 19 | 0.001 % |
248.36/248.62 c | 1957524 | 374 1609 4855 | 15500 13385 19 | 0.001 % |
248.36/248.64 c | 1957671 | 374 1609 4855 | 15500 13532 19 | 0.001 % |
248.36/248.65 c | 1957831 | 374 1609 4855 | 15500 13692 19 | 0.001 % |
248.36/248.68 c | 1958007 | 374 1609 4855 | 15500 13868 19 | 0.001 % |
248.45/248.70 c | 1958201 | 374 1609 4855 | 15500 14062 19 | 0.001 % |
248.45/248.74 c | 1958414 | 374 1609 4855 | 15500 14275 19 | 0.001 % |
248.45/248.77 c | 1958649 | 374 1609 4855 | 15500 14510 19 | 0.001 % |
248.45/248.80 c | 1958905 | 374 1609 4855 | 15500 14766 19 | 0.001 % |
248.55/248.83 c | 1959187 | 374 1609 4855 | 15500 15048 19 | 0.001 % |
248.55/248.87 c | 1959496 | 374 1609 4855 | 15500 15357 19 | 0.001 % |
248.65/248.93 c | 1959835 | 374 1609 4855 | 15500 12721 18 | 0.001 % |
248.65/248.98 c | 1960209 | 374 1609 4855 | 12888 10649 18 | 0.001 % |
248.75/249.02 c | 1960621 | 374 1609 4855 | 12888 11061 18 | 0.001 % |
248.75/249.06 c | 1961070 | 374 1609 4855 | 12888 11510 18 | 0.001 % |
248.85/249.11 c | 1961563 | 374 1609 4855 | 12888 12003 18 | 0.001 % |
248.85/249.17 c | 1962105 | 374 1609 4855 | 12888 12545 18 | 0.001 % |
248.95/249.24 c | 1962703 | 374 1609 4855 | 12888 11413 18 | 0.001 % |
249.05/249.31 c | 1963361 | 374 1609 4855 | 12888 12071 18 | 0.001 % |
249.05/249.38 c | 1964082 | 374 1609 4855 | 12888 12792 18 | 0.001 % |
249.15/249.47 c | 1964875 | 374 1609 4855 | 12888 12041 19 | 0.001 % |
249.25/249.56 c | 1965747 | 374 1609 4855 | 12888 12913 19 | 0.001 % |
249.36/249.66 c | 1966706 | 374 1609 4855 | 12888 12444 19 | 0.001 % |
249.46/249.78 c | 1967760 | 374 1609 4855 | 12888 12141 19 | 0.001 % |
249.65/249.91 c | 1968919 | 374 1609 4855 | 12888 12007 19 | 0.001 % |
249.75/250.05 c | 1970192 | 374 1609 4855 | 2147483647 11988 19 | 0.001 % |
249.95/250.20 c | 1971593 | 374 1609 4855 | 2147483647 13389 19 | 0.001 % |
250.05/250.37 c | 1973133 | 374 1609 4855 | 2147483647 14929 19 | 0.001 % |
250.25/250.57 c | 1974828 | 374 1609 4855 | 2147483647 16624 19 | 0.001 % |
250.56/250.84 c | 1976694 | 374 1609 4855 | 2147483647 18490 19 | 0.001 % |
250.85/251.19 c | 1978744 | 374 1609 4855 | 2147483647 20540 19 | 0.001 % |
251.25/251.60 c | 1980998 | 374 1609 4855 | 21799 18988 19 | 0.001 % |
251.75/252.01 c | 1983476 | 374 1609 4855 | 21799 21466 19 | 0.001 % |
252.15/252.47 c | 1986201 | 374 1609 4855 | 21799 19395 19 | 0.001 % |
252.76/253.01 c | 1989198 | 374 1609 4855 | 21799 17172 19 | 0.001 % |
253.15/253.41 c | 1992495 | 374 1609 4855 | 17974 16222 19 | 0.001 % |
253.55/253.85 c | 1996120 | 374 1609 4855 | 17974 16376 18 | 0.001 % |
254.15/254.41 c | 2000108 | 374 1609 4855 | 16949 13951 19 | 0.001 % |
254.65/254.95 c | 2004494 | 374 1609 4855 | 16949 15489 19 | 0.001 % |
255.25/255.58 c | 2009317 | 374 1609 4855 | 16949 14941 20 | 0.001 % |
255.95/256.24 c | 2014622 | 374 1609 4855 | 15624 15224 20 | 0.001 % |
256.65/256.98 c | 2020458 | 374 1609 4855 | 15613 13661 19 | 0.001 % |
257.55/257.84 c | 2026876 | 374 1609 4855 | 15613 14585 19 | 0.001 % |
258.45/258.71 c | 2033936 | 374 1609 4855 | 14971 13916 18 | 0.001 % |
259.35/259.66 c | 2041701 | 374 1609 4855 | 12915 12570 18 | 0.001 % |
260.45/260.75 c | 2050241 | 374 1609 4855 | 11649 10313 18 | 0.001 % |
261.45/261.71 c | 2059636 | 374 1609 4855 | 11649 11511 18 | 0.001 % |
262.75/263.10 c | 2069970 | 374 1609 4855 | 2147483647 20676 18 | 0.001 % |
264.44/264.71 c | 2081336 | 374 1609 4855 | 17877 15209 19 | 0.001 % |
265.94/266.26 c | 2093838 | 374 1609 4855 | 16600 13961 19 | 0.001 % |
267.54/267.80 c | 2107590 | 374 1609 4855 | 13541 13119 17 | 0.001 % |
269.04/269.33 c | 2122717 | 374 1609 4855 | 2147483647 14727 20 | 0.001 % |
271.63/271.96 c | 2139356 | 374 1609 4855 | 22011 21726 20 | 0.001 % |
274.03/274.33 c | 2157660 | 374 1609 4855 | 15854 14553 20 | 0.001 % |
274.03/274.35 c | 2157760 | 374 1609 4855 | 15854 14653 20 | 0.001 % |
274.03/274.36 c | 2157871 | 374 1609 4855 | 15854 14764 20 | 0.001 % |
274.03/274.39 c | 2157993 | 374 1609 4855 | 15854 14886 20 | 0.001 % |
274.13/274.41 c | 2158127 | 374 1609 4855 | 15854 15020 20 | 0.001 % |
274.13/274.43 c | 2158274 | 374 1609 4855 | 15854 15167 20 | 0.001 % |
274.13/274.46 c | 2158438 | 374 1609 4855 | 15854 15331 20 | 0.001 % |
274.13/274.48 c | 2158614 | 374 1609 4855 | 15854 15507 20 | 0.001 % |
274.23/274.51 c | 2158807 | 374 1609 4855 | 15854 15700 20 | 0.001 % |
274.23/274.54 c | 2159020 | 374 1609 4855 | 15854 15913 20 | 0.001 % |
274.23/274.58 c | 2159257 | 374 1609 4855 | 15854 13140 20 | 0.001 % |
274.33/274.61 c | 2159515 | 374 1609 4855 | 15854 13398 20 | 0.001 % |
274.33/274.64 c | 2159796 | 374 1609 4855 | 15854 13679 20 | 0.001 % |
274.33/274.69 c | 2160108 | 374 1609 4855 | 13890 11456 19 | 0.001 % |
274.43/274.72 c | 2160449 | 374 1609 4855 | 13890 11797 19 | 0.001 % |
274.43/274.75 c | 2160821 | 374 1609 4855 | 13890 12169 19 | 0.001 % |
274.53/274.80 c | 2161231 | 374 1609 4855 | 13890 12579 19 | 0.001 % |
274.53/274.85 c | 2161680 | 374 1609 4855 | 13890 13028 19 | 0.001 % |
274.63/274.90 c | 2162174 | 374 1609 4855 | 13890 13522 19 | 0.001 % |
274.63/274.97 c | 2162718 | 374 1609 4855 | 13890 12143 19 | 0.001 % |
274.73/275.03 c | 2163314 | 374 1609 4855 | 13890 12739 19 | 0.001 % |
274.83/275.10 c | 2163969 | 374 1609 4855 | 13890 13394 19 | 0.001 % |
274.83/275.19 c | 2164689 | 374 1609 4855 | 13890 12317 19 | 0.001 % |
274.93/275.27 c | 2165482 | 374 1609 4855 | 13890 13110 19 | 0.001 % |
275.03/275.39 c | 2166353 | 374 1609 4855 | 13890 12186 18 | 0.001 % |
275.23/275.50 c | 2167314 | 374 1609 4855 | 13890 13147 18 | 0.001 % |
275.33/275.62 c | 2168368 | 374 1609 4855 | 13890 12419 18 | 0.001 % |
275.43/275.75 c | 2169527 | 374 1609 4855 | 13890 13578 19 | 0.001 % |
275.53/275.88 c | 2170800 | 374 1609 4855 | 12330 11616 19 | 0.001 % |
275.73/276.02 c | 2172202 | 374 1609 4855 | 12330 11781 18 | 0.001 % |
275.83/276.19 c | 2173744 | 374 1609 4855 | 12330 12088 18 | 0.001 % |
276.13/276.40 c | 2175438 | 374 1609 4855 | 12330 11310 18 | 0.001 % |
276.33/276.60 c | 2177303 | 374 1609 4855 | 12330 11939 18 | 0.001 % |
276.53/276.82 c | 2179352 | 374 1609 4855 | 12330 11515 18 | 0.001 % |
276.73/277.02 c | 2181607 | 374 1609 4855 | 2147483647 13770 18 | 0.001 % |
276.93/277.29 c | 2184088 | 374 1609 4855 | 2147483647 16251 18 | 0.001 % |
277.33/277.62 c | 2186813 | 374 1609 4855 | 2147483647 18976 18 | 0.001 % |
277.73/278.09 c | 2189812 | 374 1609 4855 | 2147483647 21975 18 | 0.001 % |
278.33/278.60 c | 2193110 | 374 1609 4855 | 22163 21916 18 | 0.001 % |
278.83/279.13 c | 2196735 | 374 1609 4855 | 22163 21087 19 | 0.001 % |
279.43/279.74 c | 2200722 | 374 1609 4855 | 19723 16308 18 | 0.001 % |
280.03/280.32 c | 2205107 | 374 1609 4855 | 19723 16643 18 | 0.001 % |
280.63/280.99 c | 2209930 | 374 1609 4855 | 19723 17388 18 | 0.001 % |
281.33/281.66 c | 2215236 | 374 1609 4855 | 17458 15587 18 | 0.001 % |
282.13/282.45 c | 2221071 | 374 1609 4855 | 16987 14830 19 | 0.001 % |
282.93/283.29 c | 2227490 | 374 1609 4855 | 16987 14793 19 | 0.001 % |
283.73/284.09 c | 2234549 | 374 1609 4855 | 14093 13880 18 | 0.001 % |
284.63/284.94 c | 2242313 | 374 1609 4855 | 13362 12268 19 | 0.001 % |
285.63/285.94 c | 2250854 | 374 1609 4855 | 11805 11183 20 | 0.001 % |
286.53/286.86 c | 2260249 | 374 1609 4855 | 2147483647 11061 19 | 0.001 % |
287.93/288.21 c | 2270582 | 374 1609 4855 | 20813 18258 19 | 0.001 % |
289.33/289.63 c | 2281949 | 374 1609 4855 | 19524 17478 19 | 0.001 % |
291.02/291.39 c | 2294452 | 374 1609 4855 | 17718 14834 19 | 0.001 % |
292.92/293.29 c | 2308206 | 374 1609 4855 | 16678 14574 18 | 0.001 % |
294.72/295.06 c | 2323334 | 374 1609 4855 | 14265 13093 18 | 0.001 % |
296.73/297.07 c | 2339973 | 374 1609 4855 | 14027 13135 19 | 0.001 % |
298.83/299.13 c | 2358275 | 374 1609 4855 | 12816 12529 18 | 0.001 % |
300.92/301.22 c | 2378407 | 374 1609 4855 | 11411 10547 19 | 0.001 % |
300.92/301.23 c | 2378508 | 374 1609 4855 | 11411 10648 19 | 0.001 % |
300.92/301.24 c | 2378621 | 374 1609 4855 | 11411 10761 19 | 0.001 % |
300.92/301.25 c | 2378745 | 374 1609 4855 | 11411 10885 19 | 0.001 % |
300.92/301.26 c | 2378878 | 374 1609 4855 | 11411 11018 19 | 0.001 % |
300.92/301.28 c | 2379025 | 374 1609 4855 | 11411 11165 19 | 0.001 % |
300.92/301.29 c | 2379186 | 374 1609 4855 | 11411 11326 19 | 0.001 % |
301.02/301.32 c | 2379363 | 374 1609 4855 | 11411 10357 19 | 0.001 % |
301.02/301.34 c | 2379556 | 374 1609 4855 | 11411 10550 19 | 0.001 % |
301.02/301.36 c | 2379769 | 374 1609 4855 | 11411 10763 19 | 0.001 % |
301.02/301.38 c | 2380002 | 374 1609 4855 | 2147483647 10996 19 | 0.001 % |
301.12/301.41 c | 2380259 | 374 1609 4855 | 2147483647 11253 19 | 0.001 % |
301.12/301.44 c | 2380540 | 374 1609 4855 | 2147483647 11534 19 | 0.001 % |
301.12/301.47 c | 2380849 | 374 1609 4855 | 2147483647 11843 19 | 0.001 % |
301.22/301.51 c | 2381188 | 374 1609 4855 | 2147483647 12182 19 | 0.001 % |
301.22/301.54 c | 2381560 | 374 1609 4855 | 2147483647 12554 19 | 0.001 % |
301.22/301.59 c | 2381971 | 374 1609 4855 | 2147483647 12965 19 | 0.001 % |
301.32/301.65 c | 2382420 | 374 1609 4855 | 2147483647 13414 19 | 0.001 % |
301.42/301.71 c | 2382913 | 374 1609 4855 | 2147483647 13907 19 | 0.001 % |
301.42/301.78 c | 2383455 | 374 1609 4855 | 2147483647 14449 19 | 0.001 % |
301.52/301.85 c | 2384052 | 374 1609 4855 | 2147483647 15046 19 | 0.001 % |
301.62/301.96 c | 2384707 | 374 1609 4855 | 2147483647 15701 19 | 0.001 % |
301.72/302.05 c | 2385428 | 374 1609 4855 | 2147483647 16422 19 | 0.001 % |
301.82/302.16 c | 2386220 | 374 1609 4855 | 2147483647 17214 19 | 0.001 % |
302.02/302.30 c | 2387092 | 374 1609 4855 | 2147483647 18086 19 | 0.001 % |
302.12/302.44 c | 2388051 | 374 1609 4855 | 2147483647 19045 19 | 0.001 % |
302.23/302.59 c | 2389104 | 374 1609 4855 | 2147483647 20098 19 | 0.001 % |
302.53/302.81 c | 2390262 | 374 1609 4855 | 20994 17668 18 | 0.001 % |
302.63/302.98 c | 2391536 | 374 1609 4855 | 20994 18942 18 | 0.001 % |
302.93/303.22 c | 2392937 | 374 1609 4855 | 20994 20343 18 | 0.001 % |
303.13/303.49 c | 2394477 | 374 1609 4855 | 20994 17210 18 | 0.001 % |
303.43/303.77 c | 2396173 | 374 1609 4855 | 20994 18906 18 | 0.001 % |
303.73/304.06 c | 2398038 | 374 1609 4855 | 20994 20771 18 | 0.001 % |
304.13/304.40 c | 2400089 | 374 1609 4855 | 17885 13865 18 | 0.001 % |
304.33/304.67 c | 2402342 | 374 1609 4855 | 17885 16118 18 | 0.001 % |
304.73/305.00 c | 2404821 | 374 1609 4855 | 17885 15032 18 | 0.001 % |
305.03/305.34 c | 2407548 | 374 1609 4855 | 17885 17759 18 | 0.001 % |
305.43/305.74 c | 2410547 | 374 1609 4855 | 16693 13928 18 | 0.001 % |
305.82/306.13 c | 2413848 | 374 1609 4855 | 16693 14087 18 | 0.001 % |
306.32/306.60 c | 2417474 | 374 1609 4855 | 16693 14640 18 | 0.001 % |
306.82/307.12 c | 2421461 | 374 1609 4855 | 14140 13045 18 | 0.001 % |
307.32/307.62 c | 2425846 | 374 1609 4855 | 14140 13129 18 | 0.001 % |
307.82/308.16 c | 2430670 | 374 1609 4855 | 13493 12424 18 | 0.001 % |
308.52/308.80 c | 2435975 | 374 1609 4855 | 13493 12634 18 | 0.001 % |
309.12/309.46 c | 2441810 | 374 1609 4855 | 13331 11893 17 | 0.001 % |
309.82/310.20 c | 2448228 | 374 1609 4855 | 13331 13260 18 | 0.001 % |
310.62/310.99 c | 2455287 | 374 1609 4855 | 11881 11002 18 | 0.001 % |
311.52/311.80 c | 2463052 | 374 1609 4855 | 2147483647 14000 18 | 0.001 % |
312.52/312.81 c | 2471593 | 374 1609 4855 | 20948 19539 18 | 0.001 % |
313.92/314.25 c | 2480987 | 374 1609 4855 | 19815 16569 19 | 0.001 % |
315.62/315.91 c | 2491320 | 374 1609 4855 | 16442 13864 17 | 0.001 % |
316.92/317.28 c | 2502686 | 374 1609 4855 | 14107 12448 18 | 0.001 % |
318.41/318.73 c | 2515188 | 374 1609 4855 | 13654 12843 18 | 0.001 % |
319.91/320.28 c | 2528943 | 374 1609 4855 | 12010 11645 18 | 0.001 % |
321.51/321.86 c | 2544072 | 374 1609 4855 | 2147483647 15098 20 | 0.001 % |
323.61/323.99 c | 2560712 | 374 1609 4855 | 18797 15365 20 | 0.001 % |
326.01/326.37 c | 2579014 | 374 1609 4855 | 16114 15436 19 | 0.001 % |
328.21/328.54 c | 2599147 | 374 1609 4855 | 13390 13283 18 | 0.001 % |
330.81/331.13 c | 2621294 | 374 1609 4855 | 12345 12220 19 | 0.001 % |
330.81/331.14 c | 2621396 | 374 1609 4855 | 12345 12322 19 | 0.001 % |
330.81/331.16 c | 2621506 | 374 1609 4855 | 12345 11086 19 | 0.001 % |
330.81/331.17 c | 2621628 | 374 1609 4855 | 12345 11208 19 | 0.001 % |
330.81/331.18 c | 2621763 | 374 1609 4855 | 12345 11343 19 | 0.001 % |
330.81/331.20 c | 2621909 | 374 1609 4855 | 12345 11489 19 | 0.001 % |
330.91/331.21 c | 2622069 | 374 1609 4855 | 12345 11649 19 | 0.001 % |
330.91/331.23 c | 2622245 | 374 1609 4855 | 12345 11825 19 | 0.001 % |
330.91/331.25 c | 2622439 | 374 1609 4855 | 12345 12019 19 | 0.001 % |
330.91/331.28 c | 2622651 | 374 1609 4855 | 12345 12231 19 | 0.001 % |
331.01/331.31 c | 2622884 | 374 1609 4855 | 12345 11178 18 | 0.001 % |
331.01/331.34 c | 2623144 | 374 1609 4855 | 12345 11438 18 | 0.001 % |
331.01/331.36 c | 2623425 | 374 1609 4855 | 12345 11719 18 | 0.001 % |
331.01/331.40 c | 2623734 | 374 1609 4855 | 12345 12028 19 | 0.001 % |
331.11/331.44 c | 2624073 | 374 1609 4855 | 12345 12367 19 | 0.001 % |
331.11/331.48 c | 2624446 | 374 1609 4855 | 12345 11496 18 | 0.001 % |
331.21/331.52 c | 2624856 | 374 1609 4855 | 12345 11906 18 | 0.001 % |
331.21/331.57 c | 2625306 | 374 1609 4855 | 12345 12356 18 | 0.001 % |
331.31/331.62 c | 2625802 | 374 1609 4855 | 12345 11617 18 | 0.001 % |
331.31/331.68 c | 2626345 | 374 1609 4855 | 12345 12160 18 | 0.001 % |
331.41/331.74 c | 2626942 | 374 1609 4855 | 12345 11519 18 | 0.001 % |
331.51/331.80 c | 2627597 | 374 1609 4855 | 12345 12174 18 | 0.001 % |
331.51/331.88 c | 2628317 | 374 1609 4855 | 12345 11654 18 | 0.001 % |
331.61/331.96 c | 2629112 | 374 1609 4855 | 12345 11209 19 | 0.001 % |
331.71/332.05 c | 2629983 | 374 1609 4855 | 12345 12080 19 | 0.001 % |
331.81/332.16 c | 2630941 | 374 1609 4855 | 2147483647 13038 19 | 0.001 % |
331.91/332.27 c | 2631994 | 374 1609 4855 | 2147483647 14091 19 | 0.001 % |
332.11/332.40 c | 2633154 | 374 1609 4855 | 2147483647 15251 19 | 0.001 % |
332.21/332.59 c | 2634427 | 374 1609 4855 | 2147483647 16524 19 | 0.001 % |
332.51/332.81 c | 2635828 | 374 1609 4855 | 2147483647 17925 19 | 0.001 % |
332.71/333.08 c | 2637370 | 374 1609 4855 | 2147483647 19467 20 | 0.001 % |
333.01/333.38 c | 2639064 | 374 1609 4855 | 2147483647 21161 20 | 0.001 % |
333.41/333.74 c | 2640927 | 374 1609 4855 | 22097 18850 20 | 0.001 % |
333.71/334.05 c | 2642977 | 374 1609 4855 | 22097 20900 20 | 0.001 % |
334.11/334.42 c | 2645231 | 374 1609 4855 | 22097 18045 20 | 0.001 % |
334.51/334.81 c | 2647709 | 374 1609 4855 | 22097 20523 20 | 0.001 % |
334.91/335.27 c | 2650434 | 374 1609 4855 | 17578 13857 19 | 0.001 % |
335.31/335.62 c | 2653431 | 374 1609 4855 | 17578 16854 19 | 0.001 % |
335.71/336.02 c | 2656732 | 374 1609 4855 | 17578 16697 19 | 0.001 % |
336.11/336.44 c | 2660359 | 374 1609 4855 | 16720 14110 19 | 0.001 % |
336.60/336.93 c | 2664346 | 374 1609 4855 | 16720 15285 19 | 0.001 % |
337.10/337.46 c | 2668733 | 374 1609 4855 | 16720 14253 19 | 0.001 % |
337.60/337.98 c | 2673556 | 374 1609 4855 | 15521 14432 19 | 0.001 % |
338.20/338.50 c | 2678861 | 374 1609 4855 | 15521 13959 18 | 0.001 % |
338.80/339.15 c | 2684696 | 374 1609 4855 | 15099 14532 19 | 0.001 % |
339.51/339.90 c | 2691114 | 374 1609 4855 | 14112 13464 20 | 0.001 % |
340.30/340.69 c | 2698175 | 374 1609 4855 | 14112 13701 18 | 0.001 % |
341.21/341.53 c | 2705940 | 374 1609 4855 | 13883 12560 17 | 0.001 % |
342.10/342.42 c | 2714482 | 374 1609 4855 | 13696 12409 18 | 0.001 % |
343.10/343.41 c | 2723878 | 374 1609 4855 | 2147483647 16313 19 | 0.001 % |
344.60/344.90 c | 2734211 | 374 1609 4855 | 22435 17775 19 | 0.001 % |
346.21/346.50 c | 2745577 | 374 1609 4855 | 18215 15448 20 | 0.001 % |
347.70/348.00 c | 2758081 | 374 1609 4855 | 16097 15193 19 | 0.001 % |
349.30/349.62 c | 2771835 | 374 1609 4855 | 13619 13082 18 | 0.001 % |
350.90/351.28 c | 2786965 | 374 1609 4855 | 12885 12875 18 | 0.001 % |
352.70/353.04 c | 2803605 | 374 1609 4855 | 2147483647 14578 18 | 0.001 % |
355.40/355.80 c | 2821907 | 374 1609 4855 | 16312 14135 20 | 0.001 % |
357.99/358.32 c | 2842040 | 374 1609 4855 | 13922 13542 18 | 0.001 % |
360.40/360.71 c | 2864186 | 374 1609 4855 | 12321 12278 18 | 0.001 % |
362.99/363.36 c | 2888548 | 374 1609 4855 | 2147483647 19329 18 | 0.001 % |
362.99/363.38 c | 2888651 | 374 1609 4855 | 2147483647 19432 18 | 0.001 % |
362.99/363.39 c | 2888761 | 374 1609 4855 | 2147483647 19542 18 | 0.001 % |
363.09/363.41 c | 2888882 | 374 1609 4855 | 2147483647 19663 18 | 0.001 % |
363.09/363.44 c | 2889016 | 374 1609 4855 | 2147483647 19797 18 | 0.001 % |
363.09/363.47 c | 2889163 | 374 1609 4855 | 2147483647 19944 18 | 0.001 % |
363.19/363.51 c | 2889323 | 374 1609 4855 | 2147483647 20104 18 | 0.001 % |
363.19/363.55 c | 2889500 | 374 1609 4855 | 2147483647 20281 18 | 0.001 % |
363.19/363.58 c | 2889693 | 374 1609 4855 | 2147483647 20474 18 | 0.001 % |
363.29/363.62 c | 2889906 | 374 1609 4855 | 2147483647 20687 18 | 0.001 % |
363.29/363.69 c | 2890141 | 374 1609 4855 | 20782 17006 18 | 0.001 % |
363.39/363.73 c | 2890397 | 374 1609 4855 | 20782 17262 18 | 0.001 % |
363.39/363.77 c | 2890678 | 374 1609 4855 | 20782 17543 18 | 0.001 % |
363.49/363.80 c | 2890987 | 374 1609 4855 | 20782 17852 18 | 0.001 % |
363.49/363.85 c | 2891328 | 374 1609 4855 | 20782 18193 18 | 0.001 % |
363.59/363.90 c | 2891700 | 374 1609 4855 | 20782 18565 18 | 0.001 % |
363.59/363.95 c | 2892109 | 374 1609 4855 | 20782 18974 18 | 0.001 % |
363.69/364.03 c | 2892559 | 374 1609 4855 | 20782 19424 18 | 0.001 % |
363.79/364.13 c | 2893052 | 374 1609 4855 | 20782 19917 18 | 0.001 % |
363.89/364.22 c | 2893594 | 374 1609 4855 | 20782 20459 18 | 0.001 % |
363.99/364.34 c | 2894190 | 374 1609 4855 | 20782 16352 18 | 0.001 % |
364.09/364.42 c | 2894845 | 374 1609 4855 | 20782 17007 18 | 0.001 % |
364.19/364.52 c | 2895565 | 374 1609 4855 | 20782 17727 18 | 0.001 % |
364.29/364.64 c | 2896358 | 374 1609 4855 | 20782 18520 18 | 0.001 % |
364.39/364.79 c | 2897229 | 374 1609 4855 | 20782 19391 18 | 0.001 % |
364.59/364.95 c | 2898187 | 374 1609 4855 | 20782 20349 18 | 0.001 % |
364.79/365.12 c | 2899240 | 374 1609 4855 | 20782 16577 18 | 0.001 % |
364.89/365.28 c | 2900399 | 374 1609 4855 | 17337 13806 18 | 0.001 % |
365.09/365.43 c | 2901672 | 374 1609 4855 | 17337 15079 18 | 0.001 % |
365.29/365.62 c | 2903072 | 374 1609 4855 | 17337 16479 18 | 0.001 % |
365.49/365.82 c | 2904614 | 374 1609 4855 | 17337 14641 18 | 0.001 % |
365.69/366.03 c | 2906311 | 374 1609 4855 | 17337 16338 18 | 0.001 % |
365.89/366.29 c | 2908176 | 374 1609 4855 | 17337 14983 17 | 0.001 % |
366.19/366.57 c | 2910226 | 374 1609 4855 | 16808 13977 17 | 0.001 % |
366.49/366.83 c | 2912479 | 374 1609 4855 | 16808 16230 18 | 0.001 % |
366.79/367.11 c | 2914957 | 374 1609 4855 | 16808 16059 18 | 0.001 % |
367.09/367.41 c | 2917682 | 374 1609 4855 | 16808 16417 18 | 0.001 % |
367.48/367.81 c | 2920681 | 374 1609 4855 | 16500 14860 18 | 0.001 % |
367.78/368.17 c | 2923979 | 374 1609 4855 | 16500 15905 19 | 0.001 % |
368.28/368.66 c | 2927606 | 374 1609 4855 | 16500 14837 19 | 0.001 % |
368.78/369.17 c | 2931593 | 374 1609 4855 | 14734 14096 18 | 0.001 % |
369.28/369.64 c | 2935979 | 374 1609 4855 | 14734 14622 18 | 0.001 % |
369.78/370.18 c | 2940802 | 374 1609 4855 | 13460 12728 19 | 0.001 % |
370.58/370.93 c | 2946107 | 374 1609 4855 | 13460 12750 19 | 0.001 % |
371.28/371.64 c | 2951945 | 374 1609 4855 | 12705 11210 19 | 0.001 % |
372.08/372.42 c | 2958364 | 374 1609 4855 | 12705 11532 19 | 0.001 % |
372.88/373.29 c | 2965424 | 374 1609 4855 | 11559 10431 18 | 0.001 % |
373.78/374.12 c | 2973188 | 374 1609 4855 | 2147483647 14577 19 | 0.001 % |
374.98/375.34 c | 2981728 | 374 1609 4855 | 21389 18820 19 | 0.001 % |
376.58/376.91 c | 2991122 | 374 1609 4855 | 17135 14204 19 | 0.001 % |
377.88/378.22 c | 3001457 | 374 1609 4855 | 15910 14173 18 | 0.001 % |
379.18/379.59 c | 3012823 | 374 1609 4855 | 14457 12414 18 | 0.001 % |
380.58/380.95 c | 3025326 | 374 1609 4855 | 13286 11688 19 | 0.001 % |
382.18/382.51 c | 3039082 | 374 1609 4855 | 13304 13299 18 | 0.001 % |
383.68/384.04 c | 3054211 | 374 1609 4855 | 2147483647 16487 19 | 0.001 % |
386.47/386.82 c | 3070851 | 374 1609 4855 | 22179 17454 18 | 0.001 % |
389.27/389.64 c | 3089154 | 374 1609 4855 | 20724 19039 18 | 0.001 % |
391.97/392.35 c | 3109286 | 374 1609 4855 | 15808 13310 19 | 0.001 % |
394.47/394.86 c | 3131431 | 374 1609 4855 | 12589 11318 18 | 0.001 % |
397.07/397.44 c | 3155790 | 374 1609 4855 | 11930 11443 17 | 0.001 % |
400.07/400.44 c | 3182584 | 374 1609 4855 | 20972 19663 18 | 0.001 % |
400.07/400.46 c | 3182684 | 374 1609 4855 | 20972 19763 18 | 0.001 % |
400.07/400.48 c | 3182795 | 374 1609 4855 | 20972 19874 18 | 0.001 % |
400.07/400.49 c | 3182916 | 374 1609 4855 | 20972 19995 18 | 0.001 % |
400.17/400.52 c | 3183052 | 374 1609 4855 | 20972 20131 19 | 0.001 % |
400.17/400.54 c | 3183198 | 374 1609 4855 | 20972 20277 19 | 0.001 % |
400.17/400.57 c | 3183358 | 374 1609 4855 | 20972 20437 19 | 0.001 % |
400.17/400.59 c | 3183536 | 374 1609 4855 | 20972 20615 19 | 0.001 % |
400.26/400.62 c | 3183729 | 374 1609 4855 | 20972 20808 19 | 0.001 % |
400.26/400.67 c | 3183941 | 374 1609 4855 | 20972 16433 18 | 0.001 % |
400.36/400.70 c | 3184174 | 374 1609 4855 | 20972 16666 18 | 0.001 % |
400.36/400.74 c | 3184430 | 374 1609 4855 | 20972 16922 18 | 0.001 % |
400.36/400.78 c | 3184713 | 374 1609 4855 | 20972 17205 18 | 0.001 % |
400.46/400.83 c | 3185023 | 374 1609 4855 | 20972 17515 18 | 0.001 % |
400.46/400.88 c | 3185365 | 374 1609 4855 | 20972 17857 18 | 0.001 % |
400.56/400.93 c | 3185737 | 374 1609 4855 | 20972 18229 18 | 0.001 % |
400.56/400.99 c | 3186151 | 374 1609 4855 | 20972 18643 18 | 0.001 % |
400.66/401.08 c | 3186600 | 374 1609 4855 | 20972 19092 18 | 0.001 % |
400.76/401.17 c | 3187093 | 374 1609 4855 | 20972 19585 18 | 0.001 % |
400.86/401.23 c ===============================================================================
400.86/401.23 c restarts : 1850
400.86/401.23 c conflicts : 3187403 (7952 /sec)
400.86/401.23 c decisions : 3846526 (1.81 % random) (9596 /sec)
400.86/401.23 c propagations : 182573405 (455483 /sec)
400.86/401.23 c conflict literals : 62078696 (20.64 % deleted)
400.86/401.23 c Memory used : 8.62 MB
400.86/401.23 c CPU time : 400.835 s
400.86/401.23 c
400.86/401.23 s SATISFIABLE
400.86/401.23 s SATISFIABLE
400.86/401.23 v 1 -2 3 -4 5 6 -7 8 9 10 -11 -12 -13 14 -15 -16 -17 18 19 -20 -21 22 23 -24 -25 26 -27 28 29 30 -31 32 33 34 35 36 37 -38 39 -40 41 -42 -43 44 -45 -46 -47 -48 -49 -50 51 -52 53 54 -55 56 57 -58 -59 60 61 62 63 64 -65 66 67 -68 69 70 71 -72 73 74 -75 -76 -77 -78 79 -80 -81 -82 83 -84 -85 -86 87 -88 89 -90 91 92 93 -94 -95 -96 97 98 99 -100 101 102 -103 -104 105 -106 -107 -108 109 -110 -111 112 113 -114 -115 116 -117 118 -119 -120 121 122 -123 124 125 -126 -127 -128 129 130 131 132 -133 134 135 -136 -137 138 139 -140 141 -142 -143 -144 145 146 -147 -148 149 -150 151 -152 153 -154 -155 156 157 -158 -159 160 161 -162 -163 -164 -165 166 167 -168 169 -170 171 -172 -173 174 -175 -176 -177 178 179 180 -181 182 183 184 185 -186 -187 -188 -189 -190 191 -192 193 -194 -195 196 197 -198 199 200 -201 202 -203 -204 205 -206 -207 208 209 210 211 -212 213 -214 -215 -216 -217 -218 -219 -220 221 222 223 -224 225 -226 -227 -228 229 -230 -231 -232 -233 234 235 -236 -237 238 -239 240 -241 242 243 244 -245 246 -247 -248 249 250 251 -252 253 254 -255 -256 -257 258 259 -260 261 -262 -263 264 265 -266 -267 268 269 -270 271 -272 -273 -274 -275 276 -277 278 -279 280 281 282 283 284 -285 -286 287 288 289 290 -291 292 -293 294 -295 -296 297 -298 -299 -300 301 -302 -303 304 305 306 -307 308 -309 310 311 312 313 314 315 -316 -317 318 319 -320 321 -322 323 324 -325 -326 327 -328 329 -330 -331 -332 -333 -334 335 336 337 -338 339 -340 -341 342 343 344 345 346 -347 348 349 350 -351 352 353 -354 355 -356 357 358 359 -360 361 362 -363 -364 365 -366 -367 368 -369 -370 -371 -372 -373 -374 375 376 377 -378 379 380 0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1833547-1242823073/watcher-1833547-1242823073 -o /tmp/evaluation-result-1833547-1242823073/solver-1833547-1242823073 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833547-1242823073.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.99 1.00 1.10 3/65 1273
/proc/meminfo: memFree=1785024/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310336440 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 270187331666 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/1273/statm: 1339 235 195 169 0 50 0
[pid=1274] ppid=1273 vsize=5356 CPUtime=0
/proc/1274/stat : 1274 (SatELiteGTI) S 1273 1273 1203 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310336440 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/1274/statm: 1339 238 198 169 0 50 0
[pid=1276] ppid=1274 vsize=5356 CPUtime=0
/proc/1276/stat : 1276 (SatELiteGTI) R 1274 1273 1203 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187162919 0 0 4096 0 0 0 0 17 1 0 0
/proc/1276/statm: 1339 239 199 169 0 50 0
[startup+0.0298549 s]
/proc/loadavg: 0.99 1.00 1.10 3/65 1273
/proc/meminfo: memFree=1785024/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101857 s]
/proc/loadavg: 0.99 1.00 1.10 3/65 1273
/proc/meminfo: memFree=1785024/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301879 s]
/proc/loadavg: 0.99 1.00 1.10 3/65 1273
/proc/meminfo: memFree=1785024/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701925 s]
/proc/loadavg: 0.99 1.00 1.10 3/65 1273
/proc/meminfo: memFree=1785024/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50202 s]
/proc/loadavg: 0.99 1.00 1.10 2/67 1279
/proc/meminfo: memFree=1783280/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=3752 CPUtime=1.47
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 587 0 0 0 147 0 0 0 25 0 1 0 310336441 3842048 573 1992294400 134512640 135215339 4294956240 18446744073709551615 134528772 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 938 573 76 171 0 765 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9108
[startup+3.1012 s]
/proc/loadavg: 0.99 1.00 1.10 2/67 1279
/proc/meminfo: memFree=1782128/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=4852 CPUtime=3.07
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 859 0 0 0 307 0 0 0 25 0 1 0 310336441 4968448 845 1992294400 134512640 135215339 4294956240 18446744073709551615 134529069 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 1213 845 76 171 0 1040 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10208
[startup+6.30156 s]
/proc/loadavg: 0.99 1.00 1.10 2/67 1279
/proc/meminfo: memFree=1780720/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=5544 CPUtime=6.27
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1023 0 0 0 626 1 0 0 25 0 1 0 310336441 5677056 1009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 1386 1009 76 171 0 1213 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 10900
[startup+12.7013 s]
/proc/loadavg: 0.99 1.00 1.10 2/67 1279
/proc/meminfo: memFree=1780592/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=5544 CPUtime=12.65
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1032 0 0 0 1264 1 0 0 25 0 1 0 310336441 5677056 1018 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 1386 1018 76 171 0 1213 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 10900
[startup+25.5018 s]
/proc/loadavg: 0.99 1.00 1.10 2/67 1279
/proc/meminfo: memFree=1780592/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=5544 CPUtime=25.43
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1032 0 0 0 2541 2 0 0 25 0 1 0 310336441 5677056 1018 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 1386 1018 76 171 0 1213 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 10900
[startup+51.1027 s]
/proc/loadavg: 0.99 1.00 1.09 2/67 1279
/proc/meminfo: memFree=1780528/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=5684 CPUtime=51
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1047 0 0 0 5098 2 0 0 25 0 1 0 310336441 5820416 1033 1992294400 134512640 135215339 4294956240 18446744073709551615 134538543 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 1421 1033 76 171 0 1248 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 11040
[startup+102.307 s]
/proc/loadavg: 0.99 1.00 1.09 2/67 1279
/proc/meminfo: memFree=1779760/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=6344 CPUtime=102.16
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1215 0 0 0 10213 3 0 0 25 0 1 0 310336441 6496256 1201 1992294400 134512640 135215339 4294956240 18446744073709551615 134534294 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 1586 1201 76 171 0 1413 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 11700
[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.08 2/67 1279
/proc/meminfo: memFree=1779056/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=6896 CPUtime=162.11
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1352 0 0 0 16207 4 0 0 25 0 1 0 310336441 7061504 1338 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 1724 1338 76 171 0 1551 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 12252
[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.07 2/67 1279
/proc/meminfo: memFree=1778416/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=7580 CPUtime=222.07
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1509 0 0 0 22202 5 0 0 25 0 1 0 310336441 7761920 1495 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 1895 1495 76 171 0 1722 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 12936
[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.07 2/67 1279
/proc/meminfo: memFree=1777840/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=7976 CPUtime=282.03
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1635 0 0 0 28198 5 0 0 25 0 1 0 310336441 8167424 1621 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 1994 1621 76 171 0 1821 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 13332
[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.06 2/67 1279
/proc/meminfo: memFree=1777456/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=8396 CPUtime=342
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1725 0 0 0 34194 6 0 0 25 0 1 0 310336441 8597504 1711 1992294400 134512640 135215339 4294956240 18446744073709551615 134537877 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 2099 1711 76 171 0 1926 0
Current children cumulated CPU time (s) 342
Current children cumulated vsize (KiB) 13752
Solver just ended. Dumping a history of the last processes samples
[startup+358.303 s]
/proc/loadavg: 0.99 1.00 1.06 2/67 1279
/proc/meminfo: memFree=1777392/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=8528 CPUtime=357.99
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1750 0 0 0 35793 6 0 0 25 0 1 0 310336441 8732672 1736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 2132 1736 76 171 0 1959 0
Current children cumulated CPU time (s) 357.99
Current children cumulated vsize (KiB) 13884
[startup+383.906 s]
/proc/loadavg: 0.99 1.00 1.06 2/67 1281
/proc/meminfo: memFree=1777136/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=8660 CPUtime=383.58
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1783 0 0 0 38352 6 0 0 25 0 1 0 310336441 8867840 1769 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 2165 1769 76 171 0 1992 0
Current children cumulated CPU time (s) 383.58
Current children cumulated vsize (KiB) 14016
[startup+390.301 s]
/proc/loadavg: 0.99 1.00 1.06 2/67 1281
/proc/meminfo: memFree=1777136/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=8820 CPUtime=389.97
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1824 0 0 0 38991 6 0 0 25 0 1 0 310336441 9031680 1810 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 2205 1810 76 171 0 2032 0
Current children cumulated CPU time (s) 389.97
Current children cumulated vsize (KiB) 14176
[startup+396.701 s]
/proc/loadavg: 0.99 1.00 1.06 2/67 1281
/proc/meminfo: memFree=1777072/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=8820 CPUtime=396.37
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1838 0 0 0 39631 6 0 0 25 0 1 0 310336441 9031680 1824 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 2205 1824 76 171 0 2032 0
Current children cumulated CPU time (s) 396.37
Current children cumulated vsize (KiB) 14176
[startup+398.301 s]
/proc/loadavg: 0.99 1.00 1.06 2/67 1281
/proc/meminfo: memFree=1777072/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=8820 CPUtime=397.97
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1838 0 0 0 39791 6 0 0 25 0 1 0 310336441 9031680 1824 1992294400 134512640 135215339 4294956240 18446744073709551615 134528936 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 2205 1824 76 171 0 2032 0
Current children cumulated CPU time (s) 397.97
Current children cumulated vsize (KiB) 14176
[startup+399.901 s]
/proc/loadavg: 0.99 1.00 1.06 2/67 1281
/proc/meminfo: memFree=1777072/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=8820 CPUtime=399.57
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1838 0 0 0 39951 6 0 0 25 0 1 0 310336441 9031680 1824 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 2205 1824 76 171 0 2032 0
Current children cumulated CPU time (s) 399.57
Current children cumulated vsize (KiB) 14176
[startup+400.702 s]
/proc/loadavg: 0.99 1.00 1.06 2/67 1281
/proc/meminfo: memFree=1777072/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=8820 CPUtime=400.36
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1838 0 0 0 40030 6 0 0 25 0 1 0 310336441 9031680 1824 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 2205 1824 76 171 0 2032 0
Current children cumulated CPU time (s) 400.36
Current children cumulated vsize (KiB) 14176
[startup+401.103 s]
/proc/loadavg: 0.99 1.00 1.06 2/67 1281
/proc/meminfo: memFree=1777072/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=8820 CPUtime=400.76
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1838 0 0 0 40070 6 0 0 25 0 1 0 310336441 9031680 1824 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 2205 1824 76 171 0 2032 0
Current children cumulated CPU time (s) 400.76
Current children cumulated vsize (KiB) 14176
[startup+401.203 s]
/proc/loadavg: 0.99 1.00 1.06 2/67 1281
/proc/meminfo: memFree=1777072/2055920 swapFree=4180344/4192956
[pid=1273] ppid=1271 vsize=5356 CPUtime=0
/proc/1273/stat : 1273 (SatELiteGTI) S 1271 1273 1203 0 -1 4194304 336 401 0 0 0 0 0 0 19 0 1 0 310336440 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1273/statm: 1339 239 197 169 0 50 0
[pid=1279] ppid=1273 vsize=8820 CPUtime=400.86
/proc/1279/stat : 1279 (minisat_static) R 1273 1273 1203 0 -1 4194304 1838 0 0 0 40080 6 0 0 25 0 1 0 310336441 9031680 1824 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/1279/statm: 2205 1824 76 171 0 2032 0
Current children cumulated CPU time (s) 400.86
Current children cumulated vsize (KiB) 14176
Child status: 10
Real time (s): 401.239
CPU time (s): 400.921
CPU user time (s): 400.845
CPU system time (s): 0.075988
CPU usage (%): 99.9206
Max. virtual memory (cumulated for all children) (KiB): 14176
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 400.845
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2871
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= 50
involuntary context switches= 5445
runsolver used 0.623905 second user time and 0.986849 second system time
The end
Begin job on node88 at 2009-05-20 14:37:53
IDJOB=1833547
IDBENCH=70737
IDSOLVER=671
FILE ID=node88/1833547-1242823073
PBS_JOBID= 9322542
Free space on /tmp= 66140 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/MEDIUM/3SAT/SATISFIABLE/380/unif-k3-r4.25-v380-c1615-S1516934767-080.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1833547-1242823073/watcher-1833547-1242823073 -o /tmp/evaluation-result-1833547-1242823073/solver-1833547-1242823073 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1833547-1242823073.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e81ed5c11d3bffdd04a2753974045769
RANDOM SEED=1370031239
node88.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.229
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.229
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: 1785568 kB
Buffers: 50424 kB
Cached: 171652 kB
SwapCached: 6880 kB
Active: 58892 kB
Inactive: 172052 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1785568 kB
SwapTotal: 4192956 kB
SwapFree: 4180344 kB
Dirty: 1608 kB
Writeback: 0 kB
Mapped: 13992 kB
Slab: 25364 kB
Committed_AS: 859108 kB
PageTables: 1448 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= 66140 MiB
End job on node88 at 2009-05-20 14:44:34