c This is wbo 1.0 alpha (based on Minisat 2.0 beta) c WARNING: for repeatability, setting FPU to use double precision c | Number of variables: 150 | c | Number of clauses: 2832 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 150 | c | Number Clauses: 2832 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c Elapsed CPU time: 0.001999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.003999 s Remaining CPU time: 1800 s c Elapsed CPU time: 0.005999 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.006998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.008998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.010998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.012998 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.013997 s Remaining CPU time: 1799.99 s c Elapsed CPU time: 0.015997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.017997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.018997 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.020996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.021996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.023996 s Remaining CPU time: 1799.98 s c Elapsed CPU time: 0.025996 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.027995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.028995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.030995 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.032994 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.034994 s Remaining CPU time: 1799.97 s c Elapsed CPU time: 0.036994 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.037994 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.039993 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.041993 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.043993 s Remaining CPU time: 1799.96 s c Elapsed CPU time: 0.045993 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.047992 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.049992 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.051992 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.052991 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.054991 s Remaining CPU time: 1799.95 s c Elapsed CPU time: 0.056991 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.058991 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.06099 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.06299 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.06499 s Remaining CPU time: 1799.94 s c Elapsed CPU time: 0.066989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.068989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.070989 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.072988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.074988 s Remaining CPU time: 1799.93 s c Elapsed CPU time: 0.076988 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.078987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.080987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.082987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.084987 s Remaining CPU time: 1799.92 s c Elapsed CPU time: 0.086986 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.089986 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.091986 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.093985 s Remaining CPU time: 1799.91 s c Elapsed CPU time: 0.095985 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.097985 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.099984 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.102984 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.104984 s Remaining CPU time: 1799.9 s c Elapsed CPU time: 0.106983 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.108983 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.111982 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.113982 s Remaining CPU time: 1799.89 s c Elapsed CPU time: 0.115982 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.117982 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.120981 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.122981 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.124981 s Remaining CPU time: 1799.88 s c Elapsed CPU time: 0.12798 s Remaining CPU time: 1799.87 s c Elapsed CPU time: 0.12998 s Remaining CPU time: 1799.87 s c Elapsed CPU time: 0.131979 s Remaining CPU time: 1799.87 s c Elapsed CPU time: 0.134979 s Remaining CPU time: 1799.87 s c Elapsed CPU time: 0.136979 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.139978 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.141978 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.144977 s Remaining CPU time: 1799.86 s c Elapsed CPU time: 0.146977 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.148977 s Remaining CPU time: 1799.85 s c Elapsed CPU time: 0.151976 s Remaining CPU time: 1799.85 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 302 2907 5818 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.154976 s Remaining CPU time: 1799.85 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 308 2908 5830 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.156976 s Remaining CPU time: 1799.84 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 314 2909 5842 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.159975 s Remaining CPU time: 1799.84 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 320 2910 5854 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.162975 s Remaining CPU time: 1799.84 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 326 2911 5866 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.164974 s Remaining CPU time: 1799.84 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 334 2912 5882 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.166974 s Remaining CPU time: 1799.83 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 340 2913 5894 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.169974 s Remaining CPU time: 1799.83 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 346 2914 5906 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.172973 s Remaining CPU time: 1799.83 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 352 2915 5918 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.174973 s Remaining CPU time: 1799.83 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 360 2916 5934 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.177972 s Remaining CPU time: 1799.82 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 366 2917 5946 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.180972 s Remaining CPU time: 1799.82 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 374 2918 5962 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.183972 s Remaining CPU time: 1799.82 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 380 2919 5974 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.185971 s Remaining CPU time: 1799.81 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 386 2920 5986 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.187971 s Remaining CPU time: 1799.81 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 392 2921 5998 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.19097 s Remaining CPU time: 1799.81 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 400 2922 6014 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.19397 s Remaining CPU time: 1799.81 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 406 2923 6026 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.19697 s Remaining CPU time: 1799.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 412 2924 6038 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.198969 s Remaining CPU time: 1799.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 418 2925 6050 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.200969 s Remaining CPU time: 1799.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 424 2926 6062 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.203968 s Remaining CPU time: 1799.8 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 434 2927 6082 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.206968 s Remaining CPU time: 1799.79 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 452 2928 6118 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.210967 s Remaining CPU time: 1799.79 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 482 2929 6178 | 5000 0 nan | 0.000 % | c | 102 | 482 2929 6178 | 5500 102 13 | 0.014 % | c =============================================================================== c Elapsed CPU time: 0.225965 s Remaining CPU time: 1799.77 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 516 2930 6246 | 5000 0 nan | 0.000 % | c | 100 | 516 2930 6246 | 5500 100 14 | 0.012 % | c | 250 | 512 2930 6246 | 6050 247 14 | 0.788 % | c =============================================================================== c Elapsed CPU time: 0.239963 s Remaining CPU time: 1799.76 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 560 2931 6334 | 5000 0 nan | 0.000 % | c | 100 | 560 2931 6334 | 5500 100 19 | 0.010 % | c | 252 | 560 2931 6334 | 6050 252 16 | 0.014 % | c =============================================================================== c Elapsed CPU time: 0.254961 s Remaining CPU time: 1799.75 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 586 2932 6386 | 5000 0 nan | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.25996 s Remaining CPU time: 1799.74 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 608 2933 6430 | 5000 0 nan | 0.000 % | c | 100 | 608 2933 6430 | 5500 100 22 | 0.025 % | c | 252 | 608 2933 6430 | 6050 252 19 | 0.000 % | c =============================================================================== c Elapsed CPU time: 0.275958 s Remaining CPU time: 1799.72 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 642 2934 6498 | 5000 0 nan | 0.000 % | c | 100 | 642 2934 6498 | 5500 100 15 | 0.008 % | c | 250 | 642 2934 6498 | 6050 250 17 | 0.008 % | c | 475 | 641 2934 6498 | 6655 473 23 | 0.156 % | c | 814 | 641 2934 6498 | 7320 812 25 | 0.167 % | c | 1320 | 640 2934 6498 | 8052 1316 29 | 0.312 % | c =============================================================================== c Elapsed CPU time: 0.399939 s Remaining CPU time: 1799.6 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 708 2935 6630 | 5000 0 nan | 0.000 % | c | 100 | 708 2935 6630 | 5500 100 8 | 0.007 % | c | 254 | 708 2935 6630 | 6050 254 14 | 0.008 % | c | 480 | 706 2935 6630 | 6655 478 16 | 0.298 % | c =============================================================================== c Elapsed CPU time: 0.436933 s Remaining CPU time: 1799.56 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 760 2936 6734 | 5000 0 nan | 0.000 % | c | 101 | 760 2936 6734 | 5500 101 24 | 0.006 % | c | 254 | 760 2936 6734 | 6050 254 18 | 0.000 % | c | 481 | 760 2936 6734 | 6655 481 15 | 0.011 % | c | 822 | 760 2936 6734 | 7320 822 25 | 0.007 % | c | 1328 | 759 2936 6734 | 8052 1205 25 | 0.138 % | c | 2087 | 759 2936 6734 | 8857 1964 27 | 0.132 % | c | 3226 | 759 2936 6734 | 9743 3103 28 | 0.138 % | c =============================================================================== c Elapsed CPU time: 0.833873 s Remaining CPU time: 1799.17 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 836 2937 6886 | 5000 0 nan | 0.000 % | c | 100 | 836 2937 6886 | 5500 100 17 | 0.005 % | c | 251 | 836 2937 6886 | 6050 251 30 | 0.000 % | c | 479 | 836 2937 6886 | 6655 479 25 | 0.000 % | c | 816 | 836 2937 6886 | 7320 816 32 | 0.000 % | c | 1322 | 836 2937 6886 | 8052 1322 35 | 0.005 % | c | 2081 | 836 2937 6886 | 8857 2081 33 | 0.000 % | c | 3220 | 836 2937 6886 | 9743 3220 34 | 0.006 % | c | 4928 | 836 2937 6886 | 10717 4928 36 | 0.000 % | c | 7491 | 836 2937 6886 | 11789 7491 35 | 0.007 % | c | 11337 | 834 2937 6886 | 12968 11325 36 | 0.245 % | c | 17103 | 833 2937 6886 | 14265 10365 36 | 0.363 % | c | 25756 | 828 2937 6886 | 15692 11568 41 | 0.961 % | c =============================================================================== c Elapsed CPU time: 7.56785 s Remaining CPU time: 1792.43 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 912 2938 7038 | 5000 0 nan | 0.000 % | c | 101 | 912 2938 7038 | 5500 101 21 | 0.004 % | c | 253 | 912 2938 7038 | 6050 253 36 | 0.000 % | c | 478 | 912 2938 7038 | 6655 478 28 | 0.000 % | c | 818 | 912 2938 7038 | 7320 818 42 | 0.004 % | c | 1324 | 912 2938 7038 | 8052 1324 35 | 0.000 % | c | 2083 | 912 2938 7038 | 8857 2083 30 | 0.000 % | c | 3222 | 912 2938 7038 | 9743 3222 33 | 0.004 % | c | 4934 | 912 2938 7038 | 10717 4934 31 | 0.000 % | c | 7498 | 912 2938 7038 | 11789 7498 34 | 0.004 % | c | 11342 | 911 2938 7038 | 12968 11334 35 | 0.114 % | c | 17109 | 910 2938 7038 | 14265 10089 34 | 0.235 % | c =============================================================================== c Elapsed CPU time: 12.5841 s Remaining CPU time: 1787.42 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 980 2939 7174 | 5000 0 nan | 0.000 % | c | 101 | 980 2939 7174 | 5500 101 19 | 0.003 % | c | 251 | 980 2939 7174 | 6050 251 19 | 0.005 % | c | 477 | 980 2939 7174 | 6655 477 19 | 0.000 % | c | 817 | 980 2939 7174 | 7320 817 20 | 0.004 % | c | 1323 | 980 2939 7174 | 8052 1323 22 | 0.003 % | c | 2082 | 980 2939 7174 | 8857 2082 26 | 0.004 % | c | 3221 | 980 2939 7174 | 9743 3221 31 | 0.000 % | c | 4929 | 980 2939 7174 | 10717 4929 35 | 0.000 % | c | 7491 | 980 2939 7174 | 11789 7491 36 | 0.005 % | c | 11335 | 980 2939 7174 | 12968 11335 38 | 0.003 % | c | 17108 | 980 2939 7174 | 14265 10528 43 | 0.004 % | c | 25761 | 979 2939 7174 | 15692 10986 44 | 0.107 % | c | 38742 | 979 2939 7174 | 17261 8139 42 | 0.106 % | c | 58203 | 979 2939 7174 | 18987 10259 51 | 0.107 % | c | 87396 | 978 2939 7174 | 20886 10705 43 | 0.207 % | c | 131185 | 976 2939 7174 | 22974 12396 51 | 0.413 % | c | 196869 | 973 2939 7174 | 25272 14761 62 | 0.718 % | c | 295397 | 965 2939 7174 | 27799 22334 57 | 1.534 % | c =============================================================================== c Elapsed CPU time: 170.649 s Remaining CPU time: 1629.35 s c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1078 2940 7370 | 5000 0 nan | 0.000 % | c | 102 | 1078 2940 7370 | 5500 102 21 | 0.003 % | c | 252 | 1078 2940 7370 | 6050 252 29 | 0.000 % | c | 477 | 1078 2940 7370 | 6655 477 28 | 0.000 % | c | 816 | 1078 2940 7370 | 7320 816 36 | 0.004 % | c | 1323 | 1078 2940 7370 | 8052 1323 43 | 0.003 % | c | 2083 | 1078 2940 7370 | 8857 2083 38 | 0.000 % | c | 3222 | 1078 2940 7370 | 9743 3222 46 | 0.000 % | c | 4932 | 1078 2940 7370 | 10717 4932 46 | 0.000 % | c | 7494 | 1078 2940 7370 | 11789 7494 54 | 0.003 % | c | 11340 | 1078 2940 7370 | 12968 11340 51 | 0.000 % | c | 17106 | 1078 2940 7370 | 14265 10495 48 | 0.000 % | c | 25755 | 1078 2940 7370 | 15692 11952 52 | 0.000 % | c | 38730 | 1078 2940 7370 | 17261 8964 56 | 0.003 % | c | 58191 | 1078 2940 7370 | 18987 11015 54 | 0.000 % | c | 87387 | 1078 2940 7370 | 20886 11419 68 | 0.003 % | c | 131177 | 1078 2940 7370 | 22974 13035 69 | 0.000 % | c | 196861 | 1078 2940 7370 | 25272 20654 72 | 0.004 % | c | 295395 | 1078 2940 7370 | 27799 15638 91 | 0.003 % | c | 443184 | 1078 2940 7370 | 30579 15147 79 | 0.002 % | c | 664870 | 1078 2940 7370 | 33637 28073 84 | 0.004 % |