vm.fail
Alpha equivalence checker for arbitrary lambda terms
1{
2 "nim": {
3 "named": {
4 "apps-small": {
5 "alpha_us": 54,
6 "norm_us": 23,
7 "traversals": 242,
8 "max_depth": 60,
9 "mem_delta_bytes": 20512
10 },
11 "bigsubst-large": {
12 "alpha_us": 16151,
13 "norm_us": 8118,
14 "traversals": 4042,
15 "max_depth": 1020,
16 "mem_delta_bytes": 57376
17 },
18 "allbinders-large-a": {
19 "alpha_us": 44668,
20 "norm_us": 3819,
21 "traversals": 2002,
22 "max_depth": 1000,
23 "mem_delta_bytes": 40992
24 },
25 "shadow-small": {
26 "alpha_us": 90,
27 "norm_us": 15,
28 "traversals": 122,
29 "max_depth": 60,
30 "mem_delta_bytes": 20512
31 },
32 "allbinders-medium-b": {
33 "alpha_us": 3185,
34 "norm_us": 224,
35 "traversals": 502,
36 "max_depth": 250,
37 "mem_delta_bytes": 20512
38 },
39 "shadow-large": {
40 "alpha_us": 10151,
41 "norm_us": 4082,
42 "traversals": 2002,
43 "max_depth": 1000,
44 "mem_delta_bytes": 40992
45 },
46 "shift-large": {
47 "alpha_us": 7705,
48 "norm_us": 4495,
49 "traversals": 242,
50 "max_depth": 120,
51 "mem_delta_bytes": 20512
52 },
53 "shift-small": {
54 "alpha_us": 149,
55 "norm_us": 60,
56 "traversals": 26,
57 "max_depth": 12,
58 "mem_delta_bytes": 20512
59 },
60 "bigsubst-small": {
61 "alpha_us": 469,
62 "norm_us": 215,
63 "traversals": 282,
64 "max_depth": 80,
65 "mem_delta_bytes": 20512
66 },
67 "allbinders-small-a": {
68 "alpha_us": 246,
69 "norm_us": 31,
70 "traversals": 122,
71 "max_depth": 60,
72 "mem_delta_bytes": 20512
73 },
74 "apps-large": {
75 "alpha_us": 14863,
76 "norm_us": 6174,
77 "traversals": 4002,
78 "max_depth": 1000,
79 "mem_delta_bytes": 57376
80 },
81 "chain-large": {
82 "alpha_us": 10487,
83 "norm_us": 3928,
84 "traversals": 2002,
85 "max_depth": 1000,
86 "mem_delta_bytes": 40992
87 },
88 "leaves-small-b": {
89 "alpha_us": 6122,
90 "norm_us": 2766,
91 "traversals": 5554,
92 "max_depth": 120,
93 "mem_delta_bytes": 20512
94 },
95 "leaves-medium-a": {
96 "alpha_us": 243702,
97 "norm_us": 124508,
98 "traversals": 94379,
99 "max_depth": 500,
100 "mem_delta_bytes": 28704
101 },
102 "leaves-large-a": {
103 "alpha_us": 12786392,
104 "norm_us": 6283347,
105 "traversals": 1502504,
106 "max_depth": 2000,
107 "mem_delta_bytes": 127008
108 },
109 "bigsubst-medium": {
110 "alpha_us": 1631,
111 "norm_us": 820,
112 "traversals": 1042,
113 "max_depth": 270,
114 "mem_delta_bytes": 20512
115 },
116 "fv-small": {
117 "alpha_us": 52,
118 "norm_us": 23,
119 "traversals": 242,
120 "max_depth": 60,
121 "mem_delta_bytes": 20512
122 },
123 "leaves-large-b": {
124 "alpha_us": 13076700,
125 "norm_us": 7037531,
126 "traversals": 1502504,
127 "max_depth": 2000,
128 "mem_delta_bytes": 86048
129 },
130 "chain-medium": {
131 "alpha_us": 1077,
132 "norm_us": 298,
133 "traversals": 502,
134 "max_depth": 250,
135 "mem_delta_bytes": 20512
136 },
137 "allbinders-small-b": {
138 "alpha_us": 177,
139 "norm_us": 17,
140 "traversals": 122,
141 "max_depth": 60,
142 "mem_delta_bytes": 20512
143 },
144 "leaves-small-a": {
145 "alpha_us": 5721,
146 "norm_us": 2990,
147 "traversals": 5554,
148 "max_depth": 120,
149 "mem_delta_bytes": 20512
150 },
151 "fv-medium": {
152 "alpha_us": 742,
153 "norm_us": 422,
154 "traversals": 1002,
155 "max_depth": 250,
156 "mem_delta_bytes": 20512
157 },
158 "apps-medium": {
159 "alpha_us": 713,
160 "norm_us": 346,
161 "traversals": 1002,
162 "max_depth": 250,
163 "mem_delta_bytes": 20512
164 },
165 "allbinders-medium-a": {
166 "alpha_us": 2232,
167 "norm_us": 252,
168 "traversals": 502,
169 "max_depth": 250,
170 "mem_delta_bytes": 20512
171 },
172 "shadow-medium": {
173 "alpha_us": 842,
174 "norm_us": 238,
175 "traversals": 502,
176 "max_depth": 250,
177 "mem_delta_bytes": 20512
178 },
179 "fv-large": {
180 "alpha_us": 14043,
181 "norm_us": 7361,
182 "traversals": 4002,
183 "max_depth": 1000,
184 "mem_delta_bytes": 57376
185 },
186 "shift-medium": {
187 "alpha_us": 998,
188 "norm_us": 446,
189 "traversals": 102,
190 "max_depth": 50,
191 "mem_delta_bytes": 20512
192 },
193 "leaves-medium-b": {
194 "alpha_us": 223423,
195 "norm_us": 106415,
196 "traversals": 94379,
197 "max_depth": 500,
198 "mem_delta_bytes": 28704
199 },
200 "chain-small": {
201 "alpha_us": 125,
202 "norm_us": 17,
203 "traversals": 122,
204 "max_depth": 60,
205 "mem_delta_bytes": 20512
206 },
207 "allbinders-large-b": {
208 "alpha_us": 73724,
209 "norm_us": 4901,
210 "traversals": 2002,
211 "max_depth": 1000,
212 "mem_delta_bytes": 40992
213 }
214 },
215 "debruijn": {
216 "apps-small": {
217 "alpha_us": 50,
218 "norm_us": 24,
219 "traversals": 242,
220 "max_depth": 60,
221 "mem_delta_bytes": 20512
222 },
223 "bigsubst-large": {
224 "alpha_us": 16816,
225 "norm_us": 8628,
226 "traversals": 4042,
227 "max_depth": 1020,
228 "mem_delta_bytes": 86048
229 },
230 "allbinders-large-a": {
231 "alpha_us": 36805,
232 "norm_us": 18262,
233 "traversals": 2002,
234 "max_depth": 1000,
235 "mem_delta_bytes": 40992
236 },
237 "shadow-small": {
238 "alpha_us": 132,
239 "norm_us": 57,
240 "traversals": 122,
241 "max_depth": 60,
242 "mem_delta_bytes": 20512
243 },
244 "allbinders-medium-b": {
245 "alpha_us": 2086,
246 "norm_us": 932,
247 "traversals": 502,
248 "max_depth": 250,
249 "mem_delta_bytes": 20512
250 },
251 "shadow-large": {
252 "alpha_us": 39568,
253 "norm_us": 19433,
254 "traversals": 2002,
255 "max_depth": 1000,
256 "mem_delta_bytes": 40992
257 },
258 "shift-large": {
259 "alpha_us": 3179,
260 "norm_us": 1717,
261 "traversals": 242,
262 "max_depth": 120,
263 "mem_delta_bytes": 20512
264 },
265 "shift-small": {
266 "alpha_us": 115,
267 "norm_us": 52,
268 "traversals": 26,
269 "max_depth": 12,
270 "mem_delta_bytes": 20512
271 },
272 "bigsubst-small": {
273 "alpha_us": 264,
274 "norm_us": 164,
275 "traversals": 282,
276 "max_depth": 80,
277 "mem_delta_bytes": 20512
278 },
279 "allbinders-small-a": {
280 "alpha_us": 121,
281 "norm_us": 58,
282 "traversals": 122,
283 "max_depth": 60,
284 "mem_delta_bytes": 20512
285 },
286 "apps-large": {
287 "alpha_us": 13560,
288 "norm_us": 7313,
289 "traversals": 4002,
290 "max_depth": 1000,
291 "mem_delta_bytes": 86048
292 },
293 "chain-large": {
294 "alpha_us": 49559,
295 "norm_us": 29578,
296 "traversals": 2002,
297 "max_depth": 1000,
298 "mem_delta_bytes": 40992
299 },
300 "leaves-small-b": {
301 "alpha_us": 803,
302 "norm_us": 473,
303 "traversals": 5554,
304 "max_depth": 120,
305 "mem_delta_bytes": 20512
306 },
307 "leaves-medium-a": {
308 "alpha_us": 17306,
309 "norm_us": 5516,
310 "traversals": 94379,
311 "max_depth": 500,
312 "mem_delta_bytes": 57376
313 },
314 "leaves-large-a": {
315 "alpha_us": 155351,
316 "norm_us": 84396,
317 "traversals": 1502504,
318 "max_depth": 2000,
319 "mem_delta_bytes": 188448
320 },
321 "bigsubst-medium": {
322 "alpha_us": 1882,
323 "norm_us": 906,
324 "traversals": 1042,
325 "max_depth": 270,
326 "mem_delta_bytes": 28704
327 },
328 "fv-small": {
329 "alpha_us": 54,
330 "norm_us": 26,
331 "traversals": 242,
332 "max_depth": 60,
333 "mem_delta_bytes": 20512
334 },
335 "leaves-large-b": {
336 "alpha_us": 181925,
337 "norm_us": 103156,
338 "traversals": 1502504,
339 "max_depth": 2000,
340 "mem_delta_bytes": 188448
341 },
342 "chain-medium": {
343 "alpha_us": 3107,
344 "norm_us": 1276,
345 "traversals": 502,
346 "max_depth": 250,
347 "mem_delta_bytes": 20512
348 },
349 "allbinders-small-b": {
350 "alpha_us": 238,
351 "norm_us": 117,
352 "traversals": 122,
353 "max_depth": 60,
354 "mem_delta_bytes": 20512
355 },
356 "leaves-small-a": {
357 "alpha_us": 519,
358 "norm_us": 299,
359 "traversals": 5554,
360 "max_depth": 120,
361 "mem_delta_bytes": 20512
362 },
363 "fv-medium": {
364 "alpha_us": 967,
365 "norm_us": 440,
366 "traversals": 1002,
367 "max_depth": 250,
368 "mem_delta_bytes": 20512
369 },
370 "apps-medium": {
371 "alpha_us": 800,
372 "norm_us": 388,
373 "traversals": 1002,
374 "max_depth": 250,
375 "mem_delta_bytes": 20512
376 },
377 "allbinders-medium-a": {
378 "alpha_us": 2361,
379 "norm_us": 1098,
380 "traversals": 502,
381 "max_depth": 250,
382 "mem_delta_bytes": 20512
383 },
384 "shadow-medium": {
385 "alpha_us": 2177,
386 "norm_us": 1086,
387 "traversals": 502,
388 "max_depth": 250,
389 "mem_delta_bytes": 20512
390 },
391 "fv-large": {
392 "alpha_us": 20497,
393 "norm_us": 9974,
394 "traversals": 4002,
395 "max_depth": 1000,
396 "mem_delta_bytes": 86048
397 },
398 "shift-medium": {
399 "alpha_us": 863,
400 "norm_us": 380,
401 "traversals": 102,
402 "max_depth": 50,
403 "mem_delta_bytes": 20512
404 },
405 "leaves-medium-b": {
406 "alpha_us": 12446,
407 "norm_us": 6590,
408 "traversals": 94379,
409 "max_depth": 500,
410 "mem_delta_bytes": 57376
411 },
412 "chain-small": {
413 "alpha_us": 350,
414 "norm_us": 86,
415 "traversals": 122,
416 "max_depth": 60,
417 "mem_delta_bytes": 20512
418 },
419 "allbinders-large-b": {
420 "alpha_us": 38270,
421 "norm_us": 19381,
422 "traversals": 2002,
423 "max_depth": 1000,
424 "mem_delta_bytes": 40992
425 }
426 },
427 "ln": {
428 "apps-small": {
429 "alpha_us": 64,
430 "norm_us": 37,
431 "traversals": 242,
432 "max_depth": 60,
433 "mem_delta_bytes": 20512
434 },
435 "bigsubst-large": {
436 "alpha_us": 26387,
437 "norm_us": 13213,
438 "traversals": 4042,
439 "max_depth": 1020,
440 "mem_delta_bytes": 86048
441 },
442 "allbinders-large-a": {
443 "alpha_us": 41773,
444 "norm_us": 20839,
445 "traversals": 2002,
446 "max_depth": 1000,
447 "mem_delta_bytes": 40992
448 },
449 "shadow-small": {
450 "alpha_us": 197,
451 "norm_us": 86,
452 "traversals": 122,
453 "max_depth": 60,
454 "mem_delta_bytes": 20512
455 },
456 "allbinders-medium-b": {
457 "alpha_us": 3047,
458 "norm_us": 2242,
459 "traversals": 502,
460 "max_depth": 250,
461 "mem_delta_bytes": 20512
462 },
463 "shadow-large": {
464 "alpha_us": 51818,
465 "norm_us": 27772,
466 "traversals": 2002,
467 "max_depth": 1000,
468 "mem_delta_bytes": 40992
469 },
470 "shift-large": {
471 "alpha_us": 6627,
472 "norm_us": 3174,
473 "traversals": 242,
474 "max_depth": 120,
475 "mem_delta_bytes": 20512
476 },
477 "shift-small": {
478 "alpha_us": 115,
479 "norm_us": 71,
480 "traversals": 26,
481 "max_depth": 12,
482 "mem_delta_bytes": 20512
483 },
484 "bigsubst-small": {
485 "alpha_us": 393,
486 "norm_us": 174,
487 "traversals": 282,
488 "max_depth": 80,
489 "mem_delta_bytes": 20512
490 },
491 "allbinders-small-a": {
492 "alpha_us": 330,
493 "norm_us": 121,
494 "traversals": 122,
495 "max_depth": 60,
496 "mem_delta_bytes": 20512
497 },
498 "apps-large": {
499 "alpha_us": 23713,
500 "norm_us": 10474,
501 "traversals": 4002,
502 "max_depth": 1000,
503 "mem_delta_bytes": 86048
504 },
505 "chain-large": {
506 "alpha_us": 39877,
507 "norm_us": 19771,
508 "traversals": 2002,
509 "max_depth": 1000,
510 "mem_delta_bytes": 40992
511 },
512 "leaves-small-b": {
513 "alpha_us": 536,
514 "norm_us": 270,
515 "traversals": 5554,
516 "max_depth": 120,
517 "mem_delta_bytes": 20512
518 },
519 "leaves-medium-a": {
520 "alpha_us": 10362,
521 "norm_us": 5878,
522 "traversals": 94379,
523 "max_depth": 500,
524 "mem_delta_bytes": 57376
525 },
526 "leaves-large-a": {
527 "alpha_us": 177485,
528 "norm_us": 107127,
529 "traversals": 1502504,
530 "max_depth": 2000,
531 "mem_delta_bytes": 188448
532 },
533 "bigsubst-medium": {
534 "alpha_us": 1932,
535 "norm_us": 1039,
536 "traversals": 1042,
537 "max_depth": 270,
538 "mem_delta_bytes": 28704
539 },
540 "fv-small": {
541 "alpha_us": 58,
542 "norm_us": 27,
543 "traversals": 242,
544 "max_depth": 60,
545 "mem_delta_bytes": 20512
546 },
547 "leaves-large-b": {
548 "alpha_us": 237058,
549 "norm_us": 134837,
550 "traversals": 1502504,
551 "max_depth": 2000,
552 "mem_delta_bytes": 188448
553 },
554 "chain-medium": {
555 "alpha_us": 3255,
556 "norm_us": 1795,
557 "traversals": 502,
558 "max_depth": 250,
559 "mem_delta_bytes": 20512
560 },
561 "allbinders-small-b": {
562 "alpha_us": 189,
563 "norm_us": 94,
564 "traversals": 122,
565 "max_depth": 60,
566 "mem_delta_bytes": 20512
567 },
568 "leaves-small-a": {
569 "alpha_us": 545,
570 "norm_us": 289,
571 "traversals": 5554,
572 "max_depth": 120,
573 "mem_delta_bytes": 20512
574 },
575 "fv-medium": {
576 "alpha_us": 1143,
577 "norm_us": 622,
578 "traversals": 1002,
579 "max_depth": 250,
580 "mem_delta_bytes": 20512
581 },
582 "apps-medium": {
583 "alpha_us": 912,
584 "norm_us": 421,
585 "traversals": 1002,
586 "max_depth": 250,
587 "mem_delta_bytes": 20512
588 },
589 "allbinders-medium-a": {
590 "alpha_us": 3413,
591 "norm_us": 1354,
592 "traversals": 502,
593 "max_depth": 250,
594 "mem_delta_bytes": 20512
595 },
596 "shadow-medium": {
597 "alpha_us": 3027,
598 "norm_us": 1354,
599 "traversals": 502,
600 "max_depth": 250,
601 "mem_delta_bytes": 20512
602 },
603 "fv-large": {
604 "alpha_us": 22761,
605 "norm_us": 10327,
606 "traversals": 4002,
607 "max_depth": 1000,
608 "mem_delta_bytes": 86048
609 },
610 "shift-medium": {
611 "alpha_us": 815,
612 "norm_us": 393,
613 "traversals": 102,
614 "max_depth": 50,
615 "mem_delta_bytes": 20512
616 },
617 "leaves-medium-b": {
618 "alpha_us": 12151,
619 "norm_us": 6571,
620 "traversals": 94379,
621 "max_depth": 500,
622 "mem_delta_bytes": 57376
623 },
624 "chain-small": {
625 "alpha_us": 265,
626 "norm_us": 80,
627 "traversals": 122,
628 "max_depth": 60,
629 "mem_delta_bytes": 20512
630 },
631 "allbinders-large-b": {
632 "alpha_us": 40879,
633 "norm_us": 22422,
634 "traversals": 2002,
635 "max_depth": 1000,
636 "mem_delta_bytes": 40992
637 }
638 },
639 "subst": {
640 "apps-small": {
641 "alpha_us": 130,
642 "norm_us": 7,
643 "traversals": 242,
644 "max_depth": 60,
645 "mem_delta_bytes": 20512
646 },
647 "bigsubst-large": {
648 "alpha_us": 21639,
649 "norm_us": 2008,
650 "traversals": 6065,
651 "max_depth": 1020,
652 "mem_delta_bytes": 286752
653 },
654 "allbinders-large-a": {
655 "alpha_us": 36450,
656 "norm_us": 214,
657 "traversals": 2002,
658 "max_depth": 1000,
659 "mem_delta_bytes": 127008
660 },
661 "shadow-small": {
662 "alpha_us": 115,
663 "norm_us": 5,
664 "traversals": 122,
665 "max_depth": 60,
666 "mem_delta_bytes": 20512
667 },
668 "allbinders-medium-b": {
669 "alpha_us": 4194,
670 "norm_us": 37,
671 "traversals": 502,
672 "max_depth": 250,
673 "mem_delta_bytes": 28704
674 },
675 "shadow-large": {
676 "alpha_us": 12594,
677 "norm_us": 180,
678 "traversals": 2002,
679 "max_depth": 1000,
680 "mem_delta_bytes": 127008
681 },
682 "shift-large": {
683 "alpha_us": 1684,
684 "norm_us": 506,
685 "traversals": 603,
686 "max_depth": 240,
687 "mem_delta_bytes": 28704
688 },
689 "shift-small": {
690 "alpha_us": 74,
691 "norm_us": 41,
692 "traversals": 63,
693 "max_depth": 24,
694 "mem_delta_bytes": 20512
695 },
696 "bigsubst-small": {
697 "alpha_us": 344,
698 "norm_us": 93,
699 "traversals": 425,
700 "max_depth": 80,
701 "mem_delta_bytes": 20512
702 },
703 "allbinders-small-a": {
704 "alpha_us": 314,
705 "norm_us": 7,
706 "traversals": 122,
707 "max_depth": 60,
708 "mem_delta_bytes": 20512
709 },
710 "apps-large": {
711 "alpha_us": 18811,
712 "norm_us": 170,
713 "traversals": 4002,
714 "max_depth": 1000,
715 "mem_delta_bytes": 188448
716 },
717 "chain-large": {
718 "alpha_us": 14905,
719 "norm_us": 204,
720 "traversals": 2002,
721 "max_depth": 1000,
722 "mem_delta_bytes": 127008
723 },
724 "leaves-small-b": {
725 "alpha_us": 75,
726 "norm_us": 32,
727 "traversals": 189,
728 "max_depth": 120,
729 "mem_delta_bytes": 20512
730 },
731 "leaves-medium-a": {
732 "alpha_us": 293,
733 "norm_us": 158,
734 "traversals": 759,
735 "max_depth": 500,
736 "mem_delta_bytes": 28704
737 },
738 "leaves-large-a": {
739 "alpha_us": 2307,
740 "norm_us": 758,
741 "traversals": 3009,
742 "max_depth": 2000,
743 "mem_delta_bytes": 127008
744 },
745 "bigsubst-medium": {
746 "alpha_us": 2550,
747 "norm_us": 440,
748 "traversals": 1565,
749 "max_depth": 270,
750 "mem_delta_bytes": 57376
751 },
752 "fv-small": {
753 "alpha_us": 93,
754 "norm_us": 21,
755 "traversals": 242,
756 "max_depth": 60,
757 "mem_delta_bytes": 20512
758 },
759 "leaves-large-b": {
760 "alpha_us": 3229,
761 "norm_us": 1089,
762 "traversals": 3009,
763 "max_depth": 2000,
764 "mem_delta_bytes": 127008
765 },
766 "chain-medium": {
767 "alpha_us": 4177,
768 "norm_us": 65,
769 "traversals": 502,
770 "max_depth": 250,
771 "mem_delta_bytes": 28704
772 },
773 "allbinders-small-b": {
774 "alpha_us": 909,
775 "norm_us": 14,
776 "traversals": 122,
777 "max_depth": 60,
778 "mem_delta_bytes": 20512
779 },
780 "leaves-small-a": {
781 "alpha_us": 137,
782 "norm_us": 86,
783 "traversals": 189,
784 "max_depth": 120,
785 "mem_delta_bytes": 20512
786 },
787 "fv-medium": {
788 "alpha_us": 2312,
789 "norm_us": 75,
790 "traversals": 1002,
791 "max_depth": 250,
792 "mem_delta_bytes": 57376
793 },
794 "apps-medium": {
795 "alpha_us": 2159,
796 "norm_us": 80,
797 "traversals": 1002,
798 "max_depth": 250,
799 "mem_delta_bytes": 57376
800 },
801 "allbinders-medium-a": {
802 "alpha_us": 6288,
803 "norm_us": 62,
804 "traversals": 502,
805 "max_depth": 250,
806 "mem_delta_bytes": 28704
807 },
808 "shadow-medium": {
809 "alpha_us": 1478,
810 "norm_us": 34,
811 "traversals": 502,
812 "max_depth": 250,
813 "mem_delta_bytes": 28704
814 },
815 "fv-large": {
816 "alpha_us": 35673,
817 "norm_us": 444,
818 "traversals": 4002,
819 "max_depth": 1000,
820 "mem_delta_bytes": 188448
821 },
822 "shift-medium": {
823 "alpha_us": 897,
824 "norm_us": 282,
825 "traversals": 253,
826 "max_depth": 100,
827 "mem_delta_bytes": 20512
828 },
829 "leaves-medium-b": {
830 "alpha_us": 760,
831 "norm_us": 303,
832 "traversals": 759,
833 "max_depth": 500,
834 "mem_delta_bytes": 28704
835 },
836 "chain-small": {
837 "alpha_us": 905,
838 "norm_us": 67,
839 "traversals": 122,
840 "max_depth": 60,
841 "mem_delta_bytes": 20512
842 },
843 "allbinders-large-b": {
844 "alpha_us": 92922,
845 "norm_us": 173,
846 "traversals": 2002,
847 "max_depth": 1000,
848 "mem_delta_bytes": 127008
849 }
850 }
851 }
852}