Thu Oct 01 14:09 2009 Time and Allocation Profiling Report (Final) TestGen-DNF4 +RTS -p -RTS total time = 39.90 secs (1995 ticks @ 20 ms) total alloc = 15,873,088,996 bytes (excludes profiling overheads) COST CENTRE MODULE %time %alloc rewriteMl Gen.Rules 19.5 16.8 match'_a1W3 Common.GuardedRewriting 11.2 1.6 arbLogic Common.LogicGenerator 9.0 11.7 match Common.GuardedRewriting 7.3 11.4 rewriteM Common.GuardedRewriting 6.5 12.8 <|> Common.DNF 5.8 4.9 match'_a1Vb Common.GuardedRewriting 5.6 9.1 tick Common.DNF 5.3 0.0 from_aaXM Common.Logic 4.7 10.8 subst'_a1TI Common.GuardedRewriting 3.2 5.3 full Common.Once 2.0 1.1 alternatives Common.DNF 2.0 0.0 subst Common.GuardedRewriting 1.6 1.3 +++ Common.GuardedRewriting 1.6 2.1 <*> Common.DNF 1.5 1.6 rewriteM' Common.GuardedRewriting 1.5 0.0 conRules Common.DNF 1.4 0.0 synthesise_a1GC Common.GuardedRewriting 1.3 0.8 fullBU Common.Once 1.2 0.9 notS Common.DNF 1.1 0.8 subst'_a1SP Common.GuardedRewriting 1.1 2.0 fullTD Common.Once 0.8 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.DNF4.Test 230 5 0.0 0.0 90.7 88.0 nr Gen.DNF4.Test 237 1 0.0 0.0 0.0 0.0 main Gen.DNF4.Test 236 1 0.2 0.0 90.7 88.0 isDNF Common.Logic 479 0 0.3 0.1 0.7 0.4 isAtomic Common.Logic 710 547090 0.2 0.0 0.2 0.0 conjunctions Common.Logic 709 878011 0.2 0.2 0.2 0.2 disjunctions Common.Logic 480 401601 0.1 0.1 0.1 0.1 runStrategy Common.DNF 243 100000 0.1 0.0 0.1 0.0 dnf Gen.DNF4.Test 242 100000 0.2 0.0 89.8 87.5 dnf4 Common.DNF 481 0 0.0 0.0 89.7 87.5 try Common.DNF 694 0 0.0 0.0 1.1 0.7 <|> Common.DNF 695 1897930 0.5 0.2 1.1 0.7 notS Common.DNF 696 1755366 0.6 0.5 0.6 0.5 alternatives Common.DNF 635 0 0.8 0.0 31.2 31.5 <|> Common.DNF 636 6224842 1.6 1.3 30.4 31.5 disRules Common.DNF 697 0 0.3 0.0 17.2 19.3 tick Common.DNF 698 3634402 0.8 0.0 16.9 19.3 makeRuleList Gen.Rules 700 0 0.0 0.0 16.1 19.2 synthesise' Common.GuardedRewriting 758 0 0.0 0.0 0.3 0.3 synthesise_a1GC Common.GuardedRewriting 759 0 0.2 0.2 0.3 0.3 ruleAndOverOr Gen.Rules 823 0 0.0 0.0 0.0 0.0 |- Gen.Rules 824 1436 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 826 1436 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 825 1436 0.0 0.0 0.0 0.0 |- Gen.Rules 761 78583 0.1 0.0 0.1 0.0 +-> Common.GuardedRewriting 763 78583 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 762 78583 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 760 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 701 0 3.5 3.4 15.9 18.9 rewriteM' Common.GuardedRewriting 702 7225154 0.3 0.0 12.4 15.5 rewriteM Common.GuardedRewriting 703 7225154 1.7 2.7 12.1 15.5 synthesise_a1GC Common.GuardedRewriting 764 0 0.2 0.1 0.2 0.1 ruleAndOverOr Gen.Rules 875 0 0.0 0.0 0.0 0.0 |- Gen.Rules 876 683 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 878 683 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 877 683 0.0 0.0 0.0 0.0 |- Gen.Rules 766 42950 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 768 42950 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 767 42950 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 765 0 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 756 371007 0.2 0.0 0.2 0.0 synthesise_a1GC Common.GuardedRewriting 897 0 0.0 0.0 0.0 0.0 |- Gen.Rules 899 16 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 901 16 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 900 16 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 898 0 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 757 123669 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 741 865690 0.6 0.4 2.4 2.5 to_aaXQ Common.Logic 747 371010 0.4 0.0 0.4 0.0 total Common.GuardedRewriting 744 494680 0.0 0.1 0.2 0.1 !!! Common.GuardedRewriting 745 1025730 0.2 0.0 0.2 0.0 subst'_a1TI Common.GuardedRewriting 742 1607710 0.8 1.2 1.3 2.0 subst'_a1SP Common.GuardedRewriting 743 742020 0.6 0.8 0.6 0.8 subst'_a1Sh Common.GuardedRewriting 746 371010 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 704 10319150 1.9 2.8 7.8 10.0 singleton Common.GuardedRewriting 708 371010 0.1 0.2 0.1 0.3 update Common.GuardedRewriting 740 742020 0.1 0.1 0.1 0.1 from_aaXM Common.Logic 706 9055028 1.5 2.4 1.5 2.4 match'_a1W3 Common.GuardedRewriting 705 25115504 2.2 0.4 4.3 4.5 match'_a1Vb Common.GuardedRewriting 707 3093996 1.6 3.3 2.1 4.2 +++ Common.GuardedRewriting 739 1978720 0.4 0.8 0.4 0.8 match'_a1Ut Common.GuardedRewriting 738 247340 0.1 0.0 0.1 0.0 counting Common.DNF 699 3634402 0.0 0.2 0.0 0.2 notRules Common.DNF 637 0 0.4 0.0 11.6 10.8 makeRule Gen.Rules 648 0 0.0 0.0 2.3 2.3 makeRuleList Gen.Rules 649 0 0.0 0.0 2.3 2.3 synthesise' Common.GuardedRewriting 687 0 0.0 0.0 0.1 0.1 synthesise_a1GC Common.GuardedRewriting 688 0 0.1 0.0 0.1 0.1 ruleNotNot Gen.Rules 690 0 0.0 0.0 0.0 0.0 |- Gen.Rules 691 114835 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 693 114835 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 692 114835 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 689 0 0.1 0.0 0.1 0.0 rewriteMl Gen.Rules 650 0 0.5 0.6 2.2 2.2 rewriteM' Common.GuardedRewriting 651 786894 0.1 0.0 1.7 1.6 rewriteM Common.GuardedRewriting 652 786894 0.2 0.3 1.6 1.6 subst Common.GuardedRewriting 684 114836 0.1 0.0 0.2 0.1 total Common.GuardedRewriting 685 114836 0.1 0.0 0.1 0.0 !!! Common.GuardedRewriting 686 114836 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 682 114836 0.1 0.0 0.1 0.0 test_a1S6 Common.GuardedRewriting 683 114836 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 653 1146443 0.4 0.3 1.3 1.2 singleton Common.GuardedRewriting 678 114836 0.0 0.0 0.0 0.0 update Common.GuardedRewriting 681 114836 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 655 1031607 0.0 0.3 0.0 0.3 match'_a1W3 Common.GuardedRewriting 654 3717296 0.4 0.0 0.9 0.6 match'_a1Vb Common.GuardedRewriting 677 359549 0.3 0.4 0.6 0.6 +++ Common.GuardedRewriting 680 459344 0.1 0.1 0.1 0.1 match'_a1Ut Common.GuardedRewriting 679 229672 0.2 0.0 0.2 0.0 tick Common.DNF 638 2590440 0.7 0.0 8.9 8.5 makeRule Gen.Rules 640 0 0.0 0.0 8.2 8.4 makeRuleList Gen.Rules 641 0 0.0 0.0 8.2 8.4 synthesise' Common.GuardedRewriting 670 0 0.0 0.0 0.4 0.3 synthesise_a1GC Common.GuardedRewriting 671 0 0.2 0.2 0.4 0.3 ruleDeMorganOr Gen.Rules 867 0 0.0 0.0 0.0 0.0 |- Gen.Rules 868 2348 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 870 2348 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 869 2348 0.0 0.0 0.0 0.0 ruleDeMorganAnd Gen.Rules 843 0 0.0 0.0 0.0 0.0 |- Gen.Rules 844 2233 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 846 2233 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 845 2233 0.0 0.0 0.0 0.0 |- Gen.Rules 673 141957 0.1 0.0 0.1 0.0 +-> Common.GuardedRewriting 675 141957 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 674 141957 0.1 0.0 0.1 0.0 synthesise_a1Ig Common.GuardedRewriting 672 0 0.1 0.0 0.1 0.0 rewriteMl Gen.Rules 642 0 1.7 1.2 7.8 8.1 rewriteM' Common.GuardedRewriting 643 1803546 0.1 0.0 6.1 6.9 rewriteM Common.GuardedRewriting 644 1803546 0.2 0.7 6.1 6.9 subst Common.GuardedRewriting 664 732700 0.4 0.4 2.2 2.8 to_aaXQ Common.Logic 676 219810 0.1 0.0 0.1 0.0 total Common.GuardedRewriting 667 293080 0.0 0.1 0.0 0.1 !!! Common.GuardedRewriting 668 439620 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 665 2407962 1.4 1.7 1.8 2.3 subst'_a1SP Common.GuardedRewriting 666 586160 0.4 0.6 0.4 0.6 subst'_a1Sh Common.GuardedRewriting 669 439620 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 662 293080 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 663 146540 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 645 2815810 0.9 0.8 3.7 3.3 singleton Common.GuardedRewriting 658 293080 0.0 0.0 0.0 0.1 update Common.GuardedRewriting 661 439620 0.0 0.1 0.0 0.1 from_aaXM Common.Logic 647 2522730 0.5 0.7 0.5 0.7 match'_a1W3 Common.GuardedRewriting 646 9470882 1.0 0.1 2.3 1.7 match'_a1Vb Common.GuardedRewriting 657 1012264 1.0 1.1 1.4 1.6 +++ Common.GuardedRewriting 660 1318860 0.4 0.5 0.4 0.5 match'_a1Ut Common.GuardedRewriting 659 293080 0.0 0.0 0.0 0.0 counting Common.DNF 639 2590440 0.1 0.1 0.1 0.1 fullTD Common.Once 634 1879036 0.8 1.1 1.6 1.7 full Common.Once 656 1879036 0.8 0.6 0.8 0.6 repeat Common.DNF 487 0 0.0 0.0 53.2 51.9 many Common.DNF 489 0 0.0 0.0 9.7 10.1 <|> Common.DNF 490 3424764 0.7 1.0 9.7 10.1 defRules Common.DNF 570 0 0.1 0.0 1.7 1.9 tick Common.DNF 571 82620 0.0 0.0 1.7 1.9 makeRule Gen.Rules 573 0 0.0 0.0 1.7 1.9 makeRuleList Gen.Rules 574 0 0.0 0.0 1.7 1.9 synthesise' Common.GuardedRewriting 750 0 0.0 0.0 0.1 0.0 synthesise_a1GC Common.GuardedRewriting 751 0 0.1 0.0 0.1 0.0 ruleDefEquiv Gen.Rules 883 0 0.0 0.0 0.0 0.0 |- Gen.Rules 884 889 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 886 889 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 885 889 0.0 0.0 0.0 0.0 |- Gen.Rules 753 17604 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 755 17604 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 754 17604 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 752 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 575 0 0.2 0.1 1.6 1.9 rewriteM' Common.GuardedRewriting 576 82620 0.0 0.0 1.4 1.8 rewriteM Common.GuardedRewriting 577 82620 0.1 0.0 1.4 1.8 subst Common.GuardedRewriting 593 348973 0.3 0.2 0.9 1.2 to_aaXQ Common.Logic 599 177659 0.1 0.0 0.1 0.0 total Common.GuardedRewriting 596 165240 0.1 0.0 0.2 0.0 !!! Common.GuardedRewriting 597 247860 0.1 0.0 0.1 0.0 subst'_a1TI Common.GuardedRewriting 594 964299 0.4 0.7 0.5 1.0 subst'_a1SP Common.GuardedRewriting 595 284846 0.0 0.3 0.1 0.3 subst'_a1Sh Common.GuardedRewriting 598 183733 0.1 0.0 0.1 0.0 synthesise_a1GC Common.GuardedRewriting 588 0 0.2 0.1 0.2 0.1 ruleDefImpl Gen.Rules 879 0 0.0 0.0 0.0 0.0 |- Gen.Rules 880 956 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 882 956 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 881 956 0.0 0.0 0.0 0.0 |- Gen.Rules 590 44674 0.0 0.0 0.1 0.0 +-> Common.GuardedRewriting 592 44674 0.1 0.0 0.1 0.0 // Common.GuardedRewriting 591 44674 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 589 0 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 586 128254 0.1 0.0 0.1 0.0 synthesise_a1GC Common.GuardedRewriting 892 0 0.0 0.0 0.0 0.0 |- Gen.Rules 894 4 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 896 4 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 895 4 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 893 0 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 587 64127 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 578 210874 0.1 0.1 0.2 0.4 singleton Common.GuardedRewriting 582 128254 0.0 0.0 0.0 0.1 update Common.GuardedRewriting 585 192381 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 580 82620 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 579 210874 0.0 0.0 0.2 0.3 match'_a1Vb Common.GuardedRewriting 581 128254 0.1 0.2 0.2 0.3 +++ Common.GuardedRewriting 584 384762 0.1 0.1 0.1 0.1 match'_a1Ut Common.GuardedRewriting 583 64127 0.0 0.0 0.0 0.0 counting Common.DNF 572 82620 0.0 0.0 0.0 0.0 alternatives Common.DNF 560 0 0.2 0.0 0.2 0.0 conRules Common.DNF 550 0 0.2 0.0 6.8 6.7 makeRuleList Gen.Rules 561 0 0.0 0.0 0.7 0.7 rewriteMl Gen.Rules 562 0 0.1 0.1 0.7 0.7 rewriteM' Common.GuardedRewriting 563 268414 0.0 0.0 0.6 0.5 rewriteM Common.GuardedRewriting 564 268414 0.1 0.1 0.6 0.5 subst Common.GuardedRewriting 789 31082 0.0 0.0 0.2 0.2 to_aaXQ Common.Logic 792 31082 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 790 217574 0.2 0.2 0.2 0.2 subst'_a1Sh Common.GuardedRewriting 791 31082 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 788 31082 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 565 312990 0.0 0.1 0.4 0.3 from_aaXM Common.Logic 567 312990 0.1 0.1 0.1 0.1 match'_a1W3 Common.GuardedRewriting 566 1184994 0.3 0.0 0.4 0.1 match'_a1Ut Common.GuardedRewriting 785 31082 0.1 0.0 0.1 0.0 match'_a1Vb Common.GuardedRewriting 784 44576 0.1 0.1 0.1 0.1 +++ Common.GuardedRewriting 787 31082 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 786 31082 0.0 0.0 0.0 0.0 tick Common.DNF 551 1358296 0.4 0.0 6.0 6.0 makeRuleList Gen.Rules 553 0 0.0 0.0 5.5 6.0 synthesise' Common.GuardedRewriting 615 0 0.0 0.0 0.3 0.1 synthesise_a1GC Common.GuardedRewriting 616 0 0.2 0.0 0.3 0.1 ruleTrueInImpl Gen.Rules 847 0 0.0 0.0 0.0 0.0 |- Gen.Rules 848 16913 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 850 16913 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 849 16913 0.0 0.0 0.0 0.0 ruleTrueInEquiv Gen.Rules 839 0 0.0 0.0 0.0 0.0 |- Gen.Rules 840 7242 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 842 7242 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 841 7242 0.0 0.0 0.0 0.0 ruleFalseInImpl Gen.Rules 819 0 0.0 0.0 0.0 0.0 |- Gen.Rules 820 16368 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 822 16368 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 821 16368 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 798 0 0.0 0.0 0.0 0.0 |- Gen.Rules 799 11803 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 801 11803 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 800 11803 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Gen.Rules 794 0 0.0 0.0 0.0 0.0 |- Gen.Rules 795 21453 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 797 21453 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 796 21453 0.0 0.0 0.0 0.0 ruleFalseInEquiv Gen.Rules 732 0 0.0 0.0 0.0 0.0 |- Gen.Rules 733 7269 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 735 7269 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 734 7269 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Gen.Rules 628 0 0.0 0.0 0.0 0.0 |- Gen.Rules 629 28919 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 631 28919 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 630 28919 0.0 0.0 0.0 0.0 ruleTrueZeroOr Gen.Rules 618 0 0.0 0.0 0.0 0.0 |- Gen.Rules 619 25354 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 621 25354 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 620 25354 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 617 0 0.1 0.0 0.1 0.0 rewriteMl Gen.Rules 554 0 1.3 1.2 5.2 5.9 rewriteM' Common.GuardedRewriting 555 2351130 0.1 0.0 4.0 4.7 rewriteM Common.GuardedRewriting 556 2351130 0.7 0.9 3.9 4.7 synthesise_a1GC Common.GuardedRewriting 803 0 0.1 0.0 0.1 0.0 ruleFalseZeroOr Gen.Rules 805 0 0.0 0.0 0.0 0.0 |- Gen.Rules 806 13194 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 808 13194 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 807 13194 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 804 0 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 622 163451 0.1 0.1 0.3 0.5 total Common.GuardedRewriting 632 85177 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 633 85177 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 625 78274 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 623 532982 0.1 0.4 0.2 0.4 subst'_a1SP Common.GuardedRewriting 736 14936 0.1 0.0 0.1 0.0 subst'_a1Sh Common.GuardedRewriting 737 14936 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 624 63338 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 613 148515 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 614 148515 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 557 3314863 0.4 0.9 2.9 3.2 singleton Common.GuardedRewriting 569 148515 0.0 0.0 0.1 0.1 update Common.GuardedRewriting 612 148515 0.1 0.0 0.1 0.0 from_aaXM Common.Logic 559 2967132 0.4 0.9 0.4 0.9 match'_a1W3 Common.GuardedRewriting 558 9924174 1.3 0.1 2.2 1.4 match'_a1Ut Common.GuardedRewriting 609 148515 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 568 963733 0.6 1.1 0.9 1.3 +++ Common.GuardedRewriting 611 594060 0.3 0.2 0.3 0.2 match'_a1Ut Common.GuardedRewriting 610 148515 0.0 0.0 0.0 0.0 counting Common.DNF 552 1358296 0.1 0.1 0.1 0.1 <*> Common.DNF 491 374412 0.3 0.4 0.3 0.4 alternatives Common.DNF 549 0 0.0 0.0 0.0 0.0 <*> Common.DNF 488 1603550 0.9 0.9 43.5 41.8 notS Common.DNF 492 1964079 0.6 0.3 42.6 40.9 alternatives Common.DNF 493 0 1.0 0.0 42.0 40.6 <|> Common.DNF 494 11534615 3.0 2.4 41.0 40.6 defRules Common.DNF 512 0 0.1 0.0 5.1 5.0 tick Common.DNF 513 1917838 0.6 0.0 5.1 5.0 makeRule Gen.Rules 515 0 0.0 0.0 4.5 4.9 makeRuleList Gen.Rules 516 0 0.0 0.0 4.5 4.9 synthesise' Common.GuardedRewriting 769 0 0.0 0.0 0.1 0.0 synthesise_a1GC Common.GuardedRewriting 770 0 0.1 0.0 0.1 0.0 ruleDefEquiv Gen.Rules 871 0 0.0 0.0 0.0 0.0 |- Gen.Rules 872 799 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 874 799 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 873 799 0.0 0.0 0.0 0.0 |- Gen.Rules 772 17693 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 774 17693 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 773 17693 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 771 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 517 0 1.7 1.3 4.4 4.8 rewriteM' Common.GuardedRewriting 518 1917838 0.2 0.0 2.7 3.5 rewriteM Common.GuardedRewriting 519 1917838 0.4 0.7 2.5 3.5 synthesise_a1GC Common.GuardedRewriting 720 0 0.1 0.1 0.1 0.1 ruleDefImpl Gen.Rules 815 0 0.0 0.0 0.0 0.0 |- Gen.Rules 816 922 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 818 922 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 817 922 0.0 0.0 0.0 0.0 |- Gen.Rules 722 44697 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 724 44697 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 723 44697 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 721 0 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 718 128252 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 887 0 0.0 0.0 0.0 0.0 |- Gen.Rules 889 14 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 891 14 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 890 14 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 888 0 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 719 64126 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 541 348970 0.1 0.2 0.5 1.2 total Common.GuardedRewriting 727 165238 0.1 0.0 0.1 0.0 !!! Common.GuardedRewriting 728 247857 0.1 0.0 0.1 0.0 subst'_a1TI Common.GuardedRewriting 725 964288 0.3 0.7 0.3 0.9 subst'_a1SP Common.GuardedRewriting 726 284843 0.1 0.3 0.1 0.3 subst'_a1Sh Common.GuardedRewriting 729 183731 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 520 2046092 0.3 0.6 1.6 1.5 singleton Common.GuardedRewriting 533 128254 0.0 0.0 0.0 0.1 update Common.GuardedRewriting 536 192381 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 522 1917838 0.3 0.5 0.3 0.5 match'_a1W3 Common.GuardedRewriting 521 3689666 0.6 0.1 1.0 0.4 match'_a1Vb Common.GuardedRewriting 532 128254 0.2 0.2 0.4 0.3 +++ Common.GuardedRewriting 535 384762 0.2 0.1 0.2 0.1 match'_a1Ut Common.GuardedRewriting 534 64127 0.1 0.0 0.1 0.0 counting Common.DNF 514 1917838 0.0 0.1 0.0 0.1 conRules Common.DNF 495 0 1.2 0.0 32.9 33.3 makeRuleList Gen.Rules 505 0 0.0 0.0 3.8 3.7 rewriteMl Gen.Rules 506 0 1.1 1.0 3.8 3.7 rewriteM' Common.GuardedRewriting 507 2103632 0.1 0.0 2.7 2.7 rewriteM Common.GuardedRewriting 508 2103632 0.2 0.8 2.7 2.7 subst Common.GuardedRewriting 781 31082 0.1 0.0 0.2 0.2 subst'_a1TI Common.GuardedRewriting 782 217574 0.1 0.1 0.1 0.1 subst'_a1Sh Common.GuardedRewriting 783 31082 0.1 0.0 0.1 0.0 test_a1S6 Common.GuardedRewriting 780 31082 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 509 2370137 0.6 0.7 2.3 1.7 from_aaXM Common.Logic 511 2370137 0.2 0.6 0.2 0.6 match'_a1W3 Common.GuardedRewriting 510 8529128 1.2 0.1 1.5 0.4 match'_a1Ut Common.GuardedRewriting 775 31082 0.1 0.0 0.1 0.0 match'_a1Vb Common.GuardedRewriting 529 266505 0.2 0.3 0.3 0.3 +++ Common.GuardedRewriting 779 31082 0.0 0.0 0.0 0.0 match'_a1Ut Common.GuardedRewriting 777 31082 0.1 0.0 0.1 0.0 tick Common.DNF 496 9616777 2.8 0.0 27.9 29.6 makeRuleList Gen.Rules 498 0 0.0 0.0 24.8 29.1 synthesise' Common.GuardedRewriting 711 0 0.0 0.0 0.2 0.1 synthesise_a1GC Common.GuardedRewriting 712 0 0.2 0.0 0.2 0.1 ruleFalseZeroOr Gen.Rules 863 0 0.0 0.0 0.0 0.0 |- Gen.Rules 864 11802 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 866 11802 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 865 11802 0.0 0.0 0.0 0.0 ruleTrueInEquiv Gen.Rules 859 0 0.0 0.0 0.0 0.0 |- Gen.Rules 860 7240 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 862 7240 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 861 7240 0.0 0.0 0.0 0.0 ruleFalseInImpl Gen.Rules 855 0 0.0 0.0 0.0 0.0 |- Gen.Rules 856 16366 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 858 16366 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 857 16366 0.0 0.0 0.0 0.0 ruleTrueInImpl Gen.Rules 851 0 0.0 0.0 0.0 0.0 |- Gen.Rules 852 16911 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 854 16911 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 853 16911 0.0 0.0 0.0 0.0 ruleFalseInEquiv Gen.Rules 835 0 0.0 0.0 0.0 0.0 |- Gen.Rules 836 7267 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 838 7267 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 837 7267 0.0 0.0 0.0 0.0 ruleTrueZeroOr Gen.Rules 831 0 0.0 0.0 0.0 0.0 |- Gen.Rules 832 25352 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 834 25352 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 833 25352 0.0 0.0 0.0 0.0 ruleFalseZeroAnd Gen.Rules 827 0 0.0 0.0 0.0 0.0 |- Gen.Rules 828 21451 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 830 21451 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 829 21451 0.0 0.0 0.0 0.0 ruleTrueZeroAnd Gen.Rules 714 0 0.0 0.0 0.0 0.0 |- Gen.Rules 715 28917 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 717 28917 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 716 28917 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 713 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 499 0 9.6 8.0 24.7 29.0 rewriteM' Common.GuardedRewriting 500 17032874 0.7 0.0 15.0 21.0 rewriteM Common.GuardedRewriting 501 17032874 3.1 6.5 14.3 21.0 synthesise_a1GC Common.GuardedRewriting 809 0 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 811 0 0.0 0.0 0.0 0.0 |- Gen.Rules 812 13192 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 814 13192 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 813 13192 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 810 0 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 606 163451 0.0 0.1 0.2 0.5 total Common.GuardedRewriting 626 85177 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 627 85177 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 607 532981 0.2 0.4 0.2 0.4 subst'_a1Sh Common.GuardedRewriting 793 63337 0.0 0.0 0.0 0.0 subst'_a1SP Common.GuardedRewriting 730 14936 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 731 14936 0.0 0.0 0.0 0.0 test_a1RR Common.GuardedRewriting 604 148515 0.1 0.0 0.2 0.0 synthesise_a1GC Common.GuardedRewriting 902 0 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 904 0 0.0 0.0 0.0 0.0 |- Gen.Rules 905 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 907 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 906 1 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 903 0 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 605 148515 0.1 0.0 0.1 0.0 match Common.GuardedRewriting 502 19303022 2.9 5.3 11.0 14.0 singleton Common.GuardedRewriting 531 148515 0.0 0.1 0.1 0.1 update Common.GuardedRewriting 603 148515 0.1 0.0 0.1 0.0 from_aaXM Common.Logic 504 18519819 1.8 5.1 1.8 5.1 match'_a1W3 Common.GuardedRewriting 503 49067038 4.4 0.9 6.2 3.5 match'_a1Ut Common.GuardedRewriting 600 148515 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 530 2270148 1.7 2.4 1.8 2.6 +++ Common.GuardedRewriting 602 594060 0.2 0.2 0.2 0.2 match'_a1Ut Common.GuardedRewriting 601 148515 0.0 0.0 0.0 0.0 counting Common.DNF 497 9616777 0.3 0.5 0.3 0.5 fullBU Common.Once 483 1589667 1.2 0.9 2.4 1.4 full Common.Once 484 1589667 1.2 0.5 1.2 0.5 <*> Common.DNF 482 1516653 0.3 0.3 0.3 0.3 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.1 0.0 0.1 0.0 CAF Common.LogicGenerator 150 8 0.0 0.0 9.2 12.0 arbLogic Common.LogicGenerator 249 1 0.0 0.0 0.0 0.0 arbitrary_augZ Common.LogicGenerator 248 1 0.0 0.0 0.0 0.0 repeatM Common.LogicGenerator 239 1 0.2 0.3 9.2 12.0 arbitrary_augZ Common.LogicGenerator 485 0 0.0 0.0 9.0 11.7 arbLogic Common.LogicGenerator 486 0 9.0 11.7 9.0 11.7 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 543 3 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 548 2 0.0 0.0 0.0 0.0 subst Common.GuardedRewriting 544 3 0.0 0.0 0.0 0.0 total Common.GuardedRewriting 546 2 0.0 0.0 0.0 0.0 !!! Common.GuardedRewriting 547 3 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 545 5 0.0 0.0 0.0 0.0 subst'_a1TI Common.GuardedRewriting 542 7 0.0 0.0 0.0 0.0 subst'_a1Sh Common.GuardedRewriting 608 1 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 523 2 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 525 2 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 528 2 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 526 2 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 310 7 0.0 0.0 0.0 0.0 right'_a1PR Common.GuardedRewriting 303 1 0.0 0.0 0.0 0.0 left'_a1P2 Common.GuardedRewriting 299 3 0.0 0.0 0.0 0.0 left Common.GuardedRewriting 397 3 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 406 2 0.0 0.0 0.0 0.0 to_a22m Common.GuardedRewriting 398 1 0.0 0.0 0.0 0.0 left'_a1PK Common.GuardedRewriting 298 2 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 285 3 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 308 2 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 288 3 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 396 1 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 395 1 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 291 2 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 290 6 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 284 3 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 307 2 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 287 3 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 394 1 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 306 1 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 304 1 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 289 6 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 280 7 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 294 1 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 279 7 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 293 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 478 1 0.0 0.0 0.0 0.0 conjunctions Common.Logic 477 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 538 1 0.0 0.0 0.0 0.0 left'_a1Qo Common.GuardedRewriting 399 1 0.0 0.0 0.0 0.0 left'_a1OL Common.GuardedRewriting 300 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.1 0.0 reportTick Common.DNF 908 1 0.0 0.0 0.0 0.0 disRules Common.DNF 456 1 0.0 0.0 0.0 0.0 tick Common.DNF 457 1 0.0 0.0 0.0 0.0 counting Common.DNF 458 1 0.0 0.0 0.0 0.0 notRules Common.DNF 437 1 0.0 0.0 0.0 0.0 tick Common.DNF 439 3 0.0 0.0 0.0 0.0 counting Common.DNF 440 3 0.0 0.0 0.0 0.0 defRules Common.DNF 378 1 0.0 0.0 0.0 0.0 tick Common.DNF 379 2 0.0 0.0 0.0 0.0 counting Common.DNF 380 2 0.0 0.0 0.0 0.0 conRules Common.DNF 257 1 0.0 0.0 0.0 0.0 tick Common.DNF 259 9 0.0 0.0 0.0 0.0 counting Common.DNF 260 9 0.0 0.0 0.0 0.0 alternatives Common.DNF 256 1 0.0 0.0 0.0 0.0 <|> Common.DNF 258 11 0.0 0.0 0.0 0.0 dnf4 Common.DNF 244 1 0.0 0.0 0.1 0.0 try Common.DNF 453 0 0.0 0.0 0.0 0.0 <|> Common.DNF 454 11 0.0 0.0 0.0 0.0 notS Common.DNF 455 10 0.0 0.0 0.0 0.0 alternatives Common.DNF 436 0 0.0 0.0 0.0 0.0 <|> Common.DNF 438 23 0.0 0.0 0.0 0.0 disRules Common.DNF 467 0 0.0 0.0 0.0 0.0 tick Common.DNF 468 19 0.0 0.0 0.0 0.0 makeRuleList Gen.Rules 470 0 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 471 0 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 472 38 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 473 38 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 474 50 0.0 0.0 0.0 0.0 singleton Common.GuardedRewriting 749 0 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 476 46 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 475 122 0.0 0.0 0.0 0.0 match'_a1Vb Common.GuardedRewriting 748 12 0.0 0.0 0.0 0.0 counting Common.DNF 469 19 0.0 0.0 0.0 0.0 fullTD Common.Once 435 10 0.0 0.0 0.0 0.0 full Common.Once 452 10 0.0 0.0 0.0 0.0 repeat Common.DNF 250 2 0.0 0.0 0.1 0.0 many Common.DNF 252 6 0.1 0.0 0.1 0.0 <|> Common.DNF 253 6 0.0 0.0 0.0 0.0 <*> Common.DNF 254 0 0.0 0.0 0.0 0.0 <*> Common.DNF 251 2 0.0 0.0 0.0 0.0 notS Common.DNF 255 2 0.0 0.0 0.0 0.0 fullBU Common.Once 246 2 0.0 0.0 0.0 0.0 full Common.Once 247 2 0.0 0.0 0.0 0.0 <*> Common.DNF 245 4 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 539 5 0.0 0.0 0.0 0.0 test_a1S6 Common.GuardedRewriting 540 2 0.0 0.0 0.0 0.0 empty_a1Xo Common.GuardedRewriting 537 3 0.0 0.0 0.0 0.0 ruleAndOverOr Gen.Rules 459 1 0.0 0.0 0.0 0.0 ruleNotNot Gen.Rules 447 1 0.0 0.0 0.0 0.0 ruleDeMorganOr Gen.Rules 442 1 0.0 0.0 0.0 0.0 ruleDeMorganAnd Gen.Rules 441 1 0.0 0.0 0.0 0.0 ruleDefEquiv Gen.Rules 411 1 0.0 0.0 0.0 0.0 makeRule Gen.Rules 382 5 0.0 0.0 0.0 0.0 makeRuleList Gen.Rules 383 5 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 386 5 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 412 0 0.0 0.0 0.0 0.0 ruleNotNot Gen.Rules 448 0 0.0 0.0 0.0 0.0 |- Gen.Rules 449 3 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 451 3 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 450 3 0.0 0.0 0.0 0.0 ruleDeMorganOr Gen.Rules 443 0 0.0 0.0 0.0 0.0 |- Gen.Rules 444 1 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 446 1 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 445 1 0.0 0.0 0.0 0.0 |- Gen.Rules 416 14 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 418 14 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 417 14 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 415 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 419 0 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 428 42 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 427 42 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 425 0 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 422 156 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 421 450 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 424 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 430 124 0.0 0.0 0.0 0.0 >< Common.GuardedRewriting 413 0 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 414 109 0.0 0.0 0.0 0.0 ==_a22X Common.GuardedRewriting 434 7 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 433 22 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 431 22 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 432 24 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 426 21 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 420 313 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 423 109 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 429 78 0.0 0.0 0.0 0.0 rewriteMl Gen.Rules 384 5 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 385 5 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 387 5 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 388 5 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 410 5 0.0 0.0 0.0 0.0 match'_a1W3 Common.GuardedRewriting 409 5 0.0 0.0 0.0 0.0 ruleDefImpl Gen.Rules 381 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 271 1 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 276 1 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 802 1 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 281 2 0.0 0.0 0.0 0.0 synthesise_a1GC Common.GuardedRewriting 268 3 0.0 0.0 0.0 0.0 |- Gen.Rules 389 14 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 391 14 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 390 14 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 305 3 0.0 0.0 0.0 0.0 right Common.GuardedRewriting 301 3 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 302 3 0.0 0.0 0.0 0.0 left Common.GuardedRewriting 296 3 0.0 0.0 0.0 0.0 to_aaXQ Common.Logic 297 3 0.0 0.0 0.0 0.0 synthesise_a1Ig Common.GuardedRewriting 277 0 0.0 0.0 0.0 0.0 toScheme Common.GuardedRewriting 278 0 0.0 0.0 0.0 0.0 from_a22h Common.GuardedRewriting 401 71 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 400 71 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 292 0 0.0 0.0 0.0 0.0 from_aaXM Common.Logic 283 176 0.0 0.0 0.0 0.0 toExt_a1Yr Common.GuardedRewriting 282 390 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 295 1 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 286 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 309 148 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 272 0 0.0 0.0 0.0 0.0 |- Gen.Rules 273 3 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 275 3 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 274 3 0.0 0.0 0.0 0.0 >< Common.GuardedRewriting 269 3 0.0 0.0 0.0 0.0 diff Common.GuardedRewriting 270 162 0.0 0.0 0.0 0.0 ==_a22X Common.GuardedRewriting 408 12 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 407 44 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 404 22 0.0 0.0 0.0 0.0 scast Common.GuardedRewriting 402 22 0.0 0.0 0.0 0.0 typeOf_aaQu Common.Logic 403 22 0.0 0.0 0.0 0.0 diff'_a1L8 Common.GuardedRewriting 392 293 0.0 0.0 0.0 0.0 diff'_a1JS Common.GuardedRewriting 393 159 0.0 0.0 0.0 0.0 diff'_a1IV Common.GuardedRewriting 405 103 0.0 0.0 0.0 0.0 makeRuleList Gen.Rules 262 10 0.0 0.0 0.0 0.0 synthesise' Common.GuardedRewriting 265 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 527 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 776 4 0.0 0.0 0.0 0.0 toExt_a1Y0 Common.GuardedRewriting 524 0 0.0 0.0 0.0 0.0 toExt_a1XO Common.GuardedRewriting 778 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 460 9 0.0 0.0 0.0 0.0 +-> Common.GuardedRewriting 462 9 0.0 0.0 0.0 0.0 // Common.GuardedRewriting 461 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 465 48 0.0 0.0 0.0 0.0 toExt_a1YB Common.GuardedRewriting 464 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 466 14 0.0 0.0 0.0 0.0 diff'_a1Os Common.GuardedRewriting 463 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 263 10 0.0 0.0 0.0 0.0 rewriteM' Common.GuardedRewriting 264 20 0.0 0.0 0.0 0.0 rewriteM Common.GuardedRewriting 266 20 0.0 0.0 0.0 0.0 match Common.GuardedRewriting 267 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 311 20 0.0 0.0 0.0 0.0 ruleFalseZeroOr Gen.Rules 261 1 0.0 0.0 0.0 0.0