GCC Code Coverage Report


Directory: src/solver/
Coverage Exec Excl Total
Lines: 87.5% 14209 0 16230
Functions: 97.4% 846 0 869
Branches: 68.6% 7409 0 10793

Function (File:Line)
Calls
Lines
Branches
Blocks
called 1044 times
100.0%
75.0%
100.0%
called 208645 times
100.0%
83.3%
91.0%
called 26490 times
87.5%
66.7%
82.0%
called 1044 times
100.0%
100.0%
100.0%
called 26489 times
100.0%
50.0%
71.0%
called 97 times
80.2%
61.0%
57.0%
called 1030493 times
77.1%
86.4%
88.0%
called 1030493 times
88.9%
85.0%
89.0%
called 12 times
84.6%
50.0%
77.0%
called 1030493 times
100.0%
88.9%
95.0%
called 1030493 times
80.0%
75.0%
80.0%
called 1030493 times
100.0%
83.3%
92.0%
called 18 times
90.3%
66.7%
62.0%
called 105057 times
84.2%
74.5%
82.0%
called 92 times
88.5%
44.1%
54.0%
called 1030493 times
78.6%
70.0%
81.0%
called 3 times
90.0%
62.5%
73.0%
called 1030493 times
100.0%
100.0%
100.0%
called 1030493 times
100.0%
91.7%
94.0%
called 9683091 times
50.0%
28.6%
27.0%
called 3 times
100.0%
62.5%
76.0%
called 61740 times
100.0%
87.5%
93.0%
called 1299 times
100.0%
90.0%
100.0%
called 1920 times
76.8%
52.2%
59.0%
called 43768447 times
100.0%
76.7%
96.0%
called 2276409 times
100.0%
83.3%
90.0%
called 9458828 times
100.0%
-%
100.0%
called 145424 times
100.0%
100.0%
100.0%
called 31201365 times
100.0%
100.0%
100.0%
called 75865 times
100.0%
100.0%
100.0%
called 54230 times
100.0%
100.0%
100.0%
called 33090 times
100.0%
-%
100.0%
called 58 times
94.7%
75.0%
90.0%
called 11 times
80.6%
75.0%
82.0%
called 8 times
44.2%
41.7%
39.0%
called 92 times
86.4%
66.7%
61.0%
called 48 times
89.6%
66.1%
68.0%
called 686476 times
100.0%
100.0%
100.0%
called 58 times
90.9%
75.0%
88.0%
called 3 times
100.0%
50.0%
100.0%
called 480 times
70.0%
58.3%
69.0%
called 218368 times
90.9%
63.2%
71.0%
called 31 times
89.1%
71.9%
85.0%
called 11998612 times
100.0%
25.0%
50.0%
called 181034358 times
100.0%
66.7%
86.0%
called 9608 times
100.0%
87.5%
93.0%
called 60241010 times
88.9%
77.8%
83.0%
called 9772 times
83.3%
50.0%
72.0%
called 9772 times
100.0%
-%
100.0%
called 9772 times
79.3%
56.2%
57.0%
called 467 times
100.0%
-%
100.0%
called 9772 times
88.2%
75.0%
84.0%
called 6 times
93.3%
66.7%
81.0%
called 334 times
94.3%
61.8%
71.0%
called 267 times
100.0%
100.0%
100.0%
called 3 times
92.9%
50.0%
67.0%
called 58 times
100.0%
78.6%
79.0%
called 58 times
100.0%
100.0%
100.0%
called 1064980 times
100.0%
100.0%
100.0%
called 58 times
100.0%
-%
100.0%
called 74 times
15.8%
8.0%
15.0%
called 88929 times
87.5%
66.7%
80.0%
called 58 times
100.0%
66.7%
82.0%
called 3 times
100.0%
50.0%
71.0%
called 58 times
100.0%
90.7%
94.0%
called 10 times
91.4%
63.6%
86.0%
called 56 times
100.0%
78.6%
96.0%
called 3 times
93.8%
50.0%
53.0%
called 4 times
100.0%
100.0%
100.0%
called 5 times
85.7%
75.0%
86.0%
called 34053 times
92.9%
71.4%
86.0%
called 927 times
86.2%
61.5%
73.0%
called 9 times
100.0%
-%
100.0%
called 9 times
88.9%
50.0%
64.0%
called 3125468 times
100.0%
-%
100.0%
called 1879 times
58.3%
33.3%
67.0%
called 1042780 times
100.0%
-%
100.0%
called 33222 times
100.0%
-%
100.0%
called 12 times
100.0%
50.0%
83.0%
called 3920831 times
86.5%
80.0%
89.0%
called 4317778 times
100.0%
50.0%
71.0%
called 281716 times
92.3%
57.1%
92.0%
called 248945 times
85.7%
50.0%
83.0%
called 7786 times
100.0%
70.0%
86.0%
called 1728 times
100.0%
50.0%
75.0%
called 1042780 times
100.0%
-%
100.0%
called 3199582 times
100.0%
-%
100.0%
called 1786 times
100.0%
50.0%
100.0%
called 168850 times
41.4%
34.8%
50.0%
called 168898 times
91.7%
60.0%
85.0%
called 66917 times
100.0%
-%
100.0%
called 2000 times
100.0%
-%
100.0%
called 12 times
100.0%
100.0%
100.0%
called 58 times
100.0%
66.7%
100.0%
called 58 times
100.0%
61.7%
100.0%
called 12 times
100.0%
90.0%
100.0%
called 258 times
100.0%
83.3%
100.0%
called 20398049 times
71.4%
50.0%
75.0%
called 1920 times
93.8%
81.0%
88.0%
called 4 times
92.7%
65.9%
64.0%
called 4 times
76.9%
50.0%
67.0%
called 50609586 times
100.0%
89.6%
93.0%
called 41 times
100.0%
50.0%
100.0%
called 367734 times
100.0%
90.0%
94.0%
called 367748 times
100.0%
83.3%
90.0%
called 41 times
90.5%
83.3%
84.0%
called 41 times
100.0%
90.0%
94.0%
called 75865 times
100.0%
-%
100.0%
called 8475 times
100.0%
85.7%
100.0%
called 8800391 times
100.0%
-%
100.0%
called 1066421 times
100.0%
100.0%
100.0%
called 218848 times
100.0%
81.8%
93.0%
called 32629 times
100.0%
75.0%
100.0%
called 19083 times
82.4%
75.0%
82.0%
called 3 times
80.4%
50.0%
84.0%
called 3 times
58.3%
50.0%
52.0%
called 3320060 times
100.0%
-%
100.0%
called 6138593 times
100.0%
-%
100.0%
called 5617031 times
100.0%
-%
100.0%
called 142229 times
100.0%
100.0%
100.0%
called 95 times
100.0%
100.0%
100.0%
called 12 times
80.5%
64.8%
81.0%
called 13 times
93.3%
75.0%
92.0%
called 3193846 times
100.0%
83.3%
90.0%
called 367734 times
100.0%
100.0%
100.0%
called 860935 times
100.0%
100.0%
100.0%
called 2758617 times
92.3%
83.3%
78.0%
called 2758617 times
94.1%
75.0%
87.0%
called 160998 times
100.0%
66.7%
100.0%
called 1 time
70.8%
50.0%
70.0%
called 4443 times
90.9%
62.5%
82.0%
called 860935 times
100.0%
100.0%
100.0%
called 2878459 times
100.0%
100.0%
100.0%
called 915642 times
100.0%
100.0%
100.0%
called 915642 times
100.0%
100.0%
100.0%
called 1472 times
76.0%
57.1%
72.0%
called 1472 times
88.9%
75.0%
83.0%
called 3193846 times
100.0%
80.0%
90.0%
not called
0.0%
0.0%
0.0%
called 24147 times
100.0%
77.8%
89.0%
called 9683091 times
80.0%
75.0%
86.0%
called 50609586 times
85.9%
69.7%
76.0%
called 3193846 times
100.0%
100.0%
100.0%
called 33595 times
100.0%
100.0%
100.0%
called 1833978 times
96.6%
87.5%
95.0%
called 322566 times
97.0%
76.5%
86.0%
called 58 times
100.0%
100.0%
100.0%
called 988013 times
100.0%
90.9%
97.0%
called 988027 times
100.0%
100.0%
100.0%
called 58 times
100.0%
100.0%
100.0%
called 134 times
90.0%
66.7%
86.0%
called 23064 times
81.8%
62.5%
67.0%
called 23626 times
90.0%
66.7%
88.0%
called 23056 times
100.0%
-%
100.0%
called 134 times
88.9%
66.7%
83.0%
called 184453 times
100.0%
-%
100.0%
called 2393 times
100.0%
87.5%
100.0%
called 3 times
100.0%
62.5%
100.0%
called 33826 times
100.0%
66.7%
75.0%
called 240 times
100.0%
66.7%
88.0%
called 6344757 times
100.0%
100.0%
100.0%
called 61 times
95.0%
75.0%
81.0%
called 52 times
97.6%
66.7%
69.0%
called 15515 times
66.7%
75.0%
82.0%
called 37574 times
67.7%
70.0%
76.0%
called 33826 times
100.0%
100.0%
100.0%
called 52 times
66.7%
58.3%
70.0%
called 1781246 times
100.0%
75.0%
91.0%
called 1958317 times
100.0%
100.0%
100.0%
called 1352162 times
100.0%
66.7%
78.0%
called 151828758 times
100.0%
100.0%
100.0%
called 2165 times
100.0%
100.0%
100.0%
called 1132420 times
93.5%
72.2%
83.0%
called 311656 times
90.9%
80.0%
86.0%
called 3 times
100.0%
90.0%
94.0%
called 356 times
64.3%
41.7%
53.0%
called 7778 times
100.0%
87.5%
100.0%
called 4338 times
81.2%
50.0%
69.0%
called 427 times
71.4%
25.0%
67.0%
called 482 times
89.7%
55.0%
74.0%
called 10192566 times
100.0%
100.0%
100.0%
called 642598 times
100.0%
100.0%
100.0%
called 1152 times
100.0%
50.0%
100.0%
called 18201396 times
84.6%
50.0%
75.0%
not called
0.0%
-%
0.0%
called 21234942 times
90.0%
81.2%
83.0%
called 6024 times
100.0%
100.0%
100.0%
called 92 times
100.0%
100.0%
100.0%
called 11 times
94.1%
55.6%
82.0%
called 61 times
89.5%
60.0%
89.0%
not called
0.0%
0.0%
0.0%
called 252011 times
100.0%
87.5%
92.0%
called 907 times
86.7%
68.2%
74.0%
called 49750960 times
100.0%
89.1%
91.0%
called 8676 times
25.0%
25.0%
39.0%
called 21234942 times
95.0%
72.2%
79.0%
called 27617 times
100.0%
-%
100.0%
called 21234942 times
100.0%
83.3%
90.0%
called 2 times
85.7%
66.7%
88.0%
called 200 times
96.4%
91.7%
95.0%
called 4338 times
57.1%
32.1%
42.0%
called 4338 times
80.0%
50.0%
57.0%
called 101219172 times
100.0%
100.0%
100.0%
called 1 time
82.4%
57.1%
78.0%
called 1 time
45.2%
23.3%
37.0%
called 4296 times
77.8%
50.0%
75.0%
called 28 times
93.3%
87.5%
90.0%
called 8320 times
60.0%
25.0%
50.0%
called 17 times
75.0%
50.0%
78.0%
called 335 times
100.0%
87.5%
100.0%
called 12009458 times
85.7%
50.0%
71.0%
called 189152 times
100.0%
91.7%
100.0%
called 91 times
100.0%
100.0%
100.0%
called 438 times
100.0%
100.0%
100.0%
called 6086608 times
100.0%
87.5%
92.0%
called 159330 times
50.0%
55.6%
73.0%
called 15 times
100.0%
66.7%
75.0%
called 6960 times
100.0%
-%
100.0%
called 3229694 times
100.0%
75.0%
100.0%
called 444 times
78.9%
71.4%
84.0%
called 88819 times
94.7%
83.3%
96.0%
called 3039 times
100.0%
100.0%
100.0%
called 189152 times
87.5%
85.7%
88.0%
called 56 times
100.0%
100.0%
100.0%
called 61 times
65.7%
47.2%
56.0%
called 4400 times
100.0%
71.4%
81.0%
called 4338 times
73.9%
36.4%
53.0%
called 3426 times
100.0%
66.7%
91.0%
called 3426 times
100.0%
80.0%
92.0%
called 482 times
83.3%
50.0%
75.0%
called 88 times
100.0%
83.3%
85.0%
called 306 times
77.8%
62.5%
78.0%
called 39724 times
95.5%
68.8%
83.0%
called 21301047 times
68.8%
60.0%
76.0%
called 1152 times
46.2%
12.5%
30.0%
called 2165 times
100.0%
-%
100.0%
called 4296 times
75.0%
25.0%
60.0%
called 92 times
31.6%
18.9%
23.0%
called 89 times
86.7%
68.5%
62.0%
called 7345275 times
100.0%
100.0%
100.0%
called 8475 times
100.0%
75.0%
80.0%
called 146 times
100.0%
87.5%
100.0%
called 365 times
100.0%
66.7%
78.0%
called 3039 times
100.0%
100.0%
100.0%
called 3115063 times
100.0%
100.0%
100.0%
called 6084985 times
37.5%
25.0%
38.0%
called 156402 times
89.5%
72.2%
87.0%
called 90890 times
100.0%
83.3%
89.0%
called 157 times
86.7%
80.0%
93.0%
called 907 times
100.0%
75.0%
100.0%
called 299664917 times
66.7%
12.5%
33.0%
called 31 times
100.0%
100.0%
100.0%
called 4224 times
100.0%
100.0%
100.0%
called 4338 times
100.0%
-%
100.0%
called 814 times
70.6%
42.9%
54.0%
called 4224 times
81.8%
40.0%
50.0%
called 14159 times
100.0%
100.0%
100.0%
called 3227336 times
100.0%
83.3%
89.0%
called 9688641 times
100.0%
100.0%
100.0%
called 9706 times
80.0%
50.0%
75.0%
called 795 times
100.0%
66.7%
78.0%
called 5952 times
100.0%
100.0%
100.0%
called 2523 times
100.0%
100.0%
100.0%
called 44 times
100.0%
50.0%
83.0%
called 2202672 times
90.9%
50.0%
60.0%
called 1348069 times
94.4%
60.0%
71.0%
called 91 times
100.0%
83.3%
100.0%
called 111977 times
100.0%
91.7%
100.0%
called 13 times
100.0%
75.0%
83.0%
called 3270 times
100.0%
-%
100.0%
called 53 times
88.2%
83.3%
88.0%
called 14785 times
100.0%
87.5%
92.0%
called 276422 times
100.0%
83.3%
90.0%
called 3039 times
100.0%
90.0%
93.0%
called 27617 times
88.9%
50.0%
80.0%
called 21234942 times
100.0%
75.0%
100.0%
called 72 times
80.0%
50.0%
71.0%
called 207 times
100.0%
100.0%
100.0%
called 24 times
75.0%
50.0%
80.0%
called 19 times
90.0%
57.1%
82.0%
called 189152 times
84.6%
75.0%
89.0%
called 224368 times
43.7%
34.3%
36.0%
called 484200 times
35.7%
25.0%
35.0%
called 9860 times
92.6%
81.2%
88.0%
called 147836159 times
100.0%
83.3%
89.0%
called 1550 times
75.0%
50.0%
75.0%
called 356 times
90.9%
50.0%
64.0%
called 24726627 times
100.0%
83.3%
89.0%
called 2063620 times
100.0%
80.0%
100.0%
called 356068 times
100.0%
100.0%
100.0%
called 1152 times
91.3%
69.2%
75.0%
called 59261 times
92.9%
78.6%
83.0%
called 3177235 times
100.0%
100.0%
100.0%
called 61432 times
100.0%
100.0%
100.0%
called 329 times
100.0%
-%
100.0%
called 3116113 times
100.0%
96.7%
97.0%
called 2334 times
100.0%
50.0%
75.0%
called 2334 times
100.0%
50.0%
89.0%
called 329 times
100.0%
-%
100.0%
called 2393 times
100.0%
-%
100.0%
called 3043013 times
92.3%
75.0%
85.0%
called 319 times
100.0%
-%
100.0%
called 4704 times
100.0%
100.0%
100.0%
called 2241 times
94.1%
66.7%
88.0%
called 2186 times
88.9%
57.1%
68.0%
called 8 times
84.2%
50.0%
59.0%
called 2241 times
92.1%
64.3%
65.0%
called 319 times
100.0%
50.0%
80.0%
called 2393 times
90.0%
60.0%
60.0%
called 2186 times
88.2%
46.2%
81.0%
called 261624 times
100.0%
87.5%
100.0%
called 88921 times
90.4%
64.3%
76.0%
called 60 times
100.0%
-%
100.0%
called 60 times
100.0%
62.5%
79.0%
called 58 times
100.0%
100.0%
100.0%
called 58 times
100.0%
50.0%
75.0%
called 58 times
100.0%
91.7%
92.0%
called 4321 times
83.3%
50.0%
80.0%
called 4321 times
66.7%
50.0%
80.0%
called 4321 times
100.0%
58.3%
76.0%
called 58 times
76.9%
70.0%
64.0%
called 13 times
100.0%
65.2%
76.0%
called 73 times
91.7%
83.3%
88.0%
called 58 times
100.0%
50.0%
75.0%
called 58 times
100.0%
50.0%
100.0%
called 3228131 times
85.7%
80.0%
86.0%
called 329 times
62.5%
25.0%
60.0%
called 2389 times
100.0%
75.0%
100.0%
called 2389 times
82.9%
75.0%
75.0%
called 4296115 times
75.0%
50.0%
43.0%
called 329 times
62.5%
25.0%
60.0%
called 1 time
43.8%
22.2%
38.0%
called 10183 times
100.0%
100.0%
100.0%
called 10183 times
100.0%
100.0%
100.0%
called 17016441 times
93.3%
85.7%
90.0%
called 1191123 times
100.0%
100.0%
100.0%
called 3943 times
100.0%
100.0%
100.0%
called 452 times
100.0%
100.0%
100.0%
called 3943 times
87.1%
65.6%
69.0%
called 1729 times
94.4%
64.3%
67.0%
called 266 times
80.0%
61.4%
56.0%
called 266 times
94.7%
62.5%
75.0%
called 3 times
90.9%
70.0%
92.0%
called 14 times
100.0%
50.0%
100.0%
called 3 times
93.3%
71.4%
83.0%
called 40 times
100.0%
100.0%
100.0%
called 58 times
100.0%
100.0%
100.0%
called 40 times
100.0%
100.0%
100.0%
called 860935 times
100.0%
100.0%
100.0%
called 58 times
73.7%
83.3%
88.0%
called 61 times
100.0%
100.0%
100.0%
called 58 times
100.0%
-%
100.0%
called 11 times
82.4%
56.2%
75.0%
called 367734 times
100.0%
100.0%
100.0%
called 1066421 times
100.0%
100.0%
100.0%
called 3 times
100.0%
100.0%
100.0%
called 201935 times
100.0%
85.7%
94.0%
called 1030493 times
89.5%
86.4%
95.0%
called 58 times
100.0%
66.7%
78.0%
called 58 times
100.0%
66.7%
100.0%
called 1030493 times
78.9%
50.0%
59.0%
called 8 times
93.8%
66.7%
69.0%
called 14 times
90.4%
50.0%
65.0%
called 58 times
72.5%
60.0%
79.0%
called 48 times
100.0%
100.0%
100.0%
called 58 times
84.4%
75.0%
85.0%
called 58 times
71.7%
63.9%
72.0%
called 40 times
80.3%
67.6%
74.0%
called 832898 times
82.4%
38.9%
55.0%
called 1066421 times
100.0%
100.0%
100.0%
called 435 times
100.0%
100.0%
100.0%
called 2 times
94.7%
55.6%
77.0%
called 1030493 times
87.5%
80.0%
90.0%
called 4202559 times
100.0%
83.3%
100.0%
called 789 times
100.0%
90.0%
100.0%
called 8493 times
100.0%
100.0%
100.0%
called 150 times
75.0%
50.0%
75.0%
called 226577576 times
100.0%
75.0%
100.0%
called 9714 times
92.9%
64.3%
68.0%
called 100920 times
95.7%
87.5%
88.0%
called 8844804 times
100.0%
100.0%
100.0%
called 162007 times
100.0%
75.0%
94.0%
called 80412 times
88.9%
64.3%
69.0%
called 80412 times
94.7%
60.0%
69.0%
called 222 times
100.0%
66.7%
91.0%
called 2393 times
100.0%
83.3%
91.0%
called 33651 times
100.0%
87.5%
100.0%
called 33651 times
100.0%
85.7%
100.0%
called 25 times
92.2%
63.3%
66.0%
called 10 times
80.0%
55.6%
53.0%
called 47 times
87.0%
56.8%
66.0%
called 25 times
82.1%
60.4%
62.0%
called 48241 times
100.0%
87.5%
100.0%
called 576 times
93.8%
64.3%
88.0%
called 4443 times
82.4%
70.0%
91.0%
called 58 times
83.3%
78.6%
81.0%
called 58 times
100.0%
90.0%
100.0%
called 5808 times
80.0%
75.0%
83.0%
called 3795 times
66.7%
50.0%
75.0%
not called
0.0%
0.0%
0.0%
called 4443 times
100.0%
62.5%
77.0%
called 4786 times
100.0%
83.3%
100.0%
called 58 times
100.0%
95.0%
96.0%
called 18 times
88.9%
67.5%
67.0%
called 73 times
95.0%
81.2%
79.0%
called 3309970 times
100.0%
100.0%
100.0%
called 58 times
100.0%
100.0%
100.0%
called 11 times
100.0%
100.0%
100.0%
called 37 times
94.9%
83.3%
93.0%
called 8475 times
98.6%
92.9%
97.0%
called 18 times
100.0%
-%
100.0%
called 8475 times
85.4%
77.3%
82.0%
called 5 times
87.5%
50.0%
83.0%
called 63452045 times
100.0%
75.0%
83.0%
called 48346631 times
100.0%
100.0%
100.0%
called 12925100 times
88.9%
87.5%
90.0%
called 132087011 times
66.7%
50.0%
80.0%
called 60241010 times
75.0%
50.0%
80.0%
called 10 times
100.0%
50.0%
70.0%
called 70325 times
100.0%
-%
100.0%
called 1498302 times
96.3%
85.7%
95.0%
called 38707199 times
100.0%
100.0%
100.0%
called 3763349 times
100.0%
-%
100.0%
called 3773121 times
100.0%
75.0%
83.0%
called 10508 times
100.0%
100.0%
100.0%
called 184 times
90.5%
55.6%
66.0%
called 10508 times
87.5%
83.3%
88.0%
called 10400 times
93.5%
70.8%
66.0%
called 48680957 times
100.0%
100.0%
100.0%
called 37208897 times
100.0%
100.0%
100.0%
called 21771441 times
100.0%
100.0%
100.0%
called 67130808 times
100.0%
100.0%
100.0%
called 10508 times
100.0%
83.3%
100.0%
called 1069 times
100.0%
100.0%
100.0%
called 56222688 times
100.0%
100.0%
100.0%
called 10508 times
80.8%
84.8%
90.0%
called 832898 times
100.0%
75.0%
83.0%
called 549957237 times
100.0%
87.5%
89.0%
called 98205616 times
100.0%
83.3%
100.0%
called 4018169 times
87.5%
60.0%
80.0%
called 1030493 times
100.0%
-%
100.0%
called 1030493 times
100.0%
-%
100.0%
called 693070 times
100.0%
100.0%
100.0%
called 401304 times
83.3%
62.5%
78.0%
called 126971 times
100.0%
50.0%
80.0%
called 6086608 times
100.0%
50.0%
80.0%
called 1858976 times
100.0%
50.0%
80.0%
called 58 times
100.0%
80.0%
100.0%
called 93 times
100.0%
100.0%
100.0%
called 58 times
77.3%
57.1%
76.0%
called 9 times
85.0%
50.0%
75.0%
called 14 times
66.7%
28.6%
34.0%
called 15 times
75.0%
27.8%
32.0%
called 37 times
92.6%
62.5%
85.0%
called 1066421 times
100.0%
100.0%
100.0%
called 58 times
100.0%
80.0%
100.0%
called 94 times
100.0%
83.3%
100.0%
called 1066479 times
100.0%
100.0%
100.0%
called 58 times
91.4%
80.0%
82.0%
called 58 times
100.0%
70.5%
100.0%
called 3033546 times
100.0%
-%
100.0%
called 46886995 times
90.0%
75.0%
89.0%
called 2132842 times
100.0%
91.7%
100.0%
called 12927343 times
100.0%
85.7%
100.0%
called 180183 times
100.0%
70.0%
87.0%
called 29 times
100.0%
66.7%
100.0%
called 5080 times
100.0%
100.0%
100.0%
called 289812 times
98.2%
75.0%
81.0%
called 1132420 times
100.0%
100.0%
100.0%
called 121 times
84.0%
47.1%
59.0%
called 205048 times
100.0%
100.0%
100.0%
called 140739 times
100.0%
100.0%
100.0%
called 151099 times
100.0%
100.0%
100.0%
called 57672 times
100.0%
100.0%
100.0%
called 67867 times
100.0%
75.0%
100.0%
called 8475 times
100.0%
93.8%
96.0%
called 258 times
100.0%
50.0%
80.0%
called 12629377 times
100.0%
100.0%
100.0%
called 37894467 times
100.0%
100.0%
100.0%
called 12035293 times
100.0%
100.0%
100.0%
called 11998612 times
100.0%
100.0%
100.0%
called 2800436 times
100.0%
83.3%
88.0%
called 1931254 times
100.0%
100.0%
100.0%
called 67143458 times
100.0%
100.0%
100.0%
called 37894467 times
80.0%
66.7%
78.0%
called 65116604 times
100.0%
100.0%
100.0%
called 37894467 times
100.0%
100.0%
100.0%
called 10183 times
100.0%
91.7%
93.0%
called 10183 times
85.7%
80.0%
86.0%
called 37894467 times
100.0%
-%
100.0%
called 20940478 times
100.0%
100.0%
100.0%
called 1979248 times
50.0%
14.3%
36.0%
called 10183 times
100.0%
85.7%
100.0%
called 10183 times
85.7%
85.7%
88.0%
called 31 times
91.7%
62.5%
89.0%
called 37 times
100.0%
50.0%
100.0%
called 4706940 times
94.4%
77.8%
85.0%
called 37 times
100.0%
50.0%
89.0%
called 1 time
60.0%
50.0%
62.0%
called 1 time
80.8%
75.0%
82.0%
called 58 times
50.0%
50.0%
67.0%
called 58 times
72.0%
43.8%
63.0%
called 58 times
90.0%
75.0%
88.0%
called 3 times
90.9%
87.5%
94.0%
called 3 times
76.5%
70.0%
73.0%
called 1 time
50.0%
33.3%
50.0%
called 152085 times
40.9%
35.7%
50.0%
called 154967 times
94.8%
78.9%
89.0%
called 198 times
100.0%
100.0%
100.0%
called 159 times
89.3%
50.0%
57.0%
called 198 times
64.3%
37.5%
50.0%
called 159 times
83.3%
70.0%
71.0%
called 348 times
93.3%
63.3%
61.0%
called 1979248 times
89.2%
63.6%
76.0%
called 14402 times
100.0%
50.0%
62.0%
called 57604 times
75.0%
44.4%
65.0%
called 2 times
82.5%
44.4%
53.0%
called 58 times
100.0%
50.0%
100.0%
called 58 times
100.0%
75.0%
100.0%
called 58 times
91.7%
50.0%
89.0%
called 47 times
100.0%
100.0%
100.0%
called 58 times
96.7%
88.2%
95.0%
called 1 time
70.0%
75.0%
72.0%
called 58 times
55.6%
50.0%
60.0%
called 47 times
100.0%
100.0%
100.0%
called 4477 times
100.0%
-%
100.0%
called 73050 times
100.0%
100.0%
100.0%
called 75762 times
100.0%
100.0%
100.0%
called 76552 times
100.0%
87.5%
100.0%
called 15372 times
100.0%
83.3%
100.0%
called 481 times
95.5%
77.8%
86.0%
called 93663 times
100.0%
-%
100.0%
called 222659 times
100.0%
-%
100.0%
called 193854 times
100.0%
50.0%
83.0%
called 28805 times
100.0%
50.0%
83.0%
called 72010 times
100.0%
-%
100.0%
called 208256 times
100.0%
-%
100.0%
called 4 times
96.8%
71.4%
90.0%
called 39 times
100.0%
71.4%
94.0%
called 106645 times
98.2%
97.9%
98.0%
called 79806 times
100.0%
83.3%
89.0%
called 5 times
100.0%
100.0%
100.0%
called 98 times
100.0%
46.2%
71.0%
called 1152 times
64.2%
41.3%
52.0%
called 93663 times
100.0%
-%
100.0%
called 222599 times
100.0%
100.0%
100.0%
called 193794 times
100.0%
50.0%
83.0%
called 28805 times
100.0%
50.0%
83.0%
called 72010 times
100.0%
-%
100.0%
called 208196 times
100.0%
-%
100.0%
called 26489 times
100.0%
50.0%
80.0%
called 58 times
100.0%
-%
100.0%
called 2 times
66.7%
50.0%
67.0%
called 26490 times
100.0%
-%
100.0%
called 208645 times
100.0%
-%
100.0%
called 2 times
100.0%
50.0%
100.0%
called 58 times
100.0%
93.8%
100.0%
called 58 times
100.0%
-%
100.0%
called 58 times
80.0%
50.0%
68.0%
called 1588 times
81.7%
61.6%
59.0%
called 58 times
88.6%
87.5%
88.0%
called 141238 times
93.8%
67.7%
86.0%
called 106 times
100.0%
-%
100.0%
called 106 times
93.3%
53.3%
64.0%
called 106 times
87.5%
68.2%
71.0%
called 201935 times
100.0%
93.8%
100.0%
called 57 times
100.0%
100.0%
100.0%
called 12 times
75.0%
50.0%
64.0%
called 58 times
100.0%
100.0%
100.0%
called 58 times
78.6%
81.8%
81.0%
called 58 times
100.0%
100.0%
100.0%
called 10183 times
100.0%
100.0%
100.0%
called 1030493 times
100.0%
83.3%
88.0%
called 10971860 times
100.0%
50.0%
100.0%
called 220 times
100.0%
100.0%
100.0%
called 58 times
80.0%
62.5%
76.0%
called 3046 times
93.8%
50.0%
58.0%
called 8006 times
89.3%
73.1%
73.0%
called 1 time
71.4%
38.6%
54.0%
called 343 times
93.3%
71.4%
69.0%
called 3 times
88.2%
65.0%
70.0%
called 1 time
100.0%
50.0%
56.0%
called 4 times
80.0%
50.0%
71.0%
called 12133 times
50.0%
50.0%
67.0%
called 12 times
83.3%
62.5%
69.0%
called 2 times
90.0%
60.0%
71.0%
called 13 times
68.8%
50.0%
52.0%
called 12 times
88.9%
75.0%
83.0%
called 29515 times
100.0%
81.8%
93.0%
called 12 times
100.0%
88.2%
96.0%
called 12277 times
57.1%
50.0%
67.0%
called 13 times
73.7%
44.4%
52.0%
called 39 times
88.2%
57.1%
60.0%
called 41 times
100.0%
100.0%
100.0%
called 3 times
64.0%
31.2%
43.0%
called 10508 times
100.0%
-%
100.0%
called 548 times
97.3%
62.1%
75.0%
called 73 times
91.4%
50.0%
67.0%
called 10183 times
100.0%
-%
100.0%
called 24 times
85.7%
50.0%
80.0%
called 1 time
86.7%
75.0%
79.0%
called 1588 times
100.0%
50.0%
80.0%
called 2 times
86.4%
63.6%
72.0%
called 4 times
100.0%
56.2%
71.0%
called 1163 times
100.0%
75.0%
86.0%
called 1 time
82.9%
53.3%
74.0%
called 6 times
100.0%
66.7%
80.0%
called 1 time
92.3%
57.1%
64.0%
called 1 time
74.4%
47.7%
59.0%
called 1 time
80.8%
63.6%
73.0%
called 1 time
77.8%
50.0%
67.0%
called 8 times
92.3%
62.5%
76.0%
called 79788 times
50.0%
29.4%
48.0%
called 12 times
81.2%
50.0%
65.0%
called 16 times
92.3%
58.3%
65.0%
called 5 times
73.3%
50.0%
58.0%
called 74 times
100.0%
66.7%
100.0%
called 29455 times
80.0%
50.0%
67.0%
called 133186 times
100.0%
75.0%
83.0%
called 43707 times
66.7%
50.0%
80.0%
called 43707 times
77.8%
50.0%
62.0%
called 69877 times
100.0%
-%
100.0%
called 69877 times
100.0%
50.0%
67.0%
called 95561 times
80.0%
50.0%
75.0%
called 1 time
69.2%
50.0%
56.0%
called 28804 times
83.3%
50.0%
50.0%
called 247515 times
75.0%
66.7%
73.0%
called 88596 times
100.0%
50.0%
75.0%
called 14402 times
83.3%
75.0%
88.0%
called 82505 times
50.0%
50.0%
62.0%
called 10991 times
100.0%
100.0%
100.0%
called 22112 times
100.0%
66.7%
78.0%
called 4782 times
100.0%
75.0%
83.0%
called 11049 times
66.7%
50.0%
80.0%
called 9276 times
100.0%
100.0%
100.0%
called 23657 times
100.0%
100.0%
100.0%
called 11049 times
90.0%
66.7%
73.0%
called 252841 times
100.0%
100.0%
100.0%
called 1030493 times
100.0%
100.0%
100.0%
called 1030493 times
95.5%
94.4%
96.0%
called 1030493 times
100.0%
100.0%
100.0%
called 1030493 times
100.0%
-%
100.0%
called 4734080 times
100.0%
100.0%
100.0%
called 4723562 times
91.7%
77.8%
85.0%
called 72008 times
96.0%
61.1%
85.0%
called 648 times
100.0%
75.0%
91.0%
called 1030493 times
100.0%
100.0%
100.0%
called 1132420 times
100.0%
100.0%
100.0%
called 58 times
100.0%
100.0%
100.0%
called 1066421 times
100.0%
75.0%
96.0%
called 1066421 times
100.0%
100.0%
100.0%
called 58 times
88.9%
75.0%
78.0%
called 37 times
100.0%
100.0%
100.0%
called 33334 times
87.7%
77.6%
85.0%
called 33054 times
71.4%
75.0%
79.0%
called 33090 times
100.0%
95.0%
100.0%
called 4 times
90.3%
64.3%
87.0%
called 37 times
90.9%
69.2%
79.0%
called 244 times
87.9%
78.6%
81.0%
called 334 times
100.0%
100.0%
100.0%
called 334154 times
100.0%
85.7%
100.0%
called 1558 times
100.0%
100.0%
100.0%
called 1 time
88.9%
60.0%
84.0%
called 82078 times
100.0%
66.7%
91.0%
called 1130 times
100.0%
-%
100.0%
called 1 time
100.0%
100.0%
100.0%
called 1 time
83.3%
77.3%
85.0%
called 94 times
70.4%
59.1%
53.0%
called 12558 times
57.1%
50.0%
67.0%
called 58 times
100.0%
100.0%
100.0%
called 686476 times
96.3%
83.3%
95.0%
called 1 time
100.0%
57.1%
82.0%
called 4 times
100.0%
75.0%
100.0%
called 32 times
94.7%
68.8%
89.0%
called 11995299 times
100.0%
100.0%
100.0%
called 12629258 times
93.8%
66.7%
81.0%
called 686477 times
93.1%
76.5%
96.0%
called 65337949 times
95.8%
84.6%
91.0%
called 72 times
100.0%
100.0%
100.0%
called 1 time
100.0%
50.0%
92.0%
called 3 times
100.0%
54.5%
83.0%
called 12012 times
88.9%
83.3%
93.0%
called 7794 times
100.0%
100.0%
100.0%
called 686476 times
90.9%
66.7%
86.0%
called 31 times
66.7%
50.0%
75.0%
called 2304 times
100.0%
50.0%
75.0%
called 4786 times
100.0%
100.0%
100.0%
called 3115063 times
100.0%
83.3%
100.0%
called 987 times
100.0%
50.0%
75.0%
called 8 times
100.0%
100.0%
100.0%
called 2304 times
100.0%
83.3%
90.0%
called 3115063 times
77.5%
54.5%
70.0%
called 32 times
82.6%
66.7%
62.0%
called 40 times
100.0%
100.0%
100.0%
called 987 times
100.0%
50.0%
75.0%
called 8 times
100.0%
61.1%
74.0%
called 52206 times
83.3%
75.0%
84.0%
called 9 times
83.3%
71.4%
83.0%
called 58 times
100.0%
88.9%
100.0%
called 48 times
94.7%
90.0%
92.0%
called 58 times
91.2%
85.2%
82.0%
called 58 times
100.0%
60.0%
100.0%
called 1824857 times
100.0%
100.0%
100.0%
called 189152 times
100.0%
75.0%
80.0%
called 988013 times
100.0%
87.5%
93.0%
called 3033546 times
100.0%
100.0%
100.0%
called 37208897 times
98.4%
91.7%
96.0%
called 1930386 times
100.0%
100.0%
100.0%
called 33090 times
100.0%
100.0%
100.0%
called 27765 times
100.0%
100.0%
100.0%
called 37851987 times
100.0%
95.7%
98.0%
called 3229694 times
100.0%
100.0%
100.0%
called 988013 times
100.0%
83.3%
100.0%
called 58 times
92.6%
61.8%
89.0%
called 11894379 times
80.0%
50.0%
75.0%
called 14159 times
80.9%
62.5%
76.0%
called 143130 times
100.0%
100.0%
100.0%
called 17353 times
100.0%
50.0%
70.0%
called 577948 times
94.7%
66.7%
93.0%
called 5804 times
100.0%
-%
100.0%
called 491475 times
90.9%
75.0%
85.0%
called 117 times
94.2%
68.6%
65.0%
called 58 times
100.0%
50.0%
75.0%
called 58 times
100.0%
50.0%
100.0%
called 10964 times
75.0%
50.0%
62.0%
called 3 times
77.5%
45.8%
62.0%
called 1268 times
87.5%
66.7%
78.0%
called 12074498 times
100.0%
100.0%
100.0%
called 3045254 times
57.1%
25.0%
38.0%
called 232220 times
96.9%
92.9%
96.0%
called 3229694 times
100.0%
86.4%
94.0%
called 3229694 times
78.8%
83.3%
86.0%
called 4786 times
100.0%
100.0%
100.0%
called 2083801 times
100.0%
50.0%
75.0%
called 2393 times
100.0%
100.0%
100.0%
called 33 times
91.7%
58.3%
58.0%
called 2393 times
91.9%
69.2%
68.0%
called 2393 times
89.7%
65.6%
72.0%
called 3309970 times
100.0%
100.0%
100.0%
called 2393 times
94.1%
78.6%
94.0%
called 2728851 times
93.3%
66.7%
83.0%
called 3206654 times
96.7%
87.5%
96.0%
called 3354004 times
100.0%
-%
100.0%
called 2393 times
100.0%
100.0%
100.0%
called 2848978 times
35.3%
44.4%
45.0%
called 2473 times
91.3%
56.2%
70.0%
called 42523 times
100.0%
75.0%
86.0%
called 323 times
100.0%
100.0%
100.0%
called 641895 times
92.9%
66.7%
80.0%
not called
0.0%
0.0%
0.0%
called 3210951 times
100.0%
100.0%
100.0%
called 127600 times
100.0%
75.0%
93.0%
called 27122 times
88.2%
50.0%
73.0%
called 5669 times
64.1%
32.1%
39.0%
called 44927 times
88.9%
57.1%
72.0%
called 323 times
100.0%
-%
100.0%
called 688123 times
100.0%
50.0%
75.0%
called 4320 times
87.5%
62.5%
73.0%
called 40992 times
92.9%
75.0%
83.0%
called 67179 times
89.5%
57.1%
72.0%
called 127601 times
80.0%
56.2%
75.0%
called 1554 times
90.0%
61.1%
62.0%
called 40970 times
95.0%
73.1%
73.0%
called 111 times
100.0%
-%
100.0%
called 1203092 times
81.8%
65.4%
79.0%
called 323 times
83.3%
66.7%
79.0%
called 60432 times
100.0%
100.0%
100.0%
called 58 times
100.0%
75.0%
83.0%
called 58 times
100.0%
75.0%
100.0%
called 3 times
85.3%
63.3%
62.0%
called 9 times
69.7%
70.0%
67.0%
called 7466141 times
100.0%
-%
100.0%
called 3990406 times
100.0%
-%
100.0%
called 1438399 times
100.0%
50.0%
80.0%
called 6016695 times
100.0%
-%
100.0%
called 4346474 times
100.0%
50.0%
75.0%
called 1995203 times
100.0%
50.0%
67.0%
called 545 times
100.0%
83.3%
100.0%
called 58 times
100.0%
100.0%
100.0%
called 10183 times
100.0%
100.0%
100.0%
called 58 times
80.0%
66.7%
71.0%
called 15 times
92.0%
53.3%
62.0%
called 88564 times
100.0%
100.0%
100.0%
called 88564 times
96.4%
88.5%
92.0%
called 1152 times
78.9%
45.0%
53.0%
called 4962217 times
100.0%
-%
100.0%
called 9337546 times
100.0%
-%
100.0%
called 2406740 times
100.0%
-%
100.0%
called 5999861 times
100.0%
-%
100.0%
called 10257289 times
100.0%
-%
100.0%
called 4668773 times
100.0%
50.0%
67.0%
called 113225 times
100.0%
90.0%
100.0%
called 113225 times
75.0%
66.7%
60.0%
called 879579 times
100.0%
87.5%
92.0%
called 16762 times
100.0%
100.0%
100.0%
called 61740 times
100.0%
100.0%
100.0%
called 11592 times
100.0%
90.0%
100.0%
called 24147 times
100.0%
75.0%
86.0%
called 8308 times
100.0%
91.7%
100.0%
called 3033546 times
100.0%
-%
100.0%
called 23979798 times
87.5%
78.6%
91.0%
called 67121326 times
100.0%
88.9%
100.0%
called 3231013 times
88.2%
64.3%
79.0%
called 14040 times
81.5%
45.5%
62.0%
called 44 times
100.0%
100.0%
100.0%
called 52 times
100.0%
66.7%
78.0%
called 8475 times
100.0%
-%
100.0%
called 41 times
91.7%
83.3%
87.0%
called 2393 times
72.3%
68.8%
66.0%
called 20 times
78.5%
67.1%
68.0%
called 3 times
77.8%
75.0%
80.0%
called 17 times
69.2%
60.9%
71.0%
called 220901 times
80.9%
59.3%
69.0%
called 541350 times
92.2%
81.2%
88.0%
not called
0.0%
0.0%
0.0%
called 42404 times
38.5%
25.0%
42.0%
called 220901 times
92.9%
72.7%
77.0%
called 469 times
84.3%
48.5%
62.0%
called 78 times
100.0%
66.7%
73.0%
called 469 times
92.6%
62.5%
74.0%
called 48 times
100.0%
90.0%
96.0%
called 9 times
100.0%
83.3%
93.0%
called 48 times
100.0%
89.3%
92.0%
called 14 times
100.0%
80.0%
89.0%
called 48 times
100.0%
93.8%
100.0%
called 48 times
100.0%
83.3%
92.0%
called 48 times
97.2%
90.0%
96.0%
called 48 times
100.0%
100.0%
100.0%
called 35 times
100.0%
88.9%
94.0%
called 48 times
100.0%
77.8%
90.0%
called 48 times
100.0%
100.0%
100.0%
called 48 times
100.0%
91.7%
100.0%
called 12 times
100.0%
60.0%
97.0%
called 2 times
90.9%
50.0%
91.0%
called 14 times
100.0%
71.4%
85.0%
called 37 times
100.0%
80.0%
95.0%
called 1833452 times
100.0%
50.0%
67.0%
called 15376361 times
43.5%
42.9%
39.0%
called 243024017 times
64.6%
66.7%
60.0%
called 12615319 times
68.4%
52.9%
60.0%
called 104432339 times
78.9%
80.0%
76.0%
called 12862513 times
56.2%
58.8%
48.0%
called 219835684 times
66.0%
63.0%
59.0%
called 3763349 times
92.6%
81.2%
89.0%
called 32559862 times
38.3%
48.0%
38.0%
called 8876256 times
57.6%
56.2%
61.0%
called 118367392 times
100.0%
-%
100.0%
called 10 times
100.0%
100.0%
100.0%
called 10389 times
67.9%
46.1%
55.0%
called 12 times
100.0%
-%
100.0%