Usage of Method: Depth Reduction
Appears in the following modes: “Bound” (135596 times), “Bound (linear)” (34453 times).
First 100 Prev 100 Next 100 Last 49
| Incarnation | Mode | ||
|---|---|---|---|
| 1 | No OOA(22, 4, S2, 2, 2) | Bound | [i] |
| 2 | No OOA(23, 8, S2, 2, 2) | Bound | [i] |
| 3 | No OOA(24, 16, S2, 2, 2) | Bound | [i] |
| 4 | No OOA(25, 32, S2, 2, 2) | Bound | [i] |
| 5 | No OOA(26, 64, S2, 2, 2) | Bound | [i] |
| 6 | No OOA(26, 9, S2, 2, 4) | Bound | [i] |
| 7 | No OOA(27, 128, S2, 2, 2) | Bound | [i] |
| 8 | No OOA(28, 256, S2, 2, 2) | Bound | [i] |
| 9 | No OOA(29, 512, S2, 2, 2) | Bound | [i] |
| 10 | No OOA(210, 1024, S2, 2, 2) | Bound | [i] |
| 11 | No OOA(211, 2048, S2, 2, 2) | Bound | [i] |
| 12 | No OOA(212, 4096, S2, 2, 2) | Bound | [i] |
| 13 | No OOA(213, 8192, S2, 2, 2) | Bound | [i] |
| 14 | No OOA(213, 125, S2, 2, 4) | Bound | [i] |
| 15 | No OOA(213, 16, S2, 2, 8) | Bound | [i] |
| 16 | No OOA(214, 16384, S2, 2, 2) | Bound | [i] |
| 17 | No OOA(215, 32768, S2, 2, 2) | Bound | [i] |
| 18 | No OOA(216, 65536, S2, 2, 2) | Bound | [i] |
| 19 | No OOA(217, 131072, S2, 2, 2) | Bound | [i] |
| 20 | No OOA(217, 21, S2, 2, 10) | Bound | [i] |
| 21 | No OOA(218, 262144, S2, 2, 2) | Bound | [i] |
| 22 | No OOA(218, 25, S2, 2, 10) | Bound | [i] |
| 23 | No OOA(219, 524288, S2, 2, 2) | Bound | [i] |
| 24 | No OOA(219, 30, S2, 2, 10) | Bound | [i] |
| 25 | No OOA(220, 1048576, S2, 2, 2) | Bound | [i] |
| 26 | No OOA(220, 23, S2, 2, 12) | Bound | [i] |
| 27 | No OOA(221, 2097152, S2, 2, 2) | Bound | [i] |
| 28 | No OOA(221, 25, S2, 2, 12) | Bound | [i] |
| 29 | No OOA(222, 4194304, S2, 2, 2) | Bound | [i] |
| 30 | No OOA(222, 30, S2, 2, 12) | Bound | [i] |
| 31 | No OOA(223, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 32 | No OOA(223, 34, S2, 2, 12) | Bound | [i] |
| 33 | No OOA(224, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 34 | No OOA(224, 40, S2, 2, 12) | Bound | [i] |
| 35 | No OOA(224, 28, S2, 2, 14) | Bound | [i] |
| 36 | No OOA(225, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 37 | No OOA(225, 32, S2, 2, 14) | Bound | [i] |
| 38 | No OOA(226, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 39 | No OOA(226, 34, S2, 2, 14) | Bound | [i] |
| 40 | No OOA(227, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 41 | No OOA(227, 39, S2, 2, 14) | Bound | [i] |
| 42 | No OOA(227, 30, S2, 2, 16) | Bound | [i] |
| 43 | No OOA(228, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 44 | No OOA(228, 44, S2, 2, 14) | Bound | [i] |
| 45 | No OOA(228, 32, S2, 2, 16) | Bound | [i] |
| 46 | No OOA(229, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 47 | No OOA(229, 36, S2, 2, 16) | Bound | [i] |
| 48 | No OOA(230, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 49 | No OOA(230, 38, S2, 2, 16) | Bound | [i] |
| 50 | No OOA(231, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 51 | No OOA(231, 43, S2, 2, 16) | Bound | [i] |
| 52 | No OOA(231, 35, S2, 2, 18) | Bound | [i] |
| 53 | No OOA(232, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 54 | No OOA(232, 48, S2, 2, 16) | Bound | [i] |
| 55 | No OOA(232, 36, S2, 2, 18) | Bound | [i] |
| 56 | No OOA(233, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 57 | No OOA(233, 54, S2, 2, 16) | Bound | [i] |
| 58 | No OOA(233, 40, S2, 2, 18) | Bound | [i] |
| 59 | No OOA(234, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 60 | No OOA(234, 42, S2, 2, 18) | Bound | [i] |
| 61 | No OOA(235, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 62 | No OOA(235, 47, S2, 2, 18) | Bound | [i] |
| 63 | No OOA(235, 39, S2, 2, 20) | Bound | [i] |
| 64 | No OOA(236, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 65 | No OOA(236, 53, S2, 2, 18) | Bound | [i] |
| 66 | No OOA(236, 40, S2, 2, 20) | Bound | [i] |
| 67 | No OOA(237, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 68 | No OOA(237, 58, S2, 2, 18) | Bound | [i] |
| 69 | No OOA(237, 45, S2, 2, 20) | Bound | [i] |
| 70 | No OOA(238, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 71 | No OOA(238, 64, S2, 2, 18) | Bound | [i] |
| 72 | No OOA(238, 47, S2, 2, 20) | Bound | [i] |
| 73 | No OOA(239, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 74 | No OOA(239, 51, S2, 2, 20) | Bound | [i] |
| 75 | No OOA(239, 43, S2, 2, 22) | Bound | [i] |
| 76 | No OOA(240, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 77 | No OOA(240, 54, S2, 2, 20) | Bound | [i] |
| 78 | No OOA(240, 45, S2, 2, 22) | Bound | [i] |
| 79 | No OOA(241, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 80 | No OOA(241, 62, S2, 2, 20) | Bound | [i] |
| 81 | No OOA(241, 49, S2, 2, 22) | Bound | [i] |
| 82 | No OOA(242, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 83 | No OOA(242, 68, S2, 2, 20) | Bound | [i] |
| 84 | No OOA(242, 51, S2, 2, 22) | Bound | [i] |
| 85 | No OOA(243, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 86 | No OOA(243, 76, S2, 2, 20) | Bound | [i] |
| 87 | No OOA(243, 54, S2, 2, 22) | Bound | [i] |
| 88 | No OOA(243, 47, S2, 2, 24) | Bound | [i] |
| 89 | No OOA(244, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 90 | No OOA(244, 84, S2, 2, 20) | Bound | [i] |
| 91 | No OOA(244, 58, S2, 2, 22) | Bound | [i] |
| 92 | No OOA(244, 49, S2, 2, 24) | Bound | [i] |
| 93 | No OOA(245, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 94 | No OOA(245, 63, S2, 2, 22) | Bound | [i] |
| 95 | No OOA(245, 53, S2, 2, 24) | Bound | [i] |
| 96 | No OOA(246, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 97 | No OOA(246, 72, S2, 2, 22) | Bound | [i] |
| 98 | No OOA(246, 55, S2, 2, 24) | Bound | [i] |
| 99 | No OOA(247, s, S2, 2, 2) with unbounded s | Bound | [i] |
| 100 | No OOA(247, 78, S2, 2, 22) | Bound | [i] |