c wbo 1.4a beta - 20100425 c | Number of variables: 664 | c | Number of clauses: 3699 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 664 | c | Number Clauses: 3699 | 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 | 1312 3866 11780 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1320 3867 11796 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1330 3868 11816 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1344 3869 11845 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1352 3870 11861 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1378 3871 11913 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1386 3872 11929 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1421 3873 11999 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1428 3874 12013 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1435 3875 12027 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1442 3876 12041 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1456 3877 12069 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1467 3878 12091 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1493 3879 12143 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1500 3880 12157 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1506 3881 12169 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1513 3882 12183 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1534 3883 12227 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1551 3884 12261 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1563 3885 12285 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1580 3886 12319 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1587 3887 12333 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1595 3888 12349 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1601 3889 12361 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1615 3890 12389 | 5000 0 nan | 0.000 % | c | 101 | 1614 3890 12389 | 5500 101 8 | 1.358 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1642 3891 12443 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1653 3892 12465 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1666 3893 12491 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1676 3894 12511 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1707 3895 12573 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1728 3896 12615 | 5000 0 nan | 0.000 % | c | 100 | 1728 3896 12615 | 5500 100 18 | 0.289 % | c | 251 | 1725 3896 12615 | 6050 243 14 | 0.635 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1776 3897 12711 | 5000 0 nan | 0.000 % | c | 101 | 1776 3897 12711 | 5500 101 30 | 0.281 % | c | 253 | 1776 3897 12711 | 6050 253 24 | 0.281 % | c | 480 | 1776 3897 12711 | 6655 480 23 | 0.281 % | c | 818 | 1776 3897 12711 | 7320 818 22 | 0.281 % | c | 1326 | 1773 3897 12711 | 8052 1325 21 | 0.505 % | c | 2085 | 1772 3897 12711 | 8857 2084 21 | 0.620 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1828 3898 12815 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1854 3899 12867 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1865 3900 12889 | 5000 0 nan | 0.000 % | c | 101 | 1865 3900 12889 | 5500 101 39 | 0.268 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1917 3901 12998 | 5000 0 nan | 0.000 % | c | 101 | 1917 3901 12998 | 5500 101 20 | 0.001 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1973 3902 13110 | 5000 0 nan | 0.000 % | c | 100 | 1973 3902 13110 | 5500 100 39 | 0.001 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1992 3903 13148 | 5000 0 nan | 0.000 % | c | 100 | 1992 3903 13148 | 5500 100 18 | 0.001 % | c | 252 | 1992 3903 13148 | 6050 252 29 | 0.050 % | c | 477 | 1991 3903 13148 | 6655 476 32 | 0.050 % | c | 816 | 1989 3903 13148 | 7320 813 37 | 0.151 % | c | 1322 | 1989 3903 13148 | 8052 1319 43 | 0.151 % | c | 2081 | 1989 3903 13148 | 8857 2078 50 | 0.151 % | c | 3220 | 1987 3903 13148 | 9743 2376 42 | 0.251 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2247 3904 13658 | 5000 0 nan | 0.000 % | c | 101 | 2247 3904 13658 | 5500 101 42 | 0.000 % | c | 253 | 2247 3904 13658 | 6050 253 41 | 0.000 % | c | 479 | 2247 3904 13658 | 6655 479 47 | 0.000 % | c | 816 | 2247 3904 13658 | 7320 816 63 | 0.000 % | c | 1322 | 2247 3904 13658 | 8052 1322 59 | 0.000 % | c | 2082 | 2247 3904 13658 | 8857 2082 54 | 0.000 % | c | 3222 | 2247 3904 13658 | 9743 3222 50 | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2419 3905 14002 | 5000 0 nan | 0.000 % | c | 100 | 2419 3905 14002 | 5500 100 35 | 0.000 % | c | 251 | 2419 3905 14002 | 6050 251 29 | 0.000 % | c | 476 | 2419 3905 14002 | 6655 476 32 | 0.000 % | c | 813 | 2419 3905 14002 | 7320 813 46 | 0.000 % | c | 1320 | 2419 3905 14002 | 8052 1320 60 | 0.000 % | c | 2083 | 2419 3905 14002 | 8857 2083 64 | 0.000 % | c | 3224 | 2419 3905 14002 | 9743 3224 68 | 0.000 % | c | 4933 | 2419 3905 14002 | 10717 4933 69 | 0.000 % | c | 7495 | 2419 3905 14002 | 11789 7495 73 | 0.000 % | c | 11342 | 2419 3905 14002 | 12968 11342 71 | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2574 3908 14318 | 5000 0 nan | 0.000 % | c | 102 | 2574 3908 14318 | 5500 102 54 | 0.000 % | c | 255 | 2574 3908 14318 | 6050 255 41 | 0.000 % | c | 480 | 2574 3908 14318 | 6655 480 55 | 0.000 % | c | 820 | 2574 3908 14318 | 7320 820 53 | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2606 3909 14382 | 5000 0 nan | 0.000 % | c | 100 | 2606 3909 14382 | 5500 100 59 | 0.000 % | c | 250 | 2606 3909 14382 | 6050 250 70 | 0.000 % | c | 475 | 2606 3909 14382 | 6655 475 79 | 0.000 % | c | 815 | 2606 3909 14382 | 7320 815 80 | 0.000 % | c | 1324 | 2606 3909 14382 | 8052 1324 82 | 0.000 % | c | 2083 | 2606 3909 14382 | 8857 2083 91 | 0.000 % | c | 3223 | 2606 3909 14382 | 9743 3223 98 | 0.000 % | c | 4934 | 2606 3909 14382 | 10717 4934 89 | 0.000 % | c | 7496 | 2606 3909 14382 | 11789 7496 90 | 0.000 % | c | 11340 | 2606 3909 14382 | 12968 11340 81 | 0.000 % | c | 17108 | 2606 3909 14382 | 14265 10534 65 | 0.000 % | c | 25757 | 2606 3909 14382 | 15692 11999 58 | 0.000 % | c | 38736 | 2599 3909 14382 | 17261 13179 47 | 0.307 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2723 3913 14625 | 5000 0 nan | 0.000 % | c | 100 | 2723 3913 14625 | 5500 100 36 | 0.000 % | c | 251 | 2723 3913 14625 | 6050 251 53 | 0.000 % | c | 478 | 2723 3913 14625 | 6655 478 62 | 0.000 % | c | 815 | 2723 3913 14625 | 7320 815 63 | 0.000 % | c | 1324 | 2721 3913 14625 | 8052 1315 66 | 0.074 % | c | 2084 | 2719 3913 14625 | 8857 2075 68 | 0.147 % | c | 3223 | 2719 3913 14625 | 9743 3212 66 | 0.148 % | c | 4931 | 2717 3913 14625 | 10717 4913 63 | 0.222 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2771 3914 14721 | 5000 0 nan | 0.000 % | c | 100 | 2771 3914 14721 | 5500 100 52 | 0.000 % | c | 250 | 2771 3914 14721 | 6050 250 69 | 0.000 % | c | 476 | 2771 3914 14721 | 6655 476 68 | 0.000 % | c | 813 | 2771 3914 14721 | 7320 813 69 | 0.000 % | c | 1320 | 2771 3914 14721 | 8052 1320 72 | 0.000 % | c | 2081 | 2771 3914 14721 | 8857 2081 78 | 0.000 % | c | 3221 | 2771 3914 14721 | 9743 3221 85 | 0.000 % | c | 4931 | 2771 3914 14721 | 10717 4931 85 | 0.000 % | c | 7494 | 2771 3914 14721 | 11789 7494 91 | 0.000 % | c | 11338 | 2771 3914 14721 | 12968 11338 99 | 0.000 % | c | 17104 | 2771 3914 14721 | 14265 10537 93 | 0.000 % | c | 25754 | 2771 3914 14721 | 15692 11966 74 | 0.000 % | c | 38729 | 2771 3914 14721 | 17261 9076 61 | 0.000 % | c | 58192 | 2769 3914 14721 | 18987 9312 48 | 0.072 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2932 3917 15049 | 5000 0 nan | 0.000 % | c | 105 | 2932 3917 15049 | 5500 105 78 | 0.000 % | c | 255 | 2932 3917 15049 | 6050 255 56 | 0.000 % | c | 480 | 2932 3917 15049 | 6655 480 43 | 0.000 % | c | 817 | 2932 3917 15049 | 7320 817 44 | 0.000 % | c | 1324 | 2932 3917 15049 | 8052 1324 56 | 0.000 % | c | 2084 | 2932 3917 15049 | 8857 2084 63 | 0.000 % | c | 3223 | 2930 3917 15049 | 9743 3222 70 | 0.068 % | c | 4932 | 2930 3917 15049 | 10717 4931 67 | 0.068 % | c | 7499 | 2926 3917 15049 | 11789 7488 68 | 0.273 % | c | 11344 | 2914 3917 15049 | 12968 11273 62 | 0.614 % | c | 17110 | 2910 3917 15049 | 14265 10449 62 | 0.750 % | c | 25761 | 2910 3917 15049 | 15692 11893 75 | 0.750 % | c | 38735 | 2910 3917 15049 | 17261 9029 61 | 0.750 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3069 3921 15332 | 5000 0 nan | 0.000 % | c | 103 | 3069 3921 15332 | 5500 103 41 | 0.000 % | c | 256 | 3069 3921 15332 | 6050 256 38 | 0.000 % | c | 483 | 3069 3921 15332 | 6655 483 38 | 0.000 % | c | 821 | 3069 3921 15332 | 7320 821 34 | 0.000 % | c | 1332 | 3069 3921 15332 | 8052 1332 39 | 0.000 % | c | 2091 | 3069 3921 15332 | 8857 2091 35 | 0.000 % | c | 3231 | 3069 3921 15332 | 9743 3231 39 | 0.000 % | c | 4942 | 3069 3921 15332 | 10717 4942 46 | 0.000 % | c | 7508 | 3069 3921 15332 | 11789 7508 56 | 0.000 % | c | 11352 | 3069 3921 15332 | 12968 11352 65 | 0.000 % | c | 17118 | 3069 3921 15332 | 14265 10548 71 | 0.000 % | c | 25768 | 3069 3921 15332 | 15692 11987 63 | 0.000 % | c | 38742 | 3069 3921 15332 | 17261 9129 45 | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3155 3923 15507 | 5000 0 nan | 0.000 % | c | 102 | 3155 3923 15507 | 5500 102 86 | 0.000 % | c | 254 | 3155 3923 15507 | 6050 254 77 | 0.000 % | c | 479 | 3155 3923 15507 | 6655 479 65 | 0.000 % | c | 819 | 3155 3923 15507 | 7320 819 48 | 0.000 % | c | 1325 | 3155 3923 15507 | 8052 1325 54 | 0.000 % | c | 2085 | 3155 3923 15507 | 8857 2085 46 | 0.000 % | c | 3225 | 3150 3923 15507 | 9743 3168 37 | 0.190 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3212 3924 15621 | 5000 0 nan | 0.000 % | c | 100 | 3212 3924 15621 | 5500 100 50 | 0.000 % | c | 250 | 3212 3924 15621 | 6050 250 28 | 0.000 % | c | 476 | 3212 3924 15621 | 6655 476 24 | 0.000 % | c | 814 | 3212 3924 15621 | 7320 814 20 | 0.000 % | c | 1320 | 3210 3924 15621 | 8052 1248 19 | 0.125 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3241 3925 15679 | 5000 0 nan | 0.000 % | c | 100 | 3241 3925 15679 | 5500 100 98 | 0.000 % | c | 250 | 3241 3925 15679 | 6050 250 89 | 0.000 % | c | 475 | 3241 3925 15679 | 6655 475 71 | 0.000 % | c | 814 | 3241 3925 15679 | 7320 814 59 | 0.001 % | c | 1321 | 3241 3925 15679 | 8052 1321 57 | 0.000 % | c | 2086 | 3241 3925 15679 | 8857 2086 49 | 0.000 % | c | 3225 | 3241 3925 15679 | 9743 3225 47 | 0.000 % | c | 4933 | 3241 3925 15679 | 10717 4933 45 | 0.000 % | c | 7495 | 3241 3925 15679 | 11789 7495 55 | 0.000 % | c | 11339 | 3241 3925 15679 | 12968 11339 57 | 0.000 % | c | 17106 | 3241 3925 15679 | 14265 10523 55 | 0.000 % | c | 25760 | 3241 3925 15679 | 15692 11763 51 | 0.000 % | c | 38734 | 3241 3925 15679 | 17261 8891 47 | 0.000 % | c | 58198 | 3239 3925 15679 | 18987 16452 48 | 0.062 % | c | 87392 | 3237 3925 15679 | 20886 14957 48 | 0.123 % | c | 131182 | 3237 3925 15679 | 22974 16619 72 | 0.123 % | c | 196868 | 3237 3925 15679 | 25272 12713 70 | 0.123 % | c | 295394 | 3237 3925 15679 | 27799 21508 73 | 0.123 % | c | 443184 | 3237 3925 15679 | 30579 14826 75 | 0.123 % | c | 664867 | 3237 3925 15679 | 33637 19181 78 | 0.123 % |