c wbo 1.6 beta - 20110325 c | Number of variables: 73055 | c | Number of clauses: 807939 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.53 s | c | Number Variables: 73055 | c | Number Clauses: 802099 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 39307 802099 987906 | 267366 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30669 383166 711748 | 127722 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30850 383168 713186 | 127722 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30877 383170 713228 | 127723 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30894 383188 713247 | 127729 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31057 383190 716922 | 127730 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31064 383195 716934 | 127731 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30970 383201 716942 | 127733 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30982 383212 716962 | 127737 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30995 383230 716979 | 127743 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31007 383241 717000 | 127747 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31017 383251 717021 | 127750 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31034 383270 717044 | 127756 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31044 383284 717060 | 127761 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30915 383307 717084 | 127769 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30955 383322 718954 | 127774 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30984 383344 719042 | 127781 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 30999 383346 719066 | 127782 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31074 383424 719146 | 127808 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31094 383436 719178 | 127812 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31135 383492 719231 | 127830 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31183 383509 719421 | 127836 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31228 383553 719469 | 127851 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31372 383692 719616 | 127897 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31397 383694 719656 | 127898 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31424 383718 719687 | 127906 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31428 383720 719695 | 127906 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31900 383774 729990 | 127924 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 31944 383816 730055 | 127938 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32087 383829 732353 | 127943 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32167 383909 732479 | 127969 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32238 383977 732553 | 127992 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32320 384031 732751 | 128010 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32328 384043 732792 | 128014 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32524 384240 733094 | 128080 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32642 384241 733281 | 128080 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32799 384340 733720 | 128113 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32845 384386 733770 | 128128 0 -nan | 0.000 % | c | 100 | 32824 384386 733770 | 140941 100 21 | 56.271 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 32992 384539 733941 | 128179 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 33229 384758 734216 | 128252 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 33300 384828 734396 | 128276 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 33326 384853 734430 | 128284 0 -nan | 0.000 % | c | 100 | 33313 384853 734430 | 141112 100 26 | 56.086 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 33540 385038 734803 | 128346 0 -nan | 0.000 % | c | 101 | 33520 385038 734803 | 141180 101 63 | 55.754 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 33775 385263 735095 | 128421 0 -nan | 0.000 % | c | 101 | 33756 385263 735095 | 141263 101 19 | 55.907 % | c | 251 | 33650 385263 735095 | 155389 251 24 | 56.523 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 33893 385350 735292 | 128450 0 -nan | 0.000 % | c | 101 | 33876 385350 735292 | 141295 101 38 | 55.808 % | c | 251 | 33798 385350 735292 | 155424 251 45 | 56.351 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 34116 385526 735907 | 128508 0 -nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 34127 385535 735928 | 128511 0 -nan | 0.000 % | c | 100 | 34101 385535 735928 | 141362 100 19 | 55.298 % | c | 250 | 34098 385535 735928 | 155499 250 16 | 55.305 % | c | 476 | 34095 385535 735928 | 171049 476 18 | 55.307 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 34409 385701 736532 | 128567 0 -nan | 0.000 % | c | 100 | 34344 385701 736532 | 141423 100 47 | 55.229 % | c | 250 | 34302 385701 736532 | 155566 250 52 | 55.585 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 34723 386005 736856 | 128668 0 -nan | 0.000 % | c | 100 | 34703 386005 736856 | 141535 100 74 | 54.778 % | c | 250 | 34688 386005 736856 | 155688 250 53 | 54.798 % | c | 476 | 34672 386005 736856 | 171257 476 53 | 54.821 % | c | 813 | 34529 386005 736856 | 188383 813 61 | 54.995 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 35096 386352 737582 | 128784 0 -nan | 0.000 % | c | 101 | 35066 386352 737582 | 141662 101 46 | 54.605 % | c | 251 | 35047 386352 737582 | 155828 251 29 | 54.641 % | c | 478 | 35000 386352 737582 | 171411 478 28 | 55.302 % | c | 816 | 34430 386352 737582 | 188552 816 33 | 55.346 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 35698 386796 738665 | 128932 0 -nan | 0.000 % | c | 100 | 35689 386796 738665 | 141825 100 25 | 54.065 % | c | 251 | 35666 386796 738665 | 156007 251 34 | 54.156 % | c | 477 | 35615 386796 738665 | 171608 477 37 | 54.514 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 36077 387160 739249 | 129053 0 -nan | 0.000 % | c | 100 | 36039 387160 739249 | 141958 100 12 | 53.991 % | c | 250 | 35968 387160 739249 | 156154 250 19 | 54.391 % | c | 475 | 35292 387160 739249 | 171769 475 17 | 54.798 % | c | 812 | 35270 387160 739249 | 188946 812 33 | 54.840 % | c | 1318 | 35211 387160 739249 | 207841 1318 65 | 54.946 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 36718 387792 740307 | 129264 0 -nan | 0.000 % | c | 100 | 36707 387792 740307 | 142190 100 20 | 53.467 % | c | 250 | 36694 387792 740307 | 156409 250 26 | 53.741 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 36924 388017 740565 | 129339 0 -nan | 0.000 % | c | 100 | 36907 388017 740565 | 142272 100 11 | 53.349 % | c | 250 | 36882 388017 740565 | 156500 250 7 | 53.380 % | c | 477 | 36705 388017 740565 | 172150 477 15 | 53.914 % | c | 814 | 36267 388017 740565 | 189365 814 19 | 54.074 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 37368 388443 741360 | 129481 0 -nan | 0.000 % | c | 100 | 37274 388443 741360 | 142429 100 13 | 53.377 % | c | 250 | 37263 388443 741360 | 156672 250 37 | 53.395 % | c | 475 | 37196 388443 741360 | 172339 475 40 | 53.425 % | c | 813 | 36967 388443 741360 | 189573 813 78 | 53.443 % | c | 1321 | 36896 388443 741360 | 208530 1321 143 | 54.432 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 37952 389012 742070 | 129670 0 -nan | 0.000 % | c | 100 | 37936 389012 742070 | 142637 100 9 | 52.621 % | c | 250 | 37896 389012 742070 | 156901 250 15 | 52.719 % | c | 475 | 37863 389012 742070 | 172591 475 19 | 52.759 % | c | 812 | 37756 389012 742070 | 189850 812 20 | 53.112 % | c | 1318 | 37733 389012 742070 | 208835 1318 25 | 53.124 % | c | 2077 | 37473 389012 742070 | 229719 2077 36 | 53.273 % | c | 3216 | 37287 389012 742070 | 252691 3216 53 | 53.995 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 38645 389567 743310 | 129855 0 -nan | 0.000 % | c | 101 | 38606 389567 743310 | 142841 101 12 | 52.392 % | c | 251 | 38603 389567 743310 | 157125 251 56 | 52.393 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 39003 389933 743693 | 129977 0 -nan | 0.000 % | c | 100 | 38963 389933 743693 | 142975 100 9 | 52.157 % | c | 250 | 38934 389933 743693 | 157272 250 35 | 52.185 % | c | 475 | 38868 389933 743693 | 173000 475 32 | 52.483 % | c | 814 | 38515 389933 743693 | 190300 814 37 | 52.506 % | c | 1320 | 38373 389933 743693 | 209330 1320 36 | 52.955 % | c | 2079 | 38049 389933 743693 | 230263 2079 59 | 53.071 % | c | 3219 | 37965 389933 743693 | 253289 3219 64 | 53.178 % | c | 4927 | 37876 389933 743693 | 278618 4927 90 | 53.288 % | c | 7490 | 37777 389933 743693 | 306480 7490 99 | 53.413 % | c | 11334 | 37722 389933 743693 | 337128 11334 119 | 53.474 % | c | 17107 | 37661 389933 743693 | 370841 17107 141 | 53.549 % | c | 25756 | 37602 389933 743693 | 407925 25756 161 | 53.629 % | c | 38730 | 37535 389933 743693 | 448718 38730 244 | 53.732 % | c | 58191 | 37434 389933 743693 | 493589 58191 342 | 54.007 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 40270 391180 745959 | 130393 0 -nan | 0.000 % | c | 101 | 40239 391180 745959 | 143432 101 21 | 51.506 % | c | 251 | 40180 391180 745959 | 157775 251 21 | 51.578 % | c | 476 | 39893 391180 745959 | 173553 476 24 | 51.620 % | c | 813 | 39825 391180 745959 | 190908 813 32 | 51.797 % | c | 1320 | 39709 391180 745959 | 209999 1320 41 | 51.840 % | c | 2082 | 39143 391180 745959 | 230999 2082 50 | 52.533 % | c | 3221 | 39069 391180 745959 | 254099 3221 54 | 52.694 % | c | 4929 | 38871 391180 745959 | 279509 4929 77 | 52.859 % | c | 7493 | 38823 391180 745959 | 307460 7493 86 | 52.917 % | c | 11338 | 38728 391180 745959 | 338206 11338 102 | 53.036 % | c | 17104 | 38605 391180 745959 | 372027 17104 127 | 53.179 % | c | 25753 | 38501 391180 745959 | 409230 25753 145 | 53.306 % | c | 38728 | 38408 391180 745959 | 450153 38728 178 | 53.423 % | c | 58190 | 38362 391180 745959 | 495168 58190 269 | 53.497 % | c | 87386 | 38269 391180 745959 | 544685 87386 380 | 53.749 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 41306 392306 747877 | 130768 0 -nan | 0.000 % | c | 100 | 41279 392306 747877 | 143845 100 18 | 50.699 % | c | 250 | 41220 392306 747877 | 158230 250 27 | 50.932 % | c | 475 | 40923 392306 747877 | 174053 475 28 | 51.418 % | c | 812 | 40255 392306 747877 | 191458 812 48 | 51.899 % | c | 1318 | 40018 392306 747877 | 210604 1318 42 | 52.141 % | c | 2080 | 39980 392306 747877 | 231664 2080 50 | 52.193 % | c | 3219 | 39907 392306 747877 | 254831 3219 91 | 52.279 % | c | 4934 | 39845 392306 747877 | 280314 4934 96 | 52.339 % | c | 7496 | 39792 392306 747877 | 308345 7496 110 | 52.402 % | c | 11342 | 39743 392306 747877 | 339180 11342 112 | 52.461 % | c | 17108 | 39529 392306 747877 | 373098 17108 115 | 52.717 % | c | 25758 | 39358 392306 747877 | 410408 25758 117 | 52.924 % | c | 38732 | 39163 392306 747877 | 451448 38732 149 | 53.161 % | c | 58193 | 39049 392306 747877 | 496593 58193 205 | 53.296 % | c | 87387 | 38450 392306 747877 | 546253 87387 297 | 54.022 % | c | 131178 | 38343 392306 747877 | 600878 131178 373 | 54.181 % |