Thu Oct 01 14:08 2009 Time and Allocation Profiling Report (Final) TestGen-DNF3 +RTS -p -RTS total time = 45.28 secs (2264 ticks @ 20 ms) total alloc = 16,867,198,908 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc rewriteMl Gen.Rules 20.9 18.7 match'_a1W3 Common.GuardedRewriting 14.7 1.9 match Common.GuardedRewriting 7.5 13.5 match'_a1Vb Common.GuardedRewriting 7.2 12.7 rewriteM Common.GuardedRewriting 6.7 14.2 one Common.Once 5.7 3.8 <|> Common.DNF 5.6 4.6 tick Common.DNF 4.7 0.0 from_aaXM Common.Logic 4.7 12.4 arbLogic Common.LogicGenerator 3.9 5.0 somewhere Common.Once 3.3 2.1 alternatives Common.DNF 2.9 0.0 subst'_a1TI Common.GuardedRewriting 1.6 3.0 +++ Common.GuardedRewriting 1.5 1.4 rewriteM' Common.GuardedRewriting 1.1 0.0 subst'_a1SP Common.GuardedRewriting 0.7 1.3 counting Common.DNF 0.3 1.1 individual inherited COST CENTRE MODULE no. entries %time %alloc %time %alloc MAIN MAIN 1 0 0.0 0.0 100.0 100.0 CAF Gen.DNF3.Test 230 5 0.0 0.0 95.2 93.9 nr Gen.DNF3.Test 237 1 0.0 0.0 0.0 0.0 main Gen.DNF3.Test 236 1 0.0 0.0 95.2 93.9 isDNF Common.Logic 472 0 0.1 0.1 0.2 0.2 isAtomic Common.Logic 748 272153 0.0 0.0 0.0 0.0 conjunctions Common.Logic 747 436765 0.1 0.1 0.1 0.1 disjunctions Common.Logic 473 199843 0.0 0.0 0.0 0.0 runStrategy Common.DNF 243 50000 0.0 0.0 0.0 0.0 dnf Gen.DNF3.Test 242 50000 0.0 0.0 94.9 93.7 dnf3 Common.DNF 474 0 0.0 0.0 94.9 93.7 somewhere Common.DNF 731 0 0.0 0.0 7.1 4.6 once Common.Once 732 193637 0.0 0.0 7.1 4.6 somewhere Common.Once 733 7866463 3.2 2.1 7.1 4.6 one Common.Once 744 7722825 3.9 2.5 3.9 2.5 alternatives Common.DNF 581 0 2.2 0.0 54.2 54.7 <|> Common.DNF 582 13920668 3.7 2.7 52.0 54.7 disRules Common.DNF 734 0 0.3 0.0 33.0 37.3 tick Common.DNF 735 7866463 1.9 0.0 32.7 37.3 makeRuleList Gen.Rules 737 0 0.0 0.0 30.7 36.9 synthesise' Common.GuardedRewriting 770 0 0.0 0.0 0.3 0.2 synthesise_a1GC Common.GuardedRewriting 771 0 0.3 0.2 0.3 0.2 ruleAndOverOr Gen.Rules 848 0 0.0 0.0 0.0 0.0 |- Gen.Rules 849 2002 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 851 2002 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 850 2002 0.0 0.0 0.0 0.0 |- Gen.Rules 773 77860 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 775 77860 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 774 77860 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 772 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 738 0 7.5 6.9 30.4 36.7 rewriteM' Common.GuardedRewriting 739 15669151 0.4 0.0 23.0 29.7 rewriteM Common.GuardedRewriting 740 15669151 2.8 5.6 22.6 29.7 synthesise_a1GC Common.GuardedRewriting 813 0 0.1 0.2 0.1 0.2 ruleAndOverOr Gen.Rules 923 0 0.0 0.0 0.0 0.0 |- Gen.Rules 924 948 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 926 948 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 925 948 0.0 0.0 0.0 0.0 |- Gen.Rules 815 62805 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 817 62805 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 816 62805 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 814 0 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 768 430911 0.1 0.0 0.1 0.0 synthesise_a1GC Common.GuardedRewriting 947 0 0.0 0.0 0.0 0.0 |- Gen.Rules 949 21 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 951 21 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 950 21 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 948 0 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 769 143637 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 762 1005466 0.5 0.4 2.0 2.7 to_aaXQ Common.Logic 776 215109 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 765 574552 0.2 0.2 0.4 0.2 !!! Common.GuardedRewriting 766 1165192 0.2 0.0 0.2 0.0 subst'_a1TI Common.GuardedRewriting 763 1867294 0.6 1.2 1.0 2.1 subst'_a1SP Common.GuardedRewriting 764 861828 0.4 0.8 0.4 0.8 subst'_a1Sh Common.GuardedRewriting 767 430914 0.1 0.0 0.1 0.0 match Common.GuardedRewriting 741 23463788 3.4 6.0 17.6 21.2 singleton Common.GuardedRewriting 746 430914 0.0 0.3 0.0 0.5 update Common.GuardedRewriting 761 861828 0.0 0.2 0.0 0.2 from_aaXM Common.Logic 743 20599558 2.6 5.3 2.6 5.3 match'_a1W3 Common.GuardedRewriting 742 60050086 6.2 0.7 11.7 9.4 match'_a1Vb Common.GuardedRewriting 745 7794637 4.6 7.8 5.5 8.7 +++ Common.GuardedRewriting 760 2298208 0.8 0.9 0.8 0.9 match'_a1Ut Common.GuardedRewriting 759 287276 0.0 0.0 0.0 0.0 counting Common.DNF 736 7866463 0.0 0.4 0.0 0.4 notRules Common.DNF 619 0 0.6 0.0 11.4 10.6 makeRule Gen.Rules 630 0 0.0 0.0 2.8 2.9 makeRuleList Gen.Rules 631 0 0.0 0.0 2.8 2.9 synthesise' Common.GuardedRewriting 705 0 0.0 0.0 0.2 0.0 synthesise_a1GC Common.GuardedRewriting 706 0 0.1 0.0 0.2 0.0 ruleNotNot Gen.Rules 708 0 0.0 0.0 0.1 0.0 |- Gen.Rules 709 56606 0.0 0.0 0.1 0.0 +-> Common.GuardedRewriting 711 56606 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 710 56606 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 707 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 632 0 1.1 0.9 2.6 2.8 rewriteM' Common.GuardedRewriting 633 1407113 0.0 0.0 1.5 1.9 rewriteM Common.GuardedRewriting 634 1407113 0.3 0.5 1.4 1.9 subst Common.GuardedRewriting 665 56607 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 666 56607 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 667 56607 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 663 56607 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 664 56607 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 635 1758540 0.2 0.5 1.1 1.4 singleton Common.GuardedRewriting 659 56607 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 662 56607 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 637 1701933 0.0 0.4 0.0 0.4 match'_a1W3 Common.GuardedRewriting 636 5625738 0.6 0.1 0.8 0.5 match'_a1Vb Common.GuardedRewriting 658 351427 0.2 0.4 0.2 0.4 +++ Common.GuardedRewriting 661 226428 0.0 0.1 0.0 0.1 match'_a1Ut Common.GuardedRewriting 660 113214 0.0 0.0 0.0 0.0 tick Common.DNF 620 4334441 0.8 0.0 8.0 7.7 makeRule Gen.Rules 622 0 0.0 0.0 7.1 7.5 makeRuleList Gen.Rules 623 0 0.0 0.0 7.1 7.5 synthesise' Common.GuardedRewriting 651 0 0.0 0.0 0.1 0.1 synthesise_a1GC Common.GuardedRewriting 652 0 0.1 0.1 0.1 0.1 ruleDeMorganAnd Gen.Rules 935 0 0.0 0.0 0.0 0.0 |- Gen.Rules 936 495 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 938 495 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 937 495 0.0 0.0 0.0 0.0 ruleDeMorganOr Gen.Rules 927 0 0.0 0.0 0.0 0.0 |- Gen.Rules 928 1412 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 930 1412 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 929 1412 0.0 0.0 0.0 0.0 |- Gen.Rules 654 70279 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 656 70279 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 655 70279 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 653 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 624 0 2.3 1.8 7.0 7.4 rewriteM' Common.GuardedRewriting 625 2927328 0.0 0.0 4.7 5.6 rewriteM Common.GuardedRewriting 626 2927328 0.5 1.1 4.7 5.6 subst Common.GuardedRewriting 645 360940 0.1 0.2 0.9 1.3 to_aaXQ Common.Logic 657 108276 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 648 144376 0.1 0.0 0.1 0.0 !!! Common.GuardedRewriting 649 216564 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 646 1186282 0.4 0.8 0.6 1.1 subst'_a1SP Common.GuardedRewriting 647 288752 0.1 0.3 0.2 0.3 subst'_a1Sh Common.GuardedRewriting 650 216564 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 643 144376 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 644 72188 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 627 3774446 0.5 1.0 3.3 3.2 singleton Common.GuardedRewriting 639 144376 0.0 0.0 0.0 0.1 update Common.GuardedRewriting 642 216564 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 629 3630070 0.4 0.9 0.4 0.9 match'_a1W3 Common.GuardedRewriting 628 12253589 1.8 0.1 2.4 1.2 match'_a1Vb Common.GuardedRewriting 638 847118 0.5 0.9 0.7 1.1 +++ Common.GuardedRewriting 641 649692 0.2 0.2 0.2 0.2 match'_a1Ut Common.GuardedRewriting 640 144376 0.0 0.0 0.0 0.0 counting Common.DNF 621 4334441 0.1 0.2 0.1 0.2 defRules Common.DNF 583 0 0.1 0.0 3.9 4.1 tick Common.DNF 584 1719764 0.3 0.0 3.8 4.1 makeRule Gen.Rules 586 0 0.0 0.0 3.5 4.0 makeRuleList Gen.Rules 587 0 0.0 0.0 3.5 4.0 synthesise' Common.GuardedRewriting 777 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 778 0 0.0 0.0 0.0 0.0 ruleDefEquiv Gen.Rules 931 0 0.0 0.0 0.0 0.0 |- Gen.Rules 932 460 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 934 460 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 933 460 0.0 0.0 0.0 0.0 |- Gen.Rules 780 14663 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 782 14663 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 781 14663 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 779 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 588 0 1.4 1.1 3.5 4.0 rewriteM' Common.GuardedRewriting 589 1719764 0.1 0.0 2.2 2.9 rewriteM Common.GuardedRewriting 590 1719764 0.4 0.6 2.0 2.9 synthesise_a1GC Common.GuardedRewriting 609 0 0.1 0.1 0.1 0.1 ruleDefImpl Gen.Rules 879 0 0.0 0.0 0.0 0.0 |- Gen.Rules 880 490 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 882 490 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 881 490 0.0 0.0 0.0 0.0 |- Gen.Rules 611 38133 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 613 38133 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 612 38133 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 610 0 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 607 107502 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 952 0 0.0 0.0 0.0 0.0 |- Gen.Rules 954 4 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 956 4 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 955 4 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 953 0 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 608 53751 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 599 290625 0.1 0.1 0.6 0.9 to_aaXQ Common.Logic 618 76436 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 615 137750 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 616 206625 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 600 803002 0.2 0.5 0.4 0.8 subst'_a1SP Common.GuardedRewriting 614 236873 0.2 0.2 0.2 0.2 subst'_a1Sh Common.GuardedRewriting 617 152874 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 591 1827268 0.2 0.5 0.9 1.2 singleton Common.GuardedRewriting 595 107504 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 598 161256 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 593 1719764 0.3 0.4 0.3 0.4 match'_a1W3 Common.GuardedRewriting 592 3079801 0.3 0.1 0.4 0.3 match'_a1Vb Common.GuardedRewriting 594 107504 0.0 0.1 0.1 0.2 +++ Common.GuardedRewriting 597 322512 0.1 0.1 0.1 0.1 match'_a1Ut Common.GuardedRewriting 596 53752 0.0 0.0 0.0 0.0 counting Common.DNF 585 1719764 0.0 0.1 0.0 0.1 oneBU Common.Once 578 959574 0.3 0.2 0.6 0.4 one Common.Once 580 959574 0.3 0.3 0.3 0.3 +> Common.Once 579 959574 0.0 0.0 0.0 0.0 oneTD Common.Once 482 2546211 0.7 0.4 32.4 33.3 one Common.Once 511 2256363 1.4 0.9 1.4 0.9 alternatives Common.DNF 484 0 0.7 0.0 30.2 32.0 <|> Common.DNF 485 8856937 1.7 1.7 29.5 32.0 conRules Common.DNF 486 0 0.7 0.0 27.8 30.3 makeRuleList Gen.Rules 504 0 0.0 0.0 3.0 3.3 rewriteMl Gen.Rules 505 0 0.9 0.9 3.0 3.3 rewriteM' Common.GuardedRewriting 506 1937667 0.1 0.0 2.1 2.4 rewriteM Common.GuardedRewriting 507 1937667 0.1 0.7 2.0 2.4 subst Common.GuardedRewriting 867 27277 0.0 0.0 0.1 0.1 to_aaXQ Common.Logic 870 13638 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 868 190939 0.1 0.1 0.1 0.1 subst'_a1Sh Common.GuardedRewriting 869 27277 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 866 27277 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 508 2264228 0.4 0.6 1.8 1.6 from_aaXM Common.Logic 510 2264228 0.0 0.6 0.0 0.6 match'_a1W3 Common.GuardedRewriting 509 7414211 1.1 0.1 1.3 0.4 match'_a1Ut Common.GuardedRewriting 861 27277 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 512 326561 0.2 0.3 0.3 0.3 +++ Common.GuardedRewriting 865 27277 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 863 27277 0.0 0.0 0.0 0.0 tick Common.DNF 487 8856937 1.7 0.0 24.2 27.0 makeRuleList Gen.Rules 489 0 0.0 0.0 22.3 26.6 synthesise' Common.GuardedRewriting 528 0 0.0 0.0 0.1 0.1 synthesise_a1GC Common.GuardedRewriting 529 0 0.1 0.0 0.1 0.1 ruleTrueInEquiv Gen.Rules 919 0 0.0 0.0 0.0 0.0 |- Gen.Rules 920 6970 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 922 6970 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 921 6970 0.0 0.0 0.0 0.0 ruleTrueInImpl Gen.Rules 915 0 0.0 0.0 0.0 0.0 |- Gen.Rules 916 15978 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 918 15978 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 917 15978 0.0 0.0 0.0 0.0 ruleFalseInImpl Gen.Rules 890 0 0.0 0.0 0.0 0.0 |- Gen.Rules 891 14073 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 893 14073 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 892 14073 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 875 0 0.0 0.0 0.0 0.0 |- Gen.Rules 876 9981 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 878 9981 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 877 9981 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Gen.Rules 871 0 0.0 0.0 0.0 0.0 |- Gen.Rules 872 20285 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 874 20285 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 873 20285 0.0 0.0 0.0 0.0 ruleFalseInEquiv Gen.Rules 755 0 0.0 0.0 0.0 0.0 |- Gen.Rules 756 6216 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 758 6216 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 757 6216 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Gen.Rules 749 0 0.0 0.0 0.0 0.0 |- Gen.Rules 750 25083 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 752 25083 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 751 25083 0.0 0.0 0.0 0.0 ruleTrueZeroOr Gen.Rules 531 0 0.0 0.0 0.0 0.0 |- Gen.Rules 532 23743 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 534 23743 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 533 23743 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 530 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 490 0 7.6 6.9 22.2 26.5 rewriteM' Common.GuardedRewriting 491 15689123 0.4 0.0 14.5 19.6 rewriteM Common.GuardedRewriting 492 15689123 2.5 5.6 14.1 19.6 synthesise_a1GC Common.GuardedRewriting 884 0 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 886 0 0.0 0.0 0.0 0.0 |- Gen.Rules 887 11430 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 889 11430 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 888 11430 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 885 0 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 526 133775 0.2 0.0 0.2 0.0 synthesise_a1GC Common.GuardedRewriting 957 0 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 959 0 0.0 0.0 0.0 0.0 |- Gen.Rules 960 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 962 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 961 1 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 958 0 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 527 133775 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 523 146481 0.0 0.1 0.4 0.4 total Common.GuardedRewriting 538 74648 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 539 74648 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 537 35914 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 535 490119 0.3 0.3 0.4 0.3 subst'_a1SP Common.GuardedRewriting 753 12705 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 754 12705 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 536 59127 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 493 18722884 2.8 4.8 11.0 13.5 singleton Common.GuardedRewriting 503 133776 0.0 0.1 0.0 0.1 update Common.GuardedRewriting 518 133776 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 495 17687632 1.4 4.6 1.4 4.6 match'_a1W3 Common.GuardedRewriting 494 46135635 4.8 0.7 6.8 3.9 match'_a1Ut Common.GuardedRewriting 515 133776 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 502 3033761 1.6 3.0 2.1 3.2 +++ Common.GuardedRewriting 517 535104 0.4 0.1 0.4 0.1 match'_a1Ut Common.GuardedRewriting 516 133776 0.0 0.0 0.0 0.0 counting Common.DNF 488 8856937 0.2 0.4 0.2 0.4 +> Common.Once 483 2546211 0.1 0.0 0.1 0.0 repeat Common.DNF 476 0 0.0 0.0 0.6 0.7 many Common.DNF 478 0 0.0 0.0 0.4 0.5 <|> Common.DNF 479 449196 0.2 0.1 0.4 0.5 <*> Common.DNF 480 243493 0.2 0.3 0.2 0.3 <*> Common.DNF 477 201107 0.1 0.1 0.2 0.2 notS Common.DNF 481 443741 0.0 0.1 0.0 0.1 <*> Common.DNF 475 151760 0.1 0.1 0.1 0.1 CAF GHC.ConsoleHandler 228 2 0.0 0.0 0.0 0.0 CAF Data.Typeable 216 1 0.0 0.0 0.0 0.0 CAF GHC.Float 201 1 0.0 0.0 0.0 0.0 CAF GHC.Int 190 1 0.0 0.0 0.0 0.0 CAF Data.HashTable 181 2 0.0 0.0 0.0 0.0 CAF GHC.Handle 175 2 0.0 0.0 0.0 0.0 CAF Common.LogicGenerator 150 8 0.0 0.0 4.0 5.2 arbLogic Common.LogicGenerator 311 1 0.0 0.0 0.0 0.0 arbitrary_augZ Common.LogicGenerator 310 1 0.0 0.0 0.0 0.0 repeatM Common.LogicGenerator 239 1 0.1 0.2 4.0 5.2 arbitrary_augZ Common.LogicGenerator 496 0 0.0 0.0 3.9 5.0 arbLogic Common.LogicGenerator 497 0 3.9 5.0 3.9 5.0 formula Common.LogicGenerator 238 1 0.0 0.0 0.0 0.0 CAF Common.Logic 149 44 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 601 3 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 606 2 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 602 3 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 604 2 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 605 3 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 603 6 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 524 7 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 525 1 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 498 2 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 499 2 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 501 2 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 500 10 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 308 7 0.0 0.0 0.0 0.0 right'_a1PR Common.GuardedRewriting 301 1 0.0 0.0 0.0 0.0 left'_a1P2 Common.GuardedRewriting 297 3 0.0 0.0 0.0 0.0 left Common.GuardedRewriting 403 3 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 412 2 0.0 0.0 0.0 0.0 to_a22m Common.GuardedRewriting 404 1 0.0 0.0 0.0 0.0 left'_a1PK Common.GuardedRewriting 296 2 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 283 3 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 306 2 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 286 3 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 402 1 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 401 1 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 289 2 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 288 6 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 282 3 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 305 2 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 285 3 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 400 1 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 304 1 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 302 1 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 287 6 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 278 7 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 292 1 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 277 7 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 291 1 0.0 0.0 0.0 0.0 isDNF Common.Logic 240 1 0.0 0.0 0.0 0.0 isAtomic Common.Logic 471 1 0.0 0.0 0.0 0.0 conjunctions Common.Logic 470 1 0.0 0.0 0.0 0.0 disjunctions Common.Logic 241 1 0.0 0.0 0.0 0.0 CAF Common.GuardedRewriting 148 4 0.0 0.0 0.0 0.0 empty_a1XJ Common.GuardedRewriting 520 1 0.0 0.0 0.0 0.0 left'_a1Qo Common.GuardedRewriting 405 1 0.0 0.0 0.0 0.0 left'_a1OL Common.GuardedRewriting 298 1 0.0 0.0 0.0 0.0 CAF System.CPUTime 127 1 0.0 0.0 0.0 0.0 CAF Common.DNF 122 7 0.0 0.0 0.8 0.9 reportTick Common.DNF 963 1 0.0 0.0 0.0 0.0 disRules Common.DNF 458 1 0.0 0.0 0.0 0.0 tick Common.DNF 459 1 0.0 0.0 0.0 0.0 counting Common.DNF 460 1 0.0 0.0 0.0 0.0 notRules Common.DNF 441 1 0.0 0.0 0.0 0.0 tick Common.DNF 442 3 0.0 0.0 0.0 0.0 counting Common.DNF 443 3 0.0 0.0 0.0 0.0 defRules Common.DNF 383 1 0.0 0.0 0.0 0.0 tick Common.DNF 385 2 0.0 0.0 0.0 0.0 counting Common.DNF 386 2 0.0 0.0 0.0 0.0 conRules Common.DNF 255 1 0.0 0.0 0.0 0.0 tick Common.DNF 257 9 0.0 0.0 0.0 0.0 counting Common.DNF 258 9 0.0 0.0 0.0 0.0 alternatives Common.DNF 254 1 0.0 0.0 0.0 0.0 <|> Common.DNF 256 9 0.0 0.0 0.0 0.0 dnf3 Common.DNF 244 1 0.0 0.0 0.8 0.9 somewhere Common.DNF 455 1 0.0 0.0 0.1 0.1 once Common.Once 456 233 0.0 0.0 0.1 0.1 somewhere Common.Once 457 176371 0.0 0.0 0.1 0.1 one Common.Once 469 176139 0.1 0.1 0.1 0.1 alternatives Common.DNF 382 0 0.0 0.0 0.6 0.8 <|> Common.DNF 384 177301 0.0 0.0 0.6 0.8 disRules Common.DNF 818 0 0.0 0.0 0.5 0.8 tick Common.DNF 819 176370 0.0 0.0 0.5 0.8 makeRuleList Gen.Rules 821 0 0.0 0.0 0.5 0.7 synthesise' Common.GuardedRewriting 835 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 836 0 0.0 0.0 0.0 0.0 ruleAndOverOr Gen.Rules 857 0 0.0 0.0 0.0 0.0 |- Gen.Rules 858 3 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 860 3 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 859 3 0.0 0.0 0.0 0.0 |- Gen.Rules 838 100 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 840 100 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 839 100 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 837 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 822 0 0.1 0.2 0.5 0.7 rewriteM' Common.GuardedRewriting 823 352611 0.0 0.0 0.4 0.6 rewriteM Common.GuardedRewriting 824 352611 0.1 0.1 0.3 0.6 synthesise_a1GC Common.GuardedRewriting 852 0 0.0 0.0 0.0 0.0 ruleAndOverOr Gen.Rules 943 0 0.0 0.0 0.0 0.0 |- Gen.Rules 944 3 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 946 3 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 945 3 0.0 0.0 0.0 0.0 |- Gen.Rules 854 126 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 856 126 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 855 126 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 853 0 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 841 1624 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 847 696 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 844 928 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 845 1830 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 842 3016 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 843 1392 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 846 696 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 833 696 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 834 232 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 825 531297 0.0 0.1 0.2 0.5 singleton Common.GuardedRewriting 829 696 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 832 1392 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 827 471314 0.1 0.1 0.1 0.1 match'_a1W3 Common.GuardedRewriting 826 1368651 0.0 0.0 0.0 0.2 match'_a1Vb Common.GuardedRewriting 828 178686 0.0 0.2 0.0 0.2 +++ Common.GuardedRewriting 831 3712 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 830 464 0.0 0.0 0.0 0.0 counting Common.DNF 820 176370 0.0 0.0 0.0 0.0 defRules Common.DNF 783 0 0.0 0.0 0.0 0.0 tick Common.DNF 784 126 0.0 0.0 0.0 0.0 makeRule Gen.Rules 786 0 0.0 0.0 0.0 0.0 makeRuleList Gen.Rules 787 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 788 0 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 789 126 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 790 126 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 806 8 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 812 4 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 809 4 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 810 6 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 807 22 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 808 6 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 811 4 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 801 0 0.0 0.0 0.0 0.0 |- Gen.Rules 803 2 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 805 2 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 804 2 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 802 0 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 799 4 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 800 2 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 791 130 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 795 4 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 798 6 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 793 126 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 792 235 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 794 4 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 797 12 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 796 2 0.0 0.0 0.0 0.0 counting Common.DNF 785 126 0.0 0.0 0.0 0.0 notRules Common.DNF 668 0 0.0 0.0 0.0 0.0 makeRule Gen.Rules 679 0 0.0 0.0 0.0 0.0 makeRuleList Gen.Rules 680 0 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 695 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 696 0 0.0 0.0 0.0 0.0 ruleNotNot Gen.Rules 698 0 0.0 0.0 0.0 0.0 |- Gen.Rules 699 7 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 701 7 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 700 7 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 697 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 681 0 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 682 265 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 683 265 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 702 7 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 703 7 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 704 7 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 693 7 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 694 7 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 684 331 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 689 7 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 692 7 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 686 324 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 685 1033 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 688 66 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 691 28 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 690 14 0.0 0.0 0.0 0.0 tick Common.DNF 669 799 0.0 0.0 0.0 0.0 makeRule Gen.Rules 671 0 0.0 0.0 0.0 0.0 makeRuleList Gen.Rules 672 0 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 718 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 719 0 0.0 0.0 0.0 0.0 |- Gen.Rules 721 4 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 723 4 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 722 4 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 720 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 673 0 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 674 534 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 675 534 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 724 20 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 730 12 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 727 8 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 728 12 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 725 68 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 726 16 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 729 12 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 716 8 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 717 4 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 676 664 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 712 8 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 715 12 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 678 656 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 677 2085 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 687 130 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 714 36 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 713 8 0.0 0.0 0.0 0.0 counting Common.DNF 670 799 0.0 0.0 0.0 0.0 oneBU Common.Once 379 69 0.0 0.0 0.0 0.0 one Common.Once 381 69 0.0 0.0 0.0 0.0 +> Common.Once 380 69 0.0 0.0 0.0 0.0 oneTD Common.Once 252 309 0.0 0.0 0.0 0.0 alternatives Common.DNF 540 0 0.0 0.0 0.0 0.0 <|> Common.DNF 541 305 0.0 0.0 0.0 0.0 conRules Common.DNF 542 0 0.0 0.0 0.0 0.0 makeRuleList Gen.Rules 554 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 555 0 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 556 65 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 557 65 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 905 1 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 908 1 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 906 7 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 907 1 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 904 1 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 558 86 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 560 86 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 559 323 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 901 1 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 561 21 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 903 1 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 902 1 0.0 0.0 0.0 0.0 tick Common.DNF 543 305 0.0 0.0 0.0 0.0 makeRuleList Gen.Rules 545 0 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 568 0 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 569 0 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Gen.Rules 939 0 0.0 0.0 0.0 0.0 |- Gen.Rules 940 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 942 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 941 1 0.0 0.0 0.0 0.0 ruleFalseInImpl Gen.Rules 909 0 0.0 0.0 0.0 0.0 |- Gen.Rules 910 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 912 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 911 1 0.0 0.0 0.0 0.0 ruleTrueZeroOr Gen.Rules 894 0 0.0 0.0 0.0 0.0 |- Gen.Rules 895 3 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 897 3 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 896 3 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Gen.Rules 571 0 0.0 0.0 0.0 0.0 |- Gen.Rules 572 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 574 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 573 1 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 570 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 546 0 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 547 543 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 548 543 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 575 7 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 900 5 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 898 34 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 913 1 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 914 1 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 899 4 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 576 2 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 577 2 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 566 6 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 567 6 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 549 638 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 553 6 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 565 6 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 551 606 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 550 1769 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 562 6 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 552 95 0.0 0.0 0.0 0.0 +++ Common.GuardedRewriting 564 24 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 563 6 0.0 0.0 0.0 0.0 counting Common.DNF 544 305 0.0 0.0 0.0 0.0 one Common.Once 378 291 0.0 0.0 0.0 0.0 +> Common.Once 253 309 0.0 0.0 0.0 0.0 repeat Common.DNF 246 4 0.0 0.0 0.0 0.0 many Common.DNF 248 286 0.0 0.0 0.0 0.0 <|> Common.DNF 249 288 0.0 0.0 0.0 0.0 <*> Common.DNF 250 252 0.0 0.0 0.0 0.0 <*> Common.DNF 247 4 0.0 0.0 0.0 0.0 notS Common.DNF 251 4 0.0 0.0 0.0 0.0 <*> Common.DNF 245 3 0.0 0.0 0.0 0.0 CAF Gen.Rules 120 40 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 521 6 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 522 3 0.0 0.0 0.0 0.0 empty_a1Xo Common.GuardedRewriting 519 3 0.0 0.0 0.0 0.0 ruleAndOverOr Gen.Rules 461 1 0.0 0.0 0.0 0.0 ruleNotNot Gen.Rules 450 1 0.0 0.0 0.0 0.0 ruleDeMorganOr Gen.Rules 445 1 0.0 0.0 0.0 0.0 ruleDeMorganAnd Gen.Rules 444 1 0.0 0.0 0.0 0.0 ruleDefEquiv Gen.Rules 417 1 0.0 0.0 0.0 0.0 makeRule Gen.Rules 388 5 0.0 0.0 0.0 0.0 makeRuleList Gen.Rules 389 5 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 392 5 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 418 0 0.0 0.0 0.0 0.0 ruleNotNot Gen.Rules 451 0 0.0 0.0 0.0 0.0 |- Gen.Rules 452 3 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 454 3 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 453 3 0.0 0.0 0.0 0.0 ruleDeMorganOr Gen.Rules 446 0 0.0 0.0 0.0 0.0 |- Gen.Rules 447 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 449 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 448 1 0.0 0.0 0.0 0.0 |- Gen.Rules 422 14 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 424 14 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 423 14 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 421 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 425 0 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 434 42 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 433 42 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 431 0 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 428 156 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 427 450 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 430 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 436 124 0.0 0.0 0.0 0.0 >< Common.GuardedRewriting 419 0 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 420 109 0.0 0.0 0.0 0.0 ==_a22X Common.GuardedRewriting 440 7 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 439 22 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 437 22 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 438 24 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 432 21 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 426 313 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 429 109 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 435 78 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 390 5 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 391 5 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 393 5 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 394 5 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 416 5 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 415 5 0.0 0.0 0.0 0.0 ruleDefImpl Gen.Rules 387 1 0.0 0.0 0.0 0.0 ruleTrueInImpl Gen.Rules 373 1 0.0 0.0 0.0 0.0 ruleFalseInImpl Gen.Rules 368 1 0.0 0.0 0.0 0.0 ruleTrueInEquiv Gen.Rules 363 1 0.0 0.0 0.0 0.0 ruleFalseInEquiv Gen.Rules 358 1 0.0 0.0 0.0 0.0 ruleNotBoolConst Gen.Rules 350 1 0.0 0.0 0.0 0.0 |- Gen.Rules 352 2 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 354 2 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 353 2 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Gen.Rules 345 1 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Gen.Rules 340 1 0.0 0.0 0.0 0.0 ruleTrueZeroOr Gen.Rules 335 1 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 269 1 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 274 1 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 883 1 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 279 2 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 266 3 0.0 0.0 0.0 0.0 |- Gen.Rules 395 14 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 397 14 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 396 14 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 303 3 0.0 0.0 0.0 0.0 right Common.GuardedRewriting 299 3 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 300 3 0.0 0.0 0.0 0.0 left Common.GuardedRewriting 294 3 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 295 3 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 275 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 276 0 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 407 71 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 406 71 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 290 0 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 281 176 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 280 390 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 293 1 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 284 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 307 148 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 270 0 0.0 0.0 0.0 0.0 |- Gen.Rules 271 3 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 273 3 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 272 3 0.0 0.0 0.0 0.0 >< Common.GuardedRewriting 267 3 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 268 162 0.0 0.0 0.0 0.0 ==_a22X Common.GuardedRewriting 414 12 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 413 44 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 410 22 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 408 22 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 409 22 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 398 293 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 399 159 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 411 103 0.0 0.0 0.0 0.0 makeRuleList Gen.Rules 260 10 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 263 20 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 351 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 355 0 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 514 0 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 357 6 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 356 40 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 862 4 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 513 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 864 2 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 312 0 0.0 0.0 0.0 0.0 |- Gen.Rules 462 9 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 464 9 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 463 9 0.0 0.0 0.0 0.0 ruleTrueInImpl Gen.Rules 374 0 0.0 0.0 0.0 0.0 |- Gen.Rules 375 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 377 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 376 6 0.0 0.0 0.0 0.0 ruleFalseInImpl Gen.Rules 369 0 0.0 0.0 0.0 0.0 |- Gen.Rules 370 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 372 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 371 6 0.0 0.0 0.0 0.0 ruleTrueInEquiv Gen.Rules 364 0 0.0 0.0 0.0 0.0 |- Gen.Rules 365 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 367 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 366 6 0.0 0.0 0.0 0.0 ruleFalseInEquiv Gen.Rules 359 0 0.0 0.0 0.0 0.0 |- Gen.Rules 360 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 362 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 361 6 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Gen.Rules 346 0 0.0 0.0 0.0 0.0 |- Gen.Rules 347 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 349 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 348 6 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Gen.Rules 341 0 0.0 0.0 0.0 0.0 |- Gen.Rules 342 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 344 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 343 6 0.0 0.0 0.0 0.0 ruleTrueZeroOr Gen.Rules 336 0 0.0 0.0 0.0 0.0 |- Gen.Rules 337 6 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 339 6 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 338 6 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 316 0 0.0 0.0 0.0 0.0 |- Gen.Rules 317 3 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 319 3 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 318 3 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 315 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 320 0 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 467 48 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 466 48 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 326 0 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 323 254 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 322 760 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 331 42 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 325 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 333 140 0.0 0.0 0.0 0.0 >< Common.GuardedRewriting 313 0 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 314 153 0.0 0.0 0.0 0.0 ==_a22X Common.GuardedRewriting 468 14 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 465 30 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 329 36 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 327 36 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 328 46 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 321 462 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 330 21 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 324 153 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 332 93 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 261 10 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 262 20 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 264 20 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 265 20 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 334 19 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 309 20 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 259 1 0.0 0.0 0.0 0.0