c wbo 1.6 beta - 20110325 c | Number of variables: 150 | c | Number of clauses: 9984 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 9834 | 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 | 150 9834 19668 | 5000 0 -nan | 0.000 % | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 304 10060 20126 | 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 | 308 10061 20134 | 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 | 312 10062 20142 | 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 | 318 10063 20154 | 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 | 322 10064 20162 | 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 | 326 10065 20170 | 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 | 332 10066 20182 | 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 | 338 10067 20194 | 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 | 342 10068 20202 | 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 | 348 10069 20214 | 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 | 352 10070 20222 | 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 | 356 10071 20230 | 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 | 360 10072 20238 | 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 | 366 10073 20250 | 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 | 370 10074 20258 | 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 | 374 10075 20266 | 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 | 378 10076 20274 | 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 | 384 10077 20286 | 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 | 390 10078 20298 | 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 | 394 10079 20306 | 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 | 400 10080 20318 | 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 | 404 10081 20326 | 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 | 408 10082 20334 | 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 | 414 10083 20346 | 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 | 418 10084 20354 | 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 | 424 10085 20366 | 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 | 430 10086 20378 | 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 | 434 10087 20386 | 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 | 438 10088 20394 | 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 | 444 10089 20406 | 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 | 449 10090 20416 | 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 | 454 10091 20426 | 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 | 464 10092 20446 | 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 | 474 10093 20466 | 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 | 484 10094 20486 | 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 | 496 10095 20510 | 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 | 506 10096 20530 | 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 | 526 10097 20570 | 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 | 546 10098 20610 | 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 | 559 10099 20636 | 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 | 571 10100 20660 | 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 | 580 10101 20678 | 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 | 602 10102 20722 | 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 | 620 10103 20758 | 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 | 639 10104 20796 | 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 | 647 10105 20812 | 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 | 657 10106 20832 | 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 | 667 10107 20852 | 5000 0 -nan | 0.000 % | c | 100 | 666 10107 20852 | 5500 100 11 | 0.150 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 689 10108 20896 | 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 | 701 10109 20920 | 5000 0 -nan | 0.000 % | c | 100 | 700 10109 20920 | 5500 100 9 | 0.143 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 721 10110 20960 | 5000 0 -nan | 0.000 % | c | 100 | 714 10110 20960 | 5500 100 8 | 0.971 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 737 10111 20992 | 5000 0 -nan | 0.000 % | c | 100 | 737 10111 20992 | 5500 100 12 | 0.024 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 775 10112 21068 | 5000 0 -nan | 0.000 % | c | 102 | 775 10112 21068 | 5500 102 12 | 0.021 % | c | 252 | 773 10112 21068 | 6050 252 15 | 0.280 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 813 10113 21144 | 5000 0 -nan | 0.000 % | c | 100 | 810 10113 21144 | 5500 100 9 | 0.369 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 847 10114 21212 | 5000 0 -nan | 0.000 % | c | 100 | 847 10114 21212 | 5500 100 24 | 0.018 % | c | 250 | 846 10114 21212 | 6050 250 25 | 0.118 % | c | 475 | 845 10114 21212 | 6655 475 28 | 0.236 % | c | 814 | 836 10114 21212 | 7320 814 28 | 1.299 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 885 10115 21288 | 5000 0 -nan | 0.000 % | c | 102 | 885 10115 21288 | 5500 102 21 | 0.016 % | c | 252 | 885 10115 21288 | 6050 252 19 | 0.000 % | c | 479 | 885 10115 21288 | 6655 479 24 | 0.000 % | c | 816 | 883 10115 21288 | 7320 816 31 | 0.243 % | c | 1323 | 879 10115 21288 | 8052 1323 33 | 0.678 % | c | 2082 | 868 10115 21288 | 8857 2082 37 | 1.921 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 961 10116 21440 | 5000 0 -nan | 0.000 % | c | 101 | 961 10116 21440 | 5500 101 27 | 0.014 % | c | 253 | 961 10116 21440 | 6050 253 19 | 0.000 % | c | 478 | 961 10116 21440 | 6655 478 32 | 0.000 % | c | 817 | 960 10116 21440 | 7320 817 35 | 0.104 % | c | 1326 | 959 10116 21440 | 8052 1326 41 | 0.222 % | c | 2086 | 959 10116 21440 | 8857 2086 49 | 0.208 % | c | 3226 | 959 10116 21440 | 9743 3226 55 | 0.225 % | c | 4934 | 958 10116 21440 | 10717 4934 56 | 0.326 % | c | 7496 | 953 10116 21440 | 11789 7496 58 | 0.833 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1005 10117 21528 | 5000 0 -nan | 0.000 % | c | 100 | 1005 10117 21528 | 5500 100 18 | 0.013 % | c | 250 | 1005 10117 21528 | 6050 250 26 | 0.000 % | c | 480 | 1005 10117 21528 | 6655 480 26 | 0.000 % | c | 819 | 1005 10117 21528 | 7320 819 39 | 0.000 % | c | 1325 | 1003 10117 21528 | 8052 1325 43 | 0.213 % | c | 2085 | 1000 10117 21528 | 8857 2085 47 | 0.510 % | c | 3224 | 998 10117 21528 | 9743 3224 54 | 0.710 % | c | 4932 | 911 10117 21528 | 10717 4932 57 | 9.751 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1085 10118 21688 | 5000 0 -nan | 0.000 % | c | 101 | 1085 10118 21688 | 5500 101 23 | 0.011 % | c | 253 | 1085 10118 21688 | 6050 253 29 | 0.000 % | c | 479 | 1085 10118 21688 | 6655 479 33 | 0.000 % | c | 817 | 1085 10118 21688 | 7320 817 37 | 0.000 % | c | 1323 | 1085 10118 21688 | 8052 1323 43 | 0.000 % | c | 2084 | 1085 10118 21688 | 8857 2084 51 | 0.000 % | c | 3224 | 1085 10118 21688 | 9743 3224 56 | 0.000 % | c | 4933 | 1085 10118 21688 | 10717 4933 64 | 0.000 % | c | 7495 | 1080 10118 21688 | 11789 7495 64 | 0.472 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1167 10119 21852 | 5000 0 -nan | 0.000 % | c | 101 | 1167 10119 21852 | 5500 101 31 | 0.009 % | c | 251 | 1167 10119 21852 | 6050 251 33 | 0.000 % | c | 476 | 1167 10119 21852 | 6655 476 37 | 0.000 % | c | 813 | 1167 10119 21852 | 7320 813 41 | 0.000 % | c | 1322 | 1167 10119 21852 | 8052 1322 49 | 0.010 % | c | 2081 | 1167 10119 21852 | 8857 2081 59 | 0.000 % | c | 3221 | 1167 10119 21852 | 9743 3221 62 | 0.000 % | c | 4933 | 1167 10119 21852 | 10717 4933 69 | 0.010 % | c | 7500 | 1167 10119 21852 | 11789 7500 77 | 0.000 % | c | 11344 | 1167 10119 21852 | 12968 11344 73 | 0.000 % | c | 17115 | 1167 10119 21852 | 14265 10536 90 | 0.010 % | c | 25765 | 1167 10119 21852 | 15692 11961 93 | 0.000 % | c | 38742 | 1167 10119 21852 | 17261 8997 100 | 0.000 % | c | 58203 | 1166 10119 21852 | 18987 10948 88 | 0.096 % | c | 87401 | 1164 10119 21852 | 20886 11324 92 | 0.267 % | c | 131190 | 1151 10119 21852 | 22974 12877 93 | 1.371 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1266 10120 22050 | 5000 0 -nan | 0.000 % | c | 100 | 1266 10120 22050 | 5500 100 30 | 0.008 % | c | 251 | 1266 10120 22050 | 6050 251 43 | 0.000 % | c | 477 | 1266 10120 22050 | 6655 477 47 | 0.000 % | c | 814 | 1266 10120 22050 | 7320 814 54 | 0.000 % | c | 1321 | 1266 10120 22050 | 8052 1321 73 | 0.000 % | c | 2080 | 1266 10120 22050 | 8857 2080 82 | 0.000 % | c | 3220 | 1266 10120 22050 | 9743 3220 88 | 0.000 % | c | 4929 | 1266 10120 22050 | 10717 4929 105 | 0.000 % | c | 7493 | 1266 10120 22050 | 11789 7493 119 | 0.000 % | c | 11337 | 1266 10120 22050 | 12968 11337 143 | 0.000 % | c | 17106 | 1266 10120 22050 | 14265 10379 184 | 0.000 % | c | 25755 | 1266 10120 22050 | 15692 11687 199 | 0.000 % | c | 38730 | 1266 10120 22050 | 17261 8572 230 | 0.000 % | c | 58196 | 1266 10120 22050 | 18987 10341 222 | 0.000 % | c | 87399 | 1266 10120 22050 | 20886 10530 156 | 0.000 % | c | 131188 | 1266 10120 22050 | 22974 11858 125 | 0.000 % | c | 196880 | 1266 10120 22050 | 25272 19346 143 | 0.000 % | c | 295411 | 1266 10120 22050 | 27799 25348 123 | 0.008 % | c | 443200 | 1266 10120 22050 | 30579 18827 138 | 0.008 % | c | 664883 | 1265 10120 22050 | 33637 20751 174 | 0.087 % | c | 997410 | 1264 10120 22050 | 37001 20601 128 | 0.158 % | c | 1496205 | 1261 10120 22050 | 40701 24659 142 | 0.395 % | c | 2244390 | 1254 10120 22050 | 44771 34027 142 | 0.956 % |