c This is wbo 1.0 alpha (based on Minisat 2.0 beta) c WARNING: for repeatability, setting FPU to use double precision c | Number of variables: 200 | c | Number of clauses: 640 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 200 | c | Number Clauses: 640 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.000999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.000999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.001999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.001999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.002999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.004999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.007998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.009998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.011998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.014997 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.016997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.019996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.022996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.024996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.026995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.029995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.031995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.033994 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.035994 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.038994 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 399 702 1816 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.040993 s Remaining CPU time: 1799.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 408 705 1840 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 435 707 1898 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.042993 s Remaining CPU time: 1799.96 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 466 708 1960 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 536 711 2104 | 5000 0 nan | 0.000 % | c | 102 | 536 711 2104 | 5500 102 19 | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 622 715 2283 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.05999 s Remaining CPU time: 1799.94 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 663 719 2371 | 5000 0 nan | 0.000 % | c | 100 | 663 719 2371 | 5500 100 15 | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 734 730 2541 | 5000 0 nan | 0.000 % | c | 100 | 734 730 2541 | 5500 100 9 | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.083987 s Remaining CPU time: 1799.92 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 771 782 2840 | 5000 0 nan | 0.000 % | c | 100 | 771 782 2840 | 5500 100 14 | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.092985 s Remaining CPU time: 1799.91 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 790 830 3117 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.098984 s Remaining CPU time: 1799.9 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 796 848 3219 | 5000 0 nan | 0.000 % | c | 105 | 796 848 3219 | 5500 105 20 | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.110983 s Remaining CPU time: 1799.89 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 816 865 3347 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 783 869 3378 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.118981 s Remaining CPU time: 1799.88 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 791 870 3394 | 5000 0 nan | 0.000 % | c | 100 | 732 870 3394 | 5500 100 17 | 24.612 % | c | 253 | 631 870 3394 | 6050 250 20 | 24.612 % | c | 479 | 631 870 3394 | 6655 476 24 | 24.612 % | c =============================================================================== c Elapsed CPU time: 0.160975 s Remaining CPU time: 1799.84 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 812 871 3436 | 5000 0 nan | 0.000 % | c | 103 | 808 871 3436 | 5500 103 23 | 7.692 % | c | 254 | 779 871 3436 | 6050 253 29 | 23.893 % | c =============================================================================== c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 843 872 3498 | 5000 0 nan | 0.000 % | c | 103 | 840 872 3498 | 5500 103 32 | 7.424 % | c | 253 | 804 872 3498 | 6050 252 34 | 23.060 % | c | 481 | 684 872 3498 | 6655 478 36 | 23.060 % | c =============================================================================== c Elapsed CPU time: 0.230964 s Remaining CPU time: 1799.77 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 858 873 3528 | 5000 0 nan | 0.000 % | c | 100 | 855 873 3528 | 5500 100 27 | 7.301 % | c | 256 | 823 873 3528 | 6050 255 35 | 22.677 % | c | 481 | 699 873 3528 | 6655 478 39 | 22.677 % | c | 819 | 699 873 3528 | 7320 816 46 | 22.677 % | c | 1325 | 699 873 3528 | 8052 1322 48 | 22.677 % | c | 2085 | 699 873 3528 | 8857 2082 48 | 22.677 % | c | 3224 | 698 873 3528 | 9743 2989 49 | 22.788 % | c | 4933 | 698 873 3528 | 10717 4698 50 | 22.788 % | c | 7495 | 696 873 3528 | 11789 7260 50 | 23.009 % | c =============================================================================== c Elapsed CPU time: 2.96055 s Remaining CPU time: 1797.04 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 884 874 3580 | 5000 0 nan | 0.000 % | c | 100 | 877 874 3580 | 5500 100 30 | 7.097 % | c =============================================================================== c Elapsed CPU time: 2.98555 s Remaining CPU time: 1797.01 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 901 875 3614 | 5000 0 nan | 0.000 % | c | 101 | 863 875 3614 | 5500 101 45 | 21.647 % | c | 252 | 742 875 3614 | 6050 250 36 | 21.647 % | c =============================================================================== c Elapsed CPU time: 3.01254 s Remaining CPU time: 1796.99 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 918 876 3648 | 5000 0 nan | 0.000 % | c | 102 | 821 876 3648 | 5500 102 20 | 21.266 % | c | 253 | 759 876 3648 | 6050 251 24 | 21.266 % | c | 479 | 759 876 3648 | 6655 477 25 | 21.266 % | c =============================================================================== c Elapsed CPU time: 3.06953 s Remaining CPU time: 1796.93 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 932 877 3676 | 5000 0 nan | 0.000 % | c | 101 | 924 877 3676 | 5500 101 28 | 6.749 % | c | 254 | 882 877 3676 | 6050 253 25 | 20.961 % | c =============================================================================== c Elapsed CPU time: 3.08953 s Remaining CPU time: 1796.91 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 948 878 3708 | 5000 0 nan | 0.000 % | c | 100 | 940 878 3708 | 5500 100 27 | 6.640 % | c | 252 | 896 878 3708 | 6050 251 33 | 20.624 % | c | 477 | 789 878 3708 | 6655 473 34 | 20.624 % | c | 815 | 789 878 3708 | 7320 811 35 | 20.624 % | c | 1322 | 789 878 3708 | 8052 1318 36 | 20.624 % | c | 2082 | 789 878 3708 | 8857 2078 38 | 20.624 % | c | 3221 | 789 878 3708 | 9743 3217 40 | 20.624 % | c =============================================================================== c Elapsed CPU time: 3.73143 s Remaining CPU time: 1796.27 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 965 879 3742 | 5000 0 nan | 0.000 % | c | 102 | 961 879 3742 | 5500 102 32 | 6.528 % | c | 252 | 863 879 3742 | 6050 251 35 | 20.376 % | c | 479 | 799 879 3742 | 6655 474 50 | 20.969 % | c | 817 | 785 879 3742 | 7320 796 53 | 22.354 % | c | 1325 | 784 879 3742 | 8052 1304 53 | 22.453 % | c | 2084 | 784 879 3742 | 8857 1984 55 | 22.453 % | c =============================================================================== c Elapsed CPU time: 3.9514 s Remaining CPU time: 1796.05 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 990 880 3792 | 5000 0 nan | 0.000 % | c | 100 | 979 880 3792 | 5500 100 38 | 6.371 % | c | 257 | 879 880 3792 | 6050 256 44 | 19.788 % | c | 482 | 831 880 3792 | 6655 479 50 | 19.788 % | c | 821 | 831 880 3792 | 7320 818 63 | 19.788 % | c | 1328 | 831 880 3792 | 8052 1325 70 | 19.788 % | c | 2087 | 831 880 3792 | 8857 2084 70 | 19.788 % | c | 3228 | 831 880 3792 | 9743 3225 72 | 19.788 % | c | 4940 | 831 880 3792 | 10717 4937 76 | 19.788 % | c | 7509 | 831 880 3792 | 11789 7506 76 | 19.788 % | c | 11355 | 831 880 3792 | 12968 11352 74 | 19.788 % | c | 17124 | 831 880 3792 | 14265 10491 71 | 19.788 % | c | 25779 | 831 880 3792 | 15692 11899 71 | 19.788 % | c | 38760 | 831 880 3792 | 17261 8855 76 | 19.788 % | c =============================================================================== c Elapsed CPU time: 24.2273 s Remaining CPU time: 1775.77 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1017 881 3846 | 5000 0 nan | 0.000 % | c | 103 | 1002 881 3846 | 5500 103 38 | 6.209 % | c | 253 | 921 881 3846 | 6050 252 35 | 19.285 % | c | 478 | 858 881 3846 | 6655 475 37 | 19.285 % | c | 816 | 858 881 3846 | 7320 813 43 | 19.285 % | c | 1323 | 858 881 3846 | 8052 1320 48 | 19.285 % | c | 2083 | 858 881 3846 | 8857 2080 50 | 19.285 % | c | 3227 | 858 881 3846 | 9743 3224 51 | 19.285 % | c | 4935 | 858 881 3846 | 10717 4932 51 | 19.285 % | c | 7498 | 858 881 3846 | 11789 7495 50 | 19.285 % | c | 11344 | 858 881 3846 | 12968 11341 51 | 19.285 % | c | 17112 | 858 881 3846 | 14265 10487 50 | 19.285 % | c | 25762 | 858 881 3846 | 15692 11865 51 | 19.285 % | c =============================================================================== c Elapsed CPU time: 36.5084 s Remaining CPU time: 1763.49 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1034 882 3880 | 5000 0 nan | 0.000 % | c | 103 | 1020 882 3880 | 5500 103 42 | 6.111 % | c | 254 | 971 882 3880 | 6050 253 35 | 18.982 % | c | 479 | 923 882 3880 | 6655 478 31 | 18.982 % | c | 816 | 875 882 3880 | 7320 813 31 | 18.982 % | c | 1324 | 874 882 3880 | 8052 1316 30 | 19.074 % | c | 2083 | 874 882 3880 | 8857 2075 34 | 19.076 % | c =============================================================================== c Elapsed CPU time: 36.7384 s Remaining CPU time: 1763.26 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1054 883 3920 | 5000 0 nan | 0.000 % | c | 104 | 1003 883 3920 | 5500 104 34 | 18.636 % | c | 258 | 895 883 3920 | 6050 254 52 | 18.636 % | c | 484 | 895 883 3920 | 6655 480 43 | 18.636 % | c | 823 | 895 883 3920 | 7320 819 41 | 18.636 % | c | 1329 | 895 883 3920 | 8052 1325 42 | 18.636 % | c | 2089 | 895 883 3920 | 8857 2085 45 | 18.636 % | c | 3229 | 895 883 3920 | 9743 3225 50 | 18.636 % | c | 4943 | 895 883 3920 | 10717 4939 52 | 18.636 % | c | 7506 | 895 883 3920 | 11789 7502 53 | 18.636 % | c | 11352 | 895 883 3920 | 12968 11348 54 | 18.636 % | c | 17118 | 895 883 3920 | 14265 10500 53 | 18.636 % | c =============================================================================== c Elapsed CPU time: 46.294 s Remaining CPU time: 1753.71 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1072 884 3956 | 5000 0 nan | 0.000 % | c | 103 | 1057 884 3956 | 5500 103 44 | 5.903 % | c | 260 | 951 884 3956 | 6050 259 38 | 18.336 % | c | 485 | 913 884 3956 | 6655 482 47 | 18.336 % | c | 824 | 913 884 3956 | 7320 821 45 | 18.336 % | c | 1331 | 913 884 3956 | 8052 1328 52 | 18.336 % | c | 2093 | 913 884 3956 | 8857 2090 62 | 18.336 % | c | 3234 | 913 884 3956 | 9743 3231 76 | 18.336 % | c | 4943 | 913 884 3956 | 10717 4940 70 | 18.336 % | c | 7505 | 913 884 3956 | 11789 7502 70 | 18.336 % | c | 11352 | 913 884 3956 | 12968 11349 78 | 18.336 % | c | 17118 | 913 884 3956 | 14265 10485 86 | 18.336 % | c | 25767 | 913 884 3956 | 15692 11858 84 | 18.336 % | c | 38743 | 913 884 3956 | 17261 8814 87 | 18.336 % | c | 58206 | 913 884 3956 | 18987 10716 86 | 18.336 % | c | 87398 | 913 884 3956 | 20886 10906 89 | 18.336 % | c | 131191 | 913 884 3956 | 22974 12145 96 | 18.336 % | c =============================================================================== c Elapsed CPU time: 180.981 s Remaining CPU time: 1619.02 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1138 885 4088 | 5000 0 nan | 0.000 % | c | 100 | 1059 885 4088 | 5500 100 31 | 17.314 % | c | 252 | 979 885 4088 | 6050 249 42 | 17.314 % | c | 477 | 979 885 4088 | 6655 474 49 | 17.314 % | c | 814 | 979 885 4088 | 7320 811 53 | 17.314 % | c | 1320 | 979 885 4088 | 8052 1317 52 | 17.314 % | c | 2079 | 979 885 4088 | 8857 2076 54 | 17.314 % | c | 3218 | 979 885 4088 | 9743 3215 62 | 17.314 % | c | 4927 | 979 885 4088 | 10717 4924 73 | 17.314 % | c | 7490 | 979 885 4088 | 11789 7487 80 | 17.314 % | c | 11336 | 979 885 4088 | 12968 11333 84 | 17.314 % | c | 17103 | 979 885 4088 | 14265 10450 88 | 17.314 % | c | 25753 | 979 885 4088 | 15692 11773 100 | 17.314 % | c | 38729 | 979 885 4088 | 17261 8701 107 | 17.314 % | c | 58192 | 979 885 4088 | 18987 10537 108 | 17.314 % | c | 87387 | 979 885 4088 | 20886 10391 108 | 17.314 % | c | 131177 | 979 885 4088 | 22974 11289 112 | 17.314 % | c | 196861 | 979 885 4088 | 25272 18577 118 | 17.314 % | c | 295388 | 979 885 4088 | 27799 22015 112 | 17.314 % | c | 443182 | 979 885 4088 | 30579 17851 71 | 17.314 % |