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