c wbo 1.4a beta - 20100425 c | Number of variables: 150 | c | Number of clauses: 9090 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 9090 | 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 | 300 9165 18330 | 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 | 304 9166 18338 | 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 9167 18346 | 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 | 314 9168 18358 | 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 | 320 9169 18370 | 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 9170 18382 | 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 9171 18394 | 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 9172 18406 | 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 9173 18414 | 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 9174 18426 | 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 9175 18434 | 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 | 358 9176 18446 | 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 | 364 9177 18458 | 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 | 368 9178 18466 | 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 | 372 9179 18474 | 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 | 376 9180 18482 | 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 | 380 9181 18490 | 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 9182 18498 | 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 9183 18510 | 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 9184 18518 | 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 9185 18530 | 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 | 406 9186 18542 | 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 | 410 9187 18550 | 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 9188 18558 | 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 9189 18566 | 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 9190 18578 | 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 | 428 9191 18586 | 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 9192 18598 | 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 9193 18606 | 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 9194 18618 | 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 | 450 9195 18630 | 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 | 460 9196 18650 | 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 9197 18678 | 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 | 498 9198 18726 | 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 | 512 9199 18754 | 5000 0 nan | 0.000 % | c | 100 | 497 9199 18754 | 5500 100 10 | 3.125 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 546 9200 18822 | 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 | 558 9201 18846 | 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 | 568 9202 18866 | 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 | 582 9203 18894 | 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 9204 18934 | 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 | 612 9205 18954 | 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 | 624 9206 18978 | 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 | 636 9207 19002 | 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 | 656 9208 19042 | 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 | 672 9209 19074 | 5000 0 nan | 0.000 % | c | 101 | 664 9209 19074 | 5500 101 9 | 1.488 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 694 9210 19118 | 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 | 704 9211 19138 | 5000 0 nan | 0.000 % | c | 102 | 704 9211 19138 | 5500 102 16 | 0.026 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 732 9212 19194 | 5000 0 nan | 0.000 % | c | 101 | 731 9212 19194 | 5500 101 15 | 0.137 % | c | 252 | 730 9212 19194 | 6050 252 18 | 0.296 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 768 9213 19266 | 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 | 784 9214 19298 | 5000 0 nan | 0.000 % | c | 103 | 784 9214 19298 | 5500 103 13 | 0.020 % | c | 255 | 783 9214 19298 | 6050 255 16 | 0.153 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 820 9215 19370 | 5000 0 nan | 0.000 % | c | 100 | 817 9215 19370 | 5500 100 10 | 0.366 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 844 9216 19418 | 5000 0 nan | 0.000 % | c | 100 | 844 9216 19418 | 5500 100 12 | 0.017 % | c | 251 | 844 9216 19418 | 6050 251 19 | 0.000 % | c | 477 | 844 9216 19418 | 6655 477 25 | 0.000 % | c | 814 | 844 9216 19418 | 7320 814 30 | 0.017 % | c | 1324 | 842 9216 19418 | 8052 1323 34 | 0.253 % | c | 2085 | 842 9216 19418 | 8857 2084 37 | 0.237 % | c | 3224 | 827 9216 19418 | 9743 3216 38 | 2.030 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 888 9217 19506 | 5000 0 nan | 0.000 % | c | 103 | 888 9217 19506 | 5500 103 23 | 0.015 % | c | 253 | 888 9217 19506 | 6050 253 22 | 0.000 % | c | 479 | 888 9217 19506 | 6655 479 28 | 0.000 % | c | 818 | 888 9217 19506 | 7320 818 29 | 0.000 % | c | 1324 | 888 9217 19506 | 8052 1324 35 | 0.000 % | c | 2083 | 888 9217 19506 | 8857 2083 41 | 0.015 % | c | 3222 | 886 9217 19506 | 9743 3221 46 | 0.225 % | c | 4931 | 885 9217 19506 | 10717 4930 49 | 0.338 % | c | 7500 | 872 9217 19506 | 11789 7448 51 | 1.802 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 942 9218 19614 | 5000 0 nan | 0.000 % | c | 101 | 942 9218 19614 | 5500 101 17 | 0.014 % | c | 252 | 942 9218 19614 | 6050 252 20 | 0.000 % | c | 477 | 942 9218 19614 | 6655 477 21 | 0.000 % | c | 815 | 942 9218 19614 | 7320 815 26 | 0.000 % | c | 1321 | 941 9218 19614 | 8052 1320 27 | 0.120 % | c | 2081 | 941 9218 19614 | 8857 2080 29 | 0.106 % | c | 3220 | 933 9218 19614 | 9743 3195 38 | 0.956 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1002 9219 19734 | 5000 0 nan | 0.000 % | c | 103 | 1002 9219 19734 | 5500 103 22 | 0.012 % | c | 253 | 1002 9219 19734 | 6050 253 29 | 0.000 % | c | 479 | 1002 9219 19734 | 6655 479 31 | 0.000 % | c | 816 | 1002 9219 19734 | 7320 816 40 | 0.000 % | c | 1322 | 1002 9219 19734 | 8052 1322 46 | 0.000 % | c | 2082 | 1002 9219 19734 | 8857 2082 49 | 0.000 % | c | 3221 | 1002 9219 19734 | 9743 3221 52 | 0.000 % | c | 4931 | 1001 9219 19734 | 10717 4929 53 | 0.112 % | c | 7493 | 1001 9219 19734 | 11789 7491 60 | 0.100 % | c | 11340 | 1000 9219 19734 | 12968 11338 76 | 0.212 % | c | 17107 | 994 9219 19734 | 14265 10537 88 | 0.810 % | c | 25756 | 992 9219 19734 | 15692 11907 97 | 1.009 % | c | 38735 | 991 9219 19734 | 17261 8946 105 | 1.109 % | c | 58197 | 989 9219 19734 | 18987 10922 96 | 1.298 % | c | 87389 | 984 9219 19734 | 20886 11257 108 | 1.808 % | c | 131178 | 962 9219 19734 | 22974 12836 95 | 4.101 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1108 9220 19946 | 5000 0 nan | 0.000 % | c | 100 | 1108 9220 19946 | 5500 100 28 | 0.010 % | c | 252 | 1108 9220 19946 | 6050 252 21 | 0.010 % | c | 477 | 1108 9220 19946 | 6655 477 25 | 0.010 % | c | 815 | 1107 9220 19946 | 7320 815 38 | 0.090 % | c | 1321 | 1107 9220 19946 | 8052 1320 50 | 0.090 % | c | 2083 | 1106 9220 19946 | 8857 2082 55 | 0.181 % | c | 3224 | 1104 9220 19946 | 9743 3222 64 | 0.373 % | c | 4934 | 1098 9220 19946 | 10717 4932 71 | 0.912 % | c | 7496 | 1092 9220 19946 | 11789 7441 75 | 1.453 % | c | 11340 | 1083 9220 19946 | 12968 11285 82 | 2.266 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1182 9221 20094 | 5000 0 nan | 0.000 % | c | 103 | 1182 9221 20094 | 5500 103 31 | 0.009 % | c | 253 | 1182 9221 20094 | 6050 253 25 | 0.000 % | c | 478 | 1182 9221 20094 | 6655 478 28 | 0.000 % | c | 816 | 1182 9221 20094 | 7320 816 38 | 0.000 % | c | 1326 | 1182 9221 20094 | 8052 1326 52 | 0.000 % | c | 2086 | 1182 9221 20094 | 8857 2086 73 | 0.000 % | c | 3225 | 1182 9221 20094 | 9743 3225 72 | 0.000 % | c | 4941 | 1182 9221 20094 | 10717 4941 86 | 0.000 % | c | 7503 | 1182 9221 20094 | 11789 7503 90 | 0.000 % | c | 11348 | 1180 9221 20094 | 12968 11346 90 | 0.177 % | c | 17115 | 1178 9221 20094 | 14265 10533 96 | 0.338 % | c | 25765 | 1175 9221 20094 | 15692 12043 111 | 0.601 % | c | 38743 | 1168 9221 20094 | 17261 8535 112 | 1.192 % | c | 58206 | 1168 9221 20094 | 18987 10449 130 | 1.185 % | c | 87399 | 1166 9221 20094 | 20886 10705 111 | 1.362 % | c | 131188 | 1166 9221 20094 | 22974 12109 140 | 1.354 % | c | 196873 | 1164 9221 20094 | 25272 19600 127 | 1.523 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1294 9222 20318 | 5000 0 nan | 0.000 % | c | 103 | 1294 9222 20318 | 5500 103 35 | 0.007 % | c | 253 | 1294 9222 20318 | 6050 253 31 | 0.000 % | c | 479 | 1294 9222 20318 | 6655 479 35 | 0.000 % | c | 817 | 1294 9222 20318 | 7320 817 46 | 0.000 % | c | 1326 | 1294 9222 20318 | 8052 1326 56 | 0.000 % | c | 2088 | 1294 9222 20318 | 8857 2088 59 | 0.000 % | c | 3231 | 1294 9222 20318 | 9743 3231 80 | 0.000 % | c | 4941 | 1294 9222 20318 | 10717 4941 91 | 0.000 % | c | 7503 | 1294 9222 20318 | 11789 7503 116 | 0.007 % | c | 11348 | 1294 9222 20318 | 12968 11348 127 | 0.008 % | c | 17114 | 1294 9222 20318 | 14265 10437 134 | 0.000 % | c | 25769 | 1294 9222 20318 | 15692 11853 124 | 0.000 % | c | 38745 | 1294 9222 20318 | 17261 8796 165 | 0.000 % | c | 58209 | 1294 9222 20318 | 18987 10600 231 | 0.000 % | c | 87401 | 1294 9222 20318 | 20886 10672 189 | 0.000 % | c | 131190 | 1294 9222 20318 | 22974 11935 179 | 0.000 % | c | 196884 | 1294 9222 20318 | 25272 18889 233 | 0.000 % |