Time bar (total: 1.6m)
| 5.0ms | 256× | body | 80 | valid |
| 5.0ms | 256× | pre | 80 | true |
| Iter | Nodes |
|---|---|
| done | 5001 |
| 311 | 4997 |
| 310 | 4976 |
| 309 | 4962 |
| 308 | 4944 |
| 307 | 4930 |
| 306 | 4912 |
| 305 | 4898 |
| 304 | 4880 |
| 303 | 4866 |
| 302 | 4848 |
| 301 | 4834 |
| 300 | 4816 |
| 299 | 4802 |
| 298 | 4784 |
| 297 | 4770 |
| 296 | 4752 |
| 295 | 4738 |
| 294 | 4720 |
| 293 | 4706 |
| 292 | 4688 |
| 291 | 4674 |
| 290 | 4656 |
| 289 | 4642 |
| 288 | 4624 |
| 287 | 4610 |
| 286 | 4592 |
| 285 | 4578 |
| 284 | 4560 |
| 283 | 4546 |
| 282 | 4528 |
| 281 | 4514 |
| 280 | 4496 |
| 279 | 4482 |
| 278 | 4464 |
| 277 | 4450 |
| 276 | 4432 |
| 275 | 4418 |
| 274 | 4400 |
| 273 | 4386 |
| 272 | 4368 |
| 271 | 4354 |
| 270 | 4336 |
| 269 | 4322 |
| 268 | 4304 |
| 267 | 4290 |
| 266 | 4272 |
| 265 | 4258 |
| 264 | 4240 |
| 263 | 4226 |
| 262 | 4208 |
| 261 | 4194 |
| 260 | 4176 |
| 259 | 4162 |
| 258 | 4144 |
| 257 | 4130 |
| 256 | 4112 |
| 255 | 4098 |
| 254 | 4080 |
| 253 | 4066 |
| 252 | 4048 |
| 251 | 4034 |
| 250 | 4016 |
| 249 | 4002 |
| 248 | 3984 |
| 247 | 3970 |
| 246 | 3952 |
| 245 | 3938 |
| 244 | 3920 |
| 243 | 3906 |
| 242 | 3888 |
| 241 | 3874 |
| 240 | 3856 |
| 239 | 3842 |
| 238 | 3824 |
| 237 | 3810 |
| 236 | 3792 |
| 235 | 3778 |
| 234 | 3760 |
| 233 | 3746 |
| 232 | 3728 |
| 231 | 3714 |
| 230 | 3696 |
| 229 | 3682 |
| 228 | 3664 |
| 227 | 3650 |
| 226 | 3632 |
| 225 | 3618 |
| 224 | 3600 |
| 223 | 3586 |
| 222 | 3568 |
| 221 | 3554 |
| 220 | 3536 |
| 219 | 3522 |
| 218 | 3504 |
| 217 | 3490 |
| 216 | 3472 |
| 215 | 3458 |
| 214 | 3440 |
| 213 | 3426 |
| 212 | 3408 |
| 211 | 3394 |
| 210 | 3376 |
| 209 | 3362 |
| 208 | 3344 |
| 207 | 3330 |
| 206 | 3312 |
| 205 | 3298 |
| 204 | 3280 |
| 203 | 3266 |
| 202 | 3248 |
| 201 | 3234 |
| 200 | 3216 |
| 199 | 3202 |
| 198 | 3184 |
| 197 | 3170 |
| 196 | 3152 |
| 195 | 3138 |
| 194 | 3120 |
| 193 | 3106 |
| 192 | 3088 |
| 191 | 3074 |
| 190 | 3056 |
| 189 | 3042 |
| 188 | 3024 |
| 187 | 3010 |
| 186 | 2992 |
| 185 | 2978 |
| 184 | 2960 |
| 183 | 2946 |
| 182 | 2928 |
| 181 | 2914 |
| 180 | 2896 |
| 179 | 2882 |
| 178 | 2864 |
| 177 | 2850 |
| 176 | 2832 |
| 175 | 2818 |
| 174 | 2800 |
| 173 | 2786 |
| 172 | 2768 |
| 171 | 2754 |
| 170 | 2736 |
| 169 | 2722 |
| 168 | 2704 |
| 167 | 2690 |
| 166 | 2672 |
| 165 | 2658 |
| 164 | 2640 |
| 163 | 2626 |
| 162 | 2608 |
| 161 | 2594 |
| 160 | 2576 |
| 159 | 2562 |
| 158 | 2544 |
| 157 | 2530 |
| 156 | 2512 |
| 155 | 2498 |
| 154 | 2480 |
| 153 | 2466 |
| 152 | 2448 |
| 151 | 2434 |
| 150 | 2416 |
| 149 | 2402 |
| 148 | 2384 |
| 147 | 2370 |
| 146 | 2352 |
| 145 | 2338 |
| 144 | 2320 |
| 143 | 2306 |
| 142 | 2288 |
| 141 | 2274 |
| 140 | 2256 |
| 139 | 2242 |
| 138 | 2224 |
| 137 | 2210 |
| 136 | 2192 |
| 135 | 2178 |
| 134 | 2160 |
| 133 | 2146 |
| 132 | 2128 |
| 131 | 2114 |
| 130 | 2096 |
| 129 | 2082 |
| 128 | 2064 |
| 127 | 2050 |
| 126 | 2032 |
| 125 | 2018 |
| 124 | 2000 |
| 123 | 1986 |
| 122 | 1968 |
| 121 | 1954 |
| 120 | 1936 |
| 119 | 1922 |
| 118 | 1904 |
| 117 | 1890 |
| 116 | 1872 |
| 115 | 1858 |
| 114 | 1840 |
| 113 | 1826 |
| 112 | 1808 |
| 111 | 1794 |
| 110 | 1776 |
| 109 | 1762 |
| 108 | 1744 |
| 107 | 1730 |
| 106 | 1712 |
| 105 | 1698 |
| 104 | 1680 |
| 103 | 1666 |
| 102 | 1648 |
| 101 | 1634 |
| 100 | 1616 |
| 99 | 1602 |
| 98 | 1584 |
| 97 | 1570 |
| 96 | 1552 |
| 95 | 1538 |
| 94 | 1520 |
| 93 | 1506 |
| 92 | 1488 |
| 91 | 1474 |
| 90 | 1456 |
| 89 | 1442 |
| 88 | 1424 |
| 87 | 1410 |
| 86 | 1392 |
| 85 | 1378 |
| 84 | 1360 |
| 83 | 1346 |
| 82 | 1328 |
| 81 | 1314 |
| 80 | 1296 |
| 79 | 1282 |
| 78 | 1264 |
| 77 | 1250 |
| 76 | 1232 |
| 75 | 1218 |
| 74 | 1200 |
| 73 | 1186 |
| 72 | 1168 |
| 71 | 1154 |
| 70 | 1136 |
| 69 | 1122 |
| 68 | 1104 |
| 67 | 1090 |
| 66 | 1072 |
| 65 | 1058 |
| 64 | 1040 |
| 63 | 1026 |
| 62 | 1008 |
| 61 | 994 |
| 60 | 976 |
| 59 | 962 |
| 58 | 944 |
| 57 | 930 |
| 56 | 912 |
| 55 | 898 |
| 54 | 880 |
| 53 | 866 |
| 52 | 848 |
| 51 | 834 |
| 50 | 816 |
| 49 | 802 |
| 48 | 784 |
| 47 | 770 |
| 46 | 752 |
| 45 | 738 |
| 44 | 720 |
| 43 | 706 |
| 42 | 688 |
| 41 | 674 |
| 40 | 656 |
| 39 | 642 |
| 38 | 624 |
| 37 | 610 |
| 36 | 592 |
| 35 | 578 |
| 34 | 560 |
| 33 | 546 |
| 32 | 528 |
| 31 | 514 |
| 30 | 496 |
| 29 | 482 |
| 28 | 464 |
| 27 | 450 |
| 26 | 432 |
| 25 | 418 |
| 24 | 400 |
| 23 | 386 |
| 22 | 368 |
| 21 | 354 |
| 20 | 336 |
| 19 | 322 |
| 18 | 304 |
| 17 | 290 |
| 16 | 272 |
| 15 | 258 |
| 14 | 240 |
| 13 | 226 |
| 12 | 208 |
| 11 | 194 |
| 10 | 176 |
| 9 | 162 |
| 8 | 144 |
| 7 | 120 |
| 6 | 94 |
| 5 | 74 |
| 4 | 31 |
| 3 | 18 |
| 2 | 12 |
| 1 | 7 |
| 0 | 3 |
1 alts after pruning (1 fresh and 0 done)
Merged error: 0b
| Iter | Nodes |
|---|---|
| done | 0 |
| 0 | 0 |
1 alts after pruning (0 fresh and 1 done)
Merged error: 0b
| Iter | Nodes |
|---|---|
| done | 2 |
| 0 | 2 |
| 144.0ms | 8000× | body | 80 | valid |
| 141.0ms | 8000× | pre | 80 | true |