c wbo 1.4a beta - 20100425 c | Number of variables: 5931 | c | Number of clauses: 16163 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.01 s | c | Number Variables: 5931 | c | Number Clauses: 16163 | 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 | 1747 16486 15889 | 5495 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1887 16515 16455 | 5505 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1922 16548 16502 | 5516 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1955 16581 16554 | 5527 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1987 16611 16592 | 5537 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2025 16645 16635 | 5548 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2062 16678 16689 | 5559 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2100 16713 16749 | 5571 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2240 16761 17301 | 5587 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2280 16800 17375 | 5600 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2343 16811 17621 | 5603 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2383 16848 17671 | 5616 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2423 16887 17725 | 5629 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2437 16900 17759 | 5633 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2476 16939 17811 | 5646 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2491 16953 17849 | 5651 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2505 16966 17883 | 5655 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2537 16998 17925 | 5666 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2569 17030 17967 | 5676 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2608 17069 18036 | 5689 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2648 17109 18092 | 5703 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2687 17148 18144 | 5716 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2758 17212 18269 | 5737 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2798 17252 18325 | 5750 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2830 17283 18365 | 5761 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2951 17314 18884 | 5771 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3246 17358 20464 | 5786 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3286 17398 20546 | 5799 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3303 17414 20590 | 5804 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3446 17432 21181 | 5810 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3481 17490 21304 | 5830 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3525 17530 21394 | 5843 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3573 17577 21486 | 5859 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3600 17604 21558 | 5868 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3906 17652 22744 | 5884 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 3917 17660 22781 | 5886 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4314 17720 24826 | 5906 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4361 17750 25054 | 5916 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4394 17778 25169 | 5926 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4433 17810 25285 | 5936 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4466 17841 25386 | 5947 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4503 17871 25492 | 5957 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4697 17943 26276 | 5981 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4755 17981 26442 | 5993 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4852 18070 26701 | 6023 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4906 18118 26844 | 6039 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4941 18150 26956 | 6050 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 4989 18194 27079 | 6064 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5056 18252 27234 | 6084 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5096 18290 27366 | 6096 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5123 18347 27527 | 6115 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5190 18411 27720 | 6137 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5270 18484 27922 | 6161 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5337 18544 28103 | 6181 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5395 18596 28226 | 6198 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5542 18657 28808 | 6219 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5622 18711 29020 | 6237 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5696 18773 29236 | 6257 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5768 18837 29414 | 6279 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5860 18943 29721 | 6314 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 5946 19018 29962 | 6339 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6057 19116 30243 | 6372 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6158 19204 30494 | 6401 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6356 19276 31319 | 6425 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6464 19362 31642 | 6454 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6558 19438 31864 | 6479 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6566 19509 32096 | 6503 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6655 19591 32368 | 6530 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6755 19682 32620 | 6560 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6867 19786 32930 | 6595 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 6990 19895 33263 | 6631 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7071 19973 33449 | 6657 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7322 20043 34582 | 6681 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7442 20142 34889 | 6714 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7530 20217 35142 | 6739 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7651 20318 35451 | 6772 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7762 20408 35743 | 6802 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7845 20475 35964 | 6825 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 7940 20564 36198 | 6854 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8042 20657 36455 | 6885 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8089 20728 36617 | 6909 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8161 20799 36776 | 6933 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8264 20881 37076 | 6960 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8356 20967 37299 | 6989 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8415 21028 37437 | 7009 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8512 21115 37673 | 7038 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8565 21167 37780 | 7055 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8666 21247 38034 | 7082 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8712 21300 38149 | 7100 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8696 21336 38206 | 7112 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8738 21377 38289 | 7125 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8794 21434 38401 | 7144 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8834 21475 38481 | 7158 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8955 21565 38772 | 7188 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 8998 21603 38851 | 7201 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9064 21663 39002 | 7221 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9373 21738 40084 | 7246 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9451 21794 40247 | 7264 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9500 21835 40346 | 7278 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9636 21921 40678 | 7307 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9693 21961 40789 | 7320 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9784 22023 40998 | 7341 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 9905 22080 41238 | 7360 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10018 22139 41466 | 7379 0 nan | 0.000 % | c | 101 | 9960 22139 41466 | 8117 82 108 | 22.932 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10215 22205 41871 | 7401 0 nan | 0.000 % | c | 101 | 10215 22205 41871 | 8141 101 52 | 21.766 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10552 22266 43583 | 7422 0 nan | 0.000 % | c | 100 | 10552 22266 43583 | 8164 100 78 | 20.079 % | c | 252 | 10509 22266 43583 | 8980 251 75 | 21.162 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 10855 22363 44262 | 7454 0 nan | 0.000 % | c | 102 | 10545 22363 44262 | 8199 94 56 | 21.924 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11256 22456 45917 | 7485 0 nan | 0.000 % | c | 100 | 11208 22456 45917 | 8233 98 59 | 18.471 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11472 22545 46458 | 7515 0 nan | 0.000 % | c | 102 | 11472 22545 46458 | 8266 102 93 | 17.705 % | c | 252 | 11115 22545 46458 | 9093 207 77 | 21.169 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 11920 22630 48689 | 7543 0 nan | 0.000 % | c | 100 | 11718 22630 48689 | 8297 91 60 | 16.953 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12249 22755 49478 | 7585 0 nan | 0.000 % | c | 100 | 12189 22755 49478 | 8343 99 51 | 16.275 % | c | 251 | 11753 22755 49478 | 9177 229 84 | 19.337 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12544 22878 50446 | 7626 0 nan | 0.000 % | c | 100 | 12407 22878 50446 | 8388 97 33 | 15.832 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 12846 22967 51127 | 7655 0 nan | 0.000 % | c | 100 | 12815 22967 51127 | 8421 90 16 | 17.687 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13040 23054 51754 | 7684 0 nan | 0.000 % | c | 100 | 13028 23054 51754 | 8453 100 32 | 14.911 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13371 23144 52485 | 7714 0 nan | 0.000 % | c | 103 | 13256 23144 52485 | 8486 98 35 | 15.140 % | c | 253 | 13244 23144 52485 | 9334 248 63 | 15.140 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 13817 23247 53917 | 7749 0 nan | 0.000 % | c | 100 | 13817 23247 53917 | 8523 100 56 | 13.297 % | c | 250 | 13659 23247 53917 | 9376 233 54 | 14.288 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 14199 23361 54796 | 7787 0 nan | 0.000 % | c | 100 | 14120 23361 54796 | 8565 98 43 | 14.444 % | c | 251 | 13944 23361 54796 | 9422 246 74 | 14.695 % | c | 476 | 13779 23361 54796 | 10364 450 105 | 15.560 % | c | 813 | 13691 23361 54796 | 11400 777 204 | 16.614 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 14717 23485 55974 | 7828 0 nan | 0.000 % | c | 100 | 14702 23485 55974 | 8611 100 18 | 13.091 % | c | 250 | 14516 23485 55974 | 9472 239 78 | 13.816 % | c | 475 | 14474 23485 55974 | 10419 462 98 | 14.392 % | c | 812 | 14393 23485 55974 | 11461 794 138 | 14.511 % | c | 1318 | 13755 23485 55974 | 12607 684 125 | 18.366 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15072 23622 56863 | 7874 0 nan | 0.000 % | c | 100 | 15036 23622 56863 | 8661 96 45 | 12.699 % | c | 251 | 14962 23622 56863 | 9527 243 71 | 13.164 % | c | 477 | 14887 23622 56863 | 10480 451 104 | 13.763 % | c | 814 | 14713 23622 56863 | 11528 754 157 | 15.944 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 15749 23727 59625 | 7909 0 nan | 0.000 % | c | 101 | 15748 23727 59625 | 8699 101 15 | 10.675 % | c | 252 | 15334 23727 59625 | 9569 237 30 | 12.926 % | c | 477 | 15330 23727 59625 | 10526 462 83 | 12.926 % | c | 814 | 14742 23727 59625 | 11579 647 143 | 16.297 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 16280 23826 60782 | 7942 0 nan | 0.000 % | c | 101 | 16280 23826 60782 | 8736 101 13 | 10.169 % | c | 251 | 16272 23826 60782 | 9609 250 13 | 10.214 % | c | 477 | 16258 23826 60782 | 10570 475 41 | 10.379 % | c | 814 | 16168 23826 60782 | 11627 805 100 | 12.090 % | c | 1320 | 15502 23826 60782 | 12790 1045 153 | 14.551 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 16823 23931 61980 | 7977 0 nan | 0.000 % | c | 101 | 16823 23931 61980 | 8774 101 18 | 9.874 % | c | 251 | 16815 23931 61980 | 9652 250 42 | 9.916 % | c | 476 | 16780 23931 61980 | 10617 473 71 | 10.243 % | c | 813 | 16729 23931 61980 | 11679 806 94 | 10.458 % | c | 1319 | 16676 23931 61980 | 12847 1258 148 | 10.683 % | c | 2080 | 16613 23931 61980 | 14131 1954 232 | 11.036 % | c | 3219 | 16599 23931 61980 | 15544 3093 282 | 11.117 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 17262 24054 63021 | 8018 0 nan | 0.000 % | c | 100 | 17245 24054 63021 | 8819 100 42 | 10.395 % | c | 250 | 17116 24054 63021 | 9701 244 47 | 10.474 % | c | 475 | 17070 24054 63021 | 10671 461 70 | 10.652 % | c | 812 | 17063 24054 63021 | 11739 798 108 | 10.814 % | c | 1318 | 17003 24054 63021 | 12913 1297 135 | 11.102 % | c | 2077 | 16915 24054 63021 | 14204 2024 219 | 11.521 % | c | 3217 | 16721 24054 63021 | 15624 3155 231 | 13.724 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 17735 24160 64088 | 8053 0 nan | 0.000 % | c | 100 | 17735 24160 64088 | 8858 100 40 | 9.414 % | c | 250 | 17716 24160 64088 | 9744 249 37 | 9.608 % | c | 475 | 17656 24160 64088 | 10718 467 65 | 9.873 % | c | 813 | 17651 24160 64088 | 11790 805 81 | 10.150 % | c | 1320 | 17574 24160 64088 | 12969 1307 103 | 10.481 % | c | 2079 | 17523 24160 64088 | 14266 2058 151 | 10.527 % | c | 3218 | 17504 24160 64088 | 15693 3195 212 | 10.635 % | c | 4931 | 17462 24160 64088 | 17263 4892 255 | 10.818 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 18170 24297 65169 | 8099 0 nan | 0.000 % | c | 100 | 18168 24297 65169 | 8908 100 48 | 9.379 % | c | 250 | 18132 24297 65169 | 9799 248 58 | 9.644 % | c | 475 | 18083 24297 65169 | 10779 469 118 | 9.644 % | c | 812 | 18074 24297 65169 | 11857 804 120 | 9.739 % | c | 1321 | 18058 24297 65169 | 13043 1310 145 | 9.849 % | c | 2080 | 18042 24297 65169 | 14347 2067 175 | 9.849 % | c | 3219 | 18032 24297 65169 | 15782 3205 193 | 9.909 % | c | 4927 | 17986 24297 65169 | 17360 4898 261 | 10.398 % | c | 7491 | 17918 24297 65169 | 19097 7439 298 | 10.473 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 18691 24403 66342 | 8134 0 nan | 0.000 % | c | 100 | 18690 24403 66342 | 8947 100 16 | 9.058 % | c | 250 | 18672 24403 66342 | 9842 249 23 | 9.112 % | c | 477 | 18663 24403 66342 | 10826 475 19 | 9.112 % | c | 814 | 18501 24403 66342 | 11909 799 28 | 9.901 % | c | 1320 | 18486 24403 66342 | 13100 1303 67 | 10.042 % | c | 2080 | 18437 24403 66342 | 14410 2058 120 | 10.212 % | c | 3219 | 18437 24403 66342 | 15851 3197 180 | 10.212 % | c | 4928 | 18310 24403 66342 | 17436 4905 214 | 11.678 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 19718 24487 68736 | 8162 0 nan | 0.000 % | c | 100 | 19712 24487 68736 | 8978 100 37 | 8.605 % | c | 250 | 19681 24487 68736 | 9876 247 74 | 8.605 % | c | 475 | 19670 24487 68736 | 10864 471 93 | 8.712 % | c | 812 | 19652 24487 68736 | 11950 805 106 | 8.768 % | c | 1318 | 19646 24487 68736 | 13145 1309 129 | 8.768 % | c | 2078 | 19616 24487 68736 | 14460 2068 186 | 8.925 % | c | 3219 | 19453 24487 68736 | 15906 3199 294 | 9.687 % | c | 4927 | 19445 24487 68736 | 17496 4907 349 | 9.747 % | c | 7493 | 19435 24487 68736 | 19246 7468 316 | 9.747 % | c | 11337 | 19366 24487 68736 | 21170 11311 327 | 10.774 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 20574 24603 70983 | 8201 0 nan | 0.000 % | c | 100 | 20573 24603 70983 | 9021 100 30 | 7.953 % | c | 250 | 20447 24603 70983 | 9923 243 44 | 8.634 % | c | 475 | 20438 24603 70983 | 10915 468 98 | 8.687 % | c | 812 | 20389 24603 70983 | 12007 801 140 | 9.086 % | c | 1318 | 20307 24603 70983 | 13207 1300 153 | 9.112 % | c | 2078 | 20295 24603 70983 | 14528 2055 163 | 9.166 % | c | 3218 | 20267 24603 70983 | 15981 3194 219 | 9.368 % | c | 4926 | 20264 24603 70983 | 17579 4902 268 | 9.386 % | c | 7488 | 20246 24603 70983 | 19337 7453 289 | 9.385 % | c | 11332 | 20220 24603 70983 | 21271 11296 320 | 9.533 % | c | 17099 | 19961 24603 70983 | 23398 17031 284 | 10.818 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 22547 24725 75378 | 8241 0 nan | 0.000 % | c | 100 | 22540 24725 75378 | 9065 100 61 | 7.531 % | c | 250 | 22495 24725 75378 | 9972 248 77 | 7.691 % | c | 476 | 22444 24725 75378 | 10969 469 79 | 7.786 % | c | 815 | 22416 24725 75378 | 12066 806 72 | 7.901 % | c | 1321 | 22401 24725 75378 | 13273 1307 117 | 7.963 % | c | 2085 | 22396 24725 75378 | 14600 2071 110 | 8.000 % | c | 3225 | 22380 24725 75378 | 16060 3209 87 | 8.082 % | c | 4933 | 22371 24725 75378 | 17666 4916 81 | 8.115 % | c | 7495 | 22357 24725 75378 | 19433 7477 75 | 8.152 % | c | 11340 | 22351 24725 75378 | 21376 11314 105 | 8.189 % | c | 17112 | 22318 24725 75378 | 23514 17083 119 | 8.304 % | c | 25761 | 22317 24725 75378 | 25865 25732 114 | 8.308 % | c | 38735 | 22269 24725 75378 | 28452 22725 146 | 8.505 % | c | 58196 | 22269 24725 75378 | 31297 23885 96 | 8.505 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 25947 24839 82328 | 8279 0 nan | 0.000 % | c | 100 | 25938 24839 82328 | 9107 100 21 | 6.590 % | c | 250 | 25911 24839 82328 | 10018 248 61 | 6.590 % | c | 475 | 25879 24839 82328 | 11020 470 78 | 6.705 % | c | 813 | 25767 24839 82328 | 12122 794 81 | 7.333 % | c | 1319 | 25703 24839 82328 | 13334 1293 98 | 7.361 % | c | 2078 | 25697 24839 82328 | 14667 2051 106 | 7.362 % | c | 3219 | 25667 24839 82328 | 16134 3191 101 | 7.473 % | c | 4927 | 25621 24839 82328 | 17748 4893 91 | 7.672 % | c | 7489 | 25610 24839 82328 | 19523 7452 80 | 7.675 % | c | 11334 | 25599 24839 82328 | 21475 11296 86 | 7.715 % | c | 17103 | 25559 24839 82328 | 23622 17061 82 | 7.859 % | c | 25753 | 25559 24839 82328 | 25985 25711 75 | 7.859 % | c | 38728 | 25555 24839 82328 | 28583 21459 128 | 7.873 % | c | 58192 | 25555 24839 82328 | 31442 18236 48 | 7.873 % | c | 87385 | 25530 24839 82328 | 34586 24335 68 | 7.978 % | c | 131175 | 25510 24839 82328 | 38044 15690 61 | 8.036 % | c | 196861 | 25455 24839 82328 | 41849 23394 162 | 8.234 % | c | 295387 | 25454 24839 82328 | 46034 22835 110 | 8.238 % | c | 443179 | 25361 24839 82328 | 50637 22872 70 | 8.573 % |